pith. sign in

arxiv: 2410.12644 · v4 · submitted 2024-10-16 · 🧮 math.DS

Area spectral rigidity for axially symmetric symplectic billiard tables

Luca Baracco , Olga Bernardi , Alessandra Nardi This is my paper

Pith reviewed 2026-05-23 19:04 UTC · model grok-4.3

classification 🧮 math.DS
keywords area spectral rigiditysymplectic billiardsconvex domainsequi-affine transformationsspectral rigiditydynamical systemsbilliard tablespositive curvature
0
0 comments X

The pith

Finitely smooth axially symmetric convex domains close to an ellipse are area spectrally rigid, so isospectral families must be equi-affine.

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

The paper proves that any finitely smooth axially symmetric strictly convex domain with positive curvature and close enough to an ellipse has the property that its area spectrum for symplectic billiards determines it up to equi-affine transformation. If two such domains share the same area spectrum, they must be equi-affine to each other. The proof adapts methods originally developed for ordinary billiards to the symplectic setting. A reader would care because this constrains which shapes can produce identical spectral data, showing that the area spectrum captures the domain's geometry rigidly near the ellipse under the given symmetry and curvature conditions.

Core claim

We prove that any finitely smooth axially symmetric strictly convex domain, with everywhere positive curvature and sufficiently close to an ellipse is area spectrally rigid. This means that any area-isospectral family of domains in this class is necessarily equi-affine.

What carries the argument

Adaptation of techniques from De Simoi, Kaloshin and Wei (2017) to symplectic billiards to establish area spectral rigidity.

If this is right

  • Any area-isospectral family of domains in this class must be equi-affine.
  • The rigidity result holds under finite smoothness rather than infinite differentiability.
  • Axial symmetry, strict convexity and positive curvature are maintained throughout the class considered.
  • The area spectrum encodes enough information to force equi-affine equivalence near ellipses.

Where Pith is reading between the lines

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

  • The closeness assumption to an ellipse may be essential, as rigidity could fail for domains farther from ellipses.
  • Similar adaptation of the techniques might yield rigidity results for other billiard variants or in higher dimensions.
  • Explicit numerical checks of spectra for small perturbations of ellipses could provide practical confirmation of the rigidity.

Load-bearing premise

The domains under consideration are sufficiently close to an ellipse.

What would settle it

Two non-equi-affine axially symmetric strictly convex domains with positive curvature, finitely smooth and close to an ellipse, that share the same area spectrum for their symplectic billiards would disprove the claim.

Figures

Figures reproduced from arXiv: 2410.12644 by Alessandra Nardi, Luca Baracco, Olga Bernardi.

