Published paper
Abstract
Theorem 0.6 supplies the finite-cusp reduction data and separation properties used to prove the compactness and short-vector assertions in Kleinbock–Weiss Proposition 3.1.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Theorem 0.6 · source theorem 0.6; use in Kleinbock–Weiss pp. 8–9Supplies finite-cusp reduction data, the cusp-lattice property, and cusp-overlap separation used to prove parts (2)–(3) of Kleinbock–Weiss Proposition 3.1.
Proof-critical source
Submanifold-genericity of $\mathbb{R}^d$-actions and uniform multiplicative Diophantine approximation
This paper is included only for the following marked statement:
- Theorem 0.6 · source Theorem 0.6; use in Kleinbock–Weiss pp. 8–9Finite-cusp reduction, cusp lattices, and overlap separation.
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.