Pith. sign in

REVIEW 3 major objections 3 minor 21 references

Existence and Nonexistence of Invariant Curves of Coin Billiards

T0 review · 3 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that for noncircular coin billiards, sufficiently tall coins destroy all invariant curves near the boundary, and that the only coin billiard whose phase space is completely foliated by essential invariant curves is the…

desk verdict New and believable results on coin billiards, but Theorem C's Step 1 has a logical gap that needs a repair before the foliation result is fully established. read the letter →

arxiv 2411.13214 v2 pith:5MY4FO7X submitted 2024-11-20 math.DS

Santiago Barbieri , Andrew Clarke This is my paper · ORCID
classification math.DS MSC 37E4037J4037D50
keywords coinbilliardessentialinvariantcurvesKAMtheorytwistmapscausticsnonintegrabilitytopologicalentropyLipschitzboundsfor
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Coin billiards are a one-parameter modification of the classical billiard: a particle bounces inside a strictly convex plane domain, then travels along a cylinder of height $\ell$ before bouncing again, which adds a shift $\ell\cot\theta$ to the collision point. This paper asks whether the resulting annulus map has invariant curves, the curves that would separate the phase space and block ergodicity. The answer has three parts. In perturbative regimes (small height, or tables close to a circle) there is a positive-measure family of invariant KAM curves near, but not accumulating on, the boundary. For any noncircular sufficiently smooth table and any height above a threshold fixed by the curvature of the boundary, all essential invariant curves disappear from a neighborhood of the boundary, in contrast to the classical billiard, where a classical theorem guarantees boundary-accumulating invariant curves. Finally, the only coin billiard whose whole phase space is foliated by essential invariant curves is the circular one. If correct, these results settle the main structural questions for the coin billiard in the large-height and foliation cases, and imply nonintegrability and positive entropy for noncircular coins that are sufficiently tall.

What carries the argument

The load-bearing object is the coin map $T = T_2 \circ T_1$, with the shift $T_2(\varphi,\theta)=(\varphi+\ell\cot\theta,\theta)$: the unbounded shift $\ell\cot\theta$ gives the map a strong twist near the boundary. Composing the standard near-boundary expansion of the billiard map with this shift yields $\bar\theta = \theta - \frac{2}{3}\rho'(\varphi)\theta^2 + O(\theta^3)$ and $\bar\varphi = \varphi + \ell/\theta + O(\theta)$, where $\rho$ is the radius of curvature. The arguments then use two devices: a sequence of vertically-mapped graphs $G_m$, graphs on which the map advances the arclength coordinate by exactly $2m\pi$, which accumulate on the boundary and force any invariant curve to lie in narrow bands; and a Lipschitz bound saying that an invariant curve near the boundary must be nearly horizontal. The contradiction in Theorem 9 is that strong twist plus curvature variation forces the map to reverse orientation on any candidate curve, while the generating-function or Lipschitz estimates rule out the required geometry.

What would settle it

Fix a strictly convex noncircular $C^5$ table (for example, an ellipse with known curvature $\rho$), choose $\ell > -3/\min \rho''$, and numerically integrate a fine grid of initial conditions in the strip $\theta < \delta$ for decreasing $\delta$. If an essential invariant curve is found at arbitrarily small $\delta$, Theorem 9 is false; equivalently, compute the Lipschitz constant of any candidate curve and check whether it violates the bound the paper derives.

Watch

Extended reading notes

Core claim

The central claim is that the coin billiard map $T = T_2 \circ T_1$, where $T_1$ is the classical billiard map and $T_2(\varphi,\theta)=(\varphi+\ell\cot\theta,\theta)$ shifts the arclength coordinate, behaves very differently from the classical billiard near the boundary. For any noncircular strictly convex $C^5$ table $\Gamma$, there is a critical height $\ell_0 = -3/\min_{\varphi}\rho''(\varphi)$, where $\rho$ is the radius of curvature, such that for every $\ell > \ell_0$ no essential invariant curve passes through a neighborhood of the boundary of the annulus. Moreover, for every $\ell > 0$, if the annulus is foliated by essential invariant curves then $\Gamma$ must be a disc. The same machinery yields KAM curves in perturbative regimes (small height or near-circular tables) and, for $\ell > \ell_0$, drifting orbits, positive topological entropy, and nonintegrability.

