---
title: Approximate Subsystem Erasure Codes
url: https://www.emergentmind.com/topics/approximate-subsystem-erasure-correcting-codes
type: topic
---

# Approximate Subsystem Erasure Codes

Searching arXiv for the cited papers to ground the article in current metadata.
Approximate subsystem erasure-correcting codes are quantum error-correcting codes in which logical information is stored only in a designated subsystem and is required to be recoverable with high fidelity even when another subsystem is noisy, disturbed, or effectively lost. In the formulation developed in "Towards a Unified Framework for Approximate Quantum Error Correction" [1202.5139], the code extends approximate subspace quantum error correction to subsystem codes, so that recovery need only restore the reduced state on the information-carrying subsystem rather than the full encoded state. This framework includes approximate erasure correction as a special case when the noise effectively destroys part of the system, and later work has used approximate subsystem erasure-correcting codes to formulate state-dependent geometric entropy in holography-like settings [2603.13475].

## 1. Subsystem structure and encoded information

The subsystem formalism begins with a Hilbert-space decomposition
\[
\mathcal H=\mathcal H_A\otimes \mathcal H_B\oplus \mathcal K,
\]
and defines the code as the set of product states supported on \(\mathcal H_A\otimes \mathcal H_B\):
\[
\mathcal C=\{P=P_A\otimes P_B,\;\forall\,P_A\in\mathcal S(\mathcal H_A),\;P_B\in\mathcal S(\mathcal H_B)\}.
\]
Within this structure, subsystem \(A\) is the information-carrying subsystem, whereas subsystem \(B\) is the noisy or gauge subsystem whose state may be arbitrary and need not be preserved. Two encoded states that differ only on \(B\),
\[
P_A\otimes T_B
\qquad\text{and}\qquad
P_A\otimes O_B,
\]
represent the same logical information. This is the defining operational distinction between subsystem and subspace coding [1202.5139].

A subspace code is the special case in which \(B\) is trivial. In that setting, the whole code space must be recovered. In a subsystem code, by contrast, only the reduced state on \(A\) must be recovered:
\[
\operatorname{tr}_B[(\mathcal R\circ\mathcal E)(\rho)]\approx \operatorname{tr}_B(\rho),\qquad \rho\in\mathcal C.
\]
This relaxation is precisely what makes subsystem coding natural for erasure-like scenarios. If one component of the encoding is allowed to absorb disturbance, then protection of the logical degrees of freedom can remain meaningful even when the full encoded state is not reproducible.

A common misconception is that subsystem codes merely restate subspace codes in different notation. The formalism above shows otherwise: the equivalence class structure on \(B\) changes both the recovery objective and the correctability conditions. Approximate subsystem erasure correction is therefore not simply approximate recovery on a subspace, but approximate recovery modulo a gauge subsystem.

## 2. Noise model and approximate erasure criterion

The noise process is a CPTP channel
\[
\mathcal E(\rho)=\sum_i E_i\rho E_i^\dagger
\]
acting on \(\mathcal H_A\otimes\mathcal H_B\). The framework is not restricted to literal erasure channels, but it is explicitly suited to erasure-like situations because the code is designed to preserve information in \(A\) even if \(B\) is severely disturbed or effectively lost [1202.5139].

Approximate correction is quantified by fidelity on the logical subsystem. For pure \(\rho=|\psi\rangle\langle\psi|\),
\[
F(\rho,\sigma)=\sqrt{\langle\psi|\sigma|\psi\rangle}.
\]
The fidelity loss for a state \(\rho\) is defined as
\[
\eta_{\mathcal R}\{\rho\}
=
1-F^2\!\left(
\operatorname{tr}_B(\rho),\,
\operatorname{tr}_B[(\mathcal R\circ \mathcal E)(\rho)]
\right),
\]
and for a code \(\mathcal C\),
\[
\eta_{\mathcal R}\{\mathcal C\}
=
\max_{\rho\in\mathcal C}\eta_{\mathcal R}\{\rho\}.
\]
The optimal recovery error is
\[
\eta_{\rm opt}\{\mathcal C\}
=
\min_{\mathcal R}\eta_{\mathcal R}\{\mathcal C\}.
\]

