arXiv++ Combinatorics

The paper studies the distribution of dimensions of irreducible representations of a finite group and compares them with the sizes of its conjugacy classes. We study these questions for a fixed reductive group over growing finite fields, for $\mathrm{GL}_n(\mathbb{F}_q)$ where $q$ is fixed but $n$ varies, and for the symmetric group $S_n$ as $n$ varies. We also discuss finite nilpotent groups arising from Lie algebras over finite fields. As a consequence of Kirillov theory, we deduce that for ``selfdual'' nilpotent groups whose nilpotency class is less than the characteristic of the field, the squares of the dimensions of irreducible representations match the sizes of conjugacy classes, with multiplicity. These groups thus provide a large class of examples with this property.

In 1975, Kaplansky conjectured that every five-dimensional division algebra over a sufficiently large finite field is a field or a twisted field. We disprove this conjecture. For every prime power $q=p^e\equiv1\pmod3$ and every $n\ge5$ with $\gcd(n,6)=1$, we construct semifields of order $q^n$. For fixed $q,n$, the family represents $φ(n)$ isotopy classes if $p\equiv1\pmod3$, and $φ(n)/2$ if $p\equiv2\pmod3$, where $φ$ is Euler's totient function. Using new isotopy invariants and the structural properties of our construction, we prove that none of these semifields is isotopic to a finite field or an Albert's generalized twisted field. In particular, the five-dimensional specialization gives infinitely many pairwise nonisotopic counterexamples to Kaplansky's conjecture over arbitrarily large finite fields. More generally, for each prime dimension $n\ge5$, the examples occur over arbitrarily large fields in every characteristic other than three, contradicting the classification asserted by Menichetti in 1996, whose proof contains gaps.

We study the VC-dimension of distance graphs of large subsets of vector spaces over finite fields. For $3\leq k\leq d$, we prove the distance graph of $E\subset \F_q^d$ has VC-dimension at least $k$ provided that $|E|>Cq^{d-\lfloor \frac{d-k}{3}\rfloor-1}$. We also show that this exponent is sharp in the $k=d$ case.

Motivated by the recent paper [Sharp endpoint extension inequalities for the moment curve on finite fields II: an extremal property of the uniform distribution, arXiv:2609.29882], which proves sharp extension inequalities in finite fields via a two-point symmetrization argument, we prove here a more general component-wise inequality for permutation matches that implies theirs.

The Menichetti-Kaplansky theorem states that a finite semifield that is three-dimensional over its center is either a field or a twisted field of Albert. This implies that a quadratic homogeneous bijection of $\mathbb{P}^2(\mathbb{F}_q)$ is equivalent to a Dembowski-Ostrom monomial. In this paper, we give a large class of semiquadratic homogeneous bijections of $\mathbb{P}^2(\mathbb{F}_q)$ that are inequivalent to Dembowski-Ostrom monomials. Using these bijections, we construct a large family of commutative semifields that are non-isotopic to finite fields or twisted fields, which in turn give rise to a large family of non-Desarguesian commutative semifield planes. Semiquadratic homogeneous bijections of $\mathbb{P}^1(\mathbb{F}_q)$ have been classified only recently by the first-named author, and Ding and Zieve with the result that all such bijections are either equivalent to Dembowski-Ostrom monomials or degenerate. We demonstrate that this is not the case for $\mathbb{P}^2(\mathbb{F}_q)$.

We give explicit constructions of Fourier transforms for cyclic and symmetric groups over finite fields of characteristic $p$. For a cyclic group of order $N$ in the modular case $p \mid N$, we factor $x^N-1$ and use Bézout's identity to construct a Fourier transform and its inverse. For the symmetric group $S_n$ in the modular case $p \mid n!$, we compute the Peirce decomposition from central primitive orthogonal idempotents, obtaining a change-of-basis matrix that generalizes the DFT. We also construct unitary realizations of the Specht representations of $S_n$ over finite fields by computing an invariant Hermitian form and factoring its Gram matrix using an extended Cholesky decomposition. These representations provide the matrix coefficients for a unitary DFT in the semisimple case $p \nmid n!$. All constructions are implemented in SageMath.

