Weak pure infiniteness and Cuntz-algebra absorption
OpenAI research collection · 1 manuscript · Source checked 2026-10-19
OpenAI's result summary
Resolves the ordinary-to-strong pure-infiniteness question of Kirchberg and Rørdam for complex C^(∗)-algebras. For exact algebras, proper infiniteness of one fixed finite amplification of every positive element also suffices. Consequently, every separable nuclear algebra with this property absorbs \mathcal O_∞, without unitality or simplicity assumptions.
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
Weak pure infiniteness and O-infinity absorption
We prove that every complex C^(∗)-algebra in which each positive element is properly infinite is strongly purely infinite. This answers the ordinary-to-strong part of Kirchberg–Rørdam's comparison question. For exact algebras, we also prove that proper infiniteness of one fixed finite amplification of every positive element…
Full source abstract
We prove that every complex C^(∗)-algebra in which each positive element is properly infinite is strongly purely infinite. This answers the ordinary-to-strong part of Kirchberg–Rørdam's comparison question. For exact algebras, we also prove that proper infiniteness of one fixed finite amplification of every positive element implies proper infiniteness of each positive element. Consequently, every separable nuclear algebra with this fixed-amplification property absorbs \mathcal O_∞, without assumptions of unitality or simplicity.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
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.