pith. sign in

arxiv: 2606.13246 · v1 · pith:QSRYRY2Fnew · submitted 2026-06-11 · 💻 cs.IT · math.AG· math.CO· math.IT

A q-analogue of the rational normal curve and linearized Reed-Solomon codes

Pith reviewed 2026-06-27 05:49 UTC · model grok-4.3

classification 💻 cs.IT math.AGmath.COmath.IT
keywords q-analoguerational normal curvelinearized Reed-Solomon codessum-rank metrichypersurface conditionsHilbert functionGabidulin codesSchur product
0
0 comments X

The pith

A q-analogue of the rational normal curve gives a geometric characterization of linearized Reed-Solomon codes for certain parameters and shows their points satisfy many hypersurface conditions of degree q+1.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a geometric framework for linearized Reed-Solomon codes by introducing a q-analogue of the rational normal curve. This framework produces a geometric characterization of the codes in selected parameter regimes and demonstrates that the associated point sets obey more conditions from hypersurfaces of degree q+1 than previously known. The construction extends Schur-product techniques previously used in the Hamming and rank metrics to the sum-rank setting. The authors further compute the Hilbert function of the coordinate ring, determine its regularity, and obtain new information about Gabidulin codes.

Core claim

We introduce a q-analogue of the rational normal curve to study linearized Reed-Solomon codes. For certain parameter choices this analogue supplies a geometric characterization of the codes. The corresponding point sets satisfy an unexpectedly large number of conditions coming from hypersurfaces of degree q+1. We extend Schur-product methods to the sum-rank metric and examine the Hilbert function of the associated coordinate ring, giving a detailed description of its behavior together with its regularity and additional insight into Gabidulin codes.

What carries the argument

The q-analogue of the rational normal curve, whose point configurations translate code properties into projective geometric conditions.

If this is right

  • Linearized Reed-Solomon codes admit a geometric description via the q-analogue for the indicated parameters.
  • The point sets lie on more hypersurfaces of degree q+1 than expected, supplying new algebraic invariants.
  • Schur-product distinguishers extend directly to sum-rank metric codes.
  • The Hilbert function of the coordinate ring has explicitly described behavior and a known regularity index.
  • Gabidulin codes receive additional structural information from the same ring analysis.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The hypersurface conditions could serve as practical invariants for distinguishing these codes from random matrices in applications.
  • The regularity result may help bound other algebraic invariants such as the minimum distance in the sum-rank metric.
  • Similar q-analogues of classical varieties could be tested on other optimal sum-rank codes to produce comparable characterizations.
  • Small-field computational verification of the exact number of hypersurface conditions would provide an immediate consistency check.

Load-bearing premise

The chosen q-analogue of the rational normal curve must actually deliver a valid geometric characterization of the codes rather than an artifact of the selected parameters.

What would settle it

Finding a parameter set where the q-analogue fails to characterize the codes or where the point sets satisfy strictly fewer than the claimed number of independent (q+1)-degree hypersurface conditions would refute the framework.

Figures

Figures reproduced from arXiv: 2606.13246 by Alain Couvreur, Flavio Salizzoni, Martino Borello, Valentina Astore.

