arXiv subjects

Cristina Fernández-Córdoba

Publications and source records attributed to Cristina Fernández-Córdoba.

16 recordsLinked to original sources

arXiv2025

Weight distributions of simplex codes over finite chain rings and their Gray map images

A linear code of length $n$ over a finite chain ring $R$ with residue field $\F_q$ is a $R$-submodule of $R^n$. A $R$-linear code is a code over $\F_q$ (not necessarily linear) which is the generalized Gray map image of a linear code over $R$. These codes can be seen as a generalization of the linear codes over $\Z_{p^s}$ with $p$ prime and $s \geq 1$. In this paper, we present the construction of linear simplex codes over $R$ and their corresponding $R$-linear simplex codes of type $α$ and $β$. Moreover, we show the fundamental parameters of these codes, including their minimum Hamming distance, as well as their complete weight distributions. We also study whether these simplex codes are optimal with respect to the Griesmer-type bound.

cs.IT↗

arXiv2024

Linearity and Classification of $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-Linear Hadamard Codes

The $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-additive codes are subgroups of $\mathbb{Z}_2^{α_1} \times \mathbb{Z}_4^{α_2} \times \mathbb{Z}_8^{α_3}$. A $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard code is a Hadamard code which is the Gray map image of a $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-additive code. A recursive construction of $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-additive Hadamard codes of type $(α_1,α_2, α_3;t_1,t_2, t_3)$ with $α_1 \neq 0$, $α_2 \neq 0$, $α_3 \neq 0$, $t_1\geq 1$, $t_2 \geq 0$, and $t_3\geq 1$ is known. In this paper, we generalize some known results for $\mathbb{Z}_2\mathbb{Z}_4$-linear Hadamard codes to $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard codes with $α_1 \neq 0$, $α_2 \neq 0$, and $α_3 \neq 0$. First, we show for which types the corresponding $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard codes of length $2^t$ are nonlinear. For these codes, we compute the kernel and its dimension, which allows us to give a partial classification of these codes. Moreover, for $3 \leq t \leq 11$, we give a complete classification by providing the exact amount of nonequivalent such codes. We also prove the existence of several families of infinite such nonlinear $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard codes, which are not equivalent to any other constructed $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard code, nor to any $\mathbb{Z}_2\mathbb{Z}_4$-linear Hadamard code, nor to any previously constructed $\mathbb{Z}_{2^s}$-linear Hadamard code with $s\geq 2$, with the same length $2^t$.

cs.IT↗

arXiv2024

Computing efficiently a parity-check matrix for Zps-additive codes

The Zps-additive codes of length n are subgroups of Zps^n , and can be seen as a generalization of linear codes over Z2, Z4, or more general over Z2s . In this paper, we show two methods for computing a parity-check matrix of a Zps-additive code from a generator matrix of the code in standard form. We also compare the performance of our results implemented in Magma with the current available function in Magma for codes over finite rings in general. A time complexity analysis is also shown.

cs.IT↗

arXiv2023

$\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-Additive Hadamard Codes

The $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-additive codes are subgroups of $\mathbb{Z}_2^{α_1} \times \mathbb{Z}_4^{α_2} \times \mathbb{Z}_8^{α_3}$, and can be seen as linear codes over $\mathbb{Z}_2$ when $α_2=α_3=0$, $\mathbb{Z}_4$-additive or $\mathbb{Z}_8$-additive codes when $α_1=α_3=0$ or $α_1=α_2=0$, respectively, or $\mathbb{Z}_2\mathbb{Z}_4$-additive codes when $α_3=0$. A $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard code is a Hadamard code which is the Gray map image of a $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-additive code. In this paper, we generalize some known results for $\mathbb{Z}_2\mathbb{Z}_4$-linear Hadamard codes to $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard codes with $α_1 \neq 0$, $α_2 \neq 0$, and $α_3 \neq 0$. First, we give a recursive construction of $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-additive Hadamard codes of type $(α_1,α_2, α_3;t_1,t_2, t_3)$ with $t_1\geq 1$, $t_2 \geq 0$, and $t_3\geq 1$. Then, we show that in general the $\mathbb{Z}_4$-linear, $\mathbb{Z}_8$-linear and $\mathbb{Z}_2\mathbb{Z}_4$-linear Hadamard codes are not included in the family of $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard codes with $α_1 \neq 0$, $α_2 \neq 0$, and $α_3 \neq 0$. Actually, we point out that none of these nonlinear $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard codes of length $2^{11}$ is equivalent to a $\mathbb{Z}_2\mathbb{Z}_4\mathbb{Z}_8$-linear Hadamard code of any other type, a $\mathbb{Z}_2\mathbb{Z}_4$-linear Hadamard code, or a $\mathbb{Z}_{2^s}$-linear Hadamard code, with $s\geq 2$, of the same length $2^{11}$.

