Year: 2026
Type: preprint
Abstract: We study algebraic geometry codes on hyperelliptic curves of genus $g \geq 2$ equipped with a rational Weierstrass point, with a focus on complementarity properties. Our first contribution is a characterization of non-special divisors of degree $g$ and $g-1$ via the polynomial degrees of their reduced Mumford representation, reducing a classical geometric problem to a degree test on univariate polynomials. Using this, we construct Linear Complementary Pairs (LCP) of codes via polynomial arithmetic on the Jacobian and provide a criterion in terms of Mumford degrees for the resulting codes to be Maximum Distance Separable (MDS). Under a $2$-torsion condition in the Jacobian, equivalently a divisibility condition on the Mumford polynomials, we obtain explicit multipliers that turn these pairs into Linear Complementary Dual (LCD) codes. We give an MDS LCP with parameters $[8,4,5]_{16}$ in characteristic two, an MDS LCD code with parameters $[10,5,6]_{25}$ on the maximal hyperelliptic curve $y^2=x^5+x$, and an LCD code with parameters $[28,14]_{49}$ on $y^2=x^7+x$. Motivated by the explicit $q=5$ computation, we conjecture for odd prime powers $q\ge5$ the existence of MDS LCD codes with parameters $[2q,q,q+1]_{q^2}$ arising from this construction.
Source: arXiv (Cornell University)
Language: English
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7169848423