arXiv++ Combinatorics

An additive $(n,k,d)_{q^m/q}$-code is a $\mathrm{GF}(q)$-linear subspace of $\mathrm{GF}(q^m)^n$ of $\mathrm{GF}(q)$-dimension $km$ with minimum Hamming distance $d$. We first extend the Alderson--Bruen--Silverman (ABS) model of linear codes to the additive setting: a code of length $n$ with $q^{km}$ words over an alphabet of size $q^m$ admits an ABS model if and only if it is equivalent to a nondegenerate additive code. We then ask whether an additive code that admits an extension must admit an \emph{additive} extension. For linear codes ($m=1$) this is a theorem of Alderson and Gács. We characterize the additive codes admitting no additive extension as those whose associated projective system of flats is complete, and we prove that the answer to the question above is again affirmative for $(n,2,d)_{9/3}$-, $(n,2,d)_{4/2}$-, and $(n,3,d)_{4/2}$-codes. In contrast with the linear case, we show that the answer is negative in general. Scattered linear sets yield, for each square $q$, extendable additive $(n,2,d)_{q^2/q}$-codes admitting no additive extension. Further, a different method yields an extendable additive $(30,2,24)_{8/2}$-code with no additive extension. Consequently, for properly additive codes, completeness of the associated projective system does not imply maximality of the code. We conjecture that extendable $(n,2,d)_{p^2/p}$-codes, $p$ prime, always admit additive extensions.

We study the maximum length of $q$-ary codes as a function of alphabet size, code size, and Singleton defect. For an $(n, M, d)_q$ code with dimension $κ= \log_q M \ge 2$ and Singleton defect $s = n - \lceilκ\rceil + 1 - d$, we establish a \emph{maximal-arc-type bound}. For $M = q^k$, we call codes with $n = (s+1)(q+1) + k - 2$ \emph{length-maximal}, and show such codes are necessarily symbol-uniform, have pairwise distances confined to $\{d\} \cup \{n-k+3, \ldots, n\}$, and satisfy the divisibility condition $(s+2) \mid q(q+1)$. An equivalent form yields an improved Singleton-type inequality extending a result of Guerrini, Meneghetti, and Sala for binary systematic codes. When $s \ge 2q$, the bound tightens to $n \le s(q+1)+k-1$; more finely, when $αq \le s < (α+1)q$ for integer $α\ge 2$, it tightens to $n \le (s+2-α)(q+1)+α+k-3$, improving on the main bound by $(α-1)q$. We identify several conditions under which nonlinear codes satisfy the Griesmer bound, including: $d \le q^2$; $s \le q-1$; $s \ge βq$ with $d \le βq^2$; and a parametric family of binary conditions. We also show that near-length-maximal $A^1$MDS codes of length $k+2q-1$ cannot exist for $k \ge 5$ when $q=2$, nor for $k \ge 7$ when $q=3$. For codes of non-integer dimension $κ\in (k, k+1)$, an analogous bound holds but is never attained. This forces the corresponding Singleton-type inequality one unit tighter than the integer-dimension case. For rational non-integer $κ$, our bounds specialise to a length bound for additive codes of fractional dimension, complementing recent geometric results on additive codes. Throughout, the results parallel the theory of maximal arcs. Whether length-maximal nonlinear codes can exist for parameter ranges within which no linear length-maximal codes exist is the principal open problem raised by this work.

Let $\mathcal{X}$ be a set of $(h-1)$-dimensional subspaces of $\mathrm{PG}(kh-1,q)$ with the property that every hyperplane contains at most $t$ elements of $\mathcal{X}$. We prove the upper bound $|\mathcal{X}| \leq (t-k+2)q^h + t$, and characterise the structure of $\mathcal{X}$ in the case of equality. We call sets attaining this bound \emph{length-maximal}. For $k=3$, such sets are known as maximal arcs and have been well-studied. They are known to exist for $t<q^h$ if and only if $q$ is even and $t$ divides $q^h$. For $k=4$ and $q>2$, we show that any length-maximal set must satisfy $t = q^h+1$ and that every hyperplane is either a $t$-secant or a $1$-secant. For $k \geq 5$ and $q>2$, no length-maximal set exists. In the language of additive codes, these results assert that additive two-weight codes over $\mathbb{F}_{q^h}$ attaining the natural Griesmer-type bound do not exist when the code dimension is $5$ or more and $q>2$.

A combinatorial problem concerning the maximum size of the (hamming) weight set of an $[n,k]_q$ linear code was recently introduced. Codes attaining the established upper bound are the Maximum Weight Spectrum (MWS) codes. Those $[n,k]_q $ codes with the same weight set as $ \mathbb{F}_q^n $ are called Full Weight Spectrum (FWS) codes. FWS codes are necessarily ``short", whereas MWS codes are necessarily ``long". For fixed $ k,q $ the values of $ n $ for which an $ [n,k]_q $-FWS code exists are completely determined, but the determination of the minimum length $ M(H,k,q) $ of an $ [n,k]_q $-MWS code remains an open problem. The current work broadens discussion first to general coordinate-wise weight functions, and then specifically to the Lee weight and a Manhattan like weight. In the general case we provide bounds on $ n $ for which an FWS code exists, and bounds on $ n $ for which an MWS code exists. When specializing to the Lee or to the Manhattan setting we are able to completely determine the parameters of FWS codes. As with the Hamming case, we are able to provide an upper bound on $ M(\mathcal{L},k,q) $ (the minimum length of Lee MWS codes), and pose the determination of $ M(\mathcal{L},k,q) $ as an open problem. On the other hand, with respect to the Manhattan weight we completely determine the parameters of MWS codes.

We generalized to higher dimensions the notions of optical orthogonal codes. We establish uper bounds on the capacity of general $ n $-dimensional OOCs, and on specific types of ideal codes (codes with zero off-peak autocorrelation). The bounds are based on the Johnson bound, and subsume many of the bounds that are typically applied to codes of dimension three or less. We also present two new constructions of ideal codes; one furnishes an infinite family of optimal codes for each dimension $ n\ge 2 $, and another which provides an asymptotically optimal family for each dimension $ n\ge 2 $. The constructions presented are based on certain point-sets in finite projective spaces of dimension $k$ over $GF(q)$ denoted $PG(k,q)$.