Totally integrable symplectic billiards are ellipses

Luca Baracco; Olga Bernardi

arxiv: 2305.19701 · v1 · submitted 2023-05-31 · 🧮 math.DS

Totally integrable symplectic billiards are ellipses

Luca Baracco , Olga Bernardi This is my paper

Pith reviewed 2026-05-24 07:54 UTC · model grok-4.3

classification 🧮 math.DS

keywords symplectic billiardstotal integrabilityellipsesconvex billiardsaffine equivarianceBirkhoff billiards

0 comments

The pith

A totally integrable strictly convex symplectic billiard with positive curvature boundary must be an ellipse.

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

The paper establishes that among strictly convex tables whose boundary has everywhere positive curvature, only ellipses can produce a totally integrable symplectic billiard map. The argument adapts an earlier classification for ordinary Birkhoff billiards by exploiting the fact that the symplectic billiard map commutes with affine transformations. A reader would care because the result supplies a complete list of integrable examples in this dynamical family, showing that integrability imposes a rigid geometric condition rather than holding for generic smooth convex shapes.

Core claim

Any totally integrable strictly-convex symplectic billiard table whose boundary has strictly positive curvature everywhere is necessarily an ellipse. The proof proceeds by using the affine equivariance of the symplectic billiard map to translate the integrability assumption into a constraint that forces the boundary curve to be quadratic.

What carries the argument

Affine equivariance of the symplectic billiard map, which transfers the integrability condition into a geometric restriction on the boundary shape.

If this is right

The only tables satisfying the hypotheses are ellipses.
Integrability of the symplectic billiard map implies the boundary must satisfy an algebraic equation of degree two.
The classification applies in the plane under the stated convexity and curvature assumptions.

Where Pith is reading between the lines

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

The same rigidity may extend to other billiard maps that share affine equivariance.
Non-elliptic convex tables are expected to produce non-integrable symplectic billiard dynamics.
The result supplies a concrete test for numerical searches aimed at locating integrable billiard examples.

Load-bearing premise

The symplectic billiard map is affine equivariant, which permits integrability data to constrain the boundary geometry.

What would settle it

A strictly convex positive-curvature curve that is not an ellipse yet yields a totally integrable symplectic billiard map would disprove the claim.

Figures

Figures reproduced from arXiv: 2305.19701 by Luca Baracco, Olga Bernardi.

**Figure 1.** Figure 1: The symplectic billiard map reflection. curvature. The aim of this paper is to prove that totally integrable symplectic billiards are necessarily ellipses. In other words: Theorem 1.1. If the phase-space of the symplectic billiard map is foliated by continuous invariant closed curves not null-homotopic then the billiard table is an ellipse. The proof is a (non-trivial) adaptation to the symplectic billiar… view at source ↗

read the original abstract

In this paper we prove that a totally integrable strictly-convex symplectic billiard table, whose boundary has everywhere strictly positive curvature, must be an ellipse. The proof, inspired by the analogous result of Bialy for Birkhoff billiards, uses the affine equivariance of the symplectic billiard map.

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.

Desk Editor's Note private letter to a colleague

Abstract announces ellipse rigidity for totally integrable symplectic billiards via affine equivariance but supplies no proof steps to examine.

read the letter

The paper states that any strictly convex symplectic billiard table with everywhere positive curvature that is totally integrable must be an ellipse. The argument adapts Bialy's Birkhoff-billiard theorem by using affine equivariance of the symplectic map. That is the core claim and the only concrete information available here. What is new is the extension of the rigidity statement to this particular billiard model rather than the standard Birkhoff case. The abstract indicates the proof follows the same geometric transfer of integrability information that Bialy used, which is a reasonable strategy if the equivariance property holds as described. The work does well in spotting that the symplectic billiard map carries enough structure to make the analogy viable. The main limitation is that only the abstract exists in the record. No derivation, no list of hypotheses beyond the stated ones, and no verification that the curvature condition interacts correctly with the integrability assumption are supplied. Without those steps it is impossible to tell whether the affine-equivariance step actually closes the argument or leaves a gap. This kind of result is aimed at researchers already working on integrable billiards and rigidity questions in low-dimensional dynamics. A specialist who knows Bialy's paper might find the full version worth reading to see how the adaptation is carried out. On the current evidence the paper is too thin for a serious referee process; once the complete argument is written out it would be worth sending to review if the details hold.

Referee Report

0 major / 1 minor

Summary. The manuscript claims to prove that any totally integrable strictly convex symplectic billiard table whose boundary has everywhere strictly positive curvature must be an ellipse. The argument is described as an adaptation of Bialy's theorem for Birkhoff billiards that relies on the affine equivariance of the symplectic billiard map.

