Subregion Complementarity in AdS/CFT

✨

This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: The Hologram and the Puzzle

Imagine the universe is a giant hologram. This is the core idea of the AdS/CFT correspondence.

The Bulk (Gravity): Think of this as a 3D movie playing inside a theater. It contains gravity, black holes, and stars.
The Boundary (CFT): Think of this as the 2D screen surrounding the theater. It contains a complex code (a quantum field theory) that perfectly describes the 3D movie.

The big promise of this theory is that you can translate anything happening in the 3D movie (the bulk) into the code on the 2D screen (the boundary), and vice versa.

The Problem: Trying to Watch Just One Scene

For a long time, physicists believed in a rule called "Subregion Duality."

The Idea: If you want to watch just one scene of the 3D movie (a specific region of space), you should only need to look at the corresponding patch of the 2D screen code.
The Analogy: Imagine a jigsaw puzzle. If you want to see the picture of the "castle" in the middle, you should only need the puzzle pieces that form the castle. You shouldn't need the pieces from the "sky" or the "ocean" to understand the castle.

This idea is crucial because it suggests that the universe has a "Quantum Error Correction" system. It implies that information is redundant; if you lose a piece of the screen, you can still reconstruct the 3D movie using the remaining pieces.

The Paper's Discovery: The Rule is Broken

Authors Sotaro Sugishita and Seiji Terashima argue that this rule is actually false.

They demonstrate that if you try to reconstruct a specific 3D scene using only the code from the corresponding 2D patch, you run into a contradiction. The "castle" cannot be fully described by just the "castle pieces" of the code. You actually need information from the entire screen to correctly describe even a small part of the 3D world.

Why? The "High-Resolution" Problem.
The authors explain that the "code" on the screen has a limit to how much detail it can hold (this is related to the number $N$ , which represents the complexity of the universe).

The Analogy: Imagine trying to describe a high-definition 4K movie using a low-resolution sketch.
Near the "horizon" (the edge of a black hole or the edge of your sub-region), the physics gets very intense. To describe this area, the 2D code needs to access "ultra-high frequency" data.
However, the 2D code for a small patch doesn't have the "bandwidth" to hold this ultra-high data. It's like trying to stream a 4K movie on a dial-up connection; the signal breaks down.
The "Global" code (the whole screen) has the bandwidth. The "Local" code (just the patch) does not. Therefore, the local code cannot perfectly reconstruct the local 3D scene.

The Solution: "Subregion Complementarity"

If the local code can't do the job alone, does that mean the theory is broken? No. The authors propose a new concept called Subregion Complementarity.

The Analogy: Two Different Maps
Imagine you are in a forest.

The Local Map: A hiker standing in a small clearing draws a map of just that clearing. It's very detailed for that spot, but it's drawn from the hiker's specific perspective.
The Global Map: A satellite draws a map of the entire forest. It sees the clearing from above.

The paper argues that the "Local Map" (the code from the patch) and the "Global Map" (the code from the whole screen) are different descriptions of the same reality.

They both describe the trees in the clearing.
But they are not the same map. You cannot simply swap one for the other.
They are "complementary." Just like a coin has a head and a tail, the universe has different valid descriptions depending on who is looking at it (the observer).

Key Takeaway: You can describe a small part of the universe using the local code, but it will look different than if you described it using the global code. They are consistent with each other, but they are not identical.

The Black Hole Twist: One-Sided vs. Two-Sided

The paper also looks at Black Holes, which are the ultimate test for these theories.

Eternal Black Holes (Two-Sided): Imagine a black hole that has existed forever, with a "left side" and a "right side" (like a mirror image).
- Here, the "Complementarity" works. An observer outside sees a hot, chaotic mess. An observer falling in sees smooth space. Both views are valid, just like the two maps. The universe has enough "room" (degrees of freedom) to support both views.
Single-Sided Black Holes (Realistic): Imagine a black hole formed from a collapsing star. It only has an "outside." There is no "inside" partner to balance the equation.
- Here, the paper argues that Complementarity fails.
- The Analogy: It's like trying to describe a room with a mirror, but the mirror is broken. You can't see the reflection.
- Because there is no "other side" to provide the extra information, the smooth space inside the black hole (where an astronaut would fall) cannot exist in the quantum description.
- Instead, the "stretched horizon" (the edge of the black hole) becomes a wall of fire or a "brick wall" (a concept from the Fuzzball conjecture). The smooth space we expect from Einstein's theory of gravity breaks down. The equivalence principle (the idea that falling feels like floating) is violated near the horizon.

