Firewalls, State Dependence, and Interior Consistency

The firewall problem asks whether three late-time requirements can coexist: radiation purifies as unitary evaporation demands, a freely falling observer sees the near-horizon vacuum, and semiclassical effective field theory supplies independent early-radiation, exterior-mode, and interior-partner algebras. The AMPS argument shows that these requirements are jointly inconsistent after the Page time to the asserted accuracy. It does not, by itself, prove that one unique firewall scenario occurs.

Helpful background. Semiclassical Gravity supplies the old-hole and backreaction regime; Quantum Information supplies strong subadditivity, purification, and monogamy; Quantum Fields in Curved Spacetime supplies the local vacuum relation between exterior and interior modes; Black-Hole Information supplies the Page-curve and complementarity formulations used as premises.

The three systems

Use $E$ for early radiation already far away, $B$ for one late outgoing exterior mode, and $A$ for its interior partner. A common-state argument assumes these are independent factors, or controlled commuting algebras, on one comparison slice. Select a late mode, or block of modes, that participates in the descending Page branch,

$$S(EB)\lt S(E).$$

Unitarity alone does not demand a decrease for every individual late packet; this is the additional local purification premise. Smoothness requires $AB$ to be close to the regulated local vacuum pair, so $S(AB)\simeq0$ while $S(A)\simeq S(B)\gt0$. Weak monotonicity, an equivalent form of strong subadditivity, states

$$S(AB)+S(BE)\geq S(A)+S(E).$$

The two requirements push the left side below $S(E)$ and the right side above it. Approximate versions remain inconsistent when the entropy gaps exceed the continuity and factorization errors. The core argument and its proposed loopholes are set out in Almheiri et al. 2013, §§ 2–3 and Appendices A–C.

This contradiction names an assumption set. One may change radiation purification, the near-horizon state, effective-field-theory factorization, interior operator domains, or the common-state interpretation. Each response has additional consistency obligations.

Six steps through interior consistency

The chapter proceeds from the exact inequality to increasingly model-dependent responses.

1. The AMPS Entanglement Argument states all $EBA$ hypotheses, derives the contradiction, and varies each premise independently.
2. Strong Subadditivity and Monogamy proves the entropy relation used in the argument and separates it from pairwise entanglement slogans.
3. Near-Horizon Effective Field Theory identifies which vacuum, locality, and factorization assumption must change to remove the $AB$ entanglement.
4. Firewall and Drama Scenarios compares where each proposal departs from smooth-horizon physics and at what energy scale.
5. State-Dependent Interior Operators tests code-subspace domains, linearity, overlap consistency, commutators, and correlators.
6. Interior Consistency Checklist combines the independent conditions that any proposal must satisfy beyond matching one two-point function.

The sequence prevents a proposed response from being mistaken for a consequence of the theorem. Strong subadditivity locates a tension; it does not choose which physical premise fails.

Response classes

A firewall or drama response modifies the near-horizon state so $AB$ is not vacuum-entangled. A nonfactorization or encoding response denies that $A$ is independent of exterior information. A state-dependent response restricts the interior operator assignment to a state or code subspace. A remnant or nonunitary response changes the late-radiation purification premise. An operational complementarity response restricts comparisons, although that alone may not alter a common-state entropy inequality.

Each class answers a different question. A smooth two-point function does not establish a full operator algebra. A Page curve does not independently establish an infalling vacuum. A code-subspace operator can be consistent on one domain yet conflict on overlaps or superpositions. A high-energy horizon state must state who encounters it, when it forms, and how it respects conservation and backreaction.

Harlow’s review develops the entropy argument, complementarity responses, and reconstruction questions while keeping their assumptions separate Harlow 2016, §§ 7.1–7.4.

Results and open questions as of 2026-08-19

The finite-dimensional entropy inequality is settled. It remains unresolved which premise a complete four-dimensional theory changes and whether a smooth interior exists for generic old-hole states. Competing positions differ over factorization, code subspaces, near-horizon effective field theory, and operational criteria.

Evidence or position	Result	Scope and limitation
Strong subadditivity Lieb and Ruskai 1973, theorem and proof, pp. 1938–1941	Constrains any named tripartite density operator and yields weak monotonicity	Requires a common state and valid subsystem or algebra assignment
AMPS old-hole argument Almheiri et al. 2013, § 2	Late purification, smooth $AB$, and semiclassical factorization are jointly inconsistent	Does not prove a unique firewall or select which assumption gravity changes
Semiclassical smooth horizon Harlow 2016, §§ 7.1–7.2	Local vacuum correlators require exterior–interior entanglement	Effective-field-theory accuracy and factorization near an old horizon are the disputed regime
State- or code-subspace-dependent interior	Attempts to reproduce smooth correlators without an independent global $A$ factor	Linearity, overlap consistency, and nonperturbative domain size remain model-dependent

The firewall position retains ordinary factorization and late purification but changes the horizon state. The encoding position changes independence of $A$. The state-dependent position changes the operator domain. A conservative position treats the contradiction as evidence that semiclassical ingredients cannot all be extrapolated, while withholding a universal interior verdict. These are genuine competing formulations.

The conclusions could change after a microscopic construction supplies a state-independent or demonstrably consistent code-subspace interior, or after a theorem controls gravitational factorization errors at the required entropy accuracy, or after an operational protocol tests horizon smoothness and radiation recovery without leaving the semiclassical backreaction regime.

Boundaries

Generic entropy inequalities belong to Quantum Information, local vacuum mode analysis to Quantum Fields in Curved Spacetime, and evaporation backreaction to Semiclassical Gravity. This chapter applies them to interior consistency. It does not assume a specific string or holographic realization and does not promote one disputed response to a theorem.

Check the premise

Suppose $AB$ is exactly a Bell pair and independent of $E$. Can adding $B$ decrease $S(E)$, and which AMPS premise must change if unitary evaporation requires such a decrease?

Solution

No. Exact purity of $AB$ implies $\rho_{ABE}=\rho_{AB}\otimes\rho_E$, so $\rho_{BE}=\rho_B\otimes\rho_E$ and $S(BE)=S(B)+S(E)\gt S(E)$. To make the radiation entropy decrease, $B$ must correlate with $E$ at order sufficient to defeat this increase. Therefore exact smooth-pair entanglement, independence or factorization, or the late-purification condition must change; the entropy theorem itself remains valid.

References

• Almheiri, Ahmed, Donald Marolf, Joseph Polchinski, and James Sully. 2013. “Black Holes: Complementarity or Firewalls?” Journal of High Energy Physics 2013 (02): 062. Open text.
• Harlow, Daniel. 2016. “Jerusalem Lectures on Black Holes and Quantum Information.” Reviews of Modern Physics 88: 015002. Open text.
• Lieb, Elliott H., and Mary Beth Ruskai. 1973. “Proof of the Strong Subadditivity of Quantum-Mechanical Entropy.” Journal of Mathematical Physics 14: 1938–1941. DOI.

Dated Research assessment. For open questions and recent results, follow the link below. Each assessment states the date through which it considers results and the limits of its conclusions.

• Firewalls, State Dependence, and Interior Consistency