arXiv++ Combinatorics

For $q\in\set{2,3}$, we show that a $k$-dimensional linear code over the finite field $\F_q$ of order $q$ is linear complementary dual (LCD) exactly when one root-of-unity value of its weight enumerator has magnitude $q^{k/2}$. We convert the phase of this value, together with the parity type in the binary case, into exact linear constraints on the weight distribution and incorporate them into a Gauss-phase linear program. The resulting program uses only the ordinary weight distributions of the code and its dual and adds only a constant-size set of branch equations to the usual Hamming/MacWilliams constraints, so it remains close in size to the standard Hamming LP while retaining additional arithmetic information. Computations over the audited binary and ternary ranges show systematic strengthening of the Hamming LCD relaxation. In the binary case, comparison with the established mixed joint-weight-enumerator LP yields four strict improvements, lowering the benchmark upper bound by one in each case. Each strict comparison is verified exactly by rational feasibility witnesses and integer Farkas certificates.

We study external difference families arising from cyclotomic classes in finite fields from the viewpoint of a fixed number of blocks. For families consisting of even-indexed cyclotomic classes, the EDF condition can be expressed in terms of relations among cyclotomic numbers. We first study the two-block case and recover a classical characterization in terms of quadratic forms. Our main result shows that, for a prime $p=12k+1$, the family $\{C_0^6,C_2^6,C_4^6\}$ forms an EDF in $\mathbb{F}_p$ if and only if $k$ is a square. The proofs combine symmetry relations of cyclotomic numbers with their explicit evaluations.

Linear complementary dual (LCD) codes form an important class of linear codes with applications in cryptography, classical error correction, and quantum coding theory. In this paper, we study the neighbor relation on LCD codes over finite fields and the graph induced by this relation, where two codes are adjacent whenever they intersect in codimension one. We determine the number of neighbors of an LCD code that are also LCD, and we use this result to analyze the structure of the corresponding neighbor graph. In particular, we prove its regularity over arbitrary finite fields and establish further regularity properties for its main structural subgraphs in the binary and odd-characteristic cases. These results provide a graph-theoretic framework for the study of LCD codes and reveal a strong combinatorial regularity in their neighborhood structure.

Let $G$ be a $3$-partite graph with $k$ vertices in each part such that the bipartite graph induced by any two parts contains no cycle of length four. Fischer and Matoušek [J. Combin. Theory Ser. A, 2001] asked for the maximum number of triangles in such a graph. They obtained the lower bound $(1-o(1))k^{3/2}$ and the upper bound $k^{7/4}+O(k^{3/2})$. Coulter, Matthews and Timmons [J. Combin. Theory Ser. B, 2018] later constructed such graphs using planar polynomials over finite fields and improved the lower bound to $(1-o(1))k^{5/3}$. In this note, we use a new triple of planar polynomials and further improve the lower bound to $(1-o(1))k^{17/10}$.

Characterizing graphs uniquely determined by their spectra (DS) is a core open problem in spectral graph theory. While this problem has been extensively investigated for simple undirected graphs, it remains relatively underexplored for oriented graphs. For a simple undirected graph $G$ equipped with an orientation $σ$, the corresponding oriented graph $Σ=(G,σ)$ is the digraph obtained by orienting each edge of $G$ according to $σ$. An oriented graph $Σ$ is said to be \emph{determined by its generalized skew spectrum} (DGSS) if every oriented graph sharing the same generalized skew spectrum is isomorphic to $Σ$. This paper develops a new sufficient criterion for recognizing DGSS controllable oriented graphs, which applies to a much broader family of graphs than previously known results. Let $S$ be the skew-adjacency matrix of $Σ$, $W(Σ)=[e,Se,\ldots,S^{n-1}e]$, and $d_n$ the last invariant factor of $W(Σ)$. For each odd prime $p$, we define the polynomial $Φ_p(Σ;x)=\gcd(χ(S;x),χ(S+J;x))$ over the finite field $\mathbb{F}_p$, which is invariant under generalized skew cospectrality. By analyzing the square-free part of $Φ_p(Σ;x)$ and the associated $p$-main polynomial, we establish a DGSS sufficient condition under the square-free assumption on $d_n$. The proposed criterion allows higher $p$-nullity and recovers the square-free determinant criterion of Qiu, Wang and Wang~(2019) as a special case. We further provide illustrative examples to verify the wider applicability of our new condition and to highlight the role of the compatibility constraints on the irreducible factors of $Φ_p(Σ;x)$.

