Pith. sign in

REVIEW 4 major objections 6 minor 11 references

Sharkovsky's Ordering in the Mandelbrot Set

T0 review · 4 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read On each Mandelbrot vein, the visible periods are exactly 1, k, and all integers at least k+l, ordered by the k-Sharkovsky partial order.

desk verdict New but currently inconsistent application of Baldwin's k-Sharkovsky ordering to veins; Corollary 1 contradicts Theorem 1, and the proof of Theorem 1(1) leaves a real gap. read the letter →

arxiv 2506.06163 v1 pith:X2OKWJOV submitted 2025-06-06 math.CO math.DS

Reila Zheng This is my paper
classification math.COmath.DS MSC 37F1037E1537F2037E25
keywords Sharkovskyorderingk-SharkovskyMandelbrotsetorbitforcingHubbardtreesspiralgraphsveinshyperboliccomponents
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that the classical Sharkovsky ordering for interval maps and its tree analogue, the $k$-Sharkovsky ordering, appear in the parameter space of quadratic polynomials along the veins of the Mandelbrot set. On any $(k,l)$-vein, it proves, the hyperbolic components closest to the main cardioid exist exactly for periods $1$, $k$, and every $n \ge k+l$, and their outward order is determined by the $k$-Sharkovsky partial order. The dynamics at the center of $C_V(ik+l)$ is a spiral graph on a $k$-star with period set equal to the $k$-Sharkovsky tail of $ik+l$. This connects a purely combinatorial forcing theorem for tree maps to concrete geometry in the Mandelbrot set.

What carries the argument

The engine is the $k$-Sharkovsky partial order on the periods of maps of a $k$-star, together with the Markov graph of a spiral graph. The order is generated by three rules: every $n > 1$ exceeds $1$; multiples of $k$ are compared by $n/k >_2 m/k$; and a non-multiple $n$ exceeds every $in + jk$ with $i \ge 0$, $j \ge 1$. The transfer to the Mandelbrot set is made by quasiconformal sector surgery: a real-vein map is cut along the $\alpha$ fixed point, the non-critical sector is duplicated $k-1$ times with combinatorial rotation $p/k$, and the result is a parameter on a principal $p/k$-vein whose Hubbard tree is a $k$-star. A homeomorphism between neighbouring secondary veins shifts the index $l$ to $l+1$ and carries spiral cycles to spiral cycles. The Markov graph of a spiral graph contains a $k$-cycle and an $n$-cycle, and concatenating these cycles produces non-repetitive loops of all periods $m \le_k n$, which is the forcing mechanism behind the ordering of hyperbolic components along the vein.

What would settle it

Trace the parameter rays bounding the secondary vein $V_2$ in the $2/5$-limb (tip at external angle $19/64$) and list the hyperbolic components it crosses. The theorem predicts exactly periods $1$, $5$, and every $n \ge 7$; the appearance of a period-$6$ component would refute the existence claim. A cheaper check is to compute the Markov graph of $C_V(7)$ and look for a non-repetitive loop of length $6$, which the proof says cannot exist.

Watch

Extended reading notes

Core claim

