On Galois duality, self-orthogonality, and dual-containment of matrix product codes
Authors:
Ramy Farouk Taki Eldin
Abstract:
In recent literature, matrix product (MP) codes and their duals have gained significant attention due to their application in the construction of quantum stabilizer codes. In this paper, we begin with providing a formula that characterizes the Galois dual of MP codes. Using this formula, we establish the conditions under which MP codes are self-orthogonal and dual-containing. Although similar resu…
▽ More
In recent literature, matrix product (MP) codes and their duals have gained significant attention due to their application in the construction of quantum stabilizer codes. In this paper, we begin with providing a formula that characterizes the Galois dual of MP codes. Using this formula, we establish the conditions under which MP codes are self-orthogonal and dual-containing. Although similar results may exist in the literature, the novelty and superiority of our results can be identified in the following points. Previous results that characterize the duals of MP codes only apply to MP codes with an invertible square defining matrix $\mathcal{A}$. However, our characterization applies to MP code with any defining matrix, whether $\mathcal{A}$ is not square or not of full row rank. Previous studies on the conditions for self-orthogonality or dual-containment of MP codes have assumed certain structures for the product $\mathcal{A}\mathcal{A}^T$ or $\mathcal{A}\mathcal{A}^{\dagger}$, such as being diagonal, anti-diagonal, monomial, or partitioned Hermitian orthogonal. However, our conditions do not necessitate such specific structures. Previous studies investigated MP code duality in the context of Euclidean and Hermitian duals; however, we investigate MP code duality in the broader context of Galois dual, with Euclidean and Hermitian duals acting as special cases. Finally, it is worth noting that the proposed conditions for Galois self-orthogonality or dual-containment are both necessary and sufficient. To demonstrate the theoretical results, several numerical examples with best-known parameters MP codes are provided.
△ Less
Submitted 5 August, 2024;
originally announced August 2024.
The two-sided Galois duals of multi-twisted codes
Authors:
Ramy F. Taki Eldin
Abstract:
Characterizing the duals of linear codes with rich algebraic structures received great interest in recent decades. The beginning was by representing cyclic codes over finite fields as ideals in the polynomial ring. Subsequently, studying the duals of constacyclic, quasi-cyclic, quasi-twisted, generalized quasi-cyclic, and multi-twisted codes appeared extensively in literature. We consider the clas…
▽ More
Characterizing the duals of linear codes with rich algebraic structures received great interest in recent decades. The beginning was by representing cyclic codes over finite fields as ideals in the polynomial ring. Subsequently, studying the duals of constacyclic, quasi-cyclic, quasi-twisted, generalized quasi-cyclic, and multi-twisted codes appeared extensively in literature. We consider the class of multi-twisted (MT) codes because it extends to all of these codes. We describe a MT code $\mathcal{C}$ as a module over a principal ideal domain. Hence, $\mathcal{C}$ has a generator polynomial matrix (GPM) that satisfies an identical equation. The reduced GPM of $\mathcal{C}$ is the Hermite normal form of its GPM. We show that the Euclidean dual $\mathcal{C}^\perp$ of $\mathcal{C}$ is MT as well. We prove a formula for a GPM of $\mathcal{C}^\perp$ using the identical equation of the reduced GPM of $\mathcal{C}$. Then we aim to replace the Euclidean dual with the Galois dual. The Galois inner product is an asymmetric form, so we distinguish between the right and left Galois duals. We show that the right and left Galois duals of a MT code are MT as well but with possibly different shift constants. Our study is the first to contain the right and left Galois duals of a linear code simultaneously. This gives two advantages: establishing their interconnected identities and introducing the two-sided Galois dual that has not previously appeared in the literature. We use a condition for the two-sided Galois dual of a MT code to be MT, hence its GPM is characterized. Two special cases are also studied, one when the right and left Galois duals trivially intersect and the other when they coincide. The latter case is considered for any linear code, where a necessary and sufficient condition is established for the equality of the right and left Galois duals.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
