---
title: Unambiguous List Decoding Protocol
url: https://www.emergentmind.com/topics/unambiguous-list-decoding-protocol
type: topic
---

# Unambiguous List Decoding Protocol

Searching arXiv for recent and foundational papers related to unambiguous list decoding, random-error list decoding, and related protocol notions.
Searching arXiv for "Two Theorems in List Decoding" and complementary work on deterministic RS list decoding and universal polar/list-recovery contexts.
An unambiguous list decoding protocol is a decoding regime in which the receiver formally uses a list decoder, yet under the stated channel model the output list is overwhelmingly likely to be a singleton containing only the transmitted codeword. In the most explicit coding-theoretic formulation, this notion is developed for random symbol errors: for any code of relative distance \(\delta\) over a sufficiently large alphabet, decoding to radius \(\rho n\) with \(\rho \le \delta-\varepsilon\) yields, with high probability over the random error values, a list of size \(1\), even though worst-case unique decoding is limited to \(\rho<\delta/2\) [1001.1781].

## 1. Concept and decoding models

A code \(C\subseteq \Sigma^n\) has block length \(n\) and relative distance
\[
\delta=\frac{1}{n}\min_{c\neq c'\in C}\Delta(c,c'),
\]
where \(\Delta(\cdot,\cdot)\) is Hamming distance. Unique decoding to radius \(\rho n\) means that if there is a codeword within Hamming distance \(\rho n\), it is guaranteed to be unique; in the worst case this is possible only when
\[
\rho<\delta/2.
\]
List decoding to radius \(\rho n\) instead outputs all codewords in the Hamming ball
\[
B(y,\rho n)=\{c\in C:\Delta(c,y)\le \rho n\}.
\]
A code is \((\rho,L)\)-list decodable if every such ball contains at most \(L\) codewords [1001.1781].

The random-error model that underlies the canonical unambiguous list decoding protocol is more specific than worst-case error correction. The adversary may choose the error locations, but the erroneous symbols themselves are random. If \(S\subseteq[n]\) is the set of non-error locations, then the error vector \(e\) satisfies \(wt(e)=\rho n\) and \(wt_S(e)=0\), while on the corrupted coordinates the nonzero symbols are chosen randomly. This is distinct from erasures, where some coordinates are replaced by \(?\) and the decoder knows their locations, and also distinct from worst-case symbol errors, where an adversary chooses both locations and replacement symbols [1001.1781].

In this usage, “unambiguous” does not mean global unique decodability at radius \(\rho n\). It means that the decoder may be a list decoder in principle, but with high probability over the random error pattern the only codeword inside the decoding ball is the transmitted one. The underlying phenomenon is therefore probabilistic unique decoding implemented through list decoding [1001.1781]. In the broader hierarchy surveyed for list recovery, unique decoding is the special case \(L=1\), list decoding is the special case \(\ell=1\) of list recovery, and exact unambiguity is therefore the endpoint \(L=1\) of a larger family of soft-information decoding problems [2510.07597].

## 2. The random-error singleton theorem

The foundational theorem states that if \(C\) is any code over alphabet \(\Sigma=\{0,1,\dots,q-1\}\) of block length \(n\) and relative distance \(\delta\), and if \(S\subseteq[n]\) has \(|S|=(1-\rho)n\), then for sufficiently large alphabet size,
\[
q \ge 2^{\Omega(1/\varepsilon)},
\]
and for
\[
0<\rho\le \delta-\varepsilon,
\]
the following holds: for every codeword \(c\), for all but a \(q^{-\Omega(\varepsilon n)}\) fraction of error patterns \(e\in\Sigma^n\) with
\[
wt(e)=\rho n,\qquad wt_S(e)=0,
\]
the only codeword within Hamming radius \(\rho n\) of the received word \(c+e\) is \(c\) [1001.1781].

This theorem is stronger than an ordinary bounded-list statement. It does not merely say that the list size is bounded by a constant \(L\); it says that with high probability the list collapses to a singleton. The failure probability is exponentially small in \(n\). In the proof of part (a), the bad fraction is bounded through inequalities culminating in
\[
n2^n(q-1)^{-\varepsilon n+1}\le q^{-\varepsilon n/6},
\]
for \(n\) and \(q\) large enough relative to \(\varepsilon\) [1001.1781].

The significance of the theorem is that it exceeds the classical unique-decoding radius by essentially a factor of two. Worst-case unique decoding is limited to
\[
\rho<\delta/2,
\]
whereas the random-error theorem gives effective uniqueness for
\[
\rho\le \delta-\varepsilon.
\]
Thus the correctable fraction moves from \(\delta/2\) to \(\delta-\varepsilon\), but only in the random-error model and only with high probability [1001.1781].

