Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · proposition · 39b16f67
Proposition: No unique implementation cost from a visible channel
Stage 3: energy, erasure cost, and a conditional mass law › Three independent ledgers · lines 1331–1349 · proof included or linked
Hawk04-D@1#prop:no-cost
Equality of a selected visible channel does not determine a unique heat or work ledger, even after a conserving spectator Hamiltonian is fixed.
Proof. Append independent qubits with , . Prepare excited and in , . Doing nothing and applying SWAP both conserve and leave the selected visible channel unchanged. The first has designated reservoir energy change zero, while the second has , supplied by the decrease of 's energy. The consumed resource differs. These are not cyclic erasure protocols unless the spectator resources are restored.