Manuscript En07-C@1 · En07-C.tex · proposition · 3f7e9ebb
Proposition: Energy drain, zero selected entropy, and termination are insufficient
Finite insufficiency controls · lines 1771–1816 · proof included or linked
En07-C@1#prop:insufficiency
There is a complete finite energy-conserving process that:
preserves the entire logical code globally;
transfers all of a declared core-energy excitation to an outgoing factor;
ends with zero core energy and zero accessible entropy;
terminates after one unitary;
has optimal outgoing recovery error .
Proof. Let and be qubits and let be a degenerate logical memory. Give the complete system Hamiltonian
Prepare
and apply the swap of and . It commutes with . Declare the outgoing access and complete residual . The resulting isometry is
The process is globally isometric, all core excitation has moved from to , and the core energy is zero. The accessible state is the fixed pure state , so its entropy is zero and its channel is constant. The program has one unitary step. Lemma lem:constant-error gives outgoing recovery error . The unknown logical code remains in the disclosed residual memory .
Displayed formulas in this passage
unlabeled · line 1788
unlabeled · line 1795
unlabeled · line 1803