A further variant, Theorem 1(b), allows the search radius to be larger than the actual error fraction. If \(\gamma>0\) and
\[
q>\max\left(n,\left(\frac{e}{1-\delta+\varepsilon}\right)^{\left\lceil 1/\gamma\right\rceil}\right),
\]
then for every codeword \(c\), for all but a
\[
(q-1)^{-((1-\gamma)\varepsilon/2-(1-\delta))n}
\]
fraction of error patterns \(e\) with \(wt(e)=\rho n\) and \(wt_S(e)=0\), the only codeword within radius
\[
(\delta-\varepsilon)n
\]
around \(c+e\) is \(c\) [1001.1781]. This enlarges the decoding ball while retaining probabilistic uniqueness.

## 3. Protocol structure and the disappearance of ambiguity

The corresponding protocol is direct. One fixes any code \(C\subseteq \Sigma^n\) of relative distance \(\delta\), encodes a message as a codeword \(c\), lets the channel corrupt exactly \(\rho n\) adversarially chosen positions with random nonzero symbols, and receives
\[
y=c+e.
\]
The decoder then returns the list
\[
\mathcal{L}(y)=\{c'\in C:\Delta(c',y)\le \rho n\}.
\]
Under the theorem’s assumptions,
\[
\Pr[\mathcal{L}(y)=\{c\}] \ge 1-q^{-\Omega(\varepsilon n)}.
\]
The decoder is therefore formally a list decoder, but operationally an unambiguous decoder with overwhelming probability [1001.1781].

The result is information-theoretic and combinatorial rather than algorithmic for arbitrary code families. Its direct guarantees rely on the code’s relative distance \(\delta\), the random-error condition \(\rho\le \delta-\varepsilon\), the alphabet-size requirement
\[
q\ge 2^{\Omega(1/\varepsilon)},
\]
and the asymptotic regime of large \(n\) [1001.1781]. A plausible implication is that practical deployment requires a code family that already has an efficient list decoder or some other structured search procedure.

