Role in dependence graphs

Proof-critical source

Twisted Diophantine Approximation I: Asymptotic Theory

This paper is included only for the following marked statements:

  • Lemma 2.1 and its proof · arXiv:1501.04714v1, PDF pp. 3–5Convergence of the block-minimum series forces summability of qsψ(qs)q_s\psi(q_s).
  • Continued-fraction separation in Section 2.2 · arXiv:1501.04714v1, PDF pp. 5–8Convergent denominators give the orbit-point separation used in the focal upper cluster count.

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.