---
title: Holographic Quantum Error Correction
url: https://www.emergentmind.com/topics/holographic-quantum-error-correction
type: topic
---

# Holographic Quantum Error Correction

Holographic quantum error correction is the proposal that the bulk–boundary map of holography, especially in AdS/CFT, is an operator-algebra quantum error-correcting code: low-energy bulk effective-field-theory degrees of freedom are encoded isometrically into boundary degrees of freedom, with bulk operators in an entanglement wedge reconstructible on the corresponding boundary subregion, and with entropy formulas governed by a central “area operator” that captures geometric data [2102.02619]. In this formulation, bulk locality, subregion duality, Ryu–Takayanagi/HRT entropy, JLMS modular relations, and quantum extremal-surface corrections are recast as structural statements about correctable algebras, commutants, and centers.

## 1. Origins in subregion duality and quantum error correction

The modern formulation begins from the observation that the same bulk operator can admit inequivalent boundary reconstructions supported on different boundary regions, while acting identically on a restricted code subspace. Almheiri, Dong, and Harlow made this precise by identifying the AdS/CFT code subspace with a low-energy bulk sector and expressing reconstruction as
\[
V^\dagger (O_A \otimes I_{\bar A}) V = O_{\mathrm{bulk}},
\]
for an encoding isometry \(V:\mathcal H_{\mathrm{code}}\to\mathcal H_{\mathrm{CFT}}\) and a boundary factorization \(\mathcal H_{\mathrm{CFT}}=\mathcal H_A\otimes\mathcal H_{\bar A}\) [1411.7041]. In this picture, radial depth becomes a coding-theoretic notion: bulk operators deeper in the bulk require larger boundary regions for reconstruction and are more resilient to boundary erasures [1411.7041].

Operator-algebra quantum error correction is the natural framework because holography does not generally involve a full matrix algebra of logical observables. Instead, one corrects a logical subalgebra \(\mathcal A\), with erasures on \(\bar A\) constrained by
\[
P E_i^\dagger E_j P \in \mathcal A',
\]
rather than by the ordinary Knill–Laflamme scalar condition. This allows nontrivial centers, sector decompositions, and algebraic no-cloning, all of which are intrinsic to holographic subregion duality [1411.7041]. The broader review literature places RT/HRT, FLM bulk entropy corrections, JLMS relative entropy, and entanglement wedge reconstruction within this same OQEC/OAQEC architecture [2102.02619].

## 2. Operator algebras, centers, and the code-subspace structure

In finite-dimensional OQEC, the logical Hilbert space admits a Wedderburn-type decomposition
\[
\mathcal H_{\mathrm{code}} \cong \bigoplus_{\alpha}\,\mathcal H_{a_\alpha}\otimes \mathcal H_{\bar a_\alpha},
\]
with a von Neumann algebra of reconstructable operators acting on one factor and its commutant on the other. The label \(\alpha\) indexes superselection sectors and spans the center \(Z_M\), which in holography carries geometric data such as area [2102.02619]. The JLMS relation is the operator statement that, on a boundary region \(A\),
\[
K_{\mathrm{CFT}}(A)=\hat A/(4G_N)+K_{\mathrm{bulk}}(\mathrm{EW}(A)),
\]
with \(\hat A\) central in the relevant boundary algebra [2102.02619].

A constructive characterization of this structure identifies the algebra visible from \(A\) as
\[
M:=V^\dagger \big(\mathcal L(\mathcal H_A)\otimes I_{\bar A}\big)V.
\]
If \(M\) is a von Neumann algebra, it is the unique algebra satisfying complementary recovery for the code and the chosen erasure model [2110.14691]. The same framework yields the operator-algebraic RT formula
\[
S(\rho_A)=S(M,\rho_L)+\mathrm{Tr}(\rho_L L_A),
\]
where \(S(M,\rho_L)\) is the algebraic entropy and \(L_A\in Z_M\) is the area operator [2110.14691].

Recent exact models built from the boundary rather than from bulk tensor networks sharpen this picture. In those constructions, bulk qudits emerge from boundary entanglement patterns, complementary recovery is established for arbitrary boundary bipartitions, and \(Z(\mathcal M_A)\neq \mathbb C\,\mathds 1\) for any bipartition, giving a genuine OA-QEC realization with explicit split algebras on the entangling surface [2407.10271]. This suggests that the algebraic content of holography can be derived directly from boundary entanglement data rather than assumed from a bulk tiling.

## 3. Entropy, area operators, and refined Rényi structure

At leading semiclassical order, holographic entropy is governed by the RT/HRT/QES hierarchy. For a boundary region \(A\),
\[
S(A)=\frac{\mathrm{Area}(\gamma_A)}{4G_N}+S_{\mathrm{bulk}}(\mathrm{EW}(A)),
\]
with HRT replacing RT in time-dependent settings, and QES defined by extremizing the generalized entropy
\[
S_{\mathrm{gen}}(\gamma)=\frac{\mathrm{Area}(\gamma)}{4G_N}+S_{\mathrm{bulk}}(\Sigma_\gamma)
\]
[2102.02619]. In OQEC this becomes an algebraic split between a central area term and a bulk logical entropy term.

