Linear source coding over rings and applications

Introduction. The problem of mathematical safe arises in the theory of computer games and cryptographic applications. The article considers numerous variations of the mathematical safe problem and examples of its solution using systems of linear Diophantine equations in finite rings and fields. The purpose of the article. To present methods for solving the problem of a mathematical safe for its various variations, which are related both to the domain over which the problem is considered and to the structure of systems of linear equations over these domains. To consider the problem of a mathematical safe (in matrix and graph forms) in different variations over different finite domains and to demonstrate the work of methods for solving this problem and their efficiency (systems over finite simple fields, finite fields, ghost rings and finite associative-commutative rings). Results. Examples of solving the problem of a mathematical safe, the conditions for the existence of solutions in different areas, over which this problem is considered. The choice of the appropriate area over which the problem of the mathematical safe is considered, and the appropriate algorithm for solving it depends on the number of positions of the latches of the safe. All these algorithms are accompanied by estimates of their time complexity, which were considered in the first part of this paper. Conclusions. The considered methods and algorithms for solving linear equations and systems of linear equations in finite rings and fields allow to solve the problem of a mathematical safe in a large number of variations of its formulation (over finite prime field, finite field, primary associative-commutative ring and finite associative-commutative ring with unit). Keywords: mathematical safe, finite rings, finite fields, method, algorithm.

The main focus in this thesis is linear codes over rings. In the first part, we look at linear codes over Galois rings, and using the homogeneous weight, we improve upon Wilson's results about the prime power that divides the coefficients of the homogeneous weight enumerators of these codes. We also prove that our results are best possible. Our results about homogeneous weight enumerators of linear codes over Galois rings generalize the results that we have for the Lee weight enumerators of linear codes over the ring of integers modulo 4. We also consider other weight enumerators, in particular the complete weight enumerators of linear codes and we obtain MacWilliams-like identities for these weight enumerators considering different rings. These MacWilliams-like identities lead to MacWilliams identities for the Hamming weight enumerators of linear codes over rings. We also give a counter-example to show that we cannot have MacWilliams-like identities for the Euclidean weight enumerators of linear codes over the ring of integers modulo 4. We also look at Gray maps from Galois rings to the finite field of prime size. We first give an application of the distance preserving Gray maps to obtain good ternary codes, and then we give an inductive algebraic construction of a distance preserving Gray map from Galois rings with the homogeneous distance to the field of prime size with the Hamming distance as well as a combinatorial construction. By using the Gray maps, we obtain some results about the weight enumerators of linear codes over the ring of dual numbers. In the last part of this work, we consider the permutation invariance of binary codes and the connection with linearity over certain rings. Among the rings considered, we have different variations and extensions of the ring of dual numbers. In this context we consider the Reed-Muller codes and answer questions about permutation invariance of Reed-Muller codes under certain permutation groups and the linearity of Reed-Muller codes over these aforementioned rings.

This paper studies linear and affine error-correcting codes for correcting synchronization errors such as insertions and deletions. We call such codes linear/affine insdel codes. Linear codes that can correct even a single deletion are limited to having an information rate at most (achieved by the trivial two fold repetition code). Previously, it was (erroneously) reported that more generally no nontrivial linear codes correcting deletions exist, i.e., that the -fold repetition codes and its rate of are basically optimal for any . We disprove this and show the existence of binary linear codes of length and rate just below capable of correcting insertions and deletions. This identifies rate as a sharp threshold for recovery from deletions for linear codes and reopens the quest for a better understanding of the capabilities of linear codes for correcting insertions/deletions. We prove novel outer bounds and existential inner bounds for the rate vs. (edit) distance trade-off of linear insdel codes. We complement our existential results with an efficient synchronization-string-based transformation that converts any asymptotically good linear code for Hamming errors into an asymptotically good linear code for insdel errors. Last, we show that the -rate limitation does not hold for affine codes by giving an explicit affine code of rate which can efficiently correct a constant fraction of insdel errors.

