---
title: Quantum List Decoding
url: https://www.emergentmind.com/topics/quantum-list-decoding
type: topic
---

# Quantum List Decoding

Searching arXiv for recent and foundational papers on quantum list decoding and closely related decoding frameworks.
Quantum list decoding denotes a family of decoding tasks in which the decoder is permitted to return a bounded list of candidates rather than a unique answer. In one formulation, introduced for classical block codes accessed through a quantumly corrupted codeword, the goal is to output a short list containing all messages whose codewords have sufficiently high “presence” in the corrupted quantum object [0610200]. In quantum error correction, especially for CSS and stabilizer codes, the corresponding task is to output a bounded list of error cosets consistent with the measured syndrome and a decoding radius, thereby accommodating degeneracy and logically equivalent error patterns [2411.04306]. In pure-state classical-quantum channels, zero-error list decoding is formulated through a POVM whose outcomes are lists that must contain the transmitted message with probability \(1\) [2601.09786].

## 1. Scope of the term and basic decoding objects

Across the cited literature, “quantum list decoding” refers to several related but non-identical problems. The common structural feature is controlled ambiguity: a decoder replaces unique reconstruction by a short list whose size is bounded independently of the particular received object.

| Setting | Input object | Output guarantee |
|---|---|---|
| Quantumly corrupted classical codewords | A quantumly corrupted codeword of a classical block code | All messages with high codeword “presence” appear in a short list |
| CSS/stabilizer quantum codes | Syndrome pair, or a noisy syndrome in fault-tolerant decoding | A bounded list of syndrome-consistent error cosets or candidates |
| Classical-quantum channels | Pure-state channel outputs over \(n\) uses | A POVM outcome list containing the transmitted message with probability \(1\) |

The first setting is representation-theoretic: a classical codeword is accessed through a quantumly corrupted oracle-like object, and the decoder must recover every message whose codeword is sufficiently present in that object [0610200]. The second is syndrome-theoretic: list decoding operates on Pauli errors, cosets modulo stabilizers, and logical equivalence classes, so the object being listed is typically not a single physical error but a syndrome-consistent class of errors [2411.04306]. The third is channel-theoretic: the list is a direct output of the receiver’s measurement, and the central quantity is zero-error capacity under fixed list size [2601.09786].

This diversity of formulations is not merely terminological. It reflects three distinct motivations that recur throughout the literature: handling quantum access to classical codewords, exploiting degeneracy in quantum error correction, and replacing unique recovery by bounded ambiguity in regimes where unique decoding is too restrictive.

## 2. CSS and stabilizer formulations

For CSS codes, the basic classical data are two \(\mathbb F_q\)-linear subspaces \(C_X,C_Z\subseteq \mathbb F_q^n\) satisfying \(C_Z^\perp\subseteq C_X\), equivalently \(C_X^\perp\subseteq C_Z\). The associated rate and distance are given by
\[
R=\frac{\dim(C_X)-\dim(C_Z^\perp)}{n},
\qquad
\delta=\min\!\Bigl\{\frac{\|e\|}{n}\,\Bigm|\,e\in(C_X\setminus C_Z^\perp)\cup(C_Z\setminus C_X^\perp)\Bigr\},
\]
with \(\|e\|\) denoting Hamming weight [2408.14652]. In this setting, list decoding receives measured syndromes and must output error cosets of the form \(\{e+C_Z^\perp\}\times\{f+C_X^\perp\}\) containing every actual error pair of weight at most \(\tau n\) [2408.14652].

A closely related formulation for CSS codes defines, for a syndrome pair \((g_X,g_Z)\), the sets \(L_X(g_X,\tau)\) and \(L_Z(g_Z,\tau)\) of nearby cosets, and then the error-list
\[
L_e(g_X,g_Z,\tau)=\bigl(L_X(g_X,\tau)-g_X\bigr)\times\bigl(L_Z(g_Z,\tau)-g_Z\bigr).
\]
A quantum CSS code is \((\tau,L)\)-list-decodable if this list has size at most \(L\) for every syndrome, and efficiently so if a superset can be produced in polynomial time [2411.04306]. The formulation makes degeneracy explicit: the fundamental listed objects are cosets modulo \(C_Z^\perp\) and \(C_X^\perp\), not individual errors.

