Optimal rate algebraic list decoding of folded algebraic geometry codes
We give a construction of folded algebraic geometry codes which are list decodable from a fraction 1-R-ε of adversarial errors, where R is the rate of the code, for any desired positive constant ε.
By using explicit towers, we obtain folded algebraic geometry code with the worst-case list size output 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 lower bound of exp(Ω(1/ε)). The parameters we achieve are thus quite close to the existential bounds in all three aspects – error-correction radius, alphabet size, and list-size – simultaneously. Our 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ε (Nc) for an absolute constant c, where N is the code's block length.
By using class field towers, we obtain folded algebraic geometry code with the worst-case list size output O(poly(N)). The alphabet size of the codes is a constant depending only on ε. Our code construction is deterministic. Once the code is efficiently encoded, decoding algorithms are efficiently as well.