Algebra · Oct 6, 2026

Approximation and quadratic strong-operator paving

Proves that every self-adjoint element of a complex von Neumann algebra admits strong-operator paving relative to any maximal abelian subalgebra with O(ε−2)O(\varepsilon^{-2}) blocks. The norm bound holds after compression by a projection arbitrarily close to the identity in the strong topology, resolving the Popa–Vaes quadratic paving conjecture.

Contributors

Unreleased OpenAI model

AI systems: Unreleased OpenAI model

Sources