Load-bearing premise

The results hinge on the near-boundary Taylor expansion of the coin map remaining valid after one derivative in the arclength coordinate, which is what the $C^5$ regularity assumption guarantees; if the remainder terms are not controlled, the graph and Lipschitz arguments collapse.

Editorial extensions

If this is right

  • For every noncircular $C^5$ table and every $\ell > -3/\min \rho''$, the coin map has no essential invariant curve in a boundary strip, and consequently has orbits that drift from the interior to the boundary.
  • The same non-existence forces a horseshoe and positive topological entropy for large heights.
  • For large heights, noncircular coin billiards are nonintegrable.
  • If a coin billiard at any height is completely foliated by essential invariant curves, the table is a disc; for the disc the map is integrable, so this is sharp.
  • In the small-height or near-circular regimes, a set of positive Lebesgue measure of Diophantine KAM curves exists in a strip away from the boundary, so those coin billiards are not ergodic.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The threshold $\ell_0 = -3/\min \rho''$ depends only on the second derivative of the radius of curvature at its minimum; for explicit tables such as ellipses this gives a computable prediction that could be tested by direct numerical searches for boundary KAM curves.
  • The mechanism, unbounded twist plus a Lipschitz bound, does not use the specific form of the billiard map beyond its near-boundary expansion, so it should extend to other pensive billiards whose delay shift also diverges at the boundary.
  • The trichotomy in Theorem 11 suggests a route to small-height nonintegrability: an integrable noncircular coin would have to exhibit island chains with integer rotation number accumulating on the boundary, and generic splitting of their separatrices would complete the argument.
  • The near-boundary expansion shows that the $\theta$-dynamics of the coin map agrees with that of the classical billiard to leading order; the destruction of invariant curves is caused by the $\varphi$-shift, not by new $\theta$-dynamics.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper studies the coin billiard map T = T2 ∘ T1 on the annulus A = T × (0, π), where T1 is a classical billiard map and T2 is the shear (φ, θ) ↦ (φ + ℓ cot θ, θ). Three main results are claimed: (A) KAM invariant curves exist in a strip near, but not accumulating on, the boundary when the coin height ℓ is small or the table is near-circular; (B) for any non-circular C^5 strictly convex table and any sufficiently large ℓ, no essential invariant curve passes through a neighbourhood of the boundary; (C) if the coin map admits a full foliation by essential invariant curves for some ℓ > 0, then the table is a disc. Theorems A and B are proved through expansions near the boundary, Moser's KAM theorem, Mather's variational method, and Herman-type Lipschitz estimates. Theorem C is proved via vertically-mapped graphs, Herman bounds, and a trichotomy argument, with a quantitative lower bound on the measure of the obstruction regions. Numerical phase portraits for elliptical coins illustrate the transition from KAM curves to chaotic behaviour.

Significance. If the main theorems are correct, the paper gives substantial and partly unexpected answers to Bialy's questions: in contrast with Lazutkin's classical result, tall non-circular coin billiards have no boundary KAM curves, and the circular coin is the only one whose phase space is completely foliated by essential invariant curves. The explicit formula ℓ0 = -3 / min ρ'' and the quantitative measure estimate in Theorem 11 are valuable. The paper also gives two independent proofs of Theorem B and credibly connects the results to nonintegrability, horseshoes, and positive entropy. A particular strength is that the arguments are essentially parameter-free: no constants are fitted to the conclusions, and the proofs rest on standard external results (Moser, Herman, Mather, Lazutkin). The numerical section is illustrative but not a substitute for the analytic proofs.