cs.IT↗

arXiv2022

$\mathbb{Z}_p\mathbb{Z}_{p^2}\dots\mathbb{Z}_{p^s}$-Additive Generalized Hadamard Codes

The $\mathbb{Z}_p\mathbb{Z}_{p^2}\dots\mathbb{Z}_{p^s}$-additive codes are subgroups of $\mathbb{Z}_p^{α_1} \times \mathbb{Z}_{p^2}^{α_2} \times \cdots \times \mathbb{Z}_{p^s}^{α_s}$, and can be seen as linear codes over $\mathbb{Z}_p$ when $α_i=0$ for all $i \in \{2,\dots, s\}$, a $\mathbb{Z}_{p^s}$-additive code when $α_i=0$ for all $i \in \{1,\dots, s-1\}$ , or a $\mathbb{Z}_p\mathbb{Z}_{p^2}$-additive code when $s=2$, or $\mathbb{Z}_2\mathbb{Z}_4$-additive codes when $p=2$ and $s=2$. A $\mathbb{Z}_p\mathbb{Z}_{p^2}\dots\mathbb{Z}_{p^s}$-linear generalized Hadamard (GH) code is a GH code over $\mathbb{Z}_p$ which is the Gray map image of a $\mathbb{Z}_p\mathbb{Z}_{p^2}\dots\mathbb{Z}_{p^s}$-additive code. In this paper, we generalize some known results for $\mathbb{Z}_p\mathbb{Z}_{p^2}\dots\mathbb{Z}_{p^s}$-linear GH codes with $p$ prime and $s\geq 2$. First, we give a recursive construction of $\mathbb{Z}_p\mathbb{Z}_{p^2}\dots \mathbb{Z}_{p^s}$-additive GH codes of type $(α_1,\dots,α_s;t_1,\dots,t_s)$ with $t_1\geq 1, t_2,\dots,t_{s-1}\geq 0$, and $t_s\geq1$. Then, we show for which types the corresponding $\mathbb{Z}_p\mathbb{Z}_{p^2}\dots\mathbb{Z}_{p^s}$-linear GH codes are nonlinear over $\mathbb{Z}_p$. We also compute the kernel and its dimension whenever they are nonlinear.

cs.IT↗

arXiv2022

Equivalences among Z_{p^s}-linear Generalized Hadamard Codes

The $\Z_{p^s}$-additive codes of length $n$ are subgroups of $\Z_{p^s}^n$, and can be seen as a generalization of linear codes over $\Z_2$, $\Z_4$, or $\Z_{2^s}$ in general. A $\Z_{p^s}$-linear generalized Hadamard (GH) code is a GH code over $\Z_p$ which is the image of a $\Z_{p^s}$-additive code by a generalized Gray map. A partial classification of these codes by using the dimension of the kernel is known. In this paper, we establish that some $\Z_{p^s}$-linear GH codes of length $p^t$ are equivalent, once $t$ is fixed. This allows us to improve the known upper bounds for the number of such nonequivalent codes. Moreover, up to $t=10$, this new upper bound coincides with a known lower bound (based on the rank and dimension of the kernel).

cs.IT↗

arXiv2022

Construction and Linearity of Z_pZ_{p^2}-Linear Generalized Hadamard Codes