Significance. If established, the result would supply a rigidity theorem characterizing ellipses among integrable symplectic billiards, paralleling the classical Birkhoff case and strengthening the link between integrability and boundary geometry in convex billiard dynamics. No machine-checked proofs, reproducible code, or explicit falsifiable predictions are supplied in the available text.

minor comments (1)

The manuscript consists solely of the abstract; no sections, equations, or proof details are provided, preventing verification of the claimed adaptation of Bialy's argument or the use of affine equivariance.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the report and for recognizing the potential significance of the result as a rigidity theorem for integrable symplectic billiards. The recommendation is listed as uncertain, but the report contains no major comments requiring a point-by-point response. The full argument, adapting Bialy's theorem via affine equivariance, appears in the manuscript.

Circularity Check

0 steps flagged

No circularity; derivation adapts external Bialy result via stated affine-equivariance property

full rationale

Only the abstract is available. The central claim is proved by adapting Bialy's theorem for Birkhoff billiards, using the affine equivariance of the symplectic billiard map to transfer integrability into a boundary constraint. Bialy is an external author; no self-citation is invoked. No equations, definitions, or derivation steps are supplied that could reduce the conclusion to an input by construction. The argument is therefore self-contained against external benchmarks and receives the default non-finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; ledger entries are inferred from the stated hypotheses and proof strategy. Full paper would be needed to list every background fact.

axioms (1)

domain assumption The symplectic billiard map is affine equivariant
Explicitly invoked in the abstract as the key property used to prove the ellipse conclusion.

pith-pipeline@v0.9.0 · 5529 in / 1096 out tokens · 36450 ms · 2026-05-24T07:54:49.843871+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Introducing symplectic billiards

Albers, P.; Tabachnikov, S. Introducing symplectic billiards. Adv. Math. 333 (2018), 822–867

work page 2018
[2]

Fibr´ es de Green et R´ gularit´ e des GraphesC 0-Lagrangiens Invariants par un Flot de Tonelli

Arnaud, M.-C. Fibr´ es de Green et R´ gularit´ e des GraphesC 0-Lagrangiens Invariants par un Flot de Tonelli. Ann. Henri Poincar´ e 9, 881–926 (2008)

work page 2008
[3]

An integrable deformation of an ellipse of small eccentricity is an ellipse

Avila A.; De Simoi J.; Kaloshin V. An integrable deformation of an ellipse of small eccentricity is an ellipse. Ann. Math. 184 (2016), 527–558

work page 2016
[4]

Mather Sets for Twist Maps and Geodesics on Tori

Bangert, V. Mather Sets for Twist Maps and Geodesics on Tori. In: Kirchgraber, U., Walther, HO. (eds) Dynamics Reported. Dynamics Reported, vol 1. (1988)

work page 1988
[5]

Convex billiards and a theorem by E

Bialy, M. Convex billiards and a theorem by E. Hopf. Math. Z. 214 (1993), no. 1, 147–154

work page 1993
[6]

The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables

Bialy M.; Mironov A.E. The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables. Pages 389-413 from Volume 196 (2022), Issue 1 TOTALLY INTEGRABLE SYMPLECTIC BILLIARDS ARE ELLIPSES 11

work page 2022
[7]

On the periodic motions of dynamical systems

Birkhoff G.D. On the periodic motions of dynamical systems. Acta Math. 50 (1927), 359–379

work page 1927
[8]

Chen W.; Howard, R.; Lutwak, E. et al. A generalized affine isoperimetric inequality. J. Geom. Anal. 14, 597-612 (2004)

work page 2004
[9]

A Proof of Minkowski’s Inequality for Convex Curves

Flanders H. A Proof of Minkowski’s Inequality for Convex Curves. The American Mathematical Monthly, Vol. 75, No. 6 (1968), 581-593

work page 1968
[10]

On marked length spetrums of generic strictly convex billiard tables

Huang G.; Kaloshin V.; Sorrentino A. On marked length spetrums of generic strictly convex billiard tables. Duke Math. J. 167 (2018), 175–209

work page 2018
[11]

On the local Birkhoff conjecture for convex billiards

Kaloshin V.; Sorrentino A. On the local Birkhoff conjecture for convex billiards. Ann. Math. 188 (2018), 315–380

work page 2018
[12]

On the integrability of Birkhoff billiards

Kaloshin V.; Sorrentino A. On the integrability of Birkhoff billiards. Philosophical Transactions of the Royal Society A, Volume 376, Issue 2131, (2018)

work page 2018
[13]

Converse KAM-theory for symplectic twist maps

MacKay, R.S.; Meiss, J.; Stark, J. Converse KAM-theory for symplectic twist maps. Nonlinearity 2 (1989), 555–570

work page 1989
[14]

The billiard ball problem on a table with a convex boundary—an illustrative dynamical problem

Poritsky H. The billiard ball problem on a table with a convex boundary—an illustrative dynamical problem. Ann. Math. 51 (1950), 446–470