major comments (3)
  1. [Section 7, Theorem 11, Step 1] The assertion that D_m = ∅ would make each graph G_m flat and give circular caustics for the classical billiard is a non-sequitur. From D_m = ∅ one obtains only Π_θ T(φ, g_m(φ)) = g_m(φ), i.e. θ-invariance along G_m; it does not follow that g_m is constant, and T_1 need not map G_m to itself because its φ-coordinate changes. The conclusion can be recovered directly from expansion (2.2): if Π_θ T(φ, g_m(φ)) = g_m(φ), then (2/3)ρ'(φ)g_m(φ)^2 + O(g_m(φ)^3) = 0, so |ρ'(φ)| ≤ C g_m(φ) uniformly; since g_m → 0 uniformly as m → ∞, this forces ρ' ≡ 0 and hence Γ to be a disc. This repair is absent from the manuscript. Step 3 later contains a valid proof of the needed nonemptiness for φ⋆ in J_Γ, so the theorem is likely salvageable by reorganizing the proof, but as written the proof of point 1 depends on an unjustified step.
  2. [Section 6, first proof of Theorem 9, after Eq. (14)] The sign in the displayed consequence is wrong. For x1 with ρ''(x1) = min ρ'' < 0, the condition ℓ > -3/ρ''(x1) implies ∂H/∂x1 / ε^3 = -2/ℓ - (2/3)ρ''(x1) > 0, not < 0. The subsequent implicit-function conclusion requires ∂H/∂x1 > 0 in order for ν to be decreasing in both arguments, so the proof is salvageable by replacing '< 0' with '> 0' and adjusting the surrounding sentence. As written, this step is false. The second proof of Theorem 9 is independent of this error.
  3. [Section 5, Lemma 4(3)] The estimate |g'_m(φ)| ≤ (8/3)ρ''(φ)g_m(φ)^2 is not valid as stated for non-circular Γ, because ρ'' takes negative values and the right-hand side is then negative while the left-hand side is nonnegative. The proof of the estimate only controls the numerator by a constant multiple of max|ρ''|, so the correct form is an absolute-value bound such as |g'_m(φ)| ≤ C max_x |ρ''(x)| g_m(φ)^2. The use in Corollary 8 already passes to max|ρ''|, so this is a local fix, but the lemma statement and proof should be corrected.
minor comments (3)
  1. [Throughout] Several cross-references to displayed formulas are inconsistent or ambiguous; for example, the proof of Lemma 4 refers to 'expression (5)' before the displayed derivative formula, and Section 6 repeatedly refers to '(6)' without a matching label. Please renumber and check all internal references.
  2. [Section 4] In Theorems 2 and 3 the positive-measure conclusion is stated for the whole displayed strip, but Moser's theorem applies to a subinterval strictly inside the coordinate range; the wording should clarify which subset of the strip carries the positive-measure family.
  3. [Section 8] The numerical section is descriptive; a short statement of the integration method, the number of iterates, and the resolution of the phase portraits would improve reproducibility.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proofs rest on external KAM, Mather, Herman, and Lazutkin results, with no fitted inputs renamed as predictions and no load-bearing self-citations.

full rationale

The paper's derivation chain is self-contained against external benchmarks. The near-boundary expansion (2.2) is obtained by explicitly composing Lazutkin's classical billiard expansion (2.1) with the shift T2(phi,theta)=(phi+ell cot theta,theta); it is not an input that already contains the nonexistence conclusions. Theorem A is proved by putting the map into Moser's normal form and invoking Moser's KAM theorem. The two proofs of Theorem B use Mather's variational method and Herman's Lipschitz bounds, respectively, with the vertically-mapped graphs constructed by the implicit function theorem from the expansion. Theorem C uses the same Lipschitz bounds plus classical facts about twist maps and rotation numbers; it invokes Bialy's theorem as background context, not as the source of the coin-billiard conclusion. No parameter is fitted to the target conclusions, and the authors do not cite their own prior work as justification for the central claims. The skeptical concerns raised in the reader's summary are correctness or proof-gap issues rather than circularity: the inference in Theorem 11 Step 1 from D_m=empty to flat graphs and circular caustics is not justified as written, and the sign discussion in the first proof of Theorem 9 appears to contain an error. But neither makes any claimed result equivalent by definition or by construction to its inputs; both are local arguments that could be repaired without changing the external derivation framework. Therefore no circular step is present, and the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The proofs are built on standard external theorems from twist-map and billiard theory (Moser, Herman, Mather, Poincare, Lazutkin). No free parameters are fitted and no new entities are posited; the only domain assumptions are the stated regularity conditions and the validity of the near-boundary expansion.

