---
title: 'Dephrasure Channel: Hybrid Quantum Noise Model'
url: https://www.emergentmind.com/topics/dephrasure-channel
type: topic
---

# Dephrasure Channel: Hybrid Quantum Noise Model

Searching arXiv for recent and foundational papers on the dephrasure channel.
The **dephrasure channel** is a qubit quantum channel that combines **dephasing** and **erasure** noise. In the formulation studied by Leditzky, Leung, and Smith, it acts as
\[
\mathcal{N}_{p,q}(\rho) = (1-q)\left[(1-p)\rho + p Z\rho Z\right] + q\,\mathrm{Tr}(\rho) |e\rangle\langle e|
\]
with \(0 \leq p,q \leq 1\), where \(Z\) is the Pauli-\(Z\) operator and \(|e\rangle\) is an orthogonal erasure flag state [1806.08327]. The channel is the concatenation of a dephasing channel and an erasure channel, and its simplicity has made it a prominent model for studying coherent-information superadditivity, gaps between quantum and private information measures, exact assisted capacities, and alternative operational quantities such as the communication value [1806.08327], [1807.00784], [2109.11144].

## 1. Definition and structural representations

The dephrasure channel is parameterized by a **dephasing probability** and an **erasure probability**. In one common convention,
\[
\mathcal{N}_{p,q}(\rho) = (1-q)\left[(1-p)\rho + p Z\rho Z\right] + q\,\mathrm{Tr}(\rho) |e\rangle\langle e| ,
\]
so that erasure occurs with probability \(q\) and dephasing acts on the non-erased branch [1806.08327], [2109.11144]. A notationally equivalent convention also appears in the literature, with the parameters ordered as an erasure probability \(p\) and a dephasing probability \(q\):
\[
\mathcal{E}_{p,q}^{\mathrm{dr}}(\rho) = (1-p)\left[(1-q)\rho + q Z\rho Z\right] + p \mathcal{E}_e(\rho),
\]
where \(\mathcal{E}_e(\rho)=\operatorname{Tr}(\rho)|e\rangle\langle e|\) [1807.00784]. These formulas describe the same hybrid noise model up to parameter relabeling.

The channel can be written as a flagged convex mixture
\[
\mathcal{N}_{p,q}=(1-q)\,\mathcal{Z}_p+q\,\mathcal{E},
\]
where \(\mathcal{Z}_p(\rho)=(1-p)\rho+pZ\rho Z\) is the dephasing channel and \(\mathcal{E}(\rho)=\mathrm{Tr}(\rho)|e\rangle\langle e|\) is the erasure map [1806.08327]. This flagged structure is central to several analytical calculations because the erasure outcome is perfectly distinguishable from the non-erasure output.

A Kraus representation given for the same channel family is
\[
\mathcal{E}_{p,q}^{\mathrm{dr}}(\rho)=\sum_{k=0}^{3}E_k\rho E_k^\dagger,
\]
with
\[
\begin{aligned}
E_0 &= \sqrt{(1-p)(1-q)} (|0\rangle\langle 0| + |1\rangle\langle 1|),\\
E_1 &= \sqrt{(1-p)q} (|0\rangle\langle 0| - |1\rangle\langle 1|),\\
E_2 &= \sqrt{p}\,|e\rangle\langle 0|,\\
E_3 &= \sqrt{p}\,|e\rangle\langle 1| ,
\end{aligned}
\]
in the parameter convention of [1807.00784]. The same work gives a Choi-matrix expression,
\[
\begin{aligned}
\rho_{\mathcal{E}_{p,q}^{\mathrm{dr}}}
= & \frac{1-p}{2} |\Phi\rangle\langle\Phi| + \frac{p}{2} (|0e\rangle\langle 0e| + |1e\rangle\langle 1e|) \\
& - q(|00\rangle\langle 11| + |11\rangle\langle 00|),
\end{aligned}
\]
where \(|\Phi\rangle=(|00\rangle+|11\rangle)/\sqrt{2}\) [1807.00784].

The complementary channel is also unusually tractable. In the notation of [1806.08327],
\[
\mathcal{N}_{p,q}^c(\rho)
=
q\, \rho \oplus (1-q)\sum_{x=0,1}\langle x|\rho|x\rangle\,|\phi_p^x\rangle\langle\phi_p^x|,
\]
with
\[
|\phi_p^x\rangle=\sqrt{1-p}|0\rangle+(-1)^x\sqrt{p}|1\rangle .
\]
This explicit form is one reason the dephrasure channel has become a useful laboratory for capacity questions [1806.08327].

## 2. Coherent information, positivity thresholds, and superadditivity

