---
title: Superactivation of Quantum Capacity
url: https://www.emergentmind.com/topics/superactivation-of-quantum-capacity
type: topic
---

# Superactivation of Quantum Capacity

Superactivation of quantum capacity is the phenomenon in which two quantum channels with individual quantum capacities \(Q(\Phi)=Q(\Psi)=0\) nevertheless satisfy \(Q(\Phi\otimes\Psi)>0\). In the broader activation effect, only one factor has zero capacity and the joint channel increases the capacity of the other, \(Q(\Phi\otimes\Psi)>Q(\Phi)\) when \(Q(\Psi)=0\) [1901.03147]. Because quantum capacity is defined by the regularized coherent information,
\[
Q(\mathcal N)=\lim_{n\to\infty}\frac{1}{n}\sup_{\rho_n} I_c(\mathcal N^{\otimes n},\rho_n),
\]
with one-shot coherent information \(I_c(\mathcal N,\rho)=S[\mathcal N(\rho)]-S[\mathcal N^c(\rho)]\), superactivation is an extreme manifestation of nonadditivity. It has been studied in discrete-variable, Gaussian bosonic, zero-error, finite-blocklength, and experimentally motivated settings, and several works explicitly describe it as having no classical analogue [1901.03147, 2604.27042].

## 1. Capacity formalism and the meaning of superactivation

The standard capacity formula used throughout the literature is the Lloyd–Shor–Devetak expression
\[
Q(\mathcal N)=\lim_{n\to\infty}\frac1n I_c(\mathcal N^{\otimes n}),
\qquad
I_c(\rho,\mathcal N)=S[\mathcal N(\rho)]-S[(id_R\otimes\mathcal N)(|\Psi\rangle\langle\Psi|)],
\]
or equivalently the regularized maximum of coherent information over blocklengths [2606.10744, 1206.5691]. In practical analyses, one often uses the single-letter quantity \(\max_\rho I_c(\rho,\mathcal N)\) as a lower bound, while upper bounds come from data-processing, teleportation-simulation, or semidefinite-programming arguments [1901.03147, 1601.06888].

Within this framework, activation and superactivation are distinct. Activation occurs when a zero-capacity channel \(\Psi\) increases the capacity of another channel \(\Phi\), so that \(Q(\Phi\otimes\Psi)>Q(\Phi)\). Superactivation is the more restrictive case
\[
Q(\Phi)=Q(\Psi)=0,\qquad Q(\Phi\otimes\Psi)>0,
\]
so that two individually useless channels jointly transmit quantum information [1901.03147]. Several works emphasize that this behavior is a strong form of nonadditivity: the joint channel can have positive coherent information even when each factor has vanishing capacity and vanishing one-shot coherent information [1004.0052, 1107.4385].

Two standard zero-capacity mechanisms recur throughout the subject. A channel can be **PPT** or entanglement-binding, meaning its Choi state is positive under partial transpose and it cannot carry distillable entanglement; or it can be **antidegradable**, meaning its complementary output can simulate the receiver’s output, which also forces \(Q=0\) [1102.4580, 1107.4385]. The first explicit superactivation constructions paired channels from these two classes.

## 2. The original discrete-variable mechanism

The first explicit example described in the supplied literature uses a PPT “private-dit” channel \(\mathcal N_{\gamma^{(d)}}\) and the \(50\%\) erasure channel \(\mathcal N_e^{p=1/2}\), each of zero quantum capacity, yet with positive joint capacity [1107.4385]. The private channel produces a twisted private state
\[
\gamma^{(d)}=U_{ABA'B'}\,[P^+_{AB}\otimes \sigma_{A'B'}]\,U^\dagger,
\]
where \(P^+_{AB}\) is maximally entangled and \(A'B'\) is a shield system. The erasure channel is antidegradable for \(p\ge 1/2\), so \(Q(\mathcal N_e^p)=0\) in precisely the regime used for superactivation [1107.4385, 1005.1975].

The operational mechanism is that the private channel emits a state whose entanglement is hidden by the shield, while the erasure channel sometimes transmits the missing shield subsystem to the receiver. When the shield arrives, the receiver can apply the inverse twisting unitary and recover a maximally entangled state; when erasure occurs, the receiver knows it from the erasure flag [1004.0052, 1005.1975]. For the erasure family this yields the lower bound
\[
Q(\mathcal N_{\gamma^{(d)}}\otimes \mathcal N_e^p)\ge (1-p)\log d,
\]
for every \(p\in[1/2,1)\), so the joint capacity is strictly positive throughout the antidegradable regime of the erasure channel [1107.4385].

The same line of work also shows that the \(50\%\) erasure channel is not unique. Superactivation can be obtained with a wide class of inequivalent erasure channels, and the paper explicitly states that none of these channels can simulate each other. It further gives examples with anti-degradable depolarizing channels, again using the private-state/shield mechanism [1107.4385].