Let $V$ be an $n$-dimensional vector space over a finite field of order $q$. Let $r\geq 3$, $(r-1)n\geq rk$ and let $\mathcal F_1,\ldots,\mathcal F_r\subset \genfrac{[}{]}{0pt}{}{V}{k}$, where $\genfrac{[}{]}{0pt}{}{V}{k}$ denotes the set of $k$-dimensional subspaces of $V$. Suppose that $F_1\cap\cdots\cap F_r\neq\{0\}$ holds for all $F_i\in\mathcal F_i$, $1\leq i\leq r$. Then we show that $\prod_{i=1}^r|\mathcal F_i|\leq\genfrac{[}{]}{0pt}{}{n-1}{k-1}$, provided $n-k$ is sufficiently large for fixed $q$ and $r$. Moreover, equality holds if and only if there is a common line $L$ such that every family $\mathcal F_i$ consists of all $k$-dimensional subspaces containing the line $L$. One of the main tools of the proof is a junta theorem concerning intersecting linear maps obtained by Ellis, Kindler, and Lifshitz.

We construct a new family of permutation group polynomials over finite fields of odd characteristic and explicitly provide its companion. Moreover, we precisely determine the number of permutation group polynomials of this form and those that are equivalent to this new family. In addition, we completely solve the problem of enumerating permutation group polynomials of the various forms presented in Hasan and Kumar (2026), as well as permutation group polynomials which are equivalent to these families.

The singular difference graph, denoted by $Γ$, of the vector space of square matrices over a field is a graph whose vertex set is the set of all elements of the vector space, where two distinct vertices are adjacent if and only if the difference of the corresponding matrices is singular. In this paper, we investigate fundamental graph-theoretic properties of $Γ$, including connectivity, diameter, regularity, the Eulerian property, independence number, clique number, and domination number. We show that $Γ$ is a connected regular graph with diameter two. Over finite fields, we obtain an explicit formula for the degree of each vertex and characterize precisely when $Γ$ is Eulerian. We determine the independence number and clique number and provide explicit constructions attaining these values using companion matrices of irreducible polynomials. We also construct an explicit dominating set, yielding an upper bound for the domination number.

We study decoding procedures for a family of MDS array codes previously constructed from the Kronecker product of a superregular matrix and a non-singular matrix over a finite field. By exploiting the particular structure of their parity-check matrices, we develop decoding algorithms for different channel models. For the erasure channel, we provide an algorithm capable of recovering any pattern of up to $n-k$ symbol erasures. For the $q$-ary symmetric channel, we investigate the decoding of one and two symbol errors and give explicit procedures for determining their locations and values. We also consider the particular case in which the superregular matrix is a Vandermonde matrix, showing how its additional algebraic structure can be exploited in the decoding process. Explicit examples over different finite fields are provided to illustrate the proposed procedures.

This paper utilizes an extremely simple idea: in the multiplicative group of a finite field $F_q$, cosets of a certain subgroup are considered, and an attempt is made to combine these cosets into pairs such that the resulting induced subgraph in the corresponding Paley graph is strongly regular. It is shown that there exists an infinite sequence of Paley graphs that can be partitioned into Petersen graphs in this manner. Furthermore, a new strongly regular graph with parameters $(50, 21, 8, 9)$ is constructed using this method.

We establish formulae for point counts of cluster varieties of cluster algebras of marked surfaces, possibly with punctures. We then establish formulae for the number of non-deep points in these cluster varieties over $\mathbb{F}_2$, which gives us the number of algebraic tori necessary to cover the cluster manifold over $\mathbb{F}_2$. We also show that these formulae satisfy certain recurrence relations.