The $\Z_p\Z_{p^2}$-additive codes are subgroups of $\Z_p^{α_1} \times \Z_{p^2}^{α_2}$, and can be seen as linear codes over $\Z_p$ when $α_2=0$, $\Z_{p^2}$-additive codes when $α_1=0$, or $\Z_2\Z_4$-additive codes when $p=2$. A $\Z_p\Z_{p^2}$-linear generalized Hadamard (GH) code is a GH code over $\Z_p$ which is the Gray map image of a $\Z_p\Z_{p^2}$-additive code. In this paper, we generalize some known results for $\Z_p\Z_{p^2}$-linear GH codes with $p=2$ to any $p\geq 3$ prime when $α_1 \neq 0$. First, we give a recursive construction of $\Z_p\Z_{p^2}$-additive GH codes of type $(α_1,α_2;t_1,t_2)$ with $t_1,t_2\geq 1$. Then, we show for which types the corresponding $\Z_p\Z_{p^2}$-linear GH codes are non-linear over $\Z_p$. Finally, according to some computational results, we see that, unlike $\Z_4$-linear GH codes, when $p\geq 3$ prime, the $\Z_{p^2}$-linear GH codes are not included in the family of $\Z_p\Z_{p^2}$-linear GH codes with $α_1\not =0$.

cs.IT↗

arXiv2022

On $Z_{p^r}Z_{p^r}Z_{p^s}$-Additive Cyclic Codes

In this paper, we introduce $\mathbb{Z}_{p^r}\mathbb{Z}_{p^r}\mathbb{Z}_{p^s}$-additive cyclic codes for $r\leq s$. These codes can be identified as $\mathbb{Z}_{p^s}[x]$-submodules of $\mathbb{Z}_{p^r}[x]/\langle x^α-1\rangle \times \mathbb{Z}_{p^r}[x]/\langle x^β-1\rangle\times \mathbb{Z}_{p^s}[x]/\langle x^γ-1\rangle$. We determine the generator polynomials and minimal generating sets for this family of codes. Some previous works has been done for the case $p=2$ with $r=s=1$, $r=s=2$, and $r=1,s=2$. However, we show that in these previous works the classification of these codes were incomplete and the statements in this paper complete such classification. We also discuss the structure of separable $\mathbb{Z}_{p^r}\mathbb{Z}_{p^r}\mathbb{Z}_{p^s}$-additive cyclic codes and determine their generator polynomials. Further, we also study the duality of $\mathbb{Z}_{p^s}[x]$-submodules. As applications, we present some examples and construct some optimal binary codes.

cs.IT↗

arXiv2019

On the Kernel of $\Z_{2^s}$-Linear Simplex and MacDonald Codes

The $\Z_{2^s}$-additive codes are subgroups of $\Z^n_{2^s}$, and can be seen as a generalization of linear codes over $\Z_2$ and $\Z_4$. A $\Z_{2^s}$-linear code is a binary code which is the Gray map image of a $\Z_{2^s}$-additive code. We consider $\Z_{2^s}$-additive simplex codes of type $α$ and $β$, which are a generalization over $\Z_{2^s}$ of the binary simplex codes. These $\Z_{2^s}$-additive simplex codes are related to the $\Z_{2^s}$-additive Hadamard codes. In this paper, we use this relationship to establish the kernel of their binary images, under the Gray map, the $\Z_{2^s}$-linear simplex codes. Similar results can be obtained for the binary Gray map image of $\Z_{2^s}$-additive MacDonald codes.

cs.IT↗

arXiv2019

On Z2Z4-additive complementary dual codes and related LCD codes

Linear complementary dual codes were defined by Massey in 1992, and were used to give an optimum linear coding solution for the two user binary adder channel. In this paper, we define the analog of LCD codes over fields in the ambient space with mixed binary and quaternary alphabets. These codes are additive, in the sense that they are additive subgroups, rather than linear as they are not vector spaces over some finite field. We study the structure of these codes and we use the canonical Gray map from this space to the Hamming space to construct binary LCD codes in certain cases.

cs.IT↗

arXiv2018

On the Kernel of $\mathbb{Z}_{2^s}$-Linear Hadamard Codes

The $\mathbb{Z}_{2^s}$-additive codes are subgroups of $\mathbb{Z}^n_{2^s}$, and can be seen as a generalization of linear codes over $\mathbb{Z}_2$ and $\mathbb{Z}_4$. A $\mathbb{Z}_{2^s}$-linear Hadamard code is a binary Hadamard code which is the Gray map image of a $\mathbb{Z}_{2^s}$-additive code. It is known that the dimension of the kernel can be used to give a complete classification of the $\mathbb{Z}_4$-linear Hadamard codes. In this paper, the kernel of $\mathbb{Z}_{2^s}$-linear Hadamard codes and its dimension are established for $s > 2$. Moreover, we prove that this invariant only provides a complete classification for some values of $t$ and $s$. The exact amount of nonequivalent such codes are given up to $t=11$ for any $s\geq 2$, by using also the rank and, in some cases, further computations.

