Manuscript En05-A@1 · En05-A.tex · proposition · f076e703
Proposition: Affine long-range channels do not universally clone
Exceptional blocks and original-metric necessity › Transmission and complete operational input · lines 1166–1191 · proof included or linked
En05-A@1#prop:linear
For any finite extension made of complete instruments and wire relocations:
the input-to-readout-law map is affine;
equal complete operational input states give equal laws for a fixed readout;
no deterministic program universally clones unknown pure states.
Proof. (a) follows from linearity of complete channels and classical marginalization. For (b), a fixed readout is a channel on its accessed quantum and classical factors.
For (c), let be a hypothetical CPTP cloner. Use root fidelity . CPTP maps do not decrease fidelity Watrous. For two pure states with , cloning would give output fidelity , contradicting monotonicity.