Let $G=N\rtimes H$ be a finite Frobenius group with $|N|=q$ and $|H|=q-1$. We classify all Ramanujan Cayley graphs of $G$ whose connection sets are normal, in the sense of being unions of conjugacy classes. The group-theoretic input is a simple blow-up phenomenon: every such Cayley graph is either $Y[\overline{K_q}]$ or $Y[K_q]$ for a connected regular Cayley graph $Y$ on the complement $H$. We first prove a graph-theoretic result classifying all Ramanujan graphs of these two forms when $Y$ is an arbitrary connected regular graph on $q-1$ vertices. The proof combines the classical characterization of regular graphs with least eigenvalue greater than $-2$ with a second-moment identity in the bipartite case. Translating the resulting five graph types back to $G$ yields a complete classification for all ratio-one Frobenius groups, and in particular for $\operatorname{AGL}(1,q)$ over every finite field.

We say that a matrix over a finite field $\mathbb{F}_q$ is positive definite if it is symmetric and each of its leading principal minors is a nonzero square in $\mathbb{F}_q$. In previous work of the authors [J. Algebra, 2025], the entrywise positivity preservers on $M_n(\mathbb{F}_q)$ were classified for every $n\geq 2$, with one remaining case: $n=2$, $q\equiv 1\pmod 4$, and $q$ not a square. We settle this case by proving that every positivity preserver on $M_2(\mathbb{F}_q)$ is injective on the set $\mathbb{F}_q^+$ of nonzero squares whenever $q\equiv 1\pmod 4$. The proof combines an idempotent reduction of positivity preservers with a well-known property of quadratic characters. This yields the complete classification of entrywise positivity preservers over every finite field and in every fixed dimension.

Near maximum distance separable (NMDS) codes of dimension 3 and length n over the finite field with q elements are equivalent to (n,3)-arcs in PG(2,q). For every odd prime power q we construct, by adding five suitable points to a conic of PG(2,q), a family of [q+6,3,q+3] NMDS codes and determine their weight distributions completely; three distinct weight enumerators occur, governed by two explicit quadratic-character conditions on the parameters. For every odd prime power q, no code of our family is monomially equivalent to a code of the recent [q+6,3,q+3] NMDS family of Fan, Wang and Xu, even where the weight enumerators of the two families coincide: the separating invariant is a triple of geometric data attached to the underlying arc. Extending the configuration by a sixth point on a distinguished external line, we further obtain [q+7,3,q+4] NMDS codes, together with their weight distributions, for every odd prime power q >= 11 (admissible parameters exist for no q <= 9); the existence proof combines exact and Weil-type character sum estimates with a finite computer verification. Our proofs are purely geometric and rest on a simple counting identity for the trisecant lines of a point set obtained by extending a conic. All the codes constructed are optimal locally recoverable codes with locality 2.

Motivated by the equivalent definitions of positive definite (resp. positive semidefinite) matrices over real and complex fields, we give four (resp. five) inequivalent definitions for these matrices over finite fields. Our starting point is the recent definition due to Cooper--Hanna--Whitlatch (RMJ. Math., 2024) of positive elements in finite fields. We also use this definition to study totally positive matrices over finite fields. For all of these cases, we give explicit enumeration formulae or give bounds. Most of our formulas are new, but we summarize results from the existing literature for completeness. For positive semidefinite matrices of type 5 and totally positive matrices, we give structural formulas using the rationality of the Weil zeta function, i.e. Dwork's theorem, and conjecture a quasipolynomial-type formula.

Suppose we have $r$ linearly independent hypersurfaces of degree $d$ in $\mathbb{P}^m$ (or $\mathbb{A}^m$) defined over a finite field $\mathbb{F}_q$, whose intersection is at most $k$-dimensional. What is the largest possible number of $\mathbb{F}_q$-rational points in the intersection? We conjecture an exact formula for this problem in both the projective and affine settings, assuming $q\geq d+1$. The case $k=m-1$ recovers the Beelen-Datta-Ghorpade conjecture [2] and the case $k=0$ recovers the zero-dimensional conjecture in [15]. Another interesting special case of the conjecture is $k=m-r$, which corresponds to the complete intersection of $r$ degree $d$ polynomials. The case $r=1$, $k=m-1$ was proven by Serre in [16] who showed that if $F$ is a degree $d$ homogeneous polynomial, then $|V(F)(\mathbb{F}_q)|\leq dq^{m-1}+π_{m-2}(q)$. We prove the case $r=2$ and $k=m-2$, that is, if $F_1, F_2$ are coprime, degree $d$ homogeneous polynomials, then $|V(F_1,F_2)(\mathbb{F}_q)|\leq d^2q^{m-2}+π_{m-3}(q)$.

