---
title: Erasure Channels in Communication Theory
url: https://www.emergentmind.com/topics/erasure-channels
type: topic
---

# Erasure Channels in Communication Theory

An erasure channel is a canonical model for communication systems in which symbols transmitted over a channel may be erased with known probability, with the property that the receiver is explicitly informed of any erasure event. The erasure channel is a fundamental object in coding theory, information theory, and digital communications, serving as both a practical abstraction for bursty or packet-based loss and an analytically tractable model for developing code constructions and proving sharp threshold behaviors. The binary erasure channel (BEC), q-ary generalizations, erasure broadcast channels, erasure queue-channels, and quantum erasure channels are all extensively studied subtypes.

## 1. Formal Definition and Basic Properties

The binary erasure channel BEC($\epsilon$) maps each input bit $X \in \{0,1\}$ to an output $Y$ according to
\[
Y = \begin{cases}
X & \text{with probability } 1-\epsilon, \\
* & \text{with probability } \epsilon,
\end{cases}
\]
where "$*$" denotes an erasure symbol known to the receiver [1601.04689]. For codewords $\mathbf{X} \in \{0,1\}^N$, each coordinate is independently erased with probability $\epsilon$.

The capacity of the BEC is
\[
C = 1 - \epsilon,
\]
as shown by standard mutual information arguments [1601.04689]. For q-ary input alphabets or more structured output, a generalized erasure channel is defined by an erasure probability on each symbol or a set of erasure probabilities mapping inputs to output cosets, recovering the BEC for $q=2$ [1604.04413, 1804.09016].

## 2. Capacity-Achieving Codes and Sharp Thresholds

Capacity achieving codes for erasure channels are characterized by their ability to recover the original message with probability tending to one for channel erasure probabilities below $1 - R$, where $R$ is the code rate. The principal result for deterministic codes is:

> **Theorem (Capacity-achieving criterion):** If $\{\mathcal{C}_n\}$ is a sequence of binary linear codes of increasing blocklength with $R_n \to R$ and the permutation group is doubly transitive, then under bit-MAP decoding over $\mathrm{BEC}(\epsilon)$,
> \[
> \forall \epsilon < 1 - R,\quad P_b^{(n)}(\epsilon) \to 0,
> \]
> i.e., $\mathcal{C}_n$ achieves capacity [1601.04689].

For Reed-Muller codes, with parameters chosen such that the code rate converges to $R$, the codes achieve BEC capacity under MAP decoding [1601.04689]. The proof employs EXIT functions and the area theorem (integral of the average EXIT equals the code rate), as well as sharp threshold results for symmetric monotone Boolean functions, notably leveraging the Friedgut–Kalai–Bourgain theorem and doubly transitive group action [1601.04689].

Generalized bounds for block error in terms of subcode support weights (generalized Hamming weights $d_r$) relate the block error threshold to the bit error threshold [2501.05748]. In codes such as Reed-Muller, for which the sequence of minimal subcode supports grows sufficiently fast, block and bit error thresholds coincide up to $o(1)$, tightly characterizing reliability as the channel erasure probability varies [2501.05748].

## 3. Polarization and Multilevel Generalizations

Polar coding for erasure channels exploits the recursive self-similarity and tractable conditional entropy structure. For the BEC, under channel polarization, the synthetic channels produced remain BECs with recursively updated erasure probabilities. The construction generalizes to q-ary alphabets and multilevel "generalized erasure channels" where the output alphabet reveals partial information (e.g., $x \bmod d$), and the polar transform acts via explicit recursions [1604.04413, 1801.04422, 1804.09016]:
\[
\epsilon_d^- = \sum_{d_1,d_2\in\mathcal{D}_q: \gcd(d_1,d_2)=d}\epsilon_{d_1}\epsilon_{d_2},\quad
\epsilon_d^+ = \sum_{d_1,d_2\in\mathcal{D}_q: \mathrm{lcm}(d_1,d_2)=d}\epsilon_{d_1}\epsilon_{d_2}.
\]
In the prime-power case, polarization occurs to $m+1$ levels, and the fraction of polarized channels at each level equals the initial erasure vector coefficients $\epsilon_d$ [1604.04413, 1804.09016]. For composite input sizes, multilevel channel polarization yields limiting proportions of partially noiseless channels that can be computed explicitly via convergent sequences and combinatorial recursions, as demonstrated for modular arithmetic erasure channels [1804.09016].

## 4. Erasure Channels in Network and Broadcast Models

The erasure broadcast channel (EBC) and its caching variants are models where multiple receivers experience independent erasures per transmission. Optimal coding strategies exploit both channel state feedback and side information, e.g., through decentralized cache placement or piggybacking private messages for strong receivers onto messages for weaker receivers. Capacity-memory-rate trade-offs are precisely characterized, e.g.,
\[
\sum_{k=1}^K\frac{(1-p)^k}{1-\delta^k}R_{\pi_k} \leq 1
\]
for symmetric EBCs with cache and feedback, where $p$ is user cache fraction and $\delta$ the erasure probability [1602.04630]. Joint cache–channel coding, particularly with asymmetric cache allocations, strictly enlarges achievable regions versus separate designs [1505.01016].

