clopen.solutions

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
Partial resolution · fidelity not yet established

Files and sources

Paper
math @ 1581d4c, build/main.tex ↗
Posted on GitHub
6 October 2026

No verification run is on record for this version.