Manuscript En10-A@1 · En10-A.tex · proposition · 0a1d7743
Proposition: Thermodynamic underdetermination
What the record does not identify › A channel is not a thermal machine · lines 1588–1631 · proof included or linked
En10-A@1#prop:thermal
The visible channel , the destructive record channel, and their complete reference identities do not determine a unique physical energy transfer, bath heat, work cost, or cyclic memory-reset cost.
Proof. In the dilation (eq:dilation), assign the environment Hamiltonian
The reduced channel on the data is unchanged as varies. If the pre-relaxation data state has antiqubit population in value , the environment's energy increase is
Hence the visible channel alone fixes neither that energy transfer nor the Hamiltonian needed to interpret it. A pure blank environment has not thereby been identified as a thermal reservoir.
Even after chosen Hamiltonians are fixed, an independent unobserved process can alter a designated reservoir ledger without altering the data or record channel. For example, take a fuel qubit initially excited and a Gibbs reservoir qubit, both with gap . At inverse temperature , the reservoir excitation probability is
Swapping the two qubits increases the designated reservoir energy by , while acting trivially on the visible interface. Repeating this independent process changes that ledger without changing the visible channel.
These examples consume blanks or fuel. They are not cyclic erasure protocols unless those resources and controls are also restored. They establish underdetermination, not a violation of a thermal inequality.
Displayed formulas in this passage
unlabeled · line 1599
unlabeled · line 1605
unlabeled · line 1619