pith. sign in

arxiv: 2606.04132 · v1 · pith:BVND4LONnew · submitted 2026-06-02 · 🧮 math.DS · math.AG· math.CV

On the First Caustic of Elliptical Billiards

Aleksandra Uskova This is my paper

Pith reviewed 2026-06-28 07:54 UTC · model grok-4.3

classification 🧮 math.DS math.AGmath.CV
keywords elliptical billiardscausticscuspsreflectioncomplex billiardsenvelopesconjugate locus
0
0 comments X

The pith

The first caustic of an elliptical billiard has exactly four ordinary cusps.

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

The paper proves that the envelope of rays after one reflection inside an ellipse, called the first caustic Γ₁, contains precisely four ordinary cusps. This settles the n=1 case of a conjecture that all such caustics have exactly four cusps. The argument works by embedding the real billiard into a complex version whose algebraic properties make the cusp count visible. A reader would care because the result tightens the known lower bound of four cusps to an exact count and connects the billiard problem to the classical count of cusps on conjugate loci of ellipsoids.

Core claim

By studying billiards in complex spaces, the paper shows that the first caustic Γ₁ of any elliptical billiard possesses exactly four ordinary cusps.

What carries the argument

Billiards in complex spaces, which complexifies the reflection law and caustic envelope so that the number of real ordinary cusps can be read off from the complex curve.

If this is right

  • The previously established lower bound of four ordinary cusps is sharp for the first caustic.
  • The conjecture of Bor and Tabachnikov holds at least for n=1.
  • The complex-space method supplies a concrete tool that counts cusps on the real envelope after one reflection.

Where Pith is reading between the lines

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

  • The same complexification technique may be adaptable to higher-order caustics Γ_n for n>1.
  • The result supplies a billiard analogue of Jacobi’s last geometric statement that could be compared directly with the conjugate-locus count on an ellipsoid.
  • If the complex method extends, it would give a uniform proof that every caustic of an ellipse has exactly four ordinary cusps.

Load-bearing premise

The complexification of the elliptical billiard preserves both the count and the ordinary character of cusps that appear on the real caustic curve.

What would settle it

An explicit algebraic computation of Γ₁ for a concrete ellipse (for example, the unit circle stretched by a factor of two) that yields a different number of ordinary cusps or a non-ordinary cusp.

read the original abstract

A point source of light is placed inside a billiard with a smooth, convex, closed boundary. For any integer $n$, the $n$-th caustic by reflection, denoted by $\Gamma_n$, is the envelope of light rays that have undergone $n$ reflections in such a billiard after emanating from the source. It has been conjectured by Gil Bor and Serge Tabachnikov that for an elliptical billiard, $\Gamma_n$ has exactly four ordinary cusps; this problem is a billiard variation of Jacobi's Last Geometric Statement, which concerns the number of cusps in the conjugate locus of a point on an ellipsoid. Gil Bor, Mark Spivakovsky, and Serge Tabachnikov have proven that $\Gamma_n$ has at least four ordinary cusps. In this paper, we present a proof that $\Gamma_1$ has exactly four ordinary cusps, using billiards in complex spaces.

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

Summary. The paper claims to prove that the first caustic Γ₁ of an elliptical billiard has exactly four ordinary cusps. Building on prior work establishing at least four ordinary cusps, the argument proceeds by complexifying the billiard table and analyzing the caustic in complex space, then descending the count and ordinariness back to the real curve.

Significance. If correct, the result settles the n=1 case of the Bor–Tabachnikov conjecture on the number of cusps of caustics in elliptical billiards, a billiard analogue of Jacobi’s last geometric statement. The complex-billiard method supplies a new technique that could extend to higher n or other convex tables.

