Pith. sign in

REVIEW 1 major objections 5 minor 1 cited by

Symplectic billiards as Minkowski billiards

T0 review · 1 major / 5 minor · reviewed 2026-07-08 · grok-4.5

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

Pith's one-line read Symplectic billiards are a square root of Minkowski billiards obtained by reducing the canonical structure on V × V*, giving at least (r−1)(n−1) distinct 2r-periodic orbits in dimension 2n.

desk verdict Clean reduction/square-root dictionary between Minkowski and symplectic billiards that legitimately yields a new even-period existence bound in higher dimensions. read the letter →

arxiv 2607.05986 v1 pith:3BGPKA3A submitted 2026-07-07 math.DS math.SG

Peter Albers , Ana Chavez Caliz , Serge Tabachnikov This is my paper · ORCID
classification math.DSmath.SG MSC 37D5037J1053D0552A20
keywords symplecticbilliardsMinkowskireductionperiodicorbitsconvexbodiesbilliardmapsdynamicalsystems
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

This paper links two dynamical systems that had been studied separately: Minkowski billiards and symplectic billiards. It shows that the Minkowski billiard map arises by symplectic reduction from the canonical symplectic structure on the product of a vector space with its dual. From that vantage, symplectic billiards appear as a square root of a symplectic version of Minkowski billiards. The identification lets the authors recover known planar results for symplectic billiards from the more general Minkowski theory and extend them to higher dimensions and to orbits of even period. In particular, every convex body in dimension 2n is shown to carry at least (r−1)(n−1) distinct 2r-periodic symplectic billiard orbits.

What carries the argument

Symplectic reduction of the canonical symplectic form on V × V* that yields the Minkowski billiard map, together with the square-root relation that identifies the symplectic billiard map with a two-step iteration of a symplectic Minkowski map.

What would settle it

An explicit strictly convex body in dimension 4 whose number of geometrically distinct 4-periodic symplectic billiard orbits is strictly less than 1, or a direct computation showing that the reduced map fails to coincide with the classical Minkowski billiard map on a standard ellipse.

Watch

Extended reading notes

Core claim

The Minkowski billiard map is obtained by symplectic reduction of the canonical structure on V × V*, and the symplectic billiard map is a square root of a symplectic version of that Minkowski map; the resulting correspondence recovers and extends periodic-orbit theorems for symplectic billiards, including the lower bound of (r−1)(n−1) distinct 2r-periodic orbits in dimension 2n.

Load-bearing premise

The reduced map coming from the canonical structure on V times its dual is dynamically equivalent to classical Minkowski billiards strongly enough that periodic-orbit counts and variational arguments transfer without extra nondegeneracy or convexity hypotheses.

Editorial extensions

If this is right

  • Periodic-orbit counting and variational methods already available for Minkowski billiards transfer directly to symplectic billiards.
  • Every convex body in dimension 2n admits at least (r−1)(n−1) distinct 2r-periodic symplectic billiard orbits.
  • Known planar results on symplectic billiards become special cases of the corresponding Minkowski statements.
  • The same reduction framework extends existence results for even-period orbits to higher even dimensions.

Reading between the lines

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

  • The square-root relation suggests that odd-period symplectic orbits may require a separate covering construction not captured by the two-step Minkowski reduction.
  • If the reduction is natural with respect to linear symplectic maps, integrability or entropy invariants of one system can be pulled back to the other.
  • The lower bound (r−1)(n−1) is a candidate for sharpness on ellipsoids, giving a concrete higher-dimensional test case.
  • Analogous reductions of other product cotangent bundles may produce further billiard-type maps whose periodic points are counted by the same Morse-theoretic methods.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 5 minor

Summary. The manuscript establishes a dictionary between Minkowski billiards and symplectic billiards. It shows that the Minkowski billiard map arises by symplectic reduction of the canonical structure on V × V*, and that symplectic billiards stand in a square-root relation to a symplectic version of Minkowski billiards via a period-doubling correspondence of generating functions. As applications, known planar results on symplectic billiards are recovered from the Minkowski setting and extended to higher dimensions and even periods. The main existence theorem asserts at least (r−1)(n−1) distinct 2r-periodic symplectic billiard orbits in dimension 2n under C²-strict-convexity hypotheses.

