Problem dossier · Dynamics & Analysis

Birkhoff conjecture on integrable billiards

If the billiard dynamics inside a smooth convex curve is integrable (foliated by caustics), the curve must be an ellipse.

§1

Status

Open in full; proved for perturbations of ellipses (Avila–De Simoi–Kaloshin, Kaloshin–Sorrentino local versions).

Think you can crack this one? Read the playbook before you announce →
§2

The Angle of Attack

Numerically test integrability breakdown for perturbed ellipses and near-elliptical ovals; measure caustic destruction rates against the local theorems.

Tags: billiards · integrability · caustics · perturbation

§3

The Lab

No instruments built yet. When this problem gets tackled, its interactive instruments — explorers, searches, verifiers running in the browser — live here. See the Collatz dossier for what a fully tackled problem looks like.
§4

The Log

Empty. Work on this problem gets logged here as dated entries — constructions tried, code run, dead ends included. Dead ends are results.
§5

Related Problems

More open problems in Dynamics & Analysis and adjacent territory.