pith. sign in

arxiv: 2606.27272 · v1 · pith:INEB5I3Ynew · submitted 2026-06-25 · 🧮 math.DS

MLC for parabolically bounded primitive renormalization

Jeremy Kahn , Alex Kapiamba , Mikhail Lyubich This is my paper

Pith reviewed 2026-06-26 01:58 UTC · model grok-4.3

classification 🧮 math.DS
keywords Mandelbrot setlocal connectivityrenormalizationa priori boundsprimitive renormalizationparabolic boundinfinitely renormalizablecomplex dynamics
0
0 comments X

The pith

The Mandelbrot set is locally connected at parabolically bounded primitive infinitely renormalizable parameters.

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

The paper proves a priori bounds and local connectivity of the Mandelbrot set for infinitely renormalizable quadratic parameters whose renormalization type is primitive yet can approach the cusp. This is done by introducing the Thin-Thick Decomposition, Value Calculus, Wanderers Theorem, and Wave Lemma to keep renormalizations from degenerating without bound. A sympathetic reader cares because local connectivity of the Mandelbrot set is a long-standing open question in complex dynamics, and this class includes parameters closer to the boundary than previous results covered. The argument shows that the parabolic bound on the type is enough to make the new tools effective. If the claim holds, these parameters sit at points where the set remains locally path-connected.

Core claim

We prove a priori bounds and MLC for a class of infinitely renormalizable parameters whose renormalization type is primitive but can approach the cusp of M. To this end we develop and refine a variety of tools that allow us to control degeneration of renormalizations. They include the Thin-Thick Decomposition, the Value Calculus, the Wanderers Theorem, and the Wave Lemma.

What carries the argument

The Thin-Thick Decomposition, Value Calculus, Wanderers Theorem, and Wave Lemma that together control degeneration of renormalizations for primitive types under a parabolic bound.

Load-bearing premise

The newly developed tools suffice to control degeneration of renormalizations when the type is primitive and parabolically bounded.

What would settle it

A concrete sequence of primitive renormalizations that remains parabolically bounded yet produces unbounded degeneration or fails to yield a priori bounds.

Figures

Figures reproduced from arXiv: 2606.27272 by Alex Kapiamba, Jeremy Kahn, Mikhail Lyubich.

Figure 1.1
Figure 1.1. Figure 1.1: The boundary of the M zoomed in near the limbs Mˆ 1/10 (left) and Mˆ 1/20 (right). The small Mandelbrot sets high￾lighted in red and blue belong to the same parabolic tails re￾spectively. Theorem C. Any parabolically bounded family of prime primitive types is rigid. We remark that our results can also be combined with those in [DL23b], pro￾viding beau bounds and rigidity for families of types containing … view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: The disk U with small filled Julia sets represented as disks. The horizontal, vertical, and bivertical Hubbard arc￾diagrams are drawn in blue, purple, and red respectively. marking as in Appendix A.1 and recall the definition weighted arc-diagrams from Appendix A.2.2. We will say that a proper path or arc in U \ K is horizontal, vertical, or bivertical if both, one, or neither of its endpoints lie in ∂CK… view at source ↗
Figure 6.1
Figure 6.1. Figure 6.1: The action of f and ι from U ′ \T ′ to U \T and the induced actions of f∗ and ι ∗ on the ideal boundaries of T ′ and T . Small filled Julia sets and intervals in T ′ and ∂ iT ′ are mapped by f to those of the same color in T and ∂ iT respectively. Intervals in ∂ iT are lifted by ι to those in the same position. use this identification throughout this section. In particular, it provides us with the follow… view at source ↗
Figure 6
Figure 6. Figure 6: ). We will consider these three possibilities separately. [PITH_FULL_IMAGE:figures/full_fig_p046_6.png] view at source ↗
Figure 6.2
Figure 6.2. Figure 6.2: A wave A in U \ T shown in blue with crest I and ends J1, J2. For simplicity we assume that the immersion U ′ → U is an inclusion; the boundary of U ′ \T ′ in U \T is shown in red. The leaves γ1, γ2, γ3, and γ4 of A belong to Aver , Aout , Aubr, and Ain respectively. if W(Aver) ≥ 2δW(A) then A is (δ, η)-terminal. So we can assume that (6.15) W(A ver) < 2δW(A). Let Ain ⊂ Abr be the subwave consisting of l… view at source ↗
read the original abstract