The central result is Theorem 1: if $V$ is a $(k,l)$-vein on the $p/k$-limb, then the hyperbolic component of period $n$ closest to the main cardioid along $V$ exists exactly for $n = 1$, $n = k$, and every $n \ge k+l$. For a principal vein ($l=1$), the outward ordering is exactly the $k$-Sharkovsky order: $C_V(n_1)$ is farther from the main cardioid than $C_V(n_2)$ whenever $n_1 >_k n_2$. For a secondary vein ($l \neq 1$), the same comparison is proved when $n_2 \le_k k+l$. Theorem 2 identifies the dynamics of the center of $C_V(ik+l)$: its Hubbard tree is a spiral graph on a $k$-star, and its period set is the $k$-Sharkovsky tail below $ik+l$; components $C_V(ik+l')$ with $l' \neq l$ are not spiral graphs. The paper also writes the full vein ordering explicitly for the ratios $k = 2l$, $k = 3l$, and $2k = 3l$.

Load-bearing premise

The results rest on two imported facts that are cited to other works rather than proved here: the sector surgery from the real vein to a principal vein preserves periods and sends Hubbard trees to $k$-stars, and the homeomorphism between secondary veins preserves spiral-graph dynamics; if either fact fails, the ordering theorems do not follow.

Editorial extensions

If this is right

  • Along any $(k,l)$-vein the full list of periods that occur as the closest hyperbolic component is known: $1$, $k$, and all integers $n \ge k+l$; no component of period $k+1$ through $k+l-1$ can be visible in this way.
  • The outward ordering of these components is a geometric realization of the $k$-Sharkovsky order, so period-forcing in star maps predicts the nesting of wakes along a vein.
  • Every center $C_V(ik+l)$ has period set exactly the $k$-Sharkovsky tail below $ik+l$, so its Hubbard tree realizes the forcing tail predicted by star-map theory; and no $C_V(ik+l')$ with $l' \neq l$ is a spiral graph.
  • For $k = 2l$, $k = 3l$, and $2k = 3l$, the whole vein ordering can be written down explicitly, with the blocks $C(jk+l)$ appearing in the order given by $k$ times the classical Sharkovsky ordering.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A strengthening the paper leaves open: the restriction $n_2 \le_k k+l$ in Theorem 1(3) may be removable, so that the full $k$-Sharkovsky comparison holds for all secondary-vein components; checking the Markov graph of one secondary spiral graph would settle it.
  • The existence statement suggests a parameter-space sieve on a limb: any hyperbolic component period visible on some vein of the $p/k$-limb must lie in one of the sets $N(k,l)$, so the collection of visible periods across a limb is a union of such arithmetic tails.
  • The explicit orderings for special ratios invite the conjecture that every $p/k$-limb has a closed-form vein ordering determined by the rotation number of $p/k$; the paper does not address other ratios.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 6 minor

Summary. The paper proposes a generalization of Sharkovsky's period-forcing theorem to veins of the Mandelbrot set. For a (k,l)-vein V, it claims in Theorem 1 that hyperbolic components C_V(n) on V exist exactly for periods n in N(k,l)={n≥k+l}∪{k,1}, with an ordering along V governed by the k-Sharkovsky order; Theorem 2 claims that the center of C_V(ik+l) has spiral-graph dynamics with Per={m:m≤_k ik+l}; and Theorem 3 gives explicit orderings in the special cases k=2l and k=3l or 2k=3l. The arguments combine quasiconformal surgery from the real vein to a principal vein, a homeomorphism between secondary veins taken from a thesis, and Markov-graph period counting on k-star Hubbard trees.

Significance. If the main theorems were correct, the paper would give a concrete combinatorial description of the period structure and dynamics along veins of the Mandelbrot set, extending Baldwin's tree-forcing result to a complex-dynamical setting. The proposed statements are explicit and falsifiable, and the Markov-graph computations offer a useful framework. However, the manuscript is not self-contained on the load-bearing surgery and vein-homeomorphism tools, and it contains a false corollary that directly contradicts its own main theorems. The paper does not provide machine-checked proofs or reproducible code, so its value depends entirely on the correctness of the analytic and combinatorial arguments.

major comments (4)
  1. [Corollary 1] Corollary 1 is false as stated and contradicts Theorems 1 and 2. For (k,l)=(5,1), m=gcd(5,1)=1, so the claimed set of periods is {n≥24}; but Theorem 2(1) applied to C_V(6) gives Per={m:m≤_5 6}, which contains 1, 5, and 6, and Theorem 1(1) asserts that C_V(n) exists for every n≥6. For (k,l)=(5,3), the corollary predicts that no periods occur below 32, while N(5,3) contains all n≥8. The proof's asserted equality between {n:n≤_k k+l} and {n≥(k/m−1)(k+l), n∈mN} is incorrect; the k-Sharkovsky order is partial and is not captured by this arithmetic progression.
  2. [Proof of Theorem 1(1)] The exclusion of intermediate periods k<n<k+l is not established. The sentence 'C_V(k+l) is a spiral graph so C_V(k+l) ⊁_V C_V(n)' relies on the fact that a spiral graph realizes exactly Per={m:m≤_k k+l}, but the k-Sharkovsky order is partial. For (k,l)=(5,2), n=6 is incomparable with 7 under ≤_5: neither 6=i·7+j·5 nor 7=i·6+j·5 holds with i≥0,j≥1. Hence Per(C_V(7)) neither contains 6 nor rules out the existence of C_V(6), so the proof of the 'exactly' claim in Theorem 1(1) fails at this step. The same invalid inference underlies the false equality in Corollary 1.
  3. [Lemma 1 and Lemma 2] The transfer from the real vein to arbitrary (k,l)-veins is load-bearing, but Lemma 1 assumes that a quasiconformal surgery Φ_{p/k} exists, maps V_R onto the principal vein, and preserves the identification C_{V_R}(2i+1)↦C_V(ik+1); none of these properties is proved. Lemma 2 cites a homeomorphism from Riedl's thesis and then constructs a tree T'_c, claiming it is 'hybrid equivalent' to a quadratic polynomial, but no argument shows that the constructed branched covering is actually conformally conjugate to a polynomial, nor that the image of C_{V_l}(ik+l) is exactly C_{V_{l+1}}(ik+l+1). Since Theorem 2(1) and Theorem 1(3) depend directly on these lemmas, the main dynamical claims are unsupported.
  4. [Proposition 3] The proof assumes that if 1<n1,n2≤_k k+l then both Hubbard trees are k-stars. This is not established for arbitrary n2 in the order. For example, with k=5,l=2, n2=10 satisfies 10≤_5 7 because 7>_5 10 via 10=0·7+2·5, but 10 is not of the form ik+l, and no lemma in the paper gives a k-star or spiral-graph description for C_V(10) on a secondary vein. Consequently the Markov-graph forcing conclusion Per(C_V(n1))⊇{m:m≤_k n2} is applied outside its domain of validity.
minor comments (6)
  1. [Proof of Theorem 1(1)] In the sentence 'C_V(n) cannot exist for k < n < n+l', the upper bound should be k+l, not n+l.
  2. [Proposition 3] The condition 'n2 ≤k n+l' should presumably read 'n2 ≤_k k+l'; as printed, n is undefined.
  3. [Lemma 1 and Lemma 2] There are several typos in Lemma 1, including 'homemorphjsm onto jts jmage', and in Lemma 2 the notation C_{V_{i+1}} should be C_{V_{l+1}}.
  4. [Section 2.2.2] The relation ≤_k is used throughout but only >_k is defined; please define x≤_k y as y>_k x or x=y, and repair the incomplete fragment '∀n, minS_k'.
  5. [Proposition 2] The citation 'by Lau-Schleicher' is not matched by an entry in the reference list; please add the precise reference.
  6. [Corollary 1] The symbol C'_V(n) is used in the final sentence of the corollary but is never defined.

Circularity Check

1 steps flagged · score 4.0 of 10

One circular step in Proposition 3's second case, but the main transfer from real to secondary veins is not circular; it rests on external surgery and Riedl's homeomorphism.

  1. other [Section 3, Proposition 3, proof, second paragraph]
    "Suppose C_V(n1)̸≤_k k+l and C_V(n2)≤_k k+l. Then C_V(nl)≻_V C_V(k+l) and C_V(k+l)⪰_V C_V(n2)."

    Proposition 3 is exactly the claim that n1 >_k n2 with n2 ≤_k k+l implies C_V(n1) ≻_V C_V(n2). In the second case, the proof sets n1 ≰_k k+l and n2 ≤_k k+l, then asserts C_V(n1) ≻_V C_V(k+l) (written C_V(nl)) without derivation. That is the proposition's own conclusion applied to the pair (n1, k+l), and it would require n1 >_k k+l. But in the partial k-Sharkovsky order, ≰_k does not imply >_k: for k=5,l=2, n1=8 is incomparable with k+l=7. Thus the proof assumes the target implication rather than proving it. This is a genuine petitio principii, though it is not used in the formal proof of Theorem 1, which proceeds via Lemma 2 and Markov graphs.

full rationale

The main derivation chain is not circular: the real-axis Sharkovsky ordering (Proposition 1) and the quasiconformal surgery embedding of the real vein into principal veins (Lemma 1) are explicit constructions, and Lemma 2 relies on Riedl's external thesis and a constructive pruning argument rather than on the paper's own conclusion. The references to Riedl, Tiozzo, and Lau-Schleicher are external, not self-citations, so the self-citation patterns do not apply. The central Theorem 1 is supported by Markov graph period-counting after the surgery transfer, and Theorem 2 follows from the same lemmas. However, Proposition 3's second case contains a circular step: it asserts the proposition's own conclusion for the pair (n1, k+l) without proof, relying on an implication (not ≤ implies >) that is false in the partial k-Sharkovsky ordering. This step does not appear to be load-bearing for the final proof of Theorem 1, so the circularity is partial rather than total. The paper also has non-circular gaps, notably the exclusion of intermediate periods in Theorem 1(1) via 'spiral graph' without addressing incomparable periods, and Corollary 1's unsupported 'exactly' claim, but those are correctness issues rather than reductions to the paper's own inputs.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper rests on five domain assumptions from prior literature: Sharkovsky's theorem, Baldwin's star-map ordering, Riedl's vein homeomorphisms, Tiozzo's surgery, and an uncited Lau-Schleicher result. The last three are not proved in the text and are directly load-bearing for the main theorems.

assumptions (6)
  • domain assumption Sharkovsky's theorem for interval maps (Burns-Hasselblatt [3])
    Used in Proposition 1 to show Per(T_{C_V(n)}) = {m | m ≤_2 n} on the real vein.
  • domain assumption Baldwin's k-Sharkovsky ordering and realization theorem for star maps [1]
    The paper assumes the k-Sharkovsky ordering describes periods of continuous maps on k-stars, used throughout Theorems 2 and 3.
  • domain assumption Existence of the quasiconformal surgery Φ_{p/k} mapping the real vein to the principal vein, with the stated sector duplication
    Lemma 1 assumes this surgery and that it maps V_R to V_{p/k,1}; no proof is given, reference [11] (Tiozzo).
  • domain assumption Existence and properties of the homeomorphism Ψ_l between secondary veins from Riedl's thesis
    Lemma 2 uses this homeomorphism without proof; the paper says 'as described by Riedl in his thesis'.
  • domain assumption Lau-Schleicher result on the tree of visible hyperbolic components in the 1/2-wake
    Proposition 2 invokes 'by Lau-Schleicher' without a citation or statement.
  • domain assumption The correspondence between periodic orbits of the Hubbard tree and nested wakes of hyperbolic components along a vein
    Used in Proposition 1 and Proposition 3 to translate Per(C_V(n)) into the vein ordering; asserted but not proved.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sharkovsky's Ordering in the Mandelbrot Set." pith.science (2026). https://pith.science/paper/X2OKWJOV

@misc{pith2026250606163,
  author       = {Pith},
  title        = {Pith review of: Sharkovsky's Ordering in the Mandelbrot Set},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/X2OKWJOV}},
  note         = {Machine review of arXiv:2506.06163}
}
read the original abstract

Sharkovsky's ordering describes orbit forcing of interval maps, and generalizations of Sharkovsky's ordering exist for maps of trees. In this paper I will describe Sharkovsky's ordering and analogous orderings for trees, and their occurrence on the Mandelbrot set.

Figures

Figures reproduced from arXiv: 2506.06163 by the authors.

Figure 1
Figure 1. Principal and Secondary Veins in the 2/5-Limb [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Schematic of a 5-star with a spiral cycle of period 12. 2.2.3. Markov Graphs. Suppose T = (V, E) is a k-star with a fixed central vertex α and f : T → T maps vertices to vertices and maps edges to unions of edges homeomorphically. We can define the Markov graph of f (or equivalently of T) as the directed graph GT = (E, A), where there is an arc Ai,j = (Ei , Ej ) from Ei to Ej if f(Ei) ⊇ Ej . A nonrepetitive loop of … view at source ↗
Figure 3
Figure 3. Schematic diagram of Tc and Tc ′. Top: Tc in solid lines, with dotted lines indicating the edges J1, . . . , Jk. Bottom: T ′ c in solid lines, with dotted lines indicating pruned edges of Tc [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

  1. [1]

    S. L. Baldwin, An extension of ˇSarkovski˘i’s theorem to then-od,Ergodic Theory Dynam. Systems11 (1991), no. 2, 249–271; MR1116640

    work page 1991

  2. [2]

    Branner and A

    B. Branner and A. Douady, Surgery on complex polynomials, inHolomorphic dynamics (Mexico, 1986), 11–72, Lecture Notes in Math.1345, Springer, Berlin, 2006; MR0980952 14 REILA ZHENG

    work page 1986

  3. [3]

    Burns and B

    K. Burns and B. Hasselblatt, Sharkovsky’s theorem, 2007, unpublished, available at https://sites.math.northwestern.edu/ burns/papers/boris1/SharkovskyISubmitted.pdf

    work page 2007

  4. [4]

    Bruin, A

    H. Bruin, A. Kaffl and D. Schleicher, Existence of quadratic Hubbard trees,Fund. Math.202(2009), no. 3, 251–279; MR2476617

    work page 2009

  5. [5]

    Bruin, A

    H. Bruin, A. Kaffl and D. Schleicher,Symbolic Dynamics of Quadratic Polynomials(2011), unpublished, available at https://www.mat.univie.ac.at/ bruin/talks/TreesBook.pdf

    work page 2011

  6. [6]

    A. M. Blokh and O. M. Sharkovsky,Sharkovsky ordering, Springer Briefs in Mathematics, Springer, Cham, 2022; MR4501211

    work page 2022

  7. [7]

    J. W. Milnor, Periodic orbits, externals rays and the Mandelbrot set: an expository account,Ast´ erisque 261(2000), xiii, 277–333; MR1755445

    work page 2000

  8. [8]

    C. L. Petersen and P. Roesch, The Yoccoz combinatorial analytic invariant, inHolomorphic dynamics and renormalization, 145–176, Fields Inst. Commun.53, Amer. Math. Soc., Providence, RI, 2008; MR2477422

    work page 2008

Show all 11 references
  1. [9]

    Riedl, Arcs in multibrot sets, locally connected Julia sets and their construction by quasiconformal surgery

    J. Riedl, Arcs in multibrot sets, locally connected Julia sets and their construction by quasiconformal surgery. PhD Thesis, Technische Universit¨ at M¨ unchen, 2001, 123 pp, https://www.math.stonybrook.edu/theses/thesis01-3/part1.pdf

    2001

  2. [10]

    Schleicher, Internal addresses of the Mandelbrot set and Galois groups of polynomials,Arnold Math

    D. Schleicher, Internal addresses of the Mandelbrot set and Galois groups of polynomials,Arnold Math. J.3(2017), no. 1, 1–35; MR3646529

    2017

  3. [11]

    Tiozzo, Entropy, dimension and combinatorial moduli for one-dimensional dy- namical systems

    G. Tiozzo, Entropy, dimension and combinatorial moduli for one-dimensional dy- namical systems. PhD Thesis, Harvard University, 2013, 103 pp, available at https://www.math.utoronto.ca/tiozzo/docs/Thesis Tiozzo web.pdf

    2013

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.