Artin automorphisms, cyclotomic function fields, and folded list-decodable codes

Algebraic codes that achieve list decoding capacity 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 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 M ∈ Fq[T]. The Reed-Solomon case corresponds to the simplest such extension (corresponding to the case M=T). 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 one places that can be used for encoding. Our methods shed new light on algebraic codes and their list decoding, and lead to new codes achieving list decoding capacity. 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.

[1]  Henning Stichtenoth,et al.  Algebraic function fields and codes , 1993, Universitext.

[2]  Harald Niederreiter,et al.  Introduction to finite fields and their applications: List of Symbols , 1986 .

[3]  Gerhard Frey,et al.  On the different of abelian extensions of global fields , 1992 .

[4]  Madhu Sudan,et al.  Decoding of Reed Solomon Codes beyond the Error-Correction Bound , 1997, J. Complex..

[5]  Michael Rosen,et al.  Number Theory in Function Fields , 2002 .

[6]  Villa Salvador,et al.  Topics in the Theory of Algebraic Function Fields , 2006 .

[7]  Michael Rosen Cyclotomic Function Fields , 2002 .

[8]  Henning Stichtenoth Transitive and Self-dual Codes Attaining the Tsfasman-Vladut-Zink Bound , 2005 .

[9]  Heinz Georg Quebbemann,et al.  Cyclotomic Goppa codes , 1988, IEEE Trans. Inf. Theory.

[10]  Henning Stichtenoth,et al.  Transitive and self-dual codes attaining the Tsfasman-Vla/spl breve/dut$80-Zink bound , 2006, IEEE Transactions on Information Theory.

[11]  Alexander Vardy,et al.  Correcting errors beyond the Guruswami-Sudan radius in polynomial time , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[12]  D. Hayes Explicit class field theory for rational function fields , 1974 .

[13]  L. Carlitz A class of polynomials , 1938 .

[14]  Harald Niederreiter,et al.  Explicit global function fields over the binary field with many rational places , 1996 .

[15]  Venkatesan Guruswami,et al.  Explicit Codes Achieving List Decoding Capacity: Error-Correction With Optimal Redundancy , 2005, IEEE Transactions on Information Theory.

[16]  H. Stichtenoth,et al.  A tower of Artin-Schreier extensions of function fields attaining the Drinfeld-Vladut bound , 1995 .

[17]  Harald Niederreiter,et al.  Cyclotomic function fields, Hilbert class fields, and global function fields with many rational places , 1997 .

[18]  Venkatesan Guruswami,et al.  Correlated Algebraic-Geometric Codes: Improved List Decoding over Bounded Alphabets , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

[19]  Ming-Deh A. Huang,et al.  Folded Algebraic Geometric Codes From Galois Extensions , 2009, ArXiv.

[20]  Jørn Justesen,et al.  Class of constructive asymptotically good algebraic codes , 1972, IEEE Trans. Inf. Theory.

[21]  H. Stichtenoth,et al.  On the Asymptotic Behaviour of Some Towers of Function Fields over Finite Fields , 1996 .

[22]  Ba-Zhong Shen A Justesen construction of binary concatenated codes that asymptotically meet the Zyablov bound for low rate , 1993, IEEE Trans. Inf. Theory.

[23]  Venkatesan Guruswami,et al.  Improved decoding of Reed-Solomon and algebraic-geometric codes , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[24]  Venkatesan Guruswami,et al.  On representations of algebraic-geometry codes , 2001, IEEE Trans. Inf. Theory.

[25]  Venkatesan Guruswami,et al.  Improved decoding of Reed-Solomon and algebraic-geometry codes , 1999, IEEE Trans. Inf. Theory.