arXiv++ Combinatorics

Erdős, Sárközy, and Sós studied the asymptotics of the maximum size of a subset of $\{1,2,\ldots, N\}$ such that it does not contain $k$ distinct elements whose product is a perfect square. More generally, Verstraëte proposed a conjecture regarding the asymptotic behavior of the same quantity with the set of perfect squares replaced by the value set of a polynomial in $\mathbb{Z}[x]$. In this paper, we study a finite field analogue of Verstraëte's conjecture.

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.

In this paper, we investigate the number of induced subgraphs and subdigraphs of Paley graphs and Paley tournaments where the (out-)degree of each vertex has the same parity. For Paley graphs, we establish a lower bound for the number of large even induced subgraphs, particularly those containing a constant proportion of vertices. We determine the number of even-even partitions of Paley graphs, showing it is exponential if $q\equiv 1\Mod{8}$ and is trivial if $q\equiv 5\Mod{8}$, while proving the non-existence of even-even partition for Paley tournaments. Furthermore, we derive asymptotic formulas for the numbers of even induced sub(di)graphs of order $r=o(q^{1/4})$ in Paley graphs and Paley tournaments, demonstrating their concentration around the expected values in the corresponding random (di)graph models. In the context of coding theory, we establish a correspondence between even/odd induced sub(di)graphs of Paley graphs (tournaments) and maximum distance separable (MDS) self-dual codes that can be constructed via (extended) generalized Reed-Solomon codes from subsets of finite fields. As a consequence, our contribution on induced subgraphs leads to new existence and counting results about MDS self-dual codes.

In the first part of the paper, we fix a non-CM elliptic curve $E/\mathbb{Q}$ and an odd prime $\ell$ and investigate the distribution of invariants associated to the $\ell$-volcano containing the reduction $E_p$, as $p$ ranges over primes of good ordinary reduction. Let $H(p)$ be the height of the volcano and let $d'(p)$ denote the relative position of $j(E_p)$ above the floor, and let $r\ge 0$ be an integer. Assuming that the $\ell$-adic Galois representation attached to $E$ is surjective, we derive an explicit formula for the natural density of primes $p$ for which $H(p)=r$ (resp.\ $d'(p)=r$). In the non-surjective case, we show that all sufficiently large heights occur with positive density. In the second part of the paper, we analyze the distribution of $\ell$-volcano heights over a finite field $\mathbb{F}_q$ and consider the limit as $q\to\infty$. Using analytic estimates for sums of Hurwitz class numbers in arithmetic progressions, we compute exact limiting densities for ordinary elliptic curves whose $\ell$-isogeny graph has a prescribed height $r$.

A square, upper-triangular matrix $U$ is a Cholesky root of a matrix $M$ provided $U^*U=M$, where $\cdot^*$ represents the conjugate transpose when working over the complex field and $U^*=U^T$ over the reals and finite fields. In this paper, we investigate the number of such factorizations over the finite field with two elements, $\mathbb{F}_2$, and prove the equinumerosity, for each fixed rank, of the Cholesky roots of and the upper-triangular square roots of the zero matrix. We then provide asymptotics for this count and finish with a few directions for future inquiry.

This paper proves a stability result for a variation of the Erdős-Ko-Rado theorem in the context of polynomials over finite fields. Let $\mathcal F$ be a family of polynomials of degree at most $k \geq 3$ in $\mathbb F_q[X]$. Call $\mathcal F$ intersecting if for any two polynomials $f, g$ in $\mathcal F$, there exists a point $x \in \mathbb F_q$ for which $f(x) = g(x)$. An intersecting family is called a star if it consists of all polynomials $f$ with ${\rm deg } f \leq k$ such that $f(x) = y$ for some fixed points $x, y \in \mathbb F_q$. In this paper we prove that if $\mathcal F$ is an intersecting family with $|\mathcal F| \geq \frac 1{\sqrt 2} q^k + \mathcal O(q^{k-1})$, then $\mathcal F$ is contained in a star. In fact, we prove that this is still true if we also evaluate the polynomials "at infinity", which is equivalent to studying the problem for homogeneous bivariate polynomials. The proof technique extends to a general framework for intersection problems of linear codes $C$. One has to investigate the geometry of the projective system $\mathcal S$ associated to $C$. If the hyperplanes that don't intersect $\mathcal S$ are well spread out with respect to the points not on $\mathcal S$, then one obtains stability results, showing that any intersecting family of reasonably large size is contained in a star.

We settle the Polynomial Freiman--Ruzsa (PFR/Marton) conjecture for the integers and for cyclic groups. More precisely, we show that if $A$ is a finite subset of $\mathbb{Z}$ or $\mathbb{Z}/N\mathbb{Z}$ with $|A+A| \le K|A|$, then there is a subgroup $H$ of index at most $K^{O(1)}$ such that $A$ is contained in at most $K^{O(1)}$ cosets of $H$. The proof is based on a new spectral stability dichotomy for the $L^4$ Fourier mass of $\mathbf{1}_A$: either this mass is concentrated on a span of size $K^{O(1)}$, or, after passing to a quotient of codimension $K^{O(1)}$, the doubling constant of the image of $A$ decreases by a definite power of $K$. Using Freiman modeling we transfer this dichotomy to cyclic groups, obtain polynomial Bogolyubov-type bounds, and deduce Marton's conjecture in $\mathbb{Z}$ and $\mathbb{Z}/N\mathbb{Z}$. As a corollary, we also recover and extend the finite-field formulation of Marton's conjecture: in odd characteristic we obtain a direct spectral proof, and together with the characteristic-2 result of Green, Gowers, Manners, and Tao this yields a complete resolution of the conjecture for all finite fields. For context beyond finite fields, we recall their theorem for abelian groups of bounded exponent.

This paper discusses what the dimension data of irreducible representations of a finite group looks like in some specific cases, including unipotent and reductive groups over finite fields. The essence of our investigation is whether the dimension data of irreducible representations of a finite group can be ``geometerized'', to become equal to the cardinality of certain orbit spaces. The first part of this paper deals with nilpotent and reductive groups over finite fields, whereas the second part deals with the symmetric group $S_n$. The main conclusion that we want to bring out to contrast these two cases is that for reductive groups over finite fields, the dimension data is concentrated (in a statistical sense) in a neighborhood of the maximal dimension, whereas for the symmetric group, it is spread out.

Tom Leinster gave a bijective correspondence between the set of operators on a finite-dimensional vector space $V$ and the set of pairs consisting of a nilpotent operator and a vector in $V$. Over a finite field this bijection implies that the probability that an operator be nilpotent is the reciprocal of the number of vectors in $V$. We generalize this correspondence to pairs of operators between pairs of vector spaces and determine the probability that a random pair of operators be nilpotent. We also determine the set-theoretical counterpart of this construction and compute the number of eventually constant pairs of maps between two finite sets, closely related to the number of spanning trees in a complete bipartite graph.