pith. sign in

arxiv: 2412.14615 · v3 · submitted 2024-12-19 · 💻 cs.IT · math.CO· math.IT

Additive codes attaining the Griesmer bound

Pith reviewed 2026-05-23 07:39 UTC · model grok-4.3

classification 💻 cs.IT math.COmath.IT
keywords additive codesGriesmer boundminimum distanceoptimal parameterslinear codesfinite alphabetscode length
0
0 comments X

The pith

For additive codes the Griesmer bound on length is attained exactly when the minimum distance is large enough.

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

The paper proves that additive codes over finite alphabets, which need not be linear, meet a Griesmer-type lower bound on their length with equality once the minimum distance exceeds some threshold that depends on the alphabet size. This extends the classical Griesmer bound known for linear codes without introducing extra restrictions that would block equality at large distances. A reader cares because additive codes can sometimes beat linear codes on parameters, yet few explicit constructions were known; the result now gives the exact optimal length for all large distances together with infinite families of examples that are strictly shorter than any linear code of the same size and distance.

Core claim

A Griesmer type bound for the length of additive codes can always be attained with equality if the minimum distance is sufficiently large. This solves the problem for the optimal parameters of additive codes when the minimum distance is large and yields many infinite series of additive codes that outperform linear codes.

What carries the argument

The Griesmer-type bound extended to additive codes, shown to be tight for all sufficiently large minimum distances.

Load-bearing premise

That the Griesmer-type bound applies to additive codes over finite alphabets and remains attainable with equality once the minimum distance grows large.

What would settle it

An additive code (or explicit existence proof) whose shortest possible length for some sufficiently large minimum distance exceeds the value given by the Griesmer-type bound.

read the original abstract

Additive codes may have better parameters than linear codes. However, still very few cases are known and the explicit construction of such codes is a challenging problem. Here we show that a Griesmer type bound for the length of additive codes can always be attained with equality if the minimum distance is sufficiently large. This solves the problem for the optimal parameters of additive codes when the minimum distance is large and yields many infinite series of additive codes that outperform linear 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

2 major / 0 minor

Summary. The paper claims that additive codes (subgroups of the ambient space) over finite alphabets attain a Griesmer-type lower bound on length n with equality whenever the minimum distance d is sufficiently large (depending only on the alphabet size and dimension parameters). This is said to yield optimal parameters for additive codes in the large-d regime together with explicit infinite families that strictly outperform the best linear codes.

Significance. If the bound and the attainment construction are valid for general additive codes, the result would be significant: it would resolve the optimal length problem for additive codes once d exceeds a threshold and supply concrete constructions better than linear ones. The manuscript would thereby extend the classical Griesmer theory beyond vector spaces over fields.

major comments (2)
  1. [§2–3] The derivation of the Griesmer-type bound (presumably §2–3) must be checked for reliance on scalar multiplication by field elements or vector-space dimension counting after puncturing; such steps are unavailable when the ambient space is only a module over ℤ_q and the code is an arbitrary additive subgroup. If the proof invokes these operations, the claimed bound itself fails to hold in the stated generality.
  2. [§4–5] The attainment construction for sufficiently large d (presumably §4–5) is load-bearing for the central claim; its correctness must be verified to ensure it produces additive (not necessarily linear) codes that meet the bound without hidden linearity assumptions or restrictions on the alphabet that would prevent equality.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the potential significance of extending Griesmer theory to additive codes. We address the two major comments point by point below, confirming that both the bound derivation and the constructions operate strictly within the additive-group setting.