work page 1950
[15]

The principle of least action in geometry and dynamics

Siburg K.F. The principle of least action in geometry and dynamics. Lecture Notes in Mathematics, vol. 1844 (2004), xiii+ 128 pp. Berlin, Germany: Springer

work page 2004
[16]

Two applications of Jacobi fields to the billiard ball problem

Wojtkowski M.P. Two applications of Jacobi fields to the billiard ball problem. J. Differential Geom. 40 (1994), 155–164. Dipartimento di Matematica Tullio Levi-Civita, Universit`a di Padova, via Trieste 63, 35121 Padova, Italy Email address : baracco@math.unipd.it, obern@math.unipd.it

work page 1994

[1] [1]

Introducing symplectic billiards

Albers, P.; Tabachnikov, S. Introducing symplectic billiards. Adv. Math. 333 (2018), 822–867

work page 2018

[2] [2]

Fibr´ es de Green et R´ gularit´ e des GraphesC 0-Lagrangiens Invariants par un Flot de Tonelli

Arnaud, M.-C. Fibr´ es de Green et R´ gularit´ e des GraphesC 0-Lagrangiens Invariants par un Flot de Tonelli. Ann. Henri Poincar´ e 9, 881–926 (2008)

work page 2008

[3] [3]

An integrable deformation of an ellipse of small eccentricity is an ellipse

Avila A.; De Simoi J.; Kaloshin V. An integrable deformation of an ellipse of small eccentricity is an ellipse. Ann. Math. 184 (2016), 527–558

work page 2016

[4] [4]

Mather Sets for Twist Maps and Geodesics on Tori

Bangert, V. Mather Sets for Twist Maps and Geodesics on Tori. In: Kirchgraber, U., Walther, HO. (eds) Dynamics Reported. Dynamics Reported, vol 1. (1988)

work page 1988

[5] [5]

Convex billiards and a theorem by E

Bialy, M. Convex billiards and a theorem by E. Hopf. Math. Z. 214 (1993), no. 1, 147–154

work page 1993

[6] [6]

The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables

Bialy M.; Mironov A.E. The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables. Pages 389-413 from Volume 196 (2022), Issue 1 TOTALLY INTEGRABLE SYMPLECTIC BILLIARDS ARE ELLIPSES 11

work page 2022

[7] [7]

On the periodic motions of dynamical systems

Birkhoff G.D. On the periodic motions of dynamical systems. Acta Math. 50 (1927), 359–379

work page 1927

[8] [8]

Chen W.; Howard, R.; Lutwak, E. et al. A generalized affine isoperimetric inequality. J. Geom. Anal. 14, 597-612 (2004)

work page 2004

[9] [9]

A Proof of Minkowski’s Inequality for Convex Curves

Flanders H. A Proof of Minkowski’s Inequality for Convex Curves. The American Mathematical Monthly, Vol. 75, No. 6 (1968), 581-593

work page 1968

[10] [10]

On marked length spetrums of generic strictly convex billiard tables

Huang G.; Kaloshin V.; Sorrentino A. On marked length spetrums of generic strictly convex billiard tables. Duke Math. J. 167 (2018), 175–209

work page 2018

[11] [11]

On the local Birkhoff conjecture for convex billiards

Kaloshin V.; Sorrentino A. On the local Birkhoff conjecture for convex billiards. Ann. Math. 188 (2018), 315–380

work page 2018

[12] [12]

On the integrability of Birkhoff billiards

Kaloshin V.; Sorrentino A. On the integrability of Birkhoff billiards. Philosophical Transactions of the Royal Society A, Volume 376, Issue 2131, (2018)

work page 2018

[13] [13]

Converse KAM-theory for symplectic twist maps

MacKay, R.S.; Meiss, J.; Stark, J. Converse KAM-theory for symplectic twist maps. Nonlinearity 2 (1989), 555–570

work page 1989

[14] [14]

The billiard ball problem on a table with a convex boundary—an illustrative dynamical problem

Poritsky H. The billiard ball problem on a table with a convex boundary—an illustrative dynamical problem. Ann. Math. 51 (1950), 446–470

work page 1950

[15] [15]

The principle of least action in geometry and dynamics

Siburg K.F. The principle of least action in geometry and dynamics. Lecture Notes in Mathematics, vol. 1844 (2004), xiii+ 128 pp. Berlin, Germany: Springer

work page 2004

[16] [16]

Two applications of Jacobi fields to the billiard ball problem

Wojtkowski M.P. Two applications of Jacobi fields to the billiard ball problem. J. Differential Geom. 40 (1994), 155–164. Dipartimento di Matematica Tullio Levi-Civita, Universit`a di Padova, via Trieste 63, 35121 Padova, Italy Email address : baracco@math.unipd.it, obern@math.unipd.it

work page 1994