pith. sign in

arxiv: 2605.19493 · v1 · pith:5FNMRPY7new · submitted 2026-05-19 · 🧮 math.DS

Breaking of invariant curves: from the Fermi-Ulam map to the breathing circle billiard

Jos\'e Lamas , Stefano Mar\`o This is my paper

Pith reviewed 2026-05-20 02:34 UTC · model grok-4.3

classification 🧮 math.DS
keywords breathing circle billiardFermi-Ulam mapMather converse-KAM criterioninvariant curvestopological entropysymplectic twist mapsAubry-Mather theory
0
0 comments X

The pith

Perturbing the Fermi-Ulam map with small angular momentum destroys invariant Lipschitz graphs for suitable rotation numbers and produces positive topological entropy in the breathing circle billiard.

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

The paper studies the breathing circle billiard, a particle moving inside a disk whose radius changes periodically in time. Angular momentum is conserved, so fixing its value reduces the motion to an exact symplectic twist map on a cylinder. For small angular momentum the map is viewed as a perturbation of the limiting Fermi-Ulam map obtained when angular momentum vanishes. A quantitative form of Mather's converse-KAM criterion is applied to the perturbed generating function to rule out invariant Lipschitz graphs for certain rotation numbers. When this exclusion is combined with Aubry-Mather theory and Forni's theorem, the system is shown to have positive topological entropy for all sufficiently small nonnegative angular momentum.

Core claim

In the breathing circle billiard the high-energy dynamics with fixed angular momentum c is an exact symplectic twist map generated by a diagonally periodic function h_c. Treating the small-c regime as a perturbation of the c=0 Fermi-Ulam map, a quantitative version of Mather's converse-KAM criterion excludes invariant Lipschitz graphs for suitable rotation numbers. Combined with Aubry-Mather theory and Forni's theorem, this establishes positive topological entropy for all sufficiently small c greater than or equal to zero, with a sharper quantitative threshold than earlier applications of the standard criterion.

What carries the argument

Quantitative version of Mather's converse-KAM criterion applied to the perturbed generating function h_c of the twist map obtained for small angular momentum.

If this is right

  • Invariant Lipschitz graphs are destroyed for suitable rotation numbers once angular momentum is positive but small.
  • The billiard map has positive topological entropy for all sufficiently small nonnegative angular momentum.
  • The quantitative threshold for curve destruction is strictly sharper than the one obtained from the standard Mather criterion.
  • The twist property of the map remains intact under the small-c perturbation.

Where Pith is reading between the lines

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

  • The same perturbative strategy could be tested on other periodically driven billiards whose zero-angular-momentum limit is integrable.
  • The entropy lower bound obtained here may be used to estimate the rate at which chaotic regions grow with angular momentum.
  • Numerical verification of the excluded rotation numbers would give an independent check of the quantitative criterion's sharpness.

Load-bearing premise

The small-angular-momentum regime can be treated as a perturbation of the c=0 Fermi-Ulam dynamics while preserving the twist property and the applicability of the quantitative converse-KAM criterion to the perturbed generating function h_c.

What would settle it

A direct numerical check that finds an invariant Lipschitz graph for one of the rotation numbers and sufficiently small c values where the quantitative criterion is claimed to apply would falsify the exclusion result.

read the original abstract

We consider the breathing circle billiard, in which a point particle moves freely inside a disk. The radius varies periodically in time, with elastic reflections at the moving boundary. In this system the angular momentum is preserved, and fixing its value $c$ reduces the dynamics to a two-dimensional exact symplectic map on a cylinder. In the high-energy regime this map is a twist map generated by a diagonally periodic generating function $h_c$. We study the small angular momentum regime as a perturbation of the limiting case $c=0$, which corresponds to the Fermi-Ulam dynamics along a diameter. Using this perturbative structure and a quantitative version of Mather's converse-KAM criterion, we exclude invariant Lipschitz graphs for suitable rotation numbers. Combined with Aubry-Mather theory and Forni's theorem, this yields positive topological entropy for sufficiently small $c\geq0$. Our result improves previous similar results obtained via the standard Mather's converse-KAM criterion by giving a sharper quantitative threshold for the destruction of invariant curves.

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

