Showing 1–21 of 21 results for author: Fernández-Córdoba, C

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

Authors: Dipak K. Bhunia, Cristina Fernández-Córdoba, Mercè Villanueva

Abstract: 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 Hadamar… ▽ More 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$. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: arXiv admin note: text overlap with arXiv:2301.09404

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

Authors: Cristina Fernández-Córdoba, Adrián Torres, Carlos Vela, Mercè Villanueva

Abstract: 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 funct… ▽ More 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. △ Less

Submitted 10 January, 2024; originally announced January 2024.

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

Authors: Dipak K. Bhunia, Cristina Fernández-Córdoba, Mercè Villanueva

Abstract: 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… ▽ More 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}$. △ Less

Submitted 23 January, 2023; originally announced January 2023.

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

Authors: Dipak Kumar Bhunia, Cristina Fernández-Córdoba, Mercè Villanueva

Abstract: 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}$-… ▽ More 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. △ Less

Submitted 1 September, 2022; v1 submitted 29 July, 2022; originally announced July 2022.

Comments: arXiv admin note: text overlap with arXiv:2203.15657, arXiv:2203.15407

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

Authors: Dipak K. Bhunia, Cristina Fernández-Córdoba, Mercè Villanueva

Abstract: 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 so… ▽ More 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$. △ Less

Submitted 29 March, 2022; originally announced March 2022.

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

Authors: Dipak K. Bhunia, Cristina Fernández-Córdoba, Carlos Vela, Mercè Villanueva

Abstract: 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 kern… ▽ More 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). △ Less

Submitted 29 March, 2022; originally announced March 2022.

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

Authors: Cristina Fernández-Córdoba, Sachin Pathak, Ashish Kumar Upadhyay

Abstract: 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… ▽ More 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. △ Less

Submitted 23 February, 2022; originally announced February 2022.

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

Authors: Cristina Fernández-Córdoba, Carlos Vela, Mercè Villanueva

Abstract: 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}$-additi… ▽ More 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. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Comments: arXiv admin note: text overlap with arXiv:1801.05189

On Z2Z4-additive complementary dual codes and related LCD codes

Authors: Nasreddine Benbelkacem, Joaquim Borges, Steven T. Dougherty, Cristina Fernández-Córdoba

Abstract: 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… ▽ More 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. △ Less

Submitted 19 March, 2019; originally announced March 2019.

MSC Class: 94B25; 94B60

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

Authors: Cristina Fernández-Córdoba, Carlos Vela, Mercè Villanueva

Abstract: 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 th… ▽ More 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. △ Less

Submitted 16 January, 2018; originally announced January 2018.

MSC Class: 94B25 and 94B60

Z2Z4-Additive Cyclic Codes: Kernel and Rank

Authors: J. Borges, S. T. Dougherty, C. Fernández-Córdoba, R. Ten-Valls

Abstract: A Z2Z4-additive code C subset of Z_2^alpha x Z_4^beta is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. Let Phi(C) be the binary Gray image of C. We study the rank and the dimension of the kernel of a Z2Z4-additive cyclic code C, that… ▽ More A Z2Z4-additive code C subset of Z_2^alpha x Z_4^beta is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. Let Phi(C) be the binary Gray image of C. We study the rank and the dimension of the kernel of a Z2Z4-additive cyclic code C, that is, the dimensions of the binary linear codes <Phi(C)> and ker(Phi(C)). We give upper and lower bounds for these parameters. It is known that the codes <Phi(C)> and ker(Phi(C)) are binary images of Z2Z4-additive codes R(C) and K(C), respectively. Moreover, we show that R(C) and K(C) are also cyclic and we determine the generator polynomials of these codes in terms of the generator polynomials of the code C. △ Less

Submitted 16 January, 2018; v1 submitted 10 November, 2017; originally announced November 2017.

Comments: arXiv admin note: text overlap with arXiv:1707.03214

Binary Images of Z2Z4-Additive Cyclic Codes

Authors: J. Borges, S. T. Dougherty, C. Fernández-Córdoba, R. Ten-Valls

Abstract: A Z2Z4-additive code C is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. We study the binary images of Z2Z4-additive cyclic codes. We determine all Z2Z4-additive cyclic codes with odd beta whose Gray images are linear binary codes. A Z2Z4-additive code C is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. We study the binary images of Z2Z4-additive cyclic codes. We determine all Z2Z4-additive cyclic codes with odd beta whose Gray images are linear binary codes. △ Less

Submitted 11 July, 2017; originally announced July 2017.

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

Authors: Joaquim Borges Ayats, Cristina Fernández-Córdoba, Roger Ten-Valls

Abstract: 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 submodu… ▽ More 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. △ Less

Submitted 6 June, 2016; originally announced June 2016.

There is exactly one Z2Z4-cyclic 1-perfect code

Authors: Joaquim Borges, Cristina Fernández-Córdoba

Abstract: 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… ▽ More 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. △ Less

Submitted 21 October, 2015; originally announced October 2015.

Z2-double cyclic codes

Authors: Joaquim Borges, Cristina Fernández-Córdoba, Roger Ten-Valls

