{"id":"aacc7264-418b-40ce-b627-bbcc897a01e7","arxiv_id":"2411.16178","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The small Julia set of a polynomial endomorphism, the strong bifurcation locus of cubic polynomials, and the Julia set of a Hénon map are pairwise distinct in C^2.","lead":"Two mathematicians proved that three famous fractal shapes generated by different polynomial dynamical systems in two-dimensional complex space can never be the same. The proof settles a higher-dimensional rigidity problem and yields new finiteness results for shared periodic points.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.8's invariance claim is unsupported: G_bif is max(3G1,G2), so the dominance sets are {3G1>G2>0} vs {G2>3G1>0}, and max-invariance alone does not force h^*T_i=DT_i. This is the key step in proving J_h≠S_bif.","rationale":"The reader's verdict is CONDITIONAL, and the reader already listed the scaling mismatch in Lemma 3.8 among the defects. I agree that the paper should not be accepted as is, but I regard this mismatch as more load-bearing than the reader's chosen weakest assumption, Proposition 3.7. Proposition 3.7 is a published external result from [FG22]; even if it is deep, the immediate logical chain in the paper is not blocked by it. The Lemma 3.8 issue, by contrast, is internal: as written, the proof claims invariance of a set that is not the true switching locus of the maximum, and the inference from a max-equality to individual equivariance of the summands is invalid. Since Lemma 3.8 supplies the inclusions h({G_i=0})⊂{G_i=0} that drive the contradiction in Section 3.3, this gap directly threatens the hardest part of Theorem 1.1. The concern is not that the theorem is false; the intended strategy is plausible and may be repairable by defining the correct dominance regions and proving their invariance with additional arguments. For that reason the verdict remains conditional rather than a rejection, and no change to the reader's overall verdict is needed. The proposed concrete test isolates precisely the missing step: establish h-invariance of {3G1=G2>0} or exhibit why the general counterexample is excluded in the cubic parameter space.","tokens_in":18626,"tokens_out":19871,"duration_ms":187888,"concrete_test":"Check whether the dominance regions V1={3G1>G2>0} and V2={G2>3G1>0} are invariant under h up to h^2, using only G_bif∘h=DG_bif and the definitions of G1,G2. A direct computation shows that this identity determines only max(3G1∘h, G2∘h), not the sign of 3G1∘h−G2∘h, so an additional argument is needed. The general principle is false: with u=max(x,0), v=max(−x,0), and h(x)=−Dx, one has max(u,v)∘h=D max(u,v) while h swaps the dominance regions. Determine whether the special structure of the cubic Green functions rules out this behavior; if not, the proof of Lemma 3.8 must be revised before Theorem 2.3(1) can be accepted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of (1) in Theorem 2.3 (J_h≠S_bif) rests on Lemma 3.8, which claims that from μ_h=μ_bif one obtains h^*T_i=DT_i, hence h({G_i=0})⊂{G_i=0}. The proof selects U1={G1>G2>0} and U2={G2>G1>0}, asserts they are connected and that {G1=G2>0} is totally invariant by h, then applies Lemma 2.2 to G1. This is not justified. The cubic bifurcation potential is G_bif=max(3G1,G2), so the interface where the maximum switches is {3G1=G2}, not {G1=G2}. Even if one redefines U1 and U2 as the actual dominance regions {3G1>G2>0} and {G2>3G1>0}, the paper does not prove these are h-invariant. The identity G_bif∘h=DG_bif constrains only the maximum of 3G1 and G2; it is compatible with h sending a point with 3G1>G2 to a point with G2>3G1. In that case G1(hz)=DG1(z) does not follow, so Lemma 2.2 cannot be applied. Consequently h^*T_i=DT_i and h({G_i=0})⊂{G_i=0} are unproven. These inclusions are then used to show that h sends persistently preperiodic curves to persistently preperiodic curves and to derive the measure identity μ_{P,a}=α_nφ_n^*μ_{Q,b} that produces the contradiction with Proposition 3.7. Without Lemma 3.8, the contradiction in Section 3.3 is not reached. This is an internal gap in the central argument, independent of the external Proposition 3.7.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a higher-dimensional rigidity theorem for three canonical fractals: the small Julia set J_h of a regular polynomial endomorphism h of P^2(C), the strong bifurcation locus S_bif of cubic polynomials, and the Julia set J_f of a generalized Hénon map f. The main claim (Theorem 1.1) is that these three sets are pairwise distinct, which is reduced to proving that the associated Green functions G_h, G_bif, and G_f are pairwise different (Theorem 2.3). The proofs use pluripotential theory, local rigidity results for Julia sets, and deep quantitative results on intertwined polynomials. The paper also proves that the bifurcation locus of a special one-parameter family of polynomials is not the Julia set of a polynomial (Theorem 1.2) and derives finiteness results for intersections of preperiodic points (Corollaries 1.3 and 1.4).","tokens_in":18920,"tokens_out":17216,"duration_ms":138705,"significance":"If correct, the main theorem would be a striking contribution to the rigidity of Julia sets and bifurcation loci in higher-dimensional holomorphic dynamics, extending the one-dimensional results of Ghioca–Krieger–Nguyen and Luo. The paper carefully sets up a pluripotential framework and imports state-of-the-art rigidity results as black boxes, which is appropriate for this type of work. The corollaries on finiteness of common preperiodic points are also of independent interest. However, as written, several load-bearing arguments contain incorrect assertions about dominance regions and pulled-back currents; these gaps must be repaired before the central claims can be considered established.","major_comments":[{"comment":"The proof of Lemma 3.8 is not valid. For the cubic family considered here, the bifurcation potential is G_bif = max(3G1, G2), so the two dominance regions are {3G1 > G2 > 0} and {G2 > 3G1 > 0}, not {G1 > G2 > 0} and {G2 > G1 > 0} as written. Moreover, the identity G_bif ∘ h = D G_bif constrains only the maximum of 3G1 and G2; it does not imply that h preserves either dominance region, nor that h^*T_i = D T_i. Consequently the conclusion h({G_i=0}) ⊂ {G_i=0} is unproved, and the subsequent argument showing that h maps persistently preperiodic curves to persistently preperiodic curves (and the contradiction with Proposition 3.7) collapses.","section":"Section 3.3, Lemma 3.8"},{"comment":"The proof of Theorem 4.1 assumes h({G+_f=0}) = {G+_f=0} and then claims that h^*T+_f is supported on {G+_f=0}. This does not follow: the support of h^*T+_f is h^{-1}(J+_f), and the equality h(K+_f)=K+_f does not imply h^{-1}(J+_f) ⊂ J+_f. In addition, the cited uniqueness theorem of Fornæss–Sibony is normally stated for currents supported on the Julia set J+_f, not on the filled Julia set {G+_f=0}. As a result, the contradiction is not obtained, and Proposition 4.2, which depends on Theorem 4.1, is unproved.","section":"Section 4.1, Theorem 4.1"},{"comment":"The identification U+ = {G1 > G2 > 0} is incorrect. From G_f = G_bif = max(3G1, G2), the region where G+_f dominates corresponds to {3G1 > G2 > 0}, not {G1 > G2 > 0}. The subsequent analytic-continuation step, which is essential to conclude G+_f = 3G1 on C^2, is therefore not justified.","section":"Section 4.3, proof of (3) in Theorem 2.3"}],"minor_comments":[{"comment":"The boundedness of the sequence (log(ρ_{n_j,a}/ρ_{n_j,b})) is asserted with an unclear justification; a simple total-mass argument would suffice, but the sentence as written is confusing.","section":"Section 3.1, proof of Proposition 3.1"},{"comment":"The statement says 'h({G+_f = 0}) ⊈ {G+_f = 0}' but the proof begins with 'Assume h({G+_f = 0}) = {G+_f = 0}'. The proof should start from the negation of the statement, i.e., inclusion, not equality.","section":"Section 4.1, Theorem 4.1 statement"},{"comment":"The equivalence between the set S_bif defined in the introduction as the accumulation set of PCF cubic parameters and the support of the bifurcation measure µ_bif should be stated explicitly with a precise reference, since the proof relies on this identification.","section":"Section 2.3"},{"comment":"The sentence 'Since {z ∈ C2, G2(z) = G1(z) > 0} is totally invariant by h' is not explained; even if it were true, with G_bif = max(3G1, G2) the relevant interface is {3G1 = G2}, not {G1 = G2}.","section":"Section 3.3, Lemma 3.8"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a significant question and is likely to be of interest to the dynamical systems community, but the current version contains several load-bearing gaps, particularly in Lemma 3.8 and Theorem 4.1. I recommend that the authors carefully revise these arguments before the paper is reconsidered for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: the paper proves genuinely new higher-dimensional rigidity statements, and the overall architecture is sensible. But the proof of the hardest case, Sbif ≠ Jh, has a gap in Lemma 3.8 that the stress-test note correctly identifies. As written, the lemma doesn't work; without it, the contradiction in Section 3.3 isn't reached. That's a load-bearing flaw, though I suspect it's repairable.\n\nWhat's new and good: Theorem 1.1 (Jh, Sbif, Jf pairwise distinct) is new, and Theorem 1.2 (bifurcation locus of a special family not a Julia set of a polynomial) is a natural generalization of Luo. The proof strategy — promote set equality to equality of Green potentials, then use local symmetry promotion and the uniform bound on intertwined polynomials — is coherent and uses deep tools (Ji-Xie, DFG23, FG22) appropriately. The arithmetic corollaries follow cleanly from equidistribution. The paper is honest about its black boxes.\n\nWhere it's soft: Lemma 3.8 is the core problem. Since G_bif = max(3G1, G2) for cubics, the dominance regions are {3G1>G2} and {G2>3G1}, not {G1>G2} and {G2>G1}. The invariance of the actual switching locus {3G1=G2} is not proved, and from max-invariance alone you can't conclude h^*T_i = D T_i. So the step 'apply Lemma 2.2' is unsupported. This is exactly where the stress-test note lands.\n\nOther issues are smaller: Theorem 4.1 assumes h(S)=S but the negation of ⊈ is ⊆; probably fixable with properness. Proposition 3.1 asserts boundedness of log(ρn,a/ρn,b) without proof; likely true but needs argument. In Theorem 1.2's proof, proportionality of measures is treated as equality; presumably fixable.\n\nWho's it for: people in pluripotential theory and complex/arithmetic dynamics. With the fix for Lemma 3.8, it's an important paper. Without it, the main theorem is unproven. I'd send it to a good referee, not desk reject. I wouldn't cite it as a preprint until the gap is closed.\n\nRecommendation: engage with it, but require the authors to repair Lemma 3.8 (and clean up the smaller issues) before publication.","headline":"New and significant rigidity results, but the main case (cubic bifurcation locus vs endomorphism Julia set) has a real gap in Lemma 3.8; needs repair before I'd trust it.","tokens_in":19610,"tokens_out":6083,"would_cite":false,"duration_ms":54192,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37F10","37P30","37F46"],"pacs":[],"model":"deepseek-v4-flash","headline":"Three canonical fractals from complex dynamics in C2 are pairwise distinct.","keywords":["Julia sets","bifurcation loci","Hénon maps","polynomial endomorphisms","equilibrium measures","preperiodic points","complex dynamics","post-critically finite polynomials"],"falsifier":"Exhibit a regular polynomial endomorphism h and a generalized Hénon map f with equal Julia sets, or, more concretely, check whether Proposition 3.7's uniform bound N(d) holds by searching for a sequence of degree-d polynomials Pn with #Inter(Pn) unbounded, which would disprove the imported bound and undermine Theorem 1.1.","tokens_in":18269,"feed_emoji":"🌀","tokens_out":3519,"duration_ms":31226,"temperature":0.7,"pith_summary":"The paper proves that three canonically defined fractals arising from different polynomial dynamical systems cannot coincide: the small Julia set of a regular polynomial endomorphism of C2, the strong bifurcation locus (the closure of post-critically finite cubic parameters), and the Julia set of a generalized Hénon map. The authors reduce equality of the sets to equality of their equilibrium measures and Green functions, then show the measures differ by promoting local symmetries to algebraic curves. If correct, the result separates three a priori related 'maximal chaos' objects and yields finiteness of common preperiodic points between the different systems.","feed_headline":"Three dynamic fractals in C2 are pairwise distinct","feed_subtitle":"A proof that Julia sets of polynomial endomorphisms, Hénon maps, and the cubic bifurcation locus never coincide.","key_machinery":"The argument is carried by the equilibrium measures and Green functions attached to each fractal, together with a uniqueness principle (Fact 2.1) that turns equality of supports into equality of potentials. Local symmetries of bifurcation measures are promoted, via asymptotic similarity results and a rigidity theorem for rational maps with comparable measures, to algebraic curves that are preperiodic under the polynomial pair, and then a uniform bound on the number of intertwined polynomials (Proposition 3.7) yields the contradiction. For the Hénon-versus-endomorphism case, the laminar structure and extremality of the Green current of the Hénon map are the decisive tools.","core_discovery":"The central claim is Theorem 1.1: for any regular polynomial endomorphism h of P2(C) of degree D>1 and any generalized Hénon map f of degree d>1, one has Jh ≠ Sbif ≠ Jf ≠ Jh. The proof works through Theorem 2.3, which shows that the corresponding equilibrium measures µh, µbif, and µf are pairwise distinct, equivalently that their Green functions Gh, Gbif, and Gf are pairwise different. Along the way, the paper establishes Theorem 1.2: the bifurcation locus of a special one-parameter family of polynomials is never the Julia set of a polynomial map.","pith_inferences":["The proof's dependence on the uniform bound on intertwined polynomials (Proposition 3.7) is a natural target for scrutiny: if that bound were not uniform, the counting argument in Section 3.3 would fall apart.","Remark 3.9 suggests the method should generalize to polynomial endomorphisms of Pd−1(C) versus the bifurcation locus of degree-d polynomials, once the analogue of Lemma 2.2 is established in higher dimension.","The measure-rigidity framework may imply stronger statements than set inequality, such as the nonexistence of local biholomorphic conjugacies between small Julia sets and bifurcation loci, beyond measured equivalence.","A quantitative version of Corollary 1.3 could potentially be obtained by tracking the constants in Proposition 3.7 and the equidistribution speeds, though the paper does not attempt this."],"forward_implications":["If the paper is correct, the rigidity phenomenon known for the boundary of the Mandelbrot set extends to dimension two: no regular polynomial endomorphism has the strong bifurcation locus of cubic polynomials as its Julia set.","The Julia set of a generalized Hénon map can never equal the small Julia set of a polynomial endomorphism, so these two families of C2 maps produce genuinely different fractal supports.","As a corollary, for an endomorphism h and a Hénon map f with |Jac(f)| ≠ 1, the set Preper(h) ∩ Per(f) is finite, and Per(f) ∩ PCF is finite.","Under a number-field assumption and a mild condition at infinity, Preper(h) ∩ PCF is also finite for a polynomial endomorphism.","The bifurcation locus of any special family parametrized by C is not the Julia set of a polynomial map."],"supporting_citations":[{"why":"Supplies Proposition 3.7, the uniform bound N(d) on the number of degree-d polynomials intertwined with a given Pt, which is the contradiction engine for Sbif ≠ Jh.","marker":"[FG22]"},{"why":"Provides the strategy of proving that a bifurcation locus is not a Julia set by bounding local symmetries of the bifurcation measure, adapted here to special families and higher dimension.","marker":"[Luo21]"},{"why":"Yields Theorem 3.3, the asymptotic similarity between parameter space and phase space at Collet–Eckmann parameters, used to build local symmetries from measured equivalence.","marker":"[JX23a]"},{"why":"Gives Theorem 3.4, turning a local measured symmetry between two CE, non-special polynomials into an algebraic preperiodic curve, a key step in Proposition 3.1.","marker":"[DFG23]"},{"why":"Provides the rigidity result on birational conjugacies between polynomial endomorphisms of P2 that rules out a Hénon map conjugating h to another endomorphism in Theorem 4.1.","marker":"[CX20]"},{"why":"Establishes the extremality and uniqueness of the Hénon Green current, used in the proof of (3) in Theorem 2.3 and in the contradiction for Gf = Gbif.","marker":"[FS95]"},{"why":"Defines the activity currents and bifurcation measure for families of polynomials, and provides the result that a stable one-dimensional family of cubics is special.","marker":"[DF08]"},{"why":"Characterizes the equilibrium measure of a polynomial endomorphism as the limit of repelling periodic point measures, connecting the dynamical fractal to the pluripotential Green function.","marker":"[BD01]"},{"why":"Gives the analogous equidistribution for Hénon maps via saddle periodic points, defining the Julia set Jf and its equilibrium measure µf.","marker":"[BLS93a]"}],"fun_headline_variants":["Three C2 fractals proven pairwise distinct","Cubic bifurcation locus not a Julia set","Hénon and endomorphism Julia sets never coincide","Distinct fractals: Julia vs bifurcation in C2"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument relies on an imported theorem (Proposition 3.7) stating that for each degree d there is a uniform bound N(d) on the number of polynomials intertwined with a given Pt; if that bound failed or had a larger constant, the counting contradiction that proves Sbif ≠ Jh would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Three C2 fractals proven pairwise distinct","Cubic bifurcation locus not a Julia set","Hénon and endomorphism Julia sets never coincide","Distinct fractals: Julia vs bifurcation in C2"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000121,"raw_usage":{"total_tokens":995,"prompt_tokens":746,"completion_tokens":249,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":362,"completion_tokens_details":{"reasoning_tokens":187}},"tokens_in":362,"tokens_out":249,"duration_ms":2764,"temperature":1.0,"reasoning_tokens":187,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:29:08.785652+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a regular polynomial endomorphism h and a generalized Hénon map f with equal Julia sets, or, more concretely, check whether Proposition 3.7's uniform bound N(d) holds by searching for a sequence of degree-d polynomials Pn with #Inter(Pn) unbounded, which would disprove the imported bound and undermine Theorem 1.1.","supporting_citations":[],"review_version":1}