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 · arXiv:math/0204158v1, PDF pp. 4–5Compares the count in a convex body with the count in twice the body on a finite-index sublattice.
  • Theorem 1.5 · arXiv:math/0204158v1, statement PDF p. 3; proof PDF pp. 4–6Upper bound for lattice points in terms of all successive minima.
  • Theorem 1.3 · arXiv:math/0204158v1, statement PDF p. 2; proof Section 3Minkowski's second theorem, used to compare covolume with the product of successive minima in a subspace.

Proof-critical source

Twisted Diophantine Approximation II: Uniform Theory

This paper is included only for the following marked statement:

  • Lemma 2.1 and Theorem 1.5 · arXiv:math/0204158v1, §§1–2Supply the fixed-dilation comparison and the successive-minima upper lattice-count product used in companion-paper Lemma 5.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.