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

Back to manuscript

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

Nearby in this section