Manuscript En02-B@1 · En02-B-v1.tex · section · ca28dee4
The one-live-qubit obstruction
Streaming recovery: a decoder and a genuine lower bound › The one-live-qubit obstruction · lines 1140–1172
En02-B@1#eq:choi
Let be the normalized Choi state of , ordered as output and input-reference positions . From (eq:reps),
Set
They commute and . Partial transpose on position 1 therefore gives
On the simultaneous eigenspace , its eigenvalue is . That eigenspace is nonzero because the two commuting Paulis are independent.
Displayed formulas in this passage
En02-B@1#eq:choi · line 1145
unlabeled · line 1157
unlabeled · line 1164