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
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