Summary in a Nutshell

The Dream: We thought we could describe any part of the universe using only the code from that specific part.
The Reality: We can't. The local code is "too small" to hold all the high-energy details needed near the edges.
The Fix: We have to accept that different observers (looking at the whole universe vs. a small part) see different, but consistent, versions of reality. This is Subregion Complementarity.
The Warning: This only works for "eternal" black holes with two sides. For real, one-sided black holes, the smooth space inside might be an illusion, and the horizon might be a violent wall of quantum effects.

The paper essentially tells us that the universe is more complex and "fuzzy" at the edges than we hoped, and that our attempts to slice it up into neat, independent puzzle pieces don't quite work.

1. Problem Statement

The paper addresses a fundamental tension in the AdS/CFT correspondence regarding bulk reconstruction for spacetime subregions. Specifically, it challenges the validity of:

Subregion Duality: The claim that the reduced density matrix of a CFT subregion $A$ uniquely determines the reduced density matrix of the corresponding bulk entanglement wedge $M_A$ .
Entanglement Wedge Reconstruction (EWR): The strong claim that any bulk operator $\phi$ supported within the entanglement wedge of a CFT subregion $A$ can be reconstructed as a CFT operator $\phi_R$ supported only on $A$ , such that $\phi_G |\psi\rangle = \phi_R |\psi\rangle$ for all low-energy states $|\psi\rangle$ .
Holographic Quantum Error Correction (QECC): The proposal that the bulk Hilbert space factorizes and that different subregion reconstructions agree within a "code subspace" (low-energy states).

The authors argue that these concepts fail at the leading order of the $1/N$ expansion (perturbative corrections) when considering finite $N$ CFTs, due to the breakdown of the semi-classical approximation near horizons and the presence of trans-Planckian modes.

2. Methodology

The authors employ a combination of perturbative $1/N$ expansion analysis, mode expansion comparisons, and counter-example construction:

Comparison of Quantization Schemes: They compare Global AdS quantization (associated with the global vacuum and the full CFT) against AdS-Rindler quantization (associated with a subregion $A$ and the Rindler Hamiltonian).
Operator Reconstruction (HKLL): They utilize the HKLL (Hamilton, Kabat, Lifschytz, Lowe) bulk reconstruction formalism to define bulk local operators $\phi_G$ (global) and $\phi_R$ (Rindler/subregion) in terms of CFT operators.
State-Dependent Counter-Examples: They construct specific excited states using unitary operators acting on the vacuum, $|K\rangle = e^{i\epsilon \tilde{\phi}_M} |0\rangle$ , where $\tilde{\phi}_M$ is a smeared bulk operator localized in the subregion $M_A$ .
Energy Density Analysis: They calculate the expectation value of the CFT stress-energy tensor $\langle T_{00} \rangle$ for these states to demonstrate discrepancies between the global and subregion reconstructions.
FLM Formula Incompatibility: They analyze the consistency of the EWR with the Faulkner-Lewkowycz-Maldacena (FLM) formula for quantum-corrected Ryu-Takayanagi entropy.
Trans-Planckian Mode Analysis: They examine the behavior of mode expansions near the AdS-Rindler horizon (stretched horizon) to identify "tachyonic" or high-energy modes that exist in the semi-classical approximation but are forbidden in the finite $N$ CFT.

3. Key Contributions and Results

A. Failure of Subregion Duality and EWR

The authors demonstrate that the equation $\phi_G |\psi\rangle = \phi_R |\psi\rangle$ does not hold, even for low-energy states, when $N$ is finite.

