pith. sign in

arxiv: 2604.16750 · v1 · submitted 2026-04-17 · 🧮 math.DS

Puzzle Pieces, Bi-accessibility, and Connectivity of the Julia Set for Generalized Blaschke Products

Melida Carranza Trejo , Monica Moreno Rocha This is my paper

Pith reviewed 2026-05-10 06:47 UTC · model grok-4.3

classification 🧮 math.DS
keywords Julia set connectivitygeneralized Blaschke productsArnold tonguesbi-accessible cyclespuzzle piecesFatou componentsHerman ringsrational dynamics
0
0 comments X

The pith

Bi-accessible repelling cycles on Julia sets provide a complete characterization of their connectivity for a family of generalized Blaschke products.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors investigate the dynamics of odd-degree generalized Blaschke products, which are rational functions preserving the unit circle. Within the parameter space, Arnold tongues appear where the induced circle map transitions from a diffeomorphism to a non-injective map. Through a combinatorial analysis of puzzle pieces, they establish that adjacent parameters in these tongues feature bi-accessible repelling cycles. This bi-accessibility prevents the formation of multiply connected Fatou components in the absence of Herman rings. The result is a full description of the Julia set's connectivity for every parameter in the family.

Core claim

For parameters inside Arnold tongues of the family, adjacent ones possess bi-accessible repelling cycles identified combinatorially via puzzle pieces; these cycles exclude multiply connected Fatou components whenever Herman rings are absent, yielding a complete characterization of Julia set connectivity for each member of the parametric family.

What carries the argument

Combinatorial study of puzzle pieces to prove existence of bi-accessible repelling cycles, which then rule out multiply connected Fatou components absent Herman rings.

Load-bearing premise

The argument assumes that Herman rings are absent to use bi-accessible repelling cycles to exclude multiply connected Fatou components.

What would settle it

A counterexample would be a parameter in the family with a multiply connected Fatou component that is not a Herman ring, even though bi-accessible repelling cycles are present.

Figures

Figures reproduced from arXiv: 2604.16750 by Melida Carranza Trejo, Monica Moreno Rocha.