We prove $\textit{a priori}$ bounds and MLC (local connectivity of the Mandelbrot set $\mathcal{M}$) for a class of infinitely renormalizable parameters whose renormalization type is primitive but can approach the cusp of $\mathcal{M}$. To this end we develop and refine a variety of tools that allow us to control degeneration of renormalizations. They include the Thin-Thick Decomposition, the Value Calculus, the Wanderers Theorem, and the Wave Lemma.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The manuscript claims to prove a priori bounds and local connectivity of the Mandelbrot set (MLC) for infinitely renormalizable parameters whose renormalization type is primitive but parabolically bounded and can approach the cusp of M. The proof proceeds directly by introducing and applying four new tools—the Thin-Thick Decomposition, Value Calculus, Wanderers Theorem, and Wave Lemma—to control degeneration of renormalizations.

Significance. If the central claim holds, the result would extend MLC to a new class of parameters near the cusp, using a direct construction rather than reduction to previously known cases. The new tools are presented as sufficient to handle the degeneration, which, if verified, could supply reusable machinery for other renormalization problems in complex dynamics.

minor comments (1)
  1. The abstract lists the four tools but does not indicate their logical order or interdependence; a short roadmap section or diagram would clarify how Thin-Thick Decomposition feeds into Value Calculus, etc.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for acknowledging the potential significance of extending MLC to this class of parameters near the cusp via direct construction with new tools. No specific major comments appear in the report, so we provide no point-by-point responses below. We remain available to clarify any aspects of the proof if requested.

Circularity Check

0 steps flagged

No significant circularity; direct proof via newly developed tools

full rationale

The paper states it proves a priori bounds and MLC by developing and refining new tools (Thin-Thick Decomposition, Value Calculus, Wanderers Theorem, Wave Lemma) to control renormalization degeneration for primitive parabolically bounded types. No quoted step reduces a claimed prediction or central result to a fitted input, self-citation chain, or definitional equivalence; the derivation is presented as self-contained construction of independent analytic controls rather than renaming or importing prior fitted quantities.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new entities; all ledger entries are therefore empty.

pith-pipeline@v0.9.1-grok · 5591 in / 1031 out tokens · 24056 ms · 2026-06-26T01:58:50.952008+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

