Weak mixing of triangular billiards with an irrational angle
Recorded by the registry's curators from GitHub; the authors did not submit it here.
OpenAI
We prove that the unit-speed billiard flow in every nondegenerate Euclidean triangle with at least one angle irrational relative to \(\pi\) is weakly mixing for normalized Liouville measure. Equivalently, the product of the flow with itself is ergodic.
Claims
PARTIALLY RESOLVED
OP-00531 — An irrational polygon with nonergodic billiard flow
Files and sources
- Paper
- math @ 1581d4c, build/main.tex ↗
- Posted on GitHub
- 6 October 2026
No verification run is on record for this version.