pith. sign in

arxiv: 2606.06274 · v1 · pith:Q4III3SJnew · submitted 2026-06-04 · 🧮 math.DS · math-ph· math.MP· nlin.CD

Existence of the C-type renormalisation two-cycle

Pith reviewed 2026-06-27 23:10 UTC · model grok-4.3

classification 🧮 math.DS math-phmath.MPnlin.CD
keywords renormalisationtwo-cycleC-typeuniversalityperiod-doublinganalytic mapsnon-invertible mapschaos
0
0 comments X

The pith

The C-type renormalisation two-cycle exists in a Banach space of analytic maps with rigorous bounds on state-space scaling constants.

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

The paper proves that a period-two orbit of the renormalisation operator exists for families of two-dimensional non-invertible maps with fold critical points. This orbit accounts for the C-type route to chaos, in which parameter values accumulate to produce coexisting attracting cycles of periods 4^n or 2·4^n together with universal scaling in both parameter and state space. A reader would care because the result supplies the missing analytic step that links the C-type class to an earlier FS-type class through a bifurcation in the renormalisation dynamics itself. The proof proceeds by showing that a Newton-like operator is contractive on a ball around a numerically located candidate two-cycle inside a suitable Banach space of analytic functions. The same technique also yields explicit bounds on the universal scaling constants that govern the asymptotic geometry of the attractor.

Core claim

We prove the existence of the C-type renormalisation two-cycle in a Banach space of analytic maps and gain rigorous bounds on the corresponding universal state space scaling constants. This is established by verifying that a variant of Newton's method applied to the two-cycle equation is a contraction mapping on a ball around the candidate orbit.

What carries the argument

The renormalisation operator acting on a Banach space of analytic maps, together with its period-two orbit and the Newton-like contraction operator constructed around that orbit.

If this is right

  • The result supplies one further step toward proving the full set of conjectures on distinct universality classes for period-doubling routes.
  • It extends the analytic framework already established for unidirectionally coupled maps to the bidirectionally coupled case.
  • It generalises the treatment of renormalisation from fixed points to genuine periodic orbits of the renormalisation operator.
  • It supports the conjecture that the C-type class is born from the FS-type class by a period-doubling bifurcation inside the renormalisation group dynamics.
  • The scaling constants obtained apply directly to concrete systems such as models of nephron blood-pressure autoregulation that exhibit C-type scaling.

Where Pith is reading between the lines

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

  • Similar contraction-mapping arguments could be used to locate and prove the existence of higher-period orbits of the renormalisation operator that would correspond to still other universality classes.
  • The explicit bounds on scaling constants furnish quantitative predictions that can be checked against numerical simulations or experimental time series from any system known to display C-type period quadrupling.
  • If the renormalisation dynamics itself undergoes further bifurcations, the same Banach-space setting should allow the detection of additional cycles and the corresponding new scaling laws.
  • The technique may extend to maps with other types of critical points once the appropriate Banach spaces are identified.

Load-bearing premise

A variant of Newton's method for the two-cycle equation remains a contraction mapping on some ball around the candidate point inside the chosen Banach space.

What would settle it

A verified computation that the Lipschitz constant of the Newton operator on the ball is at least one, or that no point inside the ball satisfies the two-cycle equation to machine precision.

Figures

Figures reproduced from arXiv: 2606.06274 by Andrew Burbanks, Maria Pickett, Zainab Rahman.

