Published paper
Abstract
The article develops results on secular perturbations and irrational rotations. Sections 16–17 contain the irrational-rotation averaging result imported by the focal paper as uniform distribution modulo one.
Role in dependence graphs
Proof-critical source
On Nontrivial Winning and Losing Parameters of Schmidt Games
This paper is included only for the following marked statement:
- Irrational-rotation uniform-distribution theorem · §§16–17, especially printed pp. 262–267For irrational theta, the orbit n theta modulo one has the interval-frequency/averaging property used as v3 Lemma 4.1.
AI-generated audit
Audit summary
Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.
No audit has been generated for this published version.