Manuscript En07-A@1 · En07-A.tex · proposition · 44229ce9

Proposition: No Landauer cost from channel notation alone

Thermodynamic access: three separate ledgers › No implementation cost is fixed by channel equality · lines 1248–1314 · proof included or linked

En07-A@1#prop:no-landauer-from-channel

Back to manuscript

Equality of observable channels, including equality with partial trace, does not determine a unique heat, work, or reusable-memory reset cost.

The channel data do not specify the physical Hamiltonians, thermal reservoir, initial resource states, controls, or cyclic restoration requirements. Energy conservation for a declared Hamiltonian is a separate assertion.

Proof. A concrete reset dilation makes the underdetermination explicit. Let be a qubit memory and let be an independent blank qubit in . A swap gives, including arbitrary references,

with the factors regrouped. The observable memory channel is the same reset channel for every choice of a common energy gap

The swap conserves , but for input excited-state probability , the energy changes are

Thus even the energy transfers are not fixed by the reset channel. The blank resource is consumed, and the diary has moved to , not disappeared.

One can also append an independent unobserved process without changing any channel on . For example, take a fuel qubit initially in and a thermal qubit with the same gap , initial excited-state probability

Swapping and conserves their total energy and increases the designated reservoir's energy by , while consuming fuel energy. Whether that energy increment is included in a heat ledger depends on the specified implementation and reservoir convention; it is invisible to the memory channel.

Likewise, an independently driven, thermally isolated spectator with equal endpoint Hamiltonians can absorb actuator work while leaving the observed channel unchanged. Hence observable channel equality cannot fix the total implementation ledger.

These augmented implementations are not cyclic erasure protocols unless the consumed blank, fuel, and controls are also restored. They therefore establish underdetermination, not evasion of a thermal erasure bound.

Displayed formulas in this passage

  • unlabeled · line 1265

  • unlabeled · line 1275

  • unlabeled · line 1280

  • unlabeled · line 1293

Nearby in this section