This paper is devoted to studying permutation binomial $F_{r,a}(X)=X^r(X^{q-1}+a)\in\mathbb F_{q^e}[X]$ with $a\in\mathbb F_{q^e}^*$. We present a complete characterization for $F_{r,a}$ to be a permutation of $\mathbb{F}_{q^e}$. This yields a complete proof of the conjecture proposed by Masuda--Rubio--Santiago \cite{masuda2022permutation}. More precisely, we show that \(F_{r,a}\) permutes \(\mathbb F_{q^e}\) if and only if $(-a)^{(q^e-1)/(q-1)}\ne1, \gcd(r,q-1)=1$, and there exists \(1\le h<e\) with \(\gcd(h,e)=1\) such that $r(q^h-1)\equiv q-1\pmod{q^e-1}.$

Let $p$ be a prime and $\mathbb{F}_q/\mathbb{F}_r$ a finite field extension with $q=p^m$ and $r=p^s$. For any $k\mid q-1$, we consider $r$-ary irreducible cyclic codes (ICC) of the form $C(k,q/r) = \{(Tr_{q/r}(γω^{ik})_{i=0}^{n-1})\}_{γ\in \mathbb{F}_r}$, with $ω$ a primitive element of $\mathbb{F}_q$ and $ n= \tfrac{q-1}{k}$, and generalized Paley (GP) graphs $Γ(k,q) = Cay(\mathbb{F}_q, \{ x^k : x \in \mathbb{F}_q^* \})$. We show that there is a simple closed formula relating the weight distribution of $C(k,q/r)$ with the spectrum of $Γ(k_r,q)$, where $k_r=\gcd(k, \frac{q-1}{r-1})$. Then, we give $Spec(Γ(k,q))$ explicitly for those graphs associated with irreducible 2-weight cyclic codes in the semiprimitive and exceptional cases. Finally, we give the weight enumerators of irreducible cyclic codes associated with Hamming GP-graphs.

The Ehrhart series of the $n$th Birkhoff polytope is $\sum_{r\geq0}H_n(r)z^r$, where $H_n(r)$ counts nonnegative integer $n\times n$ matrices whose row and column sums all equal $r$. We present an exact method for computing this series using constant terms and finite fields. A root filter expresses $H_n(r)$ as a weighted sum of the values $h_r(M)^n$, where $h_r$ is the complete homogeneous symmetric polynomial and $M$ ranges over multisets of $m$th roots of unity with $m=r+1$. Constant-term cancellation reduces the evaluation of $h_r(M)$ to a sum over repeated elements $a$ of $M$. For a particular $a$ of multiplicity $μ_a$, the computation uses a generalized Todd coefficient of degree $μ_a-2$. Sums of $h_r(M)^n$ over selected multiplicity classes are handled using symmetric function techniques. Together with the remaining individual evaluations, this gives $O_n(m^{n-5}+m^4)$ field operations for each admissible prime and fixed $n\geq5$. An explicit bound and the Chinese remainder theorem recover the integer counts, and Ehrhart symmetry determines the full series. The same method applies to the World Cup problem, which counts the same matrices with diagonal entries required to be $0$. We prove correctness and compute complete series for both families through order $12$. The Birkhoff series for orders $10$--$12$ and the World Cup series for orders $9$--$12$ are tabulated in the appendices.

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 in every case except when $n=2$, $q\equiv1\pmod4$, and $q$ is not a square. We settle this remaining case, thereby completing the classification of entrywise positivity preservers over every finite field and in every dimension $n\ge2$. Our proof is based on a novel idempotent reduction that not only resolves the remaining case but also yields a self-contained proof of the complete classification, while avoiding several technical results used in the earlier arguments. As a further application of the same reduction, we classify the entrywise preservers of strongly nonsingular matrices, i.e., matrices whose leading principal minors are all nonzero. We also prove a more general theorem in odd characteristic: for every prescribed sign pattern of nonzero leading principal minors of matrices of a fixed dimension $n\ge2$, the entrywise preservers are precisely the positive scalar multiples of field automorphisms. Thus, in odd characteristic, preserving any nonzero leading-principal-minor sign pattern surprisingly forces the preservation of every such sign pattern.

Generalized covering radii measure how many columns of a parity-check matrix are needed to generate several syndromes simultaneously. Their finite-geometric counterparts are $(ρ,t)$-saturating sets, for which every $t$-dimensional subspace is contained in a subspace generated by at most $ρ$ prescribed vectors. We investigate this covering problem for the norm-one configurations associated with generalized Zetterberg codes. We establish the upper bound $2t+1$ over every nonbinary finite field and in an explicit binary range, together with complementary lower bounds obtained by counting subspaces and constructing subfield obstructions. For an explicit range of large $t$, these configurations are $t$-strong blocking sets, and the $t^{\rm th}$ generalized covering radius attains its minimum possible value $t$. For binary Zetterberg codes, we determine the second generalized covering radius in every extension degree and prove that the third radius is seven for an infinite subfamily.