2 major / 2 minor

Summary. The paper considers the breathing circle billiard with periodically varying radius. Angular momentum c is conserved, reducing the dynamics to an exact symplectic twist map on the cylinder generated by a diagonally periodic function h_c. The small-c regime is treated as a perturbation of the c=0 Fermi-Ulam map along a diameter. A quantitative version of Mather's converse-KAM criterion is applied to exclude invariant Lipschitz graphs for suitable rotation numbers. Combined with Aubry-Mather theory and Forni's theorem, this establishes positive topological entropy for all sufficiently small c ≥ 0, improving prior results by furnishing a sharper quantitative threshold on c.

Significance. If the quantitative perturbation estimates hold, the result supplies an explicit improvement on the range of angular momenta for which chaos is rigorously proven in this time-dependent billiard. The combination of perturbative reduction, quantitative converse-KAM, and standard global theorems (Aubry-Mather, Forni) yields a concrete, falsifiable bound that can guide numerical exploration and further analysis of the transition to positive entropy.

major comments (2)
  1. [§3] §3 (Perturbative expansion of h_c): The manuscript asserts that ||h_c - h_0||_{C^2} is small enough to satisfy the explicit threshold of the quantitative Mather converse-KAM criterion for the chosen Diophantine rotation numbers. However, the expansion of the generating function in powers of c produces remainder terms whose C^2 size must be shown to lie strictly below the destruction threshold determined by the twist constant and the Diophantine constant α. Without an explicit inequality verifying this for the claimed interval of small c, the sharper quantitative bound cannot be guaranteed and the improvement over the standard (non-quantitative) Mather criterion remains unestablished.
  2. [§4] §4 (Application of quantitative criterion): The proof invokes a quantitative version of Mather's converse-KAM theorem on the perturbed map. It is not clear from the stated estimates whether the twist property is preserved uniformly in the small-c regime or whether the required lower bound on the twist constant survives the perturbation at the scale needed for the criterion. This is load-bearing for the exclusion of Lipschitz graphs.
minor comments (2)
  1. [Introduction] Notation for the generating function h_c should be introduced with an explicit statement of its domain and periodicity properties before the perturbative analysis begins.
  2. [§5] The precise statement of Forni's theorem as applied here (including the required topological or measure-theoretic hypotheses) should be recalled in a short paragraph to make the final step self-contained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The two major comments identify places where the perturbative estimates and the uniform twist lower bound need to be made fully explicit. We address each point below and will revise the manuscript accordingly to strengthen the quantitative claims.

read point-by-point responses

  1. Referee: [§3] §3 (Perturbative expansion of h_c): The manuscript asserts that ||h_c - h_0||_{C^2} is small enough to satisfy the explicit threshold of the quantitative Mather converse-KAM criterion for the chosen Diophantine rotation numbers. However, the expansion of the generating function in powers of c produces remainder terms whose C^2 size must be shown to lie strictly below the destruction threshold determined by the twist constant and the Diophantine constant α. Without an explicit inequality verifying this for the claimed interval of small c, the sharper quantitative bound cannot be guaranteed and the improvement over the standard (non-quantitative) Mather criterion remains unestablished.

    Authors: We agree that an explicit comparison is necessary to justify the sharper threshold. The manuscript derives the expansion h_c = h_0 + c^2 h_2 + O(c^3) in the C^2 topology and states that the remainder is controlled for small c, but does not write the direct inequality against the destruction threshold δ(α,κ) of the quantitative criterion. In the revised version we will add, at the end of §3, the bound ||R_c||_{C^2} ≤ K c^3 together with the explicit condition c < min(δ(α,κ)/K , c*), where c* is the radius of validity of the expansion. This will make the improvement over the non-quantitative Mather criterion fully rigorous and falsifiable. revision: yes

  2. Referee: [§4] §4 (Application of quantitative criterion): The proof invokes a quantitative version of Mather's converse-KAM theorem on the perturbed map. It is not clear from the stated estimates whether the twist property is preserved uniformly in the small-c regime or whether the required lower bound on the twist constant survives the perturbation at the scale needed for the criterion. This is load-bearing for the exclusion of Lipschitz graphs.

    Authors: We thank the referee for highlighting this point. The twist constant of the map generated by h_c is the infimum of ∂²h_c/∂θ∂r. For c=0 this infimum equals κ_0 > 0. Because the perturbation is O(c) in C^1, the difference |κ_c - κ_0| ≤ C c. Consequently, for all c < κ_0/(2C) we have κ_c ≥ κ_0/2. We will insert a short lemma at the beginning of §4 that records this uniform lower bound and verifies that κ_0/2 remains compatible with the quantitative threshold used in the converse-KAM statement. This makes the applicability of the criterion for small c fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external theorems