Significance. If the constructions hold, the paper supplies a clean symplectic-geometric unification of two billiard theories previously developed largely independently. The reduction and square-root dictionary let variational lower bounds (Lusternik–Schnirelmann / Morse) transfer from Minkowski to symplectic billiards, producing the first systematic existence results for even-period orbits in higher-dimensional symplectic billiards. The work is parameter-free pure mathematics; the planar case n=1 recovers known results as a consistency check, and the lower bound (r−1)(n−1) is a concrete, falsifiable prediction. These are genuine strengths of the contribution.

major comments (1)
  1. [Existence theorem / generating-function correspondence] The central existence claim rests on the period-doubling correspondence of generating functions mapping nondegenerate critical points of the r-periodic Minkowski action to nondegenerate critical points of the 2r-periodic symplectic action, so that the LS/Morse lower bound transfers without loss. Under the paper’s standing C²-strict-convexity hypotheses the Hessians remain nondegenerate and no extra kernel appears; the argument is internally consistent and the bound (r−1)(n−1) follows. No load-bearing gap is identified in the reduction or the square-root transfer.
minor comments (5)
  1. [Introduction / reduction section] Clarify early (introduction or the reduction section) the precise standing hypotheses on the body (C²-strict convexity, smoothness of the dual, etc.) so that the reader can see at a glance which nondegeneracy statements are free and which require the Hessian argument.
  2. [Square-root / generating-function section] Make the period-doubling map on critical points fully explicit (formula for the correspondence of sequences of supporting pairs) and record that it is injective on the relevant free homotopy / homology classes used for the lower bound; a short remark would prevent any ambiguity about double-counting.
  3. [Applications / planar recovery] When recovering the known planar results as the n=1 case, cite the precise statements being recovered and note any minor differences in hypotheses (e.g., C² vs C^∞) so the comparison is transparent.
  4. [Throughout] Notation for the dual body, supporting hyperplanes, and the reduced phase space of supporting pairs should be fixed once and used consistently; occasional switches between V×V* and the space of oriented supporting pairs slow the reader.
  5. [Figures] A brief schematic figure of the reduction (canonical Liouville form → quotient by R+-scaling → Minkowski phase space) and of the period-doubling correspondence would help non-specialists; optional but useful.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for a careful and constructive reading of the manuscript. We are grateful that the referee finds the symplectic-reduction dictionary and the square-root correspondence between Minkowski and symplectic billiards to be sound, and that the transfer of Lusternik–Schnirelmann/Morse lower bounds is judged internally consistent under the stated C²-strict-convexity hypotheses. The single major comment confirms that no load-bearing gap appears in the reduction or the period-doubling correspondence of generating functions. We address that comment point by point below. In light of the minor-revision recommendation and the absence of identified gaps, we will prepare a lightly revised version that incorporates only minor clarifications of exposition where they improve readability; the mathematical content of the existence theorem remains unchanged.

read point-by-point responses

  1. Referee: The central existence claim rests on the period-doubling correspondence of generating functions mapping nondegenerate critical points of the r-periodic Minkowski action to nondegenerate critical points of the 2r-periodic symplectic action, so that the LS/Morse lower bound transfers without loss. Under the paper’s standing C²-strict-convexity hypotheses the Hessians remain nondegenerate and no extra kernel appears; the argument is internally consistent and the bound (r−1)(n−1) follows. No load-bearing gap is identified in the reduction or the square-root transfer.

    Authors: We thank the referee for this precise summary of the argument and for the independent verification that the Hessians remain nondegenerate under our C²-strict-convexity hypotheses. We agree that the period-doubling correspondence of generating functions maps nondegenerate critical points of the r-periodic Minkowski action bijectively onto nondegenerate critical points of the 2r-periodic symplectic action, so that the Lusternik–Schnirelmann/Morse lower bound transfers without loss and yields at least (r−1)(n−1) distinct 2r-periodic symplectic billiard orbits in dimension 2n. Since the referee identifies no gap and confirms internal consistency of both the symplectic reduction and the square-root transfer, we make no mathematical change to the existence theorem or its proof. In the revised manuscript we will add a short clarifying remark (after the statement of the correspondence) that explicitly records the absence of an extra kernel in the Hessian under the standing hypotheses, solely for the reader’s convenience; the argument itself is unaltered. revision: partial

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: pure mathematical identification transferring existence via standard symplectic reduction and period-doubling correspondence.

