Applications of Grobner Bases to Linear Codes.

Put A = F , [ z i , . . . ,Za], and le t / be an ideal o f .4. Let be a ll the Fç-rational points o f V { I ) . Define a map ip : A / 1 — F " by (p{f) = ( / ( P i ) , . . . , / (P „ ) ) , where / is any preimage o f / under the canonical map from A to A / / . Let { / , | i E N } be a basis o f A / / as an F ,-vector space. Define the affine variety code C and its dual C'*" by ^ ~ V^((/l7 • • • ) fm))'i is the orthogonal complement o f C w ith respect to the usual inner product in F ". We show tha t any linear code can be expressed as an affine variety code. When a code C is represented as an affine variety code, problems o f de­ coding and find ing the m inim um distance o f C may be expressed as questions about polynom ial ideals. Using the theory o f Grobner bases, along w ith computer programs th a t cal­ culate Grobner bases, we show how to decode and find the m inim um distance o f any linear code.

[1]  L. Welch,et al.  Improved geometric Goppa codes , 1994, Proceedings of 1994 IEEE International Symposium on Information Theory.

[2]  Robert T. Chien,et al.  Cyclic decoding procedures for Bose- Chaudhuri-Hocquenghem codes , 1964, IEEE Trans. Inf. Theory.

[3]  Daniel Augot Description of Minimum Weight Codewords of Cyclic Codes by Algebraic Systems , 1996 .

[4]  W. W. Peterson,et al.  Encoding and error-correction procedures for the Bose-Chaudhuri codes , 1960, IRE Trans. Inf. Theory.

[5]  T. Willmore Algebraic Geometry , 1973, Nature.

[6]  Ralf Fröberg,et al.  An introduction to Gröbner bases , 1997, Pure and applied mathematics.

[7]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[8]  Bruno Buchberger,et al.  A note on the complexity of constructing Gröbner-Bases , 1983, EUROCAL.

[9]  Elwyn R. Berlekamp,et al.  Algebraic coding theory , 1984, McGraw-Hill series in systems science.