Manuscript Em03-G@1 · Em03-G-v1.tex · proposition · 0bb3a8a3
Proposition: Postprocessing the Em03-F channel
Question, predecessors, and the two release gates › The obstruction that receivers cannot repair · lines 264–288 · proof included or linked
Em03-G@1#prop:Fobstruction
Suppose
For every deterministic radiation-only access channel and decoder ,
is entanglement breaking. Its qubit Bell fidelity is at most , and its recovery half-diamond error is at least .
Proof. The displayed channel remains measure-and-prepare. For a referenced input its output is a sum of positive product operators. Postprocessing on the receiver side preserves separability. A separable two-qubit state has Bell overlap at most : the pure-product bound follows by Cauchy–Schwarz and the mixed bound by convexity. The Bell-projector test gives the distance lower bound.
Displayed formulas in this passage
unlabeled · line 267
unlabeled · line 272