Pith. sign in

REVIEW 4 major objections 4 minor 5 references

Resolving an error with path-tracing and a 2-to-1 mapping in a work of Jang, So, and Marotta

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

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

Pith's one-line read Two proof errors fixed, baby Mandelbrot sets survive

desk verdict Real errors found in Jang–So–Marotta, but the proposed fix is not yet proved: the key inclusion bUλ⊂Vλ is asserted, and Proposition 2 is circular. read the letter →

arxiv 2508.18543 v1 pith:IPYY2CLV submitted 2025-08-25 math.DS

Murali Meyer , Daniel Stoertz , Mike Wang This is my paper · ORCID
classification math.DS MSC 37F1037F45
keywords polynomial-likemapsbabyMandelbrotsetsrationalwindingconditionconnectednesslocuscomplexdynamicsprepolesset
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 note corrects two nontrivial errors in the proof that the rational family $F_\lambda(z)=z^n+\lambda/z^d$ contains $n-1$ baby Mandelbrot sets. The first error concerns the claim that the boundary of the preimage region maps 2-to-1 onto the boundary of the image region; the note shows this mapping is actually 1-to-1 and passes through the origin, so the original regions do not give a polynomial-like family. The second error is that, on part of the parameter boundary, the critical value lands on the boundary of the open region where it must lie, violating the winding condition. The note repairs both by redefining the image region with a slightly larger outer radius and narrower angle bounds, and proves that with these corrected regions the polynomial-like and winding conditions hold. A sympathetic reader should care because the existence of $n-1$ baby Mandelbrot sets is exactly what the original paper promised, and this correction shows that promise can be kept.

What carries the argument

The load-bearing object is the corrected Pac-Man region $\widehat U_\lambda$, defined by $|z|<2+\varepsilon$ and angle bounds $\theta_2<\operatorname{Arg} z<\theta_1$, with $\theta_1,\theta_2$ chosen from the arguments $n\psi\pm d\pi/m$ of the image sector, together with its preimage component $\widehat U'_\lambda$ inside $V'_\lambda$. The slightly enlarged outer boundary $\widehat\Gamma$ of radius $2+\varepsilon$ ensures the critical value on $\Gamma$ lies inside the open region rather than on its boundary, while the restricted angle bounds make $\widehat U'_\lambda\subset\widehat U_\lambda$ available and restore the 2-to-1 covering needed for polynomial-like degree two.

What would settle it

