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

Back to manuscript

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

Nearby in this section