Published paper
Role in dependence graphs
Proof-critical source
Twisted Diophantine Approximation I: Asymptotic Theory
This paper is included only for the following marked statements:
- Theorem 2.14 · version of record, printed pp. 63–64Characterizes singular systems by divergence of the associated forward diagonal trajectory.
- Theorem 2.20 · version of record, printed p. 65Characterizes badly approximable systems by boundedness of the associated diagonal trajectory.
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.