Take a concrete pair such as $(n,d)=(3,2)$, choose $\lambda$ with $\operatorname{Arg}\lambda=\pi/(n-1)$ and $|\lambda|=\frac{n}{d}\left(\frac{2d}{m}\right)^{m/n}$, and compute numerically whether every boundary point of $\widehat U_\lambda$ lies inside $V_\lambda=F_\lambda(V'_\lambda)$. One boundary point of $\widehat U_\lambda$ escaping $V_\lambda$ would falsify the unproved inclusion and therefore Proposition 2.

Watch

Extended reading notes

Core claim

The central discovery is that the original regions $U'_\lambda$ and $U_\lambda$ are the wrong shapes for the conclusion, not the conclusion itself. With $n\ne d$, the ray segments of $\partial U'_\lambda$ contain prepoles and therefore map to line segments through the origin; conformality forces these images to cross at the origin, so they cannot cover the two non-parallel boundary rays of $U_\lambda$ in a 2-to-1 fashion. Replacing $U_\lambda$ by a Pac-Man shaped region $\widehat U_\lambda$ whose outer radius is $2+\varepsilon$ and whose angle bounds are taken from the image sector $V_\lambda$, and taking $\widehat U'_\lambda$ as the corresponding preimage component, restores the 2-to-1 property. The note then proves that the critical value lies in $\widehat U_\lambda\setminus\widehat U'_\lambda$ for every $\lambda\in\partial W$ and winds once around $\widehat U'_\lambda$, so the polynomial-like straightening theorem applies and the original proposition and lemma are true.

Load-bearing premise

The entire repair rests on the assertion, used without proof, that the new region $\widehat U_\lambda$ is contained in the image region $V_\lambda$; if that inclusion fails, the chosen preimage component $\widehat U'_\lambda$ need not lie inside $V'_\lambda$, and the 2-to-1 polynomial-like argument collapses.

Editorial extensions

If this is right

  • For every $\lambda\in W$, the corrected family $F_\lambda\colon \widehat U'_\lambda\to \widehat U_\lambda$ is polynomial-like of degree two, so the straightening theorem applies to it.
  • For every $\lambda\in\partial W$, the critical value stays in $\widehat U_\lambda\setminus\widehat U'_\lambda$ and winds once around $\widehat U'_\lambda$, satisfying the winding condition.
  • The original claims of Proposition 5.1 and Lemma 5.2 in [5] are true as stated: the family is polynomial-like of degree two and there are $n-1$ baby Mandelbrot sets in the connectedness locus.
  • When $n=d$, no correction is needed; the earlier result already covers that case.

Reading between the lines

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

  • A natural extension, not explored here, is that the same boundary-touching failure would appear in any polynomial-like construction whose critical value lands on the outer boundary by design; the epsilon-enlargement repair is generic but must be re-proved for each family.
  • One testable next step is to compute explicit bounds for $\varepsilon$ in terms of $n$ and $d$; the proof only asserts existence of a sufficiently small $\varepsilon$, so a quantitative version would make the correction easier to verify and reuse.
  • A reader might expect the corrected proof to transfer to nearby families with an added constant, provided the prepole-ray geometry and the non-parallel condition $n\ne d$ are preserved; this note does not make that extension.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper claims to identify two errors in [5]'s proof that the maps Fλ(z)=z^n+λ/z^d form a polynomial-like family of degree two and satisfy the Douady-Hubbard winding condition. The first alleged error is that the boundary ray segments of U'λ cannot map 2-to-1 onto the piecewise linear boundary of Uλ because Fλ is conformal away from critical points and the relevant rays meet at the origin at an angle that is not π when n≠d. The second alleged error is that, for λ on the outer circular boundary of W, the critical value vλ lies on Γ, which is part of the boundary of the open set Uλ, violating the hypothesis that vλ lie in Uλ\U'λ. The paper then proposes new regions bUλ (a Pac-Man sector with outer radius 2+ε and restricted angle bounds) and bU'λ (a chosen preimage component), and asserts that these repair both defects. It concludes that Proposition 5.1 and Lemma 5.2 of [5], and hence the existence of n−1 baby Mandelbrot sets, remain true.

Significance. The diagnostic part of the paper is valuable and largely convincing: the conformality argument showing that the original 2-to-1 boundary mapping is impossible is sound, and the observation that the original winding argument places vλ on the topological boundary of an open domain is a genuine gap. If the proposed fix were fully proved, the note would be a useful correction to the literature. However, the paper's central claim—that the new regions make Fλ polynomial-like of degree two and satisfy the winding condition—is not established in the manuscript. The proof relies on asserted containments and on the very degree-two property to be proved, and Proposition 3 imports the path of vλ from the very proof being corrected. The significance is therefore conditional on substantial additional argument.

major comments (4)
  1. [Section 4, paragraph after Proposition 1] The inclusion bUλ⊂Vλ is asserted without proof, and this inclusion is load-bearing for the whole construction. From it the paper infers that bU'λ⊂V'λ and then, using Proposition 1, that bU'λ⊂bUλ. Proposition 1 proves only the opposite inclusion V'λ⊂bUλ, so it cannot justify the assertion. One needs to prove that the image of ∂V'λ surrounds bUλ: namely, that the arcs Fλ(bγn) and Fλ(bγd) together cover the bΓ-arc between the two boundary rays of bUλ, and that the images of the two ray segments of ∂V'λ lie exactly on the boundary rays of bUλ. Without this, the chosen preimage component bU'λ could cross ∂V'λ, and the restricted map Fλ:bU'λ→bUλ is not known to be proper.
  2. [Section 4, Proposition 2 proof] The sentence 'since bUλ is the subset of Vλ onto which Fλ maps V'λ in a 2-to-1 fashion' is circular: this is precisely the polynomial-like degree-two statement that Proposition 2 is supposed to prove. The proof must instead derive the 2-to-1 property from a verified boundary covering or a degree computation, e.g., via the argument principle, and must show that bU'λ is a bounded simply connected domain and that Fλ:bU'λ→bUλ is proper. The final sentence of the proof also uses the unhatted symbols U'λ and Uλ, while the proposition concerns bU'λ and bUλ.
  3. [Section 4, Proposition 1] The angle inequalities in Proposition 1 are not true for the stated range |ψ|≤π/(n−1). For example, take n=3, d=2, so m=5, and choose ψ=−π/2, which satisfies |ψ|≤π/(n−1)=π/2. In the case n>d the proof claims ψ+π/m < nψ+dπ/m, but here ψ+π/m=−3π/10 and nψ+dπ/m=−11π/10, so the claimed inequality fails. Consequently V'λ⊄bUλ for this point, and Proposition 1 as stated is false. Since Proposition 1 is used to conclude bU'λ⊂bUλ and is also relied on in the angle estimate in Proposition 3, the admissible range of ψ for which the construction works must be redetermined and stated correctly.
  4. [Section 4, Proposition 3] The proof of the winding condition is incomplete. The assertion that 'the path of the critical value vλ remains the same as in the proof of Lemma 5.2' imports the very path from the proof that the paper is correcting, so it cannot be taken as an established fact. More importantly, on the arcs where |vλ|=2 the claim that vλ∈bUλ∖bU'λ is not proved: since Γ lies strictly inside bUλ after the ε enlargement, membership in bUλ is automatic, but vλ∉bU'λ requires a separate argument. On the ray segments, the displayed inequalities compare only arguments and do not compare moduli, nor do they establish strict exclusion or handle boundary equality; and showing vλ∈bUλ∖bU'λ pointwise on ∂W does not by itself show that the loop winds once around the exterior of bU'λ. The winding number around bU'λ must be computed explicitly.
minor comments (4)
  1. [Throughout] There are typographical errors: 'Propostition' in Section 4 and 'symetrically' in Section 2 should be corrected.
  2. [Section 2, Definition 1] The quotation of the Douady-Hubbard definition appears incomplete as typeset: after the first bullet the second defining condition (properness, or relative compactness of U′ in U) is missing, which makes the statement of the theorem being used unclear.
  3. [Section 4, Proposition 2 proof] The notation bUλ−bU'λ and bUλ−bU'λ should be set difference, e.g., bUλ∖bU'λ, to avoid confusion with pointwise subtraction.
  4. [Section 4, Proposition 3] The proof of Proposition 3 says that if Argλ=π/(n−1), then for any z∈bU'λ one has Argz≤ψ+π/m. This estimate depends on the unproved inclusion bU'λ⊂V'λ and on the angle bounds of V'λ, so the assertion should be restated after those facts are established.

Circularity Check

1 steps flagged · score 6.0 of 10

The proof of Proposition 2 assumes the 2-to-1 covering property it is meant to establish, so the central polynomial-likeness claim is circular.

  1. other [Section 4, paragraph preceding the statement of Proposition 2]
    "Since bUλ ⊂ Vλ, we have by choice of component that bU′ λ ⊂ V′ λ. By Proposition 1 we have bU′ λ ⊂ bUλ. Furthermore, since bUλ is the subset of Vλ onto which Fλ maps V′ λ in a 2-to-1 fashion, we can conclude that the function Fλ : U′ λ→ Uλ is polynomial-like of degree two."

    The sentence uses as a premise exactly what Proposition 2 must prove: that Fλ maps V′λ onto bUλ in a 2-to-1 fashion, i.e. that the restriction is polynomial-like of degree two. Moreover, the inclusion bUλ⊂Vλ is not demonstrated; it is written into the definition ('Define bUλ⊂ Vλ') and then used to select bU′λ inside V′λ. Without a proof of this inclusion and without an independent argument for the 2-to-1 property, the conclusion of Proposition 2 reduces to an assumption of its own conclusion. The paper's main theorem depends on this proposition, so the central derivation is circular.

full rationale

The paper identifies two genuine errors in [5] and proposes specific modifications to the regions Uλ and U′λ. The issue is not fitted-parameter circularity or self-citation; the authors are not the authors of [5]. However, the proof of the key replacement Proposition 2 is logically circular: the paragraph before it asserts both the containment bUλ⊂Vλ and the degree-two covering property 'bUλ is the subset of Vλ onto which Fλ maps V′λ in a 2-to-1 fashion' as if established, when the latter is precisely the polynomial-likeness conclusion being proved. The containment is placed into the definition of bUλ without proof, and it is load-bearing because it determines that the chosen preimage component bU′λ lies inside V′λ. Thus the correction's central claim—that the main results of [5] remain true—rests on an unproved inclusion and an assumed covering property. This warrants a score of 6: one or more of the paper's derived claims reduce by construction to its own premises.

Assumptions & free parameters 1 free parameters · 4 assumptions · 0 invented entities

No physical objects are postulated; the new sets bΓ, bUλ, bU'_λ are mathematical constructions defined in Section 4. The argument depends on standard Douady-Hubbard theory and on several facts imported from [5] without re-derivation, including the critical value formulas and the winding path.

free parameters (1)
  • epsilon (outer radius offset) = unspecified small positive epsilon such that 2+epsilon is the radius of bΓ
    Introduced ad hoc to move the boundary of the codomain strictly outside the old circle Γ, repairing the open-set violation. Existence is asserted via compactness, but no value is given.
assumptions (4)
  • standard math Douady-Hubbard polynomial-like mapping theorem (Theorem 1 of [4])
    Used to produce small Mandelbrot copies from a degree-2 polynomial-like map with proper winding.
  • domain assumption Critical point, critical value, and prepole formulas for Fλ are as presented in [5]
    The note uses these formulas without derivation; they come from [5, Section 2].
  • domain assumption The parameter region W and the path of the critical value vλ along ∂W follow the description in [5]
    Proposition 3 relies on this to verify the winding condition; the path computation itself is not redone.
  • ad hoc to paper Assume n ≠ d
    The paper restricts to the case where the errors appear; the n = d case was covered by Devaney [3].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Resolving an error with path-tracing and a 2-to-1 mapping in a work of Jang, So, and Marotta." pith.science (2026). https://pith.science/paper/IPYY2CLV

@misc{pith2026250818543,
  author       = {Pith},
  title        = {Pith review of: Resolving an error with path-tracing and a 2-to-1 mapping in a work of Jang, So, and Marotta},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IPYY2CLV}},
  note         = {Machine review of arXiv:2508.18543}
}
read the original abstract

