p-Adic estimates of Hamming weights in Abelian codes over Galois rings

A generalization of McEliece's theorem on the p-adic valuation of Hamming weights of words in cyclic codes is proved in this paper by means of counting polynomial techniques introduced by Wilson along with a technique known as trace-averaging introduced here. The original theorem of McEliece concerned cyclic codes over prime fields. Delsarte and McEliece later extended this to Abelian codes over finite fields. Calderbank, Li, and Poonen extended McEliece's original theorem to cover cyclic codes over the rings /spl Zopf//sub 2//sup d/, Wilson strengthened their results and extended them to cyclic codes over /spl Zopf//sub p//sup d/, and Katz strengthened Wilson's results and extended them to Abelian codes over /spl Zopf//sub p//sup d/. It is natural to ask whether there is a single analogue of McEliece's theorem which correctly captures the behavior of codes over all finite fields and all rings of integers modulo prime powers. In this paper, this question is answered affirmatively: a single theorem for Abelian codes over Galois rings is presented. This theorem contains all previously mentioned results and more

p-Adic valuation of weights in Abelian codes over /spl Zopf/(p/sup d/)

Counting polynomial techniques introduced by Wilson are used to provide analogs of a theorem of McEliece. McEliece's original theorem relates the greatest power of p dividing the Hamming weights of words in cyclic codes over GF (p) to the length of the smallest unity-product sequence of nonzeroes of the code. Calderbank, Li, and Poonen presented analogs for cyclic codes over /spl Zopf/(2/sup d/) using various weight functions (Hamming, Lee, and Euclidean weight as well as count of occurrences of a particular symbol). Some of these results were strengthened by Wilson, who also considered the alphabet /spl Zopf/(p/sup d/) for p an arbitrary prime. These previous results, new strengthened versions, and generalizations are proved here in a unified and comprehensive fashion for the larger class of Abelian codes over /spl Zopf/(p/sup d/) with p any prime. For Abelian codes over /spl Zopf//sub 4/, combinatorial methods for use with counting polynomials are developed. These show that the analogs of McEliece's theorem obtained by Wilson (for Hamming weight, Lee weight, and symbol counts) and the analog obtained here for Euclidean weight are sharp in the sense that they give the maximum power of 2 that divides the weights of all the codewords whose Fourier transforms have a specified support

Properties of trace maps and their applications to coding theory

In this thesis we study the application of trace maps over Galois fields and Galois rings in the construction of non-binary linear and non-linear codes and mutually unbiased bases. Properties of the trace map over the Galois fields and Galois rings has been used very successfully in the construction of cocyclic Hadamard, complex Hadamard and Butson Hadamard matrices and consequently to construct linear codes over integers modulo prime and prime powers. These results provide motivation to extend this work to construct codes over integers modulo . The prime factorization of integers paved the way to focus our attention on the direct product of Galois rings and Galois fields of the same degree. We define a new map over the direct product of Galois rings and Galois fields by using the usual trace maps. We study the fundamental properties of the this map and notice that these are very similar to that of the trace map over Galois rings and Galois fields. As such this map called the trace-like map and is used to construct cocyclic Butson Hadamard matrices and consequently to construct linear codes over integers modulo . We notice that the codes construct in this way over the integers modulo 6 is simplex code of type . A further generalization of the trace-like map called the weighted-trace map is defined over the direct product of Galois rings and Galois fields of different degrees. We use the weighted-trace map to construct some non-linear codes and mutually unbiased bases of odd integer dimensions. Further more we study the distribution of over the Galois fields of degree 2 and use it to construct 2-dimensional, two-weight, self-orthogonal codes and constant weight codes over integers modulo prime

Low-dimensional Topology and Number Theory

The workshop brought together topologists and number theorists with the intent of exploring the many tantalizing connections between these areas

Contributions to the construction and decoding of non-binary low-density parity-check codes

Master'sMASTER OF ENGINEERIN

Transceiver Design with Iterative Decoding of Capacity-Approaching codes over Fading channels

Ph.DDOCTOR OF PHILOSOPH

On p-Adic Estimates of Weights in Abelian Codes over Galois Rings

Let p be a prime. We prove various analogues and generalizations of McEliece's theorem on the p-divisibility of weights of words in cyclic codes over a finite field of characteristic p. Here we consider Abelian codes over various Galois rings. We present four new theorems on p-adic valuations of weights. For simplicity of presentation here, we assume that our codes do not contain constant words. The first result has two parts, both concerning Abelian codes over Z/pdZ. The first part gives a lower bound on the p-adic valuations of Hamming weights. This bound is shown to be sharp: for each code, we find the maximum k such that pk divides all Hamming weights. The second part of our result concerns the number of occurrences of a given nonzero symbol s ∈ Z/pdZ in words of our code; we call this number the s-count. We find a j such that pj divides the s-counts of all words in the code. Both our bounds are stronger than previous ones for infinitely many codes. The second result concerns Abelian codes over Z/4Z. We give a sharp lower bound on the 2-adic valuations of Lee weights. It improves previous bounds for infinitely many codes. The third result concerns Abelian codes over arbitrary Galois rings. We give a lower bound on the p-adic valuations of Hamming weights. When we specialize this result to finite fields, we recover the theorem of Delsarte and McEliece on the p-divisibility of weights in Abelian codes over finite fields. The fourth result generalizes the Delsarte-McEliece theorem. We consider the number of components in which a collection c_1,...,c_t of words all have the zero symbol; we call this the simultaneous zero count. Our generalized theorem p-adically estimates simultaneous zero counts in Abelian codes over finite fields, and we can use it to prove the theorem of N. M. Katz on the p-divisibility of the cardinalities of affine algebraic sets over finite fields.</p

Trellis Decoding And Applications For Quantum Error Correction

Compact, graphical representations of error-correcting codes called trellises are a crucial tool in classical coding theory, establishing both theoretical properties and performance metrics for practical use. The idea was extended to quantum error-correcting codes by Ollivier and Tillich in 2005. Here, we use their foundation to establish a practical decoder able to compute the maximum-likely error for any stabilizer code over a finite field of prime dimension. We define a canonical form for the stabilizer group and use it to classify the internal structure of the graph. Similarities and differences between the classical and quantum theories are discussed throughout. Numerical results are presented which match or outperform current state-of-the-art decoding techniques. New construction techniques for large trellises are developed and practical implementations discussed. We then define a dual trellis and use algebraic graph theory to solve the maximum-likely coset problem for any stabilizer code over a finite field of prime dimension at minimum added cost. Classical trellis theory makes occasional theoretical use of a graph product called the trellis product. We establish the relationship between the trellis product and the standard graph products and use it to provide a closed form expression for the resulting graph, allowing it to be used in practice. We explore its properties and classify all idempotents. The special structure of the trellis allows us to present a factorization procedure for the product, which is much simpler than that of the standard products. Finally, we turn to an algorithmic study of the trellis and explore what coding-theoretic information can be extracted assuming no other information about the code is available. In the process, we present a state-of-the-art algorithm for computing the minimum distance for any stabilizer code over a finite field of prime dimension. We also define a new weight enumerator for stabilizer codes over F_2 incorporating the phases of each stabilizer and provide a trellis-based algorithm to compute it.Ph.D