{"id":"1783d347-0f27-48b5-a922-9a61f5fae0a6","arxiv_id":"2506.06163","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proposes that hyperbolic components along (k,l)-veins of the Mandelbrot set are ordered by the k-Sharkovsky ordering, with periods given by N(k,l) = {n ≥ k+l} ∪ {k,1}.","lead":"This paper claims that the order of hyperbolic components along veins of the Mandelbrot set is described by Sharkovsky-type orderings on the natural numbers. It extends the known real-axis ordering to complex limbs using quasiconformal surgery and tree dynamics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1(1) proof excludes intermediate periods by claiming a spiral graph with period k+l forces all smaller periods; but the k-Sharkovsky order is partial—e.g. for (k,l)=(5,2), period 6 is incomparable with k+l=7, so the exactness of N(k,l) is unsupported.","rationale":"The paper's central claim is that along a (k,l)-vein the hyperbolic components have periods exactly N(k,l) and are ordered by the k-Sharkovsky order. The most load-bearing step is the exclusion of periods strictly between k and k+l in Theorem 1(1). The proof attempts to use the fact that C_V(k+l) is a spiral graph whose period set is the k-Sharkovsky tail {m : m ≤_k k+l}, but the k-Sharkovsky ordering is partial, and periods in (k,k+l) need not be comparable with k+l. Concretely, for (k,l)=(5,2), period 6 is incomparable with k+l=7 in both directions, so the spiral-graph period set neither contains 6 nor excludes it. To prove that C_V(6) does not exist on the vein, one must use the actual vein geometry—which secondary vein passes through which visible component of C_V(k)—and the paper does not provide that argument. This is not a minor gap: the 'exactly' in Theorem 1(1) and the ordering results in parts (2) and (3) depend on it. The same confusion is visible in Corollary 1, where the set {m : m ≤_k k+l} is claimed equal to {n : n ≥ (k/m−1)(k+l), n∈mN}; for k=5,l=1 this predicts no periods below 24, contradicting the theorem's own N(5,1) = {1,5} ∪ {n≥6}. Thus the central claim is unsupported by the proof as written. The reader's verdict of REJECT remains appropriate; my concern is more specific than the reader's broad complaint about unproved k-star structure, though it reinforces it.","tokens_in":12036,"tokens_out":10252,"duration_ms":98998,"concrete_test":"Compute, from the definition in §2.2.2, the set {m : m ≤_5 7} and list all n with 5 < n < 7; verify that n=6 is incomparable with 7 under ≤_5. Then re-run the exclusion argument in Theorem 1(1) without the invalid inference: either prove from vein combinatorics (e.g., external ray angles of c_l) that C_V(6) is not on the (5,2)-vein, or the exactness claim fails. Independently, recompute the period set formula in Corollary 1 for (k,l)=(5,1): the claimed set {n ≥ (5−1)·6, n∈N} = {n≥24} contradicts the theorem's assertion that C_V(6) exists, so the period-set computation is demonstrably wrong.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 1(1), the paper rules out C_V(n) for k < n < k+l by asserting: 'C_V(k+l) is a narrow component so C_V(n) ⊁_V C_V(k+l), and C_V(k+l) is a spiral graph so C_V(k+l) ⊁_V C_V(n).' The second half is only valid if every such n lies in Per(C_V(k+l)) = {m : m ≤_k k+l}. But the k-Sharkovsky ordering is partial: for (k,l)=(5,2), n=6 and k+l=7 are incomparable. By the definition in §2.2.2, 7 >_5 6 would require 6 = i·7 + j·5 with i≥0, j≥1, and 6 >_5 7 would require 7 = i·6 + j·5; neither holds. Hence Per(C_V(7)) neither contains 6 nor rules it out, and the spiral-graph fact says nothing about whether C_V(6) can occur on the vein. The exclusion of intermediate periods is essential to the 'exactly' in Theorem 1(1), and this proof step does not establish it. The same invalid inference appears in Corollary 1, where the set {m : m ≤_k k+l} is claimed equal to {n : n ≥ (k/m−1)(k+l), n∈mN}; for k=5,l=1 this predicts no periods below 24, contradicting the theorem's own N(5,1) = {1,5} ∪ {n≥6}.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":12431,"tokens_out":14763,"duration_ms":133517,"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":[{"comment":"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.","section":"Corollary 1"},{"comment":"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.","section":"Proof of Theorem 1(1)"},{"comment":"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.","section":"Lemma 1 and Lemma 2"},{"comment":"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.","section":"Proposition 3"}],"minor_comments":[{"comment":"In the sentence 'C_V(n) cannot exist for k < n < n+l', the upper bound should be k+l, not n+l.","section":"Proof of Theorem 1(1)"},{"comment":"The condition 'n2 ≤k n+l' should presumably read 'n2 ≤_k k+l'; as printed, n is undefined.","section":"Proposition 3"},{"comment":"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}}.","section":"Lemma 1 and Lemma 2"},{"comment":"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'.","section":"Section 2.2.2"},{"comment":"The citation 'by Lau-Schleicher' is not matched by an entry in the reference list; please add the precise reference.","section":"Proposition 2"},{"comment":"The symbol C'_V(n) is used in the final sentence of the corollary but is never defined.","section":"Corollary 1"}],"recommendation":"reject","confidential_remarks":"The false Corollary 1 is an internal inconsistency that should have been caught by comparing it with Theorem 1(1) and Theorem 2(1). The paper also relies on two doctoral theses for its most important geometric transfers without stating the relevant results as precise hypotheses; as a result, the central claims are not verifiable from the manuscript alone. I recommend rejection, though the underlying conjecture may be worth pursuing if the author can supply full proofs of the surgery and vein-homeomorphism steps and correct the corollary."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the bottom line: the paper has a genuinely new idea — using Baldwin's k-Sharkovsky ordering to describe the order of hyperbolic components along principal and secondary veins — but in its current form it is not correct. The most concrete problem is Corollary 1, which asserts that the set of periods along a (k,l)-vein is {n ≥ (k/m−1)(k+l), n ∈ mN} with m = gcd(k,l). For l=1 this gives n ≥ k^2−1, while Theorem 1 claims N(k,1) = {1,k} ∪ {n ≥ k+1}. These contradict each other for every k≥3, so the paper's own results are inconsistent.\n\nThe central gap is in the proof of Theorem 1(1), where the author excludes intermediate periods k < n < k+l. The argument is that C_V(k+l) is narrow (so C_V(n) cannot be closer to the main cardioid) and a spiral graph (so C_V(k+l) cannot be closer to C_V(n)). The second half relies on the spiral graph's period set being {m : m ≤_k k+l}. But the k-Sharkovsky order is partial: for (k,l)=(5,2), 6 and 7 are incomparable, so the spiral graph fact says nothing about whether C_V(6) exists. That breaks the 'exactly' in Theorem 1(1).\n\nOther load-bearing steps are imported from theses without proof. Lemma 2's construction of a new tree is asserted to be hybrid equivalent to a quadratic polynomial, but that realization is the hard part and is not established. Proposition 3's second case essentially assumes the ordering it is proving.\n\nWhat the paper does well: it gives a clear introduction to (k,l)-veins and the surgery construction, and the idea of using Markov graphs to count periods on veins is the right kind of tool. The statements of Theorems 2 and 3 are plausible and would be nice if proved.\n\nMy recommendation: don't referee this version for publication. If the author fixes the contradictions and supplies the missing realization argument, it could become a decent paper for a specialized journal. I'd want to see a revision before spending referee time.","headline":"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.","tokens_in":12915,"tokens_out":3751,"would_cite":false,"duration_ms":30955,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37F10","37E15","37F20","37E25"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Sharkovsky ordering","k-Sharkovsky ordering","Mandelbrot set","orbit forcing","Hubbard trees","spiral graphs","veins","hyperbolic components"],"falsifier":"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.","tokens_in":11857,"feed_emoji":"🌀","tokens_out":13358,"duration_ms":116032,"temperature":0.7,"pith_summary":"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.","feed_headline":"Periods on Mandelbrot veins obey k-Sharkovsky order","feed_subtitle":"On every (k,l)-vein the visible periods are exactly 1, k, and all n ≥ k+l, arranged in k-Sharkovsky order.","key_machinery":"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.","core_discovery":"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$.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"The extension of Sharkovsky's theorem to n-ods supplies the $k$-Sharkovsky ordering and the star-map period-forcing facts that the paper generalizes.","marker":"[1]"},{"why":"This version of Sharkovsky's theorem identifies Stefan cycles on the real vein used in Proposition 1(4).","marker":"[3]"},{"why":"The existence theorem for quadratic Hubbard trees underpins the description of the dynamics by Hubbard trees and spiral graphs.","marker":"[4]"},{"why":"Defines the combinatorial rotation number $p/k$ that determines the limb containing every $(k,l)$-vein.","marker":"[8]"},{"why":"Provides the quasiconformal surgery from the real vein and the homeomorphism between secondary veins used in Lemmas 1 and 2.","marker":"[9]"},{"why":"Supplies the principal Misiurewicz point with minimal preperiod used as the tip of a principal vein.","marker":"[11]"}],"fun_headline_variants":["Mandelbrot veins follow k-Sharkovsky period order","Sharkovsky order governs Mandelbrot vein periods","k-Sharkovsky rule for Mandelbrot vein periods","Mandelbrot vein periods sorted by k-Sharkovsky"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Mandelbrot veins follow k-Sharkovsky period order","Sharkovsky order governs Mandelbrot vein periods","k-Sharkovsky rule for Mandelbrot vein periods","Mandelbrot vein periods sorted by k-Sharkovsky"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000213,"raw_usage":{"total_tokens":1371,"prompt_tokens":843,"completion_tokens":528,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":459,"completion_tokens_details":{"reasoning_tokens":458}},"tokens_in":459,"tokens_out":528,"duration_ms":5461,"temperature":1.0,"reasoning_tokens":458,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T06:00:33.645598+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The extension of Sharkovsky's theorem to n-ods supplies the $k$-Sharkovsky ordering and the star-map period-forcing facts that the paper generalizes."},{"cited_title":"Burns and B","cited_arxiv_id":null,"evidence_quote":"This version of Sharkovsky's theorem identifies Stefan cycles on the real vein used in Proposition 1(4)."},{"cited_title":"Bruin, A","cited_arxiv_id":null,"evidence_quote":"The existence theorem for quadratic Hubbard trees underpins the description of the dynamics by Hubbard trees and spiral graphs."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the combinatorial rotation number $p/k$ that determines the limb containing every $(k,l)$-vein."},{"cited_title":"Riedl, Arcs in multibrot sets, locally connected Julia sets and their construction by quasiconformal surgery","cited_arxiv_id":null,"evidence_quote":"Provides the quasiconformal surgery from the real vein and the homeomorphism between secondary veins used in Lemmas 1 and 2."},{"cited_title":"Tiozzo, Entropy, dimension and combinatorial moduli for one-dimensional dy- namical systems","cited_arxiv_id":null,"evidence_quote":"Supplies the principal Misiurewicz point with minimal preperiod used as the tip of a principal vein."}],"review_version":1}