Manuscript En05-A@1 · En05-A.tex · proposition · f076e703
Proposition: Classical-record reconstruction obstruction
Readout, residual response, and quantum reconstruction › A classical record is not a quantum decoder · lines 931–958 · proof included or linked
En05-A@1#prop:classical
Let be a -dimensional quantum input, . Every channel from to a finite classical record followed by a channel from that record to a quantum output is entanglement breaking. It cannot equal , including on reference-entangled inputs. Its half-diamond distance from is at least .
Proof. The composite has measure-and-prepare form
For an arbitrary reference, its output is a sum of positive product operators and is therefore separable.
Apply the channel to one half of . Every separable state has overlap at most with : this follows for pure product states from Cauchy–Schwarz and then for separable mixtures by convexity. Testing the Bell projector gives trace distance at least from the ideal output. The half-diamond distance dominates this particular referenced-input distance.
Displayed formulas in this passage
unlabeled · line 942