Manuscript Hawk05-A@1 · Hawk05-A.tex · proposition · 449f85bb
Proposition: A reduced channel does not determine a thermal cost
Finite recurrence and the three ledgers › Three different kinds of data · lines 1632–1673 · proof included or linked
Hawk05-A@1#prop:cost
Equality of reduced channels, including a reset channel or partial trace, does not determine heat, work, or cyclic reusable-memory reset cost.
Proof. Let be a qubit and an independent blank qubit. For every referenced input,
The reduced channel on is always reset. Choose
The swap conserves their sum. If the initial excitation probability is , the energy changes are
The same reset channel therefore accompanies different energy transfers as varies.
Even with these Hamiltonians fixed, append an independent fuel qubit initially excited and a Gibbs reservoir qubit with the same gap. Swapping them changes reservoir energy by , where , without changing the observed memory channel. Such spectator processes alter an implementation ledger while leaving its reduced channel unchanged.
These examples consume resources. They are not cyclic erasure protocols until blanks, fuel, and controls are restored.
Displayed formulas in this passage
unlabeled · line 1642
unlabeled · line 1651
unlabeled · line 1656