assumptions (6)
  • standard math Moser's KAM theorem for real-analytic twist maps with the intersection property (Theorem 13 in the appendix).
    Used in Section 4 to prove existence of KAM curves in the two perturbative settings.
  • standard math Herman's Lipschitz bounds and standard results on invariant curves of monotone twist maps (see [10]).
    Used in Lemma 10, the second proof of Theorem 9, and the proof of Theorem 11.
  • standard math Mather's variational method with generating functions for exact symplectic twist maps [17].
    Adapted in the first proof of Theorem 9.
  • standard math Poincare's theorem on rotation numbers and classical results on Birkhoff zones of instability [1,2,11,15].
    Used in Corollaries 6-7 and in Step 2 of the proof of Theorem 11.
  • standard math Lazutkin's expansion (2.1) of the classical billiard map near the boundary, on which the near-boundary expansion (2.2) of the coin map is based.
    Stated in Section 2 and used throughout the proofs.
  • domain assumption The boundary regularity assumptions: C^5 for Theorems 9 and 11, real-analytic for Theorem A.
    Explicitly stated in the theorem hypotheses; the proofs rely on differentiating the near-boundary expansions, so this regularity is load-bearing.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existence and Nonexistence of Invariant Curves of Coin Billiards." pith.science (2026). https://pith.science/paper/5MY4FO7X

@misc{pith2026241113214,
  author       = {Pith},
  title        = {Pith review of: Existence and Nonexistence of Invariant Curves of Coin Billiards},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5MY4FO7X}},
  note         = {Machine review of arXiv:2411.13214}
}
abstract

In this paper we consider the coin billiard introduced by M. Bialy. It is a modification of the classical billiard, obtained as the return map of a nonsmooth geodesic flow on a cylinder that has homeomorphic copies of a classical billiard on the top and on the bottom (a coin). The return dynamics is described by a map $T$ of the annulus $\mathbb A = \mathbb T \times (0,\pi)$. We prove the following three main theorems: in two different scenarios (when the height of the coin is small, or when the coin is near-circular) there is a family of KAM curves close to, but not accumulating on, the boundary $\partial \mathbb A$; for any noncircular coin, if the height of the coin is sufficiently large, there is a neighbourhood of $\partial \mathbb A$ through which there passes no invariant essential curve; and the only coin billiard for which the phase space $\mathbb A$ is foliated by essential invariant curves is the circular one. These results provide partial answers to questions of Bialy. Finally, we describe the results of some numerical experiments on the elliptical coin billiard.

Figures

Figures reproduced from arXiv: 2411.13214 by the authors.

