---
title: Griesmer Optimal Linear Codes Overview
url: https://www.emergentmind.com/topics/griesmer-optimal-linear-codes
type: topic
---

# Griesmer Optimal Linear Codes Overview

Searching arXiv for recent and foundational papers on Griesmer-optimal linear codes and closely related constructions.
Querying arXiv for “Griesmer optimal linear codes”, “Solomon-Stiffler”, “few-weight”, and “b-symbol Griesmer”.
Griesmer optimal linear codes are linear codes whose length attains the Griesmer lower bound for the prescribed alphabet size, dimension, and minimum distance. For a \(q\)-ary \([n,k,d]_q\) linear code, the classical bound is
\[
n \ge g_q(k,d):=\sum_{i=0}^{k-1}\left\lceil \frac{d}{q^i}\right\rceil,
\]
and a code with \(n=g_q(k,d)\) is a Griesmer code in the classical sense [2406.07112]. Recent work has also formalized the **Griesmer defect** \(g(C)=n-g_q(k,d)\), so \(g(C)=0\) means Griesmer optimal and \(g(C)=1\) means almost Griesmer in that convention [2406.07112]. Closely related notions include **near Griesmer** codes with \(n-1=g_q(k,d)\) [2305.07206], and extensions of the Griesmer idea to generalized Hamming weights, the \(b\)-symbol metric, and additive codes [2408.10005, 2401.04941, 2412.14615].

## 1. Classical bound, defects, and terminology

The classical Griesmer bound is a length lower bound for Hamming-metric linear codes. It is one of the standard benchmarks for optimality because meeting it forces the length to be as small as possible for the given \((q,k,d)\), hence implies distance-optimality in the usual coding-theoretic sense [2406.07112, 2406.10825]. In a recent formalization, the defect
\[
g(C)=n-g_q(k,d)
\]
measures the gap to the bound; this makes it convenient to distinguish Griesmer codes (\(g(C)=0\)) from almost Griesmer codes (\(g(C)=1\)) [2406.07112].

Terminology is not completely uniform across the literature. One line of work uses **almost Griesmer** for defect one [2406.07112], while another uses **near Griesmer** for \(n-1=g_q(k,d)\) [2305.07206]. These notions agree in spirit but are not identical. Recent work on generalized Hamming weights introduces a further refinement: for an \([n,k]_q\) code \(C\), the \(r\)-th generalized Hamming weight \(d_r(C)\) satisfies
\[
d_r(C)+\sum_{i=1}^{k-r}\left\lceil \frac{(q-1)d_r(C)}{q^i(q^r-1)}\right\rceil \le n,
\]
and the corresponding \(r\)-Griesmer defect
\[
\delta_r(C)=n-d_r(C)-\sum_{i=1}^{k-r}\left\lceil \frac{(q-1)d_r(C)}{q^i(q^r-1)}\right\rceil
\]
allows the definition of an **\(r\)-Griesmer code** as one with \(\delta_r(C)=0\) at the smallest possible \(r\) [2408.10005].

A recurrent misconception is to identify “optimal” with “Griesmer optimal.” Recent constructions repeatedly separate strict Griesmer codes from near-Griesmer and merely distance-optimal families. Affine Solomon–Stiffler constructions produce examples with defect \(0\), \(1\), or \(2\), all still optimal in the sense that no larger minimum distance exists for the same \((n,k)\) [2406.10825]. Simplicial-complex constructions likewise yield Griesmer, near-Griesmer, and distance-optimal families under explicit combinatorial criteria [2305.07206].

## 2. Canonical families and the Solomon–Stiffler paradigm

The simplex code is the archetypal Griesmer-optimal linear code. It has parameters
\[
\left[\frac{q^k-1}{q-1},\,k,\,q^{k-1}\right]_q
\]
and is a one-weight code; it meets the classical Griesmer bound and, more strongly, meets all generalized Griesmer bounds for \(d_r\) [2408.10005]. Every \(r\)-dimensional subcode of a simplex code has support weight
\[
\frac{q^{k-r}(q^r-1)}{q-1},
\]
so its subcode-support-weight distributions are completely rigid [2408.10005].

A second foundational paradigm is the Solomon–Stiffler construction. In its original binary projective form, one starts from the binary simplex \([2^k-1,k,2^{k-1}]_2\) code and deletes columns lying in prescribed subspaces \(S_1,\dots,S_h\subset \mathbb{F}_2^k\). The resulting code has parameters
\[
\left[2^k-1-\sum_{i=1}^h(2^{u_i}-1),\,k,\,2^{k-1}-\sum_{i=1}^h2^{u_i-1}\right]_2
\]
and meets the Griesmer bound [2406.10825]. Recent work recasts this as part of a broader **affine Solomon–Stiffler** framework, and then a **modified affine Solomon–Stiffler** framework obtained by thinning scalar multiples by a subgroup of \(\mathbb{F}_q^\ast\) [2406.10825].

