---
title: Entanglement-Assisted Quantum Rate-Distortion
url: https://www.emergentmind.com/topics/entanglement-assisted-quantum-rate-distortion-function
type: topic
---

# Entanglement-Assisted Quantum Rate-Distortion

The entanglement-assisted quantum rate-distortion function is the optimal asymptotic qubit rate for lossy compression of a memoryless quantum information source when sender and receiver share unlimited prior entanglement. In the canonical setting, the source is a density operator \(\rho_A\) with purification \(|\psi^\rho_{RA}\rangle\), the distortion constraint is imposed on the joint reference–output state, and the optimum is given by a single-letter minimization of a quantum mutual information over channels obeying the distortion threshold. Subsequent work extended this structure to one-shot coding, mixed-state ensemble sources with encoder side information, and distributed redistribution-type scenarios, while preserving the central role of mutual-information quantities in the entanglement-assisted regime [1108.4940], [2208.11698], [2112.11952].

## 1. Canonical formulation

A standard memoryless source model takes
\[
\rho_A \in \mathcal D(\mathcal H_A),
\]
with purification
\[
|\psi_{RA}^{\rho}\rangle \in \mathcal H_R \otimes \mathcal H_A,
\qquad
\rho_A = \operatorname{Tr}_R \psi_{RA}^{\rho}.
\]
For \(n\) uses of the source, the state is \(\rho^{\otimes n}\). In the entanglement-assisted setting, Alice and Bob share unlimited prior entanglement, Alice encodes the source together with her entanglement share, sends qubits to Bob, and Bob decodes using the received qubits and his entanglement share. One formulation employs Barnum’s entanglement-fidelity distortion,
\[
d(\rho,\mathcal{N}) = 1 - F_e(\rho,\mathcal{N}),
\]
where
\[
F_{e}(\rho,\mathcal{N}) \equiv \langle \psi_{RA}^{\rho}| (\mathrm{id}_{R}\otimes\mathcal{N}^{A\rightarrow B})(\psi_{RA}^{\rho}) |\psi_{RA}^{\rho}\rangle.
\]
A more general formulation uses a positive semidefinite distortion observable \(\Delta_{RB}\ge 0\) and
\[
d(\rho,\mathcal{N}) = \operatorname{Tr}\!\left[\Delta_{RB}\,(\operatorname{id}_R\otimes \mathcal{N}_{A\to B})(\psi^\rho_{RA})\right].
\]
The entanglement-assisted rate-distortion function is the infimum achievable qubit rate in the asymptotic sense [1108.4940], [1212.5316].

The central single-letter theorem for noiseless quantum communication is
\[
R_{\text{eaq}^{q}(D)} = \frac{1}{2} \min_{\mathcal{N}:\, d(\rho,\mathcal{N})\le D} I(A;B)_{\omega},
\]
with
\[
\omega_{AB} \equiv (\mathrm{id}_{A}\otimes\mathcal{N}^{A'\rightarrow B})(\psi_{AA'}^{\rho}),
\]
or equivalently
\[
R_{ea}^q(D)=\frac{1}{2}\min_{\mathcal{N}:\, d(\rho,\mathcal{N})\le D} I(R;B)_\omega,
\qquad
\omega_{RB}=(\operatorname{id}_R\otimes \mathcal{N}_{A\to B})(\psi^\rho_{RA}).
\]
For the corresponding noiseless classical-communication entanglement-assisted setting, the rate is
\[
R_{\text{eac}^{q}(D)} = \min_{\mathcal{N}:\, d(\rho,\mathcal{N})\le D} I(A;B)_{\omega}.
\]
The quantum version is exactly one-half the classical-communication entanglement-assisted rate, matching the teleportation intuition. The paper presenting this formula emphasizes that it is the closest quantum analogue of Shannon’s classical rate-distortion theorem, with \(I(U;\hat U)\) replaced by the quantum mutual information \(I(A;B)_\omega\) [1108.4940].

## 2. Operational derivation, converse bounds, and comparison with unassisted coding

