clopen.solutions

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

SOLUTION CLAIMED OP-01061 — The invariant subspace problem relative to a von Neumann algebra
Counterexample · fidelity not yet established

Files and sources

Paper
math @ 7ef5c0c, build/paper.tex ↗
Posted on GitHub
6 October 2026

No verification run is on record for this version.