The refined Rényi analysis adds a stronger constraint. With
\[
S_n(\rho)\equiv \frac{1}{1-n}\log \mathrm{tr}\,\rho^n,\qquad
\widetilde S_n(\rho)\equiv n^2\partial_n\!\left(\frac{n-1}{n}S_n(\rho)\right),
\]
Akers and Rath showed that the OQEC formula reproduces the Dong cosmic-brane prescription only if the edge-mode state \(\chi_\alpha\) in every \(\alpha\)-sector has flat refined Rényi spectrum, equivalently iff \(\chi_\alpha\) is maximally mixed on its support [1811.05171]. Under that necessary-and-sufficient condition, the refined Rényi entropy takes the RT-like form
\[
\widetilde S_n(A)=\frac{\mathrm{Area}(\gamma_n)}{4G_N}+\widetilde S_{n,\mathrm{bulk}(a)},
\]
with brane tension \(T_n=(n-1)/(4nG_N)\) [1811.05171].

This result refines the meaning of the area operator. When \(\chi_\alpha\) is maximally mixed, the OQEC area operator reduces to
\[
\mathcal L_A=\bigoplus_\alpha \log\!\big(\dim \chi_\alpha\big)\,\mathbb 1,
\]
so the RT term is interpreted as edge-mode entropy, closely analogous to the \(\log \dim R\) surface term in lattice gauge theory [1811.05171]. The same analysis reinterprets a single holographic tensor network not as a smooth semiclassical geometry but as an area eigenstate; nontrivial Rényi \(n\)-dependence then arises from superpositions over distinct area sectors rather than from nonmaximal bond entanglement [1811.05171].

## 4. Tensor-network realizations and geometric code families

Tensor networks supply explicit, exactly solvable or approximately solvable realizations of HQEC. Perfect tensors, random tensors, CSS/block-perfect variants, Majorana-dimer formulations, and hyperinvariant constructions each capture different aspects of entanglement geometry, recovery, and correlator structure [1503.06237].

| Model family | Salient structure | Citation |
|---|---|---|
| HaPPY / perfect-tensor codes | Exact bulk-to-boundary isometry, operator pushing, greedy entanglement wedge, and \(S(A)=|{\rm mincut}(A)|\log\chi\) for connected regions | [1503.06237] |
| Random tensor networks | Typical RT/HRT behavior at large bond dimension \(\chi\), replica-statistical-model mapping, approximate wedge reconstruction | [2102.02619] |
| CSS/block-perfect heptagon code | Steane-based block-perfect tensors on \(\{4,7\}\), asymptotic rate \(1/\sqrt{21}\), erasure threshold \(p_{\mathrm{th}}^{\mathrm{hept}}\approx 1/3\) | [1806.06472] |
| Majorana-dimer HyPeC | Boundary dimers coincide with discrete bulk geodesics; entropy is dimer counting; dimer states have flat Rényi spectrum | [1905.03268] |
| HMERA / hyperinvariant codes | Multi-tensor constructions support power-law correlations; exact hyperinvariant codes yield nontrivial scaling spectra and state-dependent complementary-recovery breakdown | [2103.08631], [2304.02732] |

The original HaPPY analysis established exact RT-like entropy, negative tripartite information in appropriate regimes, disconnected-region entanglement-wedge reconstruction, and threshold phenomena in suitably modified hyperbolic codes [1503.06237]. The Steane-based heptagon construction broadened this by relaxing perfection to block perfectness, preserving greedy reconstruction and RT-like scaling while enabling CSS structure and efficient erasure decoding [1806.06472]. Majorana-dimer formulations made the geometry–entanglement correspondence particularly explicit: boundary dimers trace discrete geodesics, and each dimer crossing contributes \((\log 2)/2\) to the entropy, yielding \(S(A)=|\gamma_A|\log 2\) in HyPeC [1905.03268].

A central limitation of perfect-tensor networks is their overly flat local scaling structure. HMERA proved that a completely regular, locally contractible, single-tensor-type hyperinvariant MERA cannot sustain nontrivial connected boundary two-point functions, motivating multi-tensor constructions with nontrivial transfer spectra [2103.08631]. Exact hyperinvariant holographic codes then supplied power-law boundary correlators together with an exact encoding isometry and a controlled, state-dependent soft breakdown of complementary recovery [2304.02732].

Independent of any specific tensor network, hyperbolic geometry itself constrains the coding rate. For holographic codes grown on regular \(\{p,q\}\) tessellations, the asymptotic rate obeys
\[
R\le \chi_{p,q}=\frac{\ell_{p,q}}{a_{p,q}},
\]
and for a large class of tessellations with \(p>3\) one has \(\chi_{p,q}<1\), guaranteeing asymptotic QEC. Under the tile-completion rule, holographic triangle codes are exceptional, with \(R>1\), whereas non-triangle families remain QEC-capable [1908.09253].

