188 research outputs found
Symmetries of weight enumerators and applications to Reed-Muller codes
Gleason's 1970 theorem on weight enumerators of self-dual codes has played a
crucial role for research in coding theory during the last four decades. Plenty
of generalizations have been proved but, to our knowledge, they are all based
on the symmetries given by MacWilliams' identities. This paper is intended to
be a first step towards a more general investigation of symmetries of weight
enumerators. We list the possible groups of symmetries, dealing both with the
finite and infinite case, we develop a new algorithm to compute the group of
symmetries of a given weight enumerator and apply these methods to the family
of Reed-Muller codes, giving, in the binary case, an analogue of Gleason's
theorem for all parameters.Comment: 14 pages. Improved and extended version of arXiv:1511.00803. To
appear in Advances in Mathematics of Communication
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
Three-weight codes over rings and strongly walk regular graphs
We construct strongly walk-regular graphs as coset graphs of the duals of
codes with three non-zero homogeneous weights over for
a prime, and more generally over chain rings of depth , and with a residue
field of size , a prime power. Infinite families of examples are built from
Kerdock and generalized Teichm\"uller codes. As a byproduct, we give an
alternative proof that the Kerdock code is nonlinear.Comment: 28 pages, 6 table
- …