A complementary interpretation was developed through symmetric-side and erasure assistance. In that formulation, all known single-copy superactivation protocols with the erasure channel can be understood as converting mutual independence or weak mutual independence into distillable entanglement. The erasure channel acts as the assisting zero-capacity resource that completes the conversion from private correlation to EPR pairs [1005.1975]. A later private-state perspective investigates channels whose Choi–Jamiolkowski operators are private states, and states that information encoded in the shield system that would otherwise leak to the environment can be recycled when paired with an assisting channel; that work also gives an alternative proof of superactivation for approximate private channels and extends its validity to a broader parameter regime [2510.04527].

## 3. Gaussian and bosonic superactivation

Superactivation was subsequently extended to Gaussian bosonic channels. A Gaussian channel acts on covariance matrices as
\[
\gamma \mapsto X\gamma X^T+Y,
\]
with complete positivity requiring \(Y+i(J-XJX^T)\ge 0\) [1102.4580, 1209.5574]. For single-mode phase-insensitive Gaussian channels, \(X\) and \(Y\) are proportional to the identity, and the main physical families are thermal attenuators \(\Phi_{t,N}\), thermal amplifiers \(\Lambda_{G,N}\), and additive-noise channels [1901.03147].

The first Gaussian bosonic construction paired a two-mode PPT Gaussian channel with a single-mode \(50\%\) attenuator. The attenuator is antidegradable for loss at least \(50\%\), hence has zero quantum capacity, while the PPT Gaussian channel is entanglement-binding and also has zero capacity. Using an entangled three-mode Gaussian input and evaluating coherent information from the Williamson symplectic spectrum, the combined channel \(\Phi_1\otimes\Phi_2\) was shown to have strictly positive coherent information, establishing superactivation in an optical continuous-variable setting [1102.4580].

Lim, Takagi, Adesso, and Lee broadened this analysis to all single-mode phase-insensitive Gaussian channels assisted by a two-mode PPT channel [1901.03147]. For the combined channel
\[
\Phi_{\mathrm{tot}}=\Phi_{\mathrm{PPT}}\otimes \Phi_{t,N},
\]
they optimize coherent information over a three-mode Gaussian input and compare it with the best known upper bound \(Q_U(\Phi_{t,N})\) for the thermal attenuator. Superactivation is witnessed whenever
\[
I_c(\Phi_{\mathrm{tot}},\rho^*)-Q_U(\Phi_{t,N})>0
\]
[1901.03147].

The main conclusion is that superactivation is not confined to the beam-splitter point \(t=1/2, N=0\). The positive activation gap extends over a broad region of the \((t,N)\) plane, including thermal attenuators with quite low transmissivity. The numerical thresholds extracted in that study state that for \(N\) in the range \([0,\sim 0.5]\), superactivation already appears at transmissivity as small as \(\approx 0.18\), and over a wide strip the minimal transmissivity stays below \(t\approx 0.2\) [1901.03147]. The same work also reports that for \(t>0.5\), adding thermal noise can induce activation where the quantum-limited channel alone fails to activate.

This Gaussian literature also clarifies the resource requirements. Lercher, Giedke, and Wolf prove that for gauge-covariant Gaussian channels, PPT implies entanglement-breaking; hence such channels cannot transmit quantum information and cannot participate in standard superactivation. They also construct a counterexample outside the gauge-covariant class, using passive interactions with a squeezed environment, and explicitly conclude that standard super-activation for Gaussian channels requires squeezing [1209.5574]. A plausible implication is that squeezing is not merely a convenient implementation detail but a structural separator between PPT channels that are already entanglement-breaking and PPT channels that can still contribute to superactivation.

## 4. Structural constraints, no-go theorems, and capacity bounds