read point-by-point responses
  1. Referee: [§2–3] The derivation of the Griesmer-type bound (presumably §2–3) must be checked for reliance on scalar multiplication by field elements or vector-space dimension counting after puncturing; such steps are unavailable when the ambient space is only a module over ℤ_q and the code is an arbitrary additive subgroup. If the proof invokes these operations, the claimed bound itself fails to hold in the stated generality.

    Authors: The proof in Sections 2–3 uses only the additive subgroup structure of the code inside the abelian group ℤ_q^n. The argument proceeds by induction on d, applying a combinatorial counting of the minimal number of coordinates needed to separate codewords of weight at least d; puncturing is performed coordinate-wise and preserves the subgroup property without any scalar multiplication. No vector-space dimension is invoked; the counting relies solely on the cardinality of the subgroup and the minimum-distance condition. We can insert an expanded, self-contained version of the argument in the revision if the referee wishes to see the steps written without any reference to linear algebra. revision: no

  2. Referee: [§4–5] The attainment construction for sufficiently large d (presumably §4–5) is load-bearing for the central claim; its correctness must be verified to ensure it produces additive (not necessarily linear) codes that meet the bound without hidden linearity assumptions or restrictions on the alphabet that would prevent equality.

    Authors: The constructions in Sections 4–5 are defined directly on the additive group: they consist of iterated direct sums of elementary additive codes together with a Plotkin-type lifting that concatenates coordinates while preserving closure under addition. The resulting objects are subgroups of ℤ_q^n but need not be linear over any field. The alphabet size q is arbitrary (any integer ≥2), and the threshold on d depends only on q and the dimension parameters; once d exceeds this threshold the equality case is attained by an explicit recursive formula. Concrete infinite families are exhibited that are strictly better than the best linear codes of the same length and distance. We are prepared to add generator matrices or explicit small examples illustrating the additive (non-linear) nature of the codes. revision: no

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper states a Griesmer-type lower bound on length for additive codes and provides explicit constructions attaining equality for sufficiently large minimum distance. No equations or steps in the abstract or described content reduce the bound or attainment result to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The extension from linear to additive codes and the large-d attainment are presented as independent results without tautological reduction to inputs. This is the expected non-finding for a self-contained existence proof.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only; no free parameters, invented entities, or non-standard axioms are mentioned. All background appears to be standard finite-field coding theory.

axioms (1)
  • standard math Standard vector-space and additive-group properties over finite fields
    Used to define additive codes and the Griesmer-type bound

pith-pipeline@v0.9.0 · 5584 in / 1035 out tokens · 31950 ms · 2026-05-23T07:39:39.288766+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The geometry of rank-metric codes

    math.CO 2026-05 unverdicted novelty 7.0

    A correspondence is built between nondegenerate matrix rank-metric codes and geometric systems, producing Delsarte-type incidence identities plus applications to generalized weights and semifields.

  2. Generalized Hamming weights of additive codes and geometric counterparts

    math.CO 2025-12 unverdicted novelty 6.0

    b_2(5,2,2;s) is completely determined as a function of s via integer linear programming on the projective geometry PG(4,2), with additional bounds and constructions for other n_q and b_q parameters.

  3. Optimal additive quaternary codes of dimension $3.5$ and $4$

    math.CO 2024-10 unverdicted novelty 6.0

    Optimal parameters of additive quaternary codes are settled for dimensions 3.5 and 4, plus the large-distance case in any dimension.

Reference graph

Works this paper leans on