A code is perfectly correctable on \(A\) if \(\eta_{\rm opt}=0\). It is \(\epsilon\)-correctable on \(A\) if
\[
\epsilon\ge \eta_{\rm opt}.
\]
This is the approximate subsystem version of quantum error correction used in [1202.5139]. The formulation is operational: correctness is judged only by recoverability of the information-bearing subsystem. In the erasure interpretation, loss of the gauge subsystem is admissible so long as the induced disturbance on \(A\) remains small.

This suggests a useful conceptual distinction between exact erasure correction and approximate subsystem erasure correction. Exact correction requires a strict logical/algebraic decoupling, whereas the approximate notion permits residual coupling to the gauge sector provided its effect on the logical marginal is fidelity-controlled.

## 3. Exact and approximate correctability conditions

The central recovery map is the transpose channel, defined in representation-independent form by
\[
\mathcal R_P=\mathcal P_{\mathcal C}\circ \mathcal E^\dagger\circ \mathcal N,
\]
where \(\mathcal P_{\mathcal C}(X)=PXP\) projects onto the code support and
\[
\mathcal N(X)=\mathcal E(P)^{-1/2}X\,\mathcal E(P)^{-1/2}
\]
uses the inverse on the support of \(\mathcal E(P)\). Equivalently, its Kraus operators are
\[
R_i=P\,E_i^\dagger\,\mathcal E(P)^{-1/2}.
\]
This map plays a dual role: it yields a compact expression for exact correctability and furnishes a practical recovery for approximate codes [1202.5139].

The exact subsystem condition appears as Theorem 1:
\[
P\,E_i^\dagger\,\mathcal E(P)^{-1/2}\,E_j\,P
=
P_A\otimes B_{ij}
\]
for all \(i,j\), with \(B_{ij}\in\mathcal B(\mathcal H_B)\). This is the subsystem analogue of the Knill-Laflamme conditions, rewritten so that the transpose channel is explicit. The equation states that, within the code support, the noise-recovery overlaps must act trivially on the information subsystem and only nontrivially on the gauge subsystem.

Approximate correctability is obtained by perturbing this exact identity. Theorem 2 assumes
\[
P\,E_i^\dagger\,\mathcal E(P)^{-1/2}\,E_j\,P
=
P_A\otimes B_{ij}+A_{ij}
\]
for all \(i,j\), with \(A_{ij}\in\mathcal B(\mathcal H_{AB})\). Then \(\mathcal C\) is \(\epsilon\)-correctable on \(A\) under \(\mathcal E\) for \(\epsilon\ge \eta_P\), where
\[
\eta_P
=
\max_{|\psi_A\rangle,\,|\psi_B\rangle}
\sum_{ij}
\left(
\langle\psi_A\psi_B|A_{ij}^\dagger A_{ij}|\psi_A\psi_B\rangle
-
\big|
\langle\psi_A\psi_B|A_{ij}|\psi_A\psi_B\rangle
\big|^2
\right).
\]
The quantity \(\eta_P\) is a tight sufficient bound expressed directly in terms of the deviation \(A_{ij}\) from exact subsystem correctability.

For construction and verification, the paper also derives a simpler corollary:
\[
\sum_{ij}A_{ij}^\dagger A_{ij}\le \epsilon\,\mathbb I
\quad\Rightarrow\quad
\mathcal C\ \text{is}\ \epsilon\text{-correctable on }A.
\]
This operator-norm condition is easier to check and functions as a practical sufficient criterion for approximate subsystem codes.

A frequent misunderstanding is that approximate criteria merely weaken exact conditions without changing the structure of recovery theory. In this framework, the perturbative form of the subsystem Knill-Laflamme relation is itself the organizing principle: the error terms \(A_{ij}\) are not auxiliary quantities but the objects that determine the fidelity guarantee.

## 4. Near-optimality of the transpose channel

A major result of [1202.5139] is that the transpose channel is often nearly as effective as the optimal recovery channel. The paper proves this not in full generality, but in several restricted yet broad scenarios.

For subspace codes, corresponding to trivial \(B\), Theorem 4 gives
\[
\eta_{\rm opt}\{\mathcal C\}
\le
\eta_P\{\mathcal C\}
\le
\eta_{\rm opt}\{\mathcal C\}\,
f(\eta_{\rm opt}\{\mathcal C\};d_A),
\]
where for a subspace code of dimension \(d_A\),
\[
f(\eta;d)=(d+1)\eta+O(\eta^2)
\]
as stated in the paper. The significance is that small optimal error implies small transpose-channel error.