The operational content of the single-letter formula is that one chooses a CPTP map \(\mathcal N\) that satisfies the distortion threshold and then simulates that map with free entanglement. In the classical-communication version, the key resource inequality is
\[
I(A;B)_{\omega}[c\rightarrow c] + H(B)_{\omega}[qq] \ge \langle \mathcal{N}:\rho\rangle,
\]
while in the quantum-communication version it is
\[
\frac{1}{2}I(A;B)_{\omega}[q\rightarrow q] +\frac{1}{2}I(B;E)_{\omega}[qq] \ge \langle \mathcal{N}:\rho\rangle.
\]
This is why the entanglement-assisted case is single-letter: unlimited shared entanglement lets the reverse Shannon theorem be used “as is.” The direct part follows by channel simulation, and the converse uses entropy and data-processing inequalities together with superadditivity and convexity arguments to reduce blocklength expressions to the same single-letter minimum [1108.4940].

The entanglement-assisted expression also gives a sharp comparison with the unassisted theory. A basic bound is
\[
R^{q}(D) \ge R_{\text{eaq}^{q}(D)},
\]
so the assisted function lower-bounds the unassisted one. Two consequences are singled out. First, the unassisted quantum rate-distortion function is non-negative because the mutual information is nonnegative. Second, Barnum’s coherent-information conjecture fails in general, because
\[
\frac{1}{2}I(A;B) \ge I(A\rangle B),
\]
whereas Barnum’s candidate can become negative. The mutual-information obstruction is therefore the correct single-letter lower bound in the entanglement-assisted setting, not the coherent information [1108.4940].

