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.

A Construction of Permutation Codes from Rational Function Fields and Improvement to the Gilbert–Varshamov Bound

Some new results on permutation polynomials over finite fields

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

Improving the Gilbert-Varshamov bound for permutation Codes in the Cayley metric and Kendall $τ$-Metric

Construction of Binary Linear Codes Via Rational Function Fields

A new construction of nonlinear codes via rational function fields

New Upper Bounds on Sizes of Permutation Arrays

Construction of Asymptotically Good Locally Repairable Codes Via Automorphism Groups of Function Fields.

Construction of optimal locally repairable codes via automorphism groups of rational function fields

Excellent nonlinear codes from algebraic function fields

Improved Bounds for Permutation Arrays Under Chebyshev Distance

Permutation and Multi-permutation Codes Correcting Multiple Deletions

Constructive Asymptotic Bounds of Locally Repairable Codes Via Function Fields

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

New Constructions of Permutation Arrays

Asymptotically good quantum codes exceeding the Ashikhmin-Litsyn-Tsfasman bound

A New Construction of Nonlinear Codes Via Algebraic Function Fields

On the equivalence of linear cyclic and constacyclic codes

Gilbert-Varshamov Bound for Codes in $L_1$ Metric using Multivariate Analytic Combinatorics

Code constructions and existence bounds for relative generalized Hamming weight

Improved Gilbert-Varshamov bounds for hopping cyclic codes and optical orthogonal codes