Invariant projections, hyperinvariant subspaces, and transitive algebras
OpenAI research collection · 2 manuscripts · Source checked 2026-10-19
OpenAI's result summary
Constructs a nonzero norm-quasinilpotent operator on every infinite-dimensional separable complex Hilbert space with no nonzero proper closed subspace invariant under every commuting operator. The construction also gives operators with no nontrivial invariant projection in the hyperfinite type II_(1) factor.
Read the manuscripts
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
MANUSCRIPT 01
Invariant-projection counterexamples for every irrational rotation
For every irrational angle, we construct a continuous nonnegative circle weight with exactly one zero and logarithmic integral -∞ whose weighted rotation has no nontrivial invariant projection in the associated hyperfinite type II_(1) factor. This answers negatively the question of Zhu, Fang, and Shi, with the angle prescribed…
Full source abstract
For every irrational angle, we construct a continuous nonnegative circle weight with exactly one zero and logarithmic integral -∞ whose weighted rotation has no nontrivial invariant projection in the associated hyperfinite type 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.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
We give a negative answer to the hyperinvariant-subspace problem by constructing, on every infinite-dimensional separable complex Hilbert space, a nonzero bounded norm-quasinilpotent operator with no nonzero proper closed hyperinvariant subspace. Its commutant is a proper strongly closed unital transitive complex operator…
Full source abstract
We give a negative answer to the hyperinvariant-subspace problem by constructing, on every infinite-dimensional separable complex Hilbert space, a nonzero bounded norm-quasinilpotent operator with no nonzero proper closed hyperinvariant subspace. Its commutant is a proper strongly closed unital transitive complex operator algebra.
This PDF is listed in OpenAI's formalization catalogue. See the scope and dependencies before interpreting coverage.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.