Lesson 11.4 · 11. Research Frontiers

Holographic Error Correction

What is a quantum error-correcting code?

A quantum error-correcting code is a method for protecting fragile quantum information by spreading it across multiple carriers. Think of it like writing an important message in several safes: even if some safes are destroyed, you can reconstruct the full message from the remaining ones. In quantum computing, this allows reliable computations even when individual components make errors.

One of the most surprising discoveries in modern theoretical physics is that the holographic correspondence, the map between a gravitational bulk and a non-gravitational boundary, has the structure of a quantum error-correcting code. This insight, pioneered by Almheiri, Dong, and Harlow in 2014, reveals that concepts developed for quantum computing are not merely analogies for spacetime physics, they are the actual mathematical framework that governs how spacetime encodes information.

The Central Insight

In the AdS/CFT correspondence, the bulk (interior) degrees of freedom are logical qubits, the boundary (CFT) degrees of freedom are physical qubits, and the holographic map is a quantum error-correcting code. A bulk operator $\phi(x)$ at a point $x$ in the interior can be reconstructed from any boundary subregion whose entanglement wedge contains $x$.

Holographic quantum error correction: a bulk operator φ(x) can be reconstructed from different boundary subregions (A or B), just like a logical qubit encoded redundantly in physical qubits.

From Quantum Computing to Quantum Gravity

In quantum computing, quantum error-correcting codes protect fragile quantum information by distributing it redundantly across many physical qubits. If some qubits are damaged or lost, the encoded logical information can still be recovered from the remaining qubits. The key features of such a code are:

Logical qubits: The information we want to protect
Physical qubits: The larger system that stores the encoded information
Code subspace: The subspace of the physical Hilbert space that carries the logical information
Redundancy: The same logical information is accessible from different subsets of physical qubits

In AdS/CFT, precisely the same structure appears:

Logical qubits = bulk (interior) degrees of freedom
Physical qubits = boundary (CFT) degrees of freedom
Code subspace = low-energy states describing semiclassical geometry
Encoding = the holographic map from bulk to boundary

Entanglement Wedge Reconstruction

The most powerful consequence of this error-correcting structure is entanglement wedge reconstruction. For a boundary region $A$, the entanglement wedge $\mathcal{E}(A)$ is the bulk region bounded by $A$ and the Ryu-Takayanagi surface $\gamma_A$:

Subregion-Subregion Duality

Any bulk operator $\phi(x)$ located within the entanglement wedge $\mathcal{E}(A)$ can be reconstructed using only operators in the boundary region $A$. This means the boundary region $A$ contains complete information about the bulk region $\mathcal{E}(A)$.

This is exactly how quantum error correction works: the logical information (the bulk operator) can be recovered from a subset of the physical qubits (the boundary region), as long as that subset is large enough. Different boundary regions can reconstruct the same bulk operator, the hallmark of redundant encoding.

The HaPPY Code

In 2015, Pastawski, Yoshida, Harlow, and Preskill constructed an explicit toy model, the HaPPY code: that realizes holographic error correction. The construction proceeds as follows:

Step 1: Tile the hyperbolic plane. Discretize the hyperbolic plane (a model for AdS space) using regular polygons, such as pentagons.

Step 2: Place a perfect tensor at each tile. A perfect tensor is a tensor such that for any bipartition of its indices into two equal halves, the resulting map is a unitary (an isometry). This ensures maximum entanglement between any two halves.

Step 3: Contract along shared edges. Connect adjacent tiles by contracting (summing over) the tensor indices along their shared edges. The uncontracted boundary indices become the physical (boundary) qubits, while the uncontracted bulk indices become the logical (bulk) qubits.

Step 4: The result is an isometry. The entire tensor network defines an isometric map $V : \mathcal{H}_{\text{bulk}} \to \mathcal{H}_{\text{boundary}}$, which is the holographic error-correcting code.

Properties Reproduced by the HaPPY Code

This simple construction reproduces several key features of holographic duality:

