Manuscript Hawk02-B@2 · Hawk02-B.tex · proposition · 95ea744f
Proposition: Equal entropy histories without recovery
Entropy and the Hawking-pair assumption audit › A retaining comparison · lines 1149–1177 · proof included or linked
Hawk02-B@2#prop:retainer
A second bare-energy-conserving sequential model has the same radiation entropy for every pure code input and every prefix, but constant radiation and recovery error .
Proof. Store the variable code in a zero-energy degenerate spectator . Prepare another source memory in the fixed excited state , of energy , and apply the same exchange pulses to and radiation. All Hamiltonians act as identity on .
The radiation channel is
The unnormalized expression is valid even when . Its two nonzero block eigenvalues are and , so its entropy is . Any decoder produces a fixed state; Lemma lem:replacement gives optimal error . The complete residual retains the original code in .
Displayed formulas in this passage
unlabeled · line 1163