When the gauge subsystem is maximally mixed, the relevant subset of code states is
\[
\mathcal C_0
=
\left\{
P_A\otimes \frac{P_B}{d_B}
:\;
P_A\in\mathcal S(\mathcal H_A)
\right\},
\]
with induced channel on \(A\)
\[
\mathcal E_A(\rho_A)=\sum_i E_{is}\rho_A E_{is}^\dagger,
\qquad
E_{is}=\frac{1}{\sqrt{d_B}}E_i|s_B\rangle.
\]
In this case,
\[
\eta_P\{\mathcal C_0\}
\le
\eta_{\rm opt}\{\mathcal C_0\}\,
f(\eta_{\rm opt}\{\mathcal C_0\};d_A),
\]
and since \(\mathcal C_0\subset\mathcal C\),
\[
\eta_{\rm opt}\{\mathcal C_0\}\le \eta_{\rm opt}\{\mathcal C\},
\]
hence
\[
\eta_P\{\mathcal C_0\}
\le
\eta_{\rm opt}\{\mathcal C\}\,
f(\eta_{\rm opt}\{\mathcal C\};d_A).
\]
The paper also notes a state-dependent transpose channel when \(B\) is known to be in a fixed state \(\phi_B\), with Kraus operators
\[
\left\{
(P_A\otimes \phi_B)\,E_i\,\mathcal E(P_A\otimes \phi_B)^{-1/2}
\right\}.
\]

If subsystem \(B\) is itself perfectly correctable, Lemma 6 states that for any pure \(|\psi_A\rangle\), the transpose-channel fidelity
\[
F\!\left(
|\psi_A\rangle,\,
\operatorname{tr}_B[(\mathcal R_P\circ \mathcal E)(|\psi_A\rangle\langle\psi_A|\otimes P_B)]
\right)
\]
is independent of the initial \(B\)-state. This yields
\[
\eta_P\{\mathcal C\}
=
\eta_P\{|\psi_A\rangle\otimes P_B\}
=
\eta_P\{\mathcal C_0\}
\le
\eta_{\rm opt}\{\mathcal C\}\,
f(\eta_{\rm opt}\{\mathcal C\};d_A).
\]

The broadest erasure-like statement appears as Condition 1. If there exists \(\delta\ge 0\) such that for all \(\rho_A,\rho_B\),
\[
\left\|
\mathcal E(\rho_A\otimes\rho_B)
-
\mathcal E\!\left(\rho_A\otimes \frac{P_B}{d_B}\right)
\right\|_1
\le \delta,
\]
then
\[
\eta_P
\le
(d_A+1)\eta_{\rm opt}+3\delta+O(\delta^2,\eta_{\rm opt},\eta_{\rm opt}\delta).
\]
This condition formalizes the idea that the noise nearly destroys distinguishability on \(B\): once the channel largely erases gauge information, the transpose channel becomes near-optimal for logical recovery on \(A\) [1202.5139].

A plausible implication is that approximate subsystem erasure correction is especially natural when the physical noise itself suppresses access to the gauge degrees of freedom. In that regime, the code architecture and the channel structure are aligned.

## 5. Erasure interpretation and holographic generalization

In the 2012 framework, approximate erasure correction appears as a special case of approximate subsystem quantum error correction whenever the noise effectively destroys part of the system [1202.5139]. A later development, "State-dependent geometries from magic-enriched quantum codes" [2603.13475], argues that this approximate setting is not merely technically convenient but structurally necessary in holographic applications.

That work begins from exact subsystem complementary recovery, with logical and physical factorizations
\[
H_L=\mathcal L_a\otimes \mathcal L_{\bar a},
\qquad
H_P=H_A\otimes H_{\bar A}.
\]
In the exact case, recovery is described by fixed local unitaries \(R_A\) and \(R_{\bar A}\), and the geometric resource state \(\ket{\chi}\) is independent of the logical state. The paper argues that this implies state-independent geometric entropy and therefore cannot encode gravitational backreaction. Approximate subsystem recovery, by contrast, replaces strict factorization by a state-dependent mixture,
\[
R_A R_{\bar A} |\tilde{\psi}\rangle
=
\sum_i c_i|\psi_i\rangle_{A_1\bar A_1}|\chi_i\rangle_{A_2\bar A_2},
\]
so that geometry depends on encoded logical content.

