Outer Contact Billiards

Abstract: We introduce outer contact billiards as an odd dimensional counterpart to outer symplectic billiards. Until now, outer billiards have only been considered in even dimensional symplectic vector spaces. By projectivizing outer symplectic billiards, we obtain outer contact billiards, where the affine midpoint condition descends to its projective analog, namely harmonic conjugation. We prove that outer contact billiards generate contactomorphisms. For quadratic surfaces in $\mathbb{RP}<sup>3$, we show that the correspondence is completely integrable: its domain is foliated by invariant quadrics and, on each leaf, the dynamics is determined by the iteration of an explicit linear transformation. We also establish two rigidity results for periodic trajectories: outer contact billiards admit no 3-periodic orbits and, among quadratic tables, only one admits 4-periodic orbits.

• The paper defines outer contact billiards and explores their dynamics in even dimensions by generalizing from symplectic geometry
• Finds that quadratic tables in $\mathbb{RP}^3$ exhibit complete integrability with specific dynamics for classic shapes and that periodic orbits are rare
• Demonstrates that outer contact billiards are more constrained than symplectic counterparts, lacking 3-periodic orbits and having limited 4-periodic behaviors, onlook for higher dimensions open directions with unique predictions.

Motivation and construction

Outer billiards, introduced by Neumann and developed by Moser as a toy model for celestial stability, has a natural higher-dimensional symplectic generalization due to Tabachnikov. Since symplectic manifolds are even-dimensional, the question arises what the correct odd-dimensional analog should be. The paper by Chavez-Caliz and Jackman answers this via the Arnold–Givental analogy — contact geometry is to symplectic geometry as projective geometry is to affine geometry (2608.19393).

The setting is $(\mathbb{P}V,\xi)$, the projectivization of a linear symplectic space $(V,\omega)$ with its canonical contact structure, where $\xi_q = q^\omega$ is the symplectic complement of the line $q$. For a hypersurface $\Sigma$ (the table) with $q' = (T_q\Sigma)^\omega$, the characteristic line at $q$ is $q \wedge q'$. Two points $Z,Z'$ are in outer contact billiard correspondence if they lie on a characteristic line and are harmonic conjugates with respect to $q,q'$ (cross ratio $(V,\omega)$0). Harmonic conjugation is precisely the projectivization of the affine midpoint condition used in outer symplectic billiards; equivalently, the construction is a scaling reduction of outer symplectic billiards along the cone over $(V,\omega)$1. The correspondence depends only on the conformal class of $(V,\omega)$2.

A point where $(V,\omega)$3 is a singular point of the table. Such points are generically isolated but can be topologically forced (e.g., on 2-spheres by the hairy ball theorem), and the paper does not develop a general theory around them.

Complete integrability of quadratic tables in $(V,\omega)$4

For quadratic tables $(V,\omega)$5 with generator $(V,\omega)$6, the polar surface satisfies $(V,\omega)$7, and the domain is foliated by the pencil of quadratics through $(V,\omega)$8:

$(V,\omega)$9

each leaf invariant under iteration of the fixed projective transformation $\xi_q = q^\omega$0, where $\xi_q = q^\omega$1 equals the constant value of $\xi_q = q^\omega$2 on the leaf. Thus every quadratic table in $\xi_q = q^\omega$3 is completely integrable, with linear dynamics on each invariant quadric.

The classification reduces to Williamson normal forms / adjoint orbits of $\xi_q = q^\omega$4, yielding seven families of quadratic tables. Explicit formulas are derived for each:

Table	Leaf dynamics	Periodic orbits
Clifford torus $\xi_q = q^\omega$5	product of two rotations, angles linked by Kepler-anomaly relation	periodic only for countably many $\xi_q = q^\omega$6
Ellipsoid $\xi_q = q^\omega$7	rotation × hyperbolic rotation	none
Hyperbolic torus $\xi_q = q^\omega$8	diagonal scaling	none
Loxodromic torus	complex rotation-dilation	none
Parabolic torus	unipotent map	none
Sheared torus	translation $\xi_q = q^\omega$9 under Hopf projection	collinear only
Cylinder/pinched torus	planar outer billiard + vertical drift by signed areas	none

