Entanglement Purification Gap

• Entanglement of purification gap is the discrepancy between the optimized entanglement measure and related geometric or surrogate quantities such as the entanglement wedge cross section.
• It involves minimizing entanglement entropy over purifications and using techniques from tensor networks, replica methods, and conformal field theory to bridge theory with holographic models.
• The gap has practical implications for quantum communication and multipartite entanglement, influencing numerical simulations and the operational interpretation of quantum correlations.

The entanglement of purification gap concerns the difference between the purification-based correlation measure $E_P(A:B)$ and other quantities that are easier to compute, more geometric, or more directly tied to lower bounds. For a bipartite mixed state $\rho_{AB}$, the entanglement of purification is defined by minimizing the entanglement entropy over all purifications, $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$. In the literature, the phrase “entanglement of purification gap” is not completely standardized: it can mean the practical mismatch between the optimization defining $E_P$ and the holographic entanglement wedge cross section $E_W$, the separation between $E_P$ and $\frac12 S_R$ or $\frac12 S_R^{(q)}$, or the explicit residual $g(A:B)=2E_p(A:B)-I(A:B)$ above the lower bound $\frac12 I(A:B)$ (Takayanagi et al., 2017, Couch et al., 2023, Jin et al., 6 Oct 2025, Jiang et al., 2024).

1. Definitions and competing meanings of the gap

The common starting point is the standard purification problem. For a mixed state $\rho_{AB}$0, one introduces ancillas and minimizes the entropy across a bipartition of the purified state: $\rho_{AB}$1 This optimization is natural but difficult, because it ranges over all purifications and all ancilla splittings. The basic lower and upper bounds repeatedly used in the literature are

$\rho_{AB}$2

with $\rho_{AB}$3 (Takayanagi et al., 2017).

Several distinct “gap” notions appear around this definition.

Usage	Expression	Role
Geometric/computational gap	$\rho_{AB}$4 versus $\rho_{AB}$5	Mismatch between the abstract optimization and a directly computable holographic quantity
Reflected-entropy gap	$\rho_{AB}$6, or $\rho_{AB}$7	Tests whether reflected entropy provides a universal lower bound
Mutual-information gap	$\rho_{AB}$8	Measures how far $\rho_{AB}$9 lies above its lower bound $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$0

The reflected entropy $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$1 is defined from a canonical purification in a doubled Hilbert space, while the Rényi-reflected entropy $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$2 replaces the von Neumann entropy by a Rényi entropy. The entanglement wedge cross section is the holographic quantity

$$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$3

where $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$4 is the minimal surface splitting the entanglement wedge of $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$5 into parts containing $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$6 and $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$7 (Akers et al., 2023).

