REVIEW 3 major objections 5 minor 16 references
Paper Fortune Tellers in the combinatorial dynamics of some generalized McMullen maps with both critical orbits bounded
T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read In generalized McMullen maps, the position of the second critical value inside a preimage baby basilica forces a precise, finite set of external-ray re-identifications in the next preimage — and the same altered shape then repeats…
desk verdict Genuinely new conditional lamination combinatorics for preimages of baby basilicas, but the headline 'large class of maps' has no proved example. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the external-angle assignment $\Gamma\colon S^1\to J^*$ constructed in Theorem 3.1 on the tree of all preimages of a baby quadratic Julia set, using the polynomial-like mapping theorem to initialize the angles on the baby Julia set itself. On a preimage copy containing a critical point, $\Gamma$ makes $F$ conjugate to angle doubling ($t\mapsto 2t$); on a preimage copy without a critical point, $\Gamma$ makes $F$ preserve the angle. The lamination $L_\gamma$ (the chord diagram of identified external angles) attached to each preimage is then compared with the basilica lamination. The fortune-teller step is a local re-gluing: two chords bounding the preimages of a component are broken and reconnected in the crossed pairing, which is exactly the operation that merges two Fatou components into one critical-point component while splitting the previous central component.
What would settle it
A single rigorously verified parameter triple satisfying A1 through A5, with $v_-$ at a known distance $N$, whose preimage lamination does not show exactly the $2N+1$ leaf changes of Theorem 4.4, would refute the combinatorial rule. Concretely, one could take the numerically suggested Type 1-1 candidate $n=11$, $a=0.2075$, $b=-0.004483852355144613+0.0032857624406795257i$, prove it lies in the intended hyperbolic and polynomial-like setting, and test whether the predicted reidentifications appear on $J_0$. In the other direction, an exhaustive proof that no such parameters exist would make the described class empty and the theorem vacuous.
Extended reading notes
Core claim
The central discovery is a combinatorial rule, Theorem 4.4, that describes exactly how a preimage of a baby basilica Julia set changes when the free critical value sits in an unexpected Fatou component. Let $K_+$ be a baby basilica and $K_-$ a preimage copy containing $v_-$; write $N$ for the number of steps from the expected component $L$ to the component $U_-$ containing $v_-$ along the shortest chain of adjacent Fatou components. Then the lamination $L_0$ of $J_0=\partial F^{-1}(K_-)$ is the basilica lamination with $2N+1$ leaves changed: for each step $i$, the identifications $a_i^1\sim b_i^2$ and $a_i^3\sim b_i^4$ are replaced by $a_i^1\sim b_i^4$ and $b_i^2\sim a_i^3$, except that if the first step passes through the central component $M$, the exception $1/6\sim 1/3$ and $2/3\sim 5/6$ applies. Geometrically, two Fatou components merge into the critical-point component and the old central component splits in two; the paper compares this to opening a paper fortune teller in the other direction. Every earlier preimage in the tree is then homeomorphic to this altered set, so the Julia set contains infinitely many altered copies alongside infinitely many true quadratic copies.
Load-bearing premise
The entire construction is conditional on the existence of parameter values $(n,a,b)$ satisfying assumptions A1 through A5, in particular that $v_+$ lies in a baby basilica and $v_-$ lies in a specified Fatou component of a preimage copy of it; the paper states in its final paragraph that this existence is not established.
Editorial extensions
If this is right
- For any placement of $v_-$ that is $N$ components from the expected location, the lamination of the immediate preimage $J_0$ is fully determined by the $2N+1$ leaf changes, so the shape of $J_0$ and of its entire preimage tree is known in advance.
- If $v_-$ sits in the expected component $L$, no alteration occurs and every preimage is an ordinary baby basilica; the altered phenomenon is strictly tied to the free critical value being off-schedule.
- Each altered set is homeomorphic to a quadratic Julia set with finitely many external-ray landing pairings changed, so some Fatou components merge and others split, and these altered copies form an infinite tree of preimages.
- The induction in Theorem 4.4 shows that longer, backtracking paths do not change the final lamination, so the shortest path from $L$ to $U_-$ is the only data that matters.
- The paper suggests the same splitting-and-reidentifying mechanism should extend to other quadratic baby Julia sets, such as rabbits, where altered preimages are already visible numerically.
Reading between the lines
- The paper's own final paragraph concedes that no parameter triple is proven to satisfy assumptions A1 through A5; closing this gap is the difference between a conditional model and an instantiated one. A concrete next step is to verify hyperbolicity and the polynomial-like condition for the numerically reported Type 1-1 and Type 2 examples.
- The explicit angle replacements suggest a fast numerical test: compute which external rays land together on a numerically drawn $J_0$; the pattern $a_i^1\sim b_i^4$, $b_i^2\sim a_i^3$ should be visible whenever $v_-$ is off-schedule, and a single verified counterexample to that pattern would pinpoint a flaw in the induction.
- The $2N+1$ leaf count could serve as a combinatorial invariant measuring how far $v_-$ has wandered from its expected location; in principle, one could locate the free critical value inside a deep preimage by counting leaf differences in its preimage lamination.
- The theorem's restriction to the basilica is probably not essential: translating the fortune-teller re-gluing to other quadratic laminations would give a broader family of altered Julia sets, with the same linear leaf-count growth in the distance from the expected component.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the family of generalized McMullen maps F_{n,a,b}(z)=z^n+a/z^n+b, with n≥3 fixed. Under a list of assumptions A1–A5 (hyperbolicity, both critical orbits bounded and in different Fatou components, existence of a baby basilica K+ associated with v+, and placement of the other critical value v− in a preimage copy K− of K+), the authors construct an external-angle assignment Γ on the tree of preimages of K+ (Theorem 3.1). They then analyze the lamination of a preimage J0 of J−=∂K−: if v− lies N Fatou components away from the "expected" component, they claim that the lamination L0 differs from the basilica lamination by exactly 2N+1 leaves, with explicit changed ray identifications (Theorem 4.4 and Propositions 4.1–4.3). The resulting objects are called "altered quadratic Julia sets" or "paper fortune teller" sets. The paper is primarily combinatorial and conditional: it contains many numerical images of purported examples, but it does not prove that any parameter satisfies all of A1–A5.
Significance. If the constructive combinatorial picture is correct, the paper offers a new and concrete phenomenon: within a single rational map, baby quadratic Julia sets coexist with infinitely many copies of a modified lamination obtained by finitely many split/reidentification steps. The angle-assignment construction in Theorem 3.1 and the explicit alteration algorithm in Theorem 4.4 are the paper's main contributions, and the accompanying images are suggestive. However, the abstract's headline claim of a "large class of maps" is not backed by an existence proof for the assumed parameter configuration, and the validity of the iterated lamination procedure in Theorem 4.4 is asserted rather than rigorously verified. Both gaps are load-bearing for the central claim, although they appear fixable in a revision.
major comments (3)
- [Assumptions (Section 2) and Future Explorations (Section 4)] The abstract's "large class of maps" is not shown to be nonempty. Assumption A5 postulates a very specific configuration: the second critical value v− lies in a preimage copy K− of the baby basilica K+, in the same attracting basin as v+ but not in its immediate basin, in a specified Fatou component of that preimage. The final paragraph of Section 4 explicitly concedes: "actually establishing that there are parameters for which F_{n,a,b} satisfies Assumptions A1 through A5 would be a good avenue for future study." Since no parameter is proved to satisfy all five assumptions, Theorems 3.1 and 4.4 are conditional statements about a possibly empty family. The paper should either prove existence of at least one parameter satisfying A1–A5 (ideally with an open neighborhood of such parameters), or explicitly restate the abstract and main results as conditional on that existence. Numerical images are not a substitute for this proof.
- [Theorem 4.4, proof] The proof never verifies the central combinatorial hypothesis that the iterative split/reidentification procedure produces a valid lamination without chord crossings at every intermediate step. The sentence "unless those two Fatou components that will join are adjacent to M, we can't just make that one change in the lamination diagram, as it would create chord intersections" is an assertion, not a proof, and the induction step similarly assumes that after k changes the next two preimage components are adjacent to the current central component. This is load-bearing, because the "altered quadratic Julia set" is defined by the lamination obtained from this procedure; without a rigorous no-crossing argument the object may not exist. A finite chord-counting argument in the basilica lamination, or an explicit recursive description of leaf coordinates, would close the gap.
- [Theorem 4.4, statement and notation] The statement's notation is not fully formal. The labels (b^i_1 ↶ a^i_1 / ... ) refer to preimage components in Kc, but after the first reidentification the "current central component" is a new merged object, so it is unclear which chords in the intermediate lamination the next step acts on. Relatedly, the exception for U1=M is stated with different angle pairings (1/6∼1/3 and 2/3∼5/6) than the general rule; the relationship between these pairings and the general formula should be spelled out. Without this, Theorem 4.4 is not yet a precise combinatorial algorithm that a reader could implement, even granting the existence of the parameter configuration in A5.
minor comments (5)
- [Section 2, parameter notation] The text writes "C∗ = C/{0}"; this should be C∖{0}, since the slash suggests a quotient rather than a punctured plane.
- [Proposition 4.1] The statement says v− lies in the component "L=(1/3↶1/6 / 2/3↶5/6)", but according to the conventions in §4.1 that label is M, not L; the expected component should be L=(5/12↶1/3 / 7/12↶2/3).
- [Throughout] The matrix notation for Fatou components is typeset with broken arrow symbols such as "a2/r⇣urve⇡rrowr⫯g⊸tb2"; this notation should be cleaned up, since the reader cannot reliably distinguish the two identified pairs without a diagram.
- [Figure 1 and Example 1] The caption of Figure 1 gives a=0.1317−0.0073i, while Example 1 says n=5, a=0.0137−0.0073i, b=0.03+0.02i; the parameter values should be harmonized or the discrepancy explained.
- [Theorem 3.1, Step 0] The choice of z0 versus z1/2 in the angle assignment is described as arbitrary but it sets an orientation for Jm,j; the dependence of later lamination comparisons on this choice should be stated explicitly, or shown to be canonical up to the 180° symmetry described in Corollary 3.3.
Circularity Check
No circular derivation: Theorem 4.4's lamination changes are derived from local degree and the assumed location of v−; the unproved existence of parameters satisfying A1–A5 is a limitation, not a circularity.
full rationale
The derivation chain runs from Assumptions A1–A5 to the external-angle construction in Theorem 3.1 and then to the leaf-reidentification rules in Propositions 4.1–4.3 and Theorem 4.4. The key step is not fitted: given v− in a named Fatou component U−, the conclusion that the preimage lamination L0 differs by the pair swaps a_i^1∼b_i^4 and b_i^2∼a_i^3 is derived from the fact that K0 must contain a critical point mapping 2:1 onto K− and from the angle-doubling conjugacy in Theorem 3.1. No equation in the paper defines the conclusion into the hypotheses. The self-citations [BM23, BH24] are used only to assert that Assumptions A3 and A4 occur in some parameter regions; they are published results and are not the mechanism by which Theorem 4.4 is proved. The paper's final paragraph explicitly concedes that proving parameters satisfying A1–A5 is future work: "However, actually establishing that there are parameters for which Fn,a,b satisfies Assumptions A1 through A5 would be a good avenue for future study." This is a genuine limitation for the abstract's claim of a "large class of maps" — the class is only conditionally nonempty — but it is not circular reasoning, because the conditional combinatorial statements remain well-defined and independently grounded. Score 1 reflects the minor self-citational and existence caveat, not a circular derivation.
Assumptions & free parameters
assumptions (8)
- standard math Douady-Hubbard straightening theorem for polynomial-like maps (Theorem 2.2) and external ray/lamination theory for locally connected Julia sets.
- domain assumption Assumption A1: F is hyperbolic.
- domain assumption Assumption A2: both critical values have bounded orbits and lie in different Fatou components.
- domain assumption Assumption A3: F is polynomial-like of degree 2 on a region containing v+, with filled Julia set K+ conjugate to a quadratic polynomial.
- domain assumption Assumption A4: Pc lies in the basilica bulb, so v+ is in the immediate basin of an attracting period-two cycle.
- domain assumption Assumption A5: the other critical value v- lies in the interior of a preimage copy K- of K+.
- domain assumption Without loss of generality, v- lies on the "left" side of K- or in a smaller decoration attached to M.
- ad hoc to paper The sequence of splits and reidentifications in Theorem 4.4 produces a valid lamination without chord crossings at every intermediate step.
invented entities (1)
-
Altered quadratic Julia set (paper fortune teller set)
Cite this review
Pith. "Pith review of Paper Fortune Tellers in the combinatorial dynamics of some generalized McMullen maps with both critical orbits bounded." pith.science (2026). https://pith.science/paper/J6HYP72U
@misc{pith2026250107545,
author = {Pith},
title = {Pith review of: Paper Fortune Tellers in the combinatorial dynamics of some generalized McMullen maps with both critical orbits bounded},
year = {2026},
howpublished = {\url{https://pith.science/paper/J6HYP72U}},
note = {Machine review of arXiv:2501.07545}
}
read the original abstract
For the family of complex rational functions known as "Generalized McMullen maps", F(z) = z^n + a/z^n+b, for complex parameters a and b, with a nonzero, and any integer n at least 3 fixed, we reveal, and provide a combinatorial model for, some new dynamical behavior. In particular, we describe a large class of maps whose Julia sets contain both infinitely many homeomorphic copies of quadratic Julia sets and infinitely many subsets homeomorphic to a set which is obtained by starting with a quadratic Julia set, then changing a finite number of pairs of external ray landing point identifications, following an algorithm we will describe.
Figures
Figures from the paper (14 more)
Reference graph
Works this paper leans on
-
[1]
Devaney, Antonio Garijo, and Elizabeth D
Paul Blanchard, Robert L. Devaney, Antonio Garijo, and Elizabeth D. Russell. A generalized version of the M c M ullen domain. Internat. J. Bifur. Chaos Appl. Sci. Engrg. , 18(8):2309--2318, 2008
work page 2008
-
[2]
Suzanne Boyd and Matthew Hoeppner. Baby mandelbrot sets and spines in some one-dimensional subspaces of the parameter space for generalized mcmullen maps. http://arxiv.org/abs/2411.04938, November 2024
work page Pith review arXiv 2024
- [3]
-
[4]
Suzanne Hruska Boyd and Michael J. Schulz. Geometric limits of M andelbrot and J ulia sets under degree growth. Internat. J. Bifur. Chaos Appl. Sci. Engrg. , 22(12):1250301, 21, 2012
work page 2012
-
[5]
Robert L. Devaney. Baby M andelbrot sets adorned with halos in families of rational maps. In Complex dynamics , volume 396 of Contemp. Math. , pages 37--50. Amer. Math. Soc., Providence, RI, 2006
work page 2006
-
[6]
Robert L. Devaney. Singular perturbations of complex polynomials. Bull. Amer. Math. Soc. (N.S.) , 50(3):391--429, 2013
work page 2013
-
[7]
Robert L. Devaney and Antonio Garijo. Julia sets converging to the unit disk. Proc. Amer. Math. Soc. , 136(3):981--988, 2008
work page 2008
-
[8]
On the dynamics of polynomial-like mappings
Adrien Douady and John Hamal Hubbard. On the dynamics of polynomial-like mappings. Annales Scientifiques de l'e.N.S. , 18(2):287--343, 1985
work page 1985
Show all 16 references
-
[9]
Devaney, Daniel M
Robert L. Devaney, Daniel M. Look, and David Uminsky. The escape trichotomy for singularly perturbed rational maps. Indiana Univ. Math. J. , 54(6):1621--1634, 2005
2005
-
[10]
HyeGyong Jang, YongNam So, and Sebastian M. Marotta. Generalized baby M andelbrot sets adorned with halos in families of rational maps. J. Difference Equ. Appl. , 23(3):503--520, 2017
2017
-
[11]
Kozma and Robert L
Robert T. Kozma and Robert L. Devaney. Julia sets converging to filled quadratic J ulia sets. Ergodic Theory Dynam. Systems , 34(1):171--184, 2014
2014
-
[12]
McMullen
Curtis T. McMullen. Automorphisms of rational maps. In Holomorphic functions and moduli, V ol.\ I ( B erkeley, CA , 1986) , volume 10 of Math. Sci. Res. Inst. Publ. , pages 31--60. Springer, New York, 1988
1986
-
[13]
McMullen
Curtis T. McMullen. Complex dynamics and renormalization , volume 135 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1994
1994
-
[14]
Dynamics in One Complex Variable
John Milnor. Dynamics in One Complex Variable . Princeton University Press, 2006
2006
-
[15]
Thurston
William P. Thurston. On the geometry and dynamics of iterated rational maps. In Dierk Schleicher and Nikita Selinger, editors, Complex dynamics , pages 3--137. A K Peters, Wellesley, MA, 2009
2009
-
[16]
On the dynamics of generalized M c M ullen maps
Yingqing Xiao, Weiyuan Qiu, and Yongcheng Yin. On the dynamics of generalized M c M ullen maps. Ergodic Theory Dynam. Systems , 34(6):2093--2112, 2014
2014
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.