Manuscript En02-C@1 · En02-C-v1.tex · lemma · 7549c6df
Lemma: Constant-channel recovery error for one qubit
C2: the information-theoretic recovery timeline · lines 685–708 · proof included or linked
En02-C@1#lem:constant
If a one-qubit input channel is constant, its optimal recovery error is .
Proof. Any decoded channel is a constant preparation . On a normalized logical Bell state with reference, its output is . Its Bell overlap is . The Bell-projector test therefore gives trace distance at least .
The bound is attained by the completely depolarizing channel
The triangle inequality gives
The Bell-state lower bound makes this an equality.
Displayed formulas in this passage
unlabeled · line 699
unlabeled · line 703