The principal reason for the channel’s prominence is that it exhibits **superadditivity of coherent information** despite its elementary definition. The one-shot quantum capacity is characterized by coherent information,
\[
Q^{(1)}(\mathcal{N})=\max_{\rho} I_c(\mathcal{N},\rho), \qquad
I_c(\mathcal{N},\rho)=S(\mathcal{N}(\rho))-S(\mathcal{N}^c(\rho)),
\]
and the full quantum capacity is given by the regularized limit
\[
Q(\mathcal{N})=\lim_{n\to\infty}\frac{1}{n}Q^{(1)}(\mathcal{N}^{\otimes n}) .
\]
These formulas are used throughout the dephrasure literature [1806.08327], [2003.00583], [2508.09978].

Leditzky, Leung, and Smith showed that the dephrasure channel displays a “pronounced superadditivity of coherent information” and “nonadditivity of coherent information at the two-letter level” [1806.08327]. For \(n=2\), they consider repetition-type inputs such as
\[
\rho_2=\lambda |00\rangle\langle 00|+(1-\lambda)|11\rangle\langle 11| ,
\]
and identify parameters \((p,q)\) for which
\[
\frac{1}{2} I_c(\rho_2,\mathcal{N}_{p,q}^{\otimes 2}) > I_c(\mathcal{N}_{p,q}) .
\]
This provides a direct violation of additivity at low blocklength [1806.08327].

A later analysis using a gluing framework gives an explicit positivity threshold for the single-letter coherent information. In the notation of generalized erasure channels, the positivity boundary is
\[
g(p)=\frac{(1-2p)^2}{1+(1-2p)^2},
\]
and for fixed \(p\in[0,1/2]\), \(Q^{(1)}\) is zero for \(\lambda \ge g(p)\) and positive for \(0\le \lambda < g(p)\) [2003.00583]. The same work gives a second threshold
\[
j(p)=\frac{1 - 2p - 2p(1-p)\ln[(1-p)/p]}{2 - 4p - 2p(1-p)\ln[(1-p)/p]},
\]
which marks a transition in the location of the optimal input state [2003.00583].

The gluing analysis also reports a striking perturbative phenomenon: when \(p=0\), \(Q^{(1)}(\mathcal{N}_g)\) is zero for \(\lambda \le 1/2\), but for any positive \(p\), however small, it becomes strictly positive for all \(\lambda>0\) [2003.00583]. The source explicitly notes that this effect lacks an intuitive explanation. This suggests that the interplay between dephasing and erasure is not captured by simple interpolation from the pure-erasure endpoint.

A recent perturbative study further enlarges the region in which capacity separations are known. It defines
\[
\mathcal{R}_1=
\left\{
(p,q)\,\Big|\, p\in [0,1/2], \,\, 0\leq q < \frac{(1-2p)^2}{1+(1-2p)^2}
\right\},
\]
and states that \(Q^{(1)}(N_{p,q})>0\) throughout this region [2507.16920]. The same work proves that the complementary channel also has positive one-shot quantum capacity throughout \(\mathcal{R}_1\), which yields a strict one-shot private-capacity gap, discussed below [2507.16920].

## 3. Private information, complementary channels, and assisted capacities

Beyond coherent information, the dephrasure channel exhibits substantial separation between quantum and private communication quantities. The original analysis reports a “big gap between single-letter coherent and private informations” [1806.08327]. In particular, the single-letter private information can “greatly exceed” the single-letter coherent information in regions where the latter is small or vanishes [1806.08327].

The later perturbative work sharpens this observation. For all \((p,q)\in\mathcal{R}_1\), it states
\[
P^{(1)}(N_{p,q}) > Q^{(1)}(N_{p,q}),
\]
and relates the gap to positivity of the complementary channel’s one-shot quantum capacity [2507.16920]. In the same parameter region, the complementary channel satisfies
\[
Q^{(1)}(N_{p,q}^c)>0,
\]
which broadens earlier evidence that the complement of the dephrasure channel can remain quantum-capacity-positive across the regime of interest [2507.16920]. The 2018 work had already emphasized that the complementary channel “always has positive quantum capacity for \(p,q\in(0,1/2]\)” [1806.08327].

The channel is also notable because certain **two-way assisted capacities** are exactly known. Using **conditional channel simulation**, Pirandola, Laurenza, Ottaviani, and Banchi established that
\[
Q_2(\mathcal{E}_{p,q}^{\mathrm{dr}})
=
D_2(\mathcal{E}_{p,q}^{\mathrm{dr}})
=
P_2(\mathcal{E}_{p,q}^{\mathrm{dr}})
=
K(\mathcal{E}_{p,q}^{\mathrm{dr}})
=
(1-p)[1-H_2(q)],
\]
where \(H_2(q)=-q\log_2 q-(1-q)\log_2(1-q)\) is the binary Shannon entropy [1807.00784]. Here \(Q_2\) denotes the two-way quantum capacity, \(D_2\) the two-way assisted entanglement distribution capacity, \(P_2\) the two-way private capacity, and \(K\) the secret-key capacity.

