On the First Caustic of Elliptical Billiards

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 $Γ_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, $Γ_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 $Γ_n$ has at least four ordinary cusps. In this paper, we present a proof that $Γ_1$ has exactly four ordinary cusps, using billiards in complex spaces.

• The paper proves that the first reflected caustic of a non-circular ellipse has exactly four ordinary cusps, resolving the n=1 case of the Bor–Tabachnikov conjecture.
• The paper complexifies the billiard and uses genus, dual degree, bitangent bounds, and Plücker formulas to show the caustic is a self-dual rational sextic with six nodes and six bitangents.
• The paper also classifies parallelogram orbits in complex elliptical billiards, identifying the unique confocal conic parameter that permits such orbits and highlighting challenges for extending the method to higher caustics.

The paper proves that the first caustic by reflection in an elliptical billiard has exactly four ordinary cusps, resolving the $n=1$ case of a billiard analogue of Jacobi's Last Geometric Statement posed by Bor and Tabachnikov. The argument is notable for its method: rather than working in the smooth category with analytic or differential-geometric tools, the author complexifies the billiard problem and computes the numerical invariants (degree, dual degree, genus, number of nodes, cusps, bitangents) of the caustic as a complex algebraic curve, then applies the Plücker formulas. A secondary result, obtained en route, classifies parallelogram orbits in complex elliptical billiards.

Background and the conjecture

Jacobi's Last Geometric Statement asserts that the locus of first conjugate points to a non-umbilical point on an ellipsoid — the caustic — has exactly four cusps. This was rigorously established only in 2004 by Itoh and Kiyohara, and its extension to higher caustics (loci of $n$-th conjugate points) remains open. Bor and Tabachnikov reformulated the problem for billiards: for an oval $\gamma \subset \mathbb{R}^2$ acting as an ideal mirror and a light source $O$ inside it, the $n$-th caustic by reflection $\Gamma_n$ is the envelope of rays from $O$ after $n$ reflections. They proved that for any oval and any $n \geq 1$, $\Gamma_n$ has at least four ordinary cusps, and conjectured that for an ellipse and a non-focal source, $n$0 has exactly four cusps for every $n$1. Bor, Spivakovsky, and Tabachnikov subsequently localized the four candidate cusps: the rays from $n$2 tangent to the two confocal conics through $n$3 yield, after $n$4 reflections, tangency points that are cusps of $n$5. The remaining task — showing these are the only cusps, and that all are ordinary — is what the present paper settles for $n$6.

The $n$7 case had previously been treated by Bruce, Giblin, and Gibson using singularity theory of plane curves. The contribution here is an independent algebraic-geometric proof, and one whose technique — complexification plus Plücker relations — offers a template that may generalize to $n$8.

Complex billiards

The complexification follows Glutsyuk. The ambient space is $n$9 with the complex-bilinear quadratic form $\gamma \subset \mathbb{R}^2$0, whose isotropic directions are the two isotropic points at infinity $\gamma \subset \mathbb{R}^2$1 and $\gamma \subset \mathbb{R}^2$2. A complexified ellipse has four isotropic tangents; the foci are intersections of non-parallel isotropic tangents, one pair coinciding with the real foci. Reflection in a non-isotropic line is the unique non-trivial involution that is a complex isometry of the form and fixes the line; reflection in an isotropic line is defined by a limiting procedure. Two structural facts govern the analysis:

• Symmetry in a finite non-isotropic line meeting the line at infinity at $\gamma \subset \mathbb{R}^2$3 acts on the line at infinity (in the affine coordinate $\gamma \subset \mathbb{R}^2$4 with isotropic points at $\gamma \subset \mathbb{R}^2$5 and $\gamma \subset \mathbb{R}^2$6) by $\gamma \subset \mathbb{R}^2$7.
• Two lines are symmetric with respect to an isotropic line only if one of them coincides with it.

Consequently, the reflection map for a non-circular elliptical billiard is well-defined everywhere except at the points of isotropic contact, where reflecting an isotropic tangent in itself is genuinely multivalued. For a real source, the restriction to the real plane is nonsingular and coincides with the usual reflection law; since an ellipse has degree two, the choice of the next reflection point after each bounce is unique. The paper also adapts the definition of $\gamma \subset \mathbb{R}^2$8 to the complex setting, dropping the interior/exterior distinction, and notes the reduction to Cayley's classical treatment when the source is external.

Strategy: invariants and Plücker formulas

The proof of the main theorem proceeds by computing three invariants of $\gamma \subset \mathbb{R}^2$9 and closing the system with the Plücker formulas.

