Manuscript Hawk04-A@1 · Hawk04-A.tex · theorem · 526092ba
Theorem: What a complete evaporation identification would imply
Endpoints and the missing gravitational implications › The conditional black-hole conclusion · lines 1960–1987 · proof included or linked
Hawk04-A@1#thm:BH-conditional
Suppose a gravitational model supplies:
a justified finite code and complete microscopic dilation;
unitary complete evolution with the preparation ledger retained;
a derived outgoing access and endpoint construction;
a proof that the endpoint complete residual channel is constant.
Then the outgoing radiation exactly recovers the code, including arbitrary reference entanglement.
If instead all nonradiative output degrees of freedom are proved to be a single fixed pure state, the complete radiation channel is an isometric encoding. A constant final radiation channel on a nontrivial code is incompatible with these hypotheses.
Proof. The complete microscopic evolution supplies an isometry by Theorem thm:global. Apply Theorem thm:exact to the derived endpoint partition. The rank-one case follows from Proposition prop:pure-endpoint. A constant radiation channel cannot have a CPTP left inverse, by Lemma lem:replacement.