{"id":"f7944a95-48b9-4b45-aeb4-2adf51a74640","arxiv_id":"2507.04215","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Non-trivial regular and mixing CTP polynomials all satisfy McMullen's condition, and a new family of mixing CTP maps is constructed.","lead":"This paper studies rational maps whose Thurston pullback mapping is constant, called CTP maps, and proves that every non-trivial regular or mixing CTP polynomial must factor through a Belyi map, which is McMullen's condition. It also constructs a new family of CTP maps that fall outside the previously known examples.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5.5's final step asserts, without proof, that CTP gives a conformal map moving E into a nearby P-fiber, and the conclusion A\\E⊂{c,∞} rests entirely on this assertion.","rationale":"The reader's weakest-assumption analysis identified exactly the step I also find least secure: the unproved existence of a conformal map λ in Lemma 5.5. This step is the unique bridge from the CTP/non-essential-preimage machinery to the final McMullen factorization, and it is used for all regular and mixing cases with #E≥3 after the stabilizer reduction. Since the paper provides no argument connecting the CTP property to this specific Möbius-map existence, the proof of Theorem 2.1 is incomplete as written. I do not think this is a fatal counterexample; the assertion may well be true and provable, and the paper contains substantial independent evidence, including the explicit examples of Sections 4.1–4.2 and the non-CM polynomial case in z^4, which behaves consistently with the claimed theorem. The conditional verdict is appropriate: the manuscript should be accepted only if this gap is filled. I therefore recommend keeping the reader's CONDITIONAL verdict, i.e., no change to the verdict, while strengthening the requested revision to include a full derivation of the conformal-map existence in Lemma 5.5.","tokens_in":17290,"tokens_out":26426,"duration_ms":312862,"concrete_test":"Test the asserted existence in a concrete CTP polynomial. Let f(z)=z^4, b=1, E={±1,±i}, A=E∪{∞}; this is a non-trivial mixing CTP polynomial with P(z)=z^4, and the asserted λ exists explicitly as z↦Rz for w'=R^4 with R>1. Now repeat the same check with A=E∪{p} for a finite p∉{0,∞}: first decide CTP of (z^4,A) by checking Theorem A on a complete finite list of essential curves in C\\{0,1,∞,p^4}; if any configuration is CTP but no Möbius λ exists with λ(p)=p and λ(E)⊂P^{-1}(w') for the required w', then Lemma 5.5 is false. Independently, re-derive the claimed λ from Theorem A along the curve γ from b to g(w') in U and verify that the resulting map is conformal; if the derivation requires an additional rigidity statement not present in Lemma 3.5 or Corollary 3.6, the lemma needs a new proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 5.3, Lemma 5.5 has reduced to f = g∘P with P(z) = (z−c)^d and E a full P-fiber, and then needs to show #(P(A)∪VP)=3. The proof states: \"Since (f,A) is a CTP map, there exists a conformal map λ of C such that λ(A\\E)=A\\E and λ(E)⊂P^{-1}(w').\" This is not a consequence of the CTP property as defined and used elsewhere. CTP is used through Theorem A, a condition on non-essential preimages of Jordan curves, and through Lemma 3.5, which produces only a homeomorphism from an isotopy rel Vf, not a Möbius transformation. Corollary 3.6 likewise gives equivalence of marked maps, not conformal equivalence of the marked sets. The assertion is load-bearing because the next sentence—\"the round circle containing E maps to the round circle containing P^{-1}(w') by λ\"—and the final deduction A\\E⊂{c,∞} depend on the existence of this conformal λ. Without a proof of that existence, the McMullen condition is not established for every case with #E≥3, which is the core of Theorem 2.1. The gap is not merely cosmetic: if the only maps guaranteed by Lemma 3.5 are non-conformal homeomorphisms, the argument does not go through.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies marked rational maps with constant Thurston pullback (CTP). The main result, Theorem 2.1, states that every non-trivial regular or mixing CTP polynomial satisfies McMullen's condition, i.e. f = g ∘ s for a Belyi map s and a rational map g with #(s(A) ∪ V_s) = 3. The proof separates into a Belyi case with #V_f = 3 (Section 5) and a general case reduced by a pinching construction (Section 6). The paper also constructs a new CTP example (R,A) and proves that it is CTP but satisfies neither McMullen's nor Saenz's condition, with an elementary verification in Appendix A.","tokens_in":17581,"tokens_out":11796,"duration_ms":130397,"significance":"If the main theorem is correct, it provides a concrete algebraic characterization of non-trivial CTP polynomials: outside the regular Saenz-type family, such maps factor through a Belyi map with three post-critical values. The tree and monodromy machinery in Section 5 is a useful new tool, and the paper gives an explicit, checkable family of CTP examples with a complete description of the monodromy orbits. However, the proof as written contains a load-bearing assertion about the existence of a conformal map in Lemma 5.5 that is not established; the same type of assertion recurs in Section 4.3. These gaps prevent the main theorem and the example classifications from being fully justified in the present form.","major_comments":[{"comment":"In the case #E ≥ 3, the proof asserts: 'Since (f,A) is a CTP map, there exists a conformal map λ of C such that λ(A\\E) = A\\E and λ(E) ⊂ P^{-1}(w′).' This is not a consequence of the CTP property as defined in Section 2 or as used through Theorem A and Lemma 3.5. The CTP hypothesis gives lifts φ1 that are isotopic to the identity rel A, and Lemma 3.5/Corollary 3.6 give only homeomorphisms or equivalences of marked maps; no conformal automorphism with a prescribed image of E is produced. The following sentence, 'the round circle containing E maps to the round circle containing P^{-1}(w′) by λ', and the final deduction A\\E ⊂ {c,∞} depend entirely on this λ. A proof of the existence of such a conformal map, or a different argument that #(P(A) ∪ V_P) = 3, is required for Theorem 2.1.","section":"§5.3, Lemma 5.5"},{"comment":"The same unsupported inference appears in the proof of Lemma 4.5(3): 'Since (S,A) is a CTP map, there is a conformal map λ of C such that λ(a) = a, λ(a1) = a1, λ(a2) = a3 and λ(a3) = a2.' Neither the definition of CTP nor the topological characterization in Theorem A provides such a conformal automorphism with prescribed values on a marked quadruple. Lemma 4.6(b) repeats this argument for the example (R,A). Since these lemmas are used to conclude that the examples do not satisfy McMullen's or Saenz's conditions, the example classification is not yet established without an additional proof or reference.","section":"§4.3, Lemma 4.5(3) and Lemma 4.6(b)"}],"minor_comments":[{"comment":"There are several typographical errors: 'Uniformalization' should be 'Uniformization', 'Corollay' should be 'Corollary', 'Stablizer' should be 'Stabilizer', 'definations' should be 'definitions', and 'for any other else point' should be 'for any other point'.","section":"Throughout"},{"comment":"The sentence 'Since deg_c S = 3 for c = 0,1,∞, S does not satisfy McMullen's condition' is too terse; a reader needs at least one explanatory sentence, or a reference, for why local degree 3 at all critical values rules out the factorization f = g ∘ s with #(s(A) ∪ V_s) = 3.","section":"§4.1, Theorem 4.1"},{"comment":"The verification in the proof depends on the labeling a1,...,a12 shown in Figure 3, but the text does not define these points explicitly; the elementary proof in Appendix A gives formulas for a1,a2,a3, but the remaining labels are only implicit in the figure. Adding the definitions would improve reproducibility.","section":"§4.2, Theorem 4.3"},{"comment":"The notation T(a1,...,an) = T[a1,...,an] \\ {endpoints} is introduced, but the phrase 'endpoints of T[a1,...,an]' should be clarified as the vertices of degree one in that subtree; the current wording may be ambiguous when a1,...,an are themselves endpoints.","section":"§5.1"},{"comment":"In the pinching construction, the assertion that the Uniformization Theorem yields a homeomorphism φ such that g = eg ∘ φ^{-1} is a polynomial needs a brief justification, since not every branched covering of the sphere is topologically equivalent to a rational map; the fact that eg has a unique pole at ∞ is the relevant point and should be stated.","section":"§6.1"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read the paper with the stress-test note in hand, and the note lands. The main theorem is a real step: if correct, it closes the classification question for regular and mixing CTP polynomials, and the new example family in §4.2 looks genuinely new. The proof strategy is sensible—reduce to Belyi case via pinching, then use monodromy/stabilizer analysis. I believe the authors know their material. The citation pattern is fine, and I see no parameter fitting or circularity.\n\nThe soft spot is Lemma 5.5. After reducing to f = g ∘ P, the proof says \"Since (f,A) is a CTP map, there exists a conformal map λ of C such that λ(A\\E)=A\\E and λ(E) ⊂ P^{-1}(w').\" I cannot see where this comes from. Theorem A gives a purely topological condition, and Lemma 3.5 yields only an isotopy, not a Möbius transformation. The conclusion A\\E ⊂ {c,∞} rests entirely on this λ. As written, the proof of the #E≥3 case is incomplete. This is not cosmetic; it is the heart of Theorem 2.1.\n\nThere are smaller gaps. Lemma 3.7 asserts that a certain cross-ratio is constant \"by considering the asymptotic behavior\" as a critical value approaches another; the constancy itself is not derived. Theorem 4.3's monodromy check is summarized as \"it is easy to check\" and the appendix helps, but full verification of the eight sets and the intersection counts is still laborious. Those are presentation issues, not conceptual ones.\n\nNone of this suggests the theorem is false. The architecture is plausible and the examples pass explicit checks. But the missing Lemma 5.5 argument is load-bearing, and a referee should demand it before the paper can be accepted.\n\nWho is this for? Specialists in Thurston's pullback map and rational maps without completely stable multicurves. The result matters to them, and the new examples expand the known zoo. I would bring it to a reading group only if the group is already working in this area. My own work is elsewhere, so I probably would not cite it in the next year.\n\nFor peer review: yes, send it out. The claim is important enough and the method serious enough to warrant referee time. But my verdict would be major revision, conditional on a real proof of the conformal-map existence in Lemma 5.5.","headline":"A significant classification result with a genuine missing step in Lemma 5.5; worth reviewing, but not ready as is.","tokens_in":18135,"tokens_out":3571,"would_cite":false,"duration_ms":38158,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37F20","37F34","30C10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every non-trivial regular or mixing CTP polynomial factors as a Belyi map composed with a rational map.","keywords":["constant Thurston pullback mapping","CTP maps","McMullen's condition","Belyi maps","marked rational maps","monodromy group","branched trees","polynomial dynamics"],"falsifier":"A concrete test is to search for a non-trivial regular or mixing CTP polynomial with $\\# V_f = 3$ for which $\\operatorname{Stab}(a) = \\operatorname{Stab}_*(E)$ holds but the conformal automorphism $\\lambda$ demanded in Lemma 5.5 does not exist for some generic $w'$ with $|w'| > |P(E)|$. If such a polynomial also fails McMullen's condition, the theorem is false; if it satisfies McMullen's condition, the proof of Lemma 5.5 is invalid and needs repair. A computational version is to check, for an explicit CTP polynomial satisfying the hypotheses, whether the regular set $E$ lies on a round circle centered at the rotation center $c$ and whether every such $w'$ is reached by a conformal automorphism preserving $A\\setminus E$.","tokens_in":17077,"feed_emoji":"🌀","tokens_out":15716,"duration_ms":159334,"temperature":0.7,"pith_summary":"CTP maps are marked rational maps whose Thurston pullback mapping is constant. This paper proves that every non-trivial polynomial CTP map whose marked set is regular or mixing—that is, whose regular set $E = A \\setminus f^{-1}(V_f)$ is either all of $A$ or non-empty but not all of $A$—satisfies McMullen's condition: it can be written as $g \\circ s$ with $s$ a Belyi map and $\\#(s(A) \\cup V_s) = 3$. The proof reduces the statement to an equality between the monodromy stabilizer of a regular marked point and the common stabilizer of the whole regular set, then converts that equality into a rotational power symmetry that produces the Belyi factor. The paper also constructs a new mixing CTP map and shows it satisfies neither McMullen's nor Saenz's condition.","feed_headline":"Constant pullback forces polynomials into Belyi form","feed_subtitle":"Regular and mixing marked cases are shown to factor through a Belyi map with a three-point critical set.","key_machinery":"The object that carries the argument is the monodromy group $\\operatorname{Mon}(f,b)$ acting on the fiber $f^{-1}(b)$ over $b = f(E)$, together with the stabilizers $\\operatorname{Stab}(a)$ for $a \\in E$ and their common intersection $\\operatorname{Stab}_*(E)$. The load-bearing identity is $\\operatorname{Stab}(a) = \\operatorname{Stab}_*(E)$ for every $a \\in E$. For CTP Belyi polynomials ($\\#V_f = 3$) it is proved from the branched tree $T = f^{-1}(I)$, where $I$ joins the two finite critical values: Lemma 5.3 locates a unique vertex $c_0$ through which all marked edges pass, and Lemma 5.4 converts that geometry into the stabilizer equality. For $\\#V_f \\geq 4$, the proof performs a pinching operation on a Jordan domain $D$ — replacing $f$ on each preimage component of $D$ by a branched covering with no critical points outside $A$ — to obtain a CTP Belyi polynomial, shows the induced monodromy homomorphism is injective, and pulls the equality back. With the equality in hand, lifts $\\lambda_{i,j}$ of $f$ moving one regular point to another are conformal automorphisms; they generate a finite cyclic group, giving a rotation and the power factorization $f = g \\circ P$.","core_discovery":"The central claim is Theorem 2.1: if $(f,A)$ is a non-trivial polynomial CTP map with regular or mixing marked set, then $f$ satisfies McMullen's condition, i.e. there exist a Belyi map $s$ and a rational map $g$ with $f = g \\circ s$ and $\\#(s(A) \\cup V_s) = 3$. In concrete terms, the marked polynomial is forced to be a post-composition of a Belyi map: all the rigidity of the constant pullback collapses to a three-point critical-value configuration. The proof shows first that the regular set maps to one point $b$, then that the stabilizer of each point of $E$ in the monodromy group equals the common stabilizer $\\operatorname{Stab}_*(E)$, and finally that this equality yields a cyclic group of conformal symmetries giving a power map $P(z)=(z-c)^d$ with $f = g \\circ P$.","pith_inferences":["Editorial inference: because the proof ultimately runs on the monodromy action and a branched tree, the same stabilizer equality could be checked algorithmically for any explicitly given polynomial CTP map; whether rational CTP maps admit the distinguished vertex of Lemma 5.3 is the natural next question.","Editorial inference: the paper leaves the branched case $E = \\emptyset$ open, and the new mixing example suggests that the obstruction to McMullen's condition lives in the quotient of a monodromy stabilizer by $\\operatorname{Stab}_*(E)$; checking that quotient for other examples may either extend or clamp the classification.","Editorial inference: the orbit $\\{\\tau(E) : \\tau \\in \\operatorname{Mon}(R,b)\\}$ computed in Section 4.3 has exactly the eight sets listed there, so that list can be used as a test pattern: any CTP candidate whose orbit shape differs would be a new non-McMullen example."],"forward_implications":["Every non-trivial regular or mixing CTP polynomial has a factorization $f = g \\circ s$ in which $s$ is a Belyi map and the set $s(A) \\cup V_s$ has exactly three points.","For such maps the regular set $E$ is mapped by $f$ to a single point, and the complement $A \\setminus E$ has at most two points (Lemma 3.4).","Composing a CTP map with any rational map on the left produces another CTP map (Lemma 4.2), so the new examples generate infinite families.","The new mixing CTP map $R(z) = -((z^2-1)(z^2+3)/(4z^2))^3$ with $A = E \\cup \\{\\infty\\}$ is a CTP map that satisfies neither McMullen's nor Saenz's condition.","The stabilizer tests distinguish the classes: McMullen's condition forces $\\operatorname{Stab}(a) = \\operatorname{Stab}_*(E)$, while Saenz-type examples have elements of $\\operatorname{Stab}(a)$ that move other regular points."],"supporting_citations":[{"why":"Supplies Theorem A, the topological characterization of CTP maps that the proof invokes repeatedly, and introduces the McMullen example that defines McMullen's condition.","marker":"[3]"},{"why":"Introduces the pullback mapping on Teichmüller space whose constancy defines CTP maps.","marker":"[8]"},{"why":"Provides the benchmark regular CTP map used in Section 4.1 to define Saenz's condition and to show that a CTP map need not satisfy McMullen's condition.","marker":"[12]"}],"fun_headline_variants":["Constant pullback implies Belyi factorization for regular CTP","McMullen's condition forced by constant Thurston pullback","Belyi maps appear from constant pullback rigidity","Regular CTP polynomials satisfy McMullen's condition"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the existence assertion in Lemma 5.5: for a non-trivial CTP polynomial satisfying the stabilizer equality, the CTP property itself is claimed to produce, for every sufficiently large $|w'|$, a conformal automorphism $\\lambda$ of the sphere with $\\lambda(A\\setminus E) = A\\setminus E$ and $\\lambda(E) \\subset P^{-1}(w')$; if that assertion fails, the rotation symmetry forcing $A\\setminus E \\subset \\{c,\\infty\\}$ does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Constant pullback implies Belyi factorization for regular CTP","McMullen's condition forced by constant Thurston pullback","Belyi maps appear from constant pullback rigidity","Regular CTP polynomials satisfy McMullen's condition"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000372,"raw_usage":{"total_tokens":1903,"prompt_tokens":771,"completion_tokens":1132,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":387,"completion_tokens_details":{"reasoning_tokens":1065}},"tokens_in":387,"tokens_out":1132,"duration_ms":10555,"temperature":1.0,"reasoning_tokens":1065,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T19:53:06.723865+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test is to search for a non-trivial regular or mixing CTP polynomial with $\\# V_f = 3$ for which $\\operatorname{Stab}(a) = \\operatorname{Stab}_*(E)$ holds but the conformal automorphism $\\lambda$ demanded in Lemma 5.5 does not exist for some generic $w'$ with $|w'| > |P(E)|$. If such a polynomial also fails McMullen's condition, the theorem is false; if it satisfies McMullen's condition, the proof of Lemma 5.5 is invalid and needs repair. A computational version is to check, for an explicit CTP polynomial satisfying the hypotheses, whether the regular set $E$ lies on a round circle centered at the rotation center $c$ and whether every such $w'$ is reached by a conformal automorphism preserving $A\\setminus E$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Theorem A, the topological characterization of CTP maps that the proof invokes repeatedly, and introduces the McMullen example that defines McMullen's condition."},{"cited_title":"Douady and J","cited_arxiv_id":null,"evidence_quote":"Introduces the pullback mapping on Teichmüller space whose constancy defines CTP maps."},{"cited_title":"Saenz, On Nearly Euclidean Thurston Maps, PhD thesis, Virginia Polytechnic Institute and State University, 2012","cited_arxiv_id":null,"evidence_quote":"Provides the benchmark regular CTP map used in Section 4.1 to define Saenz's condition and to show that a CTP map need not satisfy McMullen's condition."}],"review_version":1}