The proof mechanism is a counting argument on “bad” error patterns. Fixing the transmitted codeword \(c\), an error pattern is \(\alpha\)-bad if there exists another codeword \(c'\neq c\) with
\[
\Delta(c+e,c')=(1-\alpha)n.
\]
The proof partitions the agreement set into agreement on non-error positions and agreement on error positions, and uses the relative-distance condition to show that once more than \((1-\delta)n\) positions of a codeword are fixed there can be at most one codeword consistent with them. This yields a bound of the form
\[
\#\text{bad} \le M_\alpha\cdot(q-1)^{(1-\delta-\alpha)n+1}\cdot (q-1)^{\rho n},
\]
with \(M_\alpha\) bounded crudely by \(2^n\) in part (a), so the random-symbol coincidence needed to create ambiguity is exponentially unlikely [1001.1781].

The large-alphabet assumption is essential in the theorem’s universal form. The paper shows that if
\[
q=2^{o(1/\varepsilon)},
\]
then the statement of part (a) is false in general [1001.1781]. This sharply separates the random-error singleton phenomenon from a blanket statement over all alphabets.

## 4. Algorithmic realizations in algebraic codes

The paper gives a concrete Reed–Solomon instantiation. For Reed–Solomon codes of dimension \(k\), block length \(n\), over \(F_q\) with
\[
k<n<q,\qquad q>\left(\frac{n}{k}\right)^2,
\]
it proves that for at least \(1-q^{-\Omega(k)}\) fraction of error patterns \(e\) of Hamming weight at most \(n-4k\), and any codeword \(c\), the only codeword that agrees in at least \(4k\) positions with \(c+e\) is \(c\). The resulting algorithm enumerates all subsets \(T\subseteq[n]\) of size \(4k\), checks whether the restriction lies in the projected Reed–Solomon code, reconstructs the unique candidate extension when it exists, and runs in
\[
2^{O(k\log(n/k))}\cdot O(n^2)
\]
time [1001.1781]. This is an explicit unambiguous list decoding protocol in the random-error sense because its correctness rests on the fact that, with high probability, only the transmitted codeword satisfies the large-radius agreement condition.

A later deterministic Reed–Solomon result takes a different algorithmic route. There is a deterministic algorithm that, for every finite field \(\mathbb F\) and parameters \(n>k\), runs in time \(\mathrm{poly}(n,\log |\mathbb F|)\) and list decodes Reed–Solomon codes from agreement greater than
\[
\sqrt{(k-1)n}.
\]
It outputs all degree-\(<k\) polynomials \(f\) satisfying the threshold, and therefore yields a deterministic unambiguous protocol whenever external conditions ensure that the list size is \(0\) or \(1\). The paper does not itself prove a new singleton theorem at the Johnson threshold; uniqueness is checked afterward by inspecting the output list [2511.05176].

For general one-point algebraic-geometry codes, a Gröbner-basis decoder based on voting supports both list decoding and an explicit unique-decoding regime. It applies to ordinary one-point AG codes \(C_u\) and Feng–Rao improved codes \(C_\Gamma\), branches whenever multiple voting-consistent symbol candidates appear, and becomes effectively unique whenever
\[
2\tau<d_{\mathrm{AG}(C_\Gamma)}.
\]
Outside that regime it remains a genuine list decoder, but its voting rule and termination criteria act as ambiguity-reducing devices that may certify a single candidate branch [1203.6127].

## 5. Other protocol architectures based on list generation and disambiguation

The random-error singleton theorem is not the only way to approach unambiguity. A different architecture first generates a controlled list and then resolves it using auxiliary information. In nested lattice coding for relay channels, a decoder observes
\[
{\bf Y}'=({\bf t}+{\bf Z}')\bmod \Lambda
\]
and outputs a list of size
\[
2^{n(R-C(P/N))}
\]
that contains the transmitted lattice point with high probability. The list is then disambiguated using a bin index or side information from another block or node. The decoder is intentionally ambiguous by itself, but the overall network protocol becomes effectively unambiguous after list intersection [1010.0182]. This suggests a two-stage notion of unambiguity: ambiguity may be suppressed either by the noise model itself or by combining a list with independent side information.

In ARQ systems for linear codes, list decoding is used to correct undetected errors after hard decision and retransmission. For each accepted received codeword \(r_i\), the candidate list is
\[
\mathcal{L}(r_i)=\{c\in C: d_H(c,r_i)\le d\},
\]
where \(d\) is the code minimum distance, and a Context List Decoding Algorithm then selects a single final codeword sequence by dynamic programming under a Markov context model. The final output is unique, but the correctness guarantee is probabilistic rather than combinatorial; the ambiguity is resolved by context statistics rather than by a singleton theorem for every realization [1803.04639].

Universal polar coding provides yet another adjacent pattern. A successive-cancellation list decoder for universal polar codes keeps \(\mathcal L\) most likely paths and can be implemented in \(O(\mathcal L N)\) space and \(O(\mathcal L N\log N)\) time for the full universal transform. The paper does not specify a final unambiguous selector beyond the usual notion of keeping the most likely paths, and CRC-like mechanisms are mentioned only peripherally. Here list maintenance is explicit, while true unambiguity must be supplied by a separate policy or external criterion [2001.03784].

## 6. Limits, neighboring notions, and contrasting uses of ambiguity

A central limitation is that small-list or capacity-achieving list decoding is not the same as unambiguous list decoding. Randomly punctured Reed–Solomon codes over fields as small as
\[
q\ge n+k\cdot 2^{O(1/\varepsilon^2)}
\]
can be \((1-R-\varepsilon,O(1/\varepsilon))\) average-radius list-decodable with high probability, and the list size \(O(1/\varepsilon)\) is the optimal order near capacity. This is bounded ambiguity, not singleton collapse, and the result is combinatorial rather than algorithmic [2304.09445]. The broader survey of list recoverable codes makes the same point in a more general language: exact unambiguity is \(L=1\), whereas near-capacity behavior typically yields list sizes such as \(O(\ell/\varepsilon)\) rather than \(1\) [2510.07597].

The rate–ambiguity tradeoff can also be expressed abstractly. In ratio list decoding, the decisive quantity is
\[
r(M_n,n)=\frac{M_n}{L(M_n,n)},
\]
and the ratio-capacity, defined as the supremum of achievable normalized logarithms of \(r(M_n,n)\), is equal to Shannon capacity \(C\). Since \(L=1\) corresponds to unique decoding, this framework identifies strict unambiguity as the endpoint of a broader continuum in which ambiguity is quantified by list size rather than eliminated outright [1810.08161].

Several nearby literatures reverse the objective entirely and treat ambiguity as a resource. Secure list decoding requires that the transmitted message be contained in the list while the receiver cannot uniquely identify it and the sender cannot control another list element [1901.02590]. List privacy amplification in quantum key distribution likewise extracts a list of \(L\) candidate keys such that one hidden-index key is truly secret, with achievable key length
\[
\ell \le H_{\min}^{\varepsilon}(X|E)_\rho + \log L - 2\log(1/\varepsilon) - 3,
\]
so the gain comes from preserving and hiding ambiguity rather than eliminating it [2603.18097]. These constructions are therefore not unambiguous list decoding protocols in the coding-theoretic sense; they are controlled-ambiguity protocols.

The most precise coding-theoretic use of the term remains the random-error singleton phenomenon. In that setting, unambiguity means that list decoding is necessary in principle because \(\rho\) may exceed \(\delta/2\), but under random symbol corruptions the list is overwhelmingly likely to be \(\{c\}\). The concept is therefore best viewed as probabilistic unique decoding via list decoding, with efficient realization depending on whether the chosen code family supplies a complete list decoder or an equivalent structured search method [1001.1781].

Source: https://www.emergentmind.com/topics/unambiguous-list-decoding-protocol