Published paper
Abstract
The Howe–Moore vanishing theorem rules out the nontrivial endpoint at in the rank-one proof that spectral gap gives a finite temperedness exponent.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Howe–Moore vanishing theorem · source pp. 72–96; EMV Appendix C, pp. 80–81Forces nontrivial matrix coefficients to vanish at infinity and rules out a nontrivial complementary-series endpoint at .
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:
- Howe–Moore vanishing theorem · source pp. 72–96; EMV Appendix CRules out a nontrivial endpoint at z=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.