We generalise structure theorems of Calderbank and Sloane for linear and cyclic codes over ޚ p a to a finite chain ring. Our results are more detailed and do not use non-trivial results from Commutative Algebra.
Let R be a finite chain ring (e.g. a Galois ring), K its residue field and C a linear code over R. We prove that d(C), the Hamming distance of C, is d((C : α)), where (C : α) is a submodule quotient, α is a certain element of R and denotes the canonical projection to K. These two codes also have the same set of minimal codeword supports. We explicitly construct a generator matrix/polynomial of (C : α) from the generator matrix/polynomials of C. We show that in general d(C) ≤ d(C) with equality for free codes (i.e. for free Rsubmodules of R n) and in particular for Hensel lifts of cyclic codes over K. Most of the codes over rings described in the literature fall into this class. We characterise MDS codes over R and prove several analogues of properties of MDS codes over finite fields. We compute the Hamming weight enumerator of a free MDS code over R.
We show that repeated-root cyclic codes over a finite chain ring are in general not principally generated. Repeated-root negacyclic codes are principally generated if the ring is a Galois ring with characteristic a power of 2. For any other finite chain ring they are in general not principally generated. We also prove results on the structure, cardinality and Hamming distance of repeated-root cyclic and negacyclic codes over a finite chain ring.
On the computation of the linear complexity and the k-error linear complexity of binary sequences with period a power of two On the computation of the linear complexity and the k-error linear complexity of binary sequences with period a power of two
Ana SȃlȃgeanAbstract-The linear Games-Chan algorithm for computing the linear complexity c(s) of a binary sequence s of period = 2 n requires the knowledge of the full sequence, while the quadratic Berlekamp-Massey algorithm only requires knowledge of 2c(s) terms. We show that we can modify the Games-Chan algorithm so that it computes the complexity in linear time knowing only 2c(s) terms. The algorithms of Stamp-Martin and Lauder-Paterson can also be modified, without loss of efficiency, to compute analogues of the k-error linear complexity for finite binary sequences viewed as initial segments of infinite sequences with period a power of two.We also develop an algorithm which, given a constant c and an infinite binary sequence s with period = 2 n , computes the minimum number k of errors (and the associated error sequence) needed over a period of s for bringing the linear complexity of s below c. The algorithm has a time and space bit complexity of O( ). We apply our algorithm to decoding and encoding binary repeated-root cyclic codes of length in linear, O( ), time and space. A previous decoding algorithm proposed by Lauder and Paterson has O( (log ) 2 ) complexity.
Grobner bases have been generalised to polynomials over a commutative ring A in several ways. Here we focus on strong Grobner bases, also known as D-bases. Several authors have shown that strong Grobner bases can be effectively constructed over a principal ideal domain. We show that this extends to any principal ideal ring. We characterise Grobner bases and strong Grobner bases when A is a principal ideal ring. We also give algorithms for computing Grobner bases and strong Grobner bases which generalise known algorithms to principal ideal rings. In particular, we give an algorithm for computing a strong Grobner basis over a finite-chain ring, for example a Galois ring.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.