Manuscript En06-A@1 · En06-A.tex · proposition · e04c9892
Proposition: Inert and transmissive exceptional blocks
Long-range primitives: exactly which guarantee fails · lines 784–810 · proof included or linked
En06-A@1#prop:exceptional
If the exceptional channel factorizes as , with no cross relocation or classical flow, it can be replaced by singleton channels. The original-metric cone continues to apply.
Lossless one-tick bit transport from to violates the original-metric radius- cone.
The geometry change alone neither creates nonlinearity nor permits universal deterministic cloning.
Proof. (a) is equality of the two product updates. For (b), prepare bit or at , transport it with the same rule, and read at . The laws are .
For (c), finite compositions of complete instruments are linear on unnormalized hybrid states. They remain CPTP after ignored systems are traced out. Using root fidelity , CPTP maps do not decrease fidelity Watrous. A deterministic cloner of two nonorthogonal pure states of overlap would change fidelity from to , impossible.