full rationale

The paper reduces the breathing billiard to a twist map generated by h_c, treats small-c dynamics as a perturbation of the c=0 Fermi-Ulam case, invokes a quantitative Mather converse-KAM criterion to destroy invariant graphs for suitable rotation numbers, and combines the result with Aubry-Mather theory plus Forni's theorem to obtain positive entropy. All load-bearing steps cite established external results whose statements and proofs are independent of the present work; no self-definition of quantities, no fitted parameters renamed as predictions, and no load-bearing self-citation chain appears in the abstract or described chain. The claimed improvement is a quantitative sharpening whose validity rests on explicit perturbation estimates rather than tautological re-labeling of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the perturbative reduction to the Fermi-Ulam map, the twist property of the generating function h_c, and the applicability of Aubry-Mather theory plus Forni's theorem; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math Aubry-Mather theory
    Invoked to conclude positive topological entropy once invariant graphs are excluded.
  • standard math Forni's theorem
    Combined with the exclusion result to obtain positive topological entropy.

pith-pipeline@v0.9.0 · 5708 in / 1305 out tokens · 51196 ms · 2026-05-20T02:34:23.530477+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

27 extracted references · 27 canonical work pages

  1. [1]

    A Remark on the Topological Entropy and Invariant Circles of an Area Preserving Twist Map

    S. B. Angenent. “A Remark on the Topological Entropy and Invariant Circles of an Area Preserving Twist Map”. In:Twist Mappings and Their Applications. Vol. 44. 1992, pp. 1–5

    work page 1992

  2. [2]

    Monotone Recurrence Relations, Their Birkhoff Orbits and Topological Entropy

    S. B. Angenent. “Monotone Recurrence Relations, Their Birkhoff Orbits and Topological Entropy”. In:Ergodic Theory Dynam. Systems10.1 (1990), pp. 15–41.doi:10.1017/S014338570000537X

    work page doi:10.1017/s014338570000537x 1990

  3. [3]

    Mather Sets for Twist Maps and Geodesics on Tori

    V. Bangert. “Mather Sets for Twist Maps and Geodesics on Tori”. In:Dynamics Reported. Vol. 1. 1988, pp. 1–56.doi:10.1007/978-3-322-96656-8_1

    work page doi:10.1007/978-3-322-96656-8_1 1988

  4. [4]

    Chaotic Motion in the Breathing Circle Billiard

    C. Bonanno and S. Mar` o. “Chaotic Motion in the Breathing Circle Billiard”. In:Ann. Henri Poincar´ e23.1 (2022), pp. 255–291.doi:10.1007/s00023-021-01090-9

    work page doi:10.1007/s00023-021-01090-9 2022

  5. [5]

    Global Dynamics of the Breathing Circle Billiard

    Z. Cao et al. “Global Dynamics of the Breathing Circle Billiard”. In:Qual. Theory Dyn. Syst.21 (2022), p. 102.doi:10.1007/s12346-022-00619-5

    work page doi:10.1007/s12346-022-00619-5 2022

  6. [6]

    Splitting of Separatrices, Scattering Maps, and En- ergy Growth for a Billiard inside a Time-Dependent Symmetric Domain Close to an Ellipse

    C. P. Dettmann, V. Fain, and D. Turaev. “Splitting of Separatrices, Scattering Maps, and En- ergy Growth for a Billiard inside a Time-Dependent Symmetric Domain Close to an Ellipse”. In: Nonlinearity31.3 (2018), pp. 667–700.doi:10.1088/1361-6544/aa9ee5

    work page doi:10.1088/1361-6544/aa9ee5 2018

  7. [7]

    1949, Physical Review, 75, 1169, doi: 10.1103/PhysRev.75.1169

    E. Fermi. “On the Origin of the Cosmic Radiation”. In:Phys. Rev.75.8 (1949), pp. 1169–1174.doi: 10.1103/PhysRev.75.1169

    work page doi:10.1103/physrev.75.1169 1949

  8. [8]

    Construction of Invariant Measures Supported within the Gaps of Aubry-Mather Sets

    G. Forni. “Construction of Invariant Measures Supported within the Gaps of Aubry-Mather Sets”. In:Ergodic Theory Dynam. Systems16.1 (1996), pp. 51–86.doi:10.1017/S0143385700008713

    work page doi:10.1017/s0143385700008713 1996

  9. [9]

    Fermi Acceleration and Adiabatic Invariants for Non-Autonomous Billiards

    V. Gelfreich, V. Rom-Kedar, and D. Turaev. “Fermi Acceleration and Adiabatic Invariants for Non-Autonomous Billiards”. In:Chaos22.3 (2012), p. 033116.doi:10.1063/1.4736542

    work page doi:10.1063/1.4736542 2012

  10. [10]

    Converse KAM Theory for Monotone Positive Symplectomorphisms

    A. Haro. “Converse KAM Theory for Monotone Positive Symplectomorphisms”. In:Nonlinearity 12.5 (1999), pp. 1299–1322.doi:10.1088/0951-7715/12/5/304

    work page doi:10.1088/0951-7715/12/5/304 1999

  11. [11]

    Time-Dependent Billiards

    J. Koiller et al. “Time-Dependent Billiards”. In:Nonlinearity8.6 (1995), pp. 983–1003.doi:10. 1088/0951-7715/8/6/006

    work page 1995

  12. [12]

    Complete Orbits for Twist Maps on the Plane: The Case of Small Twist

    M. Kunze and R. Ortega. “Complete Orbits for Twist Maps on the Plane: The Case of Small Twist”. In:Ergodic Theory Dynam. Systems31.5 (2011), pp. 1471–1498.doi:10.1017/S0143385710000520

    work page doi:10.1017/s0143385710000520 2011

  13. [13]

    Invariant Curves and Time-Dependent Potentials

    S. Laederich and M. Levi. “Invariant Curves and Time-Dependent Potentials”. In:Ergodic Theory Dynam. Systems11.2 (1991), pp. 365–378.doi:10.1017/S0143385700006192. 15

    work page doi:10.1017/s0143385700006192 1991

  14. [14]

    Converse KAM Theory for Symplectic Twist Maps

    R. S. MacKay, J. D. Meiss, and J. Stark. “Converse KAM Theory for Symplectic Twist Maps”. In: Nonlinearity2.4 (1989), pp. 555–570.doi:10.1088/0951-7715/2/4/004

    work page doi:10.1088/0951-7715/2/4/004 1989

  15. [15]

    Converse KAM: Theory and Practice

    R. S. MacKay and I. C. Percival. “Converse KAM: Theory and Practice”. In:Comm. Math. Phys. 98.4 (1985), pp. 469–512.doi:10.1007/BF01209326

    work page doi:10.1007/bf01209326 1985

  16. [16]

    A Mechanical Counterexample to KAM Theory with Low Regularity

    S. Mar` o. “A Mechanical Counterexample to KAM Theory with Low Regularity”. In:Physica D 283 (2014), pp. 10–14.doi:10.1016/j.physd.2014.05.010

    work page doi:10.1016/j.physd.2014.05.010 2014

  17. [17]

    Coexistence of Bounded and Unbounded Motions in a Bouncing Ball Model

    S. Mar` o. “Coexistence of Bounded and Unbounded Motions in a Bouncing Ball Model”. In:Non- linearity26.5 (2013), pp. 1439–1448.doi:10.1088/0951-7715/26/5/1439

    work page doi:10.1088/0951-7715/26/5/1439 2013

  18. [18]

    Diffusion and Chaos in a Bouncing Ball Model

    S. Mar` o. “Diffusion and Chaos in a Bouncing Ball Model”. In:Z. Angew. Math. Phys.71.3 (2020), p. 78.doi:10.1007/s00033-020-01300-0

    work page doi:10.1007/s00033-020-01300-0 2020

  19. [19]

    Stability of Some Periodic Configurations of Discrete Lagrangian Equa- tions

    S. Mar` o and R. Ortega. “Stability of Some Periodic Configurations of Discrete Lagrangian Equa- tions”. In:Nonlinear Anal.264 (2026), p. 114002.doi:10.1016/j.na.2025.114002

    work page doi:10.1016/j.na.2025.114002 2026

  20. [20]

    Glancing Billiards

    J. N. Mather. “Glancing Billiards”. In:Ergodic Theory Dynam. Systems2.3-4 (1982), pp. 397–403. doi:10.1017/S0143385700001681

    work page doi:10.1017/s0143385700001681 1982

  21. [21]

    Variational Construction of Orbits of Twist Diffeomorphisms

    J. N. Mather. “Variational Construction of Orbits of Twist Diffeomorphisms”. In:J. Amer. Math. Soc.4.2 (1991), pp. 207–263.doi:10.1090/S0894-0347-1991-1080112-5

    work page doi:10.1090/s0894-0347-1991-1080112-5 1991

  22. [22]

    Action Minimizing Orbits in Hamiltonian Systems

    J. N. Mather and G. Forni. “Action Minimizing Orbits in Hamiltonian Systems”. In:Transi- tion to Chaos in Classical and Quantum Mechanics. Vol. 1589. 1994, pp. 92–186.doi:10.1007/ BFb0074076

    work page 1994

  23. [23]

    Bounded Gain of Energy on the Breathing Circle Billiard

    S. Oliffson Kamphorst and S. Pinto de Carvalho. “Bounded Gain of Energy on the Breathing Circle Billiard”. In:Nonlinearity12.5 (1999), pp. 1363–1371.doi:10.1088/0951-7715/12/5/310

    work page doi:10.1088/0951-7715/12/5/310 1999

  24. [24]

    On measures of entropy and information,

    S. M. Ulam. “On Some Statistical Properties of Dynamical Systems”. In:Proceedings of the Fourth Berkeley Symposium on Mathematical Statistics and Probability. Vol. 3. 1961, pp. 315–320.url: https://projecteuclid.org/euclid.bsmsp/1200512818

    work page arXiv 1961

  25. [25]

    Aubry-Mather Sets of the Breathing Circle Billiard

    X. Zhang, D. Li, and X. Liu. “Aubry-Mather Sets of the Breathing Circle Billiard”. In:Math. Methods Appl. Sci.48.12 (2025), pp. 11823–11835.doi:10.1002/mma.10996

    work page doi:10.1002/mma.10996 2025

  26. [26]

    Stability Analysis of the Breathing Circle Billiard

    X. Zhang et al. “Stability Analysis of the Breathing Circle Billiard”. In:Chaos Solitons Fractals 155 (2022), p. 111643.doi:10.1016/j.chaos.2021.111643

    work page doi:10.1016/j.chaos.2021.111643 2022

  27. [27]

    Instability in Fermi-Ulam Ping-Pong Problem

    V. Zharnitsky. “Instability in Fermi-Ulam Ping-Pong Problem”. In:Nonlinearity11.6 (1998), pp. 1481– 1487.doi:10.1088/0951-7715/11/6/003. 16

    work page doi:10.1088/0951-7715/11/6/003 1998