Manuscript Hawk04-B@2 · Hawk04-B.tex · section · ba3b0713

The explicitly added residual programs

Residual readout, local forgetting, and the apparatus › The explicitly added residual programs · lines 999–1028

For a finite encoded residual, define

P_{readB} : Q_{R} \otimes Q_{B} \to Q_{R} \otimes Bit^{\otimes b}

x := Enter(B); return(R,x);

and define

P_{forgetB} : Q_{R} \otimes Q_{B} \to Q_{R}

x := Enter(B); dropBit(x); returnQ(R);

Neither program follows merely from the autonomous Hamiltonian.

The derived notation

forgetQ = dropBit \circ Enter

denotes this finite destructive-readout-and-forget implementation; it is not a primitive assertion of physical annihilation.

Displayed formulas in this passage

unlabeled · line 1002
$P_{readB} : Q_{R} \otimes Q_{B} \to Q_{R} \otimes Bit^{\otimes b}$
unlabeled · line 1011
$P_{forgetB} : Q_{R} \otimes Q_{B} \to Q_{R}$
unlabeled · line 1023
$forgetQ = dropBit \circ Enter$