Invariant-projection counterexamples for every irrational rotation
Recorded by the registry's curators from GitHub; the authors did not submit it here.
OpenAI
For every irrational angle, we construct a continuous nonnegative circle weight with exactly one zero and logarithmic integral $-\infty$ whose weighted rotation has no nontrivial invariant projection in the associated hyperfinite type $\mathrm{II}_1$ factor. This answers negatively the question of Zhu, Fang, and Shi, with the angle prescribed in advance. The resulting operator is nonzero and norm-quasinilpotent.
Claims
Files and sources
- Paper
- math @ 7ef5c0c, build/paper.tex ↗
- Posted on GitHub
- 6 October 2026
No verification run is on record for this version.