full rationale

The paper establishes a dictionary between Minkowski billiards and symplectic billiards via symplectic reduction of the canonical structure on V × V* and an explicit square-root (period-doubling) relation on generating functions. The central existence claim—at least (r−1)(n−1) distinct 2r-periodic symplectic billiard orbits in dimension 2n—follows by transferring Lusternik–Schnirelmann/Morse lower bounds from the Minkowski setting under standard C²-strict-convexity hypotheses that keep Hessians nondegenerate. No parameters are fitted to data; no uniqueness theorem is imported solely by self-citation to force the result; the constructions are definitional identifications that enable genuine transfer of known variational arguments rather than tautological restatements of the target. Known planar results appear as the n=1 case of the same setup. The derivation is therefore self-contained mathematical reasoning against external geometric benchmarks, with no circular reduction of the claimed prediction to its inputs by construction.

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

Abstract-only audit. No free parameters or invented physical entities appear. The work rests on standard symplectic and convex-geometry background (canonical form on V×V*, reduction, strictly convex tables, reflection laws for Minkowski and symplectic billiards). Precise domain assumptions (smoothness, strict convexity, nondegeneracy for periodic orbits) are not spelled out in the abstract and are recorded as domain assumptions.

assumptions (3)
  • standard math Canonical symplectic structure on V × V* and the validity of symplectic reduction for the billiard map
    Abstract states the Minkowski billiard map is obtained by reduction from this structure; this is standard symplectic geometry used as background.
  • domain assumption Standard definitions and reflection laws of Minkowski billiards and symplectic billiards on (strictly) convex bodies
    The identification and orbit-counting claims presuppose the usual geometric setup of both systems; exact regularity/convexity hypotheses are not listed in the abstract.
  • domain assumption Variational or topological machinery sufficient to produce the lower bound (r−1)(n−1) on 2r-periodic orbits in dimension 2n
    Existence lower bounds of this type typically rely on generating functions, Lusternik–Schnirelmann/Morse theory, or similar; the abstract does not name the tool.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Symplectic billiards as Minkowski billiards." pith.science (2026). https://pith.science/paper/3BGPKA3A

@misc{pith2026260705986,
  author       = {Pith},
  title        = {Pith review of: Symplectic billiards as Minkowski billiards},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3BGPKA3A}},
  note         = {Machine review of arXiv:2607.05986}
}
abstract

We establish a connection between Minkowski billiards and symplectic billiards, two classes of dynamical systems that have been studied largely independently. We show that the Minkowski billiard map can be described in symplectic terms via reduction from the canonical symplectic structure on $V \times V^*$, and that symplectic billiards can be viewed as a ``square root'' of a symplectic version of Minkowski billiards. As an application, we recover several known results on symplectic billiards from the more general Minkowski setting, and extend some of them to higher dimensions and to periodic orbits of even period. In particular, we prove the existence of at least $(r-1)(n-1)$ $2r$-periodic symplectic billiard orbits in dimension $2n$.

Figures

Figures reproduced from arXiv: 2607.05986 by the authors.