Abstract: 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 c… ▽ More 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. △ Less

Submitted 21 October, 2014; originally announced October 2014.

Z2Z4-additive cyclic codes, generator polynomials and dual codes

Authors: Joaquim Borges, Cristina Fernández-Córdoba, Roger Ten-Valls

Abstract: 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… ▽ More 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}$. △ Less

Submitted 19 May, 2016; v1 submitted 17 June, 2014; originally announced June 2014.

MSC Class: 68Rxx

Permutation decoding of Z2Z4-linear codes

Authors: José Joaquín Bernal, Joaquim Borges, Cristina Fernández-Córdoba, Mercè Villanueva

Abstract: 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 par… ▽ More 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. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Self-Dual Codes over Z_2xZ_4

Authors: J. Borges, S. T. Dougherty, C. Fernandez-Cordoba

Abstract: Self-dual codes over $\Z_2\times\Z_4$ are subgroups of $\Z_2^α\times\Z_4^β$ that are equal to their orthogonal under an inner-product that relates to the binary Hamming scheme. Three types of self-dual codes are defined. For each type, the possible values $α,β$ such that there exist a code $\C\subseteq \Z_2^α\times\Z_4^β$ are established. Moreover, the construction of a $\add$-linear code for ea… ▽ More Self-dual codes over $\Z_2\times\Z_4$ are subgroups of $\Z_2^α\times\Z_4^β$ that are equal to their orthogonal under an inner-product that relates to the binary Hamming scheme. Three types of self-dual codes are defined. For each type, the possible values $α,β$ such that there exist a code $\C\subseteq \Z_2^α\times\Z_4^β$ are established. Moreover, the construction of a $\add$-linear code for each type and possible pair $(α,β)$ is given. Finally, the standard techniques of invariant theory are applied to describe the weight enumerators for each type. △ Less

Submitted 16 October, 2009; originally announced October 2009.

Comments: Submitted to Designs, Codes and Cryptography

Propelinear structure of Z_{2k}-linear codes

Authors: J. Borges, C. Fernandez-Cordoba, J. Rifa

Abstract: Let C be an additive subgroup of $\Z_{2k}^n$ for any $k\geq 1$. We define a Gray map $Φ:\Z_{2k}^n \longrightarrow \Z_2^{kn}$ such that $Φ(\codi)$ is a binary propelinear code and, hence, a Hamming-compatible group code. Moreover, $Φ$ is the unique Gray map such that $Φ(C)$ is Hamming-compatible group code. Using this Gray map we discuss about the nonexistence of 1-perfect binary mixed group code… ▽ More Let C be an additive subgroup of $\Z_{2k}^n$ for any $k\geq 1$. We define a Gray map $Φ:\Z_{2k}^n \longrightarrow \Z_2^{kn}$ such that $Φ(\codi)$ is a binary propelinear code and, hence, a Hamming-compatible group code. Moreover, $Φ$ is the unique Gray map such that $Φ(C)$ is Hamming-compatible group code. Using this Gray map we discuss about the nonexistence of 1-perfect binary mixed group code. △ Less

Submitted 30 July, 2009; originally announced July 2009.

Journal ref: Electronic Notes in Discrete Mathematics, Volume 10, November 2001, Pages 100-102

On the minimum distance graph of an extended Preparata code

Authors: C. Fernández-Córdoba, K. T. Phelps

Abstract: The minimum distance graph of an extended Preparata code P(m) has vertices corresponding to codewords and edges corresponding to pairs of codewords that are distance 6 apart. The clique structure of this graph is investigated and it is established that the minimum distance graphs of two extended Preparata codes are isomorphic if and only if the codes are equivalent. The minimum distance graph of an extended Preparata code P(m) has vertices corresponding to codewords and edges corresponding to pairs of codewords that are distance 6 apart. The clique structure of this graph is investigated and it is established that the minimum distance graphs of two extended Preparata codes are isomorphic if and only if the codes are equivalent. △ Less

Submitted 8 February, 2009; originally announced February 2009.

Z2Z4-linear codes: rank and kernel

Authors: Cristina Fernandez-Cordoba, Jaume Pujol, Merce Villanueva

Abstract: A code C is Z2Z4-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). In this paper, the rank and dimension of the kernel for Z2Z4-linear codes, which are the corresponding binary codes of Z2Z4-additive codes, are st… ▽ More A code C is Z2Z4-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). In this paper, the rank and dimension of the kernel for Z2Z4-linear codes, which are the corresponding binary codes of Z2Z4-additive codes, are studied. The possible values of these two parameters for Z2Z4-linear codes, giving lower and upper bounds, are established. For each possible rank r between these bounds, the construction of a Z2Z4-linear code with rank r is given. Equivalently, for each possible dimension of the kernel k, the construction of a Z2Z4-linear code with dimension of the kernel k is given. Finally, the bounds on the rank, once the kernel dimension is fixed, are established and the construction of a Z2Z4-additive code for each possible pair (r,k) is given. △ Less

Submitted 4 June, 2009; v1 submitted 26 July, 2008; originally announced July 2008.