Published paper
Abstract
The cited theorems give group-dependent integrability bounds for matrix coefficients of unitary representations of simple Lie groups.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Theorems 2.4.2 and 2.5.2–2.5.3Give finite group-dependent matrix-coefficient integrability exponents. Kelmer–Sarnak use the property- branch; EMV Appendix C uses Theorems 2.4.2 and 2.5.2 for higher-rank and rank-one property- groups.
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:
- Theorems 2.4.2, 2.5.2–2.5.3, and §3.1 · published chapter pp. 132–178; exact theorem numbers cited by EMV/KM96Uniform finite matrix-coefficient integrability exponents and the away-from-trivial-neighborhood argument.
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.