pith. sign in

arxiv: 1907.07630 · v1 · pith:7FSHS6DNnew · submitted 2019-07-17 · 🧮 math.DS

Hyperbolicity of renormalization for dissipative gap mappings

Trevor Clark , M\'arcio Gouveia This is my paper

Pith reviewed 2026-05-24 19:59 UTC · model grok-4.3

classification 🧮 math.DS
keywords renormalizationhyperbolicitygap mappingsdissipative mapsinterval mapstopological conjugacydynamical systemsone-dimensional dynamics
0
0 comments X

The pith

Renormalization is hyperbolic on C^3 dissipative gap mappings, so their topological conjugacy classes are C^1 manifolds.

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

The paper shows that the renormalization operator acts hyperbolically on the Banach space of C^3 dissipative gap mappings. These are discontinuous interval maps with two strictly increasing branches separated by a gap, models that appear in the study of certain three-dimensional flows. Hyperbolicity means the operator has a spectrum split into expanding and contracting parts with respect to a suitable norm. As a direct consequence, the sets of maps that are topologically conjugate and infinitely renormalizable form C^1 submanifolds inside the space. A reader would care because this gives a local product structure to the parameter space of these systems and predicts that small perturbations preserve the infinite-renormalization property along a smooth slice.

Core claim

We prove hyperbolicity of renormalization acting on C^3 dissipative gap mappings, and show that the topological conjugacy classes of infinitely renormalizable gap mappings are C^1 manifolds.

What carries the argument

The renormalization operator acting on the space of C^3 dissipative gap mappings equipped with a suitable Banach norm.

If this is right

  • The renormalization operator admits a hyperbolic splitting at each fixed point corresponding to an infinitely renormalizable map.
  • The stable manifold of each such fixed point coincides with the topological conjugacy class and is C^1.
  • Small C^3 perturbations of an infinitely renormalizable gap map remain infinitely renormalizable along a C^1 curve of parameters.
  • The dynamics of gap mappings can be organized by their renormalization itineraries in a smooth way.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same hyperbolicity technique might apply to gap mappings of lower or higher smoothness once the operator is shown to be differentiable.
  • The result supplies a template for proving manifold structure of conjugacy classes in other classes of interval maps that admit renormalization.
  • Numerical checks of the spectrum of the derivative of renormalization on concrete examples would give immediate evidence for or against the claim.

Load-bearing premise

The maps stay inside the C^3 dissipative class with the fixed gap structure and branch monotonicity so that the renormalization operator remains well-defined and differentiable.

What would settle it

An explicit C^3 dissipative gap map whose renormalization derivative has an eigenvalue of modulus exactly one.

Figures

Figures reproduced from arXiv: 1907.07630 by M\'arcio Gouveia, Trevor Clark.

