Abstract:We give a new construction of algebraic codes which are efficiently list decodable from a fraction 1-R-ε of adversarial errors where R is the rate of the code, for any desired positive constant ε. The worst-case list size output by the algorithm is O(1/ε), matching the existential bound for random codes up to constant factors. Further, the alphabet size of the codes is a constant depending only on ε --- it can be made exp(~O(1/ε 2 )) which is not much worse than the non-constructive exp(1/ε) bound of random codes. The code construction is Monte Carlo and has the claimed list decoding property with high probability. Once the code is (efficiently) sampled, the encoding/decoding algorithms are deterministic with a running time O ε (N c ) for an absolute constant $c$, where N is the code's block length. Our construction is based on a careful combination of a linear-algebraic approach to list decoding folded codes from towers of function fields, with a special form of subspace-evasive sets. Instantiating this with the explicit "asymptotically good" Garcia-Stichtenoth (GS for short) tower of function fields yields the above parameters. To illustrate the method in a simpler setting, we also present a construction based on Hermitian function fields, which offers similar guarantees with a list-size and alphabet size polylogarithmic in the block length N. In comparison, algebraic codes achieving the optimal trade-off between list decodability and rate based on folded Reed-Solomon codes have a decoding complexity of N Ω(1/ε) , an alphabet size of N Ω(1/ε 2 ) , and a list size of O(1/ε 2 ) (even after combination with subspace-evasive sets). Thus we get an improvement over the previous best bounds in all three aspects simultaneously, and are quite close to the existential random coding bounds. Along the way, we shed light on how to use automorphisms of certain function fields to enable list decoding of the folded version of the associated algebraic-geometric codes.

Codes from Goppa codes

Goppa Geometric Codes Achieving the Gilbert-Varshamov Bound

Generator polynomials of cyclic expurgated or extended Goppa codes

On the matrix code of quadratic relationships for a Goppa code

Nonlinear Codes Exceeding the Gilbert-Varshamov and Tsfasman-Vlăduţ-Zink Bounds.

Multivariate Goppa codes

Excellent nonlinear codes from algebraic function fields

On the Goppa morphism

Permutation equivalent maximal irreducible Goppa codes

A Class of Linear Codes with Good Parameters from Algebraic Curves

Faster List Decoding of AG Codes

Algebraic-geometry codes with asymptotic parameters better than the Gilbert-Varshamov and the Tsfasman-Vladut-Zink bounds

Goppa-like AG codes from $C_{a,b}$ curves and their behaviour under squaring their dual

Goppa Codes: Key to High Efficiency and Reliability in Communications

Folded Codes from Function Field Towers and Improved Optimal Rate List Decoding

Computation of Grobner basis for systematic encoding of generalized quasi-cyclic codes

A Class of Polynomial Codes

Good Linear Codes from Polynomial Evaluations.

Constructions of Algebraic-Geometry Codes

Lattices, Gates, and Curves: GKP codes as a Rosetta stone