Manuscript Em03-C@1 · Em03-C-v1.tex · theorem · 47dd71ec
Theorem: Constant radiation channel cannot recover entanglement
C4: input information and reference limitations · lines 2412–2443 · proof included or linked
Em03-C@1#thm:noreference
Let a finite microscopic message space have dimension . If a channel maps every message density to the same radiation density , then it is a replacement channel:
For a maximally entangled message–reference input, every decoder acting only on radiation has entanglement fidelity exactly , and its output has trace distance at least from the maximally entangled target.
Proof. Linearity and decomposition of Hermitian matrices into scalar and traceless parts show that a channel constant on all densities vanishes on traceless matrices. Complex linearity proves the replacement formula.
The referenced radiation output is . A decoder produces . Its overlap with the maximally entangled projector is
Testing that projector gives the trace-distance lower bound.
Displayed formulas in this passage
unlabeled · line 2418
unlabeled · line 2438