Operator paving over a maximal abelian subalgebra partitions the
identity into mutually orthogonal projections
to make the pinching
close to a diagonal element . Norm paving bounds
directly. Strong-operator paving, for self-adjoint
, requires that for every finite
and
a projection
can be chosen with
for
and
such that
The partition count is chosen before and
.