The erasure queue-channel (EQC) generalizes erasure behavior to queueing systems with time-dependent and correlated erasures, e.g., due to sojourn-time-dependent degradation (as relevant for quantum systems). Capacity is determined by
\[
C(\lambda, \mu, \epsilon(\cdot)) = \lambda \mathbb{E}_{W\sim \pi}[1-\epsilon(W)],
\]
where $\lambda$ is the arrival rate and $\pi$ the stationary waiting time distribution. Coding for such channels can employ interleaving across renewal blocks to mimic memoryless behavior [2305.04155].

## 5. Quantum and Continuous-Variable Erasure Channels

Quantum erasure channels (QEC) extend the erasure channel model to quantum states. For a $d$-dimensional system, the QEC with erasure probability $\epsilon$ maps $\rho \mapsto (1-\epsilon)\rho + \epsilon\,\mathrm{Tr}[\rho]|e\rangle\langle e|$, erasing pure states into an orthogonal flag state [2311.14321]. Hypercontractivity inequalities, crucial in classical coding and information theory, are generalized to the quantum setting for these channels via multipartite log-Sobolev inequalities. These results yield nearly tight bounds on classical communication complexity for quantum randomness generation assisted by noisy entanglement [2311.14321].

Continuous-variable (CV) erasure channels, relevant for infinite-dimensional systems (e.g., optical modes), are modeled by protecting against erasure with a two-level flag. By projecting onto energy-constrained effective subspaces, code constructions and quantum capacity formulas carry over from the discrete case:
\[
Q_{\mathrm{CV}}(p, \bar n) = (1-2p)\,\mathcal{E}(r_0),
\]
with physical entropic constraints determined by mean photon number [2205.09711].

## 6. Applications: Caching, Computation, and Information Freshness

Erasure channels underlie the analysis of status update ("age of information"), distributed computation, and multi-agent learning in unreliable or delayed systems:

- **Age of Information:** Optimal strategies (Last-Come First-Serve no-buffer) and coding (random or MDS block codes) are derived for minimizing time-average age over memoryless $q$-ary erasure channels and their block-coded extensions, with closed-form and asymptotic expressions for achievable and optimal age [1901.01573].

- **Coded Distributed Computing:** Packet erasure channels model link failures in master–worker computation architectures. Use of $(n, k)$ MDS-coding with probabilistic retransmission over erasure links yields sharp upper and lower latency bounds and guides redundancy selections for reliability versus bandwidth [1901.03610].

- **Multi-Agent Bandit Learning:** Action erasure channels formalize loss or delay in command transmissions from a learner to multiple agents. Algorithms combining repetition protocols (persistently resend until with high probability at least one copy is delivered) and batch scheduling yield sublinear regret, overcoming naive approaches which suffer linear loss under erasures [2312.14259].

## 7. Extensions, Limits, and Algorithmic Implications

Erasure channel models have led to progress in:

- **Interactive Communication:** Explicit, efficient coding schemes match proven impossibility-of-tolerance thresholds (1/2 for general alphabets, 1/3 for binary alphabet) for adversarial erasure noise in interactive protocols, achievable with constant-size alphabet and polynomial time [1501.00624].

- **Wireless Fading as Erasure:** Concatenated inner convolutional and outer polar codes, with block interleaving, degrade Rayleigh fading to a BEC model for the polar decoder. Design trade-offs in inner code rate, interleaving depth, and block length are quantified for achievable end-to-end rates and reliability [2002.11249].

- **Open Problems:** Quantifying bit-to-block error threshold gaps for general codes, extending combinatorial block-error bounds to other channels, finitelength analyses, proving capacity-achieving polarization for queue-dependent erasure dynamics, and developing efficient decoding algorithms for block-MAP and non-memoryless settings remain important directions [2501.05748, 2305.04155].

| Model/Setting              | Capacity/Threshold        | Key Coding/Structural Principle                  |
|----------------------------|--------------------------|--------------------------------------------------|
| BEC($\epsilon$)            | $1-\epsilon$             | Dbl. transitive codes; sharp threshold; EXIT     |
| q-ary erasure / gen.       | $\sum_d \epsilon_d \log d$ | Multilevel polar, group coset structure        |
| Erasure broadcast/cache    | See polyhedral region    | Joint cache-channel, feedback, piggybacking      |
| Queue-channel (EQC)        | $\lambda \mathbb{E}_{\pi}[1-\epsilon(W)]$ | Renewal theory, interleaving wrapper          |
| Quantum erasure            | $(1-2p)\log_2 d$         | Log-Sobolev, hypercontractivity                  |
| CV quantum erasure         | $(1-2p)\mathcal{E}(r_0)$ | Entropy-constrained random coding                |
| Interactive/adversarial    | Up to $1/3$ (binary)     | Parity tagging, error-detect. retry              |

The erasure channel thus serves as a cornerstone for fundamental results in coding theory, polarization, optimal real-time and distributed computation, quantum communications, and robust algorithm design [1601.04689, 1604.04413, 2501.05748, 2311.14321, 1505.01016, 1901.03610].

Source: https://www.emergentmind.com/topics/erasure-channels