We extend the study of random linear equations over finite fields to equations over finite commutative rings. We characterize precisely when the satisfiability threshold occurs at a sublinear scale; namely, when the random system become unsatisfiable with high probability with a number of constraints $m$ that is sublinear in $n$, the number of variables. In this regime, we determine the exact value of the satisfiability threshold. In the complementary regime where the satisfiability threshold is linear in $n$, we determine its precise value when $R$ is a principal ring. Interestingly, this value is independent of the choice of $R$, mirroring the same phenomenon when $R$ is a finite field. We further prove that this independence of $R$ breaks down if $R$ is nonprincipal. In particular, we investigate a classical family of nonprincipal rings and determine the satisfiability thresholds for all rings in this family. Remarkably, in this setting, the satisfiability threshold depends not only on the underlying ring, but also on other parameters defining the random linear equation model.

We classify, for every prime power $q$ and every $e\geqslant2$, the permutation binomials $X^r(X^{q-1}+a)$ over $\mathbb F_{q^e}$. Writing $\ell_j(q)=(q^j-1)/(q-1)$, such a binomial is a permutation if and only if $\gcd(r,q-1)=1$, $(-a)^{\ell_e(q)}\ne1$, and $r\ell_h(q)\equiv1\pmod{\ell_e(q)}$ for some $1\leqslant h<e$ coprime to $e$. This proves a conjecture of Masuda, Rubio, and Santiago: every permutation binomial of this form arises from $(X^{q^h}+aX)\circ X^r$ for a suitable $h$. We also determine the exact number of distinct permutation functions represented by this family. As a further consequence, we completely classify the broader family $X^r(X^{d(q-1)}+a)$ in the coprime-index case $\gcd(d,\ell_e(q))=1$. The new ingredient in the main classification is the necessity argument: selected Hermite power sums are organized so that Lucas' theorem turns their coefficients into digit conditions; a Farey-guided local argument then forces successive base-$q$ digits, and cyclic rotations yield the inverse congruence. In characteristic $2$, a mod-$4$ lift to an auxiliary ring retains endpoint information lost modulo $2$.

Let $q=p^k$, and let $A_1,\ldots,A_{r-1}$ be invertible $n\times n$ matrices over ${\mathbb F}_q$. We prove that, if $k\ge r$, there is a vector $x$ for which \[ x,A_1x,\ldots,A_{r-1}x \] are all nowhere zero. For $r=2$ this recovers the theorem of Alon and Tarsi over nonprime finite fields. The proof tracks one monomial in the product of the coordinate forms. Frobenius powers keep every exponent below $p^r$, and finite-field polynomial nonvanishing supplies the required vector. The same method treats rectangular matrices with independent rows and prescribed forbidden values. The method also gives an extension-degree criterion for representable matroids and clarifies an unpublished prime-field conjecture of M. J. Moghaddamzadeh. Projective-geometric examples explain why the analogous field-size statement fails over proper extensions and, translated back to matrices, give lower bounds for the large-field problem.

A prime circle of order $2n$ is a circular ordering of $1,\ldots,2n$ such that the sum of every two adjacent terms is prime. We prove that a prime circle exists for every sufficiently large $n$. The proof is based on a perfect matching and robust expansion. We also study Hamilton cycles in graphs and digraphs defined by primitive sums and differences over finite fields. In particular, the primitive-sum graph on $\F_q$ is Hamiltonian for every prime power $q>18\,888\,871$, and for the graph on a full prime field $\F_p$, the bound improves to $p>61$.

Given a finite dimensional Lie algebra $L$ on a finite field $\mathbb{F}_{p^n}$ of prime power order $p^n$ (with $n$ positive integer and $p$ prime), we consider the number of modular pairs $(A,B)$ in the lattice of all subalgebras $\mathcal{L}(L)$ and introduce the notion of ``subalgebra commutativity degree'' of $L$. This represents the probability to find that two randomly chosen subalgebras $A$ and $B$ of $L$ are permutable. We investigate the subalgebra commutativity degree of $L$ in connection with recent techniques of algebraic combinatorics and number theory, providing upper and lower bounds which may influence the structure of $L$. A specific study for the subalgebra commutativity degree of Heisenberg algebras is executed.

