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.