Manuscript En07-B@1 · En07-B.tex · proposition · 45dff4a1
Proposition: No Landauer cost from channel equality alone
Three ledgers and thermodynamic underdetermination · lines 931–987 · proof included or linked
En07-B@1#prop:no-landauer-from-channel
Equality of observable channels, including equality with partial trace or a reset channel, does not determine a unique heat, work, or cyclic reusable-memory reset cost.
Proof. Let be a qubit memory and an independent blank qubit in . A swap gives, including arbitrary references and after regrouping,
The observable memory channel is always the same reset channel. Nevertheless, for every we may choose
The swap conserves , but if the initial excited-state probability is , then
Thus the observable channel fixes neither these energy transfers nor the cost of restoring the consumed blank. The input diary has moved to .
Even after the memory Hamiltonians have been fixed, an independent unobserved process can change the total implementation ledger without changing the memory channel. For example, choose a fuel qubit initially excited and a designated thermal reservoir qubit , both with gap . At inverse temperature , the latter has excitation probability
Swapping and increases the designated reservoir energy by while consuming fuel. It acts independently of . Repeating such independent spectator processes changes the designated reservoir energy increase while leaving the observed reset channel unchanged.
These are not cyclic erasure protocols unless the blanks, fuel, and controls are also restored. They prove underdetermination, not a violation of a thermal erasure inequality.
Displayed formulas in this passage
unlabeled · line 942
unlabeled · line 952
unlabeled · line 957
unlabeled · line 973