122 extracted references · 122 canonical work pages · cited by 3 Pith papers · 2 internal anchors

  1. [1]

    Adriaensen and S

    S. Adriaensen and S. Ball. On additive MDS codes with line ar projections. Finite Fields and Their Applications , 91:102255, 2023

  2. [2]

    Arrieta Arrieta

    E. Arrieta Arrieta. A go-up construction and applications . PhD thesis, University of Puerto Rico, 2021

  3. [3]

    Assmus Jr and J

    E. Assmus Jr and J. Key . Polynomial codes and finite geomet ries. In W. C. Hu ffman and R. A. Brualdi, editors, Handbook of Coding Theory , volume 2, pages 1269–1343. Elsevier Amsterdam, The Netherlands, 1998

  4. [4]

    S. Ball, A. Blokhuis, and F. Mazzocca. Maximal arcs in Des arguesian planes of odd order do not exist. Combinatorica, 17(1):31–41, 1997

  5. [5]

    Ball and J

    S. Ball and J. Dixon. The equivalence of linear codes impl ies semi-linear equivalence. Designs, Codes and Cryptography , 90(7):1557–1565, 2022

  6. [6]

    S. Ball, G. Gamboa, and M. Lavrauw. On additive MDS codes o ver small fields. Advances in Mathematics of Communications , 17(4):828–844, 2023. 54

  7. [7]

    S. Ball, M. Lavrauw, and T. Popatia. Griesmer type bounds for additive codes over finite fields, integral and fractional MDS codes. Designs, Codes and Cryptography , pages 1–22, to appear. arxiv preprint 2406.08916

  8. [8]

    Barnabei, D

    M. Barnabei, D. Searby , and C. Zucchini. On small {k; q};-arcs in planes of order q2. Journal of Combinatorial Theory, Series A , 24(2):241–246, 1978

  9. [9]

    Belov , V

    B. Belov , V . Logachev , and V . Sandimirov . Construction of a class of linear binary codes achieving the Varshamov–Griesmer bound. Problemy Peredachi Informatsii , 10(3):36–44, 1974

  10. [10]

    Beutelspacher

    A. Beutelspacher. Partial spreads in finite projective spaces and partial designs. Mathe- matische Zeitschrift, 145:211–229, 1975

  11. [11]

    Bierbrauer, D

    J. Bierbrauer, D. Bartoli, G. Faina, S. Marcugini, and F . Pambianco. The nonexistence of an additive quaternary [15 , 5, 9]-code. Finite Fields and Their Applications , 36:29–40, 2015

  12. [12]

    Bierbrauer and Y

    J. Bierbrauer and Y . Edel. A family of 2-weight codes rel ated to BCH-codes. Journal of Combinatorial Designs, 5(5):391–396, 1997

  13. [13]

    Bierbrauer, Y

    J. Bierbrauer, Y . Edel, G. Faina, S. Marcugini, and F. Pambianco. Short additive quaternary codes. IEEE T ransactions on Information Theory, 55(3):952–954, 2009

  14. [14]

    Bierbrauer, S

    J. Bierbrauer, S. Marcugini, and F. Pambianco. A geomet ric non-existence proof of an extremal additive code. Journal of Combinatorial Theory, Series A , 117(2):128–137, 2010

  15. [15]

    Bierbrauer, S

    J. Bierbrauer, S. Marcugini, and F. Pambianco. Additiv e quaternary codes related to exceptional linear quaternary codes. IEEE T ransactions on Information Theory , 66(1):273– 277, 2019

  16. [16]

    Bierbrauer, S

    J. Bierbrauer, S. Marcugini, and F. Pambianco. Optimal additive quaternary codes of low dimension. IEEE T ransactions on Information Theory, 67(8):5116–5118, 2021

  17. [17]

    Bierbrauer, S

    J. Bierbrauer, S. Marcugini, and F. Pambianco. An asymp totic property of quaternary additive codes. Designs, Codes and Cryptography , 92:3371?3375, 2024

  18. [18]

    Blaum, J

    M. Blaum, J. Bruck, and A. Vardy . MDS array codes with ind ependent parity symbols. IEEE T ransactions on Information Theory, 42(2):529–542, 1996

  19. [19]

    Blaum, P

    M. Blaum, P . G. Farrell, H. C. van Tilborg, V . Pless, and W . Hu ffman. Array codes. In W. C. Hu ffman and R. A. Brualdi, editors, Handbook of Coding Theory , volume 2, pages 1855–1909. Elsevier Amsterdam, The Netherlands, 1998. 55

  20. [20]

    Blokhuis

    A. Blokhuis. On the size of a blocking set in PG(2 , p). Combinatorica, 14:111–114, 1994

  21. [21]

    Blokhuis and A

    A. Blokhuis and A. E. Brouwer. Small additive quaternar y codes. European Journal of Combinatorics, 25(2):161–167, 2004

  22. [22]

    Blokhuis, A

    A. Blokhuis, A. E. Brouwer, and H. A. Wilbrink. Blocking sets in PG(2, p) for small p, and partial spreads in PG(3 , 7). Advances in Geometry , 2003

  23. [23]

    G. T. Bogdanova, A. E. Brouwer, S. N. Kapralov , and P . R. ¨Ostergård. Error-correcting codes over an alphabet of four elements. Designs, Codes and Cryptography , 23:333–342, 2001

  24. [24]

    G. T. Bogdanova and P . R. ¨Ostergård. Bounds on codes over an alphabet of five elements. Discrete Mathematics, 240(1-3):13–19, 2001

  25. [25]

    R. C. Bose. Mathematical theory of the symmetrical fact orial design. Sankhy¯ a: The Indian Journal of Statistics , pages 107–166, 1947

  26. [26]

    Bouyukhev , D

    I. Bouyukhev , D. B. Ja ffe, and V . Vavrek. The smallest length of eight-dimensional b inary linear codes with prescribed minimum distance. IEEE T ransactions on Information Theory, 46(4):1539–1544, 2000

  27. [27]

    Bouyukliev , S

    I. Bouyukliev , S. Bouyuklieva, and S. Kurz. Computer cl assification of linear codes. IEEE T ransactions on Information Theory, 67(12):7807–7814, 2021

  28. [28]

    Boyvalenkov , K

    P . Boyvalenkov , K. Delchev , D. V . Zinoviev , and V . A. Zinoviev . On two-weight codes. Discrete Mathematics, 344(5):112318, 2021

  29. [29]

    G. H. Bradley . Algorithms for Hermite and Smith normal matrices and linear Diophantine equations. Mathematics of Computation, 25(116):897–907, 1971

  30. [30]

    A. E. Brouwer. Two-weight codes. In W. C. Hu ffman, J.-L. Kim, and P . Sol´ e, editors, Concise Encyclopedia of Coding Theory , pages 449–462. Chapman and Hall /CRC, 2021

  31. [31]

    A. R. Calderbank, E. M. Rains, P . M. Shor, and N. J. Sloane . Quantum error correction via codes over GF(4). IEEE T ransactions on Information Theory, 44(4):1369–1387, 1998

  32. [32]

    Calderbank and W

    R. Calderbank and W. M. Kantor. The geometry of two-weight codes. Bulletin of the London Mathematical Society, 18(2):97–122, 1986

  33. [33]

    Chandler, P

    D. Chandler, P . Sin, and Q. Xiang. The invariant factors of the incidence matrices of points and subspaces in PG( n, q) and AG( n, q). T ransactions of the American Mathematical Society, 358(11):4935–4957, 2006. 56

  34. [34]

    C. Chen. Symbol error-correcting codes for computer me mory systems. IEEE T ransactions on Computers, 41(02):252–256, 1992

  35. [35]

    Chen and M

    C.-L. Chen and M. Hsiao. Error-correcting codes for sem iconductor memory applications: A state-of-the-art review. IBM Journal of Research and Development , 28(2):124–134, 1984

  36. [36]

    H. Chen. Griesmer and optimal linear codes from the a ffine Solomon-Stiffler construction. arXiv preprint 2406.10825 , 2024

  37. [37]

    F. D. Clerck, M. Delanote, N. Hamilton, and R. Mathon. Pe rp-systems and partial geome- tries. Advances in Geometry , 2:1–12, 2002

  38. [38]

    Dastbasteh and P

    R. Dastbasteh and P . Lisonˇ ek. New quantum codes from self-dual codes over F4. Designs, Codes and Cryptography , 92(3):787–801, 2024

  39. [39]

    Dastbasteh and K

    R. Dastbasteh and K. Shivji. Polynomial representatio n of additive cyclic codes and new quantum codes. Advances in Mathematics of Communications , 19(1):49–68, 2025

  40. [40]

    Delsarte

    P . Delsarte. Weights of linear codes and strongly regul ar normed spaces. Discrete Mathe- matics, 3(1-3):47–64, 1972

  41. [41]

    R. H. Denniston. Some maximal arcs in finite projective p lanes. Journal of Combinatorial Theory, 6(3):317–319, 1969

  42. [42]

    J. W. Di Paola. On minimum blocking coalitions in small p rojective plane games. SIAM Journal on Applied Mathematics , 17(2):378–392, 1969

  43. [43]

    L. A. Dissett. Combinatorial and computational aspects of finite geometri es. PhD thesis, Uni- versity of Toronto, 2000

  44. [44]

    Dodunekov and J

    S. Dodunekov and J. Simonis. Codes and projective multi sets. The Electronic Journal of Combinatorics, 5:1–23, 1998

  45. [45]

    El-Zanati, G

    S. El-Zanati, G. Seelinger, P . Sissokho, L. Spence, and C. V . Eynden. On λ-fold partitions of finite vector spaces and duality . Discrete Mathematics, 311(4):307–318, 2011

  46. [46]

    El-Zanati, G

    S. El-Zanati, G. Seelinger, P . Sissokho, L. Spence, and C. Vanden Eynden. On partitions of finite vector spaces of low dimension over GF(2). Discrete Mathematics, 309:4727–4735, 2009

  47. [47]

    Govaerts

    P . Govaerts. Classifications of blocking set related structures in Galoi s geometries. PhD thesis, Ghent University , 2003. 57

  48. [48]

    Govaerts and L

    P . Govaerts and L. Storme. On a particular class of minih ypers and its applications. I. The result for general q. Designs, Codes and Cryptography , 28:51–63, 2003

  49. [49]

    M. Grassl. Algebraic quantum codes: Linking quantum me chanics and discrete mathe- matics. International Journal of Computer Mathematics: Computer S ystems Theory , 6(4):243– 259, 2021

  50. [50]

    J. H. Griesmer. A bound for error-correcting codes. IBM Journal of Research and Development, 4(5):532–542, 1960

  51. [51]

    C. Guan, R. Li, Y . Liu, and Z. Ma. Some quaternary additiv e codes outperform linear counterparts. IEEE T ransactions on Information Theory, 69(11):7122–7131, 2023

  52. [52]

    C. Guan, J. Lv , G. Luo, and Z. Ma. Combinatorial construc tions of optimal quaternary additive codes. IEEE T ransactions on Information Theory, 70(11):7690–7700, 2024

  53. [53]

    G ¨ uneri, F.¨Ozdemir, and P

    C. G ¨ uneri, F.¨Ozdemir, and P . Sole. On the additive cyclic structure of qua si-cyclic codes. Discrete Mathematics, 341(10):2735–2741, 2018

  54. [54]

    Guritman

    S. Guritman. Restrictions on the weight distribution of linear codes . PhD thesis, Delft Univer- sity of Technology , 2000

  55. [55]

    Hattori, R

    M. Hattori, R. J. McEliece, and G. Solomon. Subspace sub codes of Reed–Solomon codes. IEEE T ransactions on Information Theory, 44(5):1861–1880, 1998

  56. [56]

    O. Heden. A maximal partial spread of size 45 in PG(3 , 7). Designs, Codes and Cryptography, 22(3):331–334, 2001

  57. [57]

    Heden, J

    O. Heden, J. Lehmann, E. N˘ astase, and P . Sissokho. The supertail of a subspace partition. Designs, Codes and Cryptography , 69(3):305–316, 2013

  58. [58]

    H´ eger and Z

    T. H´ eger and Z. L. Nagy . Avoiding secants of given size in finite projective planes. arXiv preprint 2409.14213, 2024

  59. [59]

    Heinlein, T

    D. Heinlein, T. Honold, M. Kiermaier, S. Kurz, and A. Was sermann. Projective divisible binary codes. In The T enth International Workshop on Coding and Cryptography, pages 1–10,

  60. [60]

    arXiv preprint 1703.08291

  61. [61]

    Helleseth

    T. Helleseth. A characterization of codes meeting the G riesmer bound. Information and Control, 50(2):128–159, 1981

  62. [62]

    Helleseth

    T. Helleseth. New constructions of codes meeting the Gr iesmer bound. IEEE T ransactions on Information Theory , 29(3):434–439, 1983. 58

  63. [63]

    C. Hermite. Sur l’introduction des variables continue s dans la th´ eorie des nombres.Journal f ¨ ur die reine und angewandte Mathematik, 41:191–216, 1851

  64. [64]

    R. Hill. Caps and codes. Discrete Mathematics, 22(2):111–137, 1978

  65. [65]

    J. W. P . Hirschfeld. Projective geometries over finite fields . Oxford University Press, 1998

  66. [66]

    Honold, M

    T. Honold, M. Kiermaier, and S. Kurz. Partial spreads an d vector space partitions. In M. Greferath, M. O. Pavˇ cevi´ c, N. Silberstein, and M.´A. V´ azquez-Castro, editors,Network Coding and Subspace Designs , pages 131–170. Springer, 2018

  67. [67]

    Honold, M

    T. Honold, M. Kiermaier, and S. Kurz. Classification of l arge partial plane spreads in PG(6, 2) and related combinatorial objects. Journal of Geometry , 110:1–31, 2019

  68. [68]

    Honold, M

    T. Honold, M. Kiermaier, S. Kurz, and A. Wassermann. The lengths of projective triply- even binary codes. IEEE T ransactions on Information Theory, 66(5):2713–2716, 2019

  69. [69]

    J. Y . Hyun, N. Han, and Y . Lee. The Griesmer codes of Belov type and optimal quaternary codes via multi-variable functions. Cryptography and Communications, 16(3):579–600, 2024

  70. [70]

    J¨ arnefelt and P

    G. J¨ arnefelt and P . Kustaanheimo. An observation on fin ite geometries. Den 11te Skandi- naviske Matematikerkongress, T rondheim, pages 166–182, 1949

  71. [71]

    L. Jin, L. Ma, C. Xing, and H. Zhou. New families of non-Re ed–Solomon MDS codes. arXiv preprint 2411.14779 , 2024

  72. [72]

    Jose and A

    L. Jose and A. Sharma. On eisenstein additive codes over chain rings and linear codes over mixed alphabets. arXiv preprint 2412.09923 , 2024

  73. [73]

    Ketkar, A

    A. Ketkar, A. Klappenecker, S. Kumar, and P . K. Sarvepal li. Nonbinary stabilizer codes over finite fields. IEEE T ransactions on Information Theory, 52(11):4892–4914, 2006

  74. [74]

    Kiermaier and S

    M. Kiermaier and S. Kurz. On the lengths of divisible cod es. IEEE T ransactions on Infor- mation Theory, 66(7):4051–4060, 2020

  75. [75]

    Kim and N

    J.-L. Kim and N. Lee. Secret sharing schemes based on additive codes over GF(4). Applicable Algebra in Engineering, Communication and Computing , 28(1):79–97, 2017

  76. [76]

    J.-L. Kim, K. E. Mellinger, and V . Pless. Projections of binary linear codes onto larger fields. SIAM Journal on Discrete Mathematics , 16(4):591–603, 2003

  77. [77]

    A. Kohnert. Constructing two-weight codes with prescr ibed groups of automorphisms. Discrete Applied Mathematics, 155(11):1451–1457, 2007. 59

  78. [78]

    K ¨ orner and S

    T. K ¨ orner and S. Kurz. Lengths of divisible codes with r estricted column multiplicities. Advances in Mathematics of Communications , 18(2):505–534, 2024

  79. [79]

    D. S. Krotov . The minimum volume of subspace trades.Discrete Mathematics, 340(12):2723– 2731, 2017

  80. [80]

    D. S. Krotov and I. Y . Mogilnykh. Multispreads. arXiv preprint 2312.07883 , 2023

Showing first 80 references.