Skip to main content

Escaping Endpoints Explode

Abstract

In 1988, Mayer proved the remarkable fact that \(\infty \) is an explosion point for the set \(E(f_a)\) of endpoints of the Julia set of \(f_a:\mathbb {C}\rightarrow \mathbb {C}; \mathrm{e}^z+a\) with \(a<-1\); that is, the set \(E(f_a)\) is totally separated (in particular, it does not have any non-trivial connected subsets), but \(E(f_a)\cup \{\infty \}\) is connected. Answering a question of Schleicher, we extend this result to the set \(\tilde{E}(f_a)\) of escaping endpoints in the sense of Schleicher and Zimmer, for any parameter \(a\in \mathbb {C}\) for which the singular value a belongs to an attracting or parabolic basin, has a finite orbit, or escapes to infinity under iteration (as well as many other classes of parameters). Furthermore, we extend one direction of the theorem to much greater generality, by proving that the set \(\tilde{E}(f)\cup \{\infty \}\) is connected for any transcendental entire function f of finite order with bounded singular set. We also discuss corresponding results for all endpoints in the case of exponential maps; to do so, we establish a version of Thurston’s no wandering triangles theorem for exponential maps.

Introduction

A point \(x_0\) is called an explosion point of a metric space X if X is connected but \(X{\setminus }\{x_0\}\) is totally separated. The latter means that, for any \(a,b\in X{\setminus } \{x_0\}\), there are open sets \(U_a,U_b\subset X\) such that \(a\in U_a\), \(b\in U_b\), \(U_a\cup U_b=X\) and \(U_a\cap U_b = \{x_0\}\). If X is connected but \(X{\setminus }\{x_0\}\) is totally disconnected, then \(x_0\) is called a dispersion point of X.

In this article, we typically consider the case of \(X=A\cup \{\infty \}\), where \(A\subset \mathbb {C}\), and \(\infty \) is an explosion/dispersion point of X. Slightly abusing terminology, we shall then also say that \(\infty \) is an explosion/dispersion point for A.

Clearly every explosion point is also a dispersion point, but the converse is not true. Indeed, in 1921, Knaster and Kuratowski first gave an example of a space having a dispersion point, now known as the Knaster–Kuratowski fan [18, Ex. \(\alpha \), §5]. This fan does not have an explosion point; note that in particular this gives an example of a space that is totally disconnected but not totally separated. Wilder [45] constructed the first example of a space having an explosion point shortly afterwards, in 1923. Another famous example of a space having an explosion point, which is of key importance for this paper, is the set of endpoints of the Lelek fan (see Sect. 2), constructed by Lelek [19, §9] in 1961. It is tempting to think of such spaces as “pathological”. However, Mayer [20] showed that explosion points occur very naturally within the iteration of transcendental entire functions.

To explain his result, recall that the Julia set J(f) of a transcendental entire function f consists of the points at which the family \((f^n)_{n=1}^{\infty }\) of the iterates of f is not equicontinuous with respect to the spherical metric (in other words, this is where the function behaves “chaotically”). Its complement \(F(f):= \mathbb {C}{\setminus } J(f)\) is called the Fatou set. The iteration of transcendental entire functions has enjoyed significant attention recently. The family of quadratic polynomials \(z\mapsto z^2+c\), which gives rise to the famous Mandelbrot set, has been studied intensively as a prototype of polynomial and rational dynamics. Similarly, complex exponential maps

$$\begin{aligned} f_a:\mathbb {C}\rightarrow \mathbb {C};\quad z\mapsto \mathrm{e}^z+a, \end{aligned}$$
(1.1)

form the simplest space of transcendental entire functions. (Compare [7, 34] for a discussion of connections between the two families.) Hence there is considerable interest in understanding the fine structure of the Julia sets of the functions \(f_a\).

In the case where \(a\in (-\infty , -1)\), it is known [12, Thm. on p. 50] that \(J(f_a)\) consists of uncountably many curves, each connecting a finite endpoint to infinity. It is easy to see that this set \(E(f_a)\) of endpoints is totally separated; Mayer proved that \(E(f_a)\cup \{\infty \}\) is connected, and hence has \(\infty \) as an explosion point. In fact, by work of Aarts and Oversteegen [1], \(J(f_a)\cup \{\infty \}\) is homeomorphic to the Lelek fan for these parameters.

For general \(a\in \mathbb {C}\), the Julia set no longer has such a simple structure. Nonetheless, there is still a natural notion of “rays” or “hairs”, generalising the curves mentioned above. While some of these may no longer land at finite endpoints [11, 31], Schleicher and Zimmer [42] have shown that there is always a set \(\tilde{E}(f_a)\) of escaping endpoints, which moreover has a certain universal combinatorial structure that is independent of the parameter a, making it a natural object for dynamical considerations. For the purpose of this introduction, we define the relevant concepts as follows; see Sect. 4, and in particular Corollary 4.5, for further discussion.

Definition 1.1

(Types of escaping points) The set of escaping points of \(f_a\) is denoted by

$$\begin{aligned} I(f_a) := \{z\in \mathbb {C}:f_a^n(z)\rightarrow \infty \}. \end{aligned}$$

We say that a point \(z_0\in \mathbb {C}\) is on a hair if there exists an arc \(\gamma :[-1,1]\rightarrow I(f_a)\) such that \(\gamma (0)=z_0\).

We say that a point \(z_0\in \mathbb {C}\) is an endpoint if \(z_0\) is not on a hair and there is an arc \(\gamma :[0,1]\rightarrow \mathbb {C}\) such that \(\gamma (0)=z_0\) and \(\gamma (t)\in I(f_a)\) for all \(t>0\). The set of all endpoints is denoted by \(E(f_a)\), while \(\tilde{E}(f_a) := E(f_a)\cap I(f_a)\) denotes the set of escaping endpoints.

With this terminology, Schleicher (personal communication) asked whether Mayer’s phenomenon can be extended to the set of escaping endpoints for all exponential maps.

Question 1.2

(Schleicher) Let \(a\in \mathbb {C}\). Is \(\infty \) an explosion point for \(\tilde{E}(f_a)\)?

In this article, we provide a positive answer to this question for a large class of parameters a.

Theorem 1.3

(Escaping endpoints explode) Let \(a\in \mathbb {C}\), and suppose that the singular value a of the map \(f_a\) satisfies one of the following conditions.

  1. (a)

    a belongs to the Fatou set; 

  2. (b)

    a is on a hair; 

  3. (c)

    a is an endpoint.

Then \(\infty \) is an explosion point for \(\tilde{E}(f_a)\).

Remark

The hypotheses of the theorem are quite natural and general, and have appeared previously in the study of exponential maps [31, 33]. They are known to hold, in particular, whenever \(f_a\) has an attracting or parabolic orbit and when the singular value a escapes to infinity [42], is preperiodic [43] or non-recurrent [5]. It is likely that there are some parameters \(a\in \mathbb {C}\) for which the hypotheses fail; compare Sect. 8. However, the hypotheses can be weakened to a condition that, conjecturally, holds whenever \(f_a\) does not have an irrationally indifferent periodic point; see Theorem 8.1.

By definition, the proof of Theorem 1.3 requires two steps: on the one hand, we must show that \(\tilde{E}(f_a)\cup \{\infty \}\) is connected, and on the other that \(\tilde{E}(f_a)\) is totally separated. It turns out that the first can be carried out in complete generality.

Theorem 1.4

(Escaping endpoints connect to infinity) The set \(\tilde{E}(f_a)\cup \{\infty \}\) is connected for all \(a\in \mathbb {C}\).

Remark

Our proof shows that \(\tilde{E}(f_a)\) can be replaced by the set \(\tilde{E}(f_a)\cap A(f_a)\) of all endpoints belonging to the fast escaping set; see Remark 4.6. (The set \(A(f_a)\) consists of all points that escape to infinity “as fast as possible”, and has played an important role in recent work on transcendental dynamics; compare [37].)

We remark that this result is new even for \(a\in (-\infty ,-1)\). Indeed, our strategy of proof is to establish the theorem first in this setting, using a topological model introduced in [30], and then infer the general case using a conjugacy result also proved in [30].

In the opposite direction, under the hypotheses of Theorem 1.3 we are able to employ combinatorial techniques to conclude that \(\tilde{E}(f_a)\) is indeed totally separated. Without such hypotheses, the answer to Question 1.2 turns out to depend on extremely difficult problems concerning the possible accumulation behaviour of rays in the dynamical plane. For example, it is widely believed that a path-connected component of the escaping set of an exponential map cannot be dense in the plane [28, Question 7.1.33]. (The nature of the path-connected components of \(I(f_a)\) is well known: each such component—with the exception, in certain well-understood cases, of countably many additional curves—is one of the afore-mentioned dynamics rays. See [16, Cor.  4.3].) However, the corresponding question (whether an external ray can ever accumulate on the whole Julia set) remains open, as far as we are aware, even for quadratic polynomials. The following result shows that Question 1.2 is at least as difficult.

Theorem 1.5

(Separating escaping endpoints is hard) Suppose that,  for some parameter \(a\in \mathbb {C},\) the set \(I(f_a)\) has a path-connected component that is dense in the Julia set. Then \(\tilde{E}(f_a)\) is connected.

However, as we discuss in Sect. 8, it appears quite likely that the answer to Question 1.2 is always positive.

Conjecture 1.6

(Escaping endpoints always explode) Let \(a\in \mathbb {C}\). Then \(\tilde{E}(f_a)\) is totally separated (and hence \(\infty \) is an explosion point of \(\tilde{E}(f_a)\cup \{\infty \}).\)

The set of all endpoints. The set \(E(f_a)\supset \tilde{E}(f_a)\) of all endpoints of an exponential map \(f_a\) is a less universal object than that of escaping endpoints, since its structure may vary considerably with the parameter a. Nonetheless, one can ask the analogue of Question 1.2 for this set. The set \(\tilde{E}(f_a)\) of escaping endpoints is completely invariant under \(f_a\), and hence dense in the Julia set. Thus, by Theorem 1.4, the set \(E(f_a)\cup \{\infty \}\) contains a dense connected subset for all \(a\in \mathbb {C}\), and is, therefore, connected. In the opposite direction, we are able to prove the following. (See Sect. 6 for the definition of the kneading sequence.)

Theorem 1.7

(Endpoints disperse) Let \(a\in \mathbb {C}\), and suppose that the singular value a of the function \(f_a\) satisfies one of the following conditions.

  1. (a)

    a belongs to the Fatou set; 

  2. (b)

    a is an endpoint or on a hair,  and its kneading sequence is non-periodic.

Then \(\infty \) is a dispersion point for \(E(f_a);\) in the case of (a), \(\infty \) is also an explosion point.

The proof of Theorem 1.7 requires a more detailed combinatorial analysis than that of Theorem 1.3. In particular, we establish a combinatorial version of Thurston’s no wandering triangles theorem for exponential maps (Theorem 6.13). The following consequence of the latter result may be of independent interest.

Theorem 1.8

(No wandering triods) Let \(f_a\) be an exponential map. Suppose that \(z_0\) is an endpoint of \(f_a\) that is accessible from \(I(f_a)\) in at least three different ways;  that is,  there are three arcs in \(I(f_a)\cup \{z_0\}\) that contain \(z_0\) and are otherwise pairwise disjoint.

Then \(z_0\) is eventually periodic.

More general functions. In this article, we focus primarily on the family of exponential maps. However, there is a large class of transcendental entire functions for which the existence of rays, in analogy to the exponential family, was established in [38] (and, independently, in [2] for a more restrictive class of maps). It makes sense to ask about the properties of the set of escaping endpoints in this context also. In this direction, we shall prove the following extension of Theorem 1.4. (Recall that an entire function has finite order if \(\log \log |f(z)| = O(\log |z|)\) as \(|f(z)|\rightarrow \infty \), and that the set S(f) of singular values is the closure of the set of critical and asymptotic values of f. For further background, we refer e.g. to [3].)

Theorem 1.9

(Escaping endpoints of functions with rays) Let f be a finite-order entire function with bounded singular value set S(f),  a finite composition of such functions,  or more generally a function satisfying a “uniform head-start condition” in the sense of [38]. Then the set \(\tilde{E}(f)\cup \{\infty \}\) is connected.

If,  additionally,  f is hyperbolic—that is,  every singular value \(s\in S(f)\) belongs to the basin of an attracting periodic orbit—then \(\infty \) is an explosion point for \(\tilde{E}(f)\).

Idea of the proofs. Establishing Theorem 1.3 for the case of \(a\in (-\infty ,-1)\) is the key step in our arguments. We shall do so using an explicit topological model for the dynamics of such \(f_a\) on its Julia set, introduced in [30]. We review its definition and properties in Sect. 3. and then prove Theorem 1.4 in this case by showing that \(J(f_a)\) contains an invariant subset A such that \(A\cup \{\infty \}\) is homeomorphic to the Lelek fan, and such that every endpoint of A is an escaping endpoint of \(f_a\).

We are able to transfer this result to the dynamical plane of any exponential map using a general conjugacy result from [30] (Theorem 4.1). To show that \(\tilde{E}(f_a)\) is totally separated in the cases covered by Theorem 1.3, we review and apply combinatorial methods for exponential maps in Sect. 6. Theorem 1.7 is also proved there, using similar arguments but requiring the no wandering triangles theorem. Finally, we consider the case of more general entire functions in Sect. 7 and discuss further questions, including Conjecture 1.6, in Sect. 8.

Basic notation. As usual, \(\mathbb {C}\) denotes the complex plane; its one-point compactification is the Riemann sphere \(\hat{\mathbb {C}}:= \mathbb {C}\cup \{\infty \}\). The set of integer sequences \(\underline{s}=s_0 s_1 s_2 \ldots \) is denoted by \(\mathbb {Z}^{\mathbb {N}_0}\); if \(s_0 \ldots s_{n-1}\) is a finite sequence of integer, then its periodic extension is denoted \((s_0 \ldots s_{n-1})^{\infty }\in \mathbb {Z}^{\mathbb {N}_0}\).

Throughout the article (with the exception of Sect. 7), we consider the family \((f_a)_{a\in \mathbb {C}}\) of exponential maps defined by (1.1). This family is also often parameterised as \((w\mapsto \lambda \mathrm{e}^w)_{\lambda \in \mathbb {C}{\setminus }\{0\}}\); the families are conjugate via the change of coordinate \(z=w+a\), with \(\lambda = \mathrm{e}^a\). Our choice of parameterisation gives a slightly more convenient asymptotic description of dynamic rays (see the remarks on notation given in [36, p. 108], and also the discussion in Section 2.3 of [28]), but as we shall not require this additional information, the choice is primarily a matter of taste.

Lelek Fans, Straight Brushes and Cantor Bouquets

We begin by formally introducing the topological notions central to this paper (see e.g. [44, Sec. 4]).

Definition 2.1

(Separation) Let X be a topological space, and let \(x_0\in X\).

  1. (a)

    Two points \(a,b\in X\) are separated (in X) if there is an open and closed subset \(U\subset X\) with \(a\in U\) and \(b\notin U\).

  2. (b)

    The space X is called totally separated if any two points are separated in X.

  3. (c)

    The space X is called totally disconnected if it contains no non-trivial connected subset.

  4. (d)

    If X is connected and \(X{\setminus }\{x_0\}\) is totally separated, then \(x_0\) is called an explosion point of X.

  5. (e)

    If X is connected and \(X{\setminus }\{x_0\}\) is totally disconnected, then \(x_0\) is called a dispersion point of X.

The following—a version of the well-known fact that the continuous image of a connected space is connected—is immediate from the definitions.

Observation 2.2

(Preimages of separated points are separated) Let \(f:X\rightarrow Y\) be a continuous map between topological spaces,  and let \(a,b\in X\). If f(a) and f(b) are separated in Y,  then a and b are separated in X.

Proof

If U is open and closed in Y with \(f(a)\in U\) and \(f(b)\notin U\), then \(f^{-1}(U)\) is open and closed in X with \(a\in f^{-1}(U)\) and \(b\notin f^{-1}(U)\). \(\square \)

We are usually interested in subsets of the plane, where the notion separation takes the following, particularly simple, form. (See [25, Thm V.4.3] or [33, Lem 3.1].)

Lemma 2.3

(Separation in the plane) Let \(X\subset \mathbb {C},\) and let \(x,y\in X\). Then x and y are separated in X if and only if there is a closed and connected set \(\Delta \subset \mathbb {C}{\setminus } X\) such that x and y belong to different connected components of \(\mathbb {C}{\setminus } \Delta \).

The Lelek fan. As mentioned in the introduction, the Lelek fan will play an important role in our discussions. It can be defined as follows.

Definition 2.4

(Lelek fans) Let X be a continuum, i.e. a compact, connected metric space. Then X is a fan (with top \(x_0\in X\)) if the following conditions are satisfied:

  1. (a)

    X is hereditarily unicoherent; that is, if \(A,B\subset X\) are subcontinua of X, then \(A\cap B\) is connected.

  2. (b)

    X is arcwise connected. Hence, by (a), X is uniquely arcwise connected, and we use [xy] to denote the arc connecting \(x,y\in X\).

  3. (c)

    \(x_0\) is the only ramification point of X (that is, a common endpoint of at least three different arcs that are otherwise pairwise disjoint).

