Manuscript En07-A@1 · En07-A.tex · lemma · 44229ce9

Lemma: Orthogonal unitary mixtures and constant reconstruction

Complete channels, access, and local recovery facts · lines 373–408 · proof included or linked

En07-A@1#lem:unitary-mixture, En07-A@1#eq:ad

Back to manuscript

Suppose the unitary channels have mutually orthogonal Bell outputs. For real coefficients ,

In particular,

Every channel from has recovery error at most .

Proof. A Bell input gives a diagonal signed output with eigenvalues , proving the lower bound. Each unitary channel has diamond norm one, so the triangle inequality gives the upper bound.

For any state , the Bell output of is . Its overlap with the target Bell projector is . Testing that projector therefore gives

The Weyl unitaries have orthogonal Bell outputs and uniform twirl . The first part gives the matching upper bound.

A decoder that ignores its input and prepares attains the same error after any channel.

Displayed formulas in this passage

  • En07-A@1#eq:ad · line 382

  • unlabeled · line 377

  • unlabeled · line 399

Nearby in this section