Figure 1
Figure 1. The symplectic billiard reflection: xy 7→ yz. In addition to [5], symplectic billiards were also studied in [11, 12] inde￾pendently of Minkowski billiards. A notable exception is the paper [4] that implicitly connected these two subjects. Here we make this connection ex￾plicit (Section 3.2) and show that some of the results on symplectic billiards follow from more general ones on Minkowski billiards; see Section 3.3… view at source ↗
Figure 2
Figure 2. Minkowski billiard reflection: p = L(v), p1 = L(v1), and (p1 − p) is antiparallel to L(q1) (i.e., they are parallel with opposite orientation). If P is the unit circle of a Euclidean metric, the reflection law is the familiar law of optics: the angle of incidence equals the angle of reflection. That is, the usual billiard is a particular case of Minkowski billiard. Equivalently, this being the original motivation, t… view at source ↗
Figure 3
Figure 3. Minkowski billiard reflection in dimension two: [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figures from the paper (5 more)
Figure 4
Figure 4. Figure 4: For any pair of points A and B on an ellipse with focus O, one has ∠AOC = ∠BOC. Let us return to the phase space S = {(q, v)}. Let v = L(p) for p ∈ P. Since v has an inward direction, L(q) · v < 0. Thus we have the following, more symmetric, presentation of the phase s…
Figure 5
Figure 5. Figure 5: A two-periodic orbit of the Minkowski billiard ( [PITH_FULL_IMAGE:figures/full_fig_p008_5.png]
Figure 6
Figure 6. Figure 6: Minkowski billiard map: (q, p) 7→ (q1, p1) [PITH_FULL_IMAGE:figures/full_fig_p013_6.png]
Figure 7
Figure 7. Figure 7: Symplectic billiard map: φS(q, p) = (p, q1), φS(p, q1) = (q1, p1); Minkowski billiard map: φM(q, p) = (q1, p1). In particular, the generating function Φ in (4) becomes Xn i=1 ω(qi+1 − qi , pi) = − Xn i=1 [PITH_FULL_IMAGE:figures/full_fig_p013_7.png]
Figure 8
Figure 8. Figure 8: The correspondence between symplectic and [PITH_FULL_IMAGE:figures/full_fig_p017_8.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Generic properties of planar symplectic billiards

    math.DS 2026-07 conditional novelty 7.0 of 10

    Generic smooth convex planar symplectic billiards have positive topological entropy: a residual set of tables is chaotic.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 1 Pith paper

  1. [1]

    Akopyan, A

    A. Akopyan, A. Balitskiy, R. Karasev, A. Sharipova.Elementary ap- proach to closed billiard trajectories in asymmetric normed spaces.Proc. Amer. Math. Soc.144(2016), 4501–4513

    work page 2016

  2. [2]

    Akopyan, R

    A. Akopyan, R. Karasev.When different norms lead to same billiard trajectories?Eur. J. Math.8(2022), 1309–1312. 17

    work page 2022

  3. [3]

    Albers, A

    P. Albers, A. Chavez Caliz, S. Tabachnikov.Outer symplectic billiard map at infinity. J. Modern Dynamics, to appear

    work page

  4. [4]

    Symplectic billiards for pairs of polygons

    P. Albers, F. Lander, J. Westermann.Symplectic billiards for pairs of polygons. arXiv:2402.12244

    work page Pith review arXiv

  5. [5]

    Albers, S

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

    work page 2018

  6. [6]

    Artstein-Avidan, Ya

    S. Artstein-Avidan, Ya. Ostrover.Bounds for Minkowski billiard trajec- tories in convex bodies.Int. Math. Res. Not. IMRN 2014, no. 1, 165–193

    work page 2014

  7. [7]

    Artstein-Avidan, R

    S. Artstein-Avidan, R. Karasev, Ya. Ostrover.From symplectic measure- ments to the Mahler conjecture.Duke Math. J.163(2014), 2003–2022

    work page 2014

  8. [8]

    Artstein-Avidan, D

    S. Artstein-Avidan, D. Florentin, Ya. Ostrover, D. Rosen.Duality of caustics in Minkowski billiards.Nonlinearity31(2018), 1197–1226

    work page 2018

Show all 31 references
  1. [9]

    Balitskiy.Equality cases in Viterbo’s conjecture and isoperimetric billiard inequalities.Int

    A. Balitskiy.Equality cases in Viterbo’s conjecture and isoperimetric billiard inequalities.Int. Math. Res. Not. IMRN 2020, no. 7, 1957–1978

    2020

  2. [10]

    Balitskiy, I

    A. Balitskiy, I. Mitrofanov, A. Polyanskii.Triangle covering problems and the Viterbo inequality in the plane. arXiv:2603.12495

  3. [11]

    Baracco, O

    L. Baracco, O. Bernardi.Totally integrable symplectic billiards are el- lipses.Adv. Math.454(2024), Paper No. 109873, 17 pp

    2024

  4. [12]

    Baracco, O

    L. Baracco, O. Bernardi, A. Nardi.Bialy-Mironov type rigidity for cen- trally symmetric symplectic billiards.Nonlinearity 37 (2024), no. 12, Pa- per No. 125025, 12 pp

    2024

  5. [13]

    Berezovik.Symplectically self-polar polytopes of minimal capacity

    M. Berezovik.Symplectically self-polar polytopes of minimal capacity. Ann. Math. Qu´ e.49(2025), 335–353

    2025

  6. [14]

    Berezovik, M

    M. Berezovik, M. Bialy.Outer billiards of symplectically self-polar convex bodies. Math. Ann. 394 (2026), no. 1, Paper No. 5, 13 pp

    2026

  7. [15]

    Berezovik, R

    M. Berezovik, R. Karasev.Symplectic polarity and Mahler’s conjecture. arXiv:2211.14630

  8. [16]

    Blagojevi´ c, M

    P. Blagojevi´ c, M. Harrison, S. Tabachnikov, G. Ziegler.Counting pe- riodic trajectories of Finsler billiards.SIGMA Symmetry Integrability Geom. Methods Appl.16(2020), Paper No. 022, 33 pp. 18

    2020

  9. [17]

    Farber, S

    M. Farber, S. Tabachnikov.Topology of cyclic configuration spaces and periodic trajectories of multi-dimensional billiards.Topology41(2002), 553–589

    2002

  10. [18]

    de Gosson, C

    M. de Gosson, C. de Gosson.Symplectic and Lagrangian polar duality; applications to quantum harmonic analysis.J. Math. Phys.65(2024), no. 6, Paper No. 062106, 15 pp

    2024

  11. [19]

    Gutkin, S

    E. Gutkin, S. Tabachnikov.Billiards in Finsler and Minkowski geome- tries. J. Geom. and Phys.40(2002), 277–301

    2002

  12. [20]

    Haim-Kislev, Ya

    P. Haim-Kislev, Ya. Ostrover.A Counterexample to Viterbo’s Conjec- ture. Ann. of Math.203(2026), 603–622

    2026

  13. [21]

    Kuiper.Double normals of convex bodies

    N. Kuiper.Double normals of convex bodies. Israel Journal of Mathe- matics,2(1964), 71–80

    1964

  14. [22]

    Krupp, D

    S. Krupp, D. Rudolf.Shortest Minkowski billiard trajectories on convex bodies. arXiv:2203.01802

    arXiv

  15. [23]

    Melrose.Equivalence of glancing hypersurfaces

    R. Melrose.Equivalence of glancing hypersurfaces. Invent. Math.37 (1976), 165–192

    1976

  16. [24]

    Pushkar’.Diameters of immersed manifolds and of wave fronts.C

    P. Pushkar’.Diameters of immersed manifolds and of wave fronts.C. R. Acad. Sci. Paris S´ er. I Math.326(1998), 201–205

    1998

  17. [25]

    Pushkar’.A generalization of Chekanov’s theorem

    P. Pushkar’.A generalization of Chekanov’s theorem. Diameters of im- mersed manifolds and wave fronts.Proc. Steklov Inst. Math.221(1998), 279–295

    1998

  18. [26]

    Rudolf.Viterbo’s conjecture as a worm problem.Monatsh

    D. Rudolf.Viterbo’s conjecture as a worm problem.Monatsh. Math.201 (2023), 217–287

    2023

  19. [27]

    Rudolf.The Minkowski billiard characterization of the EHZ-capacity of convex Lagrangian products.J

    D. Rudolf.The Minkowski billiard characterization of the EHZ-capacity of convex Lagrangian products.J. Dynam. Diff. Equations36(2024), 2773–2791

    2024

  20. [28]

    Rudolf.Viterbo’s conjecture for Lagrangian products inR 4 and sym- plectomorphisms to the Euclidean ball

    D. Rudolf.Viterbo’s conjecture for Lagrangian products inR 4 and sym- plectomorphisms to the Euclidean ball. arXiv:2203.02294. 19

    arXiv

  21. [29]

    S. Tabachnikov.Remarks on magnetic flows and magnetic billiards, Finsler metrics and a magnetic analog of Hilbert’s fourth problem.Mod- ern dynamical systems and applications, 233–250, Cambridge Univ. Press, Cambridge, 2004

    2004

  22. [30]

    Veselov.Integrable mappings

    A. Veselov.Integrable mappings. Russian Math. Surveys46(1991), 1–51

    1991

  23. [31]

    Villanueva, P

    C. Villanueva, P. Zhang.Twist coefficients of periodic orbits of Minkowski billiards. Pure Appl. Funct. Anal.11(2026), 137–168. 20

    2026

Pith tools

Reviewed July 8, 2026 · model on record in the stance chip above.