The Clifford-torus dynamics deserves emphasis: the relation $q$0 between the two rotation angles coincides with the true/eccentric anomaly parametrization of Kepler ellipses, and projections of characteristic lines reproduce mechanical billiards along Hooke orbits bouncing off centered circles. Since rational angle pairs give a countable set of parameters $q$1, for almost all values of $q$2 the Clifford table admits no periodic orbits whatsoever. This contrasts sharply with outer symplectic billiards, where closed tables guarantee non-degenerate odd-periodic orbits; it is the first indication that contact billiards exhibit genuinely different rigidity.

Periodic orbits

Every orbit lies on Legendrian polygons, which imposes strong constraints:

• No 3-periodic orbits: any non-collinear 3-periodic orbit would lift to an isotropic 3-plane in $q$3, impossible since maximal isotropic subspaces are Lagrangian 2-planes. Collinear exceptions exist for every period $q$4 via tables tangent to a fixed Legendrian line.
• Uniqueness of 4-periodic quadratic tables: among quadratic tables, exactly one admits non-degenerate 4-periodic orbits — the Clifford torus

$q$5

carrying a 2-parameter family of such orbits. Notably, the tangency conditions appear overdetermined ($q$6 conditions vs. effectively $q$7 unknowns), yet degeneracies reduce them to exactly two solution families, one of which is degenerate (a hyperplane).

This scarcity of low-period orbits stands in direct contrast to the symplectic case, where 3-periodic orbits occur over any compact table.

Preservation of the contact structure and uniqueness

Two structural results justify the definition:

1. Contactomorphism theorem: whenever the correspondence is a local diffeomorphism, it preserves $q$8. The proof is a direct computation: choosing lifts with $q$9, $\Sigma$0, one shows $\Sigma$1, so $\Sigma$2 iff $\Sigma$3.
2. Uniqueness: among reflection rules $\Sigma$4 over arbitrary tables, only $\Sigma$5 generates contact transformations for all tables — i.e., harmonic conjugation is forced (up to the trivial rule).

Two characterization theorems connect the construction to familiar models. In an affine chart, the midpoint reflection rule generates a contact transformation if and only if it agrees with the contact rule, if and only if the table is a generalized cone with vertex at the contact point of the plane at infinity. Similarly, with respect to an $\Sigma$6-compatible inner product $\Sigma$7, the equal-angle reflection rule works exactly for Hopf tables — hypersurfaces invariant under the $\Sigma$8-action of $\Sigma$9 (the argument extends to indefinite $q' = (T_q\Sigma)^\omega$0, covering hyperbolic models).

Higher dimensions and limitations

The clean integrable picture is special to dimension four. In higher-dimensional quadrics the integral $q' = (T_q\Sigma)^\omega$1 persists, but additional integrals appear (e.g., $q' = (T_q\Sigma)^\omega$2, $q' = (T_q\Sigma)^\omega$3 for a quadric in $q' = (T_q\Sigma)^\omega$4), and each point lies on up to $q' = (T_q\Sigma)^\omega$5 characteristic lines for degree-$q' = (T_q\Sigma)^\omega$6 tables, producing "branched" rather than ordinary dynamics. Whether integrability survives in higher dimensions is left open.

Limitations and open questions

The paper explicitly leaves several problems unresolved. It does not determine whether every local contactomorphism arises as an outer contact billiard map, whether a natural variational principle (analogous to Herglotz's, or discrete contact variational integrators) exists for these trajectories, or how to regularize the correspondence near singular points — though the ellipsoid example exhibits explicit attractor/repeller behavior there. A candidate inner contact billiard reflection law using only the projective-contact structure is proposed but not analyzed. The authors also pose contact analogs of the Ivrii conjecture (measure zero of periodic orbits) and the Birkhoff–Poritsky conjecture (integrability forces quadratic tables), ask about relations to conformally symplectic dissipative billiards, and note that modifying the cross ratio from $q' = (T_q\Sigma)^\omega$7 to other constants destroys contact preservation without any identified replacement structure.

Conclusion

This paper defines outer contact billiards as the projective, harmonic-conjugation counterpart of outer symplectic billiards, proves it generates local contactomorphisms and is uniquely determined by this property, and gives a complete, explicitly integrable description for all quadratic tables in $q' = (T_q\Sigma)^\omega$8. Its most distinctive dynamical findings — the absence of 3-periodic orbits, uniqueness of a single 4-periodic quadratic table, and generic absence of periodic orbits even among compact Clifford tables — establish that the contact theory is substantially more rigid than its symplectic predecessor, while leaving open the extension to higher dimensions, higher-degree tables, and singular regularization.