Manuscript Em03-E@1 · Em03-E-v1.tex · theorem · c4b07e6a
Theorem: Named entropy and information trajectories
E6: entropy trajectories and reference information · lines 1787–1839 · proof included or linked
Em03-E@1#thm:entropy
For pure message input , radiation entropies are
For the maximally entangled input,
These are entropy trajectories of the declared finite model.
Proof. Occupation outputs contribute independent entropies . The emitted key contributes two bits. For input , each occupied ciphertext conditioned on the key is pure, and vacuum and occupied sectors are orthogonal. Their mixture contributes .
For the Bell input the message marginal is . Each successful ciphertext marginal is , contributing one bit with weight . Thus
The successful reference–ciphertext state conditioned on the key is a mixture of two orthogonal Bell states with probabilities , of entropy . The failed reference state is , of entropy one. Therefore
Using gives . At the earlier prefixes the output is independent of . The optimal fidelities are Theorem thm:recovery.
Displayed formulas in this passage
unlabeled · line 1790
unlabeled · line 1799
unlabeled · line 1823
unlabeled · line 1831