Figure 1
Figure 1. Figure 1: (q m/q)-Hilbert sequence of a [(4, 4, 4, 4), 4]5 4/5 linearized Reed–Solomon code [PITH_FULL_IMAGE:figures/full_fig_p026_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: (q m/q)-Hilbert sequences of [(4, 4, 4), 4]4 4/4 codes. References [1] G. N. Alfarano, M. Borello, and A. Neri. A geometric characterization of minimal codes and their asymptotic performance. Advances in Mathematics of Communications, 16(1):115–133, 2022. [2] G. N. Alfarano, M. Borello, A. Neri, and A. Ravagnani. Linear cutting blocking sets and minimal codes in the rank metric. Journal of Combinatorial Th… view at source ↗
read the original abstract

The relationship between linear codes in the Hamming metric and projective algebraic varieties has led to deep interactions between coding theory and algebraic geometry, with classical examples such as Reed-Solomon codes and the rational normal curve. On the other hand, the sum-rank metric has recently gained attention due to applications in network coding, distributed storage, and post-quantum cryptography, with linearized Reed-Solomon codes emerging as optimal constructions. Despite recent advances, their structural and geometric properties are still not fully understood, and existing distinguishers remain limited. In this paper, we develop a geometric framework for linearized Reed-Solomon codes by considering a $q$-analogue of the rational normal curve. This yields a geometric characterization for certain parameter choices and reveals that the corresponding sets of points satisfy unexpectedly many $(q+1)$-degree hypersurface conditions. Our approach extends Schur-product-based techniques from the Hamming and rank-metric settings to the sum-rank metric case. Finally, we study the Hilbert function of the associated coordinate ring, providing a detailed description of its behavior and identifying its regularity, which also sheds new light on Gabidulin codes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper develops a geometric framework for linearized Reed-Solomon codes by introducing a q-analogue of the rational normal curve. For certain parameter choices this yields a geometric characterization of the codes and shows that the associated point sets satisfy unexpectedly many (q+1)-degree hypersurface conditions. The approach extends Schur-product techniques from the Hamming and rank-metric settings to the sum-rank metric; the manuscript also analyzes the Hilbert function of the associated coordinate ring, determines its regularity, and draws implications for Gabidulin codes.

Significance. If the q-analogue construction is valid and the hypersurface conditions are shown to be structural, the work would establish a concrete algebraic-geometric bridge for sum-rank metric codes, which are relevant to network coding, distributed storage, and post-quantum cryptography. The explicit Hilbert-function description and regularity result constitute a concrete algebraic contribution that could be used in future distinguishers or parameter studies.

major comments (1)
  1. [construction section (around the definition of the q-analogue)] The central claim rests on the q-analogue construction producing a valid geometric characterization and on the (q+1)-degree hypersurface conditions being structural rather than artifacts of parameter choice. The manuscript must supply the explicit ideal generators or variety equations for the q-analogue (presumably in the section introducing the construction) together with a dimension count showing that the observed number of conditions exceeds what follows from linearity and the q-power map alone.
minor comments (2)
  1. The abstract states that the point sets satisfy 'unexpectedly many' conditions; a precise comparison (e.g., to the expected dimension of the degree-(q+1) part of the coordinate ring) should appear in the main text.
  2. Notation for the sum-rank metric and linearized Reed-Solomon parameters should be introduced with a short table or explicit reference to prior work for readers coming from the Hamming-metric setting.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed reading and the constructive suggestion regarding the construction section. We address the single major comment below and will incorporate the requested material in the revised manuscript.

read point-by-point responses
  1. Referee: [construction section (around the definition of the q-analogue)] The central claim rests on the q-analogue construction producing a valid geometric characterization and on the (q+1)-degree hypersurface conditions being structural rather than artifacts of parameter choice. The manuscript must supply the explicit ideal generators or variety equations for the q-analogue (presumably in the section introducing the construction) together with a dimension count showing that the observed number of conditions exceeds what follows from linearity and the q-power map alone.

    Authors: We agree that an explicit presentation of the ideal generators (or defining equations) of the q-analogue variety, together with a dimension count, would make the geometric characterization more transparent and would confirm that the observed (q+1)-degree conditions are not merely consequences of linearity and the q-power map. In the revised manuscript we will add, in the section introducing the q-analogue, the explicit generators of the ideal and a direct dimension computation (via the Hilbert function of the coordinate ring already studied later in the paper) showing that the number of independent conditions strictly exceeds the dimension predicted by the linear and q-power constraints alone. This addition will also clarify the parameter range for which the geometric characterization holds. revision: yes

Circularity Check

0 steps flagged

No circularity: framework presented as independent geometric extension

full rationale

The abstract and provided context describe a new q-analogue construction for linearized Reed-Solomon codes that extends Schur-product techniques, with no quoted equations, definitions, or citations showing self-definition, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain is presented as building on prior independent work in coding theory and algebraic geometry without reducing the central claims to the inputs by construction. This is the expected non-finding for a paper whose claims rest on explicit new constructions rather than tautological renaming or parameter fitting.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are explicitly listed or derivable.

pith-pipeline@v0.9.1-grok · 5747 in / 964 out tokens · 21077 ms · 2026-06-27T05:49:34.083276+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

55 extracted references · 3 canonical work pages · 1 internal anchor

  1. [1]

    G. N. Alfarano, M. Borello, and A. Neri. A geometric characterization of minimal codes and their asymptotic performance.Advances in Mathematics of Communications, 16(1):115–133, 2022

  2. [2]

    G. N. Alfarano, M. Borello, A. Neri, and A. Ravagnani. Linear cutting blocking sets and minimal codes in the rank metric.Journal of Combinatorial Theory, Series A, 192:105658, 2022

  3. [3]

    Arbarello, M

    E. Arbarello, M. Cornalba, P. Griffiths, and J. D. Harris.Geometry of Algebraic Curves: Volume I, volume 267. Springer Science & Business Media, 2013

  4. [4]

    Astore, 2026.https://github.com/Valentina-Astore/HilbertSequencesOfCodes

    V. Astore, 2026.https://github.com/Valentina-Astore/HilbertSequencesOfCodes. Aq-ANALOGUE OF THE RATIONAL NORMAL CURVE AND LINEARIZED REED–SOLOMON CODES 27

  5. [5]

    Astore, M

    V. Astore, M. Borello, M. Calderini, and F. Salizzoni. A geometric invariant of linear rank-metric codes.SIAM Journal on Applied Algebra and Geometry, 9(4):741–764, 2025

  6. [6]

    S. Ball. On sets of vectors of a finite vector space in which every subset of basis size is a basis.Journal of the European Mathematical Society (EMS Publishing), 14(3), 2012

  7. [7]

    Beelen, M

    P. Beelen, M. Datta, and S. R. Ghorpade. Vanishing ideals of projective spaces over finite fields and a projective footprint bound.Acta Mathematica Sinica, English Series, 35(1):47–63, 2019

  8. [8]

    Berardini and X

    E. Berardini and X. Caruso. Algebraic geometry codes in the sum–rank metric.IEEE Transactions on Information Theory, 70(5):3345–3356, 2024

  9. [9]

    Berardini and X

    E. Berardini and X. Caruso. Reed-Muller codes in the sum-rank metric.Journal of Algebra and Its Applications, 2025

  10. [10]

    Bosma, J

    W. Bosma, J. Cannon, and C. Playoust. The Magma algebra system I: The user language.Journal of Symbolic Computation, 24(3-4):235–265, 1997

  11. [11]

    Camps-Moreno, E

    E. Camps-Moreno, E. Gorla, C. Landolina, E. L. Garc´ ıa, U. Mart´ ınez-Pe˜ nas, and F. Salizzoni. Optimal anti- codes, MSRD codes, and generalized weights in the sum-rank metric.IEEE Transactions on Information Theory, 68(6):3806–3822, 2022

  12. [12]

    Caruso and A

    X. Caruso and A. Durand. Duals of linearized Reed-Solomon codes.Designs, Codes and Cryptography, 91(1):241– 271, 2023

  13. [13]

    D. A. Cox, J. Little, and D. O’Shea.Ideals, Varieties, and Algorithms. Undergraduate Texts in Mathematics. Springer, Cham, 5 th edition, 2025

  14. [14]

    A. A. Davydov, M. Giulietti, S. Marcugini, and F. Pambianco. Linear nonbinary covering codes and saturating sets in projective spaces.Advances in Mathematics of Communications, 5(1):119–147, 2011

  15. [15]

    Donati and N

    G. Donati and N. Durante. A generalization of the normal rational curve in PG(d, qn) and its associated non-linear MRD codes.Designs, Codes and Cryptography, 86(6):1175–1184, 2018

  16. [16]

    Eisenbud.The geometry of syzygies: A second course in commutative algebra and algebraic geometry

    D. Eisenbud.The geometry of syzygies: A second course in commutative algebra and algebraic geometry. Springer, 2005

  17. [17]

    Eisenbud.Commutative algebra: with a view toward algebraic geometry, volume 150

    D. Eisenbud.Commutative algebra: with a view toward algebraic geometry, volume 150. Springer Science & Business Media, 2013

  18. [18]

    Eisenbud and B

    D. Eisenbud and B. Sturmfels. Binomial ideals.Duke Mathematical Journal, 84(1):1, 1996

  19. [19]

    Eliahou and E

    S. Eliahou and E. Mazumdar. Iterated sumsets and Hilbert functions.Journal of Algebra, 593:274–294, 2022

  20. [20]

    J. Elias. Sumsets and projective curves.Mediterranean Journal of Mathematics, 19(4):177, 2022

  21. [21]

    Gimenez and M

    P. Gimenez and M. Gonz´ alez-S´ anchez. Castelnuovo–Mumford regularity of projective monomial curves via sum- sets.Mediterranean Journal of Mathematics, 20(5):287, 2023

  22. [22]

    Gorla, U

    E. Gorla, U. Mart´ ınez-Pe˜ nas, and F. Salizzoni. Sum-rank metric codes.arXiv preprint arXiv:2304.12095, 2023

  23. [23]

    G¨ ortz and T

    U. G¨ ortz and T. Wedhorn.Algebraic Geometry I: Schemes. Springer Spektrum Wiesbaden, 2 edition, 2020

  24. [24]

    S. Goto, N. Suzuki, and K. Watanabe. On affine semigroup rings.Japanese journal of mathematics. New series, 2(1):1–12, 1976

  25. [25]

    Harris.Algebraic geometry: a first course

    J. Harris.Algebraic geometry: a first course. Springer Science & Business Media, 2013

  26. [26]

    Hartshorne.Algebraic geometry, volume 52 ofGraduate Texts in Mathematics

    R. Hartshorne.Algebraic geometry, volume 52 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1977

  27. [27]

    H¨ ormann, H

    F. H¨ ormann, H. Bartz, and A.-L. Horlemann. Distinguishing and recovering generalized linearized Reed–Solomon codes. InCode-Based Cryptography, pages 1–20. Springer Nature Switzerland, 2023

  28. [28]

    Distinguishers for Skew and Linearized Reed-Solomon Codes

    F. H¨ ormann and A.-L. Horlemann. Distinguishers for skew and linearized Reed-Solomon codes.arXiv preprint arXiv:2604.12954, 2026

  29. [29]

    Kshevetskiy and E

    A. Kshevetskiy and E. Gabidulin. The new construction of rank codes. InProceedings. International Symposium on Information Theory, 2005. ISIT 2005, pages 2105–2108. IEEE, 2005

  30. [30]

    Lidl.Introduction to finite fields and their applications

    R. Lidl.Introduction to finite fields and their applications. Cambridge University Press, 1994

  31. [31]

    Mannaert, M

    J. Mannaert, M. Messia, and F. Zullo. On the number of inequivalent linearized Reed-Solomon codes.arXiv preprint arXiv:2603.17636, 2026

  32. [32]

    Mart´ ınez-Pe˜ nas

    U. Mart´ ınez-Pe˜ nas. Theory of supports for linear codes endowed with the sum-rank metric.Designs, Codes and Cryptography, 87(10):2295–2320, 2019

  33. [33]

    Mart´ ınez-Pe˜ nas

    U. Mart´ ınez-Pe˜ nas. Hamming and simplex codes for the sum-rank metric.Designs, Codes and Cryptography, 88(8):1521–1539, 2020

  34. [34]

    Mart´ ınez-Pe˜ nas, M

    U. Mart´ ınez-Pe˜ nas, M. Shehadeh, and F. R. Kschischang. Codes in the sum-rank metric: Fundamentals and applications.Foundations and Trends®in Communications and Information Theory, 19(5):814–1031, 2022

  35. [35]

    Mart´ ınez-Pe˜ nas

    U. Mart´ ınez-Pe˜ nas. Skew and linearized Reed–Solomon codes and maximum sum rank distance codes over any division ring.Journal of Algebra, 504:587–612, 2018

  36. [36]

    Mirandola and G

    D. Mirandola and G. Z´ emor. Critical pairs for the product Singleton bound.IEEE Transactions on Information Theory, 61(9):4928–4937, 2015

  37. [37]

    M. B. Nathanson.Additive number theory, volume 164. Springer New York, 1996. 28 Aq-ANALOGUE OF THE RATIONAL NORMAL CURVE AND LINEARIZED REED–SOLOMON CODES

  38. [38]

    A. Neri, S. Puchinger, and A.-L. Horlemann-Trautmann. Equivalence and characterizations of linear rank-metric codes based on invariants.Linear Algebra and its Applications, 603:418–469, 2020

  39. [39]

    A. Neri, P. Santonastaso, and F. Zullo. The geometry of one-weight codes in the sum-rank metric.Journal of Combinatorial Theory, Series A, 194:105703, 2023

  40. [40]

    K. E. Nouetowa. A post-quantum encryption scheme based on linearized Reed-Solomon codes. working paper or preprint, Jan. 2026

  41. [41]

    O. Ore. Theory of non-commutative polynomials.Annals of mathematics, 34(3):480–508, 1933

  42. [42]

    Overbeck

    R. Overbeck. Structural attacks for public key cryptosystems based on Gabidulin codes.J. Cryptology, 21:280– 301, 2008

  43. [43]

    Randriambololona

    H. Randriambololona. Asymptotically good binary linear codes with asymptotically good self-intersection spans. IEEE Transactions on Information Theory, 59(5):3038–3045, 2013

  44. [44]

    Randriambololona

    H. Randriambololona. On products and powers of linear codes under componentwise multiplication. InAlgorith- mic arithmetic, geometry, and coding theory, volume 637 ofContemp. Math., pages 3–78. Amer. Math. Soc., Providence, RI, 2015

  45. [45]

    T. H. Randrianarisoa. A geometric approach to rank metric codes and a classification of constant weight codes. Designs, Codes and Cryptography, 88:1331–1348, 2020

  46. [46]

    Reid and L

    L. Reid and L. G. Roberts. Non-Cohen–Macaulay projective monomial curves.Journal of Algebra, 291(1):171– 186, 2005

  47. [47]

    J. W. Renner.Post-Quantum Cryptography in the Hamming Metric, the Rank Metric, and the Sum-Rank Metric. PhD thesis, Technische Universit¨ at M¨ unchen, 2022

  48. [48]

    Santonastaso and F

    P. Santonastaso and F. Zullo. On subspace designs.EMS Surveys in Mathematical Sciences, 11(1):1–62, 2023

  49. [49]

    Santonastaso and F

    P. Santonastaso and F. Zullo. Invariants for sum-rank metric codes.Annali di Matematica Pura ed Applicata (1923-), pages 1–41, 2025

  50. [50]

    B. Segre. Curve razionali normali ek-archi negli spazi finiti.Annali di Matematica Pura ed Applicata, 39:357–379, 1955

  51. [51]

    Serre.Groupes alg´ ebriques et corps de classes

    J.-P. Serre.Groupes alg´ ebriques et corps de classes. Publications de l’institut de math´ ematique de l’universit´ e de Nancago, VII. Hermann, Paris, 1959

  52. [52]

    I. R. Shafarevich.Basic Algebraic Geometry I, Varieties in projective space. Springer, Berlin, 3 edition, 2013

  53. [53]

    J. Sheekey. Linear sets are to rank-metric codes as arcs are to hamming-metric codes.Oberwolfach Report, 13:2019, 2019

  54. [54]

    Sturmfels.Gr¨ obner bases and convex polytopes, volume 8

    B. Sturmfels.Gr¨ obner bases and convex polytopes, volume 8. American Mathematical Soc., 1996

  55. [55]

    Tsfasman and S

    M. Tsfasman and S. G. Vl˘ adut ¸.Algebraic-geometric codes, volume 58. Springer Science & Business Media, 2013