The Popa-Vaes paving conjecture over arbitrary maximal abelian subalgebras: strong-operator, approximation and quadratic paving

Lineage and corrections

The Popa-Vaes paving conjecture over arbitrary maximal abelian subalgebras: strong-operator, approximation and quadratic paving parent of this event

Popa and Vaes, Paving over arbitrary MASAs in von Neumann algebras (Anal. PDE 8, 2015) evidence for this event

The Popa-Vaes paving conjecture over arbitrary maximal abelian subalgebras: strong-operator, approximation and quadratic paving evidence for this event

This event attributed to Unreleased internal OpenAI model

VibeMathed record: The Popa-Vaes paving conjecture over arbitrary maximal abelian subalgebras: strong-operator, approximation and quadratic paving evidence for this event

Companion: Approximation Paving over Arbitrary Maximal Abelian Subalgebras evidence for this event

Quadratic paper, Theorem 1.1: for $0<\varepsilon<1$ and $r_\varepsilon\le5\times10^8\varepsilon^{-2}$, every self-adjoint $x$ in any von Neumann algebra $M$ is $(\varepsilon,r_\varepsilon)$ so-pavable over every MASA $A\subseteq M$, with no separability or conditional expectation assumed; corollary: quadratic norm paving in Ocneanu ultrapowers of expected countably decomposable MASAs. Approximation paper, Theorem 1.1: every self-adjoint $x$ is a strong limit of self-adjoint $y$ with $\|y\|\le3\|x\|$, each norm-pavable to error $\varepsilon\|y\|$ with at most $C\varepsilon^{-6}$ projections. Not shown: norm paving of the original operator (false in general), optimal numerical constants, or a quadratic rate for approximation paving. parent of this event