Manuscript En06-A@1 · En06-A.tex · proposition · e04c9892

Proposition: Classical-record reconstruction

Enter accounting and optional syntactic realization · lines 718–732 · proof included or linked

En06-A@1#prop:EB

Back to manuscript

A quantum-to-classical channel followed by a decoder whose only nontrivial input is that record is entanglement breaking. It cannot recover every unknown quantum state with its reference.

Proof. The composite has form

With a reference, its output is a sum of positive product operators, hence separable. The identity channel preserves a maximally entangled input, so the channels cannot agree.

Displayed formulas in this passage

  • unlabeled · line 726

Nearby in this section