Published paper
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Lemma 5.2 · journal pp. 115–116Expands uniformly nonzero horospherical-fixed vectors along chamber-divergent sequences. It supports both the focal cone discussion and Shi's deduction, immediately before (1.9), that the positive -ray lies in the expanding cone.
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.