Manuscript En02-B@1 · En02-B-v1.tex · proposition · ca28dee4
Proposition: The associated six-leg perfect state
The exact five-qubit perfect-code building block › Why this is a perfect-tensor building block · lines 734–760 · proof included or linked
En02-B@1#prop:perfect
The normalized state
has maximally mixed reduction on every set of three of its six qubits. Its tensor therefore gives, up to normalization, an isometry across every bipartition with at most three input legs.
Proof. For three physical qubits, their reduction is the reduction of . The stabilizer expansion contains no nonidentity term supported on three qubits, so the reduction is .
For and two physical qubits, apply (eq:privacy) to the logical half of the Bell state: the reduction is . These are all kinds of three-qubit subsets. Smaller subsets follow by tracing. The Schmidt coefficients across each three-versus-three cut are equal, which is precisely the stated isometry property.
Displayed formulas in this passage
unlabeled · line 737