Role in dependence graphs

Proof-critical source

Twisted Diophantine Approximation II: Uniform Theory

This paper is included only for the following marked statement:

  • Definition 4.1 and Theorem 4.2 · Final public preprint arXiv:1901.06602v13, §4 and the template-realization proofDefines templates and realizes every template, up to bounded error, as the successive-minima function of a matrix; this creates the sharp escape-of-mass examples.

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.