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

Back to manuscript
  1. 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.

  2. Lossless one-tick bit transport from to violates the original-metric radius- cone.

  3. 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.

Nearby in this section