Additive codes attaining the Griesmer bound
Pith reviewed 2026-05-23 07:39 UTC · model grok-4.3
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.
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.
Referee Report
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)
- [§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.
- [§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
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
-
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
-
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
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
axioms (1)
- standard math Standard vector-space and additive-group properties over finite fields
Forward citations
Cited by 3 Pith papers
-
The geometry of rank-metric codes
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.
-
Generalized Hamming weights of additive codes and geometric counterparts
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.
-
Optimal additive quaternary codes of dimension $3.5$ and $4$
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
-
[1]
S. Adriaensen and S. Ball. On additive MDS codes with line ar projections. Finite Fields and Their Applications , 91:102255, 2023
work page 2023
-
[2]
E. Arrieta Arrieta. A go-up construction and applications . PhD thesis, University of Puerto Rico, 2021
work page 2021
-
[3]
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
work page 1998
-
[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
work page 1997
-
[5]
S. Ball and J. Dixon. The equivalence of linear codes impl ies semi-linear equivalence. Designs, Codes and Cryptography , 90(7):1557–1565, 2022
work page 2022
-
[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
work page 2023
- [7]
-
[8]
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
work page 1978
- [9]
-
[10]
A. Beutelspacher. Partial spreads in finite projective spaces and partial designs. Mathe- matische Zeitschrift, 145:211–229, 1975
work page 1975
-
[11]
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
work page 2015
-
[12]
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
work page 1997
-
[13]
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
work page 2009
-
[14]
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
work page 2010
-
[15]
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
work page 2019
-
[16]
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
work page 2021
-
[17]
J. Bierbrauer, S. Marcugini, and F. Pambianco. An asymp totic property of quaternary additive codes. Designs, Codes and Cryptography , 92:3371?3375, 2024
work page 2024
- [18]
- [19]
- [20]
-
[21]
A. Blokhuis and A. E. Brouwer. Small additive quaternar y codes. European Journal of Combinatorics, 25(2):161–167, 2004
work page 2004
-
[22]
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
work page 2003
-
[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
work page 2001
-
[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
work page 2001
-
[25]
R. C. Bose. Mathematical theory of the symmetrical fact orial design. Sankhy¯ a: The Indian Journal of Statistics , pages 107–166, 1947
work page 1947
-
[26]
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
work page 2000
-
[27]
I. Bouyukliev , S. Bouyuklieva, and S. Kurz. Computer cl assification of linear codes. IEEE T ransactions on Information Theory, 67(12):7807–7814, 2021
work page 2021
-
[28]
P . Boyvalenkov , K. Delchev , D. V . Zinoviev , and V . A. Zinoviev . On two-weight codes. Discrete Mathematics, 344(5):112318, 2021
work page 2021
-
[29]
G. H. Bradley . Algorithms for Hermite and Smith normal matrices and linear Diophantine equations. Mathematics of Computation, 25(116):897–907, 1971
work page 1971
-
[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
work page 2021
-
[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
work page 1998
-
[32]
R. Calderbank and W. M. Kantor. The geometry of two-weight codes. Bulletin of the London Mathematical Society, 18(2):97–122, 1986
work page 1986
-
[33]
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
work page 2006
-
[34]
C. Chen. Symbol error-correcting codes for computer me mory systems. IEEE T ransactions on Computers, 41(02):252–256, 1992
work page 1992
-
[35]
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
work page 1984
- [36]
-
[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
work page 2002
-
[38]
R. Dastbasteh and P . Lisonˇ ek. New quantum codes from self-dual codes over F4. Designs, Codes and Cryptography , 92(3):787–801, 2024
work page 2024
-
[39]
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
work page 2025
- [40]
-
[41]
R. H. Denniston. Some maximal arcs in finite projective p lanes. Journal of Combinatorial Theory, 6(3):317–319, 1969
work page 1969
-
[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
work page 1969
-
[43]
L. A. Dissett. Combinatorial and computational aspects of finite geometri es. PhD thesis, Uni- versity of Toronto, 2000
work page 2000
-
[44]
S. Dodunekov and J. Simonis. Codes and projective multi sets. The Electronic Journal of Combinatorics, 5:1–23, 1998
work page 1998
-
[45]
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
work page 2011
-
[46]
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
work page 2009
- [47]
-
[48]
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
work page 2003
-
[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
work page 2021
-
[50]
J. H. Griesmer. A bound for error-correcting codes. IBM Journal of Research and Development, 4(5):532–542, 1960
work page 1960
-
[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
work page 2023
-
[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
work page 2024
-
[53]
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
work page 2018
- [54]
-
[55]
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
work page 1998
-
[56]
O. Heden. A maximal partial spread of size 45 in PG(3 , 7). Designs, Codes and Cryptography, 22(3):331–334, 2001
work page 2001
- [57]
-
[58]
T. H´ eger and Z. L. Nagy . Avoiding secants of given size in finite projective planes. arXiv preprint 2409.14213, 2024
-
[59]
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]
arXiv preprint 1703.08291
work page internal anchor Pith review Pith/arXiv arXiv
- [61]
- [62]
-
[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]
R. Hill. Caps and codes. Discrete Mathematics, 22(2):111–137, 1978
work page 1978
-
[65]
J. W. P . Hirschfeld. Projective geometries over finite fields . Oxford University Press, 1998
work page 1998
- [66]
- [67]
- [68]
-
[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
work page 2024
-
[70]
G. J¨ arnefelt and P . Kustaanheimo. An observation on fin ite geometries. Den 11te Skandi- naviske Matematikerkongress, T rondheim, pages 166–182, 1949
work page 1949
- [71]
-
[72]
L. Jose and A. Sharma. On eisenstein additive codes over chain rings and linear codes over mixed alphabets. arXiv preprint 2412.09923 , 2024
- [73]
-
[74]
M. Kiermaier and S. Kurz. On the lengths of divisible cod es. IEEE T ransactions on Infor- mation Theory, 66(7):4051–4060, 2020
work page 2020
- [75]
-
[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
work page 2003
-
[77]
A. Kohnert. Constructing two-weight codes with prescr ibed groups of automorphisms. Discrete Applied Mathematics, 155(11):1451–1457, 2007. 59
work page 2007
-
[78]
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
work page 2024
-
[79]
D. S. Krotov . The minimum volume of subspace trades.Discrete Mathematics, 340(12):2723– 2731, 2017
work page 2017
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.