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

Back to manuscript

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

Nearby in this section