Several representative families produced by these constructions are explicit Griesmer codes.

| Construction | Parameters | Status |
|---|---|---|
| Simplex | \(\left[\frac{q^k-1}{q-1},k,q^{k-1}\right]_q\) | Griesmer; all generalized Griesmer bounds met |
| Modified affine Solomon–Stiffler | \(\left[\frac{e}{q-1}(q^{hm}-hq^m+h-1),\,hm,\,e(q^{hm-1}-hq^{m-1})\right]_q\) | Griesmer if \(e(h-1)<q\) [2406.10825] |
| Subfield-complement code | \([q^m-q^r,\,m,\,(q-1)(q^{m-1}-q^{r-1})]_q\) | Griesmer [2108.09428] |
| GRS complement in simplex | \(\left[\frac{q^k-1}{q-1}-m,\,k,\,q^{k-1}-m\right]_q\) | 1-Griesmer if \(m<q\); 2-Griesmer if \(m=q\) [2408.10005] |
| Binary Gray-image family | \([2^{2m-1},\,2m,\,2^{2m-2}]_2\) | Meets Griesmer bound [1910.04334, 2212.04799] |

This landscape is broader than the classical projective picture. A subfield-based construction from complements of unions of subfields or of cosets of a subfield yields infinite Griesmer and near-Griesmer families with explicit criteria from the Griesmer bound; for example, \([q^m-q^r,m,(q-1)(q^{m-1}-q^{r-1})]_q\) is Griesmer, while \([q^m-2q^r+1,m,(q-1)(q^{m-1}-2q^{r-1})]_q\) is near-Griesmer in the multiplicative-coset family [2108.09428]. Simplicial-complex constructions over \(\mathbb{F}_q\) produce projective codes whose Griesmer status is controlled by the support sets \(A_i\): pairwise disjoint supports and bounded multiplicity of equal dimensions are necessary and sufficient for a Griesmer code, thereby recovering Solomon–Stiffler codes in that language [2305.07206].

## 3. Duality with anticodes and complementary constructions

A recent conceptual shift is to study Griesmer optimality through **projective linear anticodes**. A \(q\)-ary anticode \(C\subseteq \mathbb{F}_q^n\) has diameter
\[
\delta(C)=\max\{d(a,b):a,b\in C\},
\]
so distances are bounded above rather than below. For a projective linear code \(C\subseteq \mathbb{F}_q^n\) of dimension \(k\) with maximum weight \(\delta(C)\), and assuming \(n<q^{k-1}\), the **antiGriesmer bound** is
\[
\sum_{i=0}^{k-1}\left\lfloor \frac{\delta(C)}{q^i}\right\rfloor \ge q^{k-1}-1-n.
\]
The associated antiGriesmer defect is
\[
S(C)=\sum_{i=0}^{k-1}\left\lfloor \frac{\delta(C)}{q^i}\right\rfloor-\bigl(q^{k-1}-1-n\bigr),
\]
and \(S(C)=0\) defines an antiGriesmer code [2406.07112].

