arXiv++ Combinatorics

We prove that asymptotically almost all vectorial functions over finite fields have trivial extended-affine stabilizers. As a consequence, the number of EA-equivalence classes is asymptotically equal to the naive estimate, namely the total number of functions divided by the size of the EA-group, with vanishing relative error. Furthermore, we derive upper bounds on collision probabilities for both extended-affine and CCZ equivalences. For EA-equivalence, we leverage the trivial-stabilizer result to establish a matching lower bound, yielding a tight asymptotic formula that shows two independently sampled functions are EA-equivalent with super-exponentially small probability. The results validate random sampling strategies for cryptographic primitive design and show that functions with nontrivial EA-symmetries form an exponentially rare subset.

This paper extends the investigation of energy distribution in finite settings, which is related to the results established in [H]. We analyze the distribution of multiplicative energies using Fourier analytical methods and random structures. Our results provide new structural insights into energy phenomena in finite fields, complementing the earlier discrete analysis. Additionally, we provide an estimate for the smallest $k$ such that the $k$-fold product set $A^k$ covers the entire field $\mathbb{F}$, given that $A$ has small doubling.

The Tsetlin library is a random shuffling process on permutations of $n$ letters, where each letter $i$ can be interpreted as a book; book $i$ is brought to the front of the bookshelf with an assigned probability $x_i$. We define a $q$-deformation of the Tsetlin library by replacing the symmetric group action on permutations by the action of the type $A$ Iwahori-Hecke algebra. We compute the stationary distribution and spectrum of this Markov chain by relating it to a Markov chain on complete flags over the finite field vector space $\mathbb{F}_q^n$ and applying techniques from semigroup theory. We also generalize the $q$-Tsetlin library to words (with repeated letters), and compute its stationary distribution and spectrum.

We prove the first inverse theorem for point--sphere incidence bounds over finite fields in dimensions $d \ge 3$, showing that near-extremality forces algebraic rigidity. While sharp upper bounds have been known for over a decade, the structural characterization of configurations that nearly saturate these bounds has remained completely open. Specifically, if a configuration of points $P \subset \mathbb{F}_q^d$ and spheres $\mathscr{S}$ exceeds the random incidence baseline by a factor $K$ in the moderate-sphere regime, then there exists a subset $P' \subset P$ of size \[ |P'| \gtrsim K q^{(d-1)/2} \] contained in the zero set of a polynomial $F$ of degree at most $C K^C$. This yields a one-sided result: we identify necessary algebraic obstructions to extremality, without asserting sufficiency. The proof introduces a new rigidity mechanism for finite-field incidence geometry. Near-extremality manifests as persistent overlap among bisector hyperplanes. We prove that such persistent coincidence cannot occur without forcing the emergence of bounded-complexity algebraic certificates. The argument proceeds by isolating high-overlap layers via energy stratification, followed by a projective polynomial dichotomy applied to the set of normal directions. As applications, we obtain the first inverse-type results for pinned distance and dot-product problems over finite fields, resolving structural questions inaccessible to standard polynomial or Fourier-analytic methods.

A set of points $N\subseteq \mathbb{F}_q^d$ is a Nikodym set if, for any $x\in \mathbb{F}_q^d$, there is a line $\ell$ through $x$ such that $\ell\setminus\{x\}\subseteq N$. We conjecture that $|N|=q^d-O_d(q^{d/(d-1)})$ and prove it under an extra algebraic assumption.

For any integer $d \geq 2$ and prime power $q$, we construct unexpectedly large induced matchings in the point-line incidence graph of $\mathbb{F}_{q}^{d}$ by leveraging a new connection with the Furstenberg-Sárközy problem from arithmetic combinatorics. In particular, we significantly improve the previously well-known baselines when $q$ is prime, showing that $\mathbb{F}_{q}^{2}$ contains matchings of size $q^{1.233}$ and $\mathbb{F}_{q}^{d}$ contains matchings of size $q^{d-o_{d}(1)}$. These results and their proofs have several applications. First, we also obtain new constructions for finite field Nikodym sets in dimension $d \geq 2$, improving recent results of Tao by polynomial factors. For example, when $q$ is prime, we show the existence of Nikodym sets in $\mathbb{F}_q^d$ of size $q^d - q^{d - o_d(1)}$. Second, we construct a new minimal blocking set in $\mathrm{PG}(2,q)$, solving a longstanding problem in finite geometry. Third, we obtain new constructions for the minimal distance problem (in $\mathbb{R}^{2}$ and also in higher dimensions), improving a recent result of Logunov-Zakharov. We also obtain analogous results for general finite fields with large characteristics. In particular, in one of our constructions we introduce a new special set of points inside the norm hypersurface in $\mathbb{F}_{q}^{d}$, which directly generalizes the classical Hermitian unital and which may be of independent interest for applications.

