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

Back to manuscript

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

Nearby in this section