×
Camps Moreno, Eduardo; López, Hiram H.; Matthews, Gretchen L.

Explicit non-special divisors of small degree, algebraic geometric hulls, and LCD codes from Kummer extensions. (English) Zbl 07871666

SIAM J. Appl. Algebra Geom. 8, No. 2, 394-413 (2024).
Summary: In this paper, we consider the hull of an algebraic geometry code, meaning the intersection of the code and its dual. We demonstrate how codes whose hulls are algebraic geometry codes may be defined using only rational places of Kummer extensions (and Hermitian function fields in particular). Our primary tool is explicitly constructing non-special divisors of degrees \(g\) and \(g-1\) on certain families of function fields with many rational places, accomplished by appealing to Weierstrass semigroups. We provide explicit algebraic geometry codes with hulls of specified dimensions, producing along the way linear complementary dual (LCD) algebraic geometric codes from the Hermitian function field (among others) using only rational places and an answer to an open question posed by Ballet and Le Brigand for particular function fields. These results complement earlier work by Mesnager, Tang, and Qi that use lower-genus function fields as well as instances using places of a higher degree from Hermitian function fields to construct LCD codes and that of Carlet, Mesnager, Tang, Qi, and Pellikaan to provide explicit algebraic geometry codes with the LCD property rather than obtaining codes via monomial equivalences.

MSC:

94B05 Linear codes (general theory)
11T71 Algebraic coding theory; cryptography (number-theoretic aspects)
14G50 Applications to coding theory and cryptography of arithmetic geometry

Keywords:

algebraic geometry code; hull; linear complementary dual; maximal curve; non-special divisor; Weierstrass semigroup
Cite Review PDF
Full Text: DOI arXiv

References:

[1] Assmus, E. and Key, J., Affine and projective planes, Discrete Math., 83 (1990), pp. 161-187. · Zbl 0707.51012
[2] Ballet, S. and Le Brigand, D., On the existence of non-special divisors of degree \(g\) and \(g - 1\) in algebraic function fields over \({\mathbb{F}}_q\), J. Number Theory, 116 (2006), pp. 293-310. · Zbl 1091.11040
[3] Bardet, M., Otmani, A., and Saeed-Taha, M., Permutation code equivalence is not harder than graph isomorphism when hulls are trivial, in 2019 IEEE International Symposium on Information Theory (ISIT), , 2019, pp. 2464-2468.
[4] Carlet, C., Correlation-immune Boolean functions for leakage squeezing and rotating S-box masking against side channel attacks, in Security, Privacy, and Applied Cryptography Engineering. SPACE 2013, , Gierlichs, B., Guilley, S., and Mukhopadhyay, D., eds., Springer, Berlin, Heidelberg, 2013, pp. 70-74. · Zbl 1355.94050
[5] Carlet, C. and Guilley, S., Complementary dual codes for counter-measures to side-channel attacks, in Coding Theory and Applications, Springer, Cham, 2015, pp. 97-105. · Zbl 1398.94209
[6] Carlet, C., Mesnager, S., Tang, C., Qi, Y., and Pellikaan, R., Linear codes over \(\mathbb F_q\) are equivalent to LCD codes for \(q> 3\), IEEE Trans. Inform. Theory, 64 (2018), pp. 3010-3017. · Zbl 1392.94926
[7] Castellanos, A. S., Masuda, A. M., and Quoos, L., One- and two-point codes over Kummer extensions, IEEE Trans. Inform. Theory, 62 (2016), pp. 4867-4872. · Zbl 1359.94825
[8] Guenda, K., Jitman, S., and Gulliver, T. A., Constructions of good entanglement-assisted quantum error correcting codes, Des. Codes Cryptogr., 86 (2018), pp. 121-136. · Zbl 1387.81111
[9] Luo, G., Ezerman, M. F., Grassl, M., and Ling, S., Constructing quantum error-correcting codes that require a variable amount of entanglement, Quantum Inf. Process., 23 (2024), doi:10.1007/s11128-023-04211-x. · Zbl 1542.81328
[10] Massey, J. L., Linear codes with complementary duals, Discrete Math., 106-107 (1992), pp. 337-342. · Zbl 0754.94009
[11] Matthews, G. L., The Weierstrass semigroup of an \(m\)-tuple of collinear places on a Hermitian function field, in Finite Fields and Applications, , Springer, Berlin, 2004, pp. 12-24. · Zbl 1063.14041
[12] Mesnager, S., Tang, C., and Qi, Y., Complementary dual algebraic geometry codes, IEEE Trans. Inform. Theory, 64 (2018), pp. 2390-2397. · Zbl 1390.94918
[13] Munuera, C., Tenório, W., and Torres, F., Quantum error-correcting codes from algebraic geometry codes of Castle type, Quantum Inf. Process., 15 (2016), pp. 4071-4088. · Zbl 1348.81193
[14] Niederreiter, H. and Özbudak, F., Asymptotically good codes, in Advances in Algebraic Geometry Codes, World Scientific, Hackensack, NJ, 2008, pp. 181-220. · Zbl 1178.94248
[15] Niederreiter, H., Xing, C., and Lam, K. Y., A new construction of algebraic geometry codes, Appl. Algebra Eng. Commun. Comput., 9 (1999), pp. 373-381. · Zbl 1035.94016
[16] Peachey, J., Bases and Applications of Riemann-Roch Spaces of Function Fields with Many Rational Places, Doctoral dissertation, Clemson University, 2011.
[17] Pellikaan, R., Stichtenoth, H., and Torres, F., Weierstrass semigroups in an asymptotically good tower of function fields, Finite Fields Appl., 4 (1998), pp. 381-392. · Zbl 0915.11054
[18] Schmidt, F. K., Zur arithmetischen Theorie der algebraischen Funktionen. II. Allgemeine Theorie der Weierstra punkte, Math. Z., 45 (1939), pp. 75-96. · Zbl 0020.10202
[19] Sendrier, N., Finding the permutation between equivalent linear codes: The support splitting algorithm, IEEE Trans. Inform. Theory, 46 (2000), pp. 1193-1203. · Zbl 1002.94037
[20] Stichtenoth, H., Algebraic Function Fields and Codes, Springer-Verlag, Berlin, 1993. · Zbl 0816.14011
[21] Yang, S. and Hu, C., Weierstrass semigroups from Kummer extensions, Finite Fields Appl., 45 (2017), pp. 264-284. · Zbl 1366.14032
[22] van Lint, J. H. and van der Geer, G., Introduction to Coding Theory and Algebraic Geometry, Birkhäuser Verlag, Basel, 1988. · Zbl 0639.00048
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.