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

Back to manuscript

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

Nearby in this section