REVIEW 2 major objections 4 minor 31 references
Explicit LCP of MDS Codes and LCD Codes on Hyperelliptic Curves via Mumford Representation
T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read Non-special divisors on hyperelliptic curves reduce to a degree check on one polynomial.
desk verdict The Mumford-degree test for non-special divisors is a real and useful idea, but the abstract overclaims the MDS LCD examples: only q=5 matches the advertised parameters, and the q=4 example fails the paper's own 2-torsion hypothesis. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the reduced Mumford representation of divisor classes on a hyperelliptic curve: every class in the Jacobian has a unique representative as an effective affine divisor of degree d ≤ g encoded by a monic polynomial u(x) = ∏(x − x_i)^{m_i} and a polynomial v with deg v < deg u and u | v² + hv − f. The load-bearing mechanism is that non-speciality of small-degree divisors is detected by deg u reaching its maximum value g (or g−1), replacing an intractable theta-avoidance decision with a univariate degree test. The constructions then combine this test with Chinese-remainder interpolation of the two Mumford pairs, the relation P + ι(P) ∼ 2P_∞, and the 2-torsion condition u_A
What would settle it
Compute directly, over F_{16}, the Euclidean dual of the code C_L(D,G) from Example 2 and compare it with m·C_L(D,H) using the multiplier formula of Theorem 4; the q=4 example does not satisfy u_A | 2v_A + h (h = 1 so 2v_A + h is constant), so a mismatch would show the explicit dual formula cannot be extended beyond the 2-torsion hypothesis.
Extended reading notes
Core claim
The paper's central claim: for A of degree g−1, with (u_A, v_A) the reduced Mumford representative of [A − (g−1)P_∞], A is non-special iff deg u_A = g; for degree g, non-special iff deg u_A ≥ g−1. This turns theta-avoidance into a degree check. From two coprime Mumford pairs the paper constructs G = D_A + B − P_∞ and H = D_A + ι(B) − P_∞, whose gcd is the non-special A, so C_L(D,G) and C_L(D,H) form an LCP of length 2t and dimension t; the pair is MDS iff every class α±β−γ_I (I a t-subset of the evaluation support) has Mumford u-degree g. Under 2[D_A − gP_∞] = 0 (u_A | 2v_A + h), the dual equals m·C_L(D,H) with m_P = 1/(p'_D(x_P)(2y_P + h(x_P))u_A(x_P)u_B(x_P)), and square-root rescaling giv
Load-bearing premise
The LCD construction rests entirely on the 2-torsion condition u_A | 2v_A + h (equivalently 2[D_A − gP_∞] = 0 in the Jacobian), which forces every point of D_A to be ramified; when it fails—as in the paper's q=4 example, where h = 1 makes 2v_A + h constant—the explicit dual formula of Theorem 4 does not apply.
Editorial extensions
If this is right
- The degree test gives an explicit, algorithmic route to non-special divisors of degree g−1 and g on every hyperelliptic curve, replacing Riemann-Roch dimension computations with a single polynomial-degree check.
- For any evaluation divisor D of 2t distinct rational points forming t conjugate pairs and coprime to the Mumford data, the CRT construction yields an LCP of AG codes of length 2t, dimension t, and minimum distance at least t − g + 1.
- The MDS property of both codes is equivalent to a finite list of Jacobian class-avoidance conditions, each checkable by Mumford u-degree, so the optimal-distance test becomes a routine computation.
- Under the 2-torsion condition u_A | 2v_A + h, the dual of C_L(D,G) is exactly m·C_L(D,H) for the explicit multiplier m, and coordinate-wise square roots of m turn the LCP into an LCD code.
- On the maximal curve y² = x^q + x over F_{q²}, the paper gives computational evidence for MDS LCP parameters [8,4,5]_{16}, MDS LCD parameters [10,5,6]_{25}, and LCD parameters [28,14]_{49}, and conjectures that [2q,q,q+1]_{q²} MDS LCD codes exist for all q ≥ 4.
Reading between the lines
- The same Mumford-degree test suggests a deterministic polynomial-time routine for deciding non-speciality on hyperelliptic curves, since the underlying Mumford arithmetic runs in polynomial time in the genus and field size; the paper uses the test as a verification loop but does not state a complexity bound.
- The paper's own examples support the abstract's [2q,q,q+1] MDS LCD claim at q=5 only: q=4 yields an MDS LCP (not an LCD code), and q=7 is run with k=2 giving [28,14]_{49}, so the stated conjecture currently rests on fewer verified parameter sets than the abstract suggests.
- Because the 2-torsion condition forces D_A to be ramified, it is restrictive when h ≠ 0; on the y² = x^q + x family h = 0 makes the condition vacuous, so the multiplier construction may need a different mechanism (e.g., Hilbert-symbol-type square roots rather than ordinary field square roots) to extend to general hyperelliptic curves.
- The MDS criterion is a finite check of binomial size—70 subsets for q=4 and 252 for q=5—which the paper verifies by computer; a natural extension is to turn the heuristic inequality 2q < (q+1)^{q−1} on the maximal curve into a counting proof that the forbidden Jacobian classes cannot exhaust the complement.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies algebraic geometry codes on hyperelliptic curves of genus g≥2, with a focus on linear complementary pairs (LCP) and linear complementary dual (LCD) codes. The main theoretical contribution is a characterization of non-special divisors of degree g−1 and g in terms of the degree of the u-polynomial in their reduced Mumford representation (Proposition 3, Corollary 1, Theorem 1). Using this, the authors construct LCPs of codes via Chinese remainder arithmetic on Mumford pairs, give a polynomial-degree MDS criterion (Proposition 6, Theorem 3), and, under a 2-torsion condition u_A | 2v_A+h, derive an explicit multiplier that turns the LCP into an LCD code (Theorem 4). The framework is applied to maximal hyperelliptic curves over F_{q^2}, with Magma-verified examples for q=4,5,7 and a conjecture, with heuristic support, that MDS LCD codes of parameters [2q,q,q+1]_{q^2} exist for all q≥4.
Significance. The core theoretical results appear sound and useful: Proposition 3 and Theorem 1 give an explicit, checkable polynomial-degree criterion for non-speciality, replacing a hard geometric theta-avoidance problem with a univariate degree test. The CRT-based LCP construction and the explicit dual formula in Theorem 4 are elegant and constitute a genuine new tool for constructing complementary AG codes. The computational verification of the MDS conditions in the examples is a positive feature. However, the paper's headline claim of MDS LCD codes for q=4,5,7 is not supported by the examples as written: only the q=5 example realizes the advertised parameters. This is a substantive gap between the abstract and the demonstrations, and needs to be addressed before publication.
major comments (2)
- [Abstract; §1 and §4.2, Examples 2–4] The abstract and §1 claim explicit MDS LCD codes with parameters [2q,q,q+1]_{q^2} for q=4,5,7. This is not what the examples show. Example 2 (q=4) constructs only an LCP of MDS codes [8,4,5]_{16}; it is not shown to be LCD. Theorem 4’s hypothesis u_A | 2v_A+h cannot hold there: in char 2 with h=1, 2v_A+h=1, and u_A has degree 2; moreover #J(X)=5^4 is odd, so the required 2-torsion class does not exist. Example 4 (q=7) uses k=2 and produces an LCD [28,14]_{49}, not [14,7]_{49}, and its minimum distance is not computed. Only Example 3 (q=5) realizes the advertised MDS LCD parameters [10,5,6]_{25}. This overclaim is load-bearing: the paper’s headline is precisely these examples. Please either revise the abstract/introduction to the supported cases or supply the missing q=4 and q=7 k=1 constructions.
- [§4.2, Theorem 4 and Proposition 7] Theorem 4’s LCD construction is conditional on u_A | 2v_A+h, which forces every point of D_A to be ramified. This is a strong hypothesis and, as Example 2 shows, it is not satisfiable for the maximal hyperelliptic curve y^2+y=x^5 over F_16 (or any curve whose Jacobian has odd order). The paper should state this limitation explicitly when advertising the examples, since the q=4 example cannot be converted to an LCD code by the given method.
minor comments (4)
- [§4.1, Theorem 3] Theorem 3 states parameters [2t,t,t+1]_q, but the application in §4.2 uses alphabet F_{q^2}. Re-label the field in the theorem to avoid confusion.
- [§4.2, Theorem 4] The sentence 'which is always possible over a suitable extension or by careful choice of x_i' is imprecise; changing the extension changes the alphabet. The square condition is verified in Proposition 7; please clarify that the LCD code is over F_{q^2}.
- [§4.2, Example 4] Example 4 states that the chosen pairs 'satisfy the conditions of Proposition 7' but does not show the verification of the square condition m_a ∈ (F_{49}^*)^2 or list the multiplier µ. For reproducibility, either include the check or provide the Magma script.
- [§4, Remark 4] The counting heuristic only counts forbidden Jacobian classes for the MDS condition; it does not account for the square condition of Proposition 7, so it should not be read as supporting the LCD/MDS conjecture without additional argument.
Circularity Check
No circularity: the Mumford-degree test, MDS criterion, and dual/LCD formulas are derived from Riemann–Roch and residue computations rather than assumed; self-citations are contextual only.
full rationale
The paper's central derivation chain is self-contained. Proposition 3 and Theorem 1 convert non-speciality into a degree condition on reduced Mumford representatives by a direct Riemann–Roch/effectiveness argument: if the reduced affine degree is below g the divisor is equivalent to an effective divisor, and conversely effectiveness forces the degree to drop under reduction. This is a genuine theorem, not a definition or a fitted input. Proposition 6 gives an iff criterion for MDS in terms of u-polynomial degrees; it is derived from the standard AG-code MDS condition (ℓ(G−D_I)=0 for all index sets of size t) plus Proposition 3, so checking those degrees is checking the classical condition, not renaming it. Theorem 4 computes the Euclidean dual explicitly from residues of η=dx/(p_D(x)(2y+h(x))) and uses the hypothesis u_A|2v_A+h to deduce G+H = div(u_A u_B)+(2g+2t−2)P∞; the resulting multiplier m is explicit and the LCD step follows from µ_P^2=m_P. Nothing is fitted and then 'predicted': the hypotheses are stated, and the examples verify them computationally in Magma. The self-citations ([14], [21], [22]) appear only as contextual references to prior constructions and are not load-bearing for the proofs here. The abstract's q=4 MDS LCD claim appears unsupported by the paper's own Example 2 (which establishes an LCP MDS [8,4,5] code, not an LCD code under Theorem 4's hypotheses), and the q=7 example reports [28,14] rather than [14,7]; these are correctness/consistency gaps, not circularity. No step in the derivation is equivalent by construction to its inputs, so the circularity score is 0.
Assumptions & free parameters
free parameters (2)
- Mumford data (u_A,v_A,u_B,v_B) =
Explicit polynomials in Examples 2-4 (e.g., q=5: u_A=x^2+2, v_A=0 and a degree-5 u_B)
- k (evaluation divisor index) =
k=1 for q=4,5; k=2 for q=7
assumptions (7)
- standard math Riemann-Roch theorem: ℓ(G)=deg G+1-g+ℓ(K-G)
- standard math Mumford representation: each divisor class in J(X) has a unique reduced pair (u,v) with deg u ≤ g
- domain assumption Dimension formula for ℓ(D+sP∞) on hyperelliptic curves [16, Lemma 2.2.5]
- standard math Dual AG code formula C_L(D,G)^⊥=C_L(D,D+div(η)-G) with η=dt/t
- ad hoc to paper 2-torsion condition u_A | 2v_A + h
- ad hoc to paper Square condition m_a ∈ (F_{q^2}^*)^2 for each evaluation x-coordinate a
- ad hoc to paper MDS theta-avoidance: for every t-subset I, the reduced u-degree of α±β-γ_I is g
Cite this review
Pith. "Pith review of Explicit LCP of MDS Codes and LCD Codes on Hyperelliptic Curves via Mumford Representation." pith.science (2026). https://pith.science/paper/GSRYWRGD
@misc{pith2026260716945,
author = {Pith},
title = {Pith review of: Explicit LCP of MDS Codes and LCD Codes on Hyperelliptic Curves via Mumford Representation},
year = {2026},
howpublished = {\url{https://pith.science/paper/GSRYWRGD}},
note = {Machine review of arXiv:2607.16945}
}
abstract
We study algebraic geometry codes on hyperelliptic curves of genus $g \geq 2$ with 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 hard geometric problem to a single-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. Finally, we apply this framework to the maximal hyperelliptic curve $\mathcal{X} \colon y^2 = x^q + x$ over $\mathbb{F}_{q^2}$ and give explicit examples of MDS LCD codes with parameters $[2q,q,q+1]_{q^2}$ for $q = 4, 5, 7$, verified computationally; we conjecture, with heuristic support, that such codes exist for all $q \geq 4$.
Reference graph
Works this paper leans on
-
[1]
On the existence of non-special divisors of degreegandg−1in algebraic function fields overFq,
S. Ballet and D. Le Brigand, “On the existence of non-special divisors of degreegandg−1in algebraic function fields overFq,”Journal of Number Theory, vol. 116, no. 2, pp. 293–310, 2006
2006
-
[2]
On the non-special divisors in algebraic function fields defined over finite fields,
S. Ballet and M. Koutchoukali, “On the non-special divisors in algebraic function fields defined over finite fields,”Polynesian Journal of Mathematics, vol. 2, no. 1, pp. 1–41, 2025
2025
-
[3]
Beelen and L
P. Beelen and L. Jin, Explicit MDS codes with complementary duals.IEEE Trans. Inform. Theory64 (2018), 7188–7193
2018
-
[4]
Twisted Reed–Solomon codes,
P. Beelen, S. Puchinger, and J. Rosenkildé, “Twisted Reed–Solomon codes,” inProc. IEEE Int. Symp. Inf. Theory (ISIT), 2017, pp. 334–336
2017
-
[5]
Structural properties of twisted Reed–Solomon codes with applications to code-based cryptography,
P. Beelen, M. Bossert, S. Puchinger, and J. Rosenkildé, “Structural properties of twisted Reed–Solomon codes with applications to code-based cryptography,” inProc. IEEE Int. Symp. Inf. Theory (ISIT), 2018, pp. 946–950
2018
-
[6]
On linear complementary pairs of algebraic geometry codes over finite fields,
S. Bhowmick, D. K. Dalai, and S. Mesnager, “On linear complementary pairs of algebraic geometry codes over finite fields,”Discrete Math., vol. 347, no. 12, p. 114193, 2024
2024
-
[7]
Bosma, J
W. Bosma, J. Cannon, and C. Playoust,The Magma algebra system. I. The user language, J. Symbolic Comput.24(1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). 20 ADLER MARQUES, YURI DA SIL V A, AND SAEED TAF AZOLIAN
1997
-
[8]
Bringer, C
J. Bringer, C. Carlet, H. Chabanne, S. Guilley, and H. Maghrebi, Orthogonal direct sum masking: A smartcard friendly computation paradigm in a code, with builtin protection against side-channel and fault attacks, inProc. IFIP Int. Workshop Inf. Secur. Theory Pract., Springer, 2014, pp. 40–56
2014
Show all 31 references
-
[9]
D. G. Cantor, Computing in the Jacobian of a hyperelliptic curve.Mathematics of Computation, 48(177):95–101, 1987
1987
-
[10]
On linear complementary pairs of codes,
C. Carlet, C. Güneri, F. Özbudak, B. Özkaya, and P. Solé, “On linear complementary pairs of codes,” IEEE Trans. Inf. Theory, vol. 64, no. 10, pp. 6583–6589, 2018
2018
-
[11]
Complementary dual codes for counter-measures to side-channel attacks,
C. Carlet and S. Guilley, “Complementary dual codes for counter-measures to side-channel attacks,”J. Adv. Math. Commun., vol. 10, no. 1, pp. 131–150, 2016
2016
-
[12]
Linear codes overFq are equivalent to LCD codes forq >3,
C. Carlet, S. Mesnager, C. Tang, Y. Qi, and R. Pellikaan, “Linear codes overFq are equivalent to LCD codes forq >3,”IEEE Trans. Inf. Theory, vol. 64, no. 4, pp. 3010–3017, 2018
2018
-
[13]
Euclidean and Hermitian LCD MDS codes,
C. Carlet, S. Mesnager, C. Tang, and Y. Qi, “Euclidean and Hermitian LCD MDS codes,”Des. Codes Cryptogr., vol. 86, no. 11, pp. 2605–2618, 2018
2018
-
[14]
Linear complementary dual codes and linear comple- mentary pairs of AG codes in function fields,
A. S. Castellanos, A. V. Marques, and L. Quoos, “Linear complementary dual codes and linear comple- mentary pairs of AG codes in function fields,”IEEE Trans. Inf. Theory, vol. 71, no. 3, pp. 1676–1688, 2025
2025
-
[15]
New constructions of MDS codes with complementary duals,
B. Chen and H. Liu, “New constructions of MDS codes with complementary duals,”IEEE Trans. Inf. Theory, vol. 64, no. 8, pp. 5776–5782, 2018
2018
-
[16]
M. A. de Boer,Codes: Their Parameters and Geometry, Ph.D. thesis, Technische Universiteit Eind- hoven, Mathematics and Computer Science, 1997
1997
-
[17]
V. D. Goppa, Codes on algebraic curves. InSov. Math.-Dokl, volume 24, pages 170–172, 1981
1981
-
[18]
Linear complementary pairs of algebraic geometry codes via Kummer extensions,
J. Huang, H. Chen, H. Zhang, and C. A. Zhao, “Linear complementary pairs of algebraic geometry codes via Kummer extensions,”arXiv preprint arXiv:2506.23081, 2025
2025 arXiv
-
[19]
Construction of MDS codes with complementary duals,
L. Jin, “Construction of MDS codes with complementary duals,”IEEE Trans. Inf. Theory, vol. 63, no. 5, pp. 2843–2847, 2017
2017
-
[20]
Construction of MDS twisted Reed–Solomon codes and LCD MDS codes,
H. Liu and S. Liu, “Construction of MDS twisted Reed–Solomon codes and LCD MDS codes,”Des. Codes Cryptogr., vol. 89, pp. 2051–2065, 2021
-
[21]
Marques and L
A. Marques and L. Quoos,Sequences of LCD AG codes and LCP of AG Codes attaining the Tsfasman- Vladut-Zink bound, arXiv preprint arXiv:2505.23937 [math.AG], 2025
2025 arXiv
-
[22]
Marques, Y
A. Marques, Y. da Silva, and S. Tafazolian, Construction of Non-Special Divisors on Kummer Covers with Arbitrary Ramification for LCP Codes,arXiv preprint arXiv:2605.14046, 2026
2026 arXiv
-
[23]
Linear codes with complementary duals,
J. L. Massey, “Linear codes with complementary duals,”Discrete Math., vol. 106–107, pp. 337–342, 1992
1992
-
[24]
Characterization of non-special divisors of small degree on Kummer extensions and LCP codes,
E. Mendoza, H. Navarro, and L. Quoos, “Characterization of non-special divisors of small degree on Kummer extensions and LCP codes,”arXiv preprint arXiv:2604.27146, 2026
2026 arXiv
-
[25]
Explicit non-special divisors of small degree, algebraic geometric hulls, and LCD codes from Kummer extensions,
E. C. Moreno, H. H. Lopez, and G. L. Matthews, “Explicit non-special divisors of small degree, algebraic geometric hulls, and LCD codes from Kummer extensions,”SIAM J. Appl. Algebra Geometry, vol. 8, no. 2, pp. 394–413, 2024
2024
-
[26]
Mumford,Tata Lectures on Theta II: Jacobian Theta Functions and Differential Equations, vol
D. Mumford,Tata Lectures on Theta II: Jacobian Theta Functions and Differential Equations, vol. 43, Birkhäuser Boston, 1984
1984
-
[27]
On MDS linear complementary dual codes and entanglement-assisted quantum codes,
J. Qian and L. Zhang, “On MDS linear complementary dual codes and entanglement-assisted quantum codes,”Des. Codes Cryptogr., vol. 86, no. 7, pp. 1565–1572, 2018
2018
-
[28]
A new family of linear maximum rank distance codes,
J. Sheekey, “A new family of linear maximum rank distance codes,”Adv. Math. Commun., vol. 10, no. 3, pp. 475–488, 2016
2016
-
[29]
New LCD MDS codes constructed from generalized Reed–Solomon codes,
X. Shi, Q. Yue, and S. Yang, “New LCD MDS codes constructed from generalized Reed–Solomon codes,” J. Algorithm Appl., vol. 1, p. 1950150, 2018
2018
-
[30]
Stichtenoth,Algebraic Function Fields and Codes, Graduate Texts in Mathematics, vol
H. Stichtenoth,Algebraic Function Fields and Codes, Graduate Texts in Mathematics, vol. 254, 2nd ed., Springer-Verlag, Berlin, 2009
2009
-
[31]
M. A. Tsfasman, S. G. Vlăduţ, and T. Zink. Modular curves, Shimura curves, and Goppa codes, better than Varshamov-Gilbert bound.Mathematische Nachrichten, 109(1):21–28, 1982. Universidade Federal do Rio de Janeiro – Instituto de Matemática, Cidade Universitária, CEP 21941-909,...
1982
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.