Firewalls, State Dependence, and Interior Consistency

For an old black hole, three attractive claims cannot all hold with ordinary subsystem factorization: the early radiation is purified by later radiation, a late outgoing mode has its vacuum partner behind a smooth horizon, and the interior partner is independent of the early radiation. At the 2026-08-20 evidence cutoff, this contradiction is mathematically secure under its named premises. Which premise quantum gravity changes—and whether the resulting interior is operationally consistent for generic states—remains open.

Helpful background. Firewalls, State Dependence, and Interior Consistency develops the entropy argument and the principal reconstruction proposals.

The tripartite contradiction

Let $E$ denote early radiation, $B$ a late outgoing mode, and $A$ its putative interior partner. Smooth local vacuum structure asks $AB$ to be nearly pure and strongly entangled. Unitary evaporation after the Page time asks $B$ to reduce the entropy of $E$. If $A$, $B$, and $E$ are independent subsystems of one density operator, strong subadditivity or weak monotonicity forbids both requirements from being exact.

Assessment at 2026-08-20	Meaning
Question status	Open
Evidence status	Contested overall; the contradiction under named premises is established
Confidence	High
Domain	Old black holes, specified subsystem or algebra assignments, code subspaces, and error norms
What could change the conclusion	An overlap-consistent microscopic interior with controlled errors

The entropy theorem is not gravity-specific. Strong subadditivity holds for any tripartite density operator Lieb and Ruskai 1973, theorem and proof, pp. 1938–1941. Quantum gravity can contest the factorization, operator assignment, or accuracy of the vacuum and purification premises; it cannot simply exempt a well-defined tripartite state from the inequality.

A starting project: quantify one interior-consistency premise

Choose this subject if you can take partial traces, calculate von Neumann entropy, and keep an operator assignment separate from its physical interpretation. Read the linked interior-consistency background, then reconstruct Almheiri, Marolf, Polchinski, and Sully 2013, §2, Eq. (2.3), open PDF. Translate the paper’s subsystem letters into this page’s early radiation, outgoing mode, and interior partner before using the inequality.

Begin with explicit finite-dimensional tripartite states. Compare a pure near-horizon pair with a state in which the outgoing mode purifies early radiation; calculate all reduced entropies rather than assigning mutually incompatible values. Introduce a declared noise channel and quantify the tradeoff between pair purity and late purification. The purpose is to make the premise and error budget concrete. The entropy inequality is already a theorem: sampling states illustrates it and tests your code, but neither proves it nor models an actual black-hole interior.

Deliver an analytic example and a notebook reporting the full density operators, subsystem assignment, entropy residuals, and noise parameter. This requires only a laptop. Extending the argument to continuum algebras, large code subspaces, or state-dependent operators requires a supervisor with quantum-information and holographic expertise.

A candidate extension is to examine one published reconstruction proposal on overlapping small code subspaces and bound the discrepancy for a specified observable. Review existing consistency tests first; simply redrawing the AMPS contradiction is preparation, not novelty. Stop if the proposal does not specify a common state space or if its approximation errors exceed the claimed entropy deficit. A useful finite outcome can be an explicit assumption that must change, with its quantitative cost, without declaring every interior proposal ruled out.

From entropies to the AMPS premises

AMPS isolate the incompatibility for an old evaporating hole Almheiri, Marolf, Polchinski, and Sully 2013, §2. In one common formulation, late purification implies $S(EB)\lt S(E)$, whereas a vacuum pair gives $S(AB)\simeq0$. Weak monotonicity implies

$$S(AB)+S(EB)\ge S(A)+S(E).$$

For a nearly pure entangled pair, $S(A)\simeq S(B)\gt 0$, so the requested entropy decrease is incompatible with exact subsystem independence. The argument does not prove a unique firewall state. It proves that at least one premise—unitary late purification, semiclassical smoothness, or independent factorization—requires a quantitatively significant modification.

Results and open questions at 2026-08-20

Evidence	Secure statement	Proposed change	Unresolved test
Strong subadditivity	Named subsystems obey the entropy inequality	None within ordinary quantum mechanics	Whether gravity supplies those independent subsystems
AMPS old-hole argument	Three stated premises are jointly inconsistent	Give up smoothness, factorization, or late purification	Which change follows from a microscopic theory
State-dependent interiors	Interior correlators can be represented on selected states	Abandon one global state-independent interior operator	Linearity and consistency on overlapping subspaces
Quantum error correction	Bulk algebras can be reconstructed redundantly in a code subspace	Replace naive tensor factors by algebraic encoding	Domain size and errors for a generic old hole
Complexity/complementarity ideas	Some operational experiments may be infeasible	Restrict simultaneous observability	Whether infeasibility resolves the algebraic state assignment

