{"id":"e4a41bc8-390e-4187-bcdc-cab4b4f3c49f","arxiv_id":"1908.07260","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For f(z)=sum_{k=0}^{p-1} exp(omega_p^k z), p>=3, the Julia set is a spider's web containing a Cantor bouquet, with the hair curves minus endpoints in the fast escaping set.","lead":"This paper proves that for a family of sums of exponentials, the Julia set is both a spider's web and contains a Cantor bouquet of disjoint escaping curves. It shows that two structures previously studied separately can coexist inside the same Julia set.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"In §5 the inverse branches L_j are only defined on half-strips H_{m,c} and a bounded disk, but the hair construction evaluates them at E^n(t) on the positive real axis; the needed continuation is not proved.","rationale":"The reader's weakest assumption was the quoted Polya-Szego zero lemma and its application at the branch cut. I think that lemma is likely correct and the branch-cut step can be repaired by noting that g(w) = p(1 + w/p! + w^2/(2p)! + ...) is entire and that f is invariant under z ↦ ω_p z, so the principal-branch substitution is not the main risk. The more load-bearing gap is in the transition from the symbolic dynamics of §4 to the actual curves of §5: the functions G_n^s(t) are defined as compositions of inverse branches applied to E^n(t), but the inverse branches were only defined on half-strips and a bounded disk, not on the large positive real values E^n(t). Because f has real critical values, extending L_j along the positive real axis is nontrivial. If the proposed check passes, the missing step is a repairable lemma and the main theorem is likely correct; if it fails, Theorem 5.6 has no proof. Other defects noted by the reader - the Σ_K/trapezium count mismatch, undefined K', the non-strict Rouche inequality, and the literal falsehood that all critical points lie in ∪V_k because 0 is a critical point - are real but are either notational or repairable, so they do not change the conditional assessment.","tokens_in":21816,"tokens_out":32851,"duration_ms":347984,"concrete_test":"Determine whether, for large c, f maps each half-strip H_{j,c} conformally onto a domain Ω_j containing the positive real ray (e^c, ∞). Concretely, for p = 3 take H_{1,c}, compute f on its boundary, and check that the image is a simple closed curve with winding number 1 about every r ≥ e^c, and that H_{1,c} contains no point with f' = 0. Equivalently, solve f(z) = e^{t-1} in H_{1,c} for a fine grid of t in, say, [10, 20]; if every such equation has exactly one solution, the continuation needed for G_n^s exists and the gap is repairable. If some r has no solution or two solutions, the hair parametrisation fails at that parameter value.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on Theorem 5.6, whose proof defines hs(t) = lim_n L_s^n(E^n(t)), with E(t) = e^{t-1}. At this point the inverse branches L_j have been defined only on the half-strips H_{m,c} (m in N) in §5 and on the bounded disk {Re z > 0} ∩ B(0, r) in Lemma 4.3. But E^n(t) is positive real and, for n and t large, lies neither in any H_{m,c} (which are centered at imaginary parts (2m ± 1)π) nor in the bounded disk. Thus, as written, G_n^s(t) is not shown to be defined for the required arguments. This is not a cosmetic domain issue: Theorem 3.6 implies f has infinitely many positive and negative real critical values, so the positive real axis is not automatically free of branch points for an inverse branch. Continuing L_j along [1, ∞) requires a proof, for example that f maps each H_{j,c} univalently onto a domain containing (e^c, ∞). Without such a continuation, the curves hs(t), and hence the Cantor bouquet and Theorem 1.2, are not established. The reader's Lemma 3.1 concern is less damaging: g(w) = f(w^{1/p}) is entire and f is invariant under the p-th root symmetry, so the branch cut is harmless.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the family F of transcendental entire functions f(z)=sum_{k=0}^{p-1} exp(omega_p^k z), p>=3, for which Sixsmith's earlier work implies that J(f), I(f), A(f), and their intersections are spiders' webs. The main claim, Theorem 1.2, is that J(f) is a spider's web that additionally contains a Cantor bouquet, and that the non-endpoint points of the bouquet lie in A(f). The proof proceeds by locating all zeros and critical points on p rays, constructing bounded trapeziums T_{m,c} that are intended to cover themselves under f, building an invariant set Lambda_K conjugate to a one-sided shift on a finite symbol space, and then constructing hairs h_s(t) as limits of iterated inverse branches evaluated at E^n(t), where E(t)=e^{t-1}. The paper ends by proving continuity and uniqueness of the hairs and invoking Lemma 2.5 to place them in J(f) and A(f).","tokens_in":22024,"tokens_out":33738,"duration_ms":341515,"significance":"The question addressed is natural and timely: whether the connected, web-like escaping structure can coexist with an uncountable Cantor bouquet of disjoint curves to infinity. The family F is a concrete and well-motivated test case, and the paper makes no use of fitted parameters or circular reductions; it explicitly imports the spider's-web and asymptotic estimates from Sixsmith and adopts the hair-construction strategy of Bodelon et al. If Theorem 1.2 were rigorously established, it would be a valuable bridge between two active strands of transcendental dynamics. The high-level plan is plausible, but several load-bearing steps in the construction of the self-covering trapeziums and of the inverse branches used for the hairs are not rigorously justified as written, so the main theorem is not yet established.","major_comments":[{"comment":"The inverse branches L_j are not proved to be defined at the points E^n(t) at which they are evaluated in the definition of G_n^s(t). Lemma 4.3 defines L_j only on a bounded right-half disk and, in Section 4, on the image of the bounded trapeziums; the attempted extension to the half-strips H_{m,c} does not cover the positive real axis, since each H_{m,c} lies between the horizontal lines y=(2m-1)pi and y=(2m+1)pi, whereas E^n(t) has imaginary part 0. Moreover, Corollary 5.2 as stated only says that f(H_{m,c}) intersected with the right half-plane is contained in the exterior of a large disk, not that the exterior of that disk is contained in f(H_{m,c}); the latter is the direction needed for inverse branches to be defined there. Consequently, equation (5.7), which postulates Re L_j(E(t)) >= q, and the compositions G_n^s(t)=L_s^n(E^n(t)) in Proposition 5.3 and Theorem 5.6 are not justified. Since Theorem 5.6 and Theorem 1.2 rest on the existence of the limit defining h_s(t), this is a load-bearing gap; a proof that each L_j extends analytically to a common domain containing the forward orbit of E(t) under iteration is required.","section":"Section 5, after Corollary 5.2, and Proposition 5.3"},{"comment":"The claimed homeomorphism between Lambda_K and Sigma_K is false as stated. Sigma_K is defined as the space of sequences with |s_j| <= K, which has 2K+1 symbols including 0, while T^K is defined as the union of T_j for 1 <= |j| <= K, which consists of 2K trapeziums, and the inverse branches L_j are constructed only for j = +/-1,...,+/-K. There is no branch L_0, no trapezium T_0, and no point of Lambda_K whose itinerary contains the symbol 0. The error propagates to Definition 5.1, Proposition 5.3, and Theorem 5.6, where 's in Sigma_K' may have s_0=0. The proof can likely be repaired by taking the symbol space to be {+/-1,...,+/-K} (or by adding a T_0 and an L_0), but the statements as written need correction.","section":"Theorem 4.4"},{"comment":"The Rouché argument in Lemma 4.3 ignores the side S1 of the boundary of T_{m,c}. The boundary of the trapezium includes the segment S1 on the ray V0, and it is stated immediately before Lemma 4.1 that f(S1) is a real interval containing 0, attained twice. On S1 the function f is not close to exp: the two terms e^z and e^{omega_p^{p-1}z} have comparable modulus there, so the estimate (2.1) from Lemma 2.3 does not apply. Lemmas 4.1 and 4.2 provide information only about the images of S2, S3, and S4, so the conclusion that f(T_{m,c}) covers {Re z > 0} cap B(0,r(m,c)) once, and hence that T_i,c is contained in f(T_j,c), is not supported by the displayed estimates. A correct proof needs a Rouché comparison on the full boundary, or a separate argument controlling the image of S1 and showing that it does not destroy the covering.","section":"Lemma 4.3 and the covering argument"},{"comment":"In the proof of the zero-counting statement, the constants in the application of Lemma 3.4 do not match. The inequality between (3.12) and (3.13) reduces, after dividing by exp(m pi cot(pi/p)), to comparing exp(m pi cot(pi/p)) with a term whose exponent coefficient is 2 cos(2pi/p) - 2, not 2 cos(pi/p) - 1 as stated in the text. As written, the invocation of Lemma 3.4 with a = 2 cos(pi/p) - 1 is invalid. Since this lemma is used to prove the distribution of zeros on which the later critical-point and trapezium arguments depend, the computation needs to be corrected.","section":"Theorem 3.5, application of Lemma 3.4"}],"minor_comments":[{"comment":"The convention v_k(z)=pi/3 for k=p/2-1 when p is odd is not meaningful because p/2-1 is not an integer for odd p; presumably (p-1)/2 is intended, and the sums over k=0,...,p/2-1 need a floor convention.","section":"Lemma 3.3"},{"comment":"The statement says the unique zero in D_m lies on one of the rays V_k for k=1,...,p-1, but the proof shows the zero in Q0 lies on V0; the indexing should include k=0.","section":"Theorem 3.5"},{"comment":"The statement assumes f^n(z) in T_j(nu) for all n >= 1, while the proof uses the condition for all n >= 0; this is harmless but should be aligned.","section":"Lemma 2.5"},{"comment":"The inclusion in Corollary 5.2 appears to have the opposite direction from what is needed: it asserts that the image of the half-strip intersected with the right half-plane lies in the exterior of a disk, whereas the inverse-branch construction needs the exterior of the disk to be contained in the image.","section":"Corollary 5.2"},{"comment":"The proof refers to Sigma_{K'} with K' <= K-1 without defining this space; this is a notational gap that should be clarified.","section":"Proposition 5.3"},{"comment":"The paper uses T0(nu), T_nu(0), and T^K ambiguously, sometimes for a set and sometimes for an integer; distinct notation for the union of trapeziums and for the symbol-space bound would improve readability.","section":"Global notation"}],"recommendation":"major_revision","confidential_remarks":"The manuscript appears to be an early-stage draft of a promising idea. The central claim is plausible and the overall strategy is sound, but the current proof has several substantial gaps, especially in the definition of the inverse branches on the positive real axis and in the Rouché argument for the self-covering trapeziums. I believe these are repairable within the scope of the paper, so I recommend major revision rather than rejection. The referee should ask the author to rewrite Sections 4 and 5 with precise domains for the inverse branches and a complete boundary estimate in Lemma 4.3."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: this paper claims the first construction of a Cantor bouquet inside a spider's web Julia set, for a concrete family of sums of exponentials. The main theorem is probably true, but the proof as written has a load-bearing gap in the definition of the inverse branches used to build the hairs, plus a few smaller slips. I would not currently take Theorem 1.2 as established.\n\nThe genuinely new part is Section 3: locating zeros and critical points of f(z)=sum exp(omega^k z) on specific rays, via Polya-Szego, Rouche, and Laguerre. That analysis is careful and appears sound, though the Rouche step has a non-strict inequality that needs patching. The rest of the machinery is an adaptation of Bodelon et al.'s hair construction for lambda e^z, and the author is honest about that debt. The combination yields a real new result: coexistence of a spider's web and Cantor bouquets in the same Julia set.\n\nThe main problem: in Section 5 the inverse branches L_j are defined on half-strips H_{m,c} (with m in N, so m >= 1) and on a bounded disk. But the hair parametrization evaluates L_s^n at E^n(t), which for large t and n lies on the positive real axis, outside those domains. Since Theorem 3.6 puts critical values on the real axis, you cannot assume an inverse branch extends across the positive real axis. The paper never proves that f maps some right half-strip H_{0,c} univalently over a domain containing (e^c, infinity). Without that continuation, the curves h_s(t) are simply not defined, and the Cantor bouquet is not established. This is not a cosmetic domain issue.\n\nSmaller issues: Theorem 4.4 claims conjugacy to Sigma_K, but Sigma_K has 2K+1 symbols while the construction uses 2K trapeziums; the symbol 0 is never realized. There is an undefined K' in Proposition 5.3. The Rouche inequality in Theorem 3.5 is non-strict as written. These are fixable and do not undermine the strategy.\n\nWho this is for: specialists in transcendental dynamics. Worth a serious referee? Yes -- the construction is plausible, the new zero/critical point work is valuable, and the gaps appear repairable. Send it to review, with a referee asked to demand the missing continuation argument.","headline":"Plausible new coexistence result for spiders' webs and Cantor bouquets, but the hair construction has a missing continuation of inverse branches to the real axis.","tokens_in":22639,"tokens_out":5883,"would_cite":true,"duration_ms":55890,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37F10","37B10","30D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"For every function in the exponential-sum family, the Julia set is a spider's web that contains a Cantor bouquet of fast-escaping curves.","keywords":["transcendental entire function","Julia set","escaping set","fast escaping set","Cantor bouquet","spider's web","sums of exponentials","symbolic dynamics"],"falsifier":"Take $p=3$ and compute the zeros of $g(w)=1+w/6+w^2/720+\\cdots$, or of $f(z)=e^z+e^{\\omega_3 z}+e^{\\omega_3^2 z}$, to high precision. If a non-real zero of $g$ appears that persists as the series is truncated at higher degree, or if a zero of $f$ with large modulus lies off the three rays $V_0,V_1,V_2$, then the zero-location theorem fails and with it the trapezium and hair construction. A stable off-ray zero would be a direct counterexample to the paper's zero-location claim.","tokens_in":21524,"feed_emoji":"🕸️","tokens_out":20614,"duration_ms":190860,"temperature":0.7,"pith_summary":"The paper studies the transcendental entire functions $f(z)=\\sum_{k=0}^{p-1}\\exp(\\omega_p^k z)$, $p\\ge 3$, where $\\omega_p=e^{2\\pi i/p}$. It proves that for every such $f$ the Julia set $J(f)$ is a spider's web that contains a Cantor bouquet: uncountably many pairwise disjoint curves running to infinity, each attached to one point of an invariant Cantor set on which $f$ is conjugate to the one-sided shift. Every point of these curves except the attaching endpoint lies in the fast escaping set $A(f)$—the points that tend to infinity as fast as possible—as well as in $J(f)$. The point is that a connected, loop-filled spider's web and a bouquet of disjoint hairs are compatible structures for the escaping dynamics; they occur inside the same Julia set.","feed_headline":"Spider's-web Julia sets hold Cantor bouquets","feed_subtitle":"For exponential sums, hair-like escape curves coexist with the web's connected loops.","key_machinery":"Four devices carry the argument. First, the substitution $z=w^{1/p}$: it turns the symmetric sum of exponentials into $p$ times the entire function $1+w/p!+w^2/(2p)!+\\cdots$, whose real-zero property (quoted from a classical problem book) confines all zeros of $f$ to the preimage rays $V_0,\\dots,V_{p-1}$ of the real axis. Second, a standard theorem on real entire functions of order below two with only real zeros gives real critical points, so the critical points of $f$ lie on the same rays, separated by zeros. Third, the trapeziums $T_{m,c}$: these bounded sets, cut out by the ray $V_0$, two horizontal lines $y=(2m\\pm1)\\pi$, and a vertical line $x=c$, cover themselves under $f$ once $m$ and $c$ are large; the covering property gives analytic inverse branches and an invariant Cantor set $\\Lambda_K$ on which $f$ is conjugate to the shift. Fourth, the hair limit: with $E(t)=e^t/e$, the compositions $G_s^n(t)=L_{s_0}\\circ\\cdots\\circ L_{s_{n-1}}(E^n(t))$ converge to a continuous curve $h_s(t)$ whose real part is within $O(1)$ of $t$, which yields the itinerary, the escape to infinity, and the uniqueness of the curve attached to each endpoint.","core_discovery":"The central claim, Theorem 1.2, is that for each $f$ in the family $\\mathcal F$, the Julia set is simultaneously an infinite spider's web and the home of a Cantor bouquet. The route is concrete. The substitution $z=w^{1/p}$ converts $f$ into the entire function $g(w)=p(1+w/p!+w^2/(2p)!+\\cdots)$, which has only real zeros by a classical result; pulling the real axis back through the $p$-th root places every zero of $f$ on the $p$ rays $V_k$. A standard theorem on real entire functions then places every critical point of $f$ on the same rays, separated by the zeros. This allows the proof to find trapeziums $T_{m,c}$ that cover themselves under iteration, define inverse branches there, and build an invariant set $\\Lambda_K$ on which $f|_{\\Lambda_K}$ is topologically conjugate to the one-sided shift on $K$ symbols. For each itinerary $s\\in\\Sigma_K$ a limiting argument produces one continuous hair $h_s:[1,\\infty)\\to\\mathbb C$ attached to the corresponding endpoint, lying in a horizontal strip, with $\\operatorname{Re} h_s(t)$ growing like $t$ and with $\\operatorname{Re} f^n(h_s(t))\\to\\infty$ for every $t>1$. The non-endpoint points of each hair therefore stay eventually in a region where a preliminary lemma applies, and so lie in $J(f)\\cap A(f)$. The union of the rotated copies of these hairs is the Cantor bouquet inside the spider's web.","pith_inferences":["An extension the paper does not make: the proof constructs a Cantor bouquet, but it does not show that every escaping point of $J(f)$ lies on one of its hairs; a natural next step is to ask whether the bouquet exhausts the escaping set in each sector.","The mechanism depends mainly on $p$-fold symmetry and on exponential dominance in finitely many sectors, so the same construction should transfer to other finite sums of exponentials with rotational symmetry, provided their zeros and critical points can be confined to finitely many rays.","The coexistence proved here suggests that spider's-web and Cantor-bouquet descriptions of escaping sets are compatible layers rather than rival classifications; one could test numerically whether the bouquet appears as a dense subset of the web in pictures of these Julia sets.","Because the hairs have real parts that grow linearly in the parameter $t$, comparing that linear rate with the maximal growth of $f$ could give a quantitative version of the fast-escaping statement."],"forward_implications":["For every $f\\in\\mathcal F$, the Julia set $J(f)$ contains uncountably many pairwise disjoint curves to infinity, so the spider's web of $J(f)$ is not merely a connected network of loops but carries a full Cantor bouquet of escape curves.","The restriction of $f$ to the invariant set $\\Lambda_K$ is topologically conjugate to the one-sided shift on $K$ symbols, so dense orbits, dense periodic points, and sensitive dependence on initial conditions all occur inside $J(f)$.","Every non-endpoint point of every hair lies in $J(f)\\cap A(f)$, so the fast escaping set itself contains uncountably many disjoint curves to infinity; $A(f)\\cap J(f)$ is not only a web but also a bouquet.","For every sufficiently large integer $k$, the Julia set contains unbounded simple curves $\\gamma_k$ and $\\gamma_{-k}$ lying entirely in the strips $R(k)$ and $R(-k)$ and tending to infinity through $T_0(\\nu)$; by symmetry the same holds in all $p$ sectors.","The argument is uniform in the family, so the theorem also holds for $\\lambda f$ with $\\lambda>0$, and for negative $\\lambda$ when $p$ is even."],"supporting_citations":[{"why":"Supplies the classical result that the factorial series $1+z/q!+z^2/(2q)!+\\cdots$ has no non-real zeros, which is the hinge for locating all zeros of $f$ on the rays.","marker":"[13]"},{"why":"Supplies the theorem that a real entire function of order less than two with only real zeros has real critical points separated by the zeros, which puts the critical points of $f$ on the same rays.","marker":"[18]"},{"why":"Supplies the hair-construction method, using inverse branches on strips and the compositions $L_s^n\\circ E^n$, together with the uniqueness argument for hairs.","marker":"[7]"},{"why":"Provides the initial spider's-web theorem for the family and the exponential-region estimates that make $f$ behave like a single exponential in each sector.","marker":"[17]"},{"why":"Provides the definitions of the fast escaping set and spider's web, plus the growth estimate for $M(r,f)$ used to show non-endpoint hair points lie in $A(f)$.","marker":"[14]"},{"why":"Provides the theorem that the Julia set is the closure of the repelling periodic points, used to show the hair endpoints lie in $J(f)$.","marker":"[2]"},{"why":"Provides the result that these functions have no multiply connected Fatou components, which lets the preliminary lemma conclude that a point whose orbit stays in a sector is in $J(f)$.","marker":"[5]"},{"why":"Provides the standard contraction argument that turns the nested preimage construction into a homeomorphism conjugating $f|_{\\Lambda_K}$ to the shift.","marker":"[6]"},{"why":"Supplies the conformal modulus criterion used to prove that the endpoint of a hair is the unique limit of nested trapezium preimages.","marker":"[11]"}],"fun_headline_variants":["Exponential sums blend webs and hair curves","Julia sets: infinite web plus Cantor hair","When Julia sets are both web and bouquet","Bouquets inside webs: Julia sets of exponential sums","Hair and web interwoven in Julia sets"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is a quoted classical result, not proved inside the paper, that a certain infinite power series with factorial denominators has no non-real zeros; if that failed, the zeros and critical points of $f$ could leave their prescribed rays, and the trapeziums would not cover themselves.","fun_headline_variants_meta":{"raw":{"variants":["Exponential sums blend webs and hair curves","Julia sets: infinite web plus Cantor hair","When Julia sets are both web and bouquet","Bouquets inside webs: Julia sets of exponential sums","Hair and web interwoven in Julia sets"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00024,"raw_usage":{"total_tokens":1505,"prompt_tokens":917,"completion_tokens":588,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":533,"completion_tokens_details":{"reasoning_tokens":517}},"tokens_in":533,"tokens_out":588,"duration_ms":5434,"temperature":1.0,"reasoning_tokens":517,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:24:20.462219+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $p=3$ and compute the zeros of $g(w)=1+w/6+w^2/720+\\cdots$, or of $f(z)=e^z+e^{\\omega_3 z}+e^{\\omega_3^2 z}$, to high precision. If a non-real zero of $g$ appears that persists as the series is truncated at higher degree, or if a zero of $f$ with large modulus lies off the three rays $V_0,V_1,V_2$, then the zero-location theorem fails and with it the trapezium and hair construction. A stable off-ray zero would be a direct counterexample to the paper's zero-location claim.","supporting_citations":[{"cited_title":"P´ olya and G","cited_arxiv_id":null,"evidence_quote":"Supplies the classical result that the factorial series $1+z/q!+z^2/(2q)!+\\cdots$ has no non-real zeros, which is the hinge for locating all zeros of $f$ on the rays."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that a real entire function of order less than two with only real zeros has real critical points separated by the zeros, which puts the critical points of $f$ on the same rays."},{"cited_title":"Bodel´ on, R","cited_arxiv_id":null,"evidence_quote":"Supplies the hair-construction method, using inverse branches on strips and the compositions $L_s^n\\circ E^n$, together with the uniqueness argument for hairs."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the initial spider's-web theorem for the family and the exponential-region estimates that make $f$ behave like a single exponential in each sector."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the definitions of the fast escaping set and spider's web, plus the growth estimate for $M(r,f)$ used to show non-endpoint hair points lie in $A(f)$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the theorem that the Julia set is the closure of the repelling periodic points, used to show the hair endpoints lie in $J(f)$."},{"cited_title":"Bergweiler and B","cited_arxiv_id":null,"evidence_quote":"Provides the result that these functions have no multiply connected Fatou components, which lets the preliminary lemma conclude that a point whose orbit stays in a sector is in $J(f)$."},{"cited_title":"Blanchard, Complex analytic dynamics on the Riemann sphere, Bull","cited_arxiv_id":null,"evidence_quote":"Provides the standard contraction argument that turns the nested preimage construction into a homeomorphism conjugating $f|_{\\Lambda_K}$ to the shift."},{"cited_title":"Milnor, Dynamics in One Complex Variable , Princeton University Press, 2006","cited_arxiv_id":null,"evidence_quote":"Supplies the conformal modulus criterion used to prove that the endpoint of a hair is the unique limit of nested trapezium preimages."}],"review_version":1}