Abstract

Corollary 7.2 and Section 7 are cited in the Katok–Spatzier spectral argument.

Role in dependence graphs

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.