Randomly Punctured Reed-Solomon Codes Achieve the List Decoding Capacity over Polynomial-Size Alphabets

Zeyu Guo,Zihan Zhang
2023-04-07
Abstract:This paper shows that, with high probability, randomly punctured Reed-Solomon codes over fields of polynomial size achieve the list decoding capacity. More specifically, we prove that for any $\epsilon>0$ and $R\in (0,1)$, with high probability, randomly punctured Reed-Solomon codes of block length $n$ and rate $R$ are $\left(1-R-\epsilon, O({1}/{\epsilon})\right)$ list decodable over alphabets of size at least $2^{\mathrm{poly}(1/\epsilon)}n^2$. This extends the recent breakthrough of Brakensiek, Gopi, and Makam (STOC 2023) that randomly punctured Reed-Solomon codes over fields of exponential size attain the generalized Singleton bound of Shangguan and Tamo (STOC 2020).
Information Theory,Data Structures and Algorithms,Combinatorics
What problem does this paper attempt to address?
This paper aims to solve the problem of whether randomly punctured Reed - Solomon codes can reach the list - decoding capacity over polynomial - sized alphabets. Specifically, the author proves that for any \(\varepsilon>0\) and \(R\in(0, 1)\), with high probability, a randomly punctured Reed - Solomon code with block length \(n\) and rate \(R\) is \((1 - R-\varepsilon, O(1/\varepsilon))\) list - decodable over an alphabet of size at least \(2^{\text{poly}(1/\varepsilon)}n^{2}\). This result extends the recent breakthrough of Brakensiek, Gopi, and Makam (STOC 2023), that is, on an exponentially - sized alphabet, randomly punctured Reed - Solomon codes reach the generalized Singleton bound proposed by Shangguan and Tamo (STOC 2020). ### Background of the Paper Reed - Solomon (RS) codes are a classic error - correcting code, widely used in theory and practice. They are obtained by evaluating low - degree univariate polynomials over a finite field \(F_{q}\). Formally, given distinct elements \(\alpha_{1},\alpha_{2},\ldots,\alpha_{n}\in F_{q}\), the \([n, k]\) RS code is defined as: \[ \text{RS}_{n,k}(\alpha_{1},\ldots,\alpha_{n}):=\left\{(f(\alpha_{1}),\ldots,f(\alpha_{n})):f(X)\in F_{q}[X],\deg(f)<k\right\}\subseteq F_{q}^{n}. \] It has a rate \(R = k/n\) and a relative minimum distance \(\delta=(n - k + 1)/n\), reaching the Singleton bound. Therefore, the RS code with rate \(R\) has a unique decoding radius \((1 - R)/2\), which is the optimal value determined by the Singleton bound. ### List Decoding The concept of list decoding was independently proposed by Elias and Wozencraft in the 1950s as a natural generalization of unique decoding. In list decoding, the decoder can output \(L\geq1\) codewords and can correct more than \(\delta/2\) proportion of errors, where \(\delta\) is the relative minimum distance of the code. List decoding has many applications in theoretical computer science and information theory. ### Main Contributions The main contribution of this paper is to prove that on polynomial - sized alphabets, randomly punctured Reed - Solomon codes can reach the list - decoding capacity. Specifically, the author proves: - **Main Theorem**: For \(\varepsilon>0\), positive integers \(n, k, L\) with \(k\leq n\), and prime power \(q\geq2^{\text{poly}(L)/\varepsilon}nk\), with high probability, a randomly punctured \([n, k]\) RS code with rate \(R = k/n\) is \(\left(\frac{L}{L + 1}(1 - R-\varepsilon), L\right)\) average - radius list - decodable (and thus also \(\left(\frac{L}{L + 1}(1 - R-\varepsilon), L\right)\) list - decodable). - **Corollary**: For \(\varepsilon>0\), positive integers \(n, k\) with \(k\leq n\), and prime power \(q\geq2^{\text{poly}(1/\varepsilon)}nk\), with high probability, the rate...