If \(x\in X\) is an endpoint of every arc containing it, then x is called an endpoint of X; the set of all endpoints is denoted E(X).

A fan X with top \(x_0\) is called smooth if, for any sequence \(y_n\) converging to a point y, the arcs \([x_0,y_n]\) converge to \([x_0,y]\) in the Hausdorff metric.

A smooth fan such that the endpoints of X are dense in X is called a Lelek fan.

In [19, §9], Lelek gave an example of a fan X with the above properties, and showed that \(E(X)\cup \{x_0\}\) has \(x_0\) as an explosion point. Our terminology above is justified by the fact, proved independently in [9, Cor. on p.33] and in [8], that any smooth fan with a dense set of endpoints is homeomorphic to that constructed by Lelek:

Proposition 2.5

(Lelek fans and explosion points)

  1. (a)

    Any two Lelek fans are homeomorphic.

  2. (b)

    If X is a Lelek fan and \(x_0\) is the top of X,  then \(x_0\) is an explosion point for \(E(X)\cup \{x_0\}\).

Straight brushes and Cantor bouquets. We will encounter a variety of Lelek fans that are embedded in the Riemann sphere (with top \(\infty \)). However, there are several inequivalent embeddings of the Lelek fan, corresponding to the fact that some of the “hairs” (connected components of the complement of the top) might be approximated on by other hairs only from one side. To identify a preferred embedding, where this does not occur, Aarts and Oversteegen introduced the following terminology [1, Def. 1.2].

Definition 2.6

(Straight brush) A subset \(B\subset \{(y, \alpha ) \in \mathbb {R}^2: y\ge 0\) and \(\alpha \notin \mathbb {Q}\}\) with the following properties is called a straight brush:

Hairiness. For every \(\alpha \in \mathbb {R}\), there is a \(t_{\alpha }\in [0,\infty ]\) such that \((t,\alpha )\in B\) if and only if \(t\ge t_{\alpha }\).

Density. The set of \(\alpha \) with \(t_{\alpha }<\infty \) is dense in \(\mathbb {R}\). Furthermore, for every such \(\alpha \), there exist sequences \((\beta _n)\) and \((\gamma _n)\) such that \(\beta _n \nearrow \alpha \) and \(\gamma _n \searrow \alpha \), and such that \(t_{\beta _n}, t_{\gamma _n}\rightarrow t_{\alpha }\).

Compact sections. B is a closed subset of \(\mathbb {R}^2\).

If B is a straight brush, then clearly its one-point compactification \(B\cup \{\infty \}\) is a smooth fan. Furthermore, since B is closed, the function \(\alpha \mapsto t_{\alpha }\) is lower semicontinuous, and it follows easily that the set of endpoints is dense in B [1, Cor. 2.5]. Hence \(B\cup \{\infty \}\) is a Lelek fan.

Definition 2.7

(Cantor Bouquet [3, Def. 1.1]) A closed set \(A\subset \mathbb {C}\) is called a Cantor bouquet if it is ambiently homeomorphic to a straight brush B; i.e. if there is a homeomorphism \(\varphi :\mathbb {C}\rightarrow \mathbb {R}^2\) such that \(\varphi (A)=B\).

Remark

The term “Cantor bouquet” has been used informally since the 1980s; in particular, Devaney and Tangerman [13, p. 491] give a definition of Cantor bouquets that differs from the one above. Definition 2.7 first appears in [10, Def. 3.3]. (We note that, in [10], the homeomorphism is not required to be ambient, but this appears to have been an oversight.)

The following characterisation of Cantor Bouquets, in the spirit of Definition 2.4, will be useful, although strictly speaking we shall not require it.

Theorem 2.8

(Characterisation of Cantor bouquets) A closed set \(A\subset \mathbb {C}\) is a Cantor bouquet if and only if

  1. (a)

    \(A\cup \{\infty \}\) is a Lelek fan with top \(\infty \), and

  2. (b)

    if \(x\in A\) is accessible from \(\mathbb {C}{\setminus } A,\) then x is an endpoint of A. (Equivalently,  every hair of A is accumulated on by other hairs from both sides.)

Moreover,  if \(\varphi \) is any homeomorphism between Cantor bouquets that preserves the cyclic order of hairs at \(\infty ,\) then \(\varphi \) extends to an orientation-preserving homeomorphism \(\mathbb {C}\rightarrow \mathbb {C}\).

Remark

To explain the hypothesis of the final statement, observe that any family of pairwise disjoint arcs in \(\mathbb {C}\), each having one finite endpoint and another endpoint at infinity, induces a natural cyclic order. By this we mean that there is a consistent notion of whether three such arcs \(\gamma _1,\gamma _2,\gamma _3\) are ordered in positive or negative orientation. Indeed, if \(\gamma _1\) and \(\gamma _2\) are such arcs, then the set \(\mathbb {C}{\setminus } (\overline{D_R(0)}\cup \gamma _1\cup \gamma _2)\) has precisely two unbounded connected components for sufficiently large R, one that lies between \(\gamma _1\) and \(\gamma _2\) (in positive orientation) and one that lies between \(\gamma _2\) and \(\gamma _1\). If \(\gamma _3\) tends to infinity in the latter, then the triple is ordered in positive orientation. It is easy to see that this does indeed define a cyclic order.

In our applications, all curves will have real parts tending to \(+\infty \), and in this case the cyclic order can be upgraded to a linear order, referred to as the vertical order. (The curve \(\gamma _1\) is below \(\gamma _2\) if \(\gamma _1,\gamma _2,\alpha \) are ordered in positive orientation, where \(\alpha \) is a horizontal line segment tending to \(-\infty \).)

Sketch of proof

Let us call a closed set \(A\subset \mathbb {C}\) a candidate bouquet if it satisfies (a) and (b). Note that any Cantor bouquet is a candidate bouquet.

Now let A be a candidate bouquet; as explained above, there is a natural cyclic order on the set H of hairs of A. Let \(\tilde{H}\) be the order completion of this cyclic order. The elements of \(\tilde{H}{\setminus } H\) are in one-to-one correspondence with the set of homotopy classes of curves to infinity in \(\mathbb {C}{\setminus } A\), and, using (b), the set \(\tilde{H}\) is easily seen to be order-isomorphic to a circle.

We can now compactify the plane to a space \(\tilde{\mathbb {C}}=\mathbb {C}\cup \tilde{H}\) in such a way that each hair h of A ends at the corresponding point \(h\in H\subset \tilde{C}\). The space \(\tilde{\mathbb {C}}\) is homeomorphic to the closed unit disc, and under this correspondence the set \(A\cup \tilde{H}\) becomes a one-sided hairy circle in the sense of [1, Def. 4.7] (essentially, a circle with a collection of hairs densely attached on one side).

By [1, Thm. 4.8], any two one-sided hairy circles X and Y are homeomorphic, and any such homeomorphism extends to a homeomorphism of the sphere. Observe that any homeomorphism must map the base circle of X to that of Y.

Applying this result to the above compactifications of two candidate bouquets A and B, we see that A and B are ambiently homeomorphic. Furthermore, any homeomorphism that preserves the cyclic order of the hairs will extend to a homeomorphism of their compactifications, and hence also to an orientation-preserving homeomorphism of the plane. \(\square \)

Remark

Alternatively, the proof of Proposition 2.5 (as given in [8]) can be modified to show that, for any two candidate bouquets, there is a homeomorphism that preserves the cyclic order of hairs. The first part of the theorem thus follows from the second, which in turn can be proved in the same way as [1, Thm. 4.1].

A Topological Model for Exponential Maps

In [1, §1], it was shown that \(J(f_a)\) is a Cantor Bouquet for \(a\in (-\infty ,-1)\). The straight brush constructed there was defined in dependence on the parameter a, and is hence not easy to analyse directly. Instead, we use a similar construction from [30], which has the advantage that the brush arises in a straightforward way from an abstract dynamical system \(\mathcal {F}\), defined without referring to a specific exponential map. As a result, the dynamics of \(\mathcal {F}\) is easy to analyse, and furthermore can be connected to the dynamical plane of the exponential map \(f_a\) for any \(a\in \mathbb {C}\). We now review the necessary definitions, and then prove the analogue of Theorem 1.3 for this model function.

For the remainder of the article, a sequence \(\underline{s}=s_0 s_1 s_2 \ldots \in \mathbb {Z}^{\mathbb {N}_0}\) of integers shall be called an (infinite) external address. Our model lives in the space \(\mathbb {R}\times \mathbb {Z}^{\mathbb {N}_0}\) (with the product topology). We denote the projection of \(x = (t, \underline{s})\) to the first and second coordinates by \(T(x):= t\) and \({\text {addr}}(x):= \underline{s}=: s_0(x) s_1(x) \ldots \) for the projection maps to the first and second coordinates. We also fix the function \(F:[0,\infty )\rightarrow [0,\infty ); t\mapsto \mathrm{e}^t-1\), which serves as a model for exponential growth.Footnote 1 We frequently use elementary properties of the function F that can be verified via high-school calculus. In particular, if \(t, \delta \ge 0\), then

$$\begin{aligned}&F(t+\delta ) \ge F(t)+F(\delta ) \ge F(t) + \delta \quad \text {and}\end{aligned}$$
(3.1)
$$\begin{aligned}&F^{-n}(t)\rightarrow 0 \quad (n\rightarrow \infty ). \end{aligned}$$
(3.2)

Definition 3.1

(A topological model for exponential dynamics [30]) Define

$$\begin{aligned} \mathcal {F}:[0,\infty )\times \mathbb {Z}^{\mathbb {N}_0} \rightarrow \mathbb {R}\times \mathbb {Z}^{\mathbb {N}_0}; (t,\underline{s}) \mapsto (F(t) - 2\pi |s_1|, \sigma (\underline{s})), \end{aligned}$$

where \(\sigma \) denotes the shift map on one-sided infinite sequences. We set

$$\begin{aligned} J(\mathcal {F}):= & {} \{ x\in [0,\infty )\times \mathbb {Z}^{\mathbb {N}_0}:T(\mathcal {F}^n(x)) \ge 0 \text { for all } n\ge 0\} \quad \text {and} \\ I(\mathcal {F}):= & {} \{ x \in J(\mathcal {F}):T(\mathcal {F}^n(x)) \rightarrow \infty \}. \end{aligned}$$

We also denote the one-point compactification of \(J(\mathcal {F})\) by \(\hat{J}(\mathcal {F}) := J(\mathcal {F})\cup \{\infty \}\).

Let \(\underline{s}\in \mathbb {Z}^{\mathbb {N}_0}\). If there is \(x\in J(\mathcal {F})\) with \({\text {addr}}(x)=\underline{s}\), then \(\underline{s}\) is called exponentially bounded. We define

