pith. sign in

arxiv: 2407.20159 · v1 · submitted 2024-07-29 · 🧮 math.DS · math.DG· math.SG

If a Minkowski billiard is projective, it is the standard billiard

Alexey Glutsyuk , Vladimir S. Matveev This is my paper

Pith reviewed 2026-05-23 22:49 UTC · model grok-4.3

classification 🧮 math.DS math.DGmath.SG
keywords billiardsprojective billiardsMinkowski billiardsEuclidean billiardsreflection lawconvex domainsdynamical systems
0
0 comments X

The pith

If a billiard in a convex domain is both projective and Minkowski, it must be the standard Euclidean billiard.

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

The paper shows that a billiard table in R^n whose reflection law can be interpreted both as projective (straight lines preserved under projection) and as Minkowski (derived from a norm) must actually be the ordinary billiard defined by some Euclidean inner product. Earlier work reached the same conclusion but needed high smoothness and a long argument; the new proof is short, direct, and valid already when the boundary is only C^1. The result also holds in local and semi-local forms near a point or along part of the boundary. A reader cares because the statement rules out any exotic billiards that would satisfy two independent geometric axioms at once.

Core claim

If a billiard in a convex domain in R^n is simultaneously projective and Minkowski, then it is the standard Euclidean billiard in an appropriate Euclidean structure. We present a direct simple proof of this result which works in C^1-smoothness. In addition we prove the semi-local and local versions of the result.

What carries the argument

The billiard reflection law required to be compatible with both a projective structure (preserving lines) and a Minkowski structure (induced by a norm).

If this is right

  • The table must admit an Euclidean structure in which reflection follows the usual angle law.
  • No non-Euclidean examples exist that satisfy both conditions simultaneously.
  • The classification holds locally near any boundary point and semi-locally along boundary arcs.
  • The same conclusion applies in every dimension n.

Where Pith is reading between the lines

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

  • The rigidity result may constrain which billiards can be integrable when viewed in multiple geometries.
  • One could check concrete tables such as ellipsoids to see that they satisfy both conditions only when the metric is Euclidean.
  • The direct C^1 argument might adapt to other pairs of billiard geometries whose reflection laws coincide.

Load-bearing premise

The domain is strictly convex, its boundary is at least C^1, and both structures are compatible with the reflection law.

What would settle it

Exhibit a strictly convex C^1 domain whose billiard reflection satisfies both the projective and Minkowski conditions yet cannot be realized as ordinary reflection in any Euclidean metric on R^n.

Figures

Figures reproduced from arXiv: 2407.20159 by Alexey Glutsyuk, Vladimir S. Matveev.