The same framework yields entanglement-assisted source-channel separation statements. For source transmission up to distortion \(D\),
\[
R_{\text{eaq}^{q}(D)} \le \frac{1}{2}I(\mathcal{N})
\]
is necessary and sufficient, where
\[
I(\mathcal{N}) \equiv \max_{|\varphi_{AA'}\rangle} I(A;B)_\sigma,
\qquad
\sigma_{AB} = \mathcal{N}^{A'\to B}(\varphi_{AA'}).
\]
In the exact-transmission case \(D=0\), this reduces to
\[
H(A)_\rho \le \frac{1}{2}I(\mathcal{N}).
\]
A related trade-off formulation, with qubit communication rate \(Q\) and entanglement consumption \(E\), is
\[
Q \ge \frac{1}{2k} I(R^k;B^k E_B)_\omega,
\qquad
Q+E \ge \frac{1}{k} H(B^k E_B)_\omega,
\]
and unrestricted \(E\) collapses the region to the single-letter entanglement-assisted expression [1108.4940], [1212.5316].

## 3. One-shot, finite-blocklength, and distributed versions

One-shot entanglement-assisted quantum rate-distortion coding replaces asymptotic average-rate statements by a minimum qubit compression size \(\log M^*(\rho,\Delta_{RB},D,\varepsilon)\), defined relative to an excess-distortion criterion. For a distortion observable
\[
\Delta_{RB}=\sum_z d_z\,|\phi_z\rangle\!\langle \phi_z|_{RB},
\qquad
d_{\max}:=\|\Delta_{RB}\|_\infty < \infty,
\]
the excess-distortion projector is
\[
(\Pi_{>D})_{RB}:=\sum_{z:\,d_z>D} |\phi_z\rangle\!\langle \phi_z|_{RB},
\]
and a code is admissible when the probability of exceeding \(D\) is at most \(\varepsilon\). In this setting, the minimum qubit compression size is characterized, up to explicit logarithmic correction terms, by the smooth max-information
\[
I_{\max}^{\varepsilon}(R;B)_\omega := \min_{\tilde\omega_{RB}\in \mathcal B^\varepsilon(\omega_{RB})} I_{\max}(R;B)_{\tilde\omega},
\]
with
\[
I_{\max}(R;B)_\omega := \min_{\sigma_B\in\mathcal D(\mathcal H_B)} D_{\max}(\omega_{RB}\,\|\,\omega_R\otimes \sigma_B).
\]
The one-shot achievability uses one-shot quantum state splitting or channel simulation, and the asymptotic equipartition properties show that
\[
\lim_{\varepsilon\to 0}\lim_{n\to\infty}\frac1n \log M_n^*(D,\varepsilon) = R_{ea}^q(D),
\]
so the smooth max-information is the one-shot analogue of the mutual-information rate-distortion formula [1304.2336].

For the isotropic qubit source
\[
\rho = \pi = \frac{I}{2},
\]
the entanglement-assisted asymptotic rate-distortion function under entanglement-fidelity distortion is
\[
R_{ea}^q(D)= \begin{cases}
1-\frac12 H\!\left(\{1-D,\tfrac{D}{3},\tfrac{D}{3},\tfrac{D}{3}\}\right), & 0\le D\le \frac34,\\[4pt]
0, & \frac34\le D\le 1.
\end{cases}
\]
The same source is used for a tight finite-blocklength characterization, obtained through a converse adapted from Kostina–Verdú and a teleportation-based achievability argument [1212.5316], [1304.2336].

A broader distributed version is formulated as a rate-distortion form of quantum state redistribution. The source is a pure tripartite state \(\psi^{ABR}\), with Alice holding \(A\), Bob holding \(B\), and \(R\) the reference. Distortion is a general convex continuous functional on \(\widetilde A \widetilde B R\), extended additively across copies. The single-letter optimization is
\[
Q'(D):=\inf \frac12 I(Z:R|B)_\varphi
\]
over CPTP maps
\[
\mathcal N_A: A\to \widetilde A Z,
\qquad
\mathcal N_B: BZ\to \widetilde B
\]
that satisfy the distortion bound after decoding. The exact entanglement-assisted rate-distortion function is
\[
Q_{ea}(D)=\overline{Q}(D),
\]
where
\[
\overline{Q}(D):=\sup_{D'>D} Q'(D').
\]
This formula is exact for all \(D\), but one must take the right-continuous extension at the minimal feasible distortion \(D_0\). A peculiarity is that the auxiliary register \(Z\) is not a priori bounded in dimension, so the formula is single-letter but not automatically computable [2112.11952].

## 4. Mixed-state ensemble sources, encoder side information, and full resource trade-offs

A later generalization treats compression of an i.i.d. ensemble of mixed quantum states with encoder side information. The source is
\[
\{p_x,\rho_x^A\otimes |j_x\rangle^J\}_{x\in\Sigma},
\]
equivalently
\[
\rho^{AJX}=\sum_{x\in\Sigma} p_x\, \rho_x^A \otimes |j_x\rangle\!\langle j_x|^J \otimes |x\rangle\!\langle x|^X.
\]
Here \(X\) is a classical reference system identifying the source label, \(J\) is side information available to the encoder, and a purification is taken as
\[
|\psi\rangle^{AJXX'R} =\sum_{x\in\Sigma}\sqrt{p_x}\,|\psi_x\rangle^{AR}\,|j_x\rangle^J\,|x\rangle^X\,|x\rangle^{X'}.
\]
The distortion function is local:
\[
\Delta(\tau^{BX}),
\]
subject to continuity, convexity, and
\[
\Delta(\rho^{BX})=0.
\]
A canonical example is
\[
\Delta(\tau^{BX})=1-F(\rho^{BX},\tau^{BX}).
\]
The theory considers both worst-case and average local distortions,
\[
\Delta_{\max}^{(n)}(\xi_n^{B^nX^n})
=\max_i \Delta(\xi_n^{B_iX_i}),
\qquad
\Delta_{\mathrm{ave}}^{(n)}(\xi_n^{B^nX^n})
=\frac{1}{n}\sum_{i=1}^n \Delta(\xi_n^{B_iX_i}).
\]
For both criteria, the entanglement-assisted rate-distortion function is
\[
R_{\rm ea}(D) =
\min_{\mathcal{N}:AJ\to B,\ \Delta((\mathcal{N}\otimes \mathcal{I}^X)(\rho^{AJX}))\le D}
\frac12 I(B:XX'R)_\tau,
\]
where
\[
\tau^{BXX'R}=(\mathcal{N}\otimes \mathcal{I}^{XX'R})(|\psi\rangle\!\langle\psi|).
\]
Thus the assisted theory remains single-letter, whereas the unassisted average-local-error function is
\[
R(D)=\lim_{k\to\infty}\frac{1}{k}
\min_{\mathcal{N}_k^{A^kJ^k\to B^k}}
E_p(B^k:X^kX'^kR^k)_{\tau_k},
\]
so the unassisted setting is governed by a regularized entanglement of purification rather than a single-letter mutual information [2208.11698].

The same work gives the full qubit-entanglement rate region. Rate-distortion coding with distortion \(D\) is achievable iff for some \(k\),
\[
R \ge \frac{1}{k}\cdot \frac12 I(B^kE_B:R^kX^kX'^k)_{\Lambda_k(\tau_k)},
\]
and
\[
R+E \ge \frac{1}{k} S(B^kE_B)_{\Lambda_k(\tau_k)},
\]
for some channel \(\mathcal{N}_k^{A^kJ^k\to B^k}\) satisfying the distortion constraint and some channel \(\Lambda_k^{E\to E_B}\). The framework covers blind compression by taking \(J=1\), visible compression by taking \(|j_x\rangle=|x\rangle\), and intermediate side-information models. It also uses the Koashi-Imoto decomposition
\[
\omega^{CNQX} = \sum_x p_x\sum_c p_{c|x}\, |c\rangle\!\langle c|^C\otimes \omega_c^N\otimes \rho_{cx}^Q\otimes |x\rangle\!\langle x|^X
\]
to show that redundant parts do not affect the rate-distortion function in either the assisted or unassisted setting [2208.11698].

## 5. Zero-distortion limits and neighboring compression theories

Entanglement-assisted rate-distortion theory meets lossless quantum compression at zero distortion. In the distributed framework, choosing a pure source \(\psi^{AR}\) with no decoder side information and distortion
\[
\Delta(\xi)=1-F(\xi,\psi)^2
\]
or equivalently a distortion observable \(\Delta=-\psi^{\widehat A R}\), one obtains
\[
Q_{ea}(0)=\frac12 I(A:R)_\psi=S(A)_\psi,
\]
recovering the Schumacher rate. Under the same formalism, the zero-distortion limit of quantum state redistribution is
\[
Q_{ea}(0)=\frac12 I(A:R|B)_\psi,
\]
and state merging is the special case with trivial Alice-side information, yielding
\[
Q_{ea}(0)=\frac12 I(A:R)_\psi.
\]
This places Schumacher compression, state merging, and quantum state redistribution inside a common entanglement-assisted rate-distortion envelope [2112.11952].

Pure-state ensemble compression with encoder side information provides a closely related zero-distortion boundary case. The source ensemble is
\[
\mathcal{E}=\{p(x),\,|\psi_x\rangle^A\otimes|\sigma_x\rangle^C\}_{x\in\mathcal X},
\]
equivalently
\[
\omega^{XAC}=\sum_x p(x)\,|x\rangle\!\langle x|^X\otimes |\psi_x\rangle\!\langle \psi_x|^A\otimes |\sigma_x\rangle\!\langle \sigma_x|^C.
\]
Although this theory is not framed as a distortion-based rate-distortion theorem, it is very much in the spirit of quantum rate tradeoff problems. With unlimited entanglement, the optimal quantum communication rate is
\[
Q^*=\frac12\bigl(S(A)+S(A|CY)\bigr),
\]
the entanglement consumption is
\[
E^*=\frac12\bigl(S(A)-S(A|CY)\bigr) =\frac12 I(A:CY),
\]
and the full asymptotic resource tradeoff is
\[
Q \ge \frac12\bigl(S(A)+S(A|CY)\bigr),
\qquad
Q+E \ge S(A).
\]
Relative to Schumacher compression,
\[
S(A)-Q^*=\frac12 I(A:CY),
\]
so the improvement is exactly half the mutual information between the source system and the accessible side information. The converse formalizes this through the quantity
\[
I_\epsilon(\omega):= \max_{V:AC\to \hat A\hat C W}
\Bigl\{
I(X:\hat C W)_\xi:\,
F(\omega^{XAC},\xi^{X\hat A\hat C})\ge 1-\epsilon
\Bigr\},
\]
which measures how much classical information can be extracted by an isometry while keeping the overall state close to the original. In the visible case \(C=X\),
\[
Q=\frac12 S(A), \qquad E=\frac12 S(A),
\]
matching remote state preparation, while for an irreducible blind source entanglement does not help and \(Q=S(A)\) remains optimal [1901.06346].

A common misconception is that entanglement assistance necessarily lowers every zero-distortion compression rate. The blind irreducible-source result just cited shows otherwise. Another is that lossless compression and rate distortion are disjoint subjects. The zero-distortion limits above indicate that, in the entanglement-assisted regime, they are contiguous parts of a single resource-theoretic landscape [1901.06346], [2112.11952].

## 6. Structure of optimizers and numerical computation

The entanglement-assisted quantum rate-distortion problem admits a convex reformulation over joint output states. For input \(\rho_A\), purification \(\rho_{AR}\), and distortion operator \(\Delta\in\mathbb{H}_+^{mn}\),
\[
R_q(D; \rho_A, \Delta)
=
\minimize_{\sigma_{BR}\in\mathcal{D}_{mn}}
\left\{
I_q(\sigma_{BR}; \rho_A) :
\tr_B(\sigma_{BR})=\rho_A,\;
\langle \Delta,\sigma_{BR}\rangle \le D
\right\},
\]
where
\[
I_q(\sigma_{BR}; \rho_A)
\coloneqq
S\!\left(\sigma_{BR}\,\middle\|\,\tr_R(\sigma_{BR})\otimes \rho_A\right).
\]
For entanglement-fidelity distortion,
\[
\Delta = \mathbb{I} - \rho_{AR},
\]
the problem is invariant under a symmetry group fixing \(\rho_A\). If \(\rho_A\) is diagonal, an optimizer exists in a fixed-point subspace of real dimension
\[
2n^2 - n.
\]
If \(\rho_A = \mathbb{I}/n\), the fixed-point subspace collapses to
\[
\mathcal{V}_\pi = \{a\mathbb{I} + b\rho_{AR} : a,b\in\mathbb{R}\},
\]
and the rate-distortion function becomes
\[
R_q(D; \rho_A, \Delta) =
\begin{cases}
\log(n^2) - H\!\left( \left[ 1-D,\; \underbrace{\frac{D}{n^2-1},\ldots,\frac{D}{n^2-1}}_{n^2-1\text{ copies}} \right] \right), & 0\le D \le 1-\frac{1}{n^2},\\[1em]
0, & 1-\frac{1}{n^2}\le D\le 1.
\end{cases}
\]
An achieving channel is the depolarizing channel
\[
\mathcal{N}(\rho) = \frac{D}{n^2-1}\mathbb{I} + \left(1-\frac{n^2 D}{n^2-1}\right)\rho.
\]
The same work develops an inexact mirror descent method, relates it to Blahut-Arimoto and expectation-maximization, and reports experiments up to 9 qubits, with symmetry reduction reducing a \(9\)-qubit problem from an effectively \(70\) billion-dimensional optimization variable to dimension \(523{,}776\) [2309.15919].

A later algorithmic development writes the entanglement-assisted function as
\[
R(D) \triangleq
\min_{\substack{\rho_{RB}\in \mathbb H_+^{mn},\ \sigma_B\in \mathcal D^m}}
S(\rho_{RB}\| \rho_R\otimes \sigma_B)
\]
subject to
\[
\operatorname{Tr}(\Delta \rho_{RB}) \le D,
\qquad
\operatorname{Tr}_2(\rho_{RB})=\rho_R.
\]
The paper emphasizes that the problem is convex, but it has a difficult combination of positive semidefiniteness constraints, linear marginal constraints, and a nonlinear distortion constraint. Its alternating minimization method updates the distortion multiplier \(\beta\) at each iteration so that the distortion constraint is enforced, rather than treating \(\beta\) as a fixed penalty parameter. The resulting updates are closed form for \(\rho_{RB}\), \(\sigma_B\), and \(\Lambda_R\), and require only a one-dimensional root-finding step for \(\beta\). For entanglement fidelity distortion, symmetry reduction can reduce per-iteration cost from
\[
O(n^6)\quad \text{to}\quad O(n^3).
\]
The reported optimality residual reaches about \(10^{-14}\), and representative speedups over mirror descent include \(91\times\) and \(19.7\times\) for \(n=20\) uniform input, \(265\times\) and \(50.4\times\) for \(n=60\) uniform input, and up to about \(607\times\) speedup for \(n=180\) random input [2507.19920].

The computational literature clarifies an important conceptual distinction. The entanglement-assisted theory is often described as “single-letter,” but single-letter does not always mean readily computable. In the basic memoryless source model the objective is a convex mutual-information minimization, and recent symmetry-reduction and first-order or alternating-minimization methods make moderate dimensions accessible. In the distributed redistribution setting, by contrast, the exact single-letter formula may still require optimization over an unbounded auxiliary register \(Z\), so the obstruction is not regularization but auxiliary-system cardinality [2309.15919], [2507.19920], [2112.11952].

Source: https://www.emergentmind.com/topics/entanglement-assisted-quantum-rate-distortion-function