1 · The essentials
These manuscripts study how to split an operator—a mathematical object acting on vectors—into pieces with controlled error. The splitting must respect a chosen part of the surrounding algebra whose elements commute with one another. The first manuscript shows that every self-adjoint operator can be approached by operators that admit such a splitting, while keeping their size under control. The companion manuscript shows that the original operator itself admits a related splitting, with the error controlled after restricting to a projection arbitrarily close to the identity. For this second result, halving the allowed error multiplies the stated bound on the number of pieces by four. Both results apply to every maximal commuting subalgebra in the stated setting, without the extra assumptions of separability or a conditional expectation. These are results shown in the manuscripts, not results formalized in Lean or formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine dividing a large work surface into zones so that an error limit can be met in each zone. One manuscript allows you first to replace the surface with increasingly faithful versions; the other controls the original surface after a restriction that approaches leaving the whole surface available. This image does not capture the precise mathematical meaning of approaching an operator or a projection.
Why it matters
The manuscripts describe their results as resolving the approximation-paving and quadratic strong-operator paving conjectures of Popa and Vaes. Their scope is broad: the chosen maximal abelian subalgebra is arbitrary, and neither separability nor a conditional-expectation assumption is required. The quadratic result also gives an explicit bound on the number of projections, uniform over representations.
2 · Going further
The setting is a complex von Neumann algebra with a chosen maximal abelian subalgebra. The problem is to obtain paving for every self-adjoint element relative to that subalgebra, with a quantitative bound depending on an error parameter . The source identifies two related targets: approximation paving and strong-operator paving, both associated with conjectures of Popa and Vaes.
In the main manuscript, a self-adjoint operator is shown to be a strong limit of self-adjoint approximants whose norms are at most . Each approximant admits a norm paving with error at most , using at most projections for a universal constant . The normalization matters: the error is measured against the approximant’s own norm, not directly against .
The companion manuscript shows strong-operator paving for the original self-adjoint element with at most projections. As the repository summary explains, the norm bound holds after compression by a projection arbitrarily close to the identity in the strong topology. This is a different form of control from norm paving for approximants, and its projection bound has quadratic dependence on .
The abstracts describe the results through approximation in the first manuscript and strong-operator paving in the second, but do not give the argument’s technical steps or specify a dependency between the manuscripts. Both dispense with separability and conditional-expectation hypotheses; the companion also explicitly states uniformity over representations. No further proof mechanism can be extracted from the supplied abstracts.
Useful notions
- Operators on vectors and operator norms
- Self-adjoint operators
- Von Neumann algebras and commuting subalgebras
- Projections and compression
- Strong-operator convergence
What was known before / what is new
Before
The source identifies approximation paving and quadratic strong-operator paving as conjectures of Popa and Vaes. It supplies no earlier bounds, special cases, or historical chronology, so no more detailed comparison with previous work is available here.
New
The main manuscript shows approximation paving over arbitrary maximal abelian subalgebras, with approximant norms bounded by three times the original norm and at most projections. The companion shows strong-operator paving with the explicit bound . Both remove any need for separability or a conditional-expectation assumption in their stated results.
Limits and assumptions
The stated setting is self-adjoint elements of complex von Neumann algebras, with paving relative to maximal abelian subalgebras and error parameter . The approximation result concerns norm paving of approximants, with error relative to each approximant’s norm; the quadratic result controls a norm only after compression by a projection arbitrarily close to the identity in the strong topology. Neither statement should be read as an unrestricted norm-paving assertion for the original operator. The main result is not formalized in Lean and has not been formally verified. The supplied source gives no remaining open questions and does not state that either numerical bound is optimal.
Mini glossary
- Maximal abelian subalgebra —
- A subalgebra whose elements commute with one another and which is maximal with that property inside the surrounding algebra.
- Approximation paving —
- The form of paving described here in which a self-adjoint operator is approached strongly by self-adjoint operators admitting norm pavings with controlled errors and projection counts.
- Strong-operator paving —
- The form of paving described here in which the norm bound holds after compression by a projection arbitrarily close to the identity in the strong topology.
- Quadratic bound —
- A bound proportional to , so halving the error parameter multiplies the stated bound by four.
Keywords : Approximation paving · Strong-operator paving · Maximal abelian subalgebras
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves that every self-adjoint element of a complex von Neumann algebra admits strong-operator paving relative to any maximal abelian subalgebra with 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.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
Approximation Paving over Arbitrary Maximal Abelian Subalgebras
25/09/2026We prove the approximation-paving conjecture of Popa and Vaes for every maximal abelian subalgebra of a complex von Neumann algebra. For each , 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 for a universal constant C. No separability or conditional-expectation hypothesis is required.
Quadratic Strong-Operator Paving over Arbitrary Maximal Abelian Subalgebras
25/09/2026We prove the quadratic strong-operator paving conjecture of Popa and Vaes. For every , every self-adjoint element of a von Neumann algebra admits strong-operator paving over each maximal abelian subalgebra with at most projections. The bound is uniform over representations and requires no separability or conditional-expectation assumption.