Ryu-Takayanagi formula: The entanglement entropy of a boundary region is given by the minimal cut through the tensor network, the discrete analogue of the RT surface.
Subregion duality: A boundary subregion can reconstruct all bulk operators in its entanglement wedge.
Complementary recovery: The same bulk operator can often be reconstructed from complementary boundary regions, demonstrating the redundancy of the code.
Negative tripartite information: The holographic states produced by the code have the distinctive entanglement structure of holographic CFT states.

Connection to the Island Formula

The error-correcting structure of holography extends naturally to the problem of black hole evaporation. When a black hole is evaporating and emitting Hawking radiation, the island formula tells us that:

Error Correction and Islands

After the Page time, the radiation's entanglement wedge includes an island: a region inside the black hole. Operators within this island can be reconstructed from the radiation alone. This is quantum error correction at work: the radiation (the "physical system") encodes the black hole interior (the "logical information"). The fact that information can be recovered from the radiation is precisely the statement that the code can correct for the "erasure" of the black hole.

Why Spacetime Is a Code

The error-correcting perspective provides the most concrete statement we have about what spacetime "is" at the quantum level:

Spacetime = code: The geometry of the bulk spacetime is an emergent property of the quantum error-correcting code that maps bulk to boundary.
Locality is emergent: The fact that physics at one bulk point is independent of physics at another distant point follows from the error-correcting properties of the encoding, not from any fundamental principle of locality.
Explains multiple representations: Why can the same bulk physics be described from different boundary perspectives? Because it is error-corrected, the same logical information is accessible from different subsets of physical qubits.
Engineering meets gravity: Concepts developed for building quantum computers turn out to be the language that describes the emergence of spacetime.

Limitations and Open Questions

What We Don't Yet Know

The HaPPY code is a toy model: It describes a static geometry with no time evolution, no black hole formation, and no dynamics. The actual code underlying full AdS/CFT has never been identified.
The code subspace is approximate: The exact QEC structure holds only within a low-energy code subspace. At high energies or near singularities, the code structure breaks down.
Time dependence is poorly understood: For evaporating black holes, the code subspace changes with time, and the encoding map is non-trivially time-dependent.
What is the noise model? Saying "spacetime is a code" raises the question: what errors is spacetime protecting against? This remains largely metaphorical outside the strict subregion duality context.

The Quantum Error Correction Condition For a code with encoding isometry $V$ and correctable region $\bar{A}$ (the complement of boundary region $A$), the Knill-Laflamme condition states: $$V^\dagger \, O_{\bar{A}} \, V = c(O_{\bar{A}}) \cdot \mathbf{1}_{\text{logical}}$$ where $O_{\bar{A}}$ is any operator supported on the erased region $\bar{A}$. This means no information about the logical state leaks to the erased qubits. In holography, this translates to: no bulk information about operators in the entanglement wedge of $A$ is accessible from the complement $\bar{A}$.

Key Insights

The AdS/CFT correspondence has the mathematical structure of a quantum error-correcting code, with bulk degrees of freedom as logical qubits and boundary degrees of freedom as physical qubits
Entanglement wedge reconstruction, the ability to recover bulk operators from boundary subregions, is a direct consequence of quantum error correction
The HaPPY code provides an explicit toy model that reproduces the Ryu-Takayanagi formula, subregion duality, and complementary recovery from tensor networks on the hyperbolic plane
The island formula extends this error-correcting structure to evaporating black holes: the radiation encodes the black hole interior
The error-correcting perspective tells us that spacetime geometry, locality, and bulk physics are all emergent properties of a quantum code, this is the most concrete statement we have about what spacetime "is" at the quantum level

Key Takeaways

The AdS/CFT correspondence has the structure of a quantum error-correcting code, where bulk degrees of freedom are logical qubits and boundary degrees of freedom are physical qubits.
Entanglement wedge reconstruction allows any bulk operator to be recovered from any boundary subregion whose entanglement wedge contains it, a hallmark of redundant encoding.
The HaPPY code is an explicit tensor network toy model that reproduces key holographic features, including the Ryu-Takayanagi formula and subregion duality.
After the Page time, the island formula shows that the radiation's entanglement wedge includes a region inside the black hole, so the interior is encoded in the Hawking radiation.
Spacetime geometry and locality are not fundamental but emerge from the error-correcting properties of the holographic code.

← 11.3 The Island Formula 11.5 The Amplituhedron →