Figure 1
Figure 1. Figure 1: For k ≥ 1, let q = 2k + 1 odd. In such a case, differently from above, we fix only s0 = 0 and we look for (s1, . . . , sk) in the compact set 0 = s0 ≤ s1 ≤ · · · ≤ sk ≤ 1/2, maximizing k X−1 j=0 ω(γ(sj ), γ(sj+1)) + 1 2 ω(γ(sk), γ(−sk)). (4.2) Again, the maximum (0, s¯1, . . . , s¯k) must satisfy 0 < s¯1 < · · · < s¯k−1 < s¯k < 1/2. Moreover 0 = ∂1ω(γ(¯sj ), γ(¯sj+1)) + ∂2ω(γ(¯sj−1), γ(¯sj )) ∀j = 1, . . .… view at source ↗
Figure 1
Figure 1. Figure 1: Axially symmetric periodic orbits of even period ( [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Centrally symmetric periodic orbit. 10 [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
read the original abstract

We prove that any finitely smooth axially symmetric strictly convex domain, with everywhere positive curvature and sufficiently close to an ellipse is area spectrally rigid. This means that any area-isospectral family of domains in this class is necessarily equi-affine. We use techniques, adapted to symplectic billiards, inspired to the paper by J. De Simoi, V. Kaloshin and Q. Wei (2017).

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 / 1 minor

Summary. The manuscript proves that any finitely smooth axially symmetric strictly convex domain with everywhere positive curvature and sufficiently close to an ellipse is area spectrally rigid for symplectic billiards. This means that any area-isospectral family of such domains is necessarily equi-affine. The proof adapts techniques from De Simoi, Kaloshin, and Wei (2017) to the symplectic billiard setting, focusing on the area spectrum generated by the symplectic area rather than Euclidean length.

Significance. If the central claim holds, the result extends perturbative spectral rigidity from Euclidean billiards to symplectic billiards in the axially symmetric class near ellipses. This would be a modest but concrete advance in inverse spectral problems for billiard tables, provided the adaptation of the Birkhoff normal form and non-resonance arguments succeeds.

major comments (2)
  1. [Main theorem proof (likely §3–4)] The central step is the injectivity of the linearized area spectral map at the ellipse (after quotienting by equi-affine transformations) for axially symmetric perturbations. The manuscript asserts that the 2017 De Simoi-Kaloshin-Wei non-resonance conditions and Birkhoff normal form carry over when the generating function is replaced by the symplectic area, but provides no explicit verification that the first-order variation vanishes only on equi-affine directions or that the relevant frequency conditions remain non-resonant for the ellipse. This verification is load-bearing for the implicit-function argument that produces the 'sufficiently close' neighborhood.
  2. [Statement of main theorem and §2 (setup)] The regularity assumption ('finitely smooth') is stated without specifying the minimal k needed for the normal-form expansion and the implicit-function theorem application. If the 2017 argument requires C^∞ or analyticity to control the remainder in the area spectrum linearization, the stated result may need a higher-regularity hypothesis.
minor comments (1)
  1. [Abstract and §1] The abstract and introduction should clarify whether 'area spectrum' refers to the spectrum of the symplectic billiard map or to some integrated area functional; a brief comparison with the length spectrum would help readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the two major comments point by point below.

read point-by-point responses

  1. Referee: [Main theorem proof (likely §3–4)] The central step is the injectivity of the linearized area spectral map at the ellipse (after quotienting by equi-affine transformations) for axially symmetric perturbations. The manuscript asserts that the 2017 De Simoi-Kaloshin-Wei non-resonance conditions and Birkhoff normal form carry over when the generating function is replaced by the symplectic area, but provides no explicit verification that the first-order variation vanishes only on equi-affine directions or that the relevant frequency conditions remain non-resonant for the ellipse. This verification is load-bearing for the implicit-function argument that produces the 'sufficiently close' neighborhood.

    Authors: We agree that an explicit verification strengthens the argument. Although the adaptation of the Birkhoff normal form and non-resonance conditions is carried out in §§3–4 by replacing the length generating function with the symplectic area (which agrees with the Euclidean length on ellipses up to equi-affine equivalence), the manuscript does not spell out the first-order linearization computation in full detail. In the revised version we will add a short appendix containing the explicit expansion of the area spectrum linearization at the ellipse and the direct verification that its kernel is precisely the equi-affine directions, together with confirmation that the frequency non-resonance conditions of De Simoi–Kaloshin–Wei remain unchanged because the leading Birkhoff invariants coincide. revision: yes

  2. Referee: [Statement of main theorem and §2 (setup)] The regularity assumption ('finitely smooth') is stated without specifying the minimal k needed for the normal-form expansion and the implicit-function theorem application. If the 2017 argument requires C^∞ or analyticity to control the remainder in the area spectrum linearization, the stated result may need a higher-regularity hypothesis.

    Authors: We accept the point. The proof uses a finite-order Birkhoff normal form (of order depending on the dimension of the space of axially symmetric perturbations) followed by an implicit-function theorem argument; both steps require only C^k regularity for k sufficiently large but finite. We will revise the statement of the main theorem and the setup in §2 to make the minimal k explicit (k ≥ k0 where k0 is determined by the order of the normal form needed to isolate the equi-affine kernel), in line with the regularity hypotheses used in De Simoi–Kaloshin–Wei (2017). revision: yes

Circularity Check

0 steps flagged

No circularity; derivation adapts independent prior work

full rationale

The paper states it proves the rigidity result by adapting techniques from the 2017 De Simoi-Kaloshin-Wei paper (different authors, no overlap). No self-citations are load-bearing, no parameters are fitted then renamed as predictions, and no ansatz or uniqueness theorem is imported from the authors' own prior work. The central claim is a perturbative theorem whose non-degeneracy step is asserted to follow from the cited adaptation rather than reducing to the input data or definitions by construction. This is the normal case of a self-contained argument against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the result is presented as a theorem whose supporting assumptions are the domain class itself.

pith-pipeline@v0.9.0 · 5585 in / 1110 out tokens · 27103 ms · 2026-05-23T19:04:23.432770+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

17 extracted references · 17 canonical work pages

  1. [1]

    Introducing symplectic billiards

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

    work page 2018

  2. [2]

    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. Annals of Mathematics 184 (2016), 527–558

    work page 2016

  3. [3]

    A new construction of Radon curves and related topics

    Balestro, V.; Martini, H.; Teixeira, R. A new construction of Radon curves and related topics. Aequat. Math. 90, 1013–1024 (2016)

    work page 2016

  4. [4]

    Totally integrable symplectic billiards are ellipses

    Baracco, L.; Bernardi, O. Totally integrable symplectic billiards are ellipses. Adv. Math. 454 (2024), Paper No. 109873

    work page 2024

  5. [5]

    Higher order terms of Mather’s β-function for symplectic and outer billiards

    Baracco, L.; Bernardi, O.; Nardi, A. Higher order terms of Mather’s β-function for symplectic and outer billiards. J. Math. Anal. Appl.537(2024), no.2, Paper No. 128353, 20 pp

    work page 2024

  6. [6]

    Bialy-Mironov type rigidity for centrally symmetric symplectic billiards

    Baracco, L.; Bernardi, O.; Nardi, A. Bialy-Mironov type rigidity for centrally symmetric symplectic billiards. (2024) Accepted to Nonlinearity

    work page 2024

  7. [7]

    Self-B¨ acklund curves in centroaffine geometry and Lam´ e’s equation

    Bialy, M; Bor, G.; Tabachnikov, S. Self-B¨ acklund curves in centroaffine geometry and Lam´ e’s equation. Communications of the American Mathematical Society, 2 (2022), 232-282

    work page 2022

  8. [8]

    Affine Differential Geometry

    Buchin S. Affine Differential Geometry. Science Press, Beijing, China, and Gordon and Breach, Science Publishers, Inc., New York, (1983)

    work page 1983

  9. [9]

    Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle

    De Simoi, J.; Kaloshin, V.; Wei, Q. Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle. Appendix B coauthored with H. Hezari. Ann. of Math. (2)186(2017), no.1, 277–314

    work page 2017

  10. [10]

    On infinitely many foliations by caustics in strictly convex open billiards

    Glutsyuk A. On infinitely many foliations by caustics in strictly convex open billiards. Ergodic Theory and Dynamical Systems. 2024;44(5):1418-1467

    work page 2024

  11. [11]

    On the local Birkhoff conjecture for convex billiards

    Kaloshin, V; Sorrentino A. On the local Birkhoff conjecture for convex billiards. Annals of Math- ematics, 188 (1): 315-380, 2018

    work page 2018

  12. [12]

    Asymptotic approximation of convex curves

    Ludwig M. Asymptotic approximation of convex curves. Arch. Math 63, 377–384 (1994)

    work page 1994

  13. [13]

    Antinorms and Radon curves

    Martini, H.; Swanepoel, K.J. Antinorms and Radon curves. Aequationes Math. 71, 110–138 (2006)

    work page 2006

  14. [14]

    Equiframed Curves– A Generalization of Radon Curves

    Martini, H.; Swanepoel, K. Equiframed Curves– A Generalization of Radon Curves. Monatsh. Math. 141, 301–314 (2004). 24

    work page 2004

  15. [15]

    Spectral invariants of convex planar regions

    Marvizi S.; Melrose, R. Spectral invariants of convex planar regions. J. Diff. Geom. 17 (1982), 475–502

    work page 1982

  16. [16]

    Geometry of Reflecting Rays and Inverse Spectral Problems, Pure Appl

    Petkov V.M.; Stoyanov, L.N. Geometry of Reflecting Rays and Inverse Spectral Problems, Pure Appl. Math., John Wiley & Sons, Ltd., New York, 1992

    work page 1992

  17. [17]

    Computing Mather’s β-function for Birkhoff billiards

    Sorrentino A. Computing Mather’s β-function for Birkhoff billiards. Discrete and Contin. Dyn. Syst. A, 35 (10): 5055-5082, (2015). 25

    work page 2015