Abstract
Let \(\mathcal{C}\) be a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive code of length \(n > 3\). We prove that if the binary Gray image of \(\mathcal{C}\) is a 1-perfect nonlinear code, then \(\mathcal{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 a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive extended 1-perfect code. We also prove that such a code cannot be \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic.
Similar content being viewed by others
References
Abualrub T., Siap I., Aydin H.: \(\mathbb{Z}_2\mathbb{Z}_4\)-additive cyclic codes. IEEE Trans. Inf. Theory 60, 1508–1514 (2014).
Bonisoli A.: Every equidistant linear code is a sequence of dual Hamming codes. Ars Comb. 18, 181–186 (1984).
Borges J., Fernández-Córdoba C., Pujol J., Rifà J., Villanueva M.: \(\mathbb{Z}_2\mathbb{Z}_4\)-linear codes: generator matrices and duality. Des. Codes Cryptogr. 54, 167–179 (2010).
Borges J., Fernández-Córdoba C., Ten-Valls R.: \(\mathbb{Z}_2\mathbb{Z}_4\)-additive cyclic codes, generator polynomials and dual codes. IEEE Trans. Inf. Theory 62, 6348–6354 (2016).
Borges J., Phelps K.T., Rifà J.: The rank and kernel of extended 1-perfect \(\mathbb{Z}_4\)-linear and additive non-\(\mathbb{Z}_4\)-linear codes. IEEE Trans. Inf. Theory 49, 2028–2034 (2003).
Borges J., Rifà J.: A characterization of 1-perfect additive codes. IEEE Trans. Inf. Theory 45, 1688–1697 (1999).
Delsarte P., Levenshtein V.: Association schemes and coding theory. IEEE Trans. Inf. Theory 44, 2477–2504 (1998).
Justensen J., Forchhammer S.: Two-Dimensional Information Theory and Coding. Cambridge University Press, Cambridge (2010).
Krotov D.S.: \(\mathbb{Z}_4\)-linear perfect codes. Diskret. Anal. Issled. Oper. Ser. 1 7(4), 78–90 (2000) (in Russian).
MacWilliams F.J., Sloane N.J.A.: The Theory of Error-Correcting Codes. North-Holland Publishing Company, New York (1977).
Pujol J., Rifà J.: Translation-invariant propelinear codes. IEEE Trans. Inf. Theory 43, 590–598 (1997).
Rifà J.: On a categorial isomorphism between a class of completely regular codes and a class of distance regular graphs. In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8. LNCS, vol. 508, pp. 164–179 (1990).
Acknowledgements
The authors thank the anonymous referees for their valuable comments, which enabled them to improve the quality of the paper. This work has been partially supported by the Spanish MINECO Grants TIN2016-77918-P and MTM2015-69138-REDT, and by the Catalan AGAUR Grant 2014SGR-691.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by G. McGuire.
Rights and permissions
About this article
Cite this article
Borges, J., Fernández-Córdoba, C. There is exactly one \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic 1-perfect code. Des. Codes Cryptogr. 85, 557–566 (2017). https://doi.org/10.1007/s10623-016-0323-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-016-0323-3