major comments (2)
  1. [proof of the main theorem (complex-to-real descent)] The central claim requires that the real-section functor preserves both the count of cusps and their ordinary character. The manuscript must supply an explicit lemma (or subsection) verifying (i) every real cusp of Γ₁ lifts to a complex cusp of the same type, (ii) every real point among the complex cusps descends to a real cusp of Γ₁, and (iii) ordinariness is invariant under this correspondence. Without these three statements, the equality between the complex count and the real count on Γ₁ is not guaranteed.
  2. [§ on complex cusps and ordinariness] The definition of an “ordinary cusp” in the complex setting must be shown to coincide with the classical real definition when restricted to real points; any discrepancy would alter the final count. Cite the precise local normal form or multiplicity condition used for ordinariness.
minor comments (2)
  1. Notation for the complexified billiard map and the complex caustic should be introduced once and used consistently; currently the same symbol appears for both real and complex objects in several places.
  2. Add a short diagram or coordinate chart illustrating one complex cusp and its real section to aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the potential impact of the complex-billiard approach. The comments correctly identify places where the manuscript would benefit from greater explicitness on the complex-to-real correspondence. We will revise the paper to supply the requested lemma and clarification.

read point-by-point responses

  1. Referee: [proof of the main theorem (complex-to-real descent)] The central claim requires that the real-section functor preserves both the count of cusps and their ordinary character. The manuscript must supply an explicit lemma (or subsection) verifying (i) every real cusp of Γ₁ lifts to a complex cusp of the same type, (ii) every real point among the complex cusps descends to a real cusp of Γ₁, and (iii) ordinariness is invariant under this correspondence. Without these three statements, the equality between the complex count and the real count on Γ₁ is not guaranteed.

    Authors: We agree that an explicit statement of the correspondence is needed for rigor. In the revised manuscript we will add a short subsection (immediately preceding the count of complex cusps) containing a lemma that verifies (i) real cusps of Γ₁ embed as complex cusps of identical type, (ii) the real points among the complex cusps are precisely the real cusps of Γ₁, and (iii) the ordinariness condition (intersection multiplicity exactly 3 with the tangent) is preserved under real restriction. The proof of the lemma will rely on the fact that the real section is a real algebraic curve and that the defining equations are defined over ℝ. revision: yes

  2. Referee: [§ on complex cusps and ordinariness] The definition of an “ordinary cusp” in the complex setting must be shown to coincide with the classical real definition when restricted to real points; any discrepancy would alter the final count. Cite the precise local normal form or multiplicity condition used for ordinariness.

    Authors: We define an ordinary cusp in the complex setting by the local normal form (t², t³) or, equivalently, by the condition that the tangent line intersects the curve with multiplicity exactly 3. This is identical to the classical real definition. In the revision we will cite a standard reference on plane-curve singularities (e.g., Fulton’s Algebraic Curves or a comparable text) and add a brief remark, placed with the new lemma, confirming that the multiplicity condition restricts without change to the real locus. revision: yes

Circularity Check

0 steps flagged

No circularity: direct complex-analytic proof of cusp count

full rationale

The paper claims a proof that the first caustic Γ₁ of an elliptical billiard has exactly four ordinary cusps by extending the billiard dynamics to complex spaces. It cites external prior work (Bor–Spivakovsky–Tabachnikov) only for the independent lower bound of four cusps and does not rely on self-citations, fitted parameters renamed as predictions, or any self-definitional loop. The complexification step is presented as a mathematical construction whose preservation properties are argued directly rather than assumed by definition or prior author result. No equation or step reduces the target count to an input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review based on abstract only; specific axioms, free parameters or invented entities cannot be audited without the full text. Paper invokes standard properties of elliptical billiards and complex analysis.

axioms (1)
  • domain assumption Elliptical billiards admit confocal caustics and their envelopes can be studied via complexification.
    Standard background in billiard dynamics and algebraic geometry invoked by the method.

pith-pipeline@v0.9.1-grok · 5688 in / 1084 out tokens · 19973 ms · 2026-06-28T07:54:25.815329+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

