Math RefereeWeakly mixing polygonal billiards
Jon Chaika and Giovanni Forni
The proposed argument
The proposed proof uses growth estimates for cohomology sections under the Kontsevich–Zorich cocycle, compact recurrence and the Veech eigenvalue criterion to exclude each fixed nonzero frequency in almost every direction. Countability of the spectrum and Fubini then give almost-everywhere ergodicity of products of directional flows. A rational-polygon approximation and Baire-category argument yields generic weak mixing for polygonal billiards.
Independent native requests used the 43-page arXiv v2; the primary downloadable PDF is the separate 41-page journal article. Targeted journal comparison verifies the relevant statements and proof passages, not complete edition identity. The received-date cutoff is 12 March 2020.
Reading order
Follow the dependencies
Open the full map ↗Select a claim to see its prerequisites and consumers. Edge labels distinguish proof inputs, source references, background and exclusions.
Your independent assessment
Distinguish the three headline quantifiers. Track ordinary Hodge norm, distance to integral cohomology, invariant components, compact returns and parameter-dependent times separately.