cs.IT↗

arXiv2016

Computing the generator polynomials of $\mathbb{Z}_2\mathbb{Z}_4$-additive cyclic codes

A ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive code ${\cal C}\subseteq{\mathbb{Z}}_2^α\times{\mathbb{Z}}_4^β$ is called cyclic if the set of coordinates can be partitioned into two subsets, the set of ${\mathbb{Z}}_2$ and the set of ${\mathbb{Z}}_4$ coordinates, such that any simultaneous cyclic shift of the coordinates of both subsets leaves invariant the code. These codes can be identified as submodules of the $\mathbb{Z}_4[x]$-module $\mathbb{Z}_2[x]/(x^α-1)\times\mathbb{Z}_4[x]/(x^β-1)$. Any $\mathbb{Z}_2\mathbb{Z}_4$-additive cyclic code ${\cal C}$ is of the form $\langle (b(x)\mid{ 0}), (\ell(x) \mid f(x)h(x) +2f(x)) \rangle$ for some $b(x), \ell(x)\in\mathbb{Z}_2[x]/(x^α-1)$ and $f(x),h(x)\in {\mathbb{Z}}_4[x]/(x^β-1)$. A new algorithm is presented to compute the generator polynomials for ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive cyclic codes.

cs.IT↗

arXiv2016

Z2Z4-additive cyclic codes, generator polynomials and dual codes

A ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive code ${\cal C}\subseteq{\mathbb{Z}}_2^α\times{\mathbb{Z}}_4^β$ is called cyclic if the set of coordinates can be partitioned into two subsets, the set of ${\mathbb{Z}}_2$ and the set of ${\mathbb{Z}}_4$ coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. These codes can be identified as submodules of the $\mathbb{Z}_4[x]$-module $\mathbb{Z}_2[x]/(x^α-1)\times\mathbb{Z}_4[x]/(x^β-1)$. The parameters of a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive cyclic code are stated in terms of the degrees of the generator polynomials of the code. The generator polynomials of the dual code of a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive cyclic code are determined in terms of the generator polynomials of the code ${\cal C}$.

cs.DM↗

arXiv2015

There is exactly one Z2Z4-cyclic 1-perfect code

Let ${\cal C}$ be a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive code of length $n > 3$. We prove that if the binary Gray image of ${\cal C}$, $C=Φ({\cal C})$, is a 1-perfect nonlinear code, then ${\cal C}$ cannot be a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-cyclic code except for one case of length $n=15$. Moreover, we give a parity check matrix for this cyclic code. Adding an even parity check coordinate to a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive 1-perfect code gives an extended 1-perfect code. We also prove that any such code cannot be ${\mathbb{Z}}_2{\mathbb{Z}}_4$-cyclic.

math.CO↗

arXiv2014

Z2-double cyclic codes

A binary linear code $C$ is a $\mathbb{Z}_2$-double cyclic code if the set of coordinates can be partitioned into two subsets such that any cyclic shift of the coordinates of both subsets leaves invariant the code. These codes can be identified as submodules of the $\mathbb{Z}_2[x]$-module $\mathbb{Z}_2[x]/(x^r-1)\times\mathbb{Z}_2[x]/(x^s-1).$ We determine the structure of $\mathbb{Z}_2$-double cyclic codes giving the generator polynomials of these codes. The related polynomial representation of $\mathbb{Z}_2$-double cyclic codes and its duals, and the relations between the polynomial generators of these codes are studied.

cs.IT↗

arXiv2013

Permutation decoding of Z2Z4-linear codes

An alternative permutation decoding method is described which can be used for any binary systematic encoding scheme, regardless whether the code is linear or not. Thus, the method can be applied to some important codes such as Z2Z4-linear codes, which are binary and, in general, nonlinear codes in the usual sense. For this, it is proved that these codes allow a systematic encoding scheme. As a particular example, this permutation decoding method is applied to some Hadamard Z2Z4-linear codes.

cs.IT↗