List-Recovery of Random Linear Codes over Small Fields
Dean Doron, Jonathan Mosheiff, Nicolas Resch, João Ribeiro
TL;DR
The paper studies list-recoverability of random linear codes over small fields near capacity, focusing on both erasures and errors. It introduces a δ-mixing framework and leverages prime-field worst-case mixing, along with puffed-up list-recovery balls, to obtain near-capacity bounds with linear dependence on 1/ε. The main results show L = O(1/ε) for list-recovery from erasures over prime fields and from errors over arbitrary fields, improving on the Zyablov–Pinsker bounds in many small-field regimes. The approach builds on mixing properties, increasing chains, and concentration tools to bridge random-code intuition with linear-code structure, and it highlights field-insensitive behavior for errors but field-sensitive behavior for erasures. These findings advance understanding of the trade-offs between linearity and list-size near capacity in the small alphabet regime, with implications for pseudorandomness and coding-theoretic constructions.
Abstract
We study list-recoverability of random linear codes over small fields, both from errors and from erasures. We consider codes of rate $ε$-close to capacity, and aim to bound the dependence of the output list size $L$ on $ε$, the input list size $\ell$, and the alphabet size $q$. Prior to our work, the best upper bound was $L = q^{O(\ell/ε)}$ (Zyablov and Pinsker, Prob. Per. Inf. 1981). Previous work has identified cases in which linear codes provably perform worse than non-linear codes with respect to list-recovery. While there exist non-linear codes that achieve $L=O(\ell/ε)$, we know that $L \ge \ell^{Ω(1/ε)}$ is necessary for list recovery from erasures over fields of small characteristic, and for list recovery from errors over large alphabets. We show that in other relevant regimes there is no significant price to pay for linearity, in the sense that we get the correct dependence on the gap-to-capacity $ε$ and go beyond the Zyablov-Pinsker bound for the first time. Specifically, when $q$ is constant and $ε$ approaches zero: - For list-recovery from erasures over prime fields, we show that $L \leq C_1/ε$. By prior work, such a result cannot be obtained for low-characteristic fields. - For list-recovery from errors over arbitrary fields, we prove that $L \leq C_2/ε$. Above, $C_1$ and $C_2$ depend on the decoding radius, input list size, and field size. We provide concrete bounds on the constants above, and the upper bounds on $L$ improve upon the Zyablov-Pinsker bound whenever $q\leq 2^{(1/ε)^c}$ for some small universal constant $c>0$.