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 btb_t-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.