In this paper, we give error bounds for the distance distribution of Reed-Muller codes, extending prior work on the distance distribution of Reed-Solomon codes. This is equivalent to the problem of counting multivariate polynomials over a finite field with prescribed degree, coefficients, and number of zeroes. We provide a solution to this problem using the character sum method, which offers a new unified framework applicable to a broad class of polynomial enumeration problems over finite fields that involve prescribed evaluation vectors. This work effectively makes the first systematic attempt to study the coset weight distribution problem for Reed-Muller codes of fixed degree over large finite fields, which was proposed in MacWilliams and Sloane's 1977 textbook \emph{The Theory of Error Correcting Codes}.

We show that for all integers $2\le s\le t$, any $K_{s,t}$-free subset of $[N]$ with size $Ω(n^{1-1/s})$ must contain a nontrivial solution to every fixed translation-invariant linear equation in at least five variables. This extends earlier results for Sidon sets due to Conlon-Fox-Sudakov-Zhao and Prendiville to the full family of $K_{s,t}$-free sets. We also study the corresponding problem in vector spaces over finite fields. In $\mathbb F_q^n$ we obtain stronger quantitative bounds, including polylogarithmic savings, by combining Fourier-analytic transference with polynomial-method input from the arithmetic cycle-removal lemma of Fox-Lovász-Sauermann.

A cap set in projective or affine geometry over a finite field is a set of points no three of which are collinear. In this paper, we propose a new construction for complete cap sets that yields a cap set of size 124928 in the affine geometry AG(15,3). It should be noted that the constructed cap set in AG(15,3) is more powerful and exceeds at least by 4096 points than those that can be obtained from the previously known ones using the product or doubling constructions.

Rank-metric codes, defined as sets of matrices over a finite field with the rank distance, have gained significant attention due to their applications in network coding and connections to diverse mathematical areas. Initially studied by Delsarte in 1978 and later rediscovered by Gabidulin, these codes have become a central topic in coding theory. This paper surveys the development and mathematical foundations, in particular, regarding bounds and constructions of rank-metric codes, emphasizing their extension beyond finite fields to more general settings. We examine Singleton-like bounds on code parameters, demonstrating their sharpness in finite field cases and contrasting this with contexts where the bounds are not tight. Furthermore, we discuss constructions of Maximum Rank Distance (MRD) codes over fields with cyclic Galois extensions and the relationship between linear rank-metric codes with systems and evasive subspaces. The paper also reviews results for algebraically closed fields and real numbers, previously appearing in the context of topology and measure theory. We conclude by proposing future research directions, including conjectures on MRD code existence and the exploration of rank-metric codes over various field extensions.

We study covering graphs of the Paley graph associated to a finite field of characteristic p in the case where the covering transformation group is cyclic of prime order distinct from p. When the field has q = p elements, we show that the eigenvalues of the adjacency matrix determine the graph isomorphism class among translation invariant covers. When q = p^r > p, we construct examples of cospectral covering graphs that are not isomorphic as graphs.

We establish a sharp point-sphere incidence bound in finite fields for point sets exhibiting controlled additive structure. Working in the framework of \((4,s)\)-Salem sets, which quantify pseudorandomness via fourth-order additive energy, we prove that if \(P\subset \mathbb{F}_q^d\) is a \((4,s)\)-Salem set with \(s\in \big( \frac{1}{4}, \frac{1}{2} \big]\) and \(|P|\ll q^{ \frac{d}{4s}}\), then for any finite family \(S\) of spheres in \(\mathbb{F}_q^d\), \[ \bigg| I(P,S)-\frac{|P||S| }{q} \bigg| \ll q^{\frac{d}{4}}\,|P|^{1-s}\,|S|^{\frac{3}{4}}. \] This estimate improves the classical point-sphere incidence bounds for arbitrary point sets across a broad parameter range. The proof combines additive energy estimates with a lifting argument that converts point-sphere incidences into point-hyperplane incidences in one higher dimension while preserving the \((4,s)\)-Salem property. As applications, we derive refined bounds for unit distances and sum-product type phenomena, and we extend the method to \((u,s)\)-Salem sets for even moments \(u\ge4\).

We establish a connection between Drinfeld modules and rank metric codes, focusing on the case of semifield codes. Our framework constructs rank metric codes from linear subspaces of endomorphisms of a Drinfeld module, using tools such as characteristic polynomials on Tate modules and the Chebotarev density theorem. We show that Sheekey's construction [She20] fits naturally into this setting, yielding a short conceptual proof of one of his main results. We then give a new construction of infinite families of semifield codes arising from Drinfeld modules defined over finite fields.