57 extracted references · 22 canonical work pages · 2 internal anchors

  1. [1]

    Elephant Eyes , author=

    A priori bounds for some infinitely renormalizable quadratic: IV. Elephant Eyes , author=. 2026 , eprint=

    2026

  2. [2]

    Bounded primitive combinatorics , author=

    A priori bounds for some infinitely renormalizable quadratics: I. Bounded primitive combinatorics , author=. 2006 , eprint=

    2006

  3. [3]

    Local connectivity of Julia sets: expository lectures , booktitle=

    Milnor, John , editor=. Local connectivity of Julia sets: expository lectures , booktitle=. 2000 , pages=

    2000

  4. [4]

    2025 , eprint=

    On the MLC Conjecture and the Renormalization Theory in Complex Dynamics , author=. 2025 , eprint=

    2025

  5. [5]

    Avila, Artur and Lyubich, Mikhail , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2022 , NUMBER =. doi:10.4007/annals.2022.195.1.1 , URL =

    work page doi:10.4007/annals.2022.195.1.1 2022

  6. [6]

    Buff, Xavier and Ch\'eritat, Arnaud , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2012 , NUMBER =. doi:10.4007/annals.2012.176.2.1 , URL =

    work page doi:10.4007/annals.2012.176.2.1 2012

  7. [7]

    , TITLE =

    McMullen, Curtis T. , TITLE =. 1994 , PAGES =

    1994

  8. [8]

    and Hubbard, J

    Douady, A. and Hubbard, J. H. , TITLE =. 1985 , PAGES =

    1985

  9. [9]

    Hubbard, J. H. , TITLE =. Topological methods in modern mathematics (. 1993 , MRCLASS =

    1993

  10. [10]

    Holomorphic dynamics (

    Branner, Bodil and Douady, Adrien , TITLE =. Holomorphic dynamics (. 1988 , ISBN =. doi:10.1007/BFb0081395 , URL =

    work page doi:10.1007/bfb0081395 1988

  11. [11]

    Dudko, Dzmitry and Lyubich, Mikhail , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00039-023-00637-8 , URL =

    work page doi:10.1007/s00039-023-00637-8 2023

  12. [12]

    arXiv e-prints , keywords =

    Cheraghi, Davoud and Shishikura, Mitshurio , title = ". arXiv e-prints , keywords =

  13. [13]

    2008 , Journal =

    The renormalization for parabolic fixed points and their perturbation , author =. 2008 , Journal =

    2008

  14. [14]

    Dudko, Dzmitry and Lyubich, Mikhail and Selinger, Nikita , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/jams/942 , URL =

    work page doi:10.1090/jams/942 2020

  15. [15]

    2024 , eprint=

    Uniform a priori bounds for neutral renormalization , author=. 2024 , eprint=

    2024

  16. [16]

    Dudko, Dzmitry and Kapiamba, Alex and Lyubich, Mikhail and Peterson, Carsten , note =

  17. [17]

    Annals of mathematics , number =

    Sullivan, Dennis , date-added =. Annals of mathematics , number =

  18. [18]

    Complex dynamics and renormalization , year =

    McMullen, Curtis T , date-added =. Complex dynamics and renormalization , year =

  19. [19]

    Hyperbolic structures on 3-manifolds

    Thurston, William P , date-added =. Hyperbolic structures on 3-manifolds. Annals of Mathematics , number =. 1986 , bdsk-file-1 =

    1986

  20. [20]

    Bounded hyperbolic components of quadratic rational maps , volume =

    Epstein, Adam Lawrence , date-added =. Bounded hyperbolic components of quadratic rational maps , volume =. Ergodic Theory and Dynamical Systems , number =. 2000 , bdsk-file-1 =

    2000

  21. [21]

    , date-added =

    Ahlfors, Lars V. , date-added =. Complex analysis , year =

  22. [22]

    Automorphisms of rational maps , year =

    McMullen, Curt , booktitle =. Automorphisms of rational maps , year =

  23. [23]

    Cylinders for iterated rational maps , year =

    Pilgrim, Kevin , date-added =. Cylinders for iterated rational maps , year =

  24. [24]

    On pinching deformations of rational maps , volume =

    Tan, Lei , date-added =. On pinching deformations of rational maps , volume =. Annales Scientifiques de l'Ecole Normale Superieure , number =. 2002 , bdsk-file-1 =

    2002

  25. [25]

    Unbounded components in parameter space of rational maps , volume =

    Makienko, Peter , date-added =. Unbounded components in parameter space of rational maps , volume =. Conformal Geometry and Dynamics of the American Mathematical Society , number =. 2000 , bdsk-file-1 =

    2000

  26. [26]

    A proof of

    Douady, Adrien and Hubbard, John H , date-added =. A proof of. Acta Mathematica , number =. 1993 , bdsk-file-1 =

    1993

  27. [27]

    Acta Mathematica , number =

    Lyubich, Mikhail , date-added =. Acta Mathematica , number =

  28. [28]

    arXiv , author =:2309.02107 , primaryclass =

    2023 , bdsk-url-1 =. arXiv , author =:2309.02107 , primaryclass =

    work page arXiv 2023

  29. [29]

    Jeremy Kahn , date-added =

  30. [30]

    Dzmitry Dudko and Jeremy Kahn and Mikhail Lyubich , date-added =

  31. [31]

    arXiv preprint arXiv:2309.02847 , title =

    Kahn, Jeremy and Markovic, Vladimir and Smilga, Ilia , date-added =. arXiv preprint arXiv:2309.02847 , title =

    work page arXiv

  32. [32]

    Holomorphic Removability of Julia Sets

    Kahn, Jeremy , date-added =. arXiv preprint math/9812164 , title =

    work page internal anchor Pith review Pith/arXiv arXiv

  33. [33]

    Surface groups in uniform lattices of some semi-simple groups , volume =

    Kahn, Jeremy and Labourie, Fran. Surface groups in uniform lattices of some semi-simple groups , volume =. Acta Mathematica , number =

  34. [34]

    International Mathematics Research Notices , title =

    Firsova, Tanya and Kahn, Jeremy and Selinger, Nikita , date-added =. International Mathematics Research Notices , title =

  35. [35]

    Journal of Modern Dynamics , pages =

    Kahn, Jeremy and Wright, Alex , date-added =. Journal of Modern Dynamics , pages =

  36. [36]

    Conformal surface embeddings and extremal length , volume =

    Kahn, Jeremy and Pilgrim, Kevin M and Thurston, Dylan P , date-added =. Conformal surface embeddings and extremal length , volume =. Groups, Geometry, and Dynamics , number =

  37. [37]

    Duke Mathematical Journal , number =

    Kahn, Jeremy and Wright, Alex , date-added =. Duke Mathematical Journal , number =

  38. [38]

    arXiv , author =:2009.05608 , primaryclass =

    Lifting Arc Diagrams Under Branched Covers: An Inverse Problem and its Solution , year =. arXiv , author =:2009.05608 , primaryclass =

    work page arXiv 2009

  39. [39]

    The holomorphic couch theorem , volume =

    Bourque, Maxime Fortier , date-added =. The holomorphic couch theorem , volume =. Inventiones mathematicae , number =

  40. [40]

    A priori bounds for some infinitely renormalizable quadratics: I

    Kahn, Jeremy , date-added =. A priori bounds for some infinitely renormalizable quadratics: I. arXiv:math.DS/0609045 , note =

    work page arXiv

  41. [41]

    arXiv:math.DS/9812164 , title =

    Kahn, Jeremy , date-added =. arXiv:math.DS/9812164 , title =

    work page arXiv

  42. [42]

    Random ideal triangulations and the Weil-Petersson distance between finite degree covers of punctured Riemann surfaces

    Kahn, Jeremy and Markovic, Vladimir , date-added =. arXiv:0806.2304 , note =

    work page internal anchor Pith review Pith/arXiv arXiv

  43. [43]

    arXiv preprint arXiv:1507.05294 , title =

    Kahn, Jeremy and Pilgrim, Kevin M and Thurston, Dylan P , date-added =. arXiv preprint arXiv:1507.05294 , title =

    work page arXiv

  44. [44]

    arXiv preprint arXiv:1805.10189 , title =

    Kahn, Jeremy and Labourie, Fran. arXiv preprint arXiv:1805.10189 , title =

    work page arXiv

  45. [45]

    Counting essential surfaces in a closed hyperbolic three-manifold , url =

    Kahn, Jeremy and Markovi. Counting essential surfaces in a closed hyperbolic three-manifold , url =. Geom. Topol. , mrclass =. 2012 , bdsk-url-1 =. doi:10.2140/gt.2012.16.601 , fjournal =

    work page doi:10.2140/gt.2012.16.601 2012

  46. [46]

    The moduli space of

    Fletcher, Alastair and Kahn, Jeremy and Markovic, Vladimir , coden =. The moduli space of. Geom. Funct. Anal. , mrclass =. 2013 , bdsk-url-1 =. doi:10.1007/s00039-013-0211-1 , fjournal =

    work page doi:10.1007/s00039-013-0211-1 2013

  47. [47]

    Immersing almost geodesic surfaces in a closed hyperbolic three manifold , url =

    Kahn, Jeremy and Markovic, Vladimir , coden =. Immersing almost geodesic surfaces in a closed hyperbolic three manifold , url =. Ann. of Math. (2) , mrclass =. 2012 , bdsk-url-1 =. doi:10.4007/annals.2012.175.3.4 , fjournal =

    work page doi:10.4007/annals.2012.175.3.4 2012

  48. [48]

    The good pants homology and the

    Kahn, Jeremy and Markovic, Vladimir , doi =. The good pants homology and the. Ann. of Math. (2) , mrclass =. 2015 , bdsk-url-1 =

    2015

  49. [49]

    Hyperbolic volume of manifolds with geodesic boundary and orthospectra , url =

    Bridgeman, Martin and Kahn, Jeremy , coden =. Hyperbolic volume of manifolds with geodesic boundary and orthospectra , url =. Geom. Funct. Anal. , mrclass =. 2010 , bdsk-url-1 =. doi:10.1007/s00039-010-0095-2 , fjournal =

    work page doi:10.1007/s00039-010-0095-2 2010

  50. [50]

    A note on hyperbolic leaves and wild laminations of rational functions , url =

    Kahn, Jeremy and Lyubich, Mikhail and Rempe, Lasse , doi =. A note on hyperbolic leaves and wild laminations of rational functions , url =. J. Difference Equ. Appl. , mrclass =. 2010 , bdsk-url-1 =

    2010

  51. [51]

    Combinatorial rigidity for unicritical polynomials , url =

    Avila, Artur and Kahn, Jeremy and Lyubich, Mikhail and Shen, Weixiao , coden =. Combinatorial rigidity for unicritical polynomials , url =. Ann. of Math. (2) , mrclass =. 2009 , bdsk-url-1 =. doi:10.4007/annals.2009.170.783 , fjournal =

    work page doi:10.4007/annals.2009.170.783 2009

  52. [52]

    Local connectivity of

    Kahn, Jeremy and Lyubich, Mikhail , coden =. Local connectivity of. Ann. of Math. (2) , mrclass =. 2009 , bdsk-url-1 =. doi:10.4007/annals.2009.170.413 , fjournal =

    work page doi:10.4007/annals.2009.170.413 2009

  53. [53]

    The quasi-additivity law in conformal geometry , url =

    Kahn, Jeremy and Lyubich, Mikahil , coden =. The quasi-additivity law in conformal geometry , url =. Ann. of Math. (2) , mrclass =. 2009 , bdsk-url-1 =. doi:10.4007/annals.2009.169.561 , fjournal =

    work page doi:10.4007/annals.2009.169.561 2009

  54. [54]

    A priori bounds for some infinitely renormalizable quadratics

    Kahn, Jeremy and Lyubich, Mikhail , fjournal =. A priori bounds for some infinitely renormalizable quadratics. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , mrclass =

  55. [55]

    A priori bounds for some infinitely renormalizable quadratics

    Kahn, Jeremy and Lyubich, Mikhail , booktitle =. A priori bounds for some infinitely renormalizable quadratics

  56. [56]

    Newtonian graphs for families of complex polynomials , volume =

    Kahn, Jeremy , fjournal =. Newtonian graphs for families of complex polynomials , volume =. J. Complexity , mrclass =

  57. [57]

    and Lund, Carsten , coden =

    Feigenbaum, Joan and Kahn, Jeremy A. and Lund, Carsten , coden =. Complexity results for. SIAM J. Discrete Math. , mrclass =. 1993 , bdsk-url-1 =. doi:10.1137/0406035 , fjournal =

    work page doi:10.1137/0406035 1993