Latest

Operator algebras

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.

MANUSCRIPT 02

Backward intertwiners and a transitive commutant

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.

One signal in the wider AGI picture

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.

Explore the AGI Clock ↗