A recurrent misconception is that any zero-capacity channel might become useful under tensoring. The supplied papers draw a much sharper boundary. In finite dimensions, if \(\Phi\) is entanglement-breaking and \(\Psi\) is arbitrary, then \(I_c(\Phi\otimes\Psi)=I_c(\Psi)\), so \(Q(\Phi\otimes\Psi)=Q(\Psi)\); therefore entanglement-breaking channels cannot be superactivated. Lim et al. extend this statement to infinite-dimensional bosonic entanglement-breaking channels under finite-energy constraints, proving
\[
I_{c,h,h'}(\Phi_{\mathrm{EB}}\otimes\Psi)=I_{c,h'}(\Psi)
\]
for all finite energy bounds \(h,h'\) [1901.03147]. In the Gaussian setting, this gives a no-go theorem for physically relevant bounded-energy inputs.

The same boundary appears in a different form in the Gaussian PPT literature. For gauge-covariant channels, the implication
\[
\text{PPT} \Rightarrow \text{entanglement-breaking}
\]
means that no superactivation is possible inside that class, because the would-be PPT ingredient is already EB [1209.5574]. This isolates a structural obstruction: PPT is not by itself sufficient for superactivation; what matters is a PPT zero-capacity channel that is not entanglement-breaking.

Several works formulate superactivation in terms of quantum relative entropy. Gyongyosi and Imre write the one-shot joint capacity as a relative-entropy optimization over Bob and environment outputs, and state that superactivation occurs exactly when the joint relative entropy does not factorize into single-channel contributions. In their formulation,
\[
Q^{(1)}(N_1\otimes N_2)>0
\]
is equivalent to non-factorizability of the relevant relative-entropy expression and to entanglement of the joint optimal and average states [1206.5691]. This suggests a structural criterion: product-state optimization geometry is incompatible with superactivation.

Upper-bounding the superactivated capacity is itself nontrivial. Wang and Duan introduce the additive semidefinite-programming upper bound \(Q_\Gamma(\mathcal N)=\log \Gamma(\mathcal N)\), show
\[
Q_\Gamma(\mathcal N_1\otimes \mathcal N_2)=Q_\Gamma(\mathcal N_1)+Q_\Gamma(\mathcal N_2),
\]
and explicitly state that \(Q_\Gamma\) can be used to bound the super-activation of quantum capacity [1601.06888]. Because \(Q_\Gamma\) is single-letter and additive, it gives explicit nontrivial upper limits even when the actual capacity is known only through regularized or lower-bound arguments.

## 5. Geometric and algorithmic perspectives

A separate strand of work proposes an information-geometric description. In a PhD thesis, Gyongyosi defines the smallest enclosing quantum informational ball
\[
B(\sigma,r)=\{\rho: D(\rho\Vert \sigma)\le r\},
\]
with radius \(r^*=\min_\sigma \max_i D(\rho_i\Vert \sigma)\), and introduces a “superball” for the joint output set of \(\mathcal N_1\otimes \mathcal N_2\) [1206.5980]. In that construction, the radius of the smallest enclosing ball in the enlarged output space equals \(Q^{(1)}(\mathcal N_1\otimes \mathcal N_2)\). The key theorem in that thesis states that if the center of the optimal joint ball does not factor as \(\sigma_1\otimes \sigma_2\), then the radius is positive and the joint one-shot capacity is positive.

The same thesis proposes an algorithmic search procedure for superactive pairs. Candidate channel families are scanned, output core-sets are precomputed, the joint core-set is formed, and an approximate minimax ball is found via iterative farthest-point updates analogous to Bădoiu–Clarkson, with \(O(1/\epsilon^2)\) iterations for a \((1\pm \epsilon)\) approximation [1206.5980]. Within that framework, the Horodecki channel plus the \(50\%\) erasure channel is treated as a case study, with
\[
Q^{(1)}(\mathcal N_1\otimes \mathcal N_2)\approx P(\mathcal N_1)\approx 0.01 \text{ bit per use}
\]
and hence \(Q(\mathcal N_1\otimes \mathcal N_2)\ge 0.01\) bit/use [1206.5980].

These geometric formulations are not replacements for the standard coherent-information definition. Rather, they recast the same phenomenon in optimization language and provide algorithmic heuristics for locating superactive channel pairs. This suggests that superactivation can be studied not only as an existence theorem but also as a search problem over structured channel families.

## 6. Non-asymptotic and experimental developments

For many years superactivation was primarily discussed as an asymptotic capacity effect. A 2026 study introduces a finite-blocklength notion using the \(n\)-shot channel fidelity
\[
F_c(\mathcal N^{\otimes n},d)=\max_{\mathrm{enc,dec}}F\bigl(\Phi^d_{RB'},(id\otimes \mathrm{dec}\circ \mathcal N^{\otimes n}\circ \mathrm{enc})(\Phi^d_{RA'})\bigr)
\]
and the corresponding \(n\)-shot \(\epsilon\)-error quantum capacity \(Q^{n,\epsilon}(\mathcal N)\) [2604.27042]. In that framework, two channels exhibit \(n\)-shot superactivation if neither channel alone can surpass fidelity \(1-\epsilon\) for a target dimension \(d\), regardless of how many uses are permitted, but the joint channel can exceed that fidelity after \(n\) tandem uses.