Harlow’s lectures give a precise comparison of complementarity, computational complexity, and state-dependent responses Harlow 2016, §§7.1–7.4. Operational difficulty can prevent an observer from performing a distillation-and-jump experiment, but computational hardness by itself does not alter an entropy inequality for the state. It must be connected to what algebra of jointly realizable observables the theory permits.

State dependence and overlap consistency

Papadodimas and Raju construct mirror operators that reproduce interior correlators relative to selected equilibrium states or small code subspaces Papadodimas and Raju 2013, §§3–6. The proposal directly targets the factorization premise: the interior operator is not an independent, globally state-independent operator acting on every state in the Hilbert space.

The hard test is overlap consistency. If two code subspaces overlap, their mirror prescriptions must agree within a stated error on the overlap. Superpositions spanning different reference states must preserve linear quantum predictions. Agreement of low-point correlators on each small patch is not yet a global interior algebra.

Error correction is powerful but bounded

Quantum error correction explains how one bulk operator can have multiple boundary reconstructions without cloning. Harlow’s theorem relates the Ryu–Takayanagi structure to an operator-algebra code Harlow 2017, Theorem 1 and §§4–5. This supplies a controlled language for nonfactorization and entanglement-wedge reconstruction.

Its domain boundary matters. A code subspace containing perturbative excitations around one semiclassical geometry is not automatically large enough to include generic old-hole microstates, their wide superpositions, and all operations needed for the AMPS protocol. Reconstruction errors must be compared with the order-one entropy tension, not merely shown small for a few correlators.

Counterexamples, null results, and failed routes

A direct finite-dimensional check gives the main adverse result: if $AB$ is exactly pure, it is uncorrelated with $E$, so adding $B$ cannot lower $S(E)$. Smoothness defined only by selected two-point functions does not evade this statement. Likewise, a Page curve supplies an entropy trajectory but not a globally consistent interior operator algebra.

Failed shortcuts include saying “complementarity” without specifying forbidden joint operations, invoking exponentially small corrections when the entropy change required is order one, or using state dependence without testing superpositions. A dramatic horizon excitation is one possible response, not the logical conclusion of the theorem.

What would change the assessment

A microscopic model would substantially resolve the question if it defined the exterior and interior algebras, the physical state or code subspace, an error norm, and overlap maps; reproduced smooth infalling correlators; and showed explicitly how the entropy premises are modified at the required scale. It should survive superpositions and an operational observer protocol for a parametrically long time.

An operational theorem fixing gravitational factorization at sufficient precision could instead force a loss of smoothness or late purification. Conversely, a proof that the relevant algebras do not admit the AMPS tripartition, with calculable reconstruction errors, would locate the failed premise rather than merely naming it.

Research checklist

• Define $A$, $B$, and $E$ as tensor factors or von Neumann algebras.
• State exact and approximate entropy conditions with an explicit error scale.
• Identify the code subspace, its dimension, and allowed superpositions.
• Test mirror or reconstruction maps on overlaps between reference-state domains.
• Separate computational inaccessibility from algebraic nonexistence.
• Compare reconstruction errors with the entropy deficit they must repair.
• Give an operational protocol and the time interval over which the interior exists.

Source and data map

Strong subadditivity supplies the theorem; AMPS supplies the old-hole premise set; Harlow’s review separates responses; Papadodimas–Raju supplies the state-dependent construction; and operator-algebra error correction supplies the controlled reconstruction framework. No microscopic model was rerun for this assessment. Reproduction requires explicit algebras, states, code-subspace dimensions, error norms, overlap maps, time ranges, and superposition tests.

References

• Almheiri, A., D. Marolf, J. Polchinski, and J. Sully. “Black Holes: Complementarity or Firewalls?” Journal of High Energy Physics 02 (2013) 062. doi:10.1007/JHEP02(2013)062.
• Harlow, D. “Jerusalem Lectures on Black Holes and Quantum Information.” Reviews of Modern Physics 88, 015002 (2016). doi:10.1103/RevModPhys.88.015002.
• Harlow, D. “The Ryu–Takayanagi Formula from Quantum Error Correction.” Communications in Mathematical Physics 354, 865–912 (2017). doi:10.1007/s00220-017-2904-z.
• Lieb, E. H., and M. B. Ruskai. “Proof of the Strong Subadditivity of Quantum-Mechanical Entropy.” Journal of Mathematical Physics 14, 1938–1941 (1973). doi:10.1063/1.1666274.
• Papadodimas, K., and S. Raju. “An Infalling Observer in AdS/CFT.” Journal of High Energy Physics 10 (2013) 212. doi:10.1007/JHEP10(2013)212.