Figure 1
Figure 1. Figure 1: I ′ : the domain of the first return map R in case σ = −. (0+ j )j≥1 and (0− j )j≥1 which are always defined unless there exists j ≥ 1 such that either 0 + j = 0 or 0− j = 0. Using this notation for the interval I ′ defined in (2.6), we obtain (2.13) I ′ = [0+ k+1, 0 − k+2] = [f k L (b − 1), f k L ◦ fR(b)] for σf = − I ′ = [0+ k+2, 0 − k+1] = [f k R ◦ fL(b − 1), f k R(b)] for σf = +. See [PITH_FULL_IMAGE:… view at source ↗
Figure 2
Figure 2. Figure 2: Branches fL and fR, slopes α and β of a gap map f. (3.8) Θ : D′ → D (α, β, b, ϕL, ϕR) 7→ Θ(α, β, b, ϕL, ϕR) =: f where f : [b − 1, b] \ {0} → [b − 1, b] is defined by (3.9) f(x) =  fL(x) , x ∈ [b − 1, 0) fR(x) , x ∈ (0, b] with (3.10) fL : I0,L = [b − 1, 0] → T0,L = [α(b − 1) + b, b] x 7→ fL(x) = 1T0,L ◦ ϕL ◦ 1 −1 I0,L (x) and (3.11) fR : I0,R = [0, b] → T0,R = [b − 1, βb + b − 1] x 7→ fR(x) = 1T0,R ◦ ϕR … view at source ↗
Figure 3
Figure 3. Figure 3: Notation for the proof of Proposition 5.5. for all n sufficiently big, which contradicts the admissibility of Vp. Hence we have that QVp depends continuously on p. To see that Q is a contraction, take two admissible plane fields V, V ′ , and line γ ∈ S. Define ∆q = (∆b, ∆x) ∈ V and ∆q ′ = (∆b ′ , ∆x ′ ) ∈ V be as in the definition of d1,p. Let ∆˜q = (∆˜b, ∆˜x) = DRp∆q, and likewise for the objects marked w… view at source ↗
read the original abstract

A gap mapping is a discontinuous interval mapping with two strictly increasing branches that have a gap between their ranges. They are one-dimensional dynamical systems, which arise in the study of certain higher dimensional flows, for example the Lorenz flow and the Cherry flow. In this paper, we prove hyperbolicity of renormalization acting on $C^3$ dissipative gap mappings, and show that the topological conjugacy classes of infinitely renormalizable gap mappings are $C^1$ manifolds.

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 / 2 minor

Summary. The paper proves that the renormalization operator is hyperbolic when acting on a Banach space of C^3 dissipative gap mappings (with the stated gap structure and branch monotonicity) and deduces that the topological conjugacy classes of infinitely renormalizable gap mappings are C^1 manifolds in this space.

Significance. If the hyperbolicity result holds, it extends the renormalization approach from continuous unimodal maps to a class of discontinuous interval maps that model return maps for certain higher-dimensional flows (Lorenz, Cherry). The C^1 manifold structure for conjugacy classes supplies a form of structural stability and would be a useful technical ingredient for further rigidity or universality statements in this setting.

minor comments (2)
  1. The precise definition of the Banach space norm and the domain on which the renormalization operator is shown to be well-defined and C^1 should be stated explicitly in the main theorem (currently only summarized in the abstract).
  2. Notation for the gap endpoints and the dissipative condition is introduced gradually; a consolidated table or diagram in §2 would improve readability for readers unfamiliar with gap mappings.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its significance in extending renormalization techniques to dissipative gap mappings, and the recommendation for minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states a theorem proving hyperbolicity of the renormalization operator on the Banach space of C^3 dissipative gap mappings (with given gap structure and monotonicity) and that conjugacy classes are C^1 manifolds. This is presented as a direct mathematical proof from the definitions of the class, the operator R, and the norm; no parameter fitting, self-definitional reduction, or load-bearing self-citation chain is indicated in the abstract or setup. The result is independent of its inputs by construction and qualifies as standard technical content in one-dimensional dynamics.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the standard definition of gap mappings, the C^3 regularity assumption, dissipativity, and the construction of the renormalization operator; these are domain assumptions in dynamical systems rather than new postulates.

axioms (2)
  • domain assumption C^3 smoothness and dissipativity suffice to define a Banach manifold structure on the space of gap mappings
    Invoked to set up the function space in which hyperbolicity is proved.
  • domain assumption The renormalization operator is well-defined and continuous on this space
    Required for the operator to act and for hyperbolicity to make sense.

pith-pipeline@v0.9.0 · 5592 in / 1255 out tokens · 20186 ms · 2026-05-24T19:59:56.463390+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    V. S. Afra ˘ ımoviˇ c, V. V. Bykov, and L. P. Shil’nikov. The origin an d structure of the Lorenz attractor. Dokl. Akad. Nauk SSSR , 234(2):336–339, 1977

    work page 1977

  2. [2]

    S. Kh. Aranson, E. V. Zhuzhoma, and T. V. Medvedev. Classifica tion of Cherry transformations on a circle and of Cherry flows on a torus. Izv. Vyssh. Uchebn. Zaved. Mat. , (4):7–17, 1996

    work page 1996

  3. [3]

    Arneodo, P

    A. Arneodo, P. Coullet, and C. Tresser. A possible new mechanism for the onset of turbulence. Phys. Lett. A , 81(4):197–201, 1981

    work page 1981

  4. [4]

    The full renormalization horsesho e for unimodal maps of higher degree: exponential contraction along hybrid classes

    Artur Avila and Mikhail Lyubich. The full renormalization horsesho e for unimodal maps of higher degree: exponential contraction along hybrid classes. Publ. Math. Inst. Hautes ´Etudes Sci. , (114):171– 223, 2011

    work page 2011

  5. [5]

    Berry and B

    D. Berry and B. D. Mestel. Wandering intervals for Lorenz maps w ith bounded nonlinearity. Bull. London Math. Soc. , 23(2):183–189, 1991

    work page 1991

  6. [6]

    Topological attractors of contracting Loren z maps

    Paulo Brand˜ ao. Topological attractors of contracting Loren z maps. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 35(5):1409–1433, 2018

    work page 2018

  7. [7]

    Rotation numbers of discontinuous orientation- preserving circle maps

    Romain Brette. Rotation numbers of discontinuous orientation- preserving circle maps. Set-Valued Anal., 11(4):359–371, 2003

    work page 2003

  8. [8]

    T. M. Cherry. Analytic Quasi-Periodic Curves of Discontinuous Ty pe on a Torus. Proc. London Math. Soc. (2) , 44(3):175–215, 1938

    work page 1938

  9. [9]

    Rigidity of critical circle mappin gs

    Edson de Faria and Welington de Melo. Rigidity of critical circle mappin gs. I. J. Eur. Math. Soc. (JEMS), 1(4):339–392, 1999

    work page 1999

  10. [10]

    Global hype rbolicity of renormalization for Cr unimodal mappings

    Edson de Faria, Welington de Melo, and Alberto Pinto. Global hype rbolicity of renormalization for Cr unimodal mappings. Ann. of Math. (2) , 164(3):731–824, 2006

    work page 2006

  11. [11]

    W. de Melo. On the cyclicity of recurrent flows on surfaces. Nonlinearity, 10(2):311–319, 1997

    work page 1997

  12. [12]

    One-dimensional dynamics , volume 25 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathemat ics and Related Areas (3)]

    Welington de Melo and Sebastian van Strien. One-dimensional dynamics , volume 25 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathemat ics and Related Areas (3)] . Springer-Verlag, Berlin, 1993

    work page 1993

  13. [13]

    Feigenbaum

    Mitchell J. Feigenbaum. Quantitative universality for a class of n onlinear transformations. J. Statist. Phys., 19(1):25–52, 1978

    work page 1978

  14. [14]

    Existence of a Lorenz ren ormalization fixed point of an arbitrary critical order

    Denis Gaidashev and Bj¨ orn Winckler. Existence of a Lorenz ren ormalization fixed point of an arbitrary critical order. Nonlinearity, 25(6):1819–1841, 2012

    work page 2012

  15. [15]

    New universal scenarios for the onset of chaos in Lorenz-type flows

    Jean-Marc Gambaudo, Itamar Procaccia, Stefan Thomae, an d Charles Tresser. New universal scenarios for the onset of chaos in Lorenz-type flows. Phys. Rev. Lett. , 57(8):925–928, 1986

    work page 1986

  16. [16]

    Renormalizations operator fo r affine dissipative Lorenz maps

    M´ arcio Gouveia and Eduardo Colli. Renormalizations operator fo r affine dissipative Lorenz maps. Re- lat´ ori T´ ecnico - MAP, 0603, 2006

    work page 2006

  17. [17]

    The lamination of infinitely renor malizable dissipative gap maps: analyticity, holonomies and conjugacies

    M´ arcio Gouveia and Eduardo Colli. The lamination of infinitely renor malizable dissipative gap maps: analyticity, holonomies and conjugacies. Qual. Theory Dyn. Syst. , 11(2):231–275, 2012

    work page 2012

  18. [18]

    John Guckenheimer and R. F. Williams. Structural stability of Lor enz attractors. Inst. Hautes ´Etudes Sci. Publ. Math. , (50):59–72, 1979

    work page 1979

  19. [19]

    Gerhard Keller and Matthias St. Pierre. Topological and measur able dynamics of Lorenz maps. In Ergodic theory, analysis, and efficient simulation of dynami cal systems, pages 333–361. Springer, Berlin, 2001

    work page 2001

  20. [20]

    Essential dynam ics for Lorenz maps on the real line and the lexicographical world

    Rafael Labarca and Carlos Gustavo Moreira. Essential dynam ics for Lorenz maps on the real line and the lexicographical world. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 23(5):683–694, 2006

    work page 2006

  21. [21]

    Lanford, III

    Oscar E. Lanford, III. A computer-assisted proof of the Fe igenbaum conjectures. Bull. Amer. Math. Soc. (N.S.) , 6(3):427–434, 1982

    work page 1982

  22. [22]

    Edward N. Lorenz. Deterministic nonperiodic flow. Journal of the Atmospheric Sciences , 20(2):130–141, 1963. HYPERBOLICITY OF RENORMALIZATION FOR DISSIPATIVE GAP MAPP INGS 41

    work page 1963

  23. [23]

    Feigenbaum-Coullet-Tresser universality and M ilnor’s hairiness conjecture

    Mikhail Lyubich. Feigenbaum-Coullet-Tresser universality and M ilnor’s hairiness conjecture. Ann. of Math. (2) , 149(2):319–420, 1999

    work page 1999

  24. [24]

    Almost every real quadratic map is either regula r or stochastic

    Mikhail Lyubich. Almost every real quadratic map is either regula r or stochastic. Ann. of Math. (2) , 156(1):1–78, 2002

    work page 2002

  25. [25]

    Martens and L

    M. Martens and L. Palmisano. Invariant manifolds for non-differ entiable operators. http://arxiv.org/pdf/1704.06328v2.pdf, 2019

    work page arXiv 2019

  26. [26]

    Martens and B

    M. Martens and B. Winckler. Physical measures for infinitely ren ormalizable Lorenz maps. Ergodic Theory Dynam. Systems , 38(2):717–738, 2018

    work page 2018

  27. [27]

    The periodic points of renormalization

    Marco Martens. The periodic points of renormalization. Ann. of Math. (2) , 147(3):543–584, 1998

    work page 1998

  28. [28]

    Universal models for Lore nz maps

    Marco Martens and Welington de Melo. Universal models for Lore nz maps. Ergodic Theory Dynam. Systems, 21(3):833–860, 2001

    work page 2001

  29. [29]

    On Cherry flows

    Marco Martens, Sebastian van Strien, Welington de Melo, and Pe dro Mendes. On Cherry flows. Ergodic Theory Dynam. Systems , 10(3):531–554, 1990

    work page 1990

  30. [30]

    On the hyperbolicity of Lor enz renormalization

    Marco Martens and Bj¨ orn Winckler. On the hyperbolicity of Lor enz renormalization. Comm. Math. Phys., 325(1):185–257, 2014

    work page 2014

  31. [31]

    McMullen

    Curtis T. McMullen. Complex dynamics and renormalization , volume 135 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1994

    work page 1994

  32. [32]

    McMullen

    Curtis T. McMullen. Renormalization and 3-manifolds which fiber over the circle , volume 142 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1996

    work page 1996

  33. [33]

    A metric property of Cherry vector fields on th e torus

    Pedro Mendes. A metric property of Cherry vector fields on th e torus. J. Differential Equations , 89(2):305–316, 1991

    work page 1991

  34. [34]

    Flows on 2-dimensional manifolds , volume 1705 of Lecture Notes in Mathematics

    Igor Nikolaev and Evgeny Zhuzhoma. Flows on 2-dimensional manifolds , volume 1705 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1999. An overview

    work page 1999

  35. [35]

    A phase transition for circle maps and Cherry fl ows

    Liviana Palmisano. A phase transition for circle maps and Cherry fl ows. Comm. Math. Phys. , 321(1):135–155, 2013

    work page 2013

  36. [36]

    Unbounded regime for circle maps with a flat inte rval

    Liviana Palmisano. Unbounded regime for circle maps with a flat inte rval. Discrete Contin. Dyn. Syst. , 35(5):2099–2122, 2015

    work page 2099

  37. [37]

    On physical measures for Cherry flows

    Liviana Palmisano. On physical measures for Cherry flows. Fund. Math., 232(2):167–179, 2016

    work page 2016

  38. [38]

    Cherry flows with non-trivial attractors

    Liviana Palmisano. Cherry flows with non-trivial attractors. Fund. Math., 244(3):243–253, 2019

    work page 2019

  39. [39]

    The dynamics of perturbations of the contract ing Lorenz attractor

    Alvaro Rovella. The dynamics of perturbations of the contract ing Lorenz attractor. Bol. Soc. Brasil. Mat. (N.S.) , 24(2):233–259, 1993

    work page 1993

  40. [40]

    Invariant measures for Cherr y flows

    Radu Saghin and Edson Vargas. Invariant measures for Cherr y flows. Comm. Math. Phys. , 317(1):55–67, 2013

    work page 2013

  41. [41]

    Phase space universality for multimodal maps

    Daniel Smania. Phase space universality for multimodal maps. Bull. Braz. Math. Soc. (N.S.) , 36(2):225– 274, 2005

    work page 2005

  42. [42]

    Solenoidal attractors with bounded combinator ics are shy

    Daniel Smania. Solenoidal attractors with bounded combinator ics are shy. arXiv e-prints , page arXiv:1603.06300, Mar 2016

    work page arXiv 2016

  43. [43]

    Matthias St. Pierre. Topological and measurable dynamics of Lo renz maps. Dissertationes Math. (Rozprawy Mat.), 382:134, 1999

    work page 1999

  44. [44]

    Bounds, quadratic differentials, and renormaliza tion conjectures

    Dennis Sullivan. Bounds, quadratic differentials, and renormaliza tion conjectures. In American Math- ematical Society centennial publications, Vol. II (Provid ence, RI, 1988) , pages 417–466. Amer. Math. Soc., Providence, RI, 1992

    work page 1988

  45. [45]

    Tresser and P

    C. Tresser and P. Coullet. Critical transition to stochasticity. In Intrinsic stochasticity in plasmas (In- ternat. Workshop, Inst. ´Etudes Sci. Carg` ese, Carg` ese, 1979), pages 365–372. ´Ecole Polytech., Palaiseau, 1979

    work page 1979

  46. [46]

    It´ erations d’endomorphis mes et groupe de renormalisation

    Charles Tresser and Pierre Coullet. It´ erations d’endomorphis mes et groupe de renormalisation. C. R. Acad. Sci. Paris S´ er. A-B, 287(7):A577–A580, 1978

    work page 1978

  47. [47]

    The Lorenz attractor exists

    Warwick Tucker. The Lorenz attractor exists. C. R. Acad. Sci. Paris S´ er. I Math. , 328(12):1197–1202, 1999

    work page 1999

  48. [48]

    Real bounds, ergodic ity and negative Schwarzian for multimodal maps

    Sebastian van Strien and Edson Vargas. Real bounds, ergodic ity and negative Schwarzian for multimodal maps. J. Amer. Math. Soc. , 17(4):749–782, 2004

    work page 2004

  49. [49]

    R. F. Williams. The structure of Lorenz attractors. Inst. Hautes ´Etudes Sci. Publ. Math. , (50):73–99, 1979

    work page 1979

  50. [50]

    A renormalization fixed point for Lorenz maps

    Bj¨ orn Winckler. A renormalization fixed point for Lorenz maps. Nonlinearity, 23(6):1291–1302, 2010. HYPERBOLICITY OF RENORMALIZATION FOR DISSIPATIVE GAP MAPP INGS 42 Trevor Clark, Imperial College London, London, UK E-mail address : t.clark@imperial.ac.uk M´arcio Gouveia, IBILCE-UNESP, CEP 15054-000, S. J. Rio Preto , S ˜ao Paulo, Brazil E-mail address :...

    work page 2010