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:
- 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.