REVIEW 3 major objections 3 minor 44 references
Birkhoff attractors for dissipative symplectic billiards
T0 review · 3 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read This paper proposes a dissipative version of symplectic billiards and proves that its Birkhoff attractor is a normally contracted graph for strong dissipation and a chaotic indecomposable continuum for mild dissipation, with no pinching con
desk verdict New model and a solid strong-dissipation theorem, but the mild-dissipation half is unsupported as written because of a twist-sign mismatch, plus unfinished and inaccurate details. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the dissipative symplectic billiard map Tλ and its Birkhoff attractor Λ, the smallest compact, connected, invariant set separating the phase annulus. Tλ is a dissipative twist map with Jacobian λ, obtained by composing the conservative symplectic billiard map T with a λ-contraction along the fibers of the cylinder. Two engines carry the argument: a cone-field criterion that produces a dominated splitting of Λ0 and turns Λ into a normally contracted graph for small λ, and the Le Calvez–Charpentier upper/lower rotation-number dichotomy that forces Λ to be an indecomposable continuum when ρ− < ρ+. The compatible choice of origin places all 4-periodic orbits on the zero sec
What would settle it
Take a specific strongly convex, non-centrally-symmetric table, for example with support function p(θ)=1+0.1cos(3θ), and compute DTλ for λ=10^{-3} and |s|≤Mλ; if some vector inside the horizontal cone leaves the cone after one iterate, Proposition 3.1 and the graph conclusion of Theorem 3.7 fail. Alternatively, simulate Tλ on that table at several small λ values and check whether the attractor remains a graph over S.
Extended reading notes
Core claim
The dissipative symplectic billiard map is Tλ = Hλ ∘ T, where T is the standard symplectic billiard map and Hλ contracts the second coordinate by λ, making the map conformally symplectic. The paper proves that for every strongly convex C^k table, once λ is small enough the Birkhoff attractor Λ equals the global attractor Λ0 and is a C^1 graph over the zero section, with C^{k−1} regularity and convergence to S×{0} for even smaller λ. For centrally symmetric tables it then intersects the zero section exactly in the 4-periodic points, and generically Λ is the union of unstable manifolds of finitely many 4-periodic saddles with rotation number 1/4. For mild dissipation, if the conservative map h
Load-bearing premise
The paper's strongest theorems are declared word-for-word or adapted from a prior Birkhoff-billiard paper, so the load-bearing premise is that none of those proofs secretly uses Birkhoff geometry or its pinching condition; additionally, the genericity lemma contains an unfinished step ('ANNA QUI') that the proof depends on.
Editorial extensions
If this is right
- For any strongly convex C^2 table and sufficiently small damping, the Birkhoff attractor is a C^1 graph over the zero section and coincides with the global attractor; for smaller damping the graph is C^{k−1} and converges to S×{0} in C^1.
- No geometric pinching condition is needed, in contrast with dissipative Birkhoff billiards; the symplectic reflection law alone yields the required cone-field.
- Generically in centrally symmetric tables, the small-damping attractor has rotation number 1/4 and is a finite union of unstable manifolds of 4-periodic saddles.
- For mild damping, on an open dense set of centrally symmetric tables and on any table with a zero-curvature point, the Birkhoff attractor is an indecomposable continuum with positive topological entropy and contains periodic points of every rational rotation number between ρ− and ρ+.
- Centrally symmetric Radon domains, including ellipses, have Birkhoff attractor exactly the zero section for every damping λ.
Reading between the lines
- If the graph theorem is as robust as claimed, the same cone-field strategy should yield a normally contracted Birkhoff attractor for any conformally symplectic twist map of the annulus that satisfies a uniform cone-field estimate; this is a testable generalization beyond billiards.
- The numerical section hints at a third regime for non-symmetric tables, where the global attractor strictly contains the Birkhoff attractor (for instance around a 3-periodic orbit); a systematic scan of Λ0 versus Λ for non-symmetric tables could map this intermediate behavior.
- Because the dissipative law depends on the chosen origin while the conservative one does not, moving the origin changes which 4-periodic orbits lie on the zero section; this could be used as a tuning knob for the small-damping attractor's geometry.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a dissipative variant of symplectic billiards in planar strictly convex domains, defined by T_λ = H_λ ∘ T, where T is the conservative symplectic billiard map and H_λ is vertical contraction by λ∈(0,1). The main results are: (a) for strong dissipation, the Birkhoff attractor Λ coincides with the global attractor Λ_0 and is a normally contracted C^1 (or C^{k-1}) graph over the zero section; (b) for mild dissipation, on an open dense set of centrally symmetric strongly convex tables, or for tables with a zero-curvature point, the conservative map has an instability region containing the zero section, and the dissipative Birkhoff attractor is an indecomposable continuum with positive topological entropy. The paper also proves properties of 4-periodic orbits, a genericity lemma, and a fragility result for invariant curves of rotation number 1/4, and gives numerical simulations.
Significance. If the main claims are correct, the paper gives the first complete picture of Birkhoff attractors for a dissipative billiard family in which the attractor can pass from a simple curve to a chaotic continuum as the dissipation parameter varies. The differential formula (2.9) and the cone-field argument in Proposition 3.1 are genuinely useful and do not rely on a pinching condition, in contrast to the Birkhoff billiard case. The connections to conformally symplectic dynamics and to Le Calvez's theory are also potentially valuable. However, the central structural theorems are largely delegated to the companion paper [15], and the weak-dissipation theorem has a sign inconsistency that blocks its application as stated. These issues must be resolved before the paper's main claims can be accepted.
major comments (3)
- [§5, Proposition 5.5 and Remark 5.4] Proposition 5.5 assumes that T:I→I is a positive twist map with respect to β∈(0,π/2). But Lemma 2.18 gives ∂(p_1∘T_λ)/∂s = -1/L_12 < 0, so T_λ and T are negative twist maps, and Remark 5.4 explicitly states this. No conjugation (t,s)↦(t,-s), which would convert negative to positive twist, is supplied before Proposition 5.5 is invoked. Thus Theorem 5.6 and the abstract's mild-dissipation claim are not proved as written. The gap is likely fixable by an explicit conjugation and a corresponding check of the twist-with-respect-to-β condition, but the argument must be written out.
- [§3 and §4, Theorem 3.7, Corollary 3.5, Lemma 4.3, Proposition 4.7] Several load-bearing results are declared 'verbatim' or 'an adaptation' of results in [15] rather than proved: Corollary 3.5, Theorem 3.7 (including the C^{k-1} regularity and the C^1 convergence), Lemma 4.3 (the eigenvalue classification), and Proposition 4.7 (the decomposition into unstable manifolds). The paper's claim that no geometric pinning condition is needed in the symplectic case rests on the unstated premise that none of the proofs in [15] uses Birkhoff-billiard-specific geometry. This is not verifiable from the present text. A referee cannot certify the central theorems without either full proofs or a detailed point-by-point transfer argument showing that every step in [15] applies verbatim to the symplectic billiard map.
- [§4.1, Lemma 4.5] The proof of Lemma 4.5 contains the unfinished passage 'ANNA QUI' immediately before equation (4.18). The derivation of ∂_θ G(θ_1,ε)=0 is therefore incomplete. This lemma is not a side remark: it is used in Corollary 4.6, Proposition 4.7, Proposition 4.10, and ultimately Theorem 5.6. Moreover, the argument that the function ε(θ) is not identically zero and that ∂_ε G(θ_0,0)≠0 can be achieved for every degenerate 4-periodic point needs a clear justification. As written, the genericity statement is not fully supported.
minor comments (3)
- [§5, after Proposition 5.5] The phrase 'hypothesis of Proposition 5.5' should be 'the hypotheses of Proposition 5.5' (grammar).
- [§6, numerical simulations] The simulations are heuristic: they plot finite orbit segments and do not distinguish the global attractor from the Birkhoff attractor except by visual inspection. A statement acknowledging this limitation would be helpful.
- [References] Reference [15] is cited as 'ETDS 2024' in the reader's report, but in the text it is given as 'Ergodic Theory and Dynamical Systems, 2024' with a DOI. Please ensure the final published volume and page numbers are supplied.
Circularity Check
No fitted-input or definitional circularity, but the main structural theorems are transferred by self-citation to the authors' prior Birkhoff-billiard paper, making the derivation chain load-bearing on that citation.
-
self citation load bearing
[Section 3, Corollary 3.5 and Theorem 3.7; cf. [15, Prop. 5.5 and Thm. 5.7]]
"Corollary 3.5: 'The proof follows from the application of the cone-field criterion (see [23, Theorem 2.6]), and it is verbatim the proof of [15, Proposition 5.5].' Theorem 3.7: 'Idea of the proof. The proof is verbatim the proof of [15, Theorem 5.7].'"
The paper's main structural result — that for strong dissipation the Birkhoff attractor is a normally contracted graph — is not proved in the text; its proof is declared verbatim identical to a theorem in [15], a paper co-authored by two of the present authors on dissipative Birkhoff billiards, where the result required a pinching condition. The authors prove a symplectic cone-field criterion (Prop. 3.1), but the remaining steps of Theorem 3.7 are transferred by citation. If any step of [15]'s proof uses Birkhoff-specific geometry, the transfer fails; the paper supplies no check. Thus the derivation of Theorem 3.7 reduces to a self-citation rather than an independent verification.
-
self citation load bearing
[Section 4.1, Lemma 4.3 and Proposition 4.7; cf. [15, Appendix A and Thm. 5.14]]
"Lemma 4.3: 'Repeating then verbatim the proof in [15], we conclude.' Proposition 4.7: 'The proof is an adaptation of the proof of Theorem 5.14 in [15].'"
The classification of 4-periodic orbits and the unstable-manifold decomposition of the Birkhoff attractor are likewise taken, not derived, from the same authors' prior paper. The symplectic computation reduces the eigenvalue polynomial to the same form as [15, Appendix A], but the structural conclusion (finite collection of saddle 4-periodic points whose unstable manifolds form the attractor, rotation number 1/4) is imported as an 'adaptation' of [15, Theorem 5.14]. No argument shows that the symplectic twist map satisfies every Birkhoff-specific hypothesis used there; the result therefore rests on the authors' own earlier theorem rather than on a self-contained derivation.
full rationale
There is no parameter fitting and no definitional circularity: λ is a model input, and the thresholds λ(Ω), λ'(Ω), λ''(Ω) are existential constants, not fitted to the objects they are used to predict. The Birkhoff attractor is defined by the standard minimal separating-set construction, not made equal to the zero section by definition. The circularity score is raised by the repeated, load-bearing use of [15] (Bernardi–Florio–Leguil), a paper co-authored by two of the current authors, for the central structure theorems: Corollary 3.5 is declared verbatim [15, Prop. 5.5], Theorem 3.7 verbatim [15, Thm. 5.7], Lemma 4.3 verbatim [15, Appendix A], and Proposition 4.7 an adaptation of [15, Thm. 5.14]. The authors do prove a new symplectic cone-field criterion, so the central claim retains independent content; this is not a case where the conclusion is identical to the cited theorem. However, the transfer of the remaining proof is unverified for the symplectic reflection law and for the absence of the pinching condition, making the derivation chain partially dependent on a self-citation. Two non-circular correctness gaps are noted for completeness but are not scored as circularity: (i) Proposition 5.5 assumes a positive twist map while Lemma 2.18 and Remark 5.4 imply Tλ and T are negative twist maps, an internal inconsistency that needs an explicit conjugation argument; (ii) Lemma 4.5 contains an unfinished computation ('ANNA QUI') and an implicit non-vanishing assumption on the defining analytic function, which is an incomplete-support issue rather than a circular step. If the authors supply full transferred proofs or complete the deferred arguments, the circularity score would drop to 0–2; as written, the main structural theorems lean on the authors' own earlier work.
Assumptions & free parameters
assumptions (7)
- domain assumption Strict (and often strong) convexity of the table with C^k boundary, k >= 2; central symmetry in Sections 4-5; origin in int(Omega) (compatible in Lemma 2.21, center of symmetry in Remark 2.23)
- standard math Twist-map and Aubry-Mather theory: Birkhoff's invariant-curve theorem for twist maps, Mather sets M_{2p/q}, Bangert's theory of Mather sets for twist maps ([8])
- standard math Le Calvez-Birkhoff attractor framework: separation property, upper/lower rotation numbers (Prop 2.9), Charpentier's indecomposability theorem (Thm 2.10), Le Calvez's Prop 14.3 on unstable manifolds
- standard math Results of Bernardi-Florio-Leguil [15] (ETDS 2024) used as black boxes: dissipative Birkhoff billiard graph theorem, eigenvalue classification (their Appendix A), Theorem 5.14, Propositions 6.10 and 6.12
- standard math Mather's theorem on non-existence of caustics when curvature vanishes (cited as [1, Theorem 2])
- standard math Normal hyperbolicity theory and cone-field criteria (Hirsch-Pugh-Shub [30], Berger-Bounemoura [14], Crovisier-Potrie [23, Theorem 2.6])
- standard math Structure of circle homeomorphisms with rational rotation number (Poincare classification) and of invariant curves of rational rotation number for twist maps
Cite this review
Pith. "Pith review of Birkhoff attractors for dissipative symplectic billiards." pith.science (2026). https://pith.science/paper/QGFKI4LC
@misc{pith2026250913086,
author = {Pith},
title = {Pith review of: Birkhoff attractors for dissipative symplectic billiards},
year = {2026},
howpublished = {\url{https://pith.science/paper/QGFKI4LC}},
note = {Machine review of arXiv:2509.13086}
}
read the original abstract
The aim of the present paper is to propose and study a dissipative variant of symplectic billiards within planar strictly convex domains. The associated billiard map is dissipative, thus it admits a compact invariant set, the so-called Birkhoff attractor. Its complexity depends on the rate of the dissipation as well as on the geometry of the billiard table. We prove that (a) for strong dissipation, the Birkhoff attractor is a normally contracted graph over the zero section; (b) for mild dissipation, the Birkhoff attractor within a centrally symmetric domain is an indecomposable continuum whose restricted dynamics has positive topological entropy. We compare these results with the case of dissipative Birkhoff billiards, studied in a paper by Bernardi-Florio-Leguil
Figures
Figures from the paper (10 more)
Reference graph
Works this paper leans on
-
[15]
O. Bernardi, A. Florio, and M. Leguil. Birkhoff attractors of dissipative billiards.Ergodic Theory and Dynamical Systems, 2024. https://doi.org/10.1017/etds.2024.68
-
[1]
Albers and S
P. Albers and S. Tabachnikov. Introducing symplectic billiards.Adv. Math., 333:822–867, 2018
2018
-
[2]
Allais and M.-C
S. Allais and M.-C. Arnaud. The dynamics of conformal Hamiltonian flows: dissipativity and conservativity.Rev. Mat. Iberoam., 40(3):987–1021, 2024
2024
-
[3]
M.-C. Arnaud. Hyperbolicity for conservative twist maps of the 2-dimensional annulus.Publ. Mat. Urug., 16:1–39, 2016
2016
-
[4]
Arnaud and J
M.-C. Arnaud and J. Fejoz. Invariant submanifolds of conformal symplectic dynamics.J. Éc. polytech. Math., 11:159–185, 2024
2024
-
[5]
Arnaud, A
M.-C. Arnaud, A. Florio, and V. Roos. Vanishing asymptotic Maslov index for conformally symplectic flows.Ann. H. Lebesgue, 7:307–355, 2024
2024
- [6]
- [7]
Show all 44 references
-
[8]
V. Bangert. Mather sets for twist maps and geodesics on tori. InDynamics reported, Vol. 1, volume 1 ofDynam. Report. Ser. Dynam. Systems Appl., pages 1–56. Wiley, Chichester, 1988
1988
-
[9]
Baracco and O
L. Baracco and O. Bernardi. Totally integrable symplectic billiards are ellipses.Adv. Math., 454:Paper No. 109873, 17, 2024
2024
-
[10]
Baracco, O
L. Baracco, O. Bernardi, and A. Nardi. Bialy-Mironov type rigidity for centrally symmetric symplectic billiards.Nonlinearity, 37(12):Paper No. 125025, 12, 2024
2024
-
[11]
Baracco, O
L. Baracco, O. Bernardi, and A. Nardi. Higher order terms of Mather’sβ-function for sym- plectic and outer billiards.J. Math. Anal. Appl., 537(2):Paper No. 128353, 20, 2024
2024
-
[12]
Baracco, O
L. Baracco, O. Bernardi, and A. Nardi. Area spectral rigidity for axially symmetric and Radon domains. Preprint, arXiv:2410.12644 [math.DS] (2025), 2025
2025 arXiv
-
[13]
Barge and R
M. Barge and R. M. Gillette. Rotation and periodicity in plane separating continua.Ergodic Theory Dynam. Systems, 11(4):619–631, 1991. 36
1991
-
[14]
Berger and A
P. Berger and A. Bounemoura. A geometrical proof of the persistence of normally hyperbolic submanifolds.Dyn. Syst., 28(4):567–581, 2013
2013
-
[16]
G. D. Birkhoff. Surface transformations and their dynamical applications.Acta Math., 43(1):1–119, 1922
1922
-
[17]
G. D. Birkhoff. Sur quelques courbes fermées remarquables.Bull. Soc. Math. France, 60:1–26, 1932
1932
-
[18]
Calleja, A
R. Calleja, A. Celletti, and R. de la Llave. KAM theory for some dissipative systems. InNew frontiers of celestial mechanics—theory and applications, volume 399 ofSpringer Proc. Math. Stat., pages 81–122. Springer, Cham, [2022]©2022
2022
-
[19]
Capi` nski, M
M. Capi` nski, M. Gröger, A. Passeggi, and F. A. Tal. Conditions Implying Annular Chaos: Quantitative results and Computer Assisted Proofs, 2025. arXiv:2506.06608
2025 arXiv
-
[20]
Charpentier
M. Charpentier. Sur quelques propriétés des courbes de m. birkhoff.Bulletin de la Société Mathématique de France, 62:193–224, 1934
1934
-
[21]
Q. Chen, A. Fathi, M. Zavidovique, and J. Zhang. Convergence of the solutions of the nonlinear discounted Hamilton-Jacobi equation: the central role of Mather measures.J. Math. Pures Appl. (9), 181:22–57, 2024
2024
-
[22]
Crovisier
S. Crovisier. Langues d’Arnold généralisées des applications de l’anneau déviant la verticale. C. R. Math. Acad. Sci. Paris, 334(1):47–52, 2002
2002
-
[23]
Crovisier and R
S. Crovisier and R. Potrie. Introduction to partially hyperbolic dynamics. ICTP, Trieste (2015)
2015
-
[24]
Davini and M
A. Davini and M. Zavidovique. Convergence of the solutions of discounted Hamilton-Jacobi systems.Adv. Calc. Var., 14(2):193–206, 2021
2021
-
[25]
M. M. Day. Polygons circumscribed about closed convex curves.Trans. Amer. Math. Soc., 62:315–319, 1947
1947
-
[26]
Fierobe, A
C. Fierobe, A. Sorrentino, and A. Vig. Deformational spectral rigidity of axially-symmetric symplectic billiards. Preprint, arXiv:2410.13777 [math.DS] (2024), 2024
2024 arXiv
-
[27]
Flanders
H. Flanders. A proof of minkowski’s inequality for convex curves.The American Mathematical Monthly, 75(6):581–593, 1968
1968
-
[28]
Gidea, R
M. Gidea, R. de la Llave, and T. M-Seara. Geometric, topological and dynamical properties of conformally symplectic systems, normally hyperbolic invariant manifolds, and scattering maps, 2025. arXiv:2508.14794
2025
-
[29]
Herman.Sur les courbes invariantes par les difféomorphismes de l’anneau
M. Herman.Sur les courbes invariantes par les difféomorphismes de l’anneau. Vol. 1, volume 103-104 ofAstérisque. Société Mathématique de France, Paris, 1983. With an appendix by Albert Fathi, With an English summary
1983
-
[30]
M. W. Hirsch, C. C. Pugh, and M. Shub. Invariant manifolds.Bull. Amer. Math. Soc., 76:1015–1019, 1970
1970
-
[31]
Koropecki
A. Koropecki. Realizing rotation numbers on annular continua.Math. Z., 285(1-2):549–564, 2017
2017
-
[32]
Le Calvez
P. Le Calvez. Propriétés des attracteurs de Birkhoff.Ergodic Theory Dynam. Systems, 8(2):241–310, 1988
1988
-
[33]
Le Calvez
P. Le Calvez. Étude topologique des applications déviant la verticale. / patrice le calvez. Ensaios Matemáticos, 2:7–102, 1990. 37
1990
-
[34]
Markarian, E
R. Markarian, E. J. Pujals, and M. Sambarino. Pinball billiards with dominated splitting. Ergodic Theory Dynam. Systems, 30(6):1757–1786, 2010
2010
-
[35]
Marò and A
S. Marò and A. Sorrentino. Aubry-Mather theory for conformally symplectic systems.Comm. Math. Phys., 354(2):775–808, 2017
2017
-
[36]
Martini and K
H. Martini and K. J. Swanepoel. Equiframed curves—a generalization of Radon curves. Monatsh. Math., 141(4):301–314, 2004
2004
-
[37]
J. N. Mather. Variational construction of orbits of twist diffeomorphisms.J. Amer. Math. Soc., 4(2):207–263, 1991
1991
-
[38]
Passeggi, R
A. Passeggi, R. Potrie, and M. Sambarino. Rotation intervals and entropy on attracting annular continua.Geom. Topol., 22(4):2145–2186, 2018
2018
-
[39]
Passeggi and F
A. Passeggi and F. A. Tal. Conditions implying annular chaos, 2023. arXiv:2305.02963
2023 arXiv
-
[40]
Sambarino
M. Sambarino. A (short) survey on dominated splittings. InMathematical Congress of the Americas, volume 656 ofContemp. Math., pages 149–183. Amer. Math. Soc., Providence, RI, 2016
2016
-
[41]
Tabachnikov
S. Tabachnikov. Outer billiards.Uspekhi Mat. Nauk, 48(6(294)):75–102, 1993
1993
-
[42]
Tsodikovich
D. Tsodikovich. Local rigidity for symplectic billiards.J. Geom. Anal., 35(10):26, 2025. Id/No 306
2025
-
[43]
C. Viterbo. On the supports in the Humilière completion andγ-coisotropic sets, 2022. arXiv:2204.04133
2022
-
[44]
Zavidovique
M. Zavidovique. Convergence of solutions for some degenerate discounted Hamilton-Jacobi equations.Anal. PDE, 15(5):1287–1311, 2022. 38
2022
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.