Improvements on the Johnson bound for Reed-Solomon codes
Discrete Applied Mathematics
Affine dispersers from subspace polynomials
Proceedings of the forty-first annual ACM symposium on Theory of computing
Complexity of decoding positive-rate primitive Reed-Solomon codes
IEEE Transactions on Information Theory
Constructing high order elements through subspace polynomials
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Hi-index | 0.06 |
We show combinatorial limitations on efficient list decoding of Reed-Solomon codes beyond the Johnson and Guruswami-Sudan bounds [Joh62, Joh63, GS99]. In particular, we show that for arbitrarily large fields \mathbb{F}_N ,|\mathbb{F}_N| = N, for any \delta \in (0, 1), and K = N^{\delta}: --Existence: there exists a received word w_N : \mathbb{F}_N \to\mathbb{F}_N that agrees with a super-polynomial number of distinct degree K polynomials on \approxN^{\sqrt \delta}points each;--Explicit: there exists a polynomial time constructible received word w'_N: \mathbb{F}_N \to \mathbb{F}_N that agrees with a super-polynomial number of distinct degree K polynomials, on \approx 2^{\sqrt {\log N} } K points each. In both cases, our results improve upon the previous state of the art, which was \approx N^{\delta}/\delta for the existence case [JH01], and \approx 2N^{\delta} for the explicit one [GR05b]. Furthermore, for \delta close to 1 our bound approaches the Guruswami-Sudan bound (which is \sqrt {NK}) and implies limitations on extending their efficient RS list decoding algorithm to larger decoding radius.Our proof method is surprisingly simple. We work with polynomials that vanish on subspaces of an extension field viewed as a vector space over the base field. These subspace polynomials are a subclass of linearized polynomials that were first studied by Ore [Ore33, Ore34] in the 1930s, and later by coding theorists. For us their main attraction is their sparsity and abundance of roots, virtues that recently won them pivotal roles in probabilistically checkable proofs of proximity [BSGH+04, BSS05] and sub-linear proof verification [BSGH+05].