The principal combinatorial radius in this framework is the quantum Johnson bound,
\[
\tau_J(\delta)=1-\sqrt{1-\delta}.
\]
For CSS codes of relative distance \(\delta\), the cited covering-lemma argument shows that up to \(\tau_J(\delta)\) the list size is \(O(n)\), and for any radius \(\tau<\tau_J(\delta)\) only \(O(n\cdot |\text{alphabet}|^{\text{constant}})\) distinct cosets can lie in the ball [2411.04306]. This bound is the quantum analogue of the classical Johnson regime and serves as the target radius for several recent QLDPC constructions.

In stabilizer language, list decoding can be expressed operationally through a CPTP recovery map. A code \(Q\) is \(L\)-list-decodable for an error set \(\mathcal A\subset\mathcal P_n\) if there exists \(\mathcal D_Q\) such that for every \(E\in\mathcal A\) and every logical input \(|\bar\psi\rangle\),
\[
\mathcal D_Q\!\bigl(E|\bar\psi\rangle\langle\bar\psi|E^\dagger\bigr)
=
\sum_{i\in \mathrm{List}_E}\frac{1}{|\mathrm{List}_E|}\,E_i\,|\bar\psi\rangle\langle\bar\psi|\,E_i^\dagger,
\]
where \(\mathrm{List}_E\) contains at most \(L\) Pauli errors of the same syndrome as \(E\) [2509.08943]. This formulation isolates the recovery guarantee without committing to a specific algorithmic implementation.

## 3. Presence-based quantum decoding of classical block codes

A 2006 formulation studied quantum list decoding for classical error-correcting block codes in the presence model. There, the task is to produce from any quantumly corrupted codeword a short list containing all messages whose codewords exhibit high “presence” in the corrupted codeword [0610200]. The work notes that efficient quantum list decoders had already been used to prove a quantum hardcore property of classical codes, but that all previously known efficiently quantum list-decodable families had code rates too small for broader practical use [0610200].

The main positive result concerns a specific code family of polynomially small code rate over a fixed code alphabet, obtained by concatenating generalized Reed-Solomon codes as outer codes with Hadamard codes as inner codes. For this family, an efficient quantum list-decoding algorithm exists when the relevant codewords have relatively high codeword presence in the given quantumly corrupted codeword [0610200]. As an immediate application, the same work uses this quantum list decodability to solve a certain form of quantum search problems in polynomial time [0610200].

The paper also identifies a sharp change in behavior as the admissible presence threshold decreases. When codeword presence becomes smaller, the quantum list decodability of generalized Reed-Solomon codes with high confidence becomes closely related to efficient solvability of the noisy polynomial interpolation problem and the bounded distance vector problem [0610200]. Under the assumption that \( \mathrm{NP}\not\subseteq \mathrm{BQP} \), it further proves that no efficient quantum list decoder exists for generalized Reed-Solomon codes [0610200]. This establishes an early complexity-theoretic obstruction: efficient quantum list decoding is not a generic property of algebraically strong code families, and threshold-sensitive behavior can be computationally decisive.

## 4. Explicit constructions and asymptotic theory

Recent work has shifted the emphasis from isolated families to asymptotic constructions with simultaneously strong rate, distance, sparsity, and algorithmic guarantees. A central development is the construction of QLDPC codes with near-optimal rate-distance tradeoff and efficient list decoding up to the Johnson bound in polynomial time [2411.04306]. The construction relies on new algorithmic results for codes obtained via the quantum analogue of the Alon-Edmonds-Luby distance amplification scheme, together with convex relaxations from the Sum-of-Squares hierarchy that reduce list decoding of the amplified code to unique decoding of the base code [2411.04306].