Genus. The correspondence $O$0 (the tangency point of the $O$1-th reflected ray) makes $O$2 a ramified covering of $O$3. Since $O$4 has genus zero, the Riemann–Hurwitz formula forces $O$5 for every $O$6. Moreover, the correspondence is one-to-one away from self-intersections; a hypothetical two-to-one correspondence would force $O$7 to collapse to the point $O$8, contradicting the Bor–Tabachnikov lower bound of four cusps.

Invariance under the source. A lemma shows that the numerical invariants are independent of the light source, as long as it avoids the isotropic tangents and the ellipse itself: the complement of these five real-codimension-two subspaces in $O$9 is path-connected, and degree and dual degree are locally constant under perturbation. This licenses choosing a convenient source — a non-isotropic point on the line at infinity.

Dual degree. With the source $n$0 at coordinate $n$1 on the line at infinity, tangents to $n$2 are precisely the first reflected rays, so $n$3 counts reflected rays through a generic point $n$4 at coordinate $n$5. The reflection rule $n$6 gives four such rays from finite reflection points (two tangents to the ellipse through each of $n$7), plus two limiting reflections along the line at infinity from the two points where $n$8 meets infinity. Choosing $n$9 generically avoids multiplicity, giving $\Gamma_n$0.

Bitangents. The most delicate input is the bound $\Gamma_n$1 on the number of bitangents. Bitangents correspond to coincidences of reflections at distinct points of $\Gamma_n$2, and the analysis splits into cases. Reflections of two rays on the same line force that line to be the line at infinity or an axis of the ellipse (the latter only if the source direction aligns with it). For rays on distinct lines, the Poncelet property of elliptical billiards implies the four contact points form a quadrilateral tangent to a confocal conic $\Gamma_n$3; parallelism of two opposite sides then forces the quadrilateral to be a parallelogram. A pencil-of-conics computation — degenerating the conic through the four contact points and checking tangency of the remaining pair of sides to $\Gamma_n$4 — yields a unique admissible parameter:

$\Gamma_n$5

Thus bitangents come in three types: the line at infinity (one), finite lines through the center (at most three, since $\Gamma_n$6 reflections pass through the center), and the two parallel sides of a parallelogram circumscribed about the distinguished confocal conic (exactly two). Hence $\Gamma_n$7.

Closing the Plücker system. With $\Gamma_n$8, $\Gamma_n$9, and $O$0, the dual Plücker relations give $O$1 and $O$2. Since $O$3 by the Bor–Spivakovsky–Tabachnikov theorem (transported to the complex setting via the source-invariance lemma), one obtains $O$4, and the two relations force $O$5 exactly, with $O$6. The complete set of invariants is therefore $O$7, $O$8, $O$9, $n$0 — a self-dual sextic of genus zero.

The real corollary follows because the foci are the only real points of the isotropic tangents: for a real non-focal source inside a non-circular ellipse, all four cusps of the complex caustic lie on the real part. The circular case was handled by Cayley.

Parallelogram orbits

The computation in the bitangent bound yields an independent classification: a complex 4-periodic orbit in a non-circular ellipse is a parallelogram if and only if it is circumscribed about the confocal conic with $n$1. This refines Fierobe's result that complex 4-periodic orbits are circumscribed about confocal conics with $n$2 in a three-element set: exactly one of the three values admits parallelogram orbits, and it admits only parallelograms. The paper notes the consistency of this with Fierobe's classification.

Limitations and open questions

The result is confined to the first caustic. The central open problem — whether $n$3 has exactly four cusps for all $n$4 — is untouched; the genus-zero argument does extend to all $n$5, but the dual degree and bitangent bounds were obtained only for $n$6, and it is unclear whether the source-at-infinity reduction and the Poncelet-based bitangent analysis adapt. The exclusion of circular billiards in the complex theorem is handled separately via Cayley's classical computation, and the exclusion of focal sources reflects a genuine degeneracy of the configuration. The complex reflection law is undefined at points of isotropic contact, which constrains the admissible source positions; whether the invariants remain stable as the source approaches the excluded locus is not addressed. Finally, the paper does not determine whether the four cusps persist as ordinary cusps under the limiting transitions between the excluded configurations.

Conclusion

The paper settles the $n$7 case of the Bor–Tabachnikov billiard conjecture by an algebraic route: complexifying the billiard, computing genus, dual degree, and bitangent count, and closing with the Plücker relations. The resulting caustic is a rational sextic with four cusps, six nodes, and six bitangents — self-dual, as the invariant list shows. The auxiliary classification of parallelogram orbits adds a concrete piece to the Poncelet-type theory of complex elliptical billiards. Whether the same invariant-counting strategy can control the higher caustics $n$8 for $n$9 is the natural question this work leaves open.