13 extracted references · 7 canonical work pages

  1. [1]

    the cut loci and the conjugate loci on ellipsoids

    Itoh, J., Kiyohara, K. the cut loci and the conjugate loci on ellipsoids. // Manuscr. Math. 2004. №114, p. 247–264

    2004

  2. [2]

    On Cusps of Caustics by Reflection: Billiard Variations on the Four Vertex Theorem and on Jacobi’s Last Geometric Statement

    Bor, G., Tabachnikov, S. On Cusps of Caustics by Reflection: Billiard Variations on the Four Vertex Theorem and on Jacobi’s Last Geometric Statement. // the American Mathematical Monthly. 2023. №130:5, p.454-467. https://doi.org/10.1080/00029890.2023.2179842

    work page doi:10.1080/00029890.2023.2179842 2023

  3. [3]

    Cusps of caustics by reflection in ellipses

    Bor, G., Spivakovsky, M., Tabachnikov, S. Cusps of caustics by reflection in ellipses. // Journal of the London Mathematical Society. 2024. №110:6, e70033. https://doi.org/10.1112/jlms.70033

    work page doi:10.1112/jlms.70033 2024

  4. [4]

    On quadrilateral orbits in complex algebraic planar billiards

    Glutsyuk, A. On quadrilateral orbits in complex algebraic planar billiards. // Moscow Mathematical Journal. 2014. №14, p.239-289

    2014

  5. [5]

    On Odd-periodic Orbits in complex planar billiards

    Glutsyuk, A. On Odd-periodic Orbits in complex planar billiards. // Journal of Dynamical and Control Systems. 2014. №20, p.293-306

    2014

  6. [6]

    On the incenters of triangular orbits on elliptic billiards

    Romaskevich, O. On the incenters of triangular orbits on elliptic billiards. // L’Enseignement Mathématique. 2014. №60(3), p.247-255

    2014

  7. [7]

    On the Circumcenters of Triangular Orbits in Elliptic Billiard

    Fierobe, C. On the Circumcenters of Triangular Orbits in Elliptic Billiard. // Journal of Dynamical and Control Systems. 2021. №27, p.693–705. https://doi.org/10.1007/s10883-021-09537-2

    work page doi:10.1007/s10883-021-09537-2 2021

  8. [8]

    Complex caustics of the elliptic billiard

    Fierobe, C. Complex caustics of the elliptic billiard. // Arnold Math J. 2021. №7, p. 1–30. https://doi.org/10.1007/s40598-020-00152-w

    work page doi:10.1007/s40598-020-00152-w 2021

  9. [9]

    the Dynamical Degree of Billiards in an Algebraic Curve

    Weinreich, M. the Dynamical Degree of Billiards in an Algebraic Curve. // the Journal of Geometric Analysis. 2025. №22. https://doi.org/10.1007/s12220-024-01850-z

    work page doi:10.1007/s12220-024-01850-z 2025

  10. [10]

    Algebraic billiards in the Fermat hyperbola

    Weinreich, M. Algebraic billiards in the Fermat hyperbola. // Advances in Mathematics. 2025. №483, p. 110674. https://doi.org/10.1016/j.aim.2025.110674

    work page doi:10.1016/j.aim.2025.110674 2025

  11. [11]

    a Memoir upon Caustics

    Cayley, A. a Memoir upon Caustics. // Philosophical Transactions of the Royal Society of London. 1857. Vol. 147, p. 273-312

  12. [12]

    On Caustics of Plane Curves

    Bruce, J.W., Giblin, P.J., Gibson, C.G. On Caustics of Plane Curves. // the American Mathematical Monthly. №88(9), p. 651–667. https://doi.org/10.1080/00029890.1981.11995337

    work page doi:10.1080/00029890.1981.11995337 1981

  13. [13]

    Geometry and Billiards

    Tabachnikov, S. Geometry and Billiards. // American Mathematical Society. 2005

    2005