The importance of this bound is that it is exactly dual to the classical Griesmer bound under the complementary construction inside the simplex code. If \(C\) is a projective linear code of dimension \(k\) and length \(n<q^{k-1}\), deleting its columns from a simplex generator matrix produces a complementary code \(C'\) with parameters
\[
\left[\frac{q^k-1}{q-1}-n,\;k,\;q^{k-1}-\delta(C)\right]_q.
\]
From the proof of the antiGriesmer theorem, the complementary code of a projective Griesmer code is antiGriesmer, and conversely [2406.07112]. This gives a systematic mechanism for constructing Griesmer or almost Griesmer few-weight codes from anticodes with small antiGriesmer defect.

This complementary viewpoint yields explicit classical families. The complementary MDS code
\[
\left[\frac{q^k-1}{q-1}-k,\;k,\;q^{k-1}-k\right]_q
\]
is a minimal \(k\)-weight Griesmer code when \(k<q\), and becomes almost Griesmer when \(q\le k<2q-1\) [2406.07112]. The complementary Reed–Solomon code
\[
\left[\frac{q^k-1}{q-1}-q,\;k,\;q^{k-1}-q\right]_q
\]
is a minimal \(k\)-weight almost Griesmer code [2406.07112]. A notable corollary is that for \(q>4\) one obtains a minimal three-weight Griesmer code
\[
[q^2+q-2,\,3,\,q^2-3]_q
\]
[2406.07112].

A further point of contrast with unrestricted combinatorics is that the antiGriesmer bound is strictly stronger than the Erdős–Kleitman bound when restricted to binary projective linear anticodes. In particular, although unrestricted binary anticodes of diameter \(2\) may have arbitrarily large length, the antiGriesmer machinery implies that a binary projective linear anticode of diameter \(2\) and \(n<2^{k-1}\) must satisfy \(n\le 4\) [2406.07112].

## 4. Generalized, metric, and additive extensions

The concept of Griesmer optimality now extends well beyond the classical Hamming metric. The most systematic extension is via generalized Hamming weights. The simplex code remains the reference object because it meets the generalized Griesmer bound for every \(r\), but recent work constructs codes that are \(r\)-Griesmer for a specified \(r>1\) without being 1-Griesmer. In one family,
\[
n=t\frac{q^k-1}{q-1}-\sum_{i=2}^s\frac{q^{u_i}-1}{q-1}+1,\qquad d=tq^{k-1}-\sum_{i=2}^s q^{u_i-1},
\]
the resulting code is \(u_2\)-Griesmer, almost Griesmer at level \(1\), and distance-optimal [2408.10005]. A modified Solomon–Stiffler family with
\[
n=\frac{q^k-1}{q-1}-\frac{q^{u_2}-1}{q-1}-\frac{q^{u_3}-1}{q-1}+1,\qquad d=q^{k-1}-q^{u_2-1}-q^{u_3-1}
\]
has the same qualitative behavior: it is \(u_2\)-Griesmer, almost Griesmer, and distance-optimal [2408.10005].

A second extension replaces the Hamming metric by the \(b\)-symbol metric. For an \((n,k,d_b)_q\) linear code, the \(b\)-symbol Griesmer bound is
\[
\frac{q^b-1}{q-1}\,n \ge \sum_{i=0}^{k-1}\left\lceil \frac{q^{b-1}d_b}{q^i}\right\rceil,
\]
equivalently
\[
n\ge \frac{q-1}{q^b-1}\sum_{i=0}^{k-1}\left\lceil \frac{q^{b-1}d_b}{q^i}\right\rceil.
\]
This reduces to the classical Griesmer bound when \(b=1\) [2401.04941]. Two explicit distance-optimal families are
\[
(q^k-1,\;k+1,\;q^k-q^{k-b}-1)_q
\]
for cyclic codes and
\[
(q^k,\;k+1,\;q^k-q^{k-b})_q
\]
for extended cyclic codes; both attain the \(b\)-symbol Griesmer bound [2401.04941]. A later paper determines the optimal parameters of linear codes in the \(b\)-symbol metric when the minimum distance is sufficiently large, and determines the optimal parameters of linear binary codes in the pair-symbol metric for small dimensions [2507.07728].

A third extension is to additive codes over \(\mathbb{F}_{q^h}\). If an additive code is viewed as an \(\mathbb{F}_q\)-linear object of rank \(r\), the Griesmer-type inequality becomes
\[
g_q(r,q^{h-1}(n-s))\le [h]_q\,n,\qquad [h]_q=\frac{q^h-1}{q-1},
\]
and recent work proves that for every fixed \(q\) and \(r>h\) there exists \(s_0\) such that for all \(s\ge s_0\), the maximum length \(n_q(r,h;s)\) attains this upper bound exactly [2412.14615]. That work also exhibits many infinite families where additive codes outperform the corresponding linear constructions, showing that classical linear Griesmer optimality is not globally optimal once additive structures are admitted [2412.14615].

## 5. Arithmetic, geometric, and asymptotic structure

Griesmer optimality imposes strong internal rigidity. A 2025 divisibility theorem shows that if \(C\) is a Griesmer code \([g_q(k,d),k,d]_q\) over \(\mathbb{F}_q\) with \(q=p^f\) and \(q^e\mid d\), then every codeword weight is divisible by \(p^e\):
\[
p^e\mid \mathrm{wt}(c)\qquad\text{for all }c\in C.
\]
More generally, if \(p^e\mid d\), then every weight is divisible by
\[
\Delta=\left\lceil p^{\,e-(f-1)(q-2)}\right\rceil
\]
[2506.07846]. This extends Ward’s prime-field divisibility theorem and clarifies a common misconception: over extension fields the correct divisibility conclusion is by a power of \(p\), not necessarily by the same power of \(q\); the quaternary hexacode is the standard counterexample to the stronger statement [2506.07846].

The same paper proves a basis theorem: if \(q^e\mid d\), then a Griesmer code admits a basis \(\{a_1,\dots,a_k\}\) such that the first \(\min\{e+1,k\}\) vectors span a constant-weight Griesmer subcode of parameters \([g_q(e+1,d),e+1,d]_q\), and any \(k-1\) basis vectors span a \([g_q(k-1,d),k-1,d]_q\) Griesmer subcode [2506.07846]. This suggests that Griesmer optimal codes are recursively saturated by smaller Griesmer optimal faces, much as MDS codes are stable under shortening.

Projective geometry supplies another invariant. For a Griesmer code \(C\), the maximum projective point multiplicity satisfies
\[
\gamma(\mathcal M_C)=\left\lceil \frac{d}{q^{k-1}}\right\rceil,
\]
and \(C\) is projective iff \(d\le q^{k-1}\) [2506.07846]. In the binary case this interacts with minihyper theory and with Solomon–Stiffler or Belov-type geometries.

A further structural parameter is the **error coefficient** \(A_d(C)\), the number of minimum-weight codewords. For binary Griesmer optimal codes, recent work derives five iterative lower bounds on \(A_d(C)\) by combining residual-code recursion, Griesmer subcode chains, and minihyper rank arguments. These bounds are tight in most cases when the dimension is at most \(5\), and even when not tight their gap to the actual value is at most \(2\) [2507.05567]. In the AWGN setting under maximum-likelihood decoding, minimizing \(A_d(C)\) among optimal codes gives the best asymptotic frame error rate, leading to the notion of **AFER-optimal** Griesmer optimal codes [2507.05567].

## 6. Few-weight realizations and combinatorial consequences

A striking empirical regularity is that many Griesmer or near-Griesmer families are also few-weight codes. Affine and modified affine Solomon–Stiffler constructions produce explicit two-, three-, four-, and five-weight optimal families, and reconstruct many entries in Grassl’s tables as special cases [2406.10825]. Simplicial-complex constructions over \(\mathbb{F}_q\) yield at most \(2\)-, \(5\)-, and \(19\)-weight families for one, two, and three maximal elements, together with necessary and sufficient conditions for being Griesmer or near-Griesmer [2305.07206]. Trace-code constructions over \(\mathbb{F}_q\) give two-weight Griesmer families
\[
[2nq^{m_1},\,m+m_1,\,2nq^{m_1-1}(q-1)]_q
\]
when
\[
n<\frac{q(q^m-1)}{2(q-1)},
\]
and many almost Griesmer examples beyond that regime [1811.09477]. Subfield-code constructions produce a two-weight \([q^3+1,3,q^3-q]_{q^2}\) family meeting the Griesmer bound, and the punctured binary family \([2^{2m-1},2m,2^{2m-2}]_2\) also meeting it [2212.04799].

Gray-image constructions over \(\mathbb{F}_2+u\mathbb{F}_2\) yield the same binary family \([2^{2m-1},2m,2^{2m-2}]_2\) as an infinite Griesmer-optimal family arising from simplicial complexes [1910.04334]. More generally, ring-based constructions over \(\mathbb{F}_q[x]/(x^2)\) and \(GR(p^2,m)\) produce free ring-linear codes attaining the ring Griesmer bound, and in the \(\mathbb{F}_q[x]/(x^2)\) case their Gray images give two-weight linear \(\mathbb{F}_q\)-codes that reach the classical Griesmer bound in suitable parameter ranges [1612.01096]. Recent affine Solomon–Stiffler analysis explicitly notes that several families previously obtained as Gray images of ring codes in 2017 and 2019 are subsumed by the affine or modified affine geometric framework, with identical parameters and weight distributions [2406.10825].

These families carry nontrivial combinatorial payload. Three-weight projective binary codes constructed from complementary anticodes lead to \(l\)-strongly walk-regular graphs for every odd integer \(l\ge 3\) [2406.07112]. Subfield-code families produce \(2\)- and \(3\)-designs, including Steiner systems \(S(2,q+1,q^3+1)\) from the \([q^3+1,3,q^3-q]_{q^2}\) family [2212.04799]. Few-weight trace codes and their Griesmer-optimal subclasses are minimal or self-orthogonal in many cases, which is relevant for secret sharing and quantum coding [1811.09477, 2108.09428].

Taken together, these developments show that Griesmer optimal linear codes form a large and highly structured class rather than a collection of isolated extremal examples. The simplex code remains the universal model, but recent work has added dual anticode constructions, affine Solomon–Stiffler generalizations, simplicial-complex and subfield-based families, generalized-Hamming-weight analogues, \(b\)-symbol variants, and arithmetic divisibility theorems. This suggests that the modern theory of Griesmer optimality is best understood as the interaction of extremal length–distance inequalities with projective geometry, subspace combinatorics, and recursive optimal subcode structure [2406.10825, 2406.07112, 2408.10005, 2506.07846].

Source: https://www.emergentmind.com/topics/griesmer-optimal-linear-codes