$$\begin{aligned} t_{\underline{s}}:= {\left\{ \begin{array}{ll} \min \{t\ge 0:(t,\underline{s})\in J(\mathcal {F})\} &{} \text {if } \underline{s}\text { is exponentially bounded} \\ \infty &{} \text {otherwise}.\end{array}\right. } \end{aligned}$$

If \(\underline{s}\) is exponentially bounded, then \((t_{\underline{s}},\underline{s})\) is called an endpoint of \(J(\mathcal {F})\); if additionally \((t_{\underline{s}},\underline{s})\in I(\mathcal {F})\), then it is called an escaping endpoint, and \(\underline{s}\) is called fast. We write \(E(\mathcal {F})\) and \(\tilde{E}(\mathcal {F})\) for the sets of endpoints and escaping endpoints, respectively.

Remark

In [30], \(J(\mathcal {F})\) was denoted as \(\bar{X}\), while \(I(\mathcal {F})\) was denoted as X. We prefer to use the above notation in analogy to exponential maps. Furthermore, external addresses were indexed beginning with index 1 (following the convention established in [42]). However, it seems more natural to begin with index 0; so, when comparing this paper with the relevant results in [30], all indices should be shifted by 1.

We refer to [30, §3] for further discussion of the motivation behind these definitions. It is proved in [30, §9] that \(\mathcal {F}|_{J(\mathcal {F})}\) is topologically conjugate to the map \(f_{a}\) on its Julia set, for every \(a\in (-\infty ,-1)\). In particular, as a consequence of [1], we see that \(\hat{J}(\mathcal {F})\) is a Lelek fan. In fact, we can say more if we consider \(\hat{J}(\mathcal {F})\) as being embedded in \(\mathbb {R}^2\) as follows.

Observation 3.2

(Embedding in \(\mathbb {R}^2)\) It is well known that \(\mathbb {Z}^{\mathbb {N}_0}\) (with respect to lexicographic order) is order-isomorphic to the set \(\mathbb {R}{\setminus }\mathbb {Q}\) of all irrational numbers. Hence there is an order-preserving homeomorphism \(\alpha :\mathbb {Z}^{\mathbb {N}_0}\rightarrow \mathbb {R}{\setminus }\mathbb {Q}\) (compare [1, §1.1] or [10, §3.2]). In the following,  we shall hence identify \(\mathbb {Z}^{\mathbb {N}_0}\) with the set of irrational numbers;  thus \(J(\mathcal {F})\) can be thought of as a subset of \(\mathbb {R}^2,\) via the embedding \((t,\underline{s})\mapsto (t,\alpha (\underline{s}))\). For ease of terminology,  we usually do not distinguish between \(J(\mathcal {F})\) and its image under this embedding.

Theorem 3.3

(The model is a straight brush) \(J(\mathcal {F})\) is a straight brush. Hence \(\hat{J}(\mathcal {F})\) is a Lelek fan and \(\infty \) is an explosion point for \(E(\mathcal {F})\).

Proof

This is essentially proved in [1, Sect. 1.6], although the brush there is defined slightly differently. For this reason, we sketch how to prove the result directly. The fact that \(J(\mathcal {F})\) is closed in \(\mathbb {R}^2\), as well as “hairiness”, follows immediately from the definition of \(\mathcal {F}\) and \(J(\mathcal {F})\); see [30, Observation 3.1]. (For any \(t\ge 0\) and any \(s\in \mathbb {N}_0\), the set of addresses \(\underline{s}\) with \(t_{\underline{s}}\le t\) and \(s_0 \le s\) is a compact subset of \(\mathbb {Z}^{\mathbb {N}_0}\).) It is easy to see that \(t_{\underline{s}}< \infty \) for any bounded sequence \(\underline{s}\) (see Lemma 3.8 below), and hence the set of addresses with \(t_{\underline{s}}< \infty \) is dense. Finally, given \(x\in J(\mathcal {F})\), it is easy to construct sequences that converge to x from both above and below; this is also a consequence of Theorem 3.10(b) below (take \(Q=0\)). \(\square \)

Our main goal for the remainder of this section is to prove the following.

Theorem 3.4

(Escaping endpoints of \(\mathcal {F}\) explode) The point \(\infty \) is an explosion point for \(\tilde{E}(\mathcal {F})\).

Theorem 3.4 implies Theorem 1.3 in the case where \(a\in (-\infty ,-1)\). Moreover, for every exponential map \(f_a\), there is a correspondence between points in \(I(\mathcal {F})\) and the set of escaping points of \(f_a\) (see Theorem 4.1 below), and hence the results proved in this section also aid us in establishing Theorem 1.3 in general.

The key idea is to identify suitable subsets of \(\hat{J}(\mathcal {F})\) that are still Lelek fans, but which have the property that all of their endpoints belong to \(\tilde{E}(\mathcal {F})\).

Definition 3.5

(Sub-fans of \(\hat{J}(\mathcal {F})\)) Let \(\underline{s}^0\in \mathbb {Z}^{\mathbb {N}_0}\) be arbitrary. We define

$$\begin{aligned} X_{\underline{s}^0}(\mathcal {F}) := \{x\in J(\mathcal {F}):|s_n(x)| \ge |s^0_n| \text { for all } n\ge 0\} \end{aligned}$$

and \(\hat{X}_{\underline{s}^0}(\mathcal {F}) := X_{\underline{s}^0}(\mathcal {F})\cup \{\infty \}\).

Theorem 3.6

(Sub-fans are Lelek fans) If \(\underline{s}^0\) is exponentially bounded,  then \(\hat{X}_{\underline{s}^0}(\mathcal {F})\) is a Lelek fan. If,  additionally,  \(\underline{s}^0\) is fast,  then every endpoint of \(\hat{X}_{\underline{s}^0}(\mathcal {F})\) belongs to \(\tilde{E}(\mathcal {F})\).

The final claim in the theorem follows immediately from the following simple fact.

Observation 3.7

(Larger entries mean larger potentials) Let \(\underline{s}^0,\underline{s}\in \mathbb {Z}^{\mathbb {N}_0}\) such that \(|s_j|\ge |s_j^0|\) for all \(j\ge 1\). Then \(t_{\underline{s}}\ge t_{\underline{s}^0}\). In particular,  if \(\underline{s}^0\) is fast,  then so is \(\underline{s}\).

Proof

By definition of \(\mathcal {F}\), \(T(\mathcal {F}^n(t_{\underline{s}}, \underline{s}^0)) \ge T(\mathcal {F}^n( t_{\underline{s}} , \underline{s})) \ge 0\) for all n. Hence \(t_{\underline{s}}\ge t_{\underline{s}^0}\), as claimed. In particular, if \(\underline{s}^0\) is fast, then \(t_{\sigma ^n(\underline{s})} \ge t_{\sigma ^n(\underline{s}^0)}\rightarrow \infty \), and \(\underline{s}\) is fast also. \(\square \)

To prove the first part of Theorem 3.6, we shall require some control over the minimal potentials \(t_{\underline{s}}\), as provided by the following fact [30, Lem. 7.1], whose proof we include for the reader’s convenience.

Lemma 3.8

(Bounds for minimal potentials) Let \(\underline{s}\in \mathbb {Z}^{\mathbb {N}_0}\), and define

$$\begin{aligned} t_{\underline{s}}^* := \sup _{n\ge 1} F^{-n}(2\pi |s_n|). \end{aligned}$$
(3.3)

Then \(t_{\underline{s}}^* \le t_{\underline{s}}\le t_{\underline{s}}^*+1\). In particular,  \(\underline{s}\) is exponentially bounded if and only if \(t_{\underline{s}}^*<\infty ,\) and fast if and only if \(t_{\sigma ^n(\underline{s})}^*\rightarrow \infty \) as \(n\rightarrow \infty \).

Proof

The fact that \(t_{\underline{s}}^* \le t_{\underline{s}}\) follows immediately from the observation that

$$\begin{aligned} T\bigl (\mathcal {F}\bigl ( F^{-1}(2\pi |s_n|),\sigma ^{n-1}(\underline{s})\bigr )\bigr )=0 \end{aligned}$$

for \(n\ge 1\), and hence \(F^{-n}(2\pi |s_n|) \le t_{\underline{s}}\). On the other hand, it is easy to see that \((t_{\underline{s}}^*+1,\underline{s})\in J(\mathcal {F})\), and hence \(t_{\underline{s}}^*+1 \ge t_{\underline{s}}\), using the fact that \(F(t+1)\ge 2F(t)+1\) for all \(t\ge 0\). \(\square \)

We also use the following elementary fact about contraction under pullbacks of \(\mathcal {F}\).

Observation 3.9

(Backwards shrinking) Let \(x,y\in J(\mathcal {F})\) and \(n\in \mathbb {N}\), and suppose that \(|s_j(x)|=|s_j(y)|\) for \(j=1,\ldots ,n\) and that \(\delta := T(\mathcal {F}^n(y)) - T(\mathcal {F}^n(x)) > 0\). Then

$$\begin{aligned} T(x) \le T(y) \le T(x) + F^{-n}(\delta ). \end{aligned}$$

Proof

This is immediate from (3.1) and the definition of \(\mathcal {F}\). \(\square \)

Proof of Theorem 3.6

Since projection to the second coordinate is continuous with respect to the product topology, the set \(X_{\underline{s}^0}(\mathcal {F})\) is closed in \(J(\mathcal {F})\). Since \(\hat{X}_{\underline{s}^0}(\mathcal {F})\) is clearly connected as a union of intervals all of which have a common endpoint, it follows that \(\hat{X}_{\underline{s}^0}(\mathcal {F})\) is a continuum. As \(\hat{J}(\mathcal {F})\) is a Lelek fan, we see that \(\hat{X}_{\underline{s}^0}(\mathcal {F})\) is a smooth fan with top \(\infty \). (Any non-trivial subcontinuum of a smooth fan is either an arc or a smooth fan.)

To conclude that \(\hat{X}_{\underline{s}^0}(\mathcal {F})\) is a Lelek fan, it remains to show that endpoints are dense in \(X_{\underline{s}^0}(\mathcal {F})\). Let \(x=(t,\underline{s})\in X_{\underline{s}^0}(\mathcal {F})\), and write \(\mathcal {F}^j(x)=: (t_j,\sigma ^j(\underline{s}))\). We define a sequence \((\underline{s}^j)_{j=1}^{\infty }\) of addresses by

$$\begin{aligned} s^j_n := {\left\{ \begin{array}{ll} s_n &{} \text {if }n\ne j+1; \\ \left\lceil \frac{F( t_j )}{2\pi } \right\rceil &{}\text {if }n=j+1.\end{array}\right. } \end{aligned}$$

By Definition of \(\mathcal {F}\) and \(J(\mathcal {F})\), we have

$$\begin{aligned} F(t_j) = 2\pi |s_{j+1}| + t_{j+1} \ge 2\pi |s_{j+1}|, \end{aligned}$$

and hence \(|s^j_n|\ge |s_n|\ge |s_n^0|\) for all \(j\ge 1\) and \(n\ge 0\). So \(x^j := (t_{\underline{s}^j}, \underline{s}^j)\in X_{\underline{s}^0}(\mathcal {F})\) for all j. Furthermore, by Lemma 3.8 and (3.1),

$$\begin{aligned} t_j \le F^{-1}(2\pi |s_{j+1}^{j}|) \le t^*_{\sigma ^j(\underline{s}^j)}= & {} \max ( t_{\sigma ^j(\underline{s})}^* , F^{-1}(2\pi |s^j_{j+1}|)) \\\le & {} \max ( t_{\sigma ^j(\underline{s})} , t_j +2\pi ) = t_j+2\pi . \end{aligned}$$

By Observation 3.9, Lemma 3.8 and (3.2),

$$\begin{aligned} |t - t_{\underline{s}^j}| \le F^{-j}\bigl (| t_j - t_{\sigma ^j(\underline{s}^j)} |\bigr ) \le F^{-j}(2\pi + 1) \rightarrow 0 \end{aligned}$$

as \(j\rightarrow \infty \). Since \(\underline{s}^j\rightarrow \underline{s}\) by definition, we see that \(x^j \rightarrow x\), as desired.

As already noted, the final claim of the theorem follows from Observation 3.7. \(\square \)

Proof of Theorem 3.4

Consider the projection map \(E(\mathcal {F})\rightarrow \mathbb {Z}^{\mathbb {N}_0}\) to the second coordinate. This map is continuous, and injective by the definition of \(E(\mathcal {F})\). Since \(\mathbb {Z}^{\mathbb {N}_0}\) is totally separated, it follows that \(E(\mathcal {F})\) and \(\tilde{E}(\mathcal {F})\subset E(\mathcal {F})\) are totally separated.

On the other hand, for any \(\underline{s}^0\in \mathbb {Z}^{\mathbb {N}_0}\), let \(E( X_{\underline{s}^0}(\mathcal {F}))\) denote the set of endpoints of \(X_{\underline{s}^0}(\mathcal {F})\). By Theorem 3.6, \(\hat{X}_{\underline{s}^0}(\mathcal {F})\) is a Lelek fan, and hence \(E(X_{\underline{s}^0}(\mathcal {F}))\cup \{\infty \}\) is connected by Proposition 2.5 and the definition of explosion points. Furthermore, by Theorem 3.6, \(E(X_{\underline{s}^0}(\mathcal {F}))\subset \tilde{E}(\mathcal {F})\) when \(\underline{s}\) is fast, and hence

$$\begin{aligned} \tilde{E}(\mathcal {F})\cup \infty = \bigcup _{\underline{s}^0 \text { fast}} \left( E(X_{\underline{s}^0}(\mathcal {F})) \cup \{\infty \} \right) \end{aligned}$$

is connected, as desired. \(\square \)

To deduce Theorem 1.4, we shall need a slightly stronger version of Theorem 3.4, which applies also to the set of points that remain far enough to the right under iteration of \(\mathcal {F}\).

Theorem 3.10

(Escaping endpoints in other sub-fans) Let \(Q\ge 0\), and define

$$\begin{aligned} J_{\ge Q}(\mathcal {F}) := \{x\in J(\mathcal {F}):T(\mathcal {F}^j(x))\ge Q\text { for all } j\ge 0\}. \end{aligned}$$

Then \(J_{\ge Q}(\mathcal {F})\) is a straight brush (using the embedding from Observation 3.2), and hence \(J_{\ge Q}(\mathcal {F})\cup \{\infty \}\) is a Lelek fan. Furthermore, 

  1. (a)

    If \(\underline{s}^0\in \mathbb {Z}^{\mathbb {N}_0}\) is such that \((t_{\underline{s}^0},\underline{s}^0)\in J_{\ge Q}(\mathcal {F}),\) then \(X_{\underline{s}^0}(\mathcal {F})\subset J_{\ge Q}(\mathcal {F})\).

  2. (b)

    The set \(\tilde{E}_{\ge Q}(\mathcal {F}) := \tilde{E}(\mathcal {F})\cap J_{\ge Q}(\mathcal {F}) \subset E(J_{\ge Q}(\mathcal {F}))\) is dense in \(J_{\ge Q}(\mathcal {F})\). More precisely,  for every \(x^0\in J_{\ge Q}(\mathcal {F}),\) there are sequences \((x^{j+})_{j=1}^{\infty }\) and \((x^{j-})_{j=1}^{\infty }\) in \(\tilde{E}_{\ge Q}(\mathcal {F})\) such that \({\text {addr}}(x^{j-})< {\text {addr}}(x^0) < {\text {addr}}(x^{j+})\) for all j (with respect to lexicographical order) and such that \(x^{j+},x^{j-}\rightarrow x^0\).

  3. (c)

    \(\infty \) is an explosion point for \(\tilde{E}_{\ge Q}(\mathcal {F})\).

Remark

For \(Q>0\), the Cantor bouquet \(J_{\ge Q}(\mathcal {F})\) will have some endpoints that are escaping points of \(\mathcal {F}\), but are not endpoints of \(J(\mathcal {F})\). (Indeed, \((Q, (0)^{\infty })\) is an example of such a point.) In other words, \(\tilde{E}_{\ge Q}(\mathcal {F}) \subsetneq E(J_{\ge Q}(\mathcal {F}))\cap I(\mathcal {F})\).

Proof

Note that \(J_{\ge Q}(\mathcal {F})\) is closed in \(J(\mathcal {F})\) by definition, proving the “compact sections” condition in Definition 2.6. “Hairiness” is also immediate from the definition: if \((t, \underline{s})\in J_{\ge Q}(\mathcal {F})\), then clearly \((t', \underline{s}) \in J_{\ge Q}(\mathcal {F})\) for all \(t' > t\). Furthermore, let \(\underline{s}\in \mathbb {Z}^{\mathbb {N}_0}\) be exponentially bounded. Then (\(t_{\underline{s}}+Q, \underline{s})\in J_{\ge Q}(\mathcal {F})\), which implies the first part of the “density” condition for straight brushes. Thus, it remains to establish the second part of this condition (that for any given hair, there are sequences of hairs approximating it from above and below). This follows from (b), which we establish below. So \(J_{\ge Q}(\mathcal {F})\) is indeed a straight brush.

To prove claim (a), suppose that \(x^0 = (t_{\underline{s}^0} , \underline{s}^0)\in J_{\ge Q}(\mathcal {F})\), and let \(x\in X_{\underline{s}^0}(\mathcal {F})\). Then we can apply Observation 3.7 to \(\underline{s}^0\) and \(\underline{s}:= {\text {addr}}(x)\), and all their iterates. Thus,

$$\begin{aligned} T(\mathcal {F}^j(x)) \ge t_{\sigma ^j(\underline{s})} \ge t_{\sigma ^j(\underline{s}^0)} = T(\mathcal {F}^j_0)) \ge Q \end{aligned}$$

for all j, as claimed.

Now let us prove (b), which follows similarly as density of endpoints in the proof of Theorem 3.6. More precisely, let \(x = (t , \underline{s}) \in J_{\ge Q}(\mathcal {F})\); we may assume without loss of generality that \(x\notin E(\mathcal {F})\). (Otherwise, apply the result to a sequence of values with the same address as x and tending to x, and diagonalise.) In particular,

$$\begin{aligned} t_n := T(\mathcal {F}^n(x)) \ge F^n(\delta ) \end{aligned}$$
(3.4)

by (3.1), where \(\delta := t - t_{\underline{s}} > 0\).

We define addresses \(\underline{s}^{j+}\) and \(\underline{s}^{j-}\) for \(j \ge 0\) by

$$\begin{aligned} s^{j\pm }_n := {\left\{ \begin{array}{ll} s_n &{} \text {if } n\le j; \\ \pm \left\lceil \frac{F( t_{n-1})}{2\pi } \right\rceil &{}\text {if } n\ge j+1.\end{array}\right. } \end{aligned}$$

Then each address \(\underline{s}^{j\pm }\) is fast by (3.4) and Lemma 3.8. Furthermore,

$$\begin{aligned} 2\pi |s^{j\pm }_n| \ge F( t_{n-1} ) > F( t_{\sigma ^{n-1}(\underline{s})} ) \ge 2\pi |s_n| \end{aligned}$$

for all \(j\ge 0\) and \(n\ge j+1\), and hence \(\underline{s}^{j-}< \underline{s}< \underline{s}^{j+}\).

Finally,

$$\begin{aligned} t_{\sigma ^n(\underline{s}^{j\pm })} \ge F^{-1}( 2\pi |s^{j\pm }_{n+1}|) \ge t_n \ge Q \end{aligned}$$

for \(n\ge j\), and by Observation 3.9 also

$$\begin{aligned} t_{\sigma ^n(\underline{s}^{j\pm })} \ge t_n \ge Q \end{aligned}$$

for \(n=1,\ldots , j-1\). Thus \(x^{j\pm } := (t_{\underline{s}^{j\pm }} , \underline{s}^{j\pm })\in \tilde{E}_{\ge Q}(\mathcal {F})\). The fact that \(x^{j\pm } \rightarrow x^0\) as \(j\rightarrow \infty \) follows as in Theorem 3.6, and the proof of (b) is complete.

Finally, (c) follows from (a) and (b) precisely as in the proof of Theorem 3.4 above. \(\square \)

Review of Exponential Dynamics and Proof of Theorem 1.4

We now review some key results concerning the dynamics of exponential maps. The following theorem [30, Thm. 4.2, Thm. 4.3] shows that, for any \(a\in \mathbb {C}\) and sufficiently large \(Q>0\), the set \(J_{\ge Q}(\mathcal {F})\) considered in the previous section captures the essential features of the escaping dynamics of \(f_a\).

Theorem 4.1

(Conjugacy between \(\mathcal {F}\) and exponential maps) Let \(a\in \mathbb {C}\), and consider the exponential map \(f_a:\mathbb {C}\rightarrow \mathbb {C}; f_a(z)=\mathrm{e}^z+a\). If Q is sufficiently large,  then there exists a closed forward-invariant set \(K\subset J(f_a)\) and a homeomorphism \(\mathfrak {g}:J_{\ge Q}(\mathcal {F}) \rightarrow K\) with the following properties.

  1. (a)

    \(\mathfrak {g}\) is a conjugacy between \(\mathcal {F}\) and f;  i.e. \(\mathfrak {g}\circ \mathcal {F}= f_a\circ \mathfrak {g}\).

  2. (b)

    \({\text {Re}}\mathfrak {g}(x)\rightarrow +\infty \) as \(T(x)\rightarrow \infty \).

  3. (c)

    The map \(\mathfrak {g}\) preserves vertical ordering; that is,  if \(\underline{s}^1,\underline{s}^2\in \mathbb {Z}^{\mathbb {N}_0}\) are exponentially bounded addresses such that \(\underline{s}^1<\underline{s}^2\) with respect to lexicographical ordering,  then the curve \(t\mapsto \mathfrak {g}(t,\underline{s}^1)\) tends to infinity below the curve \(t\mapsto \mathfrak {g}(t,\underline{s}^2)\).

  4. (d)

    There is a number \(R>0\) with the following property :  if \(z\in \mathbb {C}\) such that \({\text {Re}}f_a^n(z)\ge R\) for all \(n\ge 0,\) then \(z\in K\).

Remark

Part (c) is not stated in [30, Thm. 4.2,Thm. 4.3], but follows from the construction, as discussed on p. 1962 of the same paper.

Corollary 4.2

(Cantor Bouquets in Julia sets) The map \(\mathfrak {g}\) in Theorem 4.1 extends to a homeomorphism \(\mathbb {R}^2\rightarrow \mathbb {C}\) (where we consider \(J_{\ge Q}(\mathcal {F}) \subset J(\mathcal {F})\) embedded in \(\mathbb {R}^2\) as in Observation 3.2). In particular,  the set \(K=\mathfrak {g}(J_{\ge Q}(\mathcal {F}))\subset J(f)\) is a Cantor bouquet.

Proof

By Theorem 3.10, \(J_{\ge Q}(\mathcal {F})\) is a straight brush. By part (c) of Theorem 4.1 and Theorem 2.8, the set K is a Cantor bouquet, and the claim follows from the second part of Theorem 2.8.

(We remark that, in this case, the compactification discussed in the proof of Theorem 2.8 is well known: it is obtained by adding to \(\mathbb {C}\) all external addresses at infinity, together with the countable set of “intermediate external addresses” (see Definition 6.7 below). This space has the property that \(\mathfrak {g}(t,\underline{s})\rightarrow \underline{s}\) as \(t\rightarrow \infty \), for every exponentially bounded address \(\underline{s}\); compare [31, Rem. on p.357], and also [3, §5] for the same result in a more general setting. The compactification is known to be homeomorphic to the closed unit disc, and hence we can obtain the result directly from [1, Thm. 4.8] using this compactification, without requiring the more general Theorem 2.8.) \(\square \)

To complete the proof of Theorem 1.4, we shall require two further ingredients. The first concerns pullbacks of unbounded sets under entire functions.

Lemma 4.3

(Pullbacks) Let \(f:\mathbb {C}\rightarrow \mathbb {C}\) be any non-constant entire function,  and let \(A\subset \mathbb {C}\) be a set such that \(A\cup \{\infty \}\) is connected. Then \(f^{-1}(A)\cup \{\infty \}\) is connected.

Proof

We prove the contrapositive. Suppose that \(A\subset \mathbb {C}\) is such that \(f^{-1}(A)\cup \{\infty \}\) is disconnected. Then there is a non-empty bounded relatively open and closed subset \(X\subset f^{-1}(A)\). Since f is an open mapping, f(X) is open in A. Furthermore, the closure \(\overline{X}\) (in \(\mathbb {C}\)) is compact, and hence f(X) is bounded and relatively closed in A by continuity of f. Thus \(A\cup \{\infty \}\) is disconnected, as required. \(\square \)

The second ingredient concerns escaping endpoints: to prove Theorem 1.4, we need to know that the image of an escaping endpoint for \(\mathcal {F}\) under the conjugacy \(\mathfrak {g}\) is also an escaping endpoint for the exponential map \(f_a\). With the usual definition of rays and endpoints for \(f_a\), as introduced in [42], this would be immediate. For our Definition 1.1—which is easier to state, but less natural—this is less obvious, but it was shown in [16] that the two notions coincide (compare [16, Rem. 4.4]). In particular, the following is shown there.

Theorem 4.4

(Path-connected components of the escaping set) Let \(a\in \mathbb {C}\) be arbitrary,  and suppose that \(\gamma :[0,1]\rightarrow I(f_a)\) is a continuous curve in the escaping set \(I(f_a)\). Then for all \(R>0\) there exists \(n\ge 0\) such that \({\text {Re}}( f^n(\gamma (t))) \ge R\) for all \(t\in [0,1]\).

Proof

While this is not stated explicitly in this form in [16], it is a direct consequence of Theorem 4.2 given there, applied to the setting of Corollary 4.3 in the same paper. \(\square \)

Corollary 4.5

(Characterisation of rays and endpoints) Let \(a\in \mathbb {C}\) be arbitrary,  and let \(\mathfrak {g}\) and K be as in Theorem 4.1. Let \(z\in I(f_a)\), and let \(n\ge 0\) be sufficiently large such that \(f_a^n(z)\in K\). Then either

  1. (a)

    \(\mathfrak {g}^{-1}(f_a^n(z))\in \tilde{E}(\mathcal {F})\), and z is an escaping endpoint of \(f_a\) in the sense of Definition 1.1; or

  2. (b)

    \(\mathfrak {g}^{-1}(f_a^n(z))\in I(\mathcal {F}){\setminus }\tilde{E}(\mathcal {F})\), and z is on a hair in the sense of Definition 1.1.

Proof

Note that, by property (b) of Theorem 4.1, the map \(\mathfrak {g}\) maps (non-)escaping points of \(f_a\) to (non-)escaping points of \(\mathcal {F}\). Hence either \(x := \mathfrak {g}^{-1}(f_a^n(z)) \in \tilde{E}(\mathcal {F})\) or \(x\in I(\mathcal {F}){\setminus }\tilde{E}(\mathcal {F})\). Observe also that, since the set of escaping endpoints is completely invariant under \(\mathcal {F}\), which of the two alternatives holds is independent of the choice of n.

If x is a non-endpoint for \(J(\mathcal {F})\), then—by increasing the number n if necessary—we may assume that x is also a non-endpoint for \(J_{\ge Q}(\mathcal {F})\), where Q is as in Theorem 4.1. It is then immediate that \(f_a^n(z)\) is on a hair, and by applying a local inverse of \(f_a^{-n}\), we obtain an arc in I(f) containing z as an interior point, as required.

If \(x\in \tilde{E}(\mathcal {F})\), then we see analogously that z is accessible from the escaping set \(I(f_a)\). Hence, it only remains to prove that, if \(\gamma \subset I(f_a)\) is an arc, then \(\gamma \) cannot contain x in its interior. This follows from Theorem 4.4 (again, increasing n if necessary). \(\square \)

Proof of Theorem 1.4

Let \(\mathfrak {g}\), K and Q be as in Theorem 4.1, and define

$$\begin{aligned} A:= \mathfrak {g}(\tilde{E}(\mathcal {F})\cap J_{\ge Q}(\mathcal {F})) \subset \tilde{E}(f_a) \end{aligned}$$

(where the last inclusion follows from Corollary 4.5). Then A is forward-invariant under \(f_a\), and \(\infty \) is an explosion point for \(A\cup \{\infty \}\) by Theorem 3.10. The increasing union

$$\begin{aligned} \bigcup _{n\ge 0} ( f^{-n}(A) \cup \{\infty \}) \end{aligned}$$

is dense in \(\tilde{E}(f_a)\cup \{\infty \}\), since the backward orbit of any point other than the omitted value a is dense in the Julia set (by Montel’s theorem). It is also connected by Lemma 4.3; the theorem follows. \(\square \)

Remark 4.6

(Fast escaping points) Let \(\underline{s}\in \mathbb {Z}^{\mathbb {N}_0}\) be an exponentially bounded address such that the entries of \(\underline{s}\) grow in an iterated exponential fashion, e.g. \(s_0=m\), for some \(m\in \mathbb {N}\), and \(s_{k+1} := 2^{s_k}\). If m is large enough, then by Theorem 3.10 we can replace \(J_{\ge Q}(\mathcal {F})\) by \(X_{\underline{s}}(\mathcal {F})\subset J_{\ge Q}(\mathcal {F})\) in the proof of Theorem 1.4. Furthermore, in this case all points of \(\mathfrak {g}( X_{\underline{s}}(\mathcal {F}))\) belong to the fast escaping set \(A(f_a)\) discussed after the statement of Theorem 1.4. This shows that the set of fast escaping endpoints, together with infinity, is also connected.

Dense Path-Connected Components

We now prove Theorem 1.5, in the following more general form.

Theorem 5.1

(Accumulation points) Let \(a\in \mathbb {C}\). Let C be a path-connected component of \(I(f_a)\), and suppose that \(z_0,z_1\in \tilde{E}(f_a) \cup (\mathbb {C}{\setminus } I(f))\) both belong to the closure \(\overline{C}\). Then \(z_0\) and \(z_1\) are not separated in \(\{z_0,z_1\}\cup \tilde{E}(f_a)\).

The idea of the proof is as follows. If \(z_1\) and \(z_2\) were separated, then by Lemma 2.3, they could be separated by a closed subset of the plane, which by definition does not contain any escaping endpoints. However, this set would have to intersect C, which itself essentially sits within a Cantor bouquet (obtained by taking preimages of the set K from Theorem 4.1). We thus obtain a contradiction to Theorem 3.4. To make this precise, we notice the following simple fact.

Proposition 5.2

(Accessing Cantor bouquets) Let \(X\subset \mathbb {C}\) be a Cantor bouquet,  and let \(E\subset X\) be a dense subset of X such that \(E\cup \{\infty \}\) is connected.

Suppose that \(\Delta \not \subset X\) is a closed connected subset of \(\mathbb {C}\) with \(\Delta \cap E=\emptyset \). Then every connected component I of \(\Delta \cap X\) is either unbounded or contains an endpoint of X.

Proof

Clearly it is enough to prove this in the case where \(X\subset \mathbb {R}^2\) is a straight brush. In this case, let us show the contrapositive. Suppose that I is bounded and does not contain an endpoint of X; we will show that \(E\cup \{\infty \}\) is disconnected. Then \(I=[\tau _1,\tau _2]\times \{\alpha \}\) for some \(\alpha \in \mathbb {R}{\setminus }\mathbb {Q}\) and \(t_{\alpha } < \tau _1 \le \tau _2\). Choose \(T_1\in (t_\alpha , \tau _1)\) and \(T_2 >\tau _2\) such that \((T_1,\alpha ) , (T_2,\alpha ) \notin \Delta \).

Consider the segment \(J:= [T_1,T_2]\times \{\alpha \}\), and let \(\delta >0\) be sufficiently small to ensure that \((T_j, \beta )\notin \Delta \) whenever \(j=1,2\) and \(|\alpha -\beta |\le \delta \). Let \(\beta _n^+\searrow \alpha \) and \(\beta _n^-\nearrow \alpha \) be sequences of rational numbers converging to \(\alpha \) from above and below such that \(|\beta _n^{\sigma }-\alpha |\le \delta \) for all n and \(\sigma \in \{+,-\}\). Then the line segments \(J_n^{\pm } := [T_1,T_2] \times \{\beta _n^{\pm }\}\) converge to J from above and below and are disjoint from X. Consider the open rectangles \(R_n\subset \mathbb {R}^2\) bounded by \(J_n^+\) and \(J_n^-\) together with the vertical line segments connecting their endpoints.

Fix some point \(y\in \Delta {\setminus } X\); then \(\partial R_{n_1}\) separates y from I for sufficiently large \(n_1\). Let \(K_1\) be the closure of the connected component of \(K\cap R_{n_1}\) that contains I. Then, by the boundary bumping theorem [24, Thm. 5.6], there is \(\sigma \in \{+,-\}\) such that \(K_1\) intersects \(J_{n_1}^{\sigma }\). Now let \(n_2> n_1\), and consider the “sub-rectangle” \(R^{\sigma }_{n_1,n_2}\) of \(R_n\) whose horizontal sides are \(J_{n_1}^{\sigma }\) and \(J_{n_2}^{\sigma }\). By another application of the boundary bumping theorem, there is a compact connected subset \(K_2\subset K_1\cap \overline{R_{n_1,n_2}^{\sigma }}\) that connects these two horizontal sides.

If \(n_2\) is sufficiently large, then we can pick points \(a_1,a_2\in X\cap R_{n_1,n_2}^{\sigma }\) that are near the two vertical sides; by density of E we can furthermore assume that \(a_1,a_2\in E\). Then \(K_2\) separates \(a_1\) and \(a_2\) in \(R^{\sigma }\).

Now let \(M < 0\), and consider the set \(\Gamma \) obtained as the union of \(K_2\), \([M,T_2]\times \{\beta _{n_1}^{\sigma }\}\), \([M,T_2]\times \{\beta _{n_2}^{\sigma }\}\) and the vertical interval connecting the left endpoints of the latter two segments. The two horizontal intervals in \(\Gamma \) and its left vertical side are disjoint from X, while \(K_2\subset K\) is disjoint from E by assumption. So \(\Gamma \cap E = \emptyset \). Moreover, clearly \(\Gamma \) also separates \(a_1\) from \(a_2\) in \(\mathbb {C}\) (this follows, for example, from Janiszewski’s theorem [27, p. 31]). This proves that \(E\cup \{\infty \}\) is disconnected, as required.\(\square \)

Proof of Theorem 5.1

Let us suppose, by contradiction, that \(z_0\) and \(z_1\) are separated in \(\{z_0,z_1\}\cup \tilde{E}(f_a)\). Then there exists a closed connected set \(\Delta \subset \mathbb {C}\) such that \(z_0\) and \(z_1\) belong to different complementary components of \(\mathbb {C}{\setminus } \Delta \) and \(\Delta \cap \tilde{E}(f_a)=\emptyset \). Let \(\delta \) be sufficiently small that \(\overline{B(z_j,\delta )}\cap \Delta =\emptyset \) for \(j=0,1\). By assumption, there exists a continuous curve \(\gamma :[0,1]\rightarrow I(f_a)\) with \(|\gamma (0) - z_0| < \delta \) and \(|\gamma (1)-z_1| < \delta \). It follows that \(\gamma ([0,1])\cap \Delta \ne \emptyset \); let \(\zeta _0\) be a member of this intersection.

By Theorem 4.4, there exists a number n such that \(\gamma _n:= f^n(\gamma ([0,1]))\subset K\), where K is the Cantor Bouquet from Theorem 4.1. In particular, \(\gamma _n\) is an arc. If \(V_n\) is a sufficiently small neighbourhood of \(\gamma _n\), then we can find a branch \(\varphi _n\) of \(f_a^{-n}\) on \(V_n\) that takes \(\gamma _n\) to \(\gamma \) and extends continuously to \(\partial V_n\). Set \(V:= \varphi _n(V_n)\).

Let \(\Delta _0\) be the connected component of \(\Delta \cap \overline{V}\) containing \(\zeta _0\); by the boundary bumping theorem, we have \(\Delta _0\cap \partial V\ne \emptyset \). Now we can apply Proposition 5.2 to the Cantor Bouquet K, the set \(E := \tilde{E}(f)\cap K\) (which has the desired properties by Theorem 3.10), and the continuum \(\Delta _n := f^n(\Delta _0)\). Note that \(\Delta _n\not \subset K\) since \(\Delta _n\not \subset \gamma _n\).

By construction, \(\Delta _n\cap E = \emptyset \), but the connected component of \(\Delta _n\cap X\) containing \(f^n(z_0)\) belongs to the interior of the arc \(\gamma _n\), and hence is bounded and contains no endpoint of K. This is a contradiction. \(\square \)

Maps with Accessible Singular Values

The key point about the hypotheses in Theorem 1.3 is that the singular value a can be connected to \(\infty \) by a curve \(\gamma \) that either belongs to the Fatou set (if \(a\in F(f_a)\)) or is a piece of a “dynamic ray” in the escaping set (see below). The preimage of \(\gamma \), which contains no endpoints, then cuts the complex plane into countably many strips, and we can study symbolic dynamics by considering the “itineraries” of different points with respect to this partition.

Definition 6.1

(Itineraries) Let \(f:\mathbb {C}\rightarrow \mathbb {C}\) be a continuous function, and let \(\Gamma \subset \mathbb {C}\) be a closed set. We say that \(z\in \mathbb {C}\) has an itinerary with respect to \(\Gamma \) if \(f^n(z)\notin \Gamma \) for all \(n\ge 0\). In this case, the itinerary of z is defined to be the sequence of connected components of \(\mathbb {C}{\setminus }\Gamma \) visited by \(f^n(z)\), for \(n\ge 0\).

In particular, two such points z and w have the same itinerary if \(f^n(z)\) and \(f^n(w)\) belong to a common connected component of \(\mathbb {C}{\setminus }\Gamma \) for all n; otherwise, they have different itineraries.

When two points have different itineraries, they can clearly be separated within the set of endpoints:

Observation 6.2

(Separation from itineraries) Let \(f:\mathbb {C}\rightarrow \mathbb {C}\) be a continuous function,  and let \(\Gamma \subset \mathbb {C}\) be a closed set. Suppose that \(z,w\in \mathbb {C}\) have different itineraries with respect to \(\Gamma \). Then z and w are separated in \({\mathbb {C}{\setminus } \bigcup _{n\ge 0}f^{-n}(\Gamma )}\).

Proof

Let \(n_0\ge 0\) be such that \(f^{n_0}(z)\) and \(f^{n_0}(w)\) belong to different connected components of \(\mathbb {C}{\setminus }\Gamma \). Since \(\Gamma \) is closed, the two points are also separated in \(\mathbb {C}{\setminus } \Gamma \). Then z and w are separated in \(\mathbb {C}{\setminus } f^{-n_0}(\Gamma )\) by Observation 2.2.\(\square \)

Dynamic rays of exponential maps. A full description of the escaping set of an arbitrary exponential map in terms of dynamic rays was first given in [42]. We shall now review their definition and basic properties.

Definition 6.3

(Dynamic rays) Let \(f_a\) be an exponential map. A dynamic ray of \(f_a\) is a maximal injective continuous curve \(g:(0,\infty )\rightarrow I(f_a)\) such that

  1. (a)

    \(\lim _{t\rightarrow \infty } {\text {Re}}f_a^n(g(t)) = \infty \) uniformly in n, and

  2. (b)

    for all \(t_0>0\), \(\lim _{n\rightarrow \infty } {\text {Re}}f_a^n(g(t)) = \infty \) uniformly for \(t\ge t_0\).

If additionally \(z_0 := \lim _{t\rightarrow 0}g(t)\) is defined, then we say that g lands at \(z_0\).

We shall use the following basic properties of dynamic rays.

Theorem 6.4

(Properties of dynamic rays) Let \(f_a\) be an exponential map,  and let \(\mathfrak {g}\) be the map from Theorem 4.1.

  1. (a)

    For every exponentially bounded external address \(\underline{s}\in \mathbb {Z}^{\mathbb {N}_0},\) there is a unique (up to reparameterisation) dynamic ray \(g_{\underline{s}}\) such that \({\text {addr}}(\mathfrak {g}^{-1}(g_{\underline{s}}(t)))=\underline{s}\) for all sufficiently large t. Conversely,  if g is a dynamic ray of \(f_a,\) then \(g=g_{\underline{s}}\) for some \(\underline{s}\) (again up to reparameterisation).

  2. (b)

    The vertical order of dynamic rays (for \(t\rightarrow \infty )\) coincides with the lexicographical ordering of their external addresses.

  3. (c)

    If \(z\in I(f)\) is on a hair,  then either z is on a unique dynamic ray,  or there is \(n_0\ge 1\) such that \(f^n(z)\) is on a unique dynamic ray containing the singular value a.

  4. (d)

    If z is an endpoint of \(f_a,\) then either z is the landing point of a dynamic ray (which is unique if additionally \(z\in I(f)),\) or there is \(n_0\ge 1\) such that \(f^{n_0}(z)\) is the landing point of the unique dynamic ray containing the singular value a.

Proof

These are well-known properties of dynamic rays (compare [42] or [30]), and follow easily from Theorem 4.1 and Corollary 4.5.\(\square \)

Curves at the singular value. We now study exponential functions satisfying the assumptions of Theorem 1.3. For every such map \(f_a\), we can find a natural curve connecting the singular value to \(\infty \). The preimages of this curve give rise to a natural dynamical partition of the Julia set. The study of these partitions, and of the resulting itineraries, is well developed. Here we shall present the basic facts we require and refer e.g. to [31, 35, 43] for further background.

Let us first consider the case where \(a\notin F(f_a)\). Then Theorem 6.4 immediately implies the following.

Corollary 6.5

(Rays landing at singular values) Suppose that \(f_a\) is an exponential map for which a is either an endpoint or on a hair. Then there is an exponentially bounded address \(\underline{s}\) such that either \(g_{\underline{s}}\) lands at a,  or \(a\in g_{\underline{s}}\).

Now consider the case where the singular value belongs to the Fatou set. The following is well known, and follows from the fact that a is the unique singular value of \(f_a\), and that exponential maps have no wandering domains.

Observation 6.6

(Singular values in the Fatou set) Let \(f_a\) be an exponential map. Then \(a\in F(f_a)\) if and only if \(f_a\) has an attracting or parabolic cycle. In this case,  there is a unique cycle of periodic components of the Fatou set,  and a belongs to one of the components of this cycle.

If the component U of \(F(f_a)\) containing the singular value has period n, we can connect a and \(f_a^n(a)\) by an arc \(\gamma _0\) in U. Let \(\gamma \) be the component of \(f_a^{-n}(\gamma _0)\) containing a; then \(\gamma \) is a curve connecting a to \(\infty \) in U. To associate symbolic dynamics to the curve \(\gamma \), we should “fill in the gaps” within \(\mathbb {Z}^{\mathbb {N}_0}\) with finite sequences called “intermediate external addresses”; compare [39, §3] or [35, §2].

Definition 6.7

(Intermediate external addresses) An intermediate external address (of length \(n\ge 1\)) is a finite sequence

$$\begin{aligned} \underline{s}= s_0 s_1 s_2 \ldots s_{n-2} \infty , \end{aligned}$$

where \(s_j\in \mathbb {Z}\) for \(j<n-2\) and \(s_{n-2}\in \mathbb {Z}+1/2\). The union of \(\mathbb {Z}^{\mathbb {N}_0}\) (the space of infinite external addresses) and the set of all intermediate external addresses is denoted \(\overline{\mathbb {S}}\); we also write \(\mathbb {S}:= \overline{\mathbb {S}}{\setminus } \{\infty \}\).

Let \(f_a\) be an exponential map and let \(\gamma \subset \mathbb {C}{\setminus } I(f_a)\) be a curve connecting some finite endpoint to infinity. Then we say that \({\text {addr}}(\gamma )=\underline{s}\in \overline{\mathbb {S}}\) if, for any exponentially bounded addresses \(\underline{r}^1\), \(\underline{r}^2\), the three curves \(g_{\underline{r}^1}\bigl ([1,\infty )\bigr )\), \(\gamma \) and \(g_{\underline{r}^2}\bigl ([1,\infty )\bigr )\) are ordered in positive orientation with respect to cyclic order at infinity whenever \(\underline{r}^1< \underline{s}< \underline{r}^2\) with respect to the cyclic order on \(\overline{\mathbb {S}}\).

Remark 1

At first, the notion of a curve having address \(\underline{s}\) may seem to depend on the parameterisation of dynamic rays. However, this is not the case, since using different “tails” of the same ray will result in the same cyclic order; the interval \([1,\infty )\) is used merely for convenient notation.

Remark 2

Since the cyclic order on \(\overline{\mathbb {S}}\) is order-complete (in fact, the space is isomorphic to the circle), \({\text {addr}}(\gamma )\) is defined for every curve \(\gamma \) as in Definition 6.7. Observe that, if \({\text {addr}}(\gamma )\ne \infty \), then \({\text {Re}}z\rightarrow +\infty \) along \(\gamma \). In particular, \(f(\gamma )\) is then also a curve to infinity, and \({\text {addr}}(f_a(\gamma )) = \sigma ({\text {addr}}(\gamma ))\).

Now let us return to our case of an exponential map \(f_a\) having an attracting or parabolic orbit, and the curve \(\gamma \) defined above. Clearly we have \({\text {addr}}(f_a^{n-1}(\gamma )) = \infty \), and hence \({\text {addr}}(\gamma )\) is an intermediate external address of length n.

Itineraries and escaping endpoints. For the remainder of the section, we fix an exponential map \(f_a\) satisfying the hypotheses of Theorem 1.3, the curve \(\gamma \) connecting a to \(\infty \) constructed above, and the associated address \(\underline{s}\in \mathbb {S}\); that is, if a is an endpoint or on a hair, then \(\gamma \) is the piece of \(g_{\underline{s}}\) beginning at a, where \(g_{\underline{s}}\) is the ray from Corollary 6.5. If \(a\in F(f_a)\), then \(\gamma \) and \(\underline{s}={\text {addr}}(\gamma )\) are as defined above. In either case, \(\gamma \) contains no endpoints, except possibly a itself, and \(\underline{s}\) is either intermediate or exponentially bounded.

Remark

In the case where a belongs to an invariant component of the Fatou set, the construction above leads to a curve \(\gamma \) having real parts tending to \(-\infty \), and hence having address \(\underline{s}=\infty \). This choice, while correct, would require us to introduce some tedious notation for special cases below. Instead, we simply note that we can always replace \(\gamma \) by a piece of its preimage, extended to connect to the singular value; this curve will then have an address in \(\mathbb {S}\). (We remark that the case where \(\underline{s}=\infty \) is trivial, anyway, since here no two rays can share the same itinerary, and \(E(f_a)\) is thus totally separated. In fact, it is well known that the Julia set is then a Cantor bouquet.) In the following, we will hence always suppose that \(\underline{s}\ne \infty \).

Now \(f_a^{-1}(\gamma )\) consists of countably many curves from \(-\infty \) to \(+\infty \), which cut the plane into countably many strips, and we can study itineraries with respect to \(\Gamma = f^{-1}(\gamma )\) (in the sense of Definition 6.1) in purely combinatorial terms.

Definition 6.8

(Combinatorial itinerary) Let \(\underline{s}\in \mathbb {S}\), and let \(\underline{r}\in \mathbb {Z}^{\mathbb {N}_0}\) be an address with \(\sigma ^n(\underline{r})\ne \underline{s}\) for all \(n\ge 1\). Define \(\underline{m}\in \mathbb {Z}^{\mathbb {N}_0}\) by

$$\begin{aligned} m_j\underline{s}< \sigma ^j(\underline{r}) < (m_j+1)\underline{s}\end{aligned}$$
(6.1)

for \(j\ge 0\). We call \(\underline{m}\) the (combinatorial) itinerary of \(\underline{r}\) and write itin\(_{\underline{s}}(\underline{r}):= \underline{m}\).

We also define the kneading sequence \(\mathbb {K}(\underline{s}) := {\text {itin}}_{\underline{s}}(\underline{s})\). Observe that, in the case where \(\underline{s}\) is an intermediate external address of length n, or periodic of period n, only the first \(n-1\) entries \(u_0,\ldots ,u_{n-2}\) of the kneading sequence can be defined according to (6.1); in this case we set \(\mathbb {K}(\underline{s}) := u_0 \ldots u_{n-2} *\).

Remark

Compare [35, §3] for a further discussion of combinatorial itineraries and kneading sequences. There, itineraries are also defined for intermediate external addresses, and iterated preimages of the address \(\underline{s}\). In particular, for simplicity, our definition of the kneading sequence for periodic \(\underline{s}\) is slightly different from—and less accurate than—that given in [35]; in particular, for our purposes periodic addresses do not have periodic kneading sequences.

By Observation 6.2, if two exponentially bounded addresses as above have different combinatorial itineraries, then the corresponding two rays and their landing points are separated by \(\bigcup _{n\ge 1}f_a^{-n}(\gamma )\subset I(f_a){\setminus } E(f_a)\). Hence we can prove results about the separation of endpoints by studying the properties of sets of addresses sharing the same itinerary. The following simple observation shows that the itineraries of such addresses must satisfy certain restrictions in terms of the kneading sequence.

Lemma 6.9

(Addresses sharing an itinerary [31, Lem. 2.3]) Let \(\underline{s}\in \mathbb {S}\), and suppose that \(\underline{r}^1\ne \underline{r}^2\) are two addresses,  neither an iterated preimage of \(\underline{s},\) with \(\underline{m}:= {\text {itin}}_{\underline{s}}(\underline{r}^1) = {\text {itin}}_{\underline{s}}(\underline{r}^2)\). Then \(\sigma ^k(\underline{r}^1)\ne \sigma ^k(\underline{r}^2)\) for all \(k\ge 0\).

Furthermore,  let \(j\ge 1\) with \(r_{j-1}^1 \ne r_{j-1}^2\). Then,  for all \(k\ge 0,\) \(m_{j+k} = u_{\ell }\) for some \(\ell \le k,\) where \(\underline{u}:= \mathbb {K}(\underline{s})\).

Remark

In the case where \(\underline{s}\) is intermediate or periodic, the final statement implies, in particular, that \(m_{j+k}\) agrees with one of the finitely many integer entries of \(\underline{u}\).

The following will allow us to complete the proof of Theorem 1.3.

Proposition 6.10

(Addresses sharing an itinerary are slow) Let \(\underline{s}\in \mathbb {S}\) be either intermediate or exponentially bounded. If \(\underline{r}^1\ne \underline{r}^2\) are such that the itineraries \({\text {itin}}_{\underline{s}}(\underline{r}^1)\) and \({\text {itin}}_{\underline{s}}(\underline{r}^2)\) are defined and coincide,  then \(\underline{r}^1\) and \(\underline{r}^2\) are slow.

Proof

By the first part of Lemma 6.9, the addresses \(\underline{r}^1\) and \(\underline{r}^2\) differ at infinitely many indices. Furthermore, if \(\underline{s}\) is exponentially bounded, we have \(t := t_{\underline{s}}< \infty \); by Lemma 3.8, \(2\pi |s_n|\le F^n(t_{\underline{s}}^*) \le F^n(t_{\underline{s}})\) for all \(n\ge 0\). On the other hand, if \(\underline{s}\) is intermediate of length K, then it contains only finitely many entries, and we can choose t such that \(2\pi |s_n| \le F^n(t)\) for \(n\le K-2\).

Let \(N\ge 1\) be such that \(r_{N-1}^1 \ne r_{N-1}^2\). Then, by Lemma 6.9, we have

$$\begin{aligned} 2\pi |r^{j}_n| \le 2\pi ( \max _{k\le n-N} (|s_k|+ 1 ) \le F^{n-N}(t+2\pi ) \end{aligned}$$

for all \(n \ge N\) and \(j=1,2\). Hence \(t^*_{\sigma ^{N}(\underline{r}^{j})} \le t+2\pi \). Since N can be chosen arbitrarily large, we see that \(\underline{r}^1\) and \(\underline{r}^2\) are slow, as claimed. \(\square \)

Proof of Theorem 1.3

By Theorem 1.4, it remains to show that \(\tilde{E}(f_a)\) is totally separated for all \(a\in \mathbb {C}\) satisfying the hypotheses of the theorem.

So let \(z,w\in \tilde{E}(f_a)\) with \(z\ne w\). By Observation 6.2, it is enough to show that \(z_n:= f_a^n(z)\) and \(w_n:= f_a^n(w)\) are separated by \(f_a^{-1}(\gamma )\) for some \(n\ge 0\). (Here \(\gamma \) is the curve connecting the singular value to \(\infty \), as above.)

If \(z_{n+1}=w_{n+1}\) for some (minimal) \(n\ge 0\), then \(z_n\) and \(w_n\) differ by a non-zero integer multiple of \(2\pi i\), and are hence separated by \(f^{-1}(\gamma )\), as desired.

So suppose that \(z_n\ne w_n\) for all n. By Theorem 6.4(d), there is \(n\ge 0\) such that \(z_n\) and \(w_n\) are landing points of two dynamic rays \(g_{\underline{r}^z}\) and \(g_{\underline{r}^w}\), at fast external addresses. If n is large enough, then neither \(\underline{r}^z\) nor \(\underline{r}^w\) is mapped to the address \(\underline{s}\) of \(\gamma \) under iteration of the shift map.

By Proposition 6.10, we have \({\text {itin}}_{\underline{s}}(\underline{r}^z)\ne {\text {itin}}_{\underline{s}}({\underline{r}^w})\). If j is the first index at which the two itineraries differ, then \(g_{\sigma ^j(\underline{r}^z)}\) and \(g_{\sigma ^j(\underline{r}^w)}\), and hence \(z_{n+j}\) and \(w_{n+j}\), are separated by \(f^{-1}(\gamma )\), and the proof is complete. \(\square \)

Itineraries and arbitrary endpoints. To also prove Theorem 1.7 in the case where \(a\notin F(f_a)\), we shall use the following combinatorial statement, which concerns addresses sharing an itinerary in general.

Proposition 6.11

(Number of addresses sharing a common itinerary) Let \(\underline{s}\in \mathbb {S}\) and let \(\underline{m}\in \mathbb {Z}^{\mathbb {N}_0}\). Let \(\mathcal {R}\) denote the set of external addresses whose itinerary with respect to \(\underline{s}\) is defined and agrees with \(\underline{m}\).

If \(\underline{m}\) is periodic or preperiodic,  and \(\sigma ^j(\underline{m})\ne \mathbb {K}(\underline{s})\) for all sufficiently large \(j\ge 0,\) then \(\mathcal {R}\) is a finite set of periodic or preperiodic addresses (all having the same period and pre-period). If \(\underline{m}\) is not eventually periodic,  then \(\# \mathcal {R} \le 2\).

Remark 1

The hypothesis of the proposition is necessary. Indeed, suppose that \(\mathbb {K}(\underline{s})\) is periodic; recall that for us this implies that \(\underline{s}\) itself is not a periodic address. If \(\sigma ^j(\underline{m}) = \mathbb {K}(\underline{s})\) for some \(j\ge 0\), then the set \(\mathcal {R}\) consists of uncountably many addresses. (The reader may think, by way of illustration, of the case of an exponential map with a Siegel disc. Although it is not known whether there are such maps for which the singular value is the landing point of a ray, this is conjectured to be true at least for certain rotation numbers; compare [31]. In this case, we may think of \(\mathcal {R}\) as representing the addresses of those dynamic rays that accumulate on the boundary of the Siegel disc.)

Remark 2

In the periodic case, more can be said than is stated in the proposition. For example, the addresses in \(\mathcal {R}\) belong to at most two periodic cycles; if \(\# \mathcal {R}>2\), then they belong to a single cycle; see [39, Lem. 5.2].

Proof

First suppose that \(\underline{m}\) is eventually periodic. We may assume that \(\underline{m}\) is periodic; otherwise, we apply the proposition to a periodic iterate of \(\underline{m}\) under the shift, and obtain the result for \(\underline{m}\) by pulling back corresponding to the finitely many initial entries of \(\underline{m}\).

In the periodic case, the claim follows directly from [35, Lem. 3.8], with one exception. This exception concerns the case where \(\underline{s}\) is periodic, say of period n, with kneading sequence \(\mathbb {K}(\underline{s}) = u_0 u_1 \ldots u_{n-2} *\), and where \(\sigma ^j(\underline{m}) = (u_0 u_1 \ldots u_{n-2} m_{n+j-1})^{\infty }\) for some \(j\ge 0\), where \(m_{n+j-1} \in \{ s_{n-1} , s_{n-1} -1\}\). In these circumstances, the hypotheses of our proposition are satisfied, but [35, Lem. 3.8] does not apply.

We claim that, under the above assumptions, \(\mathcal {R}\) consists of periodic or preperiodic addresses, of period n. (However, it may be that \(\mathcal {R}=\emptyset \), which is impossible in the case covered by [35, Lem. 3.8].) Indeed, assume without loss of generality that \(j=0\), and let p be the period of the itinerary \(\underline{m}\). Then p divides n; say \(n=p\cdot q\). We consider the set \(\mathcal {R}'\) obtained by adding to \(\mathcal {R}\) the orbit of \(\underline{s}\) under \(\sigma ^p\). \(\square \)

Claim

The set \(\mathcal {R}'\) is mapped bijectively to itself under \(\sigma ^p\), and \(\sigma ^p\) preserves the cyclic ordering of addresses in \(\mathcal {R}'\).

Proof

We first prove that the claims hold for \(\mathcal {R}\). Recall that all addresses in \(\mathcal {R}\) have itinerary \(\underline{m}\), which is an infinite sequence of integers (in particular, no address in \(\mathcal {R}\) is on the backward orbit of \(\underline{s}\)). For every \(j\ge 0\), all addresses of \(\sigma ^j(\mathcal {R})\) belong to the interval \((m_j\underline{s}, (m_j+1)\underline{s})\), and the shift map is injective on each such interval and preserves the cyclic ordering. Furthermore, if \(\underline{r}\in \mathcal {R}\), then there is a unique preimage of \(\underline{r}\) under \(\sigma ^p\) whose itinerary begins with \(m_0 m_1 \ldots m_{p-1}\), and which hence also belongs to \(\mathcal {R}\). (Here we use the fact that \(\underline{s}\) is periodic, so that \(\underline{r}\)—whose itinerary is an infinite sequence of integers by assumption—is not on the orbit of \(\underline{s}\) under the shift map.)

Now \(\sigma ^n\) is clearly also bijective on \(\mathcal {R}'\). The reasoning that it preserves the circular ordering is the same as above—here \(\sigma ^{p-1}(\mathcal {R}')\) also includes exactly one of the two boundary addresses of \((m_j\underline{s},(m_j+1)\underline{s})\), but this does not affect the argument. \(\square \)

Let \(\tilde{n}\) be the minimal period of a periodic address \(\underline{r}\) in \(\mathcal {R}'\) (so \(\tilde{n}\) is a multiple of p and divides n). Then \(\sigma ^{\tilde{n}}\) maps \(\mathcal {R}'\) to itself, preserving the cyclic ordering and fixing \(\underline{r}\). Let \(\underline{t}\in \mathcal {R}'\); then, in the cyclic order, either

$$\begin{aligned} \underline{r}\le & {} \underline{t}\le \sigma ^{\tilde{n}}(\underline{t}) \le \sigma ^{2\tilde{n}}(\underline{t}) \le \sigma ^{3\tilde{n}}(\underline{t}) \le \ldots \le \underline{r}, \qquad \text {or} \\ \underline{r}\ge & {} \underline{t}\ge \sigma ^{\tilde{n}}(\underline{t}) \ge \sigma ^{2\tilde{n}}(\underline{t}) \ge \sigma ^{3\tilde{n}}(\underline{t}) \ge \ldots \ge \underline{r}. \end{aligned}$$

So \(\sigma ^{j\tilde{n}}(\underline{t})\) is an eventually monotone, and hence convergent, sequence in \(\mathbb {Z}^{\mathbb {N}_0}\). But this is possible only if \(\underline{t}\) is itself periodic of period at most \(\tilde{n}\). Hence, all addresses in \(\mathcal {R}\) are periodic of period \(\tilde{n}=n\), as claimed. Furthermore, the set of sequences of period n in \(\mathcal {R}\) is clearly finite: for any \(\underline{t}\in \mathcal {R}\), we have \(t_j \in \{m_j,m_j-1\}\) for all j, so there are at most \(2^{n}\) such addresses. (In fact, as alluded to in Remark 2 above, there are far fewer: either \(\# \mathcal {R}= 0\) or \(\#\mathcal {R}=1\); we do not require this fact).

The case where \(\underline{m}\) is not eventually periodic is Thurston’s no wandering triangles theorem, adapted to our context. See, e.g. [41, Thm. 3.3] for a proof in the case of unicritical polynomials. We are not aware of a published proof for exponential maps, and hence provide the argument in Theorem 6.13 below.\(\square \)

No wandering triangles. Let us begin by introducing some notation.

Definition 6.12

(Wandering gaps) Two sets \(A,B\subset \overline{\mathbb {S}}\) are called unlinked if A is completely contained in one of the intervals of \(\overline{\mathbb {S}}{\setminus } B\) (and vice versa). Let \(A\subset \mathbb {S}\), and consider the set obtained by shifting the initial entries of all addresses in A by the same integer \(m\in \mathbb {Z}\). This set is called a translate of A, and denoted \(A+m\).

A set \(A\subset \mathbb {Z}^{\mathbb {N}_0}\) is called a wandering gap (for the one-sided shift \(\sigma \) on \(\mathbb {Z}^{\mathbb {N}_0}\)) if \(\#\sigma ^n(A) \ge 3\) for all \(n\ge 0\) and the sets \(\sigma ^{n_1}(A)\) and \(\sigma ^{n_2}(A)\) are disjoint and unlinked for all non-negative \(n_1\ne n_2\). If \(\#A=3\), then A is also called a wandering triangle.

A wandering gap is of exponential combinatorial type if the sets \(\sigma ^{n_1}(A)+m_1\) and \(\sigma ^{n_2}(A)+m_2\) are disjoint and unlinked whenever \((n_1,m_1)\ne (n_2,m_2)\) (where \(n_1,n_2\ge 0\) and \(m_1,m_2\in \mathbb {Z}\)).

The condition of “exponential combinatorial type” is motivated precisely by the dynamics and combinatorics of exponential maps as discussed above; see also Observation 6.14. Assuming this condition, we can now prove the absence of wandering gaps. (In general, wandering gaps do exist for the shift map on any number \(n\ge 3\) of symbols [6], and by the same reasoning they exist also for the shift on infinitely many symbols.)

Theorem 6.13

(No wandering triangles) There are no wandering gaps of exponential combinatorial type.

Proof

Since every wandering gap contains a wandering triangle, it is enough to prove the absence of wandering triangles of exponential combinatorial type; hence the name of the theorem. So suppose, by contradiction, that there is such a wandering triangle T, and define \(T_n := \sigma ^n(T)\) for \(n\ge 0\). Let \(\mathcal {T}\) denote the set of all \(T_n\) and their translates; recall that, by assumption, the elements of \(\mathcal {T}\) are pairwise disjoint and pairwise unlinked. For ease of notation, we also write \(\underline{r}+m\) for the translate of an address \(\underline{r}\) by m; that is,

$$\begin{aligned} \underline{r}+m = (r_0+m) r_1 r_2 r_3 \ldots . \end{aligned}$$

Observation 1

If \(T\in \mathcal {T}\) and \(\underline{r}^1,\underline{r}^2 \in T\), then \(\underline{r}^2 < \underline{r}^1+1\).

In particular, \(\sigma |_{T}\) preserves the cyclic ordering of addresses, and any two addresses in T differ by at most 1 from each other in every entry.

Proof

The first claim is immediate from the fact that T is unlinked with its translates, and implies the second claim (since \(\sigma \) preserves cyclical order when restricted to the interval between an address and its translate by 1). The final statement follows from the first, applied to \(\sigma ^n(T)\) for all \(n\ge 0\). \(\triangle \)

For two addresses \(\underline{r}^1,\underline{r}^2\), let us write \(N(\underline{r}^1,\underline{r}^2)\) for the index of the first entry in which these two addresses differ. For any triangle \(T\in \mathcal {T}\), also write N(T) for the largest value of \(N(\underline{r}^1,\underline{r}^2)\) for two different \(\underline{r}^1,\underline{r}^2\in T\).

Observation 2

If \(T\in \mathcal {T}\) is a triangle, then there is \(\underline{t}\in T\) such that \(N(\underline{t},\underline{r}) < N(T)\) for the other addresses \(\underline{r}\in T{\setminus }\{\underline{t}\}\).

Proof

Let \(T = \{\underline{r}^1,\underline{r}^2,\underline{t}\}\), where \(N(\underline{r}^1,\underline{r}^2)=N:= N(T)\). By Observation 1, at position N, there are only two possible choices for the entry of each address in T. In particular, \(\underline{t}\) does not differ from one of the two other addresses, say \(\underline{r}^1\), at position N. By definition of N(T), we must have \(N(\underline{t},\underline{r}^1) < N\). Since \(\underline{r}^1\) and \(\underline{r}^2\) agree up to entry \(N-1\), we also have \(N(\underline{t},\underline{r}^1) = N(\underline{t},\underline{r}^2)\). \(\triangle \)

Observation 3

There are \(n_2> n_1 > 0\) such that \(N_1:= N(T_{n_1}) \ge N(T_{n_1-1})\) and \(N_2:= N(T_{n_2}) \ge N(T_{n_1})\).

Proof

This is trivial if \(N(T_n)\) is unbounded as \(n\rightarrow \infty \). Otherwise, there are infinitely many n for which

$$\begin{aligned} N_1 := N(T_n) = \limsup _{k\rightarrow \infty } N(T_k), \end{aligned}$$

and we choose two of these that are sufficiently large to ensure that \(N(T_n) \le N_1\) for all \(n\ge n_1-1\). (Note that, in this case, \(N_1=N_2\).) \(\triangle \)

Let \(n_1\) and \(n_2\) be as in Observation 3; we may assume furthermore that \(n_2>n_1\) is chosen to be minimal. Let \(\tilde{T}_1\) and \(\tilde{T}_2\) be translates of \(T_{n_1-1}\) and \(T_{n_2-1}\), chosen to contain an address having initial entry 0, but no address with initial entry \(-1\). (This is possible by Observation 1.) In particular, \(\sigma (\tilde{T}_j) = T_{n_j}\) for \(j=1,2\), and

$$\begin{aligned} N(\tilde{T}_2) = N(T_{n_2-1}) \le N_1 \end{aligned}$$
(6.2)

by minimality of \(n_2\).

Observation 4

For \(j=1,2\), the triangle \(\tilde{T}_j\) contains two addresses \(\underline{r}^{j,0}\) and \(\underline{r}^{j,1}\) such that \(r^{j,\ell }_0 = \ell \) for \(\ell =0,1\), and such that \(N(\underline{r}^{j,1} , \underline{r}^{j,0}+1) = N(\underline{r}^{j,0}, \underline{r}^{j,1}-1) = N_j+1\).

Furthermore, the third address \(\underline{t}\in \tilde{T}_j\) differs from one of these two addresses at position 0, and from the other in an entry at a position \(\le N_j\).

Proof

If two addresses \(\underline{t}^0\ne \underline{t}^1\) differ first in the Nth entry, and have \(t^0_0 = t^1_0\), then their images under the shift map clearly differ first in the \((N-1)\)th entry, and thus

$$\begin{aligned} N(\sigma (\underline{t}^0),\sigma (\underline{t}^1)) = N(\underline{t}^0,\underline{t}^1) - 1. \end{aligned}$$

Now let \(\underline{t}^1 < \underline{t}^0\) be the two addresses in \(T_{n_j}\) with \(N(\underline{t}^1,\underline{t}^0)= N(T_{n_j})\), and let \(\underline{r}^{j,1}\) and \(\underline{r}^{j,0}\) be their preimages in \(\tilde{T}_j\). Then

$$\begin{aligned} N(\underline{r}^{j,1} , \underline{r}^{j,0}) \le N(\tilde{T}_j) \le N(T_{n_j}) = N(\underline{t}^1 , \underline{t}^0), \end{aligned}$$

and hence \(\underline{r}^{j,1}\) and \(\underline{r}^{j,0}\) differ in their initial entry.

It follows that \(\underline{r}^{j,\ell }\) begins with the entry \(\ell \) for \(\ell =0,1\), and that the two addresses agree in the next \(N_j\) entries, proving the first claim.

The second claim follows from Observation 2 in a similar manner. \(\triangle \)

We can now reach the desired contradiction. Indeed, by Observation 1, the two triangles \(\tilde{T}_1\) and \(\tilde{T}_2\) are unlinked. Since \(N_2 \ge N_1\), it follows from Observation 4 that \(\tilde{T}_2\) cannot belong to one of the bounded intervals of \(\mathbb {Z}^{\mathbb {N}_0} {\setminus } \tilde{T}_1\), and thus \(\tilde{T}_{2}\) is contained in the union of the two intervals \((\underline{r}^{1,1}-1, \underline{r}^{1,0})\) and \((\underline{r}^{1,1},\underline{r}^{1,0}+1)\). In particular, there must be two addresses in \(\tilde{T}_{2}\) that belong to the same of these two intervals, and hence agree in the first \(N_1+1\) entries. So \(N(\tilde{T}_{2}) > N_1\), which contradicts (6.2).\(\square \)

Remark

The above proof follows similar ideas as the usual proof of the wandering triangles theorem in the polynomial case, with one notable exception. The first step in the latter proof is usually to observe that the smallest side in the iterates of a wandering triangle must become arbitrarily small (in our terminology, this would mean that \(N(T_n)\rightarrow \infty \) as \(n\rightarrow \infty \)). In the polynomial case, this follows from an area argument [41, Lem. 2.11] which completely breaks down in the infinite-symbol case. This forces us to argue more carefully, observing that Observation 3 holds and is sufficient to conclude the proof, even if \(N(T_n)\) remained bounded. It is not clear whether this consideration is an artefact of the proof or a genuinely new phenomenon in the transcendental case; that is, for families of transcendental entire functions where wandering triangles do exist, do we always have \(N(T_n)\rightarrow \infty \)?

The following observation links the notions of gaps, and Theorem 6.13, with itineraries of exponential maps.

Observation 6.14

(Sets with different itineraries are unlinked) Let \(\underline{s}\in \mathbb {S}\), and let \(A,B\subset \mathbb {S}\) be such that all addresses in A share the same itinerary \(\underline{u}^A\), and all addresses in B share the same itinerary \(\underline{u}^B\) (with respect to \(\underline{s}),\) but \(\underline{u}^A\ne \underline{u}^B\). Then A and B are unlinked.

In particular,  if \(\#A\ge 3,\) then \(\underline{u}^A\) is periodic.

Remark

The final statement completes the proof of Proposition 6.11.

Proof

The first claim is trivial when the initial entries of the two itineraries differ (by definition of itineraries). Furthermore, the shift map, when restricted to any of the intervals used in the definition of itineraries, preserves the circular order of external addresses. The fact that the two sets are unlinked hence follows by induction.

The second claim follows from the first, together with the No Wandering Triangles theorem. Indeed, by the definition of itineraries, \(\sigma ^n(A)\) is disjoint from its translates for all \(n\ge 0\). If \(\underline{u}^A\) was aperiodic but \(\#A \ge 3\), then A would be a wandering gap, contradicting Theorem 6.13. \(\square \)

Proof of Theorem 1.8

Suppose, by contradiction, that \(z_0\) is as in Theorem 1.8, but that \(z_0\) is not eventually periodic. By Theorem 6.4 (and since \(f_a^n\) is locally injective near \(z_0\)), there is \(n\ge 0\) such that \(f^n(z_0)\) is the landing point of at least three dynamic rays, at addresses \(\underline{r}^1,\underline{r}^2,\underline{r}^3\). These three addresses form a wandering triangle T. Since the three rays associated to any translate of any iterate of T also land together (due to the periodicity of the exponential map), the triangle is of exponential combinatorial type. This contradicts Theorem 6.13. \(\square \)

Attracting and parabolic examples. Recall that Theorem 1.7 claims that if \(f_a\) is an exponential map such that \(a\in F(f_a)\), then \(E(f_a)\) is totally separated. This is a consequence of the following result.

Proposition 6.15

(Attracting and periodic parameters) Suppose that \(f_a\) is an exponential map with an attracting or parabolic periodic orbit. Then there exists a curve \(\gamma \subset F(f_a)\) in the Fatou set such that no two endpoints of \(f_a\) have the same itinerary with respect to \(f^{-1}(\gamma )\).

Proof

This follows from the fact that, under the given hypotheses, all dynamic rays of \(f_a\) land, and two dynamic rays land at the same point if and only if they have the same itinerary with respect to \(f^{-1}(\gamma )\), where \(\gamma \) is certain curve connecting the singular value to \(\infty \), constructed precisely as described above. (Note that, in the case where \(f_a\) has an invariant Fatou component, we must now use a curve \(\gamma \) tending to \(-\infty \) and having \({\text {addr}}(\gamma )=\infty \). It is then clear that any two dynamic rays at different addresses have different itineraries with respect to \(f^{-1}(\gamma )\), and hence the claim is trivial in this case, as mentioned above.)

In the case where \(f_a\) has an attracting periodic orbit, the above claims are proved in [30, Prop. 9.2] as a consequence of the stronger Theorem 9.1 in the same paper. It is also remarked at the end of [30, Sect. 9] that these results remain true for parabolic parameters, although the details are not given.

We note that the proof of our proposition in the parabolic (and also in the attracting) case can be achieved with considerably less effort than the results of [30, Sect. 9]. Indeed, by Lemma 6.9, the claim is trivial for endpoints of rays at unbounded external addresses. Furthermore, for eventually periodic addresses (and hence for periodic itineraries, by Proposition 6.11), the claim is proved in [43, Prop. 4.5].

So let \(g_{\underline{r}^1}\) and \(g_{\underline{r}^2}\) be two rays at bounded addresses, sharing the same (bounded) itinerary \(\underline{m}\) which is not eventually periodic. (Note that, in particular, \(\sigma ^j(\underline{m})\) is distinct from the itinerary of the parabolic orbit of \(f_a\), for all \(j\ge 0\).) We must show that, if both rays land, they land at the same point in \(\mathbb {C}\).

It follows from a simple hyperbolic contraction argument (similar to that in the proof of [30, Prop. 9.2]) that, for any bounded itinerary which does not eventually agree with that of the parabolic orbit, there is a unique point \(z_0\) with a bounded orbit which has this itinerary. Furthermore, any other point with the same itinerary must tend to infinity under iteration. Because the landing points of \(g_{\underline{r}^1}\) and \(g_{\underline{r}^2}\) cannot be escaping (only rays at fast addresses land at escaping points), it follows that both rays land at \(z_0\). This completes the proof. \(\square \)

Proof of Theorem 1.7

If \(f_a\) is an exponential map with \(a\in F(f_a)\), then (as mentioned above), \(f_a\) has an attracting or parabolic periodic orbit. It follows from Proposition 6.15, together with Observation 6.2, that \(E(f_a)\) is totally separated.

On the other hand, suppose that \(f_a\) is an exponential map such that the singular value a is an endpoint or on a hair, and let \(\gamma \subset g_{\underline{s}}\) be the curve connecting a to \(\infty \), as above. Assume furthermore (as in the hypothesis of the theorem) that the kneading sequence \(\mathbb {K}(\underline{s})\) is not periodic; we must show that \(E(f_a)\) is totally disconnected.

So let X be a connected component of \(E(f_a)\). Then all points of X share the same itinerary \(\underline{m}\) with respect to \(f_a^{-1}(\gamma )\). By passing to a forward iterate, we may assume that \(\sigma ^j(\underline{m})\ne \mathbb {K}(\underline{s})\) for all \(j\ge 0\). In particular, each \(z\in X\) is the landing point of some dynamic ray \(g_{\underline{r}}\), where \({\text {itin}}_{\underline{s}}(\underline{r})=\underline{m}\). By Proposition 6.11, the set of possible such addresses is finite, and hence X is finite. Since X is connected, it follows that it consists of a single point, as desired. \(\square \)

Beyond the Exponential Family

To prove Theorem 1.9, we use similar ideas as in the proof of Theorem 1.4, together with the results of [3, 38], which establish the existence of Cantor bouquets in the Julia sets of the functions under consideration. The difference between the general case and that of exponential maps is that we do not have such explicit information about the position and behaviour of rays as we did through our model \(\mathcal {F}\). In particular, there may not be an analogue of the characterisation of “fast” addresses in terms of a simple growth condition. This means that, for some escaping endpoints, our argument would no longer yield a corresponding brush where all endpoints are escaping (i.e. there is no analogue of Observation 3.7). Furthermore, we do not have as precise control over the positions of endpoints as we utilised in the proof of Theorem 3.4.

However, both concerns are easily taken care of using more general arguments: We do not need to find a sub-brush for every fast address, but it is enough to exhibit one Lelek fan with the desired properties. Similarly, we can use softer arguments to establish the density of endpoints. In the following, we shall use the terminology of [3], and refer to that paper for further details and background.

Remark 7.1

(Escaping endpoints) Let f satisfy the hypotheses of Theorem 1.9. Then there is again a natural notion of “escaping endpoints”: these are those points \(z_0\in I(f)\) with the following property. Let \(n_0\ge 0\) be any number that is sufficiently large to ensure that the external address of \(f^{n_0}(z_0)\) is defined in the sense of [38]. If \(z\ne f^{n_0}(z_0)\) is an escaping point with the same external address, then \(|f^n(z)| > |f^{n+n_0}(z_0)|\) for all sufficiently large n.

If no critical point of f has an escaping orbit, then it is plausible that, again, no escaping endpoint belongs to the interior of an arc in the escaping set, and hence that there is an analogue of Definition 1.1 that yields the same notion. However, if f has an escaping critical point that is mapped to an escaping endpoint, then we can combine two preimage branches of a curve in I(f) that join at the critical point, and the two definitions no longer coincide.

Proof of Theorem 1.9

Let f satisfy the hypotheses of the theorem, and fix a sufficiently large number \(Q>1\) (see below). Since the set S(f) of singular values of f is bounded, we can assume without loss of generality that \(S(f)\subset \mathbb {D}\cap f(\mathbb {D})\). Set \(W:= \mathbb {C}{\setminus }\overline{\mathbb {D}}\), and let T be a component of \(f^{-1}(W)\). Then \(f:T\rightarrow W\) is a universal covering map. In particular, it follows that there is a sequence \((T_m)_{m=0}^{\infty }\) of pairwise disjoint components of \(f^{-1}(T)\) such that

  1. (i)

    \(f:T_m \rightarrow T\) is a conformal isomorphism for each m.

  2. (ii)

    \(\inf _{z\in T_m} |z| > Q\) for all m, and \(\inf _{z\in T_m} |z| \rightarrow \infty \) as \(m\rightarrow \infty \).

  3. (iii)

    For any \(\zeta \in \bigcup _{j=0}^{\infty } T_j\) and any \(m\ge 0\), set \(\zeta _m := (f_{|T_m})^{-1}(\zeta )\). Then there is a constant \(C>0\), independent of \(\zeta \) and m, such that

    $$\begin{aligned} | \zeta _m - \zeta _{m+1}| \le C\cdot |\zeta _m|. \end{aligned}$$

(The final point follows from the fact that the tracts can be chosen such that \(\zeta _m\) and \(\zeta _{m+1}\) have bounded hyperbolic distance from each other in T; compare the “Claim” in the proof of [32, Lem. 5.1].)

Consider the set

$$\begin{aligned} X := \left\{ z\in \mathbb {C}:f^k(z) \in \bigcup _{m=k}^{\infty } T_m \text { for all }k\ge 0\right\} \subset I(f). \end{aligned}$$

Given a sequence \(\underline{s}\in {\mathbb {N}_0}^{\mathbb {N}_0}\) with \(s_k\ge k\) for all k, we also define

$$\begin{aligned} X_{\underline{s}} := \{ z\in X:f^k(z) \in T_{s_k} \text { for all } k\ge 0\}. \end{aligned}$$

It follows from the definitions that \(X_{\underline{s}}\cup \{\infty \}\) is a compact, connected set. Note that \(X_{\underline{s}}\subset X \subset I(f) \subset J(f)\) (where the final inclusion is [14, Thm. 1]. Furthermore, \(X_{\underline{s}}\) is either empty or an arc connecting a finite endpoint \(e(\underline{s})\) to infinity, and \(e(\underline{s})\) is an escaping endpoint in the sense of Remark 7.1 [38]. In particular, if \(z\in X_{\underline{s}}\), then \(|f^n(z)| \ge |f^n(e(\underline{s}))|\) for all sufficiently large n.

If \(Q>1\) was sufficiently large, then by [3, Thm. 1.6], there is a Cantor Bouquet \(X_0\subset J(f)\) containing all points whose orbits contain only points of modulus at least Q. Hence \(X\subset X_0\), and \(X\cup \{\infty \}\) is a smooth fan with top \(\infty \).

Claim

If Q was chosen sufficiently large,  then \(X\cup \{\infty \}\) is a Lelek fan.

Proof

We only need to prove that endpoints are dense. First observe that, by the definitions, \(f(X)\subset X\). Furthermore, if \(z\in X\), then z is an endpoint of X if and only if f(z) is.

Let \(z\in X_{\underline{s}}\) for some address \(\underline{s}\) as above, and let \(n\ge 0\) be sufficiently large. Let \(\zeta := e(\sigma ^{n+1}(\underline{s})) = f^{n+1}(e(\underline{s}))\). Then \(|f^n(z)| \ge |\zeta _{s_n}|=f^n(e(\underline{s}))\), provided that n was chosen sufficiently large. By (iii), there is thus some \(m_n\ge s_n\) such that

$$\begin{aligned} |\zeta _{m_n}| \le |f^n(z)| \le C\cdot |\zeta _{m_n}|. \end{aligned}$$
(7.1)

Define an address \(\underline{s}^n\) by

$$\begin{aligned} \underline{s}^n_k := {\left\{ \begin{array}{ll} s_k &{} \text {if }k\ne n \\ m_n &{} \text {otherwise}.\end{array}\right. } \end{aligned}$$

It follows from [14, Lem. 1] that

$$\begin{aligned} |f'(z)| \cdot \frac{|z|}{|f(z)|} \rightarrow \infty \end{aligned}$$

as \(|f(z)|\rightarrow \infty \); i.e. f is strongly expanding with respect to the cylindrical metric |dz| / |z| when |f(z)| is large. The cylindrical distance between \(\zeta _{m_n}\) and \(f^n(z)\) remains bounded as \(n\rightarrow \infty \) by (7.1). This implies that \(e(\underline{s}^n)\rightarrow z\), as desired. \(\triangle \)

In particular, the set A of endpoints of X has the property that \(A\cup \{\infty \}\) is connected. The first part of the theorem follows using Lemma 4.3, in the same manner as in the proof of Theorem 1.7.

Suppose f is hyperbolic, and let \(|\lambda |\) be sufficiently small. Then the function \(f_{\lambda }:= \lambda f\) is hyperbolic with connected Fatou set; see [32, §5, p. 261]. As both maps are hyperbolic, it follows from [32, Thm. 1.4] that the escaping set I(f) is homeomorphic to the escaping set \(I(f_{\lambda })\), and that f and \(f_{\lambda }\) are conjugate on these sets. Furthermore, the conjugacy maps escaping endpoints of f to escaping endpoints of \(f_{\lambda }\). (Indeed, hyperbolic functions have no escaping critical points. Hence, as discussed in Remark 7.1, escaping endpoints can be defined in terms of the topology of the set of all escaping points, and hence any homeomorphism between two escaping sets of hyperbolic functions must map escaping endpoints again to escaping endpoints. Alternatively, the claim can be deduced directly from the proof of [32, Thm. 1.4].) On the other hand, the Julia set of \(f_{\lambda }\) is a Cantor Bouquet by [3, Thm. 1.5], and hence its set of endpoints is totally separated.

(We remark that Theorems 1.5 and 1.6 of [3], which we used in this proof, were stated only for functions that can be written as the composition of finite-order functions with bounded singular sets. However, by Corollaries 6.3 and 7.5 of the same paper, they hold more generally when f—or, more precisely, one of the logarithmic transforms of f—satisfies a uniform head-start condition in the sense of [38].)\(\square \)

Remark 7.2

(Escaping endpoints in the strong sense) We remark that Theorem 1.9 likely still holds if an “endpoint” is defined analogously to Definition 1.1; to avoid confusion, let us refer to these as escaping endpoints in the strong sense. Let \(\tilde{A}\) be obtained from the set A constructed in the proof above by removing the grand orbits of all critical points.

It is easy to see that removing a countable set from the set of endpoints of a Lelek fan does not affect its explosion point property. (If X is a straight brush, and \((\alpha _n)_{n=1}^{\infty }\) is a sequence of irrational numbers, then choose small intervals \(I_n\) with rational endpoints around each \(\alpha _n\). If we remove all those points from X whose height belongs to one of the \(I_n\), the result (if non-empty) will still be a Cantor bouquet, and hence its set of endpoints has the explosion point property. By taking the union of the endpoints of these bouquets for all possible choices of \(I_n\), we obtain all endpoints apart from those at heights \(\alpha _n\), as desired.) Hence \(\tilde{A}\cup \{\infty \}\) is also connected. Suppose furthermore that no “slow” ray—i.e. one on which the iterates do not escape to infinity uniformly—can land at an escaping endpoint. (It seems plausible that this is always true, but we are not aware of a proof; the argument for exponential maps relies on global periodicity and breaks down in general.) Then, as alluded to in Remark 7.1, every point that eventually maps to \(\tilde{A}\) will be an escaping endpoint in the strong sense. Hence the set of all escaping endpoints in the strong sense, together with infinity, is also connected.

Remark 7.3

The result in [32, Thm. 1.4] has been extended to a large class of “strongly subhyperbolic” entire functions by Mihaljević-Brandt [23], and hence \(\infty \) is an explosion point for \(\tilde{E}(f)\) also for these functions. It seems likely that similar combinatorial techniques as those used in Sect. 6 can be extended to entire functions as in Theorem 1.9, assuming that the set of singular values is finite, and that singular values satisfy similar accessibility conditions from the escaping set. In particular, we believe that \(\infty \) is an explosion point for \(\tilde{E}(f)\) whenever f is geometrically finite in the sense of [22]; see also [21, Ch. 5] for a discussion of itineraries for geometrically finite functions. However, we shall not pursue this question here.

On the other hand, in general the set of all endpoints will not be totally separated, or even disconnected. Indeed, for the map \(f(z) = \pi \sin (z)\), every point in \(\mathbb {R}\) is an endpoint [40]. It is easy to see that the union of iterated preimages of \(\mathbb {R}\) is a connected set that is dense in the plane, and hence E(f) is connected.

Finally, we note also that Theorem 1.5, as stated, does not extend to the functions covered by Theorem 1.9. Indeed, the escaping set of the function \(z\mapsto (\cosh (z))^2\) has a dense path-connected component not containing any endpoints. This component is obtained by taking all iterated preimages of the real axis; see [37, pp. 804–805]. On the other hand (since the real axis contains no endpoints) the set of endpoints is disconnected, and indeed it seems likely that it is totally separated. The reason that the proof of Theorem 1.5 breaks down here is that, for maps with escaping critical points, it is no longer true that the escaping set locally contains the structure of a Cantor bouquet.

Do Escaping Endpoints Explode in General?

In this section, we discuss evidence for Conjecture 1.6. Let us begin by noting that it appears unlikely that the hypotheses of Theorem 1.3 hold for all \(a\in \mathbb {C}\). Indeed, suppose that f is a quadratic polynomial having a Cremer point (i.e. a non-linearisable periodic point of multiplier \(\mathrm{e}^{2\pi i\alpha }\), with \(\alpha \in \mathbb {R}\) irrational). Then Kiwi [17, Cor. 1.2] has proved that the critical point of f is not accessible from the basin of infinity. It seems likely that, likewise, for an exponential map \(f_a\) with a Cremer point, the singular value a is never the endpoint of a dynamic ray. Similarly, Perez-Marco [26] proved (according to Kiwi) the existence of infinitely renormalisable quadratic polynomials with inaccessible critical points; here all periodic cycles are repelling. Again, it is plausible that such examples exist for exponential maps also. Let us show how we can strengthen Theorem 1.3 to cover the latter case. To do so, we rely on similar ideas as before, but utilise a more detailed understanding of exponential combinatorics to remove the condition that the singular value is an endpoint or on a hair. We shall from now on assume familiarity with deeper results concerning the combinatorial structure of exponential parameter space, as established in [29, 3436].

Theorem 8.1

(More escaping endpoints explode) Let \(a\in \mathbb {C}\) be a parameter such that \(f_a\) does not have an irrationally indifferent periodic orbit,  and such that all repelling periodic points of \(f_a\) are landing points of periodic dynamic rays. Then \(\infty \) is an explosion point for \(\tilde{E}(f_a)\).

Sketch of proof

If \(a\in F(f_a)\), then the result is covered by Theorem 1.3. So we may assume that \(a\in J(f_a)\). Likewise, Theorem 1.3 also applies when a is an escaping point of \(f_a\) (as then a is either on a hair or an escaping endpoint), so we may assume \(a\notin I(f_a)\).

Even without knowing that there is a ray landing at a, we can still associate one or more external addresses \(\underline{s}\), and a kneading sequence \(\mathbb {K}(\underline{s})\), to a as follows. In [34], the notion of the extended fibre \(\breve{Y}\) of such a parameter was defined. This set \(\breve{Y}\) is a closed subset of parameter space containing a finite (and non-zero) number of parameter rays, with associated exponentially bounded external addresses [34, Lem. 17]. All of these addresses share the same kneading sequence, which it hence makes sense to refer to as the kneading sequence \(\mathbb {K}(a)\) of the parameter a. (See [35, App. A].) The theory of internal addresses allows us to translate the kneading sequence into information about the position of a in parameter space, and vice versa. In particular, the kneading sequence of a parameter a is periodic if and only if there is a hyperbolic component U in parameter space (i.e. an open connected region in which all parameters have an attracting periodic orbit) such that a cannot be separated from U by a pair of periodic parameter rays landing at a common point. As discussed in [29, Thm. 4], for any such parameter, there is a cycle of periodic points that are not landing points of periodic dynamic rays. Hence, the assumption that all periodic points of \(f_a\) are repelling, and that each of these is the landing point of a periodic ray, implies that the kneading sequence \(\mathbb {K}(a)\) is aperiodic.

Now let S be the finite set of exponentially bounded addresses associated to a as above; let us assume first for simplicity that \(\#S\le 2\). In “nice” cases, we would expect the dynamical ray \(g_{\underline{s}}\) of \(f_a\), for \(\underline{s}\in S\), to land at the singular value a, but as discussed above this does not hold in general. However, the construction of fibres ensures that \(g_{\underline{s}}\) cannot be separated from a in a certain sense. More precisely, if two periodic or preperiodic dynamical rays land at a common point, let us call their union together with the landing point a “dynamical separation line”. The singular value a cannot be separated from \(g_{\underline{s}}\), for \(\underline{s}\in S\), by such a separation line.

Claim

Any dynamic ray \(g_{\underline{s}},\) where \(\underline{s}\) is exponentially bounded and \(\underline{s}\notin S,\) can be separated from a by a dynamical separation line. Moreover,  the addresses of the rays in these separation lines are uniformly exponentially bounded (independently of \(\underline{s}).\)

Proof

Let \(S=\{\underline{s}^-,\underline{s}^+\}\), with \(\underline{s}^-\le \underline{s}^+\). Then the characteristic addresses \((\underline{r}^{j-},\underline{r}^{j+})_{j\ge 1}\) of the hyperbolic components appearing in the internal address of a (see [35]) satisfy

$$\begin{aligned} \underline{r}^{j-}< \underline{r}^{(j+1)-}< \underline{s}^- \le \underline{s}^+< \underline{r}^{(j+1)+} < \underline{r}^{j+} \end{aligned}$$

for all j, with \(\underline{r}^{j-}\rightarrow \underline{s}^-\) and \(\underline{r}^{j+}\rightarrow \underline{s}^+\). (Observe that we use the fact that the kneading sequence is aperiodic, and hence the internal address is infinite.) Furthermore, the rays at addresses \(\underline{r}^{j-}\) and \(\underline{r}^{j+}\) have a common periodic landing point, and hence the corresponding separation line separates a from \(g_{\underline{s}}\) for all \(\underline{s}\notin [s^-,\underline{s}^+]\). Moreover, by the internal address algorithm, the kneading sequences of the addresses \(\underline{r}^{j\pm }\) are all exponentially bounded with the same bound as \(\mathbb {K}(a)\), and hence the addresses involved are uniformly exponentially bounded. In particular, if \(\underline{s}^-=\underline{s}^+\), then the claim is proved.

If \(\underline{s}^-<\underline{s}^+\), so that \(\# S = 2\), we claim that there is also a sequence of preperiodic separation lines with associated external addresses \(\{\tilde{\underline{r}}^{j-},\tilde{\underline{r}}^{j+}\} \subset (\underline{s}^-,\underline{s}^+)\), converging to \(\{\underline{s}^-,\underline{s}^+\}\) from the inside. It is possible to deduce this using the methods of [35]. Instead, we notice that, in this case, the addresses in S must be bounded [35, Thm. A.3], and hence the claim reduces to the corresponding statement for unicritical polynomials, using the same reduction as in the proof of [35, Thm. A.3]. But in this setting, the claim is well known: for a unicritical polynomial without non-repelling cycles, the minor leaf of the corresponding lamination is approximated on from both sides by periodic or preperiodic leaves. \(\triangle \)

Observe that a separation line does not contain any escaping endpoints. Now suppose that \(\underline{t}^1\) and \(\underline{t}^2\) are exponentially bounded addresses whose itineraries (with respect to \(\underline{s}\in S\)) are defined and do not coincide. Then it follows that \(g_{\underline{t}^1}\) and \(g_{\underline{t}^2}\) can be separated by a separation line. Indeed, suppose first that the initial itinerary entries differ, and consider a separation line \(\gamma \) that separates \(g_{\sigma (\underline{t}^1)}\) from a. Then the component of \(f_a^{-1}(\mathbb {C}{\setminus } \gamma )\) containing \(g_{\underline{t}^1}\) can contain only rays whose initial itinerary entry agrees with that of \(\underline{t}^1\). This implies that \(\underline{t}^1\) and \(\underline{t}^2\) are indeed separated. The case where the itineraries of \(\underline{t}^1\) and \(\underline{t}^2\) first differ in the nth entry, for \(n>0\), follows inductively by taking pullbacks. Given that any two escaping endpoints have different itineraries by Proposition 6.10, it follows again that \(\tilde{E}(f_a)\) is totally separated.

If \(\#S \ge 3\), the proof proceeds analogously, using separation lines lying in each of the complementary intervals of S. Alternatively, note that in this case the addresses in S are eventually periodic [35, Thm. A.3], and it follows from [4] that the singular value a is preperiodic. In this case, it is known that a is an endpoint [43, Thm. 4.3], and hence the result follows from Theorem 1.3.\(\square \)

Conjecturally, every repelling periodic point of an exponential map with non-escaping singular value is the landing point of a periodic dynamic ray. Hence, Theorem 8.1 provides strong evidence that Conjecture 1.6 is valid at least for all exponential maps without Cremer points or Siegel discs.

In addition, if \(f_a\) has a Siegel disc whose boundary contains the singular value a, then conjecturally the singular value a is an endpoint. If this is the case, then the claim in Conjecture 1.6 holds for such parameters by Theorem 1.3. However, when \(f_a\) has a Cremer point (or, indeed, a Siegel disc whose boundary does not contain the singular value), then in view of the results discussed above it is likely that a is not an endpoint.

More recent results on quadratic polynomials with Cremer fixed points (and Siegel discs) suggest that Conjecture 1.6 is true in these cases also. Indeed, for a large class of such maps, Shishikura has announced the existence of an arc in the Julia set connecting the fixed point and the critical point, and although the general case is out of reach, this is now widely believed to be true in general. For exponential maps with an irrationally indifferent orbit, it seems likely that there is similarly an arc of non-escaping points connecting the singular value to this orbit. We could then join this arc with one of its preimages to obtain a curve connecting the singular value to \(\infty \), and apply the results of Sect. 6.

Finally, let us briefly remark that our results for the set of escaping endpoints (and all endpoints) leave open similar questions for the case of non-escaping endpoints, even for the case of \(\mathrm{e}^z-a\) with \(a>1\). Evdoridou [15] has recently announced a result that implies that the set of non-escaping points of the Fatou function \(z\mapsto z+1+\mathrm{e}^{-z}\) (whose Julia set is a Cantor bouquet), together with \(\infty \), is totally separated. The proof can be adopted to show also that the set of non-escaping endpoints—and even the set of all endpoints not belonging to the fast escaping set A(f)—of an exponential map with Cantor bouquet Julia set has the same property. This shows that our results are optimal in a certain sense.

Notes

  1. For many purposes, it would be slightly more convenient to use the function 2F instead of F in the definitions. All the basic properties of the construction would remain unchanged under this modification, but 2F has the advantage of being uniformly expanding. However, since this does not result in any real simplifications for our purposes, we shall retain the definition as made in [30].

References

  1. Aarts, J.M., Oversteegen, L.G.: The geometry of Julia sets. Trans. Am. Math. Soc. 338(2), 897–918 (1993)

    MathSciNet  Article  MATH  Google Scholar 

  2. Barański, K.: Trees and hairs for some hyperbolic entire maps of finite order. Math. Z. 257(1), 33–59 (2007)

    MathSciNet  Article  MATH  Google Scholar 

  3. Barański, K., Jarque, X., Rempe, L.: Brushing the hairs of transcendental entire functions. Topol. Appl. 159(8), 2102–2114 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  4. Benini, A.M.: Triviality of fibers for Misiurewicz parameters in the exponential family. Conform. Geom. Dyn. 15(9), 133–151 (2011)

    MathSciNet  Article  MATH  Google Scholar 

  5. Benini, A.M., Lyubich, M.: Repelling periodic points and landing of rays for post-singularly bounded exponential maps. Annales de l’Institut Fourier 64(4), 1493–1520 (2014)

    MathSciNet  Article  MATH  Google Scholar 

  6. Blokh, A., Oversteegen, L.: Wandering triangles exist. Comptes Rendus Mathematique 339(5), 365–370 (2004)

    MathSciNet  Article  MATH  Google Scholar 

  7. Bodelón, C., Devaney, R.L., Hayes, M., Roberts, G., Goldberg, L.R., Hubbard, J.H.: Dynamical convergence of polynomials to the exponential. J. Differ. Equ. Appl. 6(3), 275–307 (2000)

    MathSciNet  Article  MATH  Google Scholar 

  8. Bula, W.D., Oversteegen, L.G.: A characterization of smooth Cantor bouquets. Proc. Am. Math. Soc. 108(2), 529–534 (1990)

    MathSciNet  Article  MATH  Google Scholar 

  9. Charatonik, W.J.: The Lelek fan is unique. Houst. J. Math. 15(1), 27–34 (1989)

    MathSciNet  MATH  Google Scholar 

  10. Devaney, R.L.: Cantor bouquets, explosions, and Knaster continua: dynamics of complex exponentials. Publ. Mat. 43(1), 27–54 (1999)

    MathSciNet  Article  MATH  Google Scholar 

  11. Devaney, R.L., Jarque, X.: Indecomposable continua in exponential dynamics. Conform. Geom. Dyn. 6, 1–12 (2002)

    MathSciNet  Article  MATH  Google Scholar 

  12. Devaney, R.L., Krych, M.: Dynamics of \({\rm exp}(z)\). Ergod. Theory Dyn. Syst. 4(1), 35–52 (1984)

    MathSciNet  Article  MATH  Google Scholar 

  13. Devaney, R.L., Tangerman, F.: Dynamics of entire functions near the essential singularity. Ergod. Theory Dyn. Syst. 6(4), 489–503 (1986)

    MathSciNet  Article  MATH  Google Scholar 

  14. Eremenko, A.E., Lyubich, M.Y.: Dynamical properties of some classes of entire functions. Ann. Inst. Fourier Grenoble 42(4), 989–1020 (1992)

    MathSciNet  Article  MATH  Google Scholar 

  15. Evdoridou, V.: Fatou’s web. Preprint (2015) arXiv:1510.07449

  16. Förster, M., Rempe, L., Schleicher, D.: Classification of escaping exponential maps. Proc. Am. Math. Soc. 136(2), 651–663 (2008)

    MathSciNet  Article  MATH  Google Scholar 

  17. Kiwi, J.: Non-accessible critical points of Cremer polynomials. Ergod. Theory Dyn. Syst. 20(5), 1391–1403 (2000)

    MathSciNet  Article  MATH  Google Scholar 

  18. Knaster, B., Kuratowski, C.: Sur les ensembles connexes. Fundamenta Mathematicae 2(1), 206–255 (1921)

    MATH  Google Scholar 

  19. Lelek, A.: On plane dendroids and their end points in the classical sense. Fund. Math. 49, 301–319 (1960/1961)

  20. Mayer, J.C.: An explosion point for the set of endpoints of the Julia set of \(\lambda \exp (z)\). Ergod. Theory Dyn. Syst. 10(1), 177–183 (1990)

    MathSciNet  Article  Google Scholar 

  21. Mihaljević-Brandt, H.: Topological dynamics of transcendental entire functions. Ph.D. thesis, University of Liverpool, Liverpool, UK, September 2009

  22. Mihaljević-Brandt, H.: A landing theorem for dynamic rays of geometrically finite entire functions. J. Lond. Math. Soc. (2) 81(3), 696–714 (2010)

  23. Mihaljević-Brandt, H.: Semiconjugacies, pinched Cantor bouquets and hyperbolic orbifolds. Trans. Am. Math. Soc. 364(8), 4053–4083 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  24. Nadler, Jr., S.B.: Continuum theory. An introduction. In: Monographs and Textbooks in Pure and Applied Mathematics, vol. 158. Marcel Dekker Inc., New York (1992)

  25. Newman, M.H.A.: Elements of the Topology of Plane Sets of Points, 2nd edn. Cambridge University Press (1951)

  26. Pérez-Marco, R.: Topology of Julia sets and hedgehogs. Université Paris-Sud (1994). Preprint

  27. Pommerenke, C.: Univalent Functions. Vandenhoeck & Ruprecht, Göttingen (1975). With a chapter on quadratic differentials by Gerd Jensen, Studia Mathematica/Mathematische Lehrbücher, Band XXV

  28. Rempe, L.: Dynamics of exponential maps. Doctoral thesis, Christian-Albrechts-Universität Kiel (2003). http://macau.uni-kiel.de/receive/dissertation_diss_00000781

  29. Rempe, L.: A landing theorem for periodic rays of exponential maps. Proc. Am. Math. Soc 134(9), 2639–2648 (2006)

    MathSciNet  Article  MATH  Google Scholar 

  30. Rempe, L.: Topological dynamics of exponential maps on their escaping sets. Ergod. Theory Dyn. Syst. 26(6), 1939–1975 (2006)

    MathSciNet  Article  MATH  Google Scholar 

  31. Rempe, L.: On nonlanding dynamic rays of exponential maps. Ann. Acad. Sci. Fenn. Math. 32(2), 353–369 (2007)

    MathSciNet  MATH  Google Scholar 

  32. Rempe, L.: Rigidity of escaping dynamics for transcendental entire functions. Acta Math. 203(2), 235–267 (2009)

    MathSciNet  Article  MATH  Google Scholar 

  33. Rempe, L.: Connected escaping sets of exponential maps. Ann. Acad. Sci. Fenn. Math. 36(1), 71–80 (2011)

    MathSciNet  Article  MATH  Google Scholar 

  34. Rempe, L., Schleicher, D.: Bifurcation loci of exponential maps and quadratic polynomials: local connectivity, triviality of fibers, and density of hyperbolicity. In: Holomorphic Dynamics and Renormalization. Fields Institute Communications, vol. 53, pp. 177–196. American Mathematical Society, Providence (2008)

  35. Rempe, L., Schleicher, D.: Combinatorics of bifurcations in exponential parameter space. In: Rippon, P., Stallard, G. (eds.) Transcendental Dynamics and Complex Analysis. London Mathematical Society Lecture Note Series, vol. 348, pp. 317–370. Cambridge University Press, Cambridge (2008)

    Chapter  Google Scholar 

  36. Rempe, L., Schleicher, D.: Bifurcations in the space of exponential maps. Invent. Math. 175(1), 103–135 (2009)

    MathSciNet  Article  MATH  Google Scholar 

  37. Rippon, P.J., Stallard, G.M.: Fast escaping points of entire functions. Proc. Lond. Math. Soc. (3) 105(4), 787–820 (2012)

  38. Rottenfußer, G., Rückert, J., Rempe, L., Schleicher, D.: Dynamic rays of bounded-type entire functions. Ann. Math. (2) 173(1), 77–125 (2011)

  39. Schleicher, D.: Attracting dynamics of exponential maps. Ann. Acad. Sci. Fenn. Math. 28, 3–34 (2003)

    MathSciNet  MATH  Google Scholar 

  40. Schleicher, D.: The dynamical fine structure of iterated cosine maps and a dimension paradox. Duke Math. J. 136(2), 343–356 (2007)

    MathSciNet  Article  MATH  Google Scholar 

  41. Schleicher, D.: On fibers and local connectivity of compact sets in \(\mathbb{C}\). IMS Preprint 1998/13b (2007). arXiv:math/9902154

  42. Schleicher, D., Zimmer, J.: Escaping points of exponential maps. J. Lond. Math. Soc. (2) 67(2), 380–400 (2003)

  43. Schleicher, D., Zimmer, J.: Periodic points and dynamic rays of exponential maps. Ann. Acad. Sci. Fenn. Math. 28, 327–354 (2003)

    MathSciNet  MATH  Google Scholar 

  44. Steen, L.A., Seebach, J.A.: Counterexamples in Topology. Dover Publications Inc, Mineola (1995)

    MATH  Google Scholar 

  45. Wilder, R.L.: A point set which has no true quasicomponents, and which becomes connected upon the addition of a single point. Bull. Am. Math. Soc. 33(4), 423–427 (1927)

    MathSciNet  Article  MATH  Google Scholar 

Download references

Acknowledgments

We thank Anna Benini, Bob Devaney, Alexandre DeZotti, Vasiliki Evdoridou, Dierk Schleicher and Stephen Worsley for interesting discussions. We are also very grateful to the referee for many thoughtful comments that have helped us to improve the presentation of the paper.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Lasse Rempe-Gillen.

Additional information

N. Alhabib thanks Princess Nora bint Abdulrahman University in Saudi Arabia for supporting her doctoral studies at the University of Liverpool. L. Rempe-Gillen is supported by a Philip Leverhulme Prize.

Communicated by Walter Bergweiler.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Alhabib, N., Rempe-Gillen, L. Escaping Endpoints Explode. Comput. Methods Funct. Theory 17, 65–100 (2017). https://doi.org/10.1007/s40315-016-0169-8

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s40315-016-0169-8

Keywords

  • Transcendental dynamics
  • Exponential map
  • Escaping set
  • Explosion point
  • Lelek fan
  • Cantor bouquet

Mathematics Subject Classification

  • Primary 37F10
  • Secondary 30D05
  • 54F15
  • 54G15