Figure 1
Figure 1. Figure 1: A projective billiard. Example 1 The standard billiard is a projective billiard such that at every q ∈ ∂K the eigenvector of Hq corresponding to the eigenvalue −1 is normal to ∂K. In what follows we identify the tangent spaces TqR n with R n by trans￾lations. This identifies the involution family Hq with a family of linear in￾volutions R n → R n , i.e., n × n-matrices, also denoted by Hq. Conversely, a fam… view at source ↗
Figure 2
Figure 2. Figure 2: A Minkowski billiard. Example 2 If T is an ellipsoid, then the Minkowski billiard is the standard billiard in the Euclidean structure such that the polar dual of the 1-ball is a translation of this ellipsoid. In more detail, let B : R n∗ → R n∗ be a linear transformation that sends T to a ball. Let B∗ : R n → R n be its dual, which is defined by the condition that for every α ∈ R n∗ and v ∈ R n one has (B(… view at source ↗
Figure 3
Figure 3. Figure 3: The distributions D and De. Since the distribution De is also invariant with respect to translations by vectors t · dqF, it is integrable and its integral manifolds are translations of the southern hemisphere. Next, take a point p of the equator. Note that the only integral manifold of the distribution D containing the point p is the northern hemisphere S+. Similarly, the only integral manifold of the dist… view at source ↗
read the original abstract

In the recent paper arXiv:2405.13258, the first author of this note proved that if a billiard in a convex domain in $\mathbb{R}^n$ is simultaneously projective and Minkowski, then it is the standard Euclidean billiard in an appropriate Euclidean structure. The proof was quite complicated and required high smoothness. Here we present a direct simple proof of this result which works in $C^1$-smoothness. In addition we prove the semi-local and local versions of the result

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

0 major / 1 minor

Summary. The manuscript claims that if a billiard in a convex domain in R^n is simultaneously projective and Minkowski, then it coincides with the standard Euclidean billiard in an appropriate Euclidean structure. It supplies a direct geometric proof of this fact that operates under C^1 boundary regularity, together with semi-local and local variants, thereby simplifying an earlier argument that required substantially higher smoothness.

Significance. If the central claim holds, the result sharpens the classification of billiards compatible with both projective and Minkowski structures by showing that their intersection is precisely the Euclidean case, and the C^1 proof together with the local/semi-local statements broadens the range of applicability. The directness of the argument and the reduction in regularity assumptions constitute clear technical strengths.

minor comments (1)
  1. [Introduction] The abstract states that the new proof 'works in C^1-smoothness'; a brief sentence in the introduction clarifying how the reflection law is formulated and verified at this regularity would aid readers who consult only the opening paragraphs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of the simplified C^1 proof, and the recommendation to accept. No major comments were raised.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper supplies an independent direct C^1 geometric proof of the stated result. The citation to arXiv:2405.13258 is purely contextual (history of the claim) and is not used to justify any step of the new argument. No self-definitional reductions, fitted inputs renamed as predictions, load-bearing self-citations, or smuggled ansatzes appear in the derivation chain; the central claim rests on the fresh proof rather than on prior work by the authors.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work is a pure existence/uniqueness proof in differential geometry and relies on standard background facts about convex domains, billiard maps, and projective/Minkowski structures; no free parameters or invented entities appear in the abstract.

axioms (2)
  • domain assumption The domain is convex in R^n
    Explicitly stated in the abstract as the setting for the billiard.
  • domain assumption Billiard reflection law is well-defined for both projective and Minkowski structures
    Implicit in the statement that the billiard is simultaneously projective and Minkowski.

pith-pipeline@v0.9.0 · 5613 in / 1247 out tokens · 24984 ms · 2026-05-23T22:49:05.826025+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

18 extracted references · 18 canonical work pages

  1. [1]

    Remarks on Joachimsthal in- tegral and Poritsky property

    Maxim Arnold and Serge Tabachnikov. “Remarks on Joachimsthal in- tegral and Poritsky property”. In: Arnold Math. J. 7.3 (2021), pp. 483–

    work page 2021

  2. [2]

    doi: 10.1007/s40598-021-00180-0

    issn: 2199-6792,2199-6806. doi: 10.1007/s40598-021-00180-0 . url: https://doi.org/10.1007/s40598-021-00180-0

    work page doi:10.1007/s40598-021-00180-0

  3. [3]

    From symplectic measurements to the Mahler conjecture

    Shiri Artstein-Avidan, Roman Karasev, and Yaron Ostrover. “ From symplectic measurements to the Mahler conjecture”. In: Duke Math. J. 163.11 (2014), pp. 2003–2022. issn: 0012-7094,1547-7398. doi: 10.1215/00127094-2794999. url: https://doi.org/10.1215/00127094-2794999

    work page doi:10.1215/00127094-2794999 2014

  4. [4]

    Bounds for Minkow ski bil- liard trajectories in convex bodies

    Shiri Artstein-Avidan and Yaron Ostrover. “Bounds for Minkow ski bil- liard trajectories in convex bodies”. In: Int. Math. Res. Not. IMRN 1 (2014), pp. 165–193. issn: 1073-7928,1687-0247. doi: 10.1093/imrn/rns216. url: https://doi.org/10.1093/imrn/rns216

    work page doi:10.1093/imrn/rns216 2014

  5. [5]

    Seules les quadriques admettent des caustiqu es

    Marcel Berger. “Seules les quadriques admettent des caustiqu es”. In: Bull. Soc. Math. France 123.1 (1995), pp. 107–116. issn: 0037-9484,2102- 622X. url: http://www.numdam.org/item?id=BSMF_1995__123_1_107_0

    work page 1995

  6. [6]

    On Hamiltonian projective billiards on boundaries of products of convex bodies

    Alexey Glutsyuk. “On Hamiltonian projective billiards on boundaries of products of convex bodies”. In: To appear in Proc. Steklov Inst. Math. (2024). arXiv: 2405.13258

    work page arXiv 2024

  7. [7]

    Billiards in Finsler and Minko wski geometries

    Eugene Gutkin and Serge Tabachnikov. “Billiards in Finsler and Minko wski geometries”. In: J. Geom. Phys. 40.3-4 (2002), pp. 277–301. issn: 0393- 0440,1879-1662. doi: 10.1016/S0393-0440(01)00039-0 . url: https://doi.org/10.1016/S039

    work page doi:10.1016/s0393-0440(01)00039-0 2002

  8. [8]

    A Counterexample to Viterbo’s Conjecture

    Pazit Haim-Kislev and Yaron Ostrover. A Counterexample to Viterbo’s Conjecture. 2024. arXiv: 2405.16513

    work page arXiv 2024

  9. [9]

    Geodesic random walks, diffusion processes and brownian motion on finsler man - ifolds

    Tianyu Ma, Vladimir S. Matveev, and Ilya Pavlyukevich. “Geodesic random walks, diffusion processes and brownian motion on finsler man - ifolds”. In: J. Geom. Anal. 31.12 (2021), pp. 12446–12484. issn: 1050- 6926,1559-002X. doi: 10.1007/s12220-021-00723-z . url: https://doi.org/10.1007/s1222

    work page doi:10.1007/s12220-021-00723-z 2021

  10. [10]

    Riemannian metrics having common geodesics with Berwald metrics

    Vladimir S. Matveev. “Riemannian metrics having common geodesics with Berwald metrics”. In: Publ. Math. Debrecen 74.3-4 (2009), pp. 405–

    work page 2009

  11. [11]

    doi: 10.5486/pmd.2009.4458

    issn: 0033-3883,2064-2849. doi: 10.5486/pmd.2009.4458. url: https://doi.org/10.5486/pmd.2009.4458. 21

    work page doi:10.5486/pmd.2009.4458 2064

  12. [12]

    Finsler conformal Lichnerowicz-Obata conject ure

    Vladimir S. Matveev, Hans-Bert Rademacher, Marc Troyanov, and Ab- delghani Zeghib. “Finsler conformal Lichnerowicz-Obata conject ure”. In: Ann. Inst. Fourier (Grenoble) 59.3 (2009), pp. 937–949. issn: 0373- 0956,1777-5310. doi: 10.5802/aif.2452. url: https://doi.org/10.5802/aif.2452

    work page doi:10.5802/aif.2452 2009

  13. [13]

    Completeness and inco m- pleteness of the Binet-Legendre metric

    Vladimir S. Matveev and Marc Troyanov. “Completeness and inco m- pleteness of the Binet-Legendre metric”. In: Eur. J. Math. 1.3 (2015), pp. 483–502. issn: 2199-675X,2199-6768. doi: 10.1007/s40879-015-0046-4 . url: https://doi.org/10.1007/s40879-015-0046-4

    work page doi:10.1007/s40879-015-0046-4 2015

  14. [14]

    The Binet-Legendre m et- ric in Finsler geometry

    Vladimir S. Matveev and Marc Troyanov. “The Binet-Legendre m et- ric in Finsler geometry”. In: Geom. Topol. 16.4 (2012), pp. 2135–2170. issn: 1465-3060,1364-0380. doi: 10.2140/gt.2012.16.2135. url: https://doi.org/10.2140/

    work page doi:10.2140/gt.2012.16.2135 2012

  15. [15]

    The Myers-Steenrod theo- rem for Finsler manifolds of low regularity

    Vladimir S. Matveev and Marc Troyanov. “The Myers-Steenrod theo- rem for Finsler manifolds of low regularity”. In: Proc. Amer. Math. Soc. 145.6 (2017), pp. 2699–2712. issn: 0002-9939,1088-6826. doi: 10.1090/proc/13407. url: https://doi.org/10.1090/proc/13407

    work page doi:10.1090/proc/13407 2017

  16. [16]

    Introducing projective billiards

    Serge Tabachnikov. “Introducing projective billiards”. In: Ergodic The- ory Dynam. Systems 17.4 (1997), pp. 957–976. issn: 0143-3857,1469-

    work page 1997

  17. [17]

    url: https://doi.org/10.1017/S014338579708623

    doi: 10.1017/S0143385797086239. url: https://doi.org/10.1017/S014338579708623

    work page doi:10.1017/s0143385797086239

  18. [18]

    Metric and isoperimetric problems in symplectic g e- ometry

    Claude Viterbo. “Metric and isoperimetric problems in symplectic g e- ometry”. In: J. Amer. Math. Soc. 13.2 (2000), pp. 411–431. issn: 0894- 0347,1088-6834. doi: 10.1090/S0894-0347-00-00328-3 . url: https://doi.org/10.1090/S08 A. G.: CNRS, UMR 5669 (UMPA, ENS de Lyon), France, HSE University, Moscow, Russia, Higher School of Modern Mathematics MIPT, Mosco...

    work page doi:10.1090/s0894-0347-00-00328-3 2000