Algebra & Number Theory
- Algebra Number Theory
- Volume 4, Number 4 (2010), 433-463.
Cyclotomic function fields, Artin–Frobenius automorphisms, and list error correction with optimal rate
Algebraic error-correcting codes that achieve the optimal trade-off between rate and fraction of errors corrected (in the model of list decoding) were recently constructed by a careful “folding” of the Reed–Solomon code. The “low-degree” nature of this folding operation was crucial to the list decoding algorithm. We show how such folding schemes useful for list decoding arise out of the Artin–Frobenius automorphism at primes in Galois extensions. Using this approach, we construct new folded algebraic-geometric codes for list decoding based on cyclotomic function fields with a cyclic Galois group. Such function fields are obtained by adjoining torsion points of the Carlitz action of an irreducible . The Reed–Solomon case corresponds to the simplest such extension (corresponding to the case ). In the general case, we need to descend to the fixed field of a suitable Galois subgroup in order to ensure the existence of many degree 1 places that can be used for encoding.
Our methods shed new light on algebraic codes and their list decoding, and lead to new codes with optimal trade-off between rate and error correction radius. Quantitatively, these codes provide list decoding (and list recovery/soft decoding) guarantees similar to folded Reed–Solomon codes but with an alphabet size that is only polylogarithmic in the block length. In comparison, for folded RS codes, the alphabet size is a large polynomial in the block length. This has applications to fully explicit (with no brute-force search) binary concatenated codes for list decoding up to the Zyablov radius.
Algebra Number Theory, Volume 4, Number 4 (2010), 433-463.
Received: 29 June 2009
Revised: 5 January 2010
Accepted: 17 February 2010
First available in Project Euclid: 20 December 2017
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 11R60: Cyclotomic function fields (class groups, Bernoulli objects, etc.)
Secondary: 14Q05: Curves 11G30: Curves of arbitrary genus or genus = 1 over global fields [See also 14H25] 94B27: Geometric methods (including applications of algebraic geometry) [See also 11T71, 14G50] 12Y05: Computational aspects of field theory and polynomials 68Q30: Algorithmic information theory (Kolmogorov complexity, etc.) [See also 03D32]
Guruswami, Venkatesan. Cyclotomic function fields, Artin–Frobenius automorphisms, and list error correction with optimal rate. Algebra Number Theory 4 (2010), no. 4, 433--463. doi:10.2140/ant.2010.4.433. https://projecteuclid.org/euclid.ant/1513729538