Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f

Remark: 300-01. Approximation Paving over Arbitrary Maximal Abelian Subalgebras

Manuscript map · lines 8345–8354

OpenAI@2026-10-07#rem:oai-p-300-01

Back to manuscript

Authors: OpenAI. Family 300.

Title: Approximation Paving over Arbitrary Maximal Abelian Subalgebras.

Abstract: We prove the approximation-paving conjecture of Popa and Vaes for every maximal abelian subalgebra of a complex von Neumann algebra. For each $0{}lt {}varepsilon{}lt 1$, every self-adjoint operator is a strong limit of self-adjoint operators of norm at most three times its norm, each admitting a norm paving with error at most ε times the approximant's own norm. The number of projections is at most $C{}varepsilon{}{-6}$ for a universal constant C. No separability or conditional-expectation hypothesis is required.

This abstract is a catalogue record. It is not a verification and not a premise. It does not close O.1. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.

Nearby in this section