## 5. Black holes, approximate codes, and non-AdS extensions

In semiclassical gravity, QES and the generalized entropy reframe black-hole information flow as changes in correctable erasures. The island formula
\[
S(R)=\min_{\mathrm{QES}\ \gamma}\left\{\frac{\mathrm{Area}(\gamma)}{4G_N}+S_{\mathrm{bulk}}(R\cup \mathrm{Island})\right\}
\]
describes a transition in entanglement wedges and hence in the logical algebra reconstructable from the radiation region [2102.02619]. Within HQEC this is an algebraic wedge transition rather than a purely geometric curiosity.

The projected-black-hole-interior construction makes this dynamical flexibility explicit. Starting from a subsystem erasure code for the eternal black hole/TFD and projecting one boundary, the bulk/boundary dictionary is “rewired” so that interior operators become reconstructable on the remaining side. In the general OAQEC theorem of that construction, an operator \(O\) remains reconstructable after projection iff
\[
[P_{\mathrm{code}}P_LP_{\mathrm{code}},\,O]=0,
\]
and the surviving boundary representative is given by a transpose-channel/Petz-type formula \(O_R=\alpha^T O(\alpha^{-1})^T\) [1810.02055]. This places state dependence behind horizons in a controlled OAQEC framework.

Beyond AdS tensor networks, bilocal holography in the free \(O(N)\) vector model supplies an explicit bulk map from gauge-invariant bilocals to higher-spin AdS fields. After restricting to a code subspace, semicircular bilocal smearing implements entanglement-wedge reconstruction, and gauge-invariant entangled pairs spread over bulk semicircles in a manner explicitly suggestive of bit threads [2106.00349]. At the opposite infrared and asymptotic end, celestial QEC encodes hard states with quantized BMS hair into a celestial CFT, with soft radiation modeled as correctable errors in a GKP-like framework governed by a \(w_{1+\infty}\) hierarchy of soft currents [2412.19653]. Related approximate-QEC ideas also appear in quantum source-channel codes, where Gibbs states of the critical transverse-field Ising model show nontrivial protection against local erasure, giving a state-based CFT realization of approximate HQEC [1611.07528].

## 6. Coding performance, fault tolerance, and implementation

Recent work has pushed HQEC from conceptual toy models toward coding-theoretic performance and experimental design. Heterogeneous holographic codes alternate two seed codes layer by layer on hyperbolic tilings, thereby combining complementary transversal gate sets. This realizes universal fault-tolerant logic on the holographic boundary, supports black-hole deformations that encode multiple logical qubits, and can reduce physical-qubit overhead by \(21.8\%\) in a two-layer Steane/quantum-Reed–Muller combination [2504.10386]. In that framework, erasure thresholds reach \(0.5\) for heterogeneous HaPPY/Steane and Steane/HaPPY families, and approach \(0.468\) for HaPPY/QRM [2504.10386].

Under biased Pauli noise, asymptotically zero-rate holographic stabilizer codes with tensor-network maximum-likelihood decoders attain competitive thresholds. Across five model families, all reach the zero-rate hashing bound in some bias regime, and the holographic surface-code fragment appears to exceed the known benchmark in the pure XZ two-Pauli regime, with \(24.03\pm1.08\%\) against a hashing-bound reference of approximately \(22.709\%\) [2408.06232]. Clifford-deformed seeds further allow hashing-bound performance in one-Pauli-dominated regimes [2408.06232]. This suggests that hyperbolic bulk–boundary architecture can be compatible with modern biased-noise optimization rather than opposed to it.

Experimental implementation has likewise become concrete. A stabilizer-graph reformulation of the hyperbolic pentagon code yields explicit encoding and partial-decoding circuits tailored to long-range interactions and demonstrates a twelve-qubit instance in which partial decoding recovers bulk qubits from nearby boundary qubits [2209.08954]. For logical-zero preparation, the reported trapped-ion benchmark gives an estimated fidelity \(0.947(8)\), compared with \(0.88(2)\) for a non-destructive stabilizer-measurement route [2209.08954]. This does not settle the physical realization of full-scale HQEC, but it places small experimental verifications of bulk reconstruction within current hardware capabilities.

Taken together, these developments present holographic quantum error correction as a layered subject: an operator-algebraic formulation of subregion duality, an entropy framework centered on area operators and edge modes, a family of tensor-network and algebraic models with varying degrees of exactness and realism, and an emerging coding-theoretic program aimed at thresholds, fault tolerance, and laboratory implementation. The most persistent open problems concern the derivation of edge-mode maximal mixing from gravity, the construction of exact codes with nontrivial area operators and realistic correlators simultaneously, the treatment of approximate large-\(N\) and infinite-dimensional effects, and the extension of the HQEC logic beyond AdS/CFT while preserving a comparably sharp algebraic notion of reconstructability [1811.05171].

Source: https://www.emergentmind.com/topics/holographic-quantum-error-correction