Circulant matrices form an important class of matrices that have been continuously studied due to their nice algebraic structures and wide applications. In this study, we focus specifically on negacirculant matrices, which are known as extensions of the classical circulant matrices. The algebraic structures of the rings of n × n n\times n negacirculant matrices over finite fields and over finite commutative chain rings are presented. Subsequently, the algebraic structures and enumeration of the unit groups of such matrix rings are established. Additionally, the number of non-singular n × n n\times n negacirculant matrices with prescribed determinant is given in some cases. Conjectures and open problems are proposed as well as a brief discussion in the case where the underlying ring is a finite commutative ring with identity is also presented.

The $\ell$-Galois hull $h_{\ell}(C)$ of an $[n,k]$ linear code $C$ over a finite field $\mathbb{F}_q$ is the intersection of $C$ and $C^{{\bot}_{\ell}}$, where $C^{\bot_{\ell}}$ denotes the $\ell$-Galois dual of $C$ which introduced by Fan and Zhang (2017). The $\ell$- Galois LCD code is a linear code $C$ with $h_{\ell}(C) = 0$. In this paper, we show that the dimension of the $\ell$-Galois hull of a linear code is invariant under permutation equivalence and we provide a method to calculate the dimension of the $\ell$-Galois hull by the generator matrix of the code. Moreover, we obtain that the dimension of the $\ell$-Galois hulls of ternary codes are also invariant under monomial equivalence. %The dimension of $l$-Galois hull of a code is not invariant under monomial equivalence if $q>4$. We show that every $[n,k]$ linear code over $\mathbb F_{q}$ is monomial equivalent to an $\ell$-Galois LCD code for any $q>4$. We conclude that if there exists an $[n,k]$ linear code over $\mathbb F_{q}$ for any $q>4$, then there exists an $\ell$-Galois LCD code with the same parameters for any $0\le \ell\le e-1$, where $q=p^e$ for some prime $p$. As an application, we characterize the $\ell$-Galois hull of matrix product codes over finite fields.

From a linear block code B over the Galois ring GR(4, to) with a k x n generator matrix and minimum Hamming distance d, a rate-k/n convolutional code over the ring Z4 with squared Euclidean free distance at least 2d and a non-recursive encoder with memory at most to m-1 is constructed. When the generator matrix of B is systematic, the convolutional encoder is systematic, basic, non-catastrophic and minimal. Long codes constructed in this manner are shown to satisfy a Gilbert-Varshamov bound.

Linear dynamical systems over finite rings

2 - Galois Fields

Coded Distributed Matrix Multiplication (CDMM) is a distributed matrix multiplication (DMM) for large-scale matrices through a coding scheme such that any <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">R</i> worker nodes among all <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">N</i> worker nodes can recover the final product, where <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">N</i> corresponds to the length of the code and <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">R</i> ≤ <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">N</i> is called the recovery threshold. The state-of-art CDMM schemes, such as EP codes for Single DMM and GCSA codes for batch DMM, are defined over a Galois field GF(<italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">q</i>) of size <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">q</i> ≥ <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">N</i>. These are inefficient for small Galois fields such as GF(2) and the integer residue ring Z<sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><i>p</i></sub><sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">ℓ</sup> due to the lack of invertible elements for interpolation. DMM over Z<italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">_p</i><sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">ℓ</sup> (such as Z<sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub><sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">64</sup> ) is well-motivated in practice due to their direct compatibility with hardware. In this work, we construct efficient CDMM over the Galois ring GR(p<sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">ℓ</sup>, <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">d</i>) which is an extension ring over Z<sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><i>p</i></sub><sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">ℓ</sup> of degree <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">d</i>, particularly, GR(<italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">p, d</i>) = GF(<italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">p</i><sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">d</sup>) is the Galois field and GR(<sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><i>p</i></sub><sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">ℓ</sup>, 1) = Z<italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">_p</i><sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">ℓ</sup>. We first give a general CDMM framework for the batch of <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</i> matrix multiplications via the famous RMFE (Cascudo et al. Crypto’18). Compared with GCSA, our construction has a smaller recovery threshold by a factor of 1/<italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</i>. Next, we optimize EP codes via batch preprocessing of the input matrices. We give two types of Single CDMM, which can achieve almost the same performance as EP codes over a Galois field with size <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">q</i> ≥ <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">N</i>. Finally, we present the experimental analysis of our CDMM on Galois rings.

