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

Back to manuscript

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