The proof depends on the decomposition
\[
\mathcal{E}_{p,q}^{\mathrm{dr}}=(1-p)\,\mathcal{E}^{\mathrm{deph}}_q+p\,\mathcal{E}_e ,
\]
together with the fact that the dephasing and erasure components are teleportation covariant but not jointly so [1807.00784]. Standard Choi-state simulation therefore fails for the average channel, and the conditional channel simulation framework is used instead. An upper bound is obtained from the relative entropy of entanglement of a control-program state, while achievability follows from measuring the erasure flag and postselecting onto the non-erasure branch [1807.00784].

The same work also reports explicit formulas for reverse coherent information and coherent information in its parameter convention:
\[
I_{\mathrm{RC}}(\mathcal{E}_{p,q}^{\mathrm{dr}})=(1-p)[1-H_2(q)]-H_2(p),
\]
and
\[
I_C(\mathcal{E}_{p,q}^{\mathrm{dr}})=(1-p)[1-H_2(q)]-p .
\]
These expressions underscore that the exact two-way capacities exceed the reverse coherent information unless \(p=0\) [1807.00784].

## 4. Communication value and classical behavior

A distinct operational quantity attached to the dephrasure channel is the **communication value** \(cv\), defined as the optimal success probability of transmitting a uniformly random classical message over a channel [2109.11144]. For the dephrasure channel, the paper “The Communication Value of a Quantum Channel” gives the exact formula
\[
cv(\mathcal{N}_{p,q})=2-q ,
\]
independent of the dephasing parameter \(p\) [2109.11144].

The optimal protocol is explicitly classical. The sender uses the computational basis \(\{|0\rangle,|1\rangle\}\), and the receiver decodes with the projective measurement
\[
\left\{
|0\rangle\langle 0|+\frac{1}{2}|e\rangle\langle e|,\,
|1\rangle\langle 1|+\frac{1}{2}|e\rangle\langle e|
\right\},
\]
which succeeds with probability \(1-q/2\) for either input, yielding a total communication value of \(2-q\) [2109.11144].

The same paper provides an entropic characterization,
\[
cv(N)=\exp[-H_{\min}^{\mathrm{sep}}(A|B)_{J_N}],
\]
where \(J_N\) is the Choi matrix and the conditional min-entropy is taken over the cone of separable operators [2109.11144]. It also proves
\[
\log cv(N)=\chi_{\max}(N),
\]
with \(\chi_{\max}\) the channel’s max-Holevo information [2109.11144]. Therefore, for the dephrasure channel,
\[
\chi_{\max}(\mathcal{N}_{p,q})=\log(2-q) .
\]

A salient contrast with coherent information emerges in the behavior under parallel tensor products. The same source states that
\[
cv(\mathcal{N}_{p,q}^{\otimes n})=[cv(\mathcal{N}_{p,q})]^n .
\]
Thus the communication value is **multiplicative** for the dephrasure channel, even though coherent information for the same channel is superadditive [2109.11144]. This divergence isolates two different operational regimes: classical-message guessing, where the channel behaves in an erasure-limited and effectively classical manner, and quantum transmission, where entanglement across channel uses is advantageous.

The paper additionally studies a **PPT relaxation** of communication value. For the dephrasure family,
\[
cv^{\mathrm{PPT}}(\mathcal{N}_{p,q})=cv(\mathcal{N}_{p,q})=2-q ,
\]
because the optimal encoding and measurement are diagonal and “PPT/SEP positivity coincide” [2109.11144]. The agreement is reported both analytically and numerically.

## 5. Coding constructions for quantum communication

The dephrasure channel has become a benchmark for explicit code design because its nonadditivity is strong enough to expose the limitations of simple ansätze. Early analyses already identified **weighted repetition codes** as effective probes. A standard family is
\[
|\phi_k^\lambda\rangle
=
\sqrt{\lambda}\,|0\rangle_R |0\rangle_A^{\otimes k}
+
\sqrt{1-\lambda}\,|1\rangle_R |1\rangle_A^{\otimes k},
\]
with \(\lambda\) optimized for coherent information [1806.08781]. For these codes, the coherent information admits the explicit formula
\[
Q^{(1)}(\phi_k^\lambda,p,q^k)
=
[(1-q)^k-q^k]h(\lambda)
-
(1-q)^k
\left[
1-u\,\mathrm{artanh}\,u
-\frac{1}{2}\log(1-u^2)
\right],
\]
where \(h(\lambda)\) is the binary entropy and
\[
u=\sqrt{1-4\lambda(1-\lambda)\left(1-(1-2p)^{2k}\right)} .
\]
This formula appears in the neural-network code study [1806.08781].

