Published paper
Abstract
The chapter's good-function and quantitative-nondivergence theorems, including the arbitrary-discrete-lattice form, are the analytic engine in Buenger–Zheng's proof.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Proposition 3.2, Corollary 3.3, Theorems 3.4 and 3.9 · Clay Mathematics Proceedings 10, §3Supplies polynomial/covolume good functions and quantitative nondivergence, including the arbitrary-discrete-lattice form used in Buenger–Zheng Theorem 4.1 and Corollary 4.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:
- Proposition 3.2, Corollary 3.3, Theorems 3.4 and 3.9 · Clay Mathematics Proceedings 10, §3Good-function and arbitrary-discrete-lattice nondivergence results used by Buenger–Zheng.
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.