pith. sign in

arxiv: 2511.06464 · v2 · pith:H2NIAJBCnew · submitted 2025-11-09 · 🧮 math.DS · math-ph· math.MP· physics.class-ph

Poncelet property of planar elliptic integrable Kepler billiards

Daniel Jaud , Lei Zhao This is my paper

Pith reviewed 2026-05-22 12:34 UTC · model grok-4.3

classification 🧮 math.DS math-phmath.MPphysics.class-ph
keywords Kepler billiardPoncelet propertyintegrable dynamicselliptic curveperiodic orbitsconic sectionssecond focuscaustic
0
0 comments X

The pith

In a Kepler billiard with conic boundary the lines joining successive second foci remain tangent to one fixed circle.

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

The paper studies planar billiards in which the particle moves under inverse-square attraction to a fixed center and reflects off a branch of a conic that has that center as a focus. It proves that, for any orbit whose total energy is nonzero, the straight lines connecting the second foci of consecutive free-flight Kepler arcs are all tangent to a single fixed circle. This geometric fact is then used to show that the billiard map is integrable and can be linearized on an elliptic curve when the wall itself is an ellipse. The authors also extract explicit algebraic conditions that decide whether a given orbit closes after a finite number of bounces.

Core claim

For non-zero-energy orbits in a planar Kepler billiard whose reflection wall is a branch of a conic section with the Kepler center at one focus, the lines of consecutive second orbital foci along a billiard trajectory are all tangent to a fixed circle. This Poncelet property is used to analyse the integrable dynamics inside or outside an elliptic reflection wall, to identify the associated elliptic curve on which the dynamics is linearized, and to give explicit conditions on n-periodicity using Cayley's criteria.

What carries the argument

The fixed caustic circle to which all second-focus chords are tangent; this circle, together with the energy and angular-momentum integrals, reduces the billiard map to a translation on an elliptic curve.

If this is right

  • The billiard map preserves the caustic circle and therefore linearizes to a constant shift on the elliptic curve determined by the wall and the integrals.
  • Rational multiples of the shift on that elliptic curve correspond to periodic orbits whose periods satisfy Cayley's algebraic criterion.
  • The same tangent-circle property holds for both the interior and exterior problems with an elliptic wall.
  • Zero-energy parabolic orbits fall outside the Poncelet statement and must be treated separately.

Where Pith is reading between the lines

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

  • The construction suggests that approximate conic boundaries may produce approximately tangent foci for short times, opening a perturbative study of near-integrable Kepler billiards.
  • An analogous second-focus caustic may exist for other central-force laws whose orbits admit a geometric focus analogue.
  • The explicit elliptic curve supplies a practical way to compute the rotation number as a function of wall eccentricity and particle energy.

Load-bearing premise

The reflecting wall must be exactly a branch of a conic section having the Kepler center as one focus, so that each free-flight segment is a Kepler orbit with a well-defined second focus.

What would settle it

A concrete numerical trajectory inside a specific Kepler ellipse with positive energy in which the successive second-focus lines fail to remain tangent to any single circle.

Figures

Figures reproduced from arXiv: 2511.06464 by Daniel Jaud, Lei Zhao.

