Manuscript Hawk04-B@2 · Hawk04-B.tex · proposition · ba3b0713
Proposition: Energy and external readout in the control
The commuting four-Majorana control › An exact frozen realization · lines 2048–2067 · proof included or linked
Hawk04-B@2#prop:control-energy
For this realization,
Every unobserved residual readout-and-drop leaves (eq:cq) and (eq:Rerror) unchanged.
Proof. The source stays in its zero-energy logical sector. The coherent bath energy is , giving the integral. Initial total energy is zero, so conservation gives . The last statement is Theorem thm:drop.
Displayed formulas in this passage
unlabeled · line 2051