A Phase Transition for Circle Maps with a Flat Spot and Different Critical Exponents
Pith reviewed 2026-05-24 16:17 UTC · model grok-4.3
The pith
Circle maps with a flat spot and different critical exponents split into two regions separated by a boundary fixed only by those exponents, where geometry changes via phase transition.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The space of such systems is partitioned in two connected parts whose common boundary only depends on the critical exponents. At this boundary there is a phase transition in the geometry of the system. This partition is obtained by studying the asymptotical behavior of the renormalization operator.
What carries the argument
The renormalization operator and its asymptotic behavior, which locates the phase-transition boundary and controls the geometric distinction between the two regions.
If this is right
- The boundary location is independent of all map parameters except the two critical exponents.
- Maps on each side of the boundary exhibit qualitatively different geometric scaling near the flat spot.
- The two regions remain connected for any fixed pair of exponents.
- The phase transition is detected directly from the limiting behavior of the renormalization iterates.
Where Pith is reading between the lines
- The same exponent-only boundary might appear in related classes of maps that possess flat intervals or critical points of unequal order.
- Numerical iteration of the renormalization operator for concrete exponent pairs could locate the transition value and test the independence claim.
- The result raises the question whether similar phase transitions governed by local exponents exist for interval exchange maps or other piecewise smooth systems.
Load-bearing premise
The long-term scaling produced by the renormalization operator is enough to fix both the location of the boundary and the geometric change, with no other map details affecting them.
What would settle it
Fix two critical exponents on either side of the predicted boundary value and compute successive renormalizations of sample maps; the limiting geometric scaling should switch precisely when the exponents cross the boundary.
Figures
read the original abstract
We study circle maps with a flat interval where the critical exponents at the two boundary points of the flat spot might be different. The space of such systems is partitioned in two connected parts whose common boundary only depends on the critical exponents. At this boundary there is a phase transition in the geometry of the system. Differently from the previous approaches, this is achieved by studying the asymptotical behavior of the renormalization operator.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies circle maps with a flat interval whose endpoints have possibly distinct critical exponents. It claims that the space of such maps partitions into two connected components whose common boundary depends only on the two critical exponents, and that a phase transition in the geometry occurs precisely on this boundary. The result is obtained by analyzing the asymptotic behavior of the renormalization operator rather than by previous methods.
Significance. If the central claim holds, the work would advance renormalization theory for circle maps with flat spots by showing that the geometric phase boundary is determined solely by the critical exponents. This would constitute a parameter-free characterization of the transition and extend earlier results on maps with equal exponents. The methodological shift to renormalization asymptotics is a potential strength if the estimates are complete.
major comments (2)
- [Abstract] The load-bearing claim that the boundary 'only depends on the critical exponents' requires that the long-term renormalization flow eliminates all other invariants (flat-interval length, higher derivatives away from the critical points, global topology). The abstract states this follows from the asymptotics but provides no indication of the estimates or contraction arguments that would rule out residual dependence on non-exponent parameters.
- Without the explicit renormalization estimates, the fixed-point analysis, or the verification that the limiting geometry is independent of initial map parameters besides the exponents, it is impossible to confirm that the phase transition is indeed governed solely by the exponents as asserted.
Simulated Author's Rebuttal
We thank the referee for the report and the opportunity to address the concerns regarding the dependence of the phase transition boundary solely on the critical exponents. We clarify below how the renormalization analysis in the manuscript supports this claim.
read point-by-point responses
-
Referee: [Abstract] The load-bearing claim that the boundary 'only depends on the critical exponents' requires that the long-term renormalization flow eliminates all other invariants (flat-interval length, higher derivatives away from the critical points, global topology). The abstract states this follows from the asymptotics but provides no indication of the estimates or contraction arguments that would rule out residual dependence on non-exponent parameters.
Authors: The manuscript develops the required estimates in Sections 3 and 4, where the asymptotic behavior of the renormalization operator is analyzed via explicit contraction mappings in suitable function spaces. These show that the flow eliminates dependence on the flat-interval length, higher derivatives, and global topology, leaving a limiting geometry determined only by the two critical exponents. The abstract summarizes the outcome; we will revise it to include a brief reference to the contraction estimates. revision: yes
-
Referee: [—] Without the explicit renormalization estimates, the fixed-point analysis, or the verification that the limiting geometry is independent of initial map parameters besides the exponents, it is impossible to confirm that the phase transition is indeed governed solely by the exponents as asserted.
Authors: The fixed-point analysis and independence verification appear in the renormalization estimates of Sections 3–5, which establish that all other parameters are contracted away under iteration, confirming the boundary depends only on the exponents. If these sections require further elaboration or additional lemmas, we are prepared to expand them. revision: no
Circularity Check
No circularity: renormalization asymptotics presented as independent derivation of exponent-only boundary
full rationale
The provided abstract and reader's summary state that the phase transition and exponent-dependent boundary are obtained by studying the asymptotical behavior of the renormalization operator, with no quoted equations, fitted parameters, or self-citations that reduce the claimed output to an input by construction. The central claim is framed as following from the operator analysis rather than from re-labeling or re-fitting quantities already defined from the same data. This matches the default expectation of a self-contained derivation.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Circle maps possess a flat interval with well-defined critical exponents at each boundary point.
Reference graph
Works this paper leans on
-
[1]
Crovisier, S., Guarino, P. and Palmisano, L., Ergodic properties of bimodal circle endomorphisms satisfying a Diophantine condition , Ergod. Th. & Dynam. Sys., 39, 2019, 6, 1462-1500
work page 2019
-
[2]
Graczyk, J., Dynamics of circle maps with flat spots , Fund. Math., 209, 2010, 3, 267-290
work page 2010
-
[3]
B., ´Swi¸ atek, G., Tangerman, F
Graczyk, J., Jonker, L. B., ´Swi¸ atek, G., Tangerman, F. M. and Veerman, J. J. P., Differentiable Circle Maps with a Flat Interval , Commun. Math. Phys., 173, 1995, 599-622
work page 1995
-
[4]
Herman, M., Sur la conjugaison diff´ erentiable des diff´ eomorphismes du cercle ` a des rotations,Inst. Hautes ´Etudes Sci. Publ. Math., 49, 1979, 5-233
work page 1979
-
[5]
Kozlovski, O. and Sebastian van Strien, Asymmetric unimodal maps with non- universal period-doubling scaling laws , arXiv:1907.05812
-
[6]
and Milnor, J., The Fibonacci unimodal map, J
Lyubich, M. and Milnor, J., The Fibonacci unimodal map, J. Amer. Math. Soc., 6, 1993, 2, 425–457
work page 1993
-
[7]
and van Strien, S., On Cherry flows , Ergodic Theory Dynam
Martens, M., de Melo, W., Mendes, P. and van Strien, S., On Cherry flows , Ergodic Theory Dynam. Systems, 10, 1990, 3, 531-554
work page 1990
-
[8]
Instability of Renormalization
Martens, M. and Winckler, B., Instability of Renormalization, arXiv:1609.04473
work page internal anchor Pith review Pith/arXiv arXiv
- [9]
-
[10]
de Melo, W., van Strien, S., One-dimensional Dynamics , Springer-Verlag, New York, 1993
work page 1993
-
[11]
Differential Equations, 89, 1991, 2, 305-316
Mendes, P., A metric property of Cherry vector fields on the torus , J. Differential Equations, 89, 1991, 2, 305-316
work page 1991
-
[12]
Moreira, P. C. and Ruas, A. A. Gaspar, Metric properties of Cherry flows , J. Differ- ential Equations, 97, 1992, 1, 16-26
work page 1992
-
[13]
Palmisano, L., A phase transition for circle maps and Cherry flows , Comm. Math. Phys., 321, 2013, 1, 135–155
work page 2013
-
[14]
Palmisano, L., Cherry Flows with non-trivial attractors , Fund. Math., 244, 2019, 3, 243–253
work page 2019
-
[15]
Palmisano, L., On physical measures for Cherry flows , Fund. Math., 232, 2016, 2, 167-179
work page 2016
-
[16]
Palmisano, L., Quasi-symmetric conjugacy for circle maps with a flat interval , Er- godic Theory Dynam. Systems(2), 39, 2019, 425–445
work page 2019
-
[17]
Palmisano, L., Unbounded regime for circle maps with a flat interval, Discrete Contin. Dyn. Syst., 35, 2015, 5, 2099–2122. 19
work page 2015
-
[18]
Tangerman, F. M. and Veerman, J. J. P., Scalings in circle maps. I , Comm. Math. Phys., 134, 1990, 1, 89-107
work page 1990
-
[19]
Tangerman, F. M. and Veerman, J. J. P., Scalings in circle maps. II , Comm. Math. Phys., 141, 1991, 2, 279-291
work page 1991
-
[20]
Veerman, J. J. P., Irrational rotation numbers, Nonlinearity, 2, 1989, 3, 419-428. 20
work page 1989
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.