Figure 1
Figure 1. Figure 1: The constituent maps of the RG two-cycle for [PITH_FULL_IMAGE:figures/full_fig_p012_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The constituent maps (g1, f1),(g2, f2) of the RG two-cycle of R, com￾puted using gk(x, y) = G0 k (x 2 , y) and fk(x, y) = F 0 k (x 2 , y) for (x 2 , y) ∈ Ωk as a base case, together with recurrence relations derived from the functional equa￾tions (20)–(23) for a two-cycle of T. (Note the reversal in the y-axis direction, chosen for clarity, in (a),(b).) 13 [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Failure of complex domain extension for unit polydisc domains. (a) [PITH_FULL_IMAGE:figures/full_fig_p016_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Real domain extension. Shown are the images of the real domains [PITH_FULL_IMAGE:figures/full_fig_p023_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Complex domain extension. (a) Top: Ω1 = D(c1, r1)× D(d1, s1) (boundary shown as outer circles), where c1 ≃ 0.64623, r1 = 1.6, d1 ≃ 0.55421, s1 = 1.38. (b) Bottom: Ω2 = D(c2, r2)×D(d2, s2) (boundary shown as outer circles), where c2 ≃ 0.74835, r2 = 1.25, d2 ≃ 0.63468, s2 = 1.95. (For illustra￾tion purposes only; the rigorous verification of domain extension uses a covering of the distinguished boundary by c… view at source ↗
Figure 6
Figure 6. Figure 6: Upper bounds on the norms ∥DΦ(V )eijk∥ for N4 = 1300 polynomial basis elements eijk, valid for all V ∈ B(V 0 ; 0, ρ), plotted against the homoge￾neous degree j + k ≤ N of the basis element (a log-scale is used for the vertical axis). The upper bounds on high-order norms (valid for all eijk with i = 1, 2, 3, 4 and j + k > N) are displayed at the right-hand edge of the plot. 29 [PITH_FULL_IMAGE:figures/full… view at source ↗
read the original abstract

We prove the existence of the C-type renormalisation two-cycle, helping to establish the universality of the C-type route to chaos in families of non-invertible maps of the plane. Families of two-dimensional non-invertible maps, with at least two parameters and critical points of fold type, exhibit a distinct type of critical scaling, the C-type. An accumulation of parameter values leads to an infinite collection of coexisting attracting cycles of periods $4^n$ or $2\cdot 4^n$. Asymptotically, period quadrupling is accompanied by parameter-space scaling and state-space scaling governed by particular universal constants. Kuznetsov et. al. explained this phenomenon in terms of a stationary orbit of period two of the renormalisation group (RG) transformation for period-doubling. We prove the existence of the corresponding renormalisation two-cycle in a Banach space of analytic maps and gain rigorous bounds on the corresponding universal state space scaling constants. This result provides a further step in proving a series of outstanding conjectures concerning distinct universality classes for period-doubling. It extends the recent results for unidirectionally-coupled maps (the FS-type) to bidirectionally-coupled maps, and generalises the framework from fixed points to periodic orbits of the corresponding renormalisation operators. It also provides a further step in establishing the conjectured picture that the C-type universality class is born from the FS-type class via a period-doubling bifurcation in the dynamics of the RG transformation itself. The proof relies on rigorous computations to establish that a variant of Newton's method for the two-cycle is a contraction map. The C-type scaling regularity is known to occur in a number of dynamical systems of interest, perhaps most notably in biologically-plausible models of nephron blood pressure autoregulation.

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 manuscript proves the existence of the C-type renormalisation two-cycle in a Banach space of analytic maps by showing via rigorous computations that a variant of Newton's method for the two-cycle is a contraction mapping on a ball around the candidate orbit. This yields bounds on the associated universal state-space scaling constants and supports the universality of the C-type route to chaos (period quadrupling with coexisting attracting cycles of periods 4^n or 2·4^n) in families of non-invertible planar maps with fold critical points.

Significance. If the contraction-mapping bounds hold, the result is significant: it extends recent computer-assisted proofs for the FS-type class (unidirectionally coupled maps, fixed points of the RG operator) to the bidirectionally coupled C-type case and to period-two orbits of the renormalization operator. It supplies verifiable, parameter-free bounds on the scaling constants and advances the conjectured picture that the C-type class emerges from the FS-type class via a period-doubling bifurcation in the dynamics of the RG transformation itself. The computer-assisted contraction argument is a methodological strength that can be independently checked.

minor comments (2)
  1. The abstract and introduction should state the precise Banach space (including the norm and domain of analyticity) and the explicit form of the renormalization operator at the outset, so that the contraction-mapping claim can be followed without first consulting later technical sections.
  2. Add a short paragraph describing the interval-arithmetic implementation, the choice of the ball radius, and the software or library used for the rigorous bounds; this improves reproducibility without altering the central argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were provided in the report, so we have no specific points to address point-by-point. The manuscript stands as submitted, and we are prepared to incorporate any minor editorial changes requested by the editor.

Circularity Check

0 steps flagged

No significant circularity; existence proof is self-contained

full rationale

The paper establishes existence of the C-type renormalisation two-cycle via a computer-assisted proof that a Newton-like operator is a contraction mapping on a ball in a Banach space of analytic maps. This is a direct verification using rigorous bounds (interval arithmetic) on the operator and its derivative, with no fitted parameters renamed as predictions, no self-definitional reductions, and no load-bearing self-citations that substitute for independent verification. The derivation chain is self-contained against external benchmarks and does not reduce any claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, axioms, or invented entities are stated. The central claim rests on the existence of a suitable Banach space in which the renormalization operator is well-defined and the contraction property holds.

axioms (1)
  • domain assumption A Banach space of analytic maps exists on which the renormalization operator for period-quadrupling is well-defined and differentiable.
    Invoked implicitly when the contraction-mapping argument is applied to locate the two-cycle.

pith-pipeline@v0.9.1-grok · 5867 in / 1212 out tokens · 16386 ms · 2026-06-27T23:10:58.370628+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

43 extracted references · 29 canonical work pages

  1. [1]

    Gianni Arioli and Hans Koch. The Critical Renormalization Fixed Point for Commuting Pairs of Area-Preserving Maps.Communications in Mathematical Physics, 295(2):415–429, April 2010.doi:10.1007/s00220-009-0922-1

  2. [2]

    Bezanson, A

    Jeff Bezanson, Alan Edelman, Stefan Karpinski, and Viral B Shah. Julia: A fresh approach to numerical computing.SIAM review, 59(1):65–98, 2017. URL: https://doi.org/10.1137/141000671

  3. [3]

    D Mireles James

    Maxime Breden, Jorge Gonzalez, and J. D Mireles James. Validated enclosure of renormalization fixed points via Chebyshev series and the DFT, 2024. URL: https://arxiv.org/abs/2409.20457,arXiv:2409.20457

  4. [4]

    Burbanks and A

    A. Burbanks and A. Stirnemann. Holder continuous Siegel disc boundary curves. Nonlinearity, 8(6):901, November 1995.doi:10.1088/0951-7715/8/6/002. 32

  5. [5]

    A. D. Burbanks, A. H. Osbaldestin, and A. Stirnemann. Rigorous Bounds on the Hausdorff Dimension of Siegel Disc Boundaries.Communications in Mathematical Physics, 199(2):417–439, December 1998.doi:10.1007/s002200050507

  6. [6]

    Burbanks, A.H

    A.D. Burbanks, A.H. Osbaldestin, and A. Stirnemann. Fractal dimension of Siegel disc boundaries.The European Physical Journal B - Condensed Matter and Complex Systems, 4(3):263–265, August 1998.doi:10.1007/s100510050377

  7. [7]

    Existence of the FS-type renor- malisation fixed point for unidirectionally-coupled pairs of maps.Journal of Physics A: Mathematical and Theoretical, 56(19):195202, April 2023

    Andrew Burbanks and Andrew Osbaldestin. Existence of the FS-type renor- malisation fixed point for unidirectionally-coupled pairs of maps.Journal of Physics A: Mathematical and Theoretical, 56(19):195202, April 2023. Pub- lisher: IOP Publishing. URL:https://dx.doi.org/10.1088/1751-8121/acc7dd, doi:10.1088/1751-8121/acc7dd

  8. [8]

    Burbanks.Renormalization for Siegel Discs

    Andrew D. Burbanks.Renormalization for Siegel Discs. Thesis, Loughborough University, January 1997. URL:https://hdl.handle.net/2134/27906

  9. [9]

    Burbanks, Andrew H

    Andrew D. Burbanks, Andrew H. Osbaldestin, and Judi A. Thurlby. Rigorous computer-assisted bounds on the period doubling renormal- ization fixed point and eigenfunctions in maps with critical point of degree 4.Journal of Mathematical Physics, 62(11):112701, Novem- ber 2021. URL:https://pubs.aip.org/jmp/article/62/11/112701/ 234026/Rigorous-computer-assist...

  10. [10]

    Dr Andrew Burbanks. andrewburbanks/burbanks-2021-04-22-code-rigorous- degree-4-jmp21-ar-00685: Release of source code originally submitted with preprint on 2021-04-22, October 2021.doi:10.5281/zenodo.5608449

  11. [11]

    andrewburbanks/existence-fs: Existence of the FS-type renormalisation fixed point [Software], October 2022

    Dr Andrew Burbanks. andrewburbanks/existence-fs: Existence of the FS-type renormalisation fixed point [Software], October 2022. URL:https://zenodo. org/records/7139006,doi:10.5281/zenodo.7139006

  12. [12]

    Citation pending; to be provided on journal submission., 2026

    Dr Andrew Burbanks. Citation pending; to be provided on journal submission., 2026

  13. [13]

    Coullet and C

    P. Coullet and C. Tresser. IT ´ERATIONS D’ENDOMORPHISMES ET GROUPE DE RENORMALISATION.Le Journal de Physique Colloques, 39(C5):C5–25– C5–28, August 1978.doi:10.1051/jphyscol:1978513

  14. [14]

    Cvitanovic.Universality in Chaos, 2nd Edition

    P. Cvitanovic.Universality in Chaos, 2nd Edition. Routledge, July 2017

  15. [15]

    American Mathematical Soc., 1984

    Jean Pierre Eckmann, Hans Koch, and Peter Wittwer.A Computer-Assisted Proof of Universality for Area-Preserving Maps. American Mathematical Soc., 1984

  16. [16]

    Springer-Verlag, Berlin/Heidelberg, 1985

    Jean-Pierre Eckmann and Peter Wittwer, editors.Computer Methods and Borel Summability Applied to Feigenbaum’s Equation, volume 227 ofLecture Notes in Physics. Springer-Verlag, Berlin/Heidelberg, 1985. URL:http://link. springer.com/10.1007/BFb0044703,doi:10.1007/BFb0044703

  17. [17]

    Feigenbaum

    Mitchell J. Feigenbaum. Quantitative universality for a class of nonlinear trans- formations.Journal of Statistical Physics, 19(1):25–52, July 1978. URL:http: //link.springer.com/10.1007/BF01020332,doi:10.1007/BF01020332

  18. [18]

    Feigenbaum

    Mitchell J. Feigenbaum. The universal metric properties of nonlinear transfor- mations.Journal of Statistical Physics, 21(6):669–706, December 1979.doi: 10.1007/BF01107909. 33

  19. [19]

    Period doubling in area-preserving maps: An associated one-dimensional problem.Ergodic Theory and Dynamical Systems, 31(4):1193–1228, August 2011.doi:10.1017/S0143385710000283

    Denis Gaidashev and Hans Koch. Period doubling in area-preserving maps: An associated one-dimensional problem.Ergodic Theory and Dynamical Systems, 31(4):1193–1228, August 2011.doi:10.1017/S0143385710000283

  20. [20]

    Golden mean Siegel disk universality and renormalization, April 2016

    Denis Gaidashev and Michael Yampolsky. Golden mean Siegel disk universality and renormalization, April 2016. URL:https://arxiv.org/abs/1604.00717v4

  21. [21]

    Miranker.Self-validating numerics for function space problems: computation with guarantees for differential and integral equa- tions

    Edgar Kaucher and Willard L. Miranker.Self-validating numerics for function space problems: computation with guarantees for differential and integral equa- tions. Number 9 in Notes and reports in computer science and applied mathe- matics. Acad. Pr, Orlando, Fla u.a, 1984.doi:10.1016/C2013-0-10948-8

  22. [22]

    RENORMALIZATION AND RIGIDITY

    Konstantin Khanin. RENORMALIZATION AND RIGIDITY. InProceed- ings of the International Congress of Mathematicians (ICM 2018), pages 1973– 1993, Rio de Janeiro, Brazil, May 2019. WORLD SCIENTIFIC.doi:10.1142/ 9789813272880_0126

  23. [23]

    Asymptotic scaling and universality for skew products with factors in sl(2,∖).Ergodic Theory and Dynamical Systems, 43(5):1594–1632, 2023.doi: 10.1017/etds.2022.22

    HANS KOCH. Asymptotic scaling and universality for skew products with factors in sl(2,∖).Ergodic Theory and Dynamical Systems, 43(5):1594–1632, 2023.doi: 10.1017/etds.2022.22

  24. [24]

    Hans Koch. A renormalization group fixed point associated with the breakup of golden invariant tori.Discrete and Continuous Dynamical Systems, 11(4):881– 909, Wed Sep 01 00:00:00 UTC 2004.doi:10.3934/dcds.2004.11.881

  25. [25]

    Hans Koch and Peter Wittwer. A non-Gaussian renormalization group fixed point for hierarchical scalar lattice field theories.Communications in Mathematical Physics, 106(3):495–532, September 1986.doi:10.1007/BF01207260

  26. [26]

    A nontrivial Renormalization Group fixed point for the Dyson-Baker hierarchical model.Communications in Mathemat- ical Physics, 164(3):627–647, August 1994.doi:10.1007/BF02101493

    Hans Koch and Peter Wittwer. A nontrivial Renormalization Group fixed point for the Dyson-Baker hierarchical model.Communications in Mathemat- ical Physics, 164(3):627–647, August 1994.doi:10.1007/BF02101493

  27. [27]

    U. W. Kulisch and W. L. Miranker. The Arithmetic of the Digital Computer: A New Approach.SIAM Review, 28(1):1–40, March 1986. URL:http://epubs. siam.org/doi/10.1137/1028001,doi:10.1137/1028001

  28. [28]

    Kuznetsov, S.p

    A.p. Kuznetsov, S.p. Kuznetsov, and I.r. Sataev. Variety of types of critical behavior and multistability in period-doubling systems with unidirectional cou- pling near the onset of chaos.International Journal of Bifurcation and Chaos, 03(01):139–152, February 1993. URL:https://www.worldscientific.com/doi/ abs/10.1142/S0218127493000106,doi:10.1142/S021812...

  29. [29]

    Kuznetsov, S.P

    A.P. Kuznetsov, S.P. Kuznetsov, and I.R. Sataev. A variety of period- doubling universality classes in multi-parameter analysis of transition to chaos.Physica D: Nonlinear Phenomena, 109(1-2):91–112, November 1997. URL:https://linkinghub.elsevier.com/retrieve/pii/S0167278997001620, doi:10.1016/S0167-2789(97)00162-0

  30. [30]

    S. P. Kuznetsov, A. P. Kuznetsov, and I. R. Sataev. Multiparameter Crit- ical Situations, Universality and Scaling in Two-Dimensional Period-Doubling Maps.Journal of Statistical Physics, 121(5-6):697–748, December 2005. URL:http://link.springer.com/10.1007/s10955-005-6973-6,doi:10.1007/ s10955-005-6973-6

  31. [31]

    S. P. Kuznetsov, A. A. Mailybaev, and I. R. Sataev. Birth of a New Class of Period-Doubling Scaling Behavior as a Result of Bifurcation in the Renor- malization Equation.Journal of Statistical Physics, 130(3):599–616, Febru- 34 ary 2008. URL:http://link.springer.com/10.1007/s10955-007-9442-6,doi: 10.1007/s10955-007-9442-6

  32. [32]

    S. P. Kuznetsov and I. R. Sataev. Period-doubling for two-dimensional non- invertible maps: Renormalization group analysis and quantitative universality. Physica D: Nonlinear Phenomena, 101(3):249–269, March 1997. URL:https:// www.sciencedirect.com/science/article/pii/S0167278996002370,doi:10. 1016/S0167-2789(96)00237-0

  33. [33]

    Sergey Kuznetsov and Igor Sataev. Universality and scaling for the breakup of phase synchronization at the onset of chaos in a periodically driven R¨ ossler oscilla- tor.Physical Review E, 64(4):046214, September 2001. URL:https://link.aps. org/doi/10.1103/PhysRevE.64.046214,doi:10.1103/PhysRevE.64.046214

  34. [34]

    S. P. Kuznetzov and I. R. Sataev. New types of critical dynam- ics for two-dimensional maps.Physics Letters A, 162(3):236–242, Febru- ary 1992. URL:https://www.sciencedirect.com/science/article/pii/ 037596019290440W,doi:10.1016/0375-9601(92)90440-W

  35. [35]

    Oscar E. Lanford. Computer-assisted proofs in analysis.Physica A: Statistical Mechanics and its Applications, 124(1-3):465–470, March 1984. URL:https: //linkinghub.elsevier.com/retrieve/pii/0378437184902620,doi:10.1016/ 0378-4371(84)90262-0

  36. [36]

    Laugesen, Erik Mosekilde, and Niels-Henrik Holstein-Rathlou

    Jakob L. Laugesen, Erik Mosekilde, and Niels-Henrik Holstein-Rathlou. C-type period-doubling transition in nephron autoregulation.Interface Focus, 1(1):132– 142, February 2011.doi:10.1098/rsfs.2010.0004

  37. [37]

    Technical University of Denmark, Kgs

    Jakob Lund Laugesen.Modelling Nephron Autoregulation and Synchronization in Coupled Nephron Systems. Technical University of Denmark, Kgs. Lyngby, Denmark, 2011. URL:https://api.semanticscholar.org/CorpusID:86628459

  38. [38]

    WORLD SCIENTIFIC, August 1993.doi:10

    R S MacKay.Renormalisation in Area-Preserving Maps, volume 6 ofAdvanced Series in Nonlinear Dynamics. WORLD SCIENTIFIC, August 1993.doi:10. 1142/2001

  39. [39]

    phd, University of Warwick, September 1985

    Benjamin David Mestel.A computer assisted proof of universality for cubic critical maps of the circle with Golden Mean rotation number. phd, University of Warwick, September 1985. URL:http://webcat.warwick.ac.uk/record=b1445855 ~S1

  40. [40]

    Moore.Interval analysis

    R.E. Moore.Interval analysis. Prentice-Hall series in automatic computation. Prentice-Hall, 1966. tex.lccn: lc66022090

  41. [41]

    Walter Rudin.Function theory in polydiscs. W.A. Benjamin, New York, 1969. OCLC: 3200

  42. [42]

    Existence of the Siegel disc renormalization fixed point.Nonlin- earity, 7(3):959–974, May 1994

    A Stirnemann. Existence of the Siegel disc renormalization fixed point.Nonlin- earity, 7(3):959–974, May 1994. URL:https://iopscience.iop.org/article/ 10.1088/0951-7715/7/3/011,doi:10.1088/0951-7715/7/3/011

  43. [43]

    Renormalization for golden circles.Communications in Mathematical Physics, 152(2):369–431, March 1993

    Andreas Stirnemann. Renormalization for golden circles.Communications in Mathematical Physics, 152(2):369–431, March 1993. URL:http://link. springer.com/10.1007/BF02098303,doi:10.1007/BF02098303. 35