We identify two nontrivial errors in the proof of the main results of the work \emph{generalized baby Mandelbrot sets adorned with halos in families of rational maps} by Jang, So, and Marotta. We correct these errors, showing that the main results remain true.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

  1. [5]

    H. Jang, Y. So, S. Marotta, Generalized baby Mandelbrot sets adorned with halos in families of rational maps, J. Difference Equ. Appl. (23) , 3 (2017), 503-520. 11

    work page 2017

  2. [1]

    Boyd and M

    S. Boyd and M. Hoeppner, Baby Mandelbrot sets and spines in some one-dimensional subspaces of the parameter space for generalized McMullen maps. Qual. Theory Dyn. Syst. (4) , 24 (2025)

    work page 2025

  3. [2]

    Boyd and A

    S. Boyd and A. Mitchell, The boundedness locus and baby Mandelbrot sets for some generalized McMullen maps. Int. J. Bifur. Chaos (8) 33 (2023)

    work page 2023

  4. [3]

    Devaney, Baby Mandelbrot sets adorned with Halos in families of rational maps, Contemporary Mathematics, 396 (2006), 37-50

    R.L. Devaney, Baby Mandelbrot sets adorned with Halos in families of rational maps, Contemporary Mathematics, 396 (2006), 37-50

    work page 2006

  5. [4]

    Douady, J.H

    A. Douady, J.H. Hubbard, On the Dynamics of Polynomial- like Mappings, Ann. Sci. ´Ecole Norm. Sup. (4) , 18 (1985), 287–343

    work page 1985

Pith tools

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