Result 147, Dynamical systems and ergodic theory

The near-boundary Birkhoff conjecture

Resolves the near-boundary Birkhoff conjecture for smooth strictly convex planar billiards of positive curvature. Such a billiard is an ellipse whenever a full grazing annulus is continuously foliated by individually invariant essential curves. A continuous physical collar of smooth closed convex caustics also suffices.

Proof

The bigger picture

Why it matters

In a planar billiard, trajectories reflect off a curved wall. These manuscripts claim that a complete, continuously organized family of orderly trajectories near the wall forces the table to be an ellipse.

What changes?

The reported conclusion applies to smooth, strictly convex planar tables with positive boundary curvature. It requires a full annulus of near-tangent collision states, continuously partitioned into curves that wind around the annulus and are each preserved by the reflection dynamics. Alternatively, a full physical neighborhood of the boundary may be continuously filled by smooth closed convex caustics: curves to which trajectories remain tangent after reflections. No differentiability across the caustics is assumed.

What does that help mathematicians do?

The first manuscript reports that the collision-state foliation forces both an analytic boundary and a jointly analytic caustic collar, upgrading continuity to structure locally described by convergent power series. The companion rigidity result then identifies the ellipse. Together, the claims would rule out such complete near-boundary families in nonelliptical tables within the stated class. They do not rule out isolated caustics or incomplete families.

Are there practical applications?

The immediate value is foundational: the claims connect a table's geometric shape to the organization of its reflected trajectories. They would give billiard researchers a precise obstruction to complete near-boundary foliations in nonelliptical tables, rather than a general solution for billiard motion or a practical simulation method.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

2 manuscripts

Continuous Phase Foliations Create Analytic Caustic Collars

September 24, 2026 27 pages

For a smooth strictly convex planar billiard of positive curvature, a continuous foliation of a full grazing annulus by individually invariant essential curves forces an analytic boundary and a jointly analytic collar of smooth strictly convex caustics. The physical-collar rigidity theorem proved in the companion article then implies that the table is an ellipse.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Continuous-Phase-Foliations-Create-Analytic-Caustic-Collars-September-24-2026,
  author = {{OpenAI}},
  title = {{Continuous Phase Foliations Create Analytic Caustic Collars}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Continuous-Phase-Foliations-Create-Analytic-Caustic-Collars-September-24-2026/paper.pdf}{OAI:Continuous-Phase-Foliations-Create-Analytic-Caustic-Collars-September-24-2026}},
  year = {2026}
}

Rigidity of Smooth Billiards with a Continuous Caustic Collar

September 24, 2026 146 pages

We prove that a smooth strictly convex planar billiard with positive curvature is an ellipse whenever a full neighborhood of its boundary is continuously foliated by smooth closed convex caustics. No differentiability across the leaves is assumed. This resolves the near-boundary Birkhoff conjecture in the stated smooth class.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Rigidity-of-Smooth-Billiards-with-a-Continuous-Caustic-Collar-September-24-2026,
  author = {{OpenAI}},
  title = {{Rigidity of Smooth Billiards with a Continuous Caustic Collar}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Rigidity-of-Smooth-Billiards-with-a-Continuous-Caustic-Collar-September-24-2026/paper.pdf}{OAI:Rigidity-of-Smooth-Billiards-with-a-Continuous-Caustic-Collar-September-24-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 9 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.