It is very well known that algebraic structures have valuable applications in the theory of error-correcting codes. Blake [Codes over certain rings, Inform. and Control 20 (1972) 396–404] has constructed cyclic codes over ℤm and in [Codes over integer residue rings, Inform. and Control 29 (1975), 295–300] derived parity check-matrices for these codes. In [Linear codes over finite rings, Tend. Math. Appl. Comput. 6(2) (2005) 207–217]. Andrade and Palazzo present a construction technique of cyclic, BCH, alternant, Goppa and Srivastava codes over a local finite ring B. However, in [Encoding through generalized polynomial codes, Comput. Appl. Math. 30(2) (2011) 1–18] and [Constructions of codes through semigroup ring [Formula: see text] and encoding, Comput. Math. Appl. 62 (2011) 1645–1654], Shah et al. extend this technique of constructing linear codes over a finite local ring B via monoid rings [Formula: see text], where p = 2 and k = 1, 2, respectively, instead of the polynomial ring B[X]. In this paper, we construct these codes through the monoid ring [Formula: see text], where p = 2 and k = 1, 2, 3. Moreover, we also strengthen and generalize the results of [Encoding through generalized polynomial codes, Comput. Appl. Math.30(2) (2011) 1–18] and [Constructions of codes through semigroup ring [Formula: see text]] and [Encoding, Comput. Math. Appl.62 (2011) 1645–1654] to the case of k = 3.

Let ${\mathbb{Z}_m}\mathop = \limits^{{\text{ def }}}$ $\left\{ {0,1, \ldots ,\left( {m - 1} \right)} \right\}$ be the m-ary alphabet, $m \in \mathbb{N}$. This paper gives some new theory and designs of ${\mathbb{Z}_m}$ linear error control codes based on the elementary symmetric functions of m-ary words. Here, a ${\mathbb{Z}_m}$ linear code is a submodule of the module $\left( {\mathbb{Z}_m^n, + {\text{mod}}m,{\mathbb{Z}_m}, \cdot {\text{mod}}m} \right),n \in \mathbb{N}$, and the errors are measured in the ${L_1}$ or Lee metric. Potentially, the alphabet size, m, can be any natural, however, the described code designs and decoding methods are solely based on fields and field operations. In particular, starting from a very general class of Goppa-like ${\mathbb{Z}_m}$ linear codes, given a field, $K$, of characteristic $p = {\text{char}}\left( K \right) \in \mathbb{N}$, we consider a generalization of the ${\mathbf{BCH}}$ codes to the m-ary alphabet for $m = {p^l},l \in \mathbb{N}$. For these BCHlike codes we are able to prove a BCH-like bound with respect to both the ${L_1}$ and Lee distances. This enabled us to design a wide family of remarkable efficient codes. For example, an efficient design is given for ${\mathbb{Z}_m}$ linear codes with $m = {2^l},l \in \mathbb{N}$, length $n = m$, minimum Lee distance ${d_{Lee}} = m = n$ and the number of information m-ary digits $k = m/2 = n/2$.

This paper examines the w w -weight enumerators of weights w w with maximal symmetry over finite chain rings and matrix rings over finite fields. In many cases, including the homogeneous weight, the MacWilliams identities for w w -weight enumerators fail because there exist two linear codes with the same w w -weight enumerator whose dual codes have different w w -weight enumerators.