Figure 1
Figure 1. Figure 1: Setup of the system with elliptic boundary and foci [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Foci line construction for the parabolic boundary [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Foci-chords tangent to the foci-caustic circle. [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: 9 [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 4
Figure 4. Figure 4: Gray regions displaying the admissible values ( [PITH_FULL_IMAGE:figures/full_fig_p010_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: 2-periodic orbits and the Poncelet property. [PITH_FULL_IMAGE:figures/full_fig_p022_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Expample for a 3-periodic configuration. [PITH_FULL_IMAGE:figures/full_fig_p024_6.png] view at source ↗
read the original abstract

We consider the integrable dynamics of a Kepler billiard in the plane bounded by a branch of a conic section focused at the Kepler center. We show that in this case, for non-zero-energy orbits, the lines of consecutive second orbital foci along a billiard trajectory are all tangent to a fixed circle. Based on this observation we analyse in details the integrable dynamics of a planar Kepler billiard inside or outside an elliptic reflection wall, with the Kepler center occupying one of its foci. We identify the associated elliptic curve on which the dynamics is linearized, and the shift defined thereon. We also discuss explicit conditions on $n$-periodicity using Cayley's criteria.

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

1 major / 3 minor

Summary. The paper studies the dynamics of Kepler billiards bounded by a conic section with the Kepler center at one focus. It proves that for non-zero energy orbits, the lines connecting consecutive second orbital foci are tangent to a fixed circle. For the case of an elliptic boundary, it identifies the elliptic curve on which the billiard map is linearized, determines the corresponding shift, and gives conditions for n-periodicity based on Cayley's criteria.

Significance. This result establishes a Poncelet property for this class of integrable billiards, providing a geometric envelope interpretation for the second foci lines. The linearization on an elliptic curve and the use of Cayley's criteria for periodicity are standard but well-applied here, offering explicit algebraic conditions that could be useful for classifying periodic orbits in Kepler billiards. If the derivations hold, this contributes to the literature on integrable systems combining billiards and central force problems.

major comments (1)
  1. [§3] The key claim regarding the tangency of the lines of second foci to a fixed circle is central to the paper. The argument appears to use the preservation of the Laplace-Runge-Lenz vector under the billiard reflection, but a more detailed step-by-step derivation in coordinates would help confirm that the envelope is indeed a circle independent of the specific trajectory for E ≠ 0.
minor comments (3)
  1. [Abstract] The phrase 'planar elliptic integrable Kepler billiards' in the title and abstract could be clarified to distinguish between the elliptic shape of the boundary and the elliptic curve used for linearization.
  2. [Introduction] Additional references to related works on Poncelet porisms in billiards or Kepler problems would provide better context for the novelty of the result.
  3. [§5] The application of Cayley's criteria is presented, but the explicit form of the conditions in terms of the elliptic curve parameters could be expanded for readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and positive recommendation of minor revision. We address the major comment below.

read point-by-point responses

  1. Referee: [§3] The key claim regarding the tangency of the lines of second foci to a fixed circle is central to the paper. The argument appears to use the preservation of the Laplace-Runge-Lenz vector under the billiard reflection, but a more detailed step-by-step derivation in coordinates would help confirm that the envelope is indeed a circle independent of the specific trajectory for E ≠ 0.

    Authors: We agree that expanding the derivation would improve clarity. In the revised version we will add a coordinate-based step-by-step calculation in §3 that explicitly tracks the Laplace-Runge-Lenz vector through the reflection law, verifies its preservation, and shows that the resulting envelope is a circle whose radius depends only on the energy E ≠ 0 and is therefore independent of the particular trajectory. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation rests on standard conic geometry

full rationale

The paper's central claim—that lines of consecutive second orbital foci are tangent to a fixed circle for non-zero-energy orbits—follows directly from the geometric setup of a Kepler billiard bounded by a conic branch with the Kepler center at one focus. Each free-flight segment is a Kepler conic whose second focus is defined by the standard focus-directrix property, and the billiard reflection preserves the integrals (energy and angular momentum) that enforce the envelope property via Poncelet-type theorems for conics. The subsequent linearization on an elliptic curve and Cayley periodicity criteria are standard consequences of this integrability, not fitted or self-defined quantities. No load-bearing step reduces by construction to a fitted parameter, self-citation chain, or ansatz smuggled from prior author work; the construction is self-contained against external benchmarks of classical conic geometry and integrable billiards.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the geometric definition of the billiard wall and on standard facts about Kepler orbits and elliptic curves; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption The billiard boundary is a branch of a conic section having the Kepler center as a focus.
    This is the defining setup that makes each free-flight segment a Kepler orbit with a well-defined second focus.

pith-pipeline@v0.9.0 · 5636 in / 1214 out tokens · 34764 ms · 2026-05-22T12:34:19.709917+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Baranzini, V

    S. Baranzini, V. L. Barutello, I. De Blasi, S. Terracini, On the Birkhoff conjecture for Kepler billiards, arXiv:2507.08446, (2025 )

    work page arXiv 2025

  2. [2]

    Barrera, J

    B. Barrera, J. P. Ruz-Cuen, J. C. Guti´ errez-Vega, Ellip tic billiard with harmonic potential: Classical description Phys. Rev. E , 108, 034205, (2023)

    work page 2023

  3. [3]

    Boltzmann, L¨ osung eines mechanischen Problems, Wiener Berichte 58: 1035–1044 (1868)

    L. Boltzmann, L¨ osung eines mechanischen Problems, Wiener Berichte 58: 1035–1044 (1868)

    work page

  4. [4]

    Felder, Poncelet property and quasi-periodicity of t he integrable Boltzmann system, Lett

    G. Felder, Poncelet property and quasi-periodicity of t he integrable Boltzmann system, Lett. Math. Phys 111, no. 12 (2021)

    work page 2021

  5. [5]

    Dragovic, M

    V. Dragovic, M. Radnovic, Poncelet Porism and Beyond, Bi rkh¨ auser, (2011)

    work page 2011

  6. [6]

    Y. N. Fedorov, An ellipsoidal billiard with a quadratic p otential, Funct. Anal. Appl. 35:199?208, (2001)

    work page 2001

  7. [7]

    arXiv:2008.01955

    G. Gallavotti, I. Jauslin, A Theorem on Ellipses, an Inte grable System and a Theorem of Boltzmann, Arxiv: 2008.01955 (2020)

    work page arXiv 2008

  8. [8]

    Gasiorek, M

    S. Gasiorek, M. Radnovic, Periodic trajectories and top ology of the integrable Boltzmann system, in Toshitake Kohno and Masanori Mor- ishita (Eds.), Contemporary Mathematics, (pp. 111-130). Providence, Rhode Island: American Mathematical Society. (2024)

    work page 2024

  9. [9]

    Griffiths, J

    P. Griffiths, J. Harris, A poncelet theorem in space, Comm. Math. Helv. 52: 145-160, (1977)

    work page 1977

  10. [10]

    Griffiths, J

    P. Griffiths, J. Harris, On Cayley’s explicit solution to Poncelet’s Porism., L’Ens. Math. 24:31-40, (1978)

    work page 1978

  11. [11]

    A. A. Panov, Elliptical billiard table with Newtonian p otential, Mat. Zametki., 55(3):139-140, (1994)

    work page 1994

  12. [12]

    Husem¨ oller, Elliptic Curves, GTM 111, Springer (20 04)

    D. Husem¨ oller, Elliptic Curves, GTM 111, Springer (20 04)

    work page

  13. [13]

    Jaud, Gravitational billiards bouncing inside gene ral domains - foci curves and confined domains J

    D. Jaud, Gravitational billiards bouncing inside gene ral domains - foci curves and confined domains J. Geom. Phys. 194 No. 104998, (2023)

    work page 2023

  14. [14]

    D. Jaud, L. Zhao, Geometric properties of integrable Ke pler and Hooke billiards with conic section boundaries J. Geom. Phys. 204 No. 105289, (2024)

    work page 2024

  15. [15]

    Poncelet, Traite des proprietes projectives des figures , Paris: Gauthier-Villars

    J.-V. Poncelet, Traite des proprietes projectives des figures , Paris: Gauthier-Villars. pp. 311–317 (1865). First edition (1822 ). 26

    work page

  16. [16]

    Tabachnikov, Geometry and Billiards , Student Mathematical Li- brary 30, American Mathematical Soc., (2005)

    S. Tabachnikov, Geometry and Billiards , Student Mathematical Li- brary 30, American Mathematical Soc., (2005)

    work page 2005

  17. [17]

    Takeuchi, L

    A. Takeuchi, L. Zhao, Conformal transformations and in tegrable me- chanical billiards, Adv. Math 436, 109411, (2024)

    work page 2024

  18. [18]

    Takeuchi, L

    A. Takeuchi, L. Zhao, Projective integrable mechanica l billiards, Non- linearity, 37, 015011, (2023) 27

    work page 2023