Figure 1
Figure 1. A schematic picture of the motion of the particle on the configuration [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. A depiction of the proof of Theorem 11. Proof of Theorem 11. We proceed by steps. The first point of the thesis is proved at Step 1, whereas Step 2 contains the proof of the third point. Finally, the second point is proved at Steps 3-4. Step 1. For any sufficiently large integer m, we claim that as Γ is not a disc one has Dm := {(φ, θ) ∈ Gm | ΠθTe(φ, θ) ̸= θ} ̸= ∅ . In fact, if for contradiction Dm = ∅, then each gr… view at source ↗
Figure 3
Figure 3. Each picture shows the first 100 iterations of various initial conditions [PITH_FULL_IMAGE:figures/full_fig_p030_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Each picture shows the first 100 iterations of various initial conditions [PITH_FULL_IMAGE:figures/full_fig_p031_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Angenent

    S. Angenent. The topological entropy and invariant circles of an area pre- serving twist map. IMA volumes in mathematics and its applications , 44, 1992

    work page 1992

  2. [2]

    M.-C. Arnaud. Hyperbolicity for conservative twist maps of the 2- dimensional annulus. Publicaciones Matem´ aticas del Uruguay, Proceedings of the CIMPA research school on Hamiltonian and Lagrangian dynamics , 16:1–39, 2016

    work page 2016

  3. [3]

    Arnold and A

    V. Arnold and A. Avez. Ergodic problems of classical mechanics. Benjamin, New York, 1968

    work page 1968

  4. [4]

    M. Bialy. Convex billiards and a theorem by E. Hopf.Math Z., 214:147–154, 1993

    work page 1993

  5. [5]

    Bialy, C

    M. Bialy, C. Fierobe, A. Glutsyuk, M. Levi, A. Plakhov, and S. Tabach- nikov. Open problems on billiards and geometric optics. Arnold Mathe- matical Journal, 8(3):411–422, 2022

    work page 2022

  6. [6]

    G. D. Birkhoff. On the periodic motions of dynamical systems. Acta Math- ematica, 50:359 – 379, 1927

    work page 1927

  7. [7]

    P. L. Boyland and G. R. Hall. Invariant circles and the order structure of periodic orbits in monotone twist maps. Topology, 26(1):21–35, 1987

    work page 1987

  8. [8]

    T. D. Drivas, D. Glukhovskiy, and B. Khesin. Pensive billiards, point vortices, and pucks. arXiv preprint arXiv:2408.03279 , 2024

    work page arXiv 2024

Show all 21 references
  1. [9]

    E. Gutkin. Capillary floating and the billiard ball problem. Journal of mathematical fluid mechanics , 14:363–382, 2012

    2012

  2. [10]

    M. R. Herman. Sur les courbes invariantes par les diff´ eomorphismes de l’anneau. Ast´ erisque, 1(103-104):1–221, 1983. 33

    1983

  3. [11]

    A. Katok. Lyapunov exponents, entropy and periodic orbits for diffeomor- phisms. Publications Math´ ematiques de l’IH´ES, 51:137–173, 1980

    1980

  4. [12]

    Khesin and H

    B. Khesin and H. Wang. The golden ratio and hydrodynamics. The Math- ematical Intelligencer, 44(1):22–27, 2022

    2022

  5. [13]

    Lazutkin

    V. Lazutkin. Splitting of separatrices for the Chirikov standard map. Jour- nal of Mathematical Sciences , 128(2):2687–2705, 2005

    2005

  6. [14]

    V. F. Lazutkin. The existence of caustics for a billiard problem in a convex domain. Mathematics of the USSR-Izvestiya , 7(1):185–214, 1973

    1973

  7. [15]

    Le Calvez

    P. Le Calvez. Propri´ et´ es dynamiques des r´ egions d’instabilit´ e.Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, 20(4):443–464, 1987

    1987

  8. [16]

    J.-P. Marco. Entropy of billiard maps and a dynamical version of the Birkhoff conjecture. Journal of Geometry and Physics , 124:413–420, 2018

    2018

  9. [17]

    J. Mather. Glancing billiards. Ergodic theory and dynamical systems , 2(3- 4):397–403, 1982

    1982

  10. [18]

    J. Mather. Variational construction of orbits of twist diffeomorphisms. Journal of the American Mathematical Society , 4(2):207–263, 1991

    1991

  11. [19]

    Ram ´ ırez-Ros

    R. Ram ´ ırez-Ros. Break-up of resonant invariant curves in billiards and dual billiards associated to perturbed circular tables. Physica D, 214:78– 87, 2006

    2006

  12. [20]

    C. L. Siegel and J. K. Moser. Lectures on celestial mechanics . Springer Science & Business Media, 2012

    2012

  13. [21]

    M. P. Wojtkowski. Two applications of Jacobi fields to the billiard ball problem. Journal of Differential Geometry , 40(1):155–164, 1994. 34

    1994

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.