This review article discusses linear complementary duals over finite fields as counter-measures to side-channel attacks, faulty injection attacks, hardware trojan horse attacks, etc. We first discuss some security attacks and the need for linear complementary codes. Then introduce the linear complementary dual codes and study their properties. Some constructions and bounds on the linear complementary codes over finite fields are emphasised. Linear complementary dual codes with respect to different inner products such as Hermitian, Galois, Sigma, etc., are considered in our discussion. We end the survey with some comments on codes over rings.

Grassmann codes are linear codes associated with the Grassmann variety $G(\ell,m)$ of $\ell$-dimensional subspaces of an $m$ dimensional vector space $\mathbb{F}_{q}^{m}.$ They were studied by Nogin for general $q.$ These codes are conveniently described using the correspondence between non-degenerate $[n,k]_{q}$ linear codes on one hand and non-degenerate $[n,k]$ projective systems on the other hand. A non-degenerate $[n,k]$ projective system is simply a collection of $n$ points in projective space $\mathbb{P}^{k-1}$ satisfying the condition that no hyperplane of $\mathbb{P}^{k-1}$ contains all the $n$ points under consideration. In this paper we will determine the weight of linear codes $C(3,8)$ associated with Grassmann varieties $G(3,8)$ over an arbitrary finite field $\mathbb{F}_{q}$. We use a formula for the weight of a codeword of $C(3,8)$, in terms of the cardinalities certain varieties associated with alternating trilinear forms on $\mathbb{F}_{q}^{8}.$ For $m=6$ and $7,$ the weight spectrum of $C(3,m)$ associated with $G(3,m),$ have been fully determined by Kaipa K.V, Pillai H.K and Nogin Y. A classification of trivectors depends essentially on the dimension $n$ of the base space. For $n\leq 8 $ there exist only finitely many trivector classes under the action of the general linear group $GL(n).$ The methods of Galois cohomology can be used to determine the classes of nondegenerate trivectors which split into multiple classes when going from $\mathbb{\bar{F}}$ to $\mathbb{F}.$ This program is partially determined by Noui L. and Midoune N. and the classification of trilinear alternating forms on a vector space of dimension $8$ over a finite field $\mathbb{F}_{q}$ of characteristic other than $2$ and $3$ was solved by Noui L. and Midoune N. We describe the $\mathbb{F}_{q}$-forms of $2$-step splitting trivectors of rank $8$, where char $\mathbb{F}_{q}\neq 3.$ This fact we use to determine the weight of the $\mathbb{F}_{q}$-forms.

This thesis consists of two independent chapters. The first chapter concerns the Smith Normal Form (SNF) over the integers ℤ of integral matrices. We consider the SNF of a matrix A to be the ratio of two ℤ-modules -- a finitely generated abelian group; this is called the Smith group of A. The Smith group provides a unified setting to present both new and old results. The new results concern the relationship between the eigenvalues of an integral matrix and its SNF. In particular, the multiplicities of integer eigenvalues are shown to relate to the multiplicities in the type of the Smith group. Bounds are also given for the exponent of the Smith group. In some cases, these are best possible. The old results discussed are the interlacing of the SNF in the case of augmented matrices and the symmetries of the SNF for certain combinatorial matrices. The latter results are extended to rectangular matrices. Numerous examples are given throughout, along with many conjectures based on computation. The second chapter generalizes the work of Pless, et al. on duadic codes and Q-codes. We take abelian group codes to be ideals in the group ring F[G], where G is a finite abelian group of odd order n and F is a finite field with characteristic relatively prime to n. We define generalized Q-codes from a pair of idempotents of F[G] and an automorphism of G which together obey two simple equations. These codes are (n, (n+1)/2) and (n, (n-1)/2) linear codes. We show that all of the properties of duadic and Q-codes generalize. In particular, we extend the results on the relationship of these codes to projective planes with regular automorphism group G. When F has characteristic 2, we give simple numerical conditions on G and F which determine when generalized Q-codes exist. We also give some techniques for constructing these codes.