The paper then proposes an RT-like decomposition for approximate subsystem erasure-correcting codes. For an encode-recover channel \(\mathcal N_R\), the optimal recovery is defined by maximizing coherent information,
\[
R^*:=\argmax_R I_c(\mathcal N_R),
\]
and the analog bulk matter entropy is the entropy of the optimally recoverable bulk state. The complementary geometric term is the proto-area entropy
\[
S_{\rm PA}(V,\sigma^{(L)},A)
=
S(\rho_A)-S(\sigma_{A_1}^{(R^*)}).
\]
In exact codes this reduces to the fixed area term of the usual RT/FLM picture, whereas in approximate codes the proto-area becomes state dependent.

For a broad class of skewed codes obtained as small nonlocal perturbations of exact codes,
\[
\ket{\tilde\psi}=e^{i\epsilon W}V^{(0)}\ket{\psi},
\]
the paper derives expansions showing that, after Haar averaging over local basis changes, the proto-area correction behaves monotonically with bulk entropy. It identifies the origin of this response as tripartite non-local magic in the Choi state of the encoding map, a resource that vanishes in stabilizer codes and controls the leading matter-geometry coupling in approximate subsystem erasure-correcting codes. The authors are careful not to claim an exact identification with quantum extremal surface area, but rather a strong qualitative analogy [2603.13475].

This later development reframes approximate subsystem erasure correction as a mechanism for controlled state dependence. Exact subsystem recovery corresponds to fixed-background behavior; approximate recovery permits matter-geometry coupling.

## 6. Related classical analogues and scope limitations

Two classical coding results in the supplied literature are relevant by analogy but are not direct instances of approximate subsystem erasure-correcting codes.

"Correcting an ordered deletion-erasure" [1806.07848] studies a binary channel with one deletion and at most one erasure, under the promise that the deletion occurs before the erasure. The code is a two-parameter Varshamov-Tenengolts code \(VT_{a_1,a_2}(n)\) satisfying
\[
\sum_{i=1}^{n}x_i\equiv a_1 \mod 3,
\qquad
\sum_{i=1}^{n} i\cdot x_i\equiv a_2 \mod(n+1),
\]
and for all \(n\ge 3\) there exists an \(n\)-length code \({\cal C}_{ord}\) with redundancy
\[
R({\cal C}_{ord})\le \log(n+1)+\log 3
\]
that corrects all ordered deletion-erasure patterns. The lower bound
\[
R({\cal D})\ge \log\left(n-1-2\sqrt{(n-1)\log n}\right)
\]
holds for all large \(n\). The result is relevant here because it provides a classical analogue of structured erasure recovery with very low overhead and known erasure location, but the paper itself is not written in quantum-language terms.

"Generalized Concatenated Types of Codes for Erasure Correction" [1406.6270] studies generalized concatenated, or integrated interleaved, codes as erasure-correcting array codes with local and global protection. A \(t\)-level GC code on an \(m\times n\) array over \(GF(2^b)\) with \(2^b>n\) has dimension
\[
k=mn-\sum_{i=0}^{t-1}u_i s_i,
\]
and Theorem 2.1 states that it can correct up to \(u_i\) erasures in any \(s_i\) rows for every \(i=0,\dots,t-1\). These codes are explicitly motivated by RAID-like architectures and combine local Reed-Solomon correction with global inter-row coupling. The paper emphasizes, however, that GC/II codes are weaker than PMDS and are not about quantum subsystem codes, gauge subsystems, stabilizers, or approximate recovery maps.

The scope limitation is therefore clear. Approximate subsystem erasure-correcting codes, in the sense established in [1202.5139], are quantum subsystem codes analyzed via fidelity, transpose-channel recovery, and perturbative subsystem Knill-Laflamme conditions. Classical deletion-erasure or layered erasure codes can illuminate structural themes such as locality, side information, and hierarchical recovery, but they do not supply the operator-algebraic notion of subsystem approximate correction.

Taken together, these works place approximate subsystem erasure-correcting codes at the intersection of approximate quantum recovery, subsystem encoding, and erasure-oriented noise models. Their distinctive contribution is to make high-fidelity logical recovery possible even when full-state recovery is impossible, and to do so in a framework where the transpose channel is both analytically tractable and, in several important regimes, nearly optimal.

Source: https://www.emergentmind.com/topics/approximate-subsystem-erasure-correcting-codes