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

Back to manuscript

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

Nearby in this section