Let $\mathcal{P}_{n,d}$ be the space of polynomials in $n$ variables over $\mathbb{F}_q$ of degree at most $d$. Two polynomials $f,g\in\mathcal{P}_{n,d}$ intersect if $f(\mathbf a)=g(\mathbf a)$ for some $\mathbf a\in\mathbb{F}_q^n$. A star consists of all polynomials $f\in\mathcal{P}_{n,d}$ satisfying $f(\mathbf a)=b$ for fixed $\mathbf a\in\mathbb{F}_q^n$ and $b\in\mathbb{F}_q$. We completely classify the maximum intersecting families in $\mathcal{P}_{n,d}$. When $n=1$ and $d\geq 2$, it was previously shown that all maximum intersecting families are stars. We prove that the same conclusion holds for all $n\geq 2$ and $d\geq 2$ when $q$ is odd. When $q$ is even, however, the situation is more subtle, and a new phenomenon emerges: for $q\geq 4$, maximum non-star examples exist precisely when $d\leq n$. Along the way, we prove two further results of independent interest. First, we determine the span of nonvanishing polynomials in $\mathcal{P}_{n,d}$. Second, we characterize all linear functionals $Ψ\colon\mathcal{P}_{n,d}\to\mathbb{F}_q$ whose kernels are disjoint from the set of nonvanishing polynomials. The first result plays a crucial role in the proof of our main result; the second is a Gleason--Kahane--Żelazko theorem for polynomials of bounded degree over finite fields.

Let $L$ be a finite-dimensional Lie algebra over a field $F$. The comaximal graph $Γ(L)$ has as vertices the proper nonzero subalgebras of $L$, two of them adjacent whenever they generate $L$; its structure was previously classified for Lie algebras of dimension at most 3 over finite fields. Here we extend that work in two directions. First, we obtain explicit formulas for the number of triangles $t(Γ(L))$ for every three-dimensional Lie algebra over $\F_q$. Second, we extend the classification to several four-dimensional families over $\mathbb{F}_q$, the abelian, Heisenberg, and filiform algebras, and $\mathfrak{gl}_2(\F_q)$. We also relate graph-theoretic properties of $Γ(L)$, such as completeness and the role of the Frattini subalgebra, to structural properties of $L$, including supersolvability. These results yield new combinatorial invariants for finite-dimensional Lie algebras over finite fields.

The Rogers--Ramanujan identities equate a $q$-series whose exponents are governed by a quadratic form with an infinite product supported on two residue classes modulo~$5$. Identities of this shape are scarce, and a central problem is to identify the structures that produce them in families. Huang, Jiang, and Oblomkov have proposed a source of a new kind: to each pair of coprime integers $a,b>1$ they attach an infinite-rank $q$-series $Z_{a,b}(q)$, assembled from counts of commuting nilpotent matrix pairs $(A,B)$ with $A^a=B^b$ over finite fields, and they conjecture that it equals an explicit product of $(a-1)(b-1)/2$ modular units of level $a+b$. The $a=2$ cases are the Andrews--Gordon identities; no case with $a>2$ was known. We prove the conjecture for $(a,b)=(3,4)$, $(3,5)$, $(3,7)$, and $(3,8)$. Our proofs pass through a finer sum-to-sum identity, which we conjecture for all $b$ coprime to $3$ and establish for all $b$ when $q=1$. Lau and Ono have since proved that identity in general, and with it the full $a=3$ case. These identities have been formalized and verified in Lean by AxiomProver.

Let $f(t)\in\mathbb{Z}[t]$ be a nonconstant polynomial with nonzero discriminant and let $k\ge2$ be an integer. For every sufficiently large prime $p\equiv1\pmod{k}$, by applying mixed exponential sums over finite fields, discrete Fourier analysis and the spectral graph theory, we establish a threshold $c(p,k,f)$ such that any subset $A\subseteq\mathbb F_p$ with $\#A\ge c(p,k,f)$ admits a permutation $a_1, a_2,\cdots, a_{\#A}$ of $A$ satisfying $f(a_i+a_{i+1})\in\{x^k: x\in\mathbb{F}_p^*\}$ for any $1\le i \le \#A$, where $a_{\#A+1}=a_1$. Also, we give lower and upper bounds for the least possible threshold.