The Counter-Example: Consider a bulk operator $\tilde{\phi}_M$ $\tilde{ϕ}_{M}$ smeared within the causal wedge of $A$ $A$ .
- Global Reconstruction ( $\phi_G$ ): Acts on the entire CFT space. The resulting state $|K\rangle$ has a non-zero, uniform energy density across the entire boundary sphere (due to the spherical symmetry of the smearing function in the bulk).
- Subregion Reconstruction ( $\phi_R$ ): If EWR held, $\phi_R$ would be supported only on $A$ . By causality in the CFT, acting with an operator supported on $A$ cannot change the energy density in the complement region $\bar{A}$ . Thus, $\langle K_R | T_{00} | K_R \rangle$ would be zero in $\bar{A}$ .
- Result: Since $\langle K | T_{00} | K \rangle \neq 0$ in $\bar{A}$ while $\langle K_R | T_{00} | K_R \rangle = 0$ , the states are distinct. Therefore, $\phi_G \neq \phi_R$ even at the leading $O(1/N)$ correction.

B. Incompatibility with Holographic QECC

The results explicitly contradict the holographic quantum error correction code structure proposed in previous literature (e.g., Almheiri et al.).

The QECC paradigm assumes that different reconstructions of the same bulk operator from different subregions agree on the code subspace (low-energy states).
The authors show that the global and Rindler reconstructions yield different operators that produce different physical effects (energy distributions) even within the low-energy subspace. This implies the code subspace does not allow for the factorization required by the standard QECC interpretation.

C. Origin of the Failure: Trans-Planckian Modes

The discrepancy arises because the AdS-Rindler semi-classical description breaks down near the horizon.

In the AdS-Rindler patch, the mode expansion includes "tachyonic" modes (modes with negative energy relative to the Rindler Hamiltonian but positive energy globally) or modes that correspond to arbitrarily high global energies.
In a finite $N$ CFT, the spectrum is discrete and bounded (by the Planck scale). The "tachyonic" modes required for the Rindler reconstruction are not present in the true finite $N$ theory.
Consequently, the semi-classical bulk theory on a subregion is an effective description that fails to capture the full UV structure of the finite $N$ CFT, particularly near the entangling surface (horizon).

D. Proposal: Subregion Complementarity

Instead of a single unique reconstruction, the authors propose Subregion Complementarity:

Different CFT operators can describe the same bulk physics depending on the observer's patch.
$\phi_G$ (Global) and $\phi_R$ (Rindler) are different operators in the finite $N$ theory.
However, they reproduce the same correlation functions (e.g., two-point functions) within the subregion $M_A$ in the large $N$ limit.
This is analogous to Black Hole Complementarity: an infalling observer (global) and a static observer (Rindler) have different descriptions of the same region, which are consistent within their respective domains but not simultaneously valid as a single operator identity.

E. Application to Black Holes

Eternal Black Holes: Subregion complementarity holds. The exterior region can be described by a single CFT (static observer) or the full Thermofield Double state (infalling observer). The descriptions differ but are consistent.
Single-Sided Black Holes: Complementarity fails. In a single-sided black hole (formed by collapse), there is no second CFT to purify the thermal state. The "infalling" description (smooth horizon) cannot be reconstructed because the necessary degrees of freedom to describe the stretched horizon are absent in the single CFT. This suggests a violation of the Equivalence Principle near the horizon for single-sided black holes in quantum gravity, supporting the Fuzzball or Brick Wall conjectures.

4. Significance

Refutation of Standard EWR: The paper provides a rigorous CFT-based argument that the strong form of Entanglement Wedge Reconstruction is invalid for finite $N$ theories, challenging a cornerstone of modern holographic quantum information theory.
Clarification of $1/N$ Expansion: It highlights that the $1/N$ expansion (semi-classical gravity) is not a simple perturbation of the $N=\infty$ generalized free theory when subregions are involved. The order of limits ( $N \to \infty$ vs. taking a subregion) does not commute due to non-perturbative effects near horizons.
New Paradigm for Holography: By introducing "Subregion Complementarity," the authors offer a resolution to the apparent paradoxes without relying on error-correcting codes that assume factorization. It suggests that bulk locality is observer-dependent in a way that precludes a single, global operator identity for subregion operators.
Implications for Firewalls: The analysis of single-sided black holes supports the idea that the smooth horizon (Equivalence Principle) may not hold in quantum gravity for single-sided systems, aligning with the Fuzzball conjecture.

In summary, the paper argues that the bulk reconstruction for subregions is fundamentally different from global reconstruction in finite $N$ theories, rendering the standard holographic error correction code picture invalid and necessitating a complementarity-based view of bulk locality.