Figure 1
Figure 1. Figure 1: To the left, partial representation of the parameter space of [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Location of the free critical points c± relative to the unit circle and the parameters a, 1/a¯. Proof. Cases 1 & 2 (|a| > 2d + 1 or |a| < 1): In these regions, the discriminant ∆a in (5) is positive, implying c± lie on the same ray as a. The symmetry c+ = 1/c¯− follows from the conjugate-reciprocal coefficients of h(z). For |a| > 2d + 1, the condition |c+| < |a| is equivalent to √ ∆a < (2d + 1)(|a| 2 − 1).… view at source ↗
Figure 3
Figure 3. Figure 3: The two a priori arrangements for the preimages [PITH_FULL_IMAGE:figures/full_fig_p012_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: B maps the purple sectors around c onto a single purple sector around the critical value z2. This mapping forces the two lobes of the figure-eight curve γ = B−1 (∂Ud) intersect￾ing at c to lie on opposite sides of the broken line connecting the origin, c, and a. Since the critical point c has multiplicity 2, then each sector depicted in purple around the critical point c in [PITH_FULL_IMAGE:figures/full_f… view at source ↗
Figure 5
Figure 5. Figure 5: Sketch of the drops and roots of level 1 for the [PITH_FULL_IMAGE:figures/full_fig_p014_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Sketch of drops whose roots alternate between the points [PITH_FULL_IMAGE:figures/full_fig_p015_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Sketch of the structure of the limb L1 for d = 2. The limb L1 (green) is depicted. Also shown (blue) are two of its preimages under B: L0·1 , originating from drop U0, and L2·1 , originating from drop U2. The third preimage, L11 (originating from U1), is contained within L1 itself. Note that B maps both blue limbs onto L1 . Furthermore, L2·1 is disjoint from both L1 and L0·1 , whereas L0·1 intersects L1 on… view at source ↗
Figure 8
Figure 8. Figure 8: A sketch of the region W (in gray) for the case d = 2. W is the union of W ∞ and its symmetric image W0 . The region W ∞ is bounded by the extended B¨ottcher rays Rb∞ 0 and Rb∞ 1/2 , and the equipotential E. The unit circle is shown as a dashed line. 19 [PITH_FULL_IMAGE:figures/full_fig_p019_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Super-attracting homeomorphism scenario: A sketch of the regions [PITH_FULL_IMAGE:figures/full_fig_p021_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Attracting homeomorphism scenario: The two possible configurations for the [PITH_FULL_IMAGE:figures/full_fig_p022_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: By removing the topological disk D2, we ensure that P0 ∩ P1 = ∅. P2 is then taken as before. 4.3 The Endomorphism Case In this region, B|S 1 acts as a circle endomorphism with two simple critical points, denoted c+ and c−. We define their corresponding co-critical points c ′ +, c′ − ∈ S 1 by the condition B(c ′ ±) = B(c±). These points partition the unit circle into two intervals with distinct covering pr… view at source ↗
Figure 11
Figure 11. Figure 11: Attracting homeomorphism scenario: A sketch of the regions [PITH_FULL_IMAGE:figures/full_fig_p023_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: The dynamical configuration for the endomorphism case (1 [PITH_FULL_IMAGE:figures/full_fig_p024_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Super-attracting endomorphism scenario for [PITH_FULL_IMAGE:figures/full_fig_p025_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: Super-attracting endomorphism scenario for [PITH_FULL_IMAGE:figures/full_fig_p026_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Inner attracting endomorphism scenario for [PITH_FULL_IMAGE:figures/full_fig_p028_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: Outer attracting endomorphism scenario for [PITH_FULL_IMAGE:figures/full_fig_p029_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: Outer attracting endomorphism scenario for [PITH_FULL_IMAGE:figures/full_fig_p030_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: Sketch of the drops, roots and necks of level 1 for the case [PITH_FULL_IMAGE:figures/full_fig_p032_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: Diffeomorphism scenario for d = 2: The two possible configurations for the preim￾ages of U2, depending on the location of the attracting point ξ0. (a) If arg(e 2πiα) ≤ arg(ξ0), the unique preimage associated to S 1 is U02. (b) If arg(e 2πiα) > arg(ξ0), the unique preimage associated to S 1 is U22. 33 [PITH_FULL_IMAGE:figures/full_fig_p033_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: Diffeomorphism scenario for d = 2: A sketch of the regions P0 (in gray), P1 (in blue), and P2 (in orange). The figure also depicts the attracting cycle {ξ0, ξ1} (in black) and the boundaries of the removed disks (in purple). The critical points c+ and c− are colored in blue and red, respectively. With these modified definitions ensuring that the limbs are shrinking under B−n, the remainder of the construc… view at source ↗
Figure 21
Figure 21. Figure 21: Plot of md+1 for the case d = 2. The interval I = [1/2, 1) is partitioned into three subintervals, with J0 = [1/2, b′ ] and J1 = [a ′ , 1] mapping into I, while J∗ = [b ′ , a′ ) maps to [0, 1/2). if and only if mk (t) ∈ Jsk for all k ≥ 1. We now proceed to show the existence of an interval [a, b] ⊂ I with the required properties. Clearly, X ⊂ Λ, so each point in X has a well-defined itinerary. The hypothe… view at source ↗
read the original abstract

We study the dynamics of a parametric family of rational functions of odd degree, where each function is a generalized Blaschke product that maps the unit circle onto itself. The action of the Blaschke product restricted to the unit circle defines a circle map, and the parameter space of the family exhibits Arnold tongues. As the parameter varies over an Arnold tongue, the action of the circle map changes from a diffeomorphism to a non-injective endomorphisms. Using a combinatorial study of puzzle pieces, we show that for adjacent parameters inside the Arnold tongues, there exist bi-accessible repelling cycles. This topological feature enables us to exclude the presence of multiply connected Fatou components whenever Herman rings are absent. As a result, we obtain a complete characterization of the connectivity of the Julia set for each member of the parametric family.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript studies a parametric family of odd-degree rational maps that are generalized Blaschke products preserving the unit circle. The induced circle maps exhibit Arnold tongues in parameter space, within which the map transitions from a diffeomorphism to a non-injective endomorphism. A combinatorial analysis of puzzle pieces is used to prove the existence of bi-accessible repelling cycles for adjacent parameters inside these tongues. This bi-accessibility is then invoked to exclude multiply connected Fatou components (hence to determine Julia-set connectivity) whenever Herman rings are absent, yielding what is presented as a complete characterization of connectivity for every member of the family.

Significance. If the result holds after addressing the conditional gap, the work would furnish a precise connectivity classification for Julia sets in this circle-preserving rational family, extending combinatorial techniques from complex dynamics to parameter regions with Arnold tongues. The explicit construction of bi-accessible cycles via puzzle-piece combinatorics is a concrete methodological contribution that strengthens the topological arguments.

major comments (1)
  1. [Abstract] Abstract: The central claim states that the bi-accessibility result 'enables us to exclude the presence of multiply connected Fatou components whenever Herman rings are absent. As a result, we obtain a complete characterization of the connectivity of the Julia set for each member of the parametric family.' No argument is supplied showing that Herman rings are absent for all parameters in the family, nor is there a case distinction or separate analysis for parameters where such rings could exist. Because Herman rings are themselves multiply connected Fatou components whose presence would alter the connectivity conclusions drawn from bi-accessibility alone, this unaddressed condition renders the 'complete characterization' claim unsupported as stated.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: The central claim states that the bi-accessibility result 'enables us to exclude the presence of multiply connected Fatou components whenever Herman rings are absent. As a result, we obtain a complete characterization of the connectivity of the Julia set for each member of the parametric family.' No argument is supplied showing that Herman rings are absent for all parameters in the family, nor is there a case distinction or separate analysis for parameters where such rings could exist. Because Herman rings are themselves multiply connected Fatou components whose presence would alter the connectivity conclusions drawn from bi-accessibility alone, this unaddressed condition renders the 'complete characterization' claim unsupported as stated.

    Authors: We agree that the abstract's phrasing of a 'complete characterization' risks implying an unconditional classification for every parameter. The manuscript does condition the exclusion of multiply connected Fatou components on the absence of Herman rings, but to eliminate ambiguity we will revise the abstract to state explicitly that bi-accessibility yields a characterization of Julia-set connectivity precisely in the absence of Herman rings. We will add a short remark in the introduction clarifying that our combinatorial methods do not address the (non)existence of Herman rings in this family and that determining their presence remains outside the scope of the present work. This revision directly resolves the conditional gap noted by the referee. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on independent combinatorial topology

full rationale

The paper establishes bi-accessible repelling cycles via combinatorial analysis of puzzle pieces for adjacent parameters in Arnold tongues, then applies this to exclude multiply connected Fatou components (conditional on absent Herman rings) and characterize Julia-set connectivity. No quoted step reduces by definition, by renaming a fitted input as a prediction, or by load-bearing self-citation whose cited result itself depends on the target claim. The arguments invoke standard tools from complex dynamics (puzzle pieces, accessibility) without smuggling ansatzes or importing uniqueness theorems from the authors' prior work as external facts. The explicit conditional on Herman rings is stated rather than elided, leaving the chain self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background results from complex dynamics and topology without introducing new free parameters or postulated entities.

axioms (2)
  • standard math Standard properties of Julia sets, Fatou components, and accessibility for rational maps on the Riemann sphere
    Invoked to relate bi-accessibility to the absence of multiply connected Fatou components.
  • domain assumption Existence and basic properties of Arnold tongues for circle maps arising from Blaschke products
    Used to partition parameter space and identify adjacent parameters.

pith-pipeline@v0.9.0 · 5441 in / 1293 out tokens · 40890 ms · 2026-05-10T06:47:19.470948+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    Llu´ ıs Alsed` a, Jaume Llibre, and Michal Misiurewicz.Combinatorial dynam- ics and entropy in dimension one. Vol. 5. Singapore: World Scientific Pub- lishing Company, 2000

    work page 2000

  2. [2]

    Alan Beardon.Iteration of Rational Functions. Vol. 132. Graduate Texts in Mathematics. New York: Springer-Verlag, 1991, pp. xvi+280

    work page 1991

  3. [3]

    Antipode preserving cubic maps: The Fjord theorem

    Araceli Bonifant, Xavier Buff, and John Milnor. “Antipode preserving cubic maps: The Fjord theorem”. In:Proceedings of the London Mathematical Society116.3 (2018), pp. 670–728

    work page 2018

  4. [4]

    Bifurcations of circle maps: Arnol’d tongues, bistability and rotation intervals

    Philip L Boyland. “Bifurcations of circle maps: Arnol’d tongues, bistability and rotation intervals”. In:Commun. Math. Phys.106.3 (1986), pp. 353– 381

    work page 1986

  5. [5]

    Cam- bridge: Cambridge University Press, 2002

    Michael Brin and Garrett Stuck.Introduction to dynamical systems. Cam- bridge: Cambridge University Press, 2002

    work page 2002

  6. [6]

    Connectivity of the Julia set for the Chebyshev-Halley family on degreenpolynomials

    B. Campos, J. Canela, and P. Vindel. “Connectivity of the Julia set for the Chebyshev-Halley family on degreenpolynomials”. In:Commun. Nonlinear Sci. Numer. Simul.82 (2020), p. 105026.doi:10.1016/j.cnsns.2019. 105026

    work page doi:10.1016/j.cnsns.2019 2020

  7. [7]

    Tongues in degree 4 Blaschke prod- ucts

    J. Canela, N. Fagella, and A. Garijo. “Tongues in degree 4 Blaschke prod- ucts”. In:Nonlinearity29.11 (2016), p. 3464

    work page 2016

  8. [8]

    Surgery on Herman rings of the standard Blaschke family

    Haifeng Chu. “Surgery on Herman rings of the standard Blaschke family”. In:Discrete Contin. Dyn. Syst. A38.1 (2018), pp. 63–74

    work page 2018

  9. [9]

    Edson De Faria and Welington De Melo.Mathematical tools for one-dimensional dynamics. Vol. 115. New York: Cambridge University Press, 2008

    work page 2008

  10. [10]

    Sur la conjugaison diff´ erentiable des diff´ eomorphismes du cercle ` a des rotations

    Michael Robert Herman. “Sur la conjugaison diff´ erentiable des diff´ eomorphismes du cercle ` a des rotations”. In:Publ. Math. IHES49 (1979), pp. 5–233

    work page 1979

  11. [11]

    Rotation sets are closed

    Ryuichi Ito. “Rotation sets are closed”. In:Math. Proc. Camb. Phil. Soc. Vol. 89. Cambridge University Press. 1981, pp. 107–111. 41

    work page 1981

  12. [12]

    John Milnor.Dynamics in One Complex Variable. Vol. 160. Princeton: Prince- ton University Press, 2011

    work page 2011

  13. [13]

    On the Julia set of a typical quadratic polynomial with a Siegel disk

    Carsten L Petersen and Saeed Zakeri. “On the Julia set of a typical quadratic polynomial with a Siegel disk”. In:Ann. Math.(2004), pp. 1–52

    work page 2004

  14. [14]

    On the quasiconformal surgery of rational functions

    Mitsuhiro Shishikura. “On the quasiconformal surgery of rational functions”. In:Ann. Sci. ´Ecole Norm. Sup.(4)20.1 (1987), pp. 1–29

    work page 1987

  15. [15]

    Rational iteration

    Norbert Steinmetz. “Rational iteration”. In:Rational Iteration. Berlin; New York: de Gruyter, 2011

    work page 2011

  16. [16]

    Saeed Zakeri.Rotation sets and complex dynamics. Vol. 2214. Cham: Springer, 2018. 42

    work page 2018