arXiv++ Combinatorics

A linear code is said to be $Δ$-divisible if the Hamming weights of all its codewords are divisible by $Δ$. The $p$-adic valuation of a code is defined as the greatest integer $t$ such that the code is $p^t$-divisible. In this paper, we establish a divisibility criterion for trace codes. Specifically, this criterion provides a systematic method to determine the $p$-adic valuation of the associated trace code, thereby extending Ward's classical divisibility criterion from standard generating sets (or matrices) to generalized generator matrices over an extension field. Furthermore, we present two applications of our framework. The first application provides a concise proof of the celebrated divisibility results on abelian codes established by Delsarte and McEliece. The second application establishes several explicit lower bounds on the $p$-adic valuation of the number of solutions over $\mathbb{F}_{q^m}$ (where $q = p^e$) to the Artin-Schreier type equation $ f(x_1,\ldots,x_k)=y^q-y $. In particular, under the condition $\left(d,\frac{q^m-1}{q-1}\right)=1$, we determine the exact minimum $p$-adic valuation of the number of solutions when $f$ is restricted to homogeneous polynomials of degree $d$.

We present a uniform framework for constructing \(3\)-designs from \(\mathrm{GL}_2(\mathbb F_q)\)-invariant subspaces of \(\mathbb F_q[X,Y]_k\), the space of homogeneous polynomials of degree \(k\). Given such a subspace \(W\), we associate a \(\mathrm{PGL}_2(\mathbb F_q)\)-invariant family of \(k\)-subsets of \(\mathbb P^1(\mathbb F_q)\). Whenever this family is nonempty, it forms a \(3\text{-}(q+1,k,λ)\) design. When \(k\le q\), the evaluation map on \(\mathbb P^1(\mathbb F_q)\) identifies \(W\) with a subcode \(C_W\) of the projective Reed--Solomon code. We also show that the supports of minimum-weight codewords in \(C_W\), as well as the supports of suitable fixed-weight codewords in the dual code \(C_W^\perp\), yield further \(3\)-designs. Via the Cayley transform, the construction is transferred to the unit circle \(U_{q+1}\subseteq \mathbb F_{q^2}^{\times}\), where the block conditions become explicit linear relations among elementary symmetric polynomials. Applying this framework to the Lucas subspaces, we obtain explicit block descriptions, classify the cases in which the defining conditions reduce to a single equation, and establish several emptiness and nonemptiness results. In particular, for \(q=p^e\) and \(k=p^m+1\), we show that the associated block family is nonempty if and only if \(m\mid e\), in which case it yields the Steiner system \(S(3,p^m+1,q+1)\). Finally, in the ternary case \(p=3\) and \(k=7\), we use the weight distribution of the ternary Melas code to determine the design parameters left undetermined by Xu et al. (Designs, Codes and Cryptography: Vol. 92, 2024).

An equidistant code is a code in the Hamming space such that two distinct codewords have the same Hamming distance. This paper investigates the bounds for equidistant codes in Hamming spaces.

We classify the dual strongly perfect lattices in dimension 16. There are four pairs of such lattices, the famous Barnes-Wall lattice $Λ_{16}$, the extremal 5-modular lattice $N_{16}$, the odd Barnes-Wall lattice $O_{16}$ and its dual, and one pair of new lattices $Γ_{16}$ and its dual. The latter pair belongs to a new infinite series of dual strongly perfect lattices, the sandwiched Barnes-Wall lattices, described by the authors in a previous paper. An updated table of all known strongly perfect lattices up to dimension 26 is available in the catalogue of lattices.

New series of $2^{2m}$-dimensional universally strongly perfect lattices $Λ_I $ and $Γ_J $ are constructed with $$2BW_{2m} ^{\#} \subseteq Γ_J \subseteq BW_{2m} \subseteq Λ_I \subseteq BW _{2m}^{\#} .$$ The lattices are found by restricting the spin representations of the automorphism group of the Barnes-Wall lattice to its subgroup ${\mathcal U}_m:={\mathcal C}_m (4^H_{\bf 1}) $. The group ${\mathcal U}_m$ is the Clifford-Weil group associated to the Hermitian self-dual codes over ${\bf F} _4$ containing ${\bf 1}$, so the ring of polynomial invariants of ${\mathcal U}_m$ is spanned by the genus-$m$ complete weight enumerators of such codes. This allows us to show that all the ${\mathcal U}_m$ invariant lattices are universally strongly perfect. We introduce a new construction, $D^{(cyc)}$ for chains of (extended) cyclic codes to obtain (bounds on) the minimum of the new lattices.

We prove an upper bound on the Shannon capacity of a graph via a linear programming variation. We show that our bound can outperform both the Lovász theta number and the Haemers minimum rank bound. As a by-product, we also obtain a new upper bound on the broadcast rate of Index Coding.

Motivated by the problem of zero-error broadcasting, we introduce a new notion of graph capacity, termed $ρ$-capacity, that generalizes the Shannon capacity of a graph. We derive upper and lower bounds on the $ρ$-capacity of arbitrary graphs, and provide a Lovász-type upper bound for regular graphs. We study the behavior of the $ρ$-capacity under two graph operations: the strong product and the disjoint union. Finally, we investigate the connection between the structure of a graph and its $ρ$-capacity.

Planar functions in odd characteristic were introduced by Dembowski and Ostrom in order to construct finite projective planes in 1968. They were also used in the constructions of DES-like iterated ciphers, error-correcting codes, and signal sets. Recently, a new notion of pseudo-planar functions in even characteristic was proposed by Zhou. These new pseudo-planar functions, as an analogue of planar functions in odd characteristic, also bring about finite projective planes. There are three known infinite families of pseudo-planar monomial functions constructed by Schmidt and Zhou, and Scherr and Zieve. In this paper, three new classes of pseudo-planar binomials are provided. Moreover, we find that each pseudo-planar function gives an association scheme which is defined on a Galois ring.

The known families of difference sets can be subdivided into three classes: difference sets with Singer parameters, cyclotomic difference sets, and difference sets with gcd$(v,n)>1$. It is remarkable that all the known difference sets with gcd$(v,n)>1$ have the so-called character divisibility property. In 1997, Jungnickel and Schmidt posed the problem of constructing difference sets with gcd$(v,n)>1$ that do not satisfy this property. In an attempt to attack this problem, we use difference sets with three nontrivial character values as candidates, and get some necessary conditions.

The determination of weight distribution of cyclic codes involves evaluation of Gauss sums and exponential sums. Despite of some cases where a neat expression is available, the computation is generally rather complicated. In this note, we determine the weight distribution of a class of reducible cyclic codes whose dual codes may have arbitrarily many zeros. This goal is achieved by building an unexpected connection between the corresponding exponential sums and the spectrums of Hermitian forms graphs.

In this paper, we construct an infinite series of 9-class association schemes from a refinement of the partition of Delsarte-Goethals codes by their Lee weights. The explicit expressions of the dual schemes are determined through direct manipulations of complicated exponential sums. As a byproduct, the other three infinite families of association schemes are also obtained as fusion schemes and quotient schemes.