A major subsequent development was the use of **neural network states** as variational ansätze for quantum codes. Bausch and Leditzky state that neural network states yield quantum codes with high coherent information for the dephrasure channel and that these codes “outperform all other known codes for these channels” [1806.08781]. For the dephrasure channel, the paper uses a feed-forward network with four hidden layers, each of width \(2k\), \(\cos\) activation in the first layer, \(\mathrm{ReLU}\) in the rest, and a polar output for amplitude encoding [1806.08781]. Optimization is performed by **Particle Swarm Optimization** followed by pattern search [1806.08781].

For \(q\in\{0.1,0.2,0.3,0.4\}\), the authors report that neural network codes for \(k=2,3,4\) outperform the best weighted repetition codes across relevant intervals of \(p\), with stronger improvements at larger blocklength [1806.08781]. One explicit example given is \((p,q)=(0.08,0.4)\) with \(k=4\), where the best neural network code achieves \(\frac14 I_c \approx 6.57\times 10^{-5}\) [1806.08781].

More recently, **permutation-invariant codes** have pushed the achievable rates further. The 2025 work on permutation-invariant codes develops a representation-theoretic method for evaluating coherent information for symmetric input states of the form
\[
\rho_{(n)}=\sum_{i=1}^k x_i \rho_i^{\otimes n},
\]
using Schur–Weyl duality and block diagonalization in irreducible-representation sectors [2508.09978]. For mixtures of pure i.i.d. states, it gives the simplified coherent-information formula
\[
I_c(\mathcal{N}^{\otimes n},\rho_{(n)})
=
\sum_{\lambda\in\Lambda(n,d_B)}
c_\lambda
\left[
S(\sigma_\lambda^{\mathcal{N}})
-
S(\sigma_\lambda^{\mathcal{N}_c})
\right]
\]
[2508.09978].

Applied to the dephrasure channel, the paper reports that permutation-invariant optimization yields **higher achievable rates in “mid-noise” regimes** than previously known weighted repetition codes and neural network codes, particularly for larger blocklengths [2508.09978]. For \(q=0.3,0.4\), the optimized permutation-invariant codes achieve positive coherent information beyond regions accessible to neural-network codes [2508.09978]. The best codes found are described as **convex combinations of two non-orthogonal pure i.i.d. code states**, interpreted in the paper as non-orthogonal repetition codes [2508.09978]. The authors also state that these codes do not exceed known analytic thresholds for the existence of positive quantum capacity, but they do expand the numerically certified region of positive achievable rates [2508.09978].

## 6. Experimental realization and broader significance

The dephrasure channel has also been realized experimentally. An optical implementation reported in 2020 constructs a dephrasure channel with both dephasing and erasure noise and studies coherent-information superadditivity using up to three channel uses [2003.13000]. In that work the channel is written as
\[
\varepsilon_{p,q}(\rho)
=
(1-q)\left[(1-p)\rho+p\Pi\rho\Pi^\dagger\right]
+
q\,\operatorname{Tr}(\rho)|e\rangle\langle e|,
\]
with \(\Pi=\sigma_z\) for the experiments [2003.13000].

The experiment uses spontaneous parametric down-conversion to generate a four-photon GHZ state, beam displacers and waveplate groups for controlled dephasing, and path splitting with attenuation for erasure [2003.13000]. Coherent information is evaluated from tomography of both channel and complementary outputs [2003.13000]. The study reports parameter regions where \(Q_1(\varepsilon)=0\) but \(Q_2(\varepsilon)>0\), and even where \(Q_2(\varepsilon)=0\) but \(Q_3(\varepsilon)>0\), thereby directly demonstrating that finite-use coherent information can fail to detect positive quantum capacity [2003.13000].

These results reinforce the role of the dephrasure channel as a testing ground for nonadditivity phenomena. The original theoretical work emphasized its “clean form,” large gap between coherent and private information, and positive quantum capacity of complementary channels [1806.08327]. Subsequent studies have used it to compare one-shot and regularized capacities, exact assisted capacities, classical-message transmission metrics, numerical optimization methods, representation-theoretic algorithms, and laboratory implementations [1807.00784], [2109.11144], [1806.08781], [2508.09978], [2003.13000].

A plausible implication is that the dephrasure channel serves not merely as a special example but as a structurally minimal model in which several otherwise separate quantum Shannon-theoretic effects become simultaneously visible: superadditivity of coherent information, strict private-versus-quantum capacity gaps, exact two-way-assisted formulas, and a sharply classical behavior for communication value. That combination explains why it continues to be used as a benchmark family in both analytic and computational studies of quantum channel capacity.

Source: https://www.emergentmind.com/topics/dephrasure-channel