Asymptotically optimal list size of random linear codes

For every prime power qq and every p∈(0,1−1/q)p\in(0,1-1/q), let Hq(p)H_q(p) denote the qq-ary entropy. As ε→0\varepsilon\to0 with 1−Hq(p)−ε>01-H_q(p)-\varepsilon>0, a random linear code C⊆FqnC\subseteq\mathbb{F}_q^n of rate 1−Hq(p)−ε1-H_q(p)-\varepsilon is, with probability tending to 11 as n→∞n\to\infty, (p,L)(p,L)-list-decodable for L=Hq(p)ε(1+oε(1))L=\frac{H_q(p)}{\varepsilon}(1+o_{\varepsilon}(1)); that is, for every y∈Fqny\in\mathbb{F}_q^n, the Hamming ball of radius pnpn centered at yy contains at most LL codewords of CC.

References

Primary source

arXiv

Progress summary

Refreshed
Claimed solved

A September 2026 unrefereed preprint claims to settle the optimal list-size question for random linear codes over every finite field, but independent verification is absent.

The problem asks for the smallest list size, near the random-coding rate, that random linear codes require for list decoding over finite fields. Earlier work established the sharp scale in the binary case and conjectured an analogous result for larger alphabets.

Known results

  • Binary random linear codes: list size at most ⌊h2(p)/ε⌋+2\lfloor h_2(p)/\varepsilon\rfloor+2 with high probability (2018).
  • General finite fields: a lower bound L≥⌊hq(p)/ε+0.99⌋L\ge \lfloor h_q(p)/\varepsilon+0.99\rfloor was proved, while the matching upper bound remained conjectural (2020).

September 2026 claimed resolution

A new preprint claims an average-radius upper bound for every prime-power alphabet, extending the binary result and asserting a sharper additive-constant form. The claim is based on an unrefereed preprint and has no recorded independent verification.

Current status (as of September 2026): Binary codes have near-sharp bounds, while the claimed all-finite-field resolution and sharper additive-constant estimate remain unverified.

Sources

Solutions 0

No solutions have been posted yet.