This line of work is explicitly positioned against two earlier limitations: previous constructions of list-decodable good-distance quantum codes either required access to a classical side channel or relied on algebraic constructions that precluded the LDPC property [2411.04306]. By choosing as base codes recent asymptotically good QLDPC families with efficient unique decoders, including the constructions of Panteleev-Kalachev and Leverrier-Zémor, the amplified construction yields efficiently list-decodable QLDPC codes [2411.04306]. A related 2024 thesis presents the broader list-decoding framework, its proof-system viewpoint, and its extension to the quantum version of AEL distance amplification, emphasizing polynomial-time list decodability for quantum LDPC codes [2408.14652].

The same framework formalizes a quantum AEL distance theorem. If \(\mathcal Q_{\rm out}\) and \(\mathcal Q_{\rm in}\) are outer and inner CSS codes and \(G\) is an \((n,d,\lambda)\)-expander, then the amplified code has relative distance satisfying
\[
\delta_{\rm amp}\ge \delta_{\rm in}-\frac{\lambda}{\delta_{\rm out}},
\]
and remains LDPC when the constituent codes are LDPC [2411.04306]. The resulting list decoder operates via a bounded-degree SoS SDP, correlation rounding, and repeated invocation of the outer unique decoder; the stated runtime is \(n^{O(1/\epsilon_2^4)}\) for decoding up to radius \(\tau_J(\delta_{\rm amp})-\epsilon_2\) [2411.04306].

A separate algebraic route is provided by folded quantum Hermitian codes. These are CSS codes built from folded Hermitian one-point codes over \(\mathbb F_{q^2}\). For fold parameter \(m\), the folded code has length \(N=q^3/m\), unchanged rate, and list-decoding radius
\[
\tau=\frac{1-R_{\mathrm{css}}}{2}-\epsilon,
\]
with list size \(L=N^{O(1/\epsilon^2)}\) and decoding time \(N^{O(1/\epsilon^2)}\) [2605.10534]. The construction is stated to meet the quantum Singleton bound asymptotically, and, compared with folded quantum Reed-Solomon codes, to achieve comparable lengths over smaller alphabets [2605.10534]. The parameter comparison in the cited exposition gives alphabet size \((1/\epsilon)^{O(1/\epsilon^2)}\) for folded quantum Hermitian codes versus \(2^{O(1/\epsilon^5)}\) for the folded quantum Reed-Solomon construction after distance amplification [2605.10534].

Taken together, these constructions show that efficient quantum list decoding is no longer confined to either extremely low-rate families or dense algebraic objects. The current theory includes QLDPC constructions reaching the Johnson regime and folded algebraic CSS families reaching the quantum Singleton tradeoff.

## 5. Decoder architectures for quantum polar, surface, and LDPC codes

At the algorithmic level, recent work treats list decoding as a practical decoding primitive rather than only a combinatorial existence statement. Several decoder families instantiate this shift in distinct coding architectures.

| Decoder family | Code class | Main property |
|---|---|---|
| SCL-E / SCL-C | Quantum polar CSS codes | \(O(LN\log N)\); class-oriented aggregation improves logical error rate [2304.04743] |
| Extended BP-OSD | Surface codes with erroneous syndrome | Joint qubit-and-syndrome recovery without extra measurements [2409.06979] |
| MBBP-LD | QLDPC and bicycle codes | Multiple augmented parity-check bases with BP-like latency [2605.14170] |
| BF-OSD | QLDPC codes | Best-first coset search in decreasing likelihood order [2605.25777] |
| RL-LS BP | QLDPC codes | Learned sequential scheduling with list branching [2606.20926] |

