Manuscript Hawk03-A@1 · Hawk03-A.tex · proposition · 9a109c12

Proposition: No message imprint in the declared early output

One explicit unitary finite benchmark › Specified microscopic finite evolution · lines 922–935 · proof included or linked

Hawk03-A@1#prop:early

Before the swap pulse, the channel from the message in $K$ to the released register $F$ is

N_{pre} (X) = Tr (X) τ_{F} .

It is replacement on all matrix units.

Proof. The initial pair preparation is independent of the message. Tracing $K, D, B$ gives the stated channel.

Displayed formulas in this passage