Published paper
Abstract
Theorem 3.4.11 is the Dani–Margulis discreteness result used for the cusp-vector orbit 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 3.4.11 · Handbook chapter §3.4, Theorem 3.4.11Dani–Margulis discreteness of the exterior-power cusp-vector orbit, used for part (1) 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 3.4.11 · Handbook chapter §3.4Dani–Margulis discreteness of the exterior-power cusp-vector orbit.
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.