Focusing on the original pair—a private-Horodecki PPT channel \(\mathcal P\) and the \(50\%\) erasure channel \(\mathcal E_{0.5}\)—the study combines second- and third-order blocklength bounds with a direct “symmetric-seesaw” SDP optimization that exploits permutation symmetry, Schur–Weyl reduction, flagged structure, and sparsity [2604.27042]. The headline result is that for \(d=2\) and \(\epsilon=1/4\),
\[
\max_m \{F_c(\mathcal P^{\otimes m},2),F_c(\mathcal E^{\otimes m},2)\}\le 3/4,
\]
yet
\[
F_c((\mathcal P\otimes \mathcal E)^{\otimes 17},2)\approx 0.75013>3/4.
\]
Thus, as few as \(17\) uses of the joint channel already produce a fidelity unattainable by any number of uses of either constituent alone [2604.27042].

A distinct operational route is provided by coherent superposition of channels rather than tensoring them. A 2026 NMR experiment superposes the Stinespring dilation unitaries of two single-qubit depolarizing channels \(D_p\) and \(D_{\tilde p}\), both in the entanglement-breaking regime \(p,\tilde p\ge 1/2\), and shows that the effective channel is again depolarizing with strength \(p_{\mathrm{eff}}(\alpha)\) [2606.10744]. For a maximally entangled input, the one-shot coherent information becomes
\[
I_c^{(1)}(D_{\mathrm{sup}})=1-H(\{\lambda_1,\lambda_2,\lambda_2,\lambda_2\}),
\]
and is strictly positive whenever \(p_{\mathrm{eff}}\) falls below the threshold \(\simeq 0.189\) [2606.10744]. The paper states that for \(p=0.55\) and \(\tilde p=0.70\), there is a window \(\alpha\approx 2.37\ldots 2.51\) with \(p_{\mathrm{eff}}(\alpha)<0.189\), and at \(\alpha\approx 2.416\) one even gets \(p_{\mathrm{eff}}=0\) and \(I_c^{(1)}=1\). Experimentally, the superposed depolarizing channel was implemented on a five-qubit NMR register, with postselection probability on the order of \(10^{-3}\)–\(10^{-2}\) in the superactivation window and Bloch-vector attenuation consistent with theory within \(\sim 10\)–\(20\%\) in most cases [2606.10744]. This is not the standard tensor-product notion of superactivation, but it shows that closely related capacity-recovery effects can now be realized in the laboratory.

## 7. Related notions: zero-error and multipartite superactivation

A substantial related literature concerns **one-shot zero-error quantum capacity**, usually denoted \(\bar Q_0\) or \(Q_0^{(1)}\), rather than the regularized unassisted quantum capacity \(Q\). In this setting, superactivation means that a channel has no noiseless subspace individually but develops one under tensoring. Shirokov and Shulman construct a channel \(\Phi\) with \(d_A=4\) and \(d_E=3\) such that \(\bar Q_0(\Phi)=0\) but \(\bar Q_0(\Phi\otimes \Phi)\ge \log 2=1\), and they further show the existence of channels \(\Phi_n\) with \(\bar Q_0(\Phi_n)=0\) yet \(\bar Q_0(\Phi_n\otimes \Phi_n)\ge \log n\) for arbitrary \(n\) [1312.3586]. The same work reformulates the phenomenon in measurement-theoretic language as the appearance of an indistinguishable subspace for tensor products of observables that individually have none.

This zero-error phenomenon also admits genuine multipartite forms. Shirokov constructs an explicit \(n=3\) example for one-shot zero-error quantum capacity in which channels \(\Phi_{\theta_1},\Phi_{\theta_2},\Phi_{\theta_3}\) satisfy
\[
Q_0^{(1)}(\Phi_1\otimes \Phi_2\otimes \Phi_3)>0,
\]
while every proper subset has zero capacity, provided \(\theta_1+\theta_2+\theta_3=\pi\) [1411.5386]. The corresponding two-dimensional code is explicitly spanned by
\[
|\phi_1\rangle=\tfrac1{\sqrt 2}(|1,1,1\rangle+i|2,2,2\rangle),\qquad
|\phi_2\rangle=\tfrac1{\sqrt 2}(|3,3,3\rangle+i|4,4,4\rangle)
\]
[1411.5386].

These zero-error results are not statements about the regularized quantum capacity \(Q\). Their significance is conceptual: they show that superactivation is not confined to a single capacity notion, and that the tensor-product emergence of transmissible subspaces is a broader operator-algebraic feature of quantum channels and measurements [1312.3586, 1411.5386].

Taken together, the literature presents superactivation of quantum capacity as a sharply delimited but robust nonadditivity phenomenon. The original private-channel plus erasure construction established the effect in finite dimensions; Gaussian bosonic analyses showed that it can occur in realistic optical models; no-go theorems identified entanglement-breaking channels as a boundary; relative-entropy, geometric, and SDP methods supplied structural and computational tools; and recent non-asymptotic and experimental works moved the subject beyond purely asymptotic existence results [1107.4385, 1901.03147, 1601.06888, 2604.27042, 2606.10744].

Source: https://www.emergentmind.com/topics/superactivation-of-quantum-capacity