The absence of a single universally adopted definition is itself a feature of the subject. Some papers explicitly define a gap observable, such as $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$8, while others use “gap” more descriptively for the discrepancy between $$E_P(A:B)=\min_{\rho_{AB}=\mathrm{Tr}_{A'B'}(\ket{\psi}\bra{\psi})} S(AA')_{\ket{\psi}}$$9 and a surrogate quantity or for the practical distance between an optimization problem and its geometric realization (Jin et al., 6 Oct 2025, Jiang et al., 2024).

2. Holographic formulation: from purification cost to bulk cross sections

The foundational holographic proposal identifies the entanglement wedge cross section with entanglement of purification. For two disjoint boundary subsystems $E_P$0 and $E_P$1, the entanglement wedge cross section is defined as the minimal bulk surface inside the entanglement wedge that separates the $E_P$2-side from the $E_P$3-side: $E_P$4 The proposed dictionary is

$E_P$5

supported by matched inequalities, including

$E_P$6

together with extensiveness and strong superadditivity (Takayanagi et al., 2017).

This proposal reframes the gap as a possible discrepancy between a geometric bulk bottleneck and an information-theoretic minimization over purifications. In the holographic picture, the claim is that the gap is absent at leading order in large $E_P$7: the bulk geometry already implements the optimal purification cost. The original tensor-network argument takes the boundary of the entanglement wedge as an effective purified state, with the choice of cut through that boundary supplying the purification ancillas (Takayanagi et al., 2017).

A later generalization introduced overlapping-region versions $E_P$8 and $E_P$9, and proved parallel inequalities for both. In particular,

$E_W$0

along with bounds on tripartite information. The same work also proposed that nonminimal entanglement wedge cuts correspond to suboptimal purifications, so that the difference between a minimal and nonminimal cut may be interpreted as the cost of using a suboptimal purification rather than the optimal one (Bao et al., 2017).

The bit-thread formulation sharpened this interpretation. With a divergenceless, norm-bounded flow $E_W$1 constrained to the entanglement wedge,

$E_W$2

so $E_W$3 becomes the maximal flux from $E_W$4 to $E_W$5. In a pure tripartite state $E_W$6, the total entropy of $E_W$7 decomposes as

$E_W$8

where the residual term is the quantum advantage of dense coding. In this formulation, one form of the “gap” is the part of $E_W$9 that cannot be routed specifically to $E_P$0 inside the entanglement wedge (Du et al., 2019).

3. Reflected entropy, lower bounds, and explicit counterexamples

A major strand of the literature studies whether reflected entropy universally lower-bounds entanglement of purification. For integer $E_P$1, one has

$E_P$2

and, in particular,

$E_P$3

This lower bound is proved using twist operators and a Cauchy–Schwarz inequality in the replica formalism (Akers et al., 2023).

In random tensor networks at large bond dimension, this lower bound can close the gap completely. The key mechanism is that in a large class of networks,

$E_P$4

while a standard geometric purification argument gives $E_P$5. Combining the two inequalities yields

$E_P$6

up to corrections vanishing as $E_P$7. In these models the gap between the purification optimization and the geometric cross section vanishes at leading order, providing controlled evidence for the holographic conjecture (Akers et al., 2023).

The corresponding $E_P$8 statement fails in general. The conjectured inequality

$E_P$9

was tested numerically and refuted by explicit counterexamples. The relevant witness is

$\frac12 S_R$0

At $\frac12 S_R$1, the conjecture would require $\frac12 S_R$2, but states with $\frac12 S_R$3 were found by numerical optimization using PyTorch, the tensornetwork package, and the ADAM optimizer (Couch et al., 2023).

Two explicit examples were reported. For on-site dimensions $\frac12 S_R$4,

$\frac12 S_R$5

For on-site dimensions $\frac12 S_R$6,

$\frac12 S_R$7

Because $\frac12 S_R$8 upper-bounds $\frac12 S_R$9, these immediately imply $\frac12 S_R^{(q)}$0 for the reduced states on $\frac12 S_R^{(q)}$1 (Couch et al., 2023).

The significance of these results is sharply bifurcated. For generic quantum states, $\frac12 S_R^{(q)}$2 is not a universal lower bound on $\frac12 S_R^{(q)}$3. For restricted classes—especially CFT states with semiclassical gravity duals, holographic states, and MERA-like tensor network states—the bound may still hold. The violating examples had positive maximal tripartite mutual information, which is inconsistent with the holographic entropy cone, and no violations were found in the tested 8- and 16-qubit MERA states (Couch et al., 2023).

4. CFT constructions: approximate and alternative purifications

Conformal field theory provides two distinct responses to the purification gap problem. One approach retains the standard purification framework but restricts purifications to states generated from the complement of $\frac12 S_R^{(q)}$4. Using the Reeh–Schlieder theorem, purification states of $\frac12 S_R^{(q)}$5 in vacuum CFT can be approximated by acting with operators localized in $\frac12 S_R^{(q)}$6, and the purification constraint together with locality and the separating property implies that the relevant operators are unitary. Combined with surface/state correspondence, this leads to a proof of the holographic formula

$\frac12 S_R^{(q)}$7

in the holographic setting (Guo, 2019).

The same work examined conformal-basis projective measurements on $\frac12 S_R^{(q)}$8. Although the projective measurement is not unitary, the post-measurement entropy asymptotically reproduces the holographic entanglement of purification up to a universal constant offset. In the large-$\frac12 S_R^{(q)}$9 symmetric limit,

$g(A:B)=2E_p(A:B)-I(A:B)$0

so

$g(A:B)=2E_p(A:B)-I(A:B)$1

up to boundary contributions. The same constant appears in the asymmetric limit, again modulo boundary terms. This identifies a small but systematic gap between holographic EoP and a measurement-generated approximation to the optimal purification (Guo, 2019).

A different CFT construction avoids ancilla addition altogether. Instead of purifying by adjoining $g(A:B)=2E_p(A:B)-I(A:B)$2, one subtracts the “undetectable regions” from the Euclidean path-integral manifold. For two disjoint subsystems

$g(A:B)=2E_p(A:B)-I(A:B)$3

removing two discs produces a doubly connected region with conformally invariant boundary conditions. Mapping this region to an annulus of width

$g(A:B)=2E_p(A:B)-I(A:B)$4

the replica calculation gives

$g(A:B)=2E_p(A:B)-I(A:B)$5

For the two-interval geometry this becomes

$g(A:B)=2E_p(A:B)-I(A:B)$6

with cross ratio

$g(A:B)=2E_p(A:B)-I(A:B)$7

The key statement is

$g(A:B)=2E_p(A:B)-I(A:B)$8

and similarly for the complementary asymmetric construction $g(A:B)=2E_p(A:B)-I(A:B)$9 (Jiang et al., 2024).

This subtraction-based picture does not redefine entanglement of purification itself. Rather, it narrows the conceptual and computational gap between the optimization defining $\frac12 I(A:B)$0 and the geometric quantity $\frac12 I(A:B)$1 by giving a canonical CFT entropy equal to the entanglement wedge cross section. The construction also exhibits a phase transition. The two entropies satisfy

$\frac12 I(A:B)$2

with critical value

$\frac12 I(A:B)$3

matching the known EWCS phase-transition point (Jiang et al., 2024).

5. Numerical and many-body manifestations of purification gaps

Outside holography, the gap often appears as the difference between a canonical or constrained purification and the true minimum. An MPS-based disentangling method was introduced to iteratively minimize the second Rényi entropy of a purified one-dimensional state. The optimization acts only on ancilla degrees of freedom and is designed to approach

$\frac12 I(A:B)$4

Applied to thermofield double purifications, the method shows that the standard TFD purification is not minimally entangled: in the large-$\frac12 I(A:B)$5 limit, the optimized entanglement becomes approximately half of that in the standard TFD purification (Hauschild et al., 2017).

This is a concrete computational version of the purification gap. The difference is not between $\frac12 I(A:B)$6 and a different correlation measure, but between the entanglement carried by a natural purification and the minimal value over all purifications. The same work also applied the method to real-time dynamics after a local operator quench and found that optimized local disentanglers strongly reduce entanglement growth relative to no disentangling, and typically more than backward time evolution on the ancilla (Hauschild et al., 2017).

In many-body lattice models, the optimized purification itself can behave nontrivially. Numerical studies of a free scalar field on a lattice and the transverse-field Ising chain found that $\frac12 I(A:B)$7 can be non-monotonic in the separation $\frac12 I(A:B)$8 between $\frac12 I(A:B)$9 and $\rho_{AB}$00 when the total system size is small, while for larger systems it becomes monotonic and shows a plateau-like behavior. In the scalar theory, at $\rho_{AB}$01, $\rho_{AB}$02, and $\rho_{AB}$03, the EoP shows a plateau from $\rho_{AB}$04 to $\rho_{AB}$05. In the critical Ising chain, for small $\rho_{AB}$06, $\rho_{AB}$07 can even increase with distance (Bhattacharyya et al., 2019).

The same study also found that the optimal purification can spontaneously break the $\rho_{AB}$08 reflection symmetry of the mixed state. In the scalar case, the asymmetry parameter

$\rho_{AB}$09

is essentially zero for $\rho_{AB}$10 but becomes nonzero at $\rho_{AB}$11, with the effect growing with subsystem size $\rho_{AB}$12. In the Ising model, the same $\rho_{AB}$13 symmetry breaking occurs only in the ferromagnetic phase $\rho_{AB}$14 (Bhattacharyya et al., 2019).

That paper does not define a universal “entanglement of purification gap” as a dedicated observable, but it does exhibit quantified separations that function as gap-like quantities. In Werner states it explicitly notes a regime with

$\rho_{AB}$15

and in the scalar conformal scaling regime it finds that $\rho_{AB}$16 and mutual information have similar scaling but differ by an approximately constant offset $\rho_{AB}$17 over the studied range. The authors interpret these differences in terms of the interplay between short-range quantum entanglement and longer-range classical correlations (Bhattacharyya et al., 2019).

6. Explicit gap observables and multipartite generalization

A more formal notion of entanglement-of-purification gap appears when the lower bound by half the mutual information is taken as the reference. In this setting,

$\rho_{AB}$18

which is nonnegative and vanishes exactly when $\rho_{AB}$19 saturates its lower bound. For a tripartite pure state $\rho_{AB}$20, where $\rho_{AB}$21 purifies $\rho_{AB}$22, the recalled result is

$\rho_{AB}$23

The same quantity also admits the conditional-mutual-information expressions

$\rho_{AB}$24

which give it a recovery-theoretic interpretation (Jin et al., 6 Oct 2025).

This bipartite gap ceases to be sufficient beyond three parties. Using 4-partite random stabilizer states with size ratios

$\rho_{AB}$25

it was shown that vanishing pairwise gaps $\rho_{AB}$26 for all pairs does not force 2-producibility. In the quoted example, the pairwise EoP gaps and pairwise negativities become asymptotically negligible, yet subsystem $\rho_{AB}$27 is still entangled with $\rho_{AB}$28 with probability tending to 1 (Jin et al., 6 Oct 2025).

To address this, a generalized multipartite entanglement of purification was introduced: $\rho_{AB}$29 where the minimization is over all purifications and partitions of the purifier into $\rho_{AB}$30. The corresponding generalized gap is

$\rho_{AB}$31

or equivalently

$\rho_{AB}$32

Its operational meaning is the optimal total quantum communication cost of sequentially redistributing purifier fragments to the parties (Jin et al., 6 Oct 2025).

The central structural theorem is that a multipartite pure state is 2-producible if and only if the generalized EoP gaps vanish on all relevant subsystem sets. The same work further proved lower bounds linking the generalized gap to local recovery and distance from the set of 2-producible states: $\rho_{AB}$33 and

$\rho_{AB}$34

For states with a generalized Schmidt decomposition,

$\rho_{AB}$35

the formulas simplify to

$\rho_{AB}$36

In this line of work, the entanglement of purification gap is no longer merely a mismatch between proxy quantities; it becomes an explicit criterion for irreducible multipartite entanglement (Jin et al., 6 Oct 2025).