Gong and Renes adapt successive-cancellation list decoding to quantum polar codes and show that the resulting decoders inherit the low complexity of the classical case, approximating the quantum maximum-likelihood decoder for certain channels [2304.04743]. Their polarization-weight construction avoids the need for the small amounts of entanglement assistance that appeared in previous quantum polar code constructions, and yields CSS codes with parameters \([[N,K_X+K_Z-N,\min(d_X,d_Z)]]\) [2304.04743]. Two variants are emphasized. SCL-E chooses the most likely single error pattern, while SCL-C aggregates posterior mass over error equivalence classes and then chooses the most likely class. Both run in \(O(LN\log N)\) time and \(O(LN)\) memory, and SCL-C is reported to improve the logical error rate over SCL-E by factors up to \(\approx 1.15\) in the tabulated regime [2304.04743].

For surface codes with noisy syndrome measurements, list decoding has been integrated with syndrome-soft-information processing. The cited algorithm first performs belief propagation with soft syndrome information and then applies ordered statistics decoding to a virtual code of length \(N=2n+m\) with parity-check matrix \(H'=[H\mid I_m]\), thereby generating a list of joint qubit-and-syndrome candidates [2409.06979]. On the \([[41,1,5]]\) surface code under depolarizing data noise and syndrome bit-flip noise, the reported extended BP-OSD decoder reduces logical error rates by approximately \(2\times\)–\(10\times\) across \(p\in[10^{-4},10^{-2}]\) at \(q=10^{-5}\), while avoiding extra measurements [2409.06979].

For QLDPC codes, list decoding is increasingly implemented by generating decoding diversity across multiple parity-check realizations. The Multiple-Bases Belief-Propagation List Decoder constructs redundant parity-check matrices from cycle-free subtree decompositions of the Tanner graph and runs BP in parallel across these representations [2605.14170]. The 2026 study reports up to \(20\%\) reduction in error rate compared to BPGD and up to \(30\%\) compared to BP-OSD for bivariate bicycle codes in low- and moderate-error regimes, while retaining BP-like latency under parallel implementation [2605.14170]. A closely related 2025 study introduces the same decoder name together with the Frequency-Weighted Scoring rule for final selection and reports up to \(40\%\) lower logical error rate than BP-OSD on the \([[144,12,12]]\) bivariate bicycle code, while also proposing univariate bicycle codes that reduce the search space from \(\mathcal O(n^w)\) to \(\mathcal O(n^{w/2})\) for the specified construction method [2511.02951].

Ordered-statistics decoding itself is now treated explicitly as a quantum list-decoding method because it enumerates a subset of the affine coset \(\{e:He=s\}\) and returns the minimum-cost candidate. Best-First OSD replaces preselected brute-force enumeration by a best-first traversal of that coset in order of decreasing likelihood [2605.25777]. The method always invokes OSD after a fixed small number of BP iterations, rather than only after BP failure, and Monte Carlo simulations on bivariate bicycle codes under full circuit-level noise show that it matches the BP+OSD baseline while using roughly \(1/100\) of the original query budget [2605.25777].

A further variant incorporates reinforcement learning. The RL-LS BP decoder extends reinforcement-learning-based sequential variable-node scheduling by maintaining a list of trajectories and branching to a “second-symbol” alternative when local posterior scores are nearly tied [2606.20926]. Paths are ranked by a cumulative path metric equal to the sum of local log-likelihood penalties incurred by second-best branch choices. On the benchmark codes reported in the paper, RL-LS improves the block error rate of the underlying learned decoder and often reduces average iterations substantially; for example, on the BB\((288,12,18)\) code, RL-LS with \(L=8\) and \(T=100\) matches the BLER of RL-S with \(T=1000\) while using about \(2\) iterations on average rather than \(16\) [2606.20926].

These algorithmic developments indicate that, in practical QEC, list decoding is tightly connected to degeneracy-aware post-processing, syndrome-consistent candidate enumeration, and the reuse of soft information produced by BP-like front ends.

## 6. Zero-error channels, adversarial regimes, and boundary phenomena

In pure-state classical-quantum channels, zero-error list decoding is defined directly at the level of the measurement. For a channel \(W:x\mapsto |\psi_x\rangle\langle\psi_x|\), an \(L\)-list decoder is a POVM \(\{E_\ell: \ell\subseteq[M], |\ell|\le L\}\) such that, when message \(i\) is sent, the outcome list contains \(i\) with probability \(1\) [2601.09786]. Dalai, Girardi, and Lami derive an achievability bound for list size \(2\) and a converse bound for every fixed list size. Writing
\[
Q_P(W)=\sum_{x,x'}P(x)P(x')\,|\langle \psi_x|\psi_{x'}\rangle|,
\]
they prove
\[
C_{0,2}(W)\ge \max_P[-\log Q_P(W)],
\]
and also
\[
C_{0,L}(W)\le \min_{A\in\mathcal A_W}\max_P[-\log Q_P(A)]
\]
for general fixed \(L\) [2601.09786]. When the absolute-overlap matrix \(A_W\) is positive semidefinite, the bounds coincide and
\[
C_{0,L}(W)=\max_P[-\log Q_P(W)]
\qquad \text{for all } L\ge 2
\]
[2601.09786]. The trine channel exhibits a specifically quantum boundary phenomenon: the paper gives \(C_{0,L}=\log(3/2)\approx 0.585\) for every \(L\ge 2\), while the sphere-packing quantity is \(R_\infty(W)=1\), so fixed but arbitrarily large list size does not recover the divergence rate that would be approached in the classical case [2601.09786]. This directly contradicts the classical intuition that increasing a fixed list size should eventually saturate the sphere-packing threshold.

Adversarial quantum error correction introduces a different boundary phenomenon: list decoding can surpass the half-distance limitation of unique decoding, but only if one accepts ambiguity and then resolves it by an additional mechanism. In this setting, generalized Knill-Laflamme conditions characterize when a stabilizer code is \(L\)-list-decodable for a chosen error set \(\mathcal A\). If two errors have different syndromes then \(\Pi_QE^\dagger F\Pi_Q=0\); if they share a syndrome, the projected products must decompose through a syndrome-dependent list of size at most \(L\) and associated unitary mixing matrices [2509.08943]. The same work states that, for rate \(R\), list-decodable stabilizer codes can achieve \(\epsilon_{\max}=(1-R)/2-o(1)\) with \(L=\mathrm{poly}(n)\), whereas standard unique decoding is described by \(\epsilon_u\approx(1-R)/4\) [2509.08943]. For \(R=1/2\), the reported comparison is \(t_u/n\approx 0.125\) versus \(t_L/n\approx 0.25\) [2509.08943].

The cited adversarial protocol resolves the residual ambiguity cryptographically. Starting from an \((\epsilon,L)\)-list-decodable code \(Q_L\), it applies a family of pseudorandom unitaries before stabilizer encoding and then tests list elements by inverse unitaries and ancilla checks [2509.08943]. Under the stated assumptions, Protocol 1 uniquely recovers the plaintext with fidelity at least \(1-L\,2^{-m/2+\mathrm{polylog}\,n}\) and achieves trace-distance security \(\delta=O(\sqrt{L\,2^{-m/2}})\) against any quantum polynomial-time adversary, even with polynomially many decoding attempts and key reuse [2509.08943]. This places quantum list decoding at the interface of coding theory and complexity-based quantum cryptography.

The combined picture is technically nuanced. In some settings, such as QLDPC constructions up to the Johnson bound, list decoding extends algorithmic reach while preserving sparsity and polynomial-time decodability [2411.04306]. In others, such as generalized Reed-Solomon presence decoding or zero-error pure-state channels, the literature identifies explicit complexity barriers or intrinsic quantum gaps that prevent the naive transfer of classical expectations [0610200][2601.09786].

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