The cocyclic development of Hadamard matrices has recently been extended from groups to loops by means of a cohomology theory that incorporates associativity obstructions. Over the finite field $\mathbb F_2$, the resulting loop-cocycles can be computed as solutions of homogeneous linear systems, making the framework suitable for exact computation. In this paper, we investigate multidimensional Hadamard matrices arising from finite loops. We introduce the notion of $δ$-compatible pairs of $2$-cochains over a loop $L$ as a natural extension of the usual $2$-cocycle identity, which allows the use of two distinct $2$-cochains. They form a vector space naturally isomorphic to the direct product of the space of $2$-cocycles and the space of $1$-cochains. This yields a generalization of the classical cocyclic construction of multidimensional Hadamard matrices from groups to arbitrary loops, while preserving the computational advantages of the cocyclic approach. The obtained decomposition shows that the determination of Hadamard equivalence classes can be reduced from the full space of $δ$-compatible pairs to the smaller space of ordinary $2$-cocycles, eliminating a redundant factor of $2^n$ from the search space. Computational results for all groups of orders $4$ and $8$, together with a non-associative loop of order $8$, show that the proposed three-dimensional construction refines the classical cocyclic Hadamard classification. While all examples collapse into a single equivalence class in dimension two, they split into several distinct classes in dimension three. In particular, the non-associative loop produces a three-dimensional Hadamard class that does not arise from any of the groups considered, showing that the multidimensional construction detects structural information that is invisible at the cocyclic matrix level.

We give new bounds for list sizes of random linear codes at capacity, max loads of linear hash functions, and Furstenberg sets, over every finite field $\mathbb{F}_q$. 1. Random linear codes over $\mathbb{F}_q$ with rate $1 - H_q(p) - ε$ are $(p, O(q H_q(p)/ε))$-list decodable with high probability for all values of $p, q, ε$, including the high error regime. This nearly matches the list size lower bound of $H_q(p)/ε$ due to Guruswami, Li, Mosheiff, Resch, Silas, and Wootters [IEEE Trans. Inf. Theory 2022]. Our bound is the first uniform improvement for $q > 2$ since Guruswami, Håstad, and Kopparty [STOC 2010]. 2. Linear hash functions over $\mathbb{F}_q$ hashing $n$ balls to $n$ bins achieve maximum load $O(q \ln \ln q / {\ln q}) \cdot \ln n / {\ln \ln n}$, both in expectation and with probability $1-o(1)$. This nearly matches the lower bound of $\ln n / {\ln \ln n}$. Previously, only a polylogarithmic upper bound was known for $q > 2$, due to Alon, Dietzfelbinger, Miltersen, Petrank, and Tardos [J. ACM 1999]. We reduce list decodability and linear hashing to strong Furstenberg set lower bounds, which we prove using a new polynomial method of multiplicity gaps. While previous polynomial methods analyze a set $S$ by studying polynomials that vanish on it, we consider polynomials that vanish everywhere, but with higher multiplicity inside $S$ than outside.

We introduce various quantities that can be defined for an arbitrary finite matroid, and show that certain conditions on these quantities imply that a matroid is not representable over $\mathbb{F}_q$ where $q$ is a prime power. Mostly, for a finite matroid of rank $r$, we examine the proportion of size-$(r-k)$ subsets that are dependent, and give bounds, in terms of the cardinality of the matroid and $q$, for this proportion, below which the matroid is not representable over $\mathbb{F}_q$. We also explore connections between the defined quantities and demonstrate that they can be used to prove that random matrices have high proportions of subsets of columns independent. Our study relates to the results of our papers [4,5,11] dealing with the cardinality of sets of $k$-independent vectors over $\mathbb{F}_q$ and the Maximal Distance Separation Conjecture over $\mathbb{F}_q$.

We count factorizations of Singer cycles as products of reflections in the families of special and general unitary and linear groups over a finite field. In the case of minimum-length factorizations, the resulting answer is a striking product formula resembling the count for minimum-length factorizations of Coxeter elements into reflections in complex reflections groups. Moreover, for minimum length, the answers for the unitary and linear groups exhibit the phenomenon of Ennola duality, where the number of factorizations in a unitary group over the field $\mathbb{F}_q$ is given by replacing `$q$' with `$-q$' in the corresponding answer for a linear group. We use the character theory of these groups to make this count, and in particular we employ the Deligne--Lusztig theory of characters for finite reductive groups.