Let ${\mathbb F}$ be a (not necessarily finite) field. A subspace of the vector space ${\mathbb F}^n$ is called {\it non-degenerate} if it is not contained in a coordinate hyperplane. We show that the Grassmann graph of $k$-dimensional subspaces of ${\mathbb F}^n$, $1<k<n-1$, can be recovered from the subgraph of non-degenerate subspaces if $|{\mathbb F}|>n-k$. In the case when ${\mathbb F}={\mathbb F}_q$ is the field of $q$ elements, this subgraph is known as the graph of non-degenerate linear $[n,k]_q$ codes.

Let $\mathbb{F}_q^d$ be a $d$-dimensional vector space over a finite field $\mathbb{F}_q$ with $q$ elements. For $x\in \mathbb{F}_q^d$, let $\|x\| = x_1^2+\dots+x_d^2$. By abuse of terminology, we shall call $\|\cdot\|$ a norm on $\mathbb{F}_q^d$. For a subset $E\subset \mathbb{F}_q^d$, let $Δ(E)$ be the distance set on $E$ defined as $Δ(E):=\{\|x-y\| : x, y \in E \}$. The Mattila-Sjölin problem seeks the smallest exponent $α>0$ such that $Δ(E) =\mathbb{F}_q$ for all subsets $E \subset \mathbb{F}_q^d$ with $|E| \geq Cq^α$. In this article, we consider this problem for a variant of this norm, which generates a smaller distance set than the norm $\|\cdot\|.$ Namely, we replace the norm $\|\cdot\|$ by the so-called $k$-norm $(1 \leq k \leq d)$, which can be viewed as a kind of deformation of $\|\cdot\|$. To derive our result on the Mattila-Sjölin problem for the $k$-norm, we use a combinatorial method to analyze various summations arising from the discrete Fourier machinery. Even though our distance set is smaller than the one in the Mattila-Sjölin problem, for some $k$ we still obtain the same result as that of Iosevich and Rudnev (2007), which deals with the Mattila-Sjölin problem. Furthermore, our result is sharp in all odd dimensions.

We define a grid graph as a Cartesian product of path-graphs $P_n$ or cycle-graphs $C_n$, and define a grid design as a $G$-design where the graph $G$ is a grid graph, that is, a decomposition of a complete graph into edge-disjoint subgraphs isomorphic to $G$. We show that when $n$ is an odd prime or the square of an odd prime, the toroidal grid-graph $G = C_n \square C_n$ admits a $G$-design. In the less symmetrical case of products of path-graphs, we prove that $G = P_3 \square P_3$ does not admit a $G$-design but that $G = P_4 \square P_4$ does. This last result is the special case that motivated the present paper: a $P_4 \square P_4$-design corresponds to a way of successively scrambling a Connections puzzle so that each pair of words occurs adjacently exactly once. Our constructions use the arithmetic of finite fields.

Lattices induced by coverings arise naturally in matroid theory and combinatorial optimization, providing a structured framework for analyzing relationships between independent sets and closures. In this paper, we explore the structural properties of such lattices, with a particular focus on their rank structure, covering relations, and enumeration of elements per level. Leveraging these structural insights, we investigate necessary and sufficient conditions under which the lattice induced by a covering is isomorphic to classical geometric lattices, including the lattice of partitions, the lattice of subspaces of a vector space over a finite field, and the Dowling lattice. Our results provide a unified framework for comparing these combinatorial structures and contribute to the broader study of lattice theory, matroids, and their applications in combinatorics.

We show that Blokhuis' quadratic upper bound for two-distance sets is sharp over finite fields in almost all dimensions. Our construction complements Lisoněk's higher-dimensional maximal constructions that were carried out in Lorentz spaces.

We investigate when a maximum distance separable ($MDS$) code over $F_q$ is also completely regular ($CR$). For lengths $n=q+1$ and $n=q+2$ we provide a complete classification of the $MDS$ codes that are $CR$ or at least uniformly packed in the wide sense ($UPWS$). For the more restricted case $n\leq q$ with $q\leq 5$ we obtain a full classification (up to equivalence) of all nontrivial $MDS$ codes: there are none for $q=2$; only the ternary Hamming code for $q=3$; four nontrivial families for $q=4$; and exactly six linear $MDS$ codes for $q=5$ (three of which are $CR$ and one admits a self-dual version). Additionally, we close two gaps left open in a previous classification of self-dual $CR$ codes with covering radius $ρ\leq 3$: we precisely determine over which finite fields the $MDS$ self-dual completely regular codes with parameters $[2,1,2]_q$ and $[4,2,3]_q$ exist.

The generalized Markoff mod $p$ graph is defined via the equation $x^2+y^2+z^2=xyz+κ$ over the finite field $\mathbb{F}_p$ of prime order $p$. In this paper, we investigate the topological properties of the graph such as non-planarity, surface embeddability, and the existence of short cycles. Our approach is based on a systematic construction of $K_{3,3}$-subdivisions, integrating techniques from graph theory, computer algebra, and number theory.