arXiv++ Combinatorics

Sárközy conjectured that the nonzero quadratic residues modulo a sufficiently large prime have no nontrivial additive decomposition. Hanson and Petridis proved the conjecture for almost all primes, and Kalmynin completed the proof. Kalmynin also developed a general framework for additive decompositions of multiplicative subgroups. More recently, Rudnev and Tyrrell used this framework to classify all additive decompositions of proper multiplicative subgroups of prime fields, showing that the only nontrivial example is the subgroup of order $4$. We give a new self-contained proof of this classification that streamlines the arguments of Kalmynin and of Rudnev and Tyrrell.

We determine exactly which proper multiplicative subgroups of a prime field can be represented as a restricted sumset of the form $A\mathbin{\widehat{+}} A=\{a+a':a,a'\in A,\ a\ne a'\}$. We prove that a proper multiplicative subgroup $H\le\mathbb F_p^*$ cannot satisfy $H=A\mathbin{\widehat{+}} A$ whenever $|H|\ge7$, and that this threshold is sharp. In fact, such a decomposition exists precisely when $|H|\in\{1,3,6\}$, and we classify all decompositions in these exceptional cases. This gives a sharp, complete resolution of the restricted-sumset analogue of the generalized Sárközy conjecture over prime fields. This significantly extends and refines previous results of Shkredov and Yip.

In a recent breakthrough, Kalmynin proved a conjecture of Sárközy on additive irreducibility of the set of quadratic residues in a prime field. More recently, Kim, Yip, and Yoo initiated the study of a multiplicative analogue of the conjecture for shifted multiplicative subgroups. Specifically, they showed that for an odd prime $p$, a proper multiplicative subgroup $G$ of $\mathbb F_p^*$, and $λ\in G$, there do not exist sets $A,B\subseteq \mathbb F_p^*$ with $|A|,|B|\ge 2$ such that $AB=(G-λ)\setminus\{0\}$. In this paper, when $λ\in \mathbb F_p^* \setminus G$, we completely resolve this problem in the equality case from a Stepanov bound in a prime field.

In a recent breakthrough, Kalmynin proved a conjecture of Lev--Sonn and a conjecture of Sárközy on additive decompositions of multiplicative subgroups of a prime field. In this paper, we prove a multiplicative analogue of Kalmynin's result on a generalization of the Lev--Sonn conjecture, inspired by a relevant conjecture of Sárközy. We show that all nonzero shifts of proper multiplicative subgroups (of size at least $3$) are not ratio sets of the form $A/A$. This in particular extends a result of Shkredov, where he showed the same for small multiplicative subgroups (of size $<p^{6/7}$ in $\mathbb{F}_p$). We also prove an analogous statement over complex numbers for finite subgroups of the unit circle, which may be of independent interest.

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.

Ball, Ortega--Moreno, and Prodromou asked whether, for every odd prime $p$, one can find a $1$-factor of the complete graph $K_{p+1}$ with some arithmetic restrictions related to quadratic residues. This problem is motivated by $1$-factorizations that are compatible with the sign pattern of certain Paley-type matrices. Recently, Afifurrahman et al. made some partial progress. In this paper, we completely resolve the problem.

We bound the number of incidences between points and spheres in finite vector spaces by bounding the sum of the number of points in the pairwise intersections of the spheres. We obtain new incidence bounds that are interesting when the number of spheres is not too large. Our approach also leads to an elementary proof of the Iosevich-Rudnev bound on the Erdős-Falconer distance problem in odd dimensions.

We investigate $f$-Diophantine sets over finite fields via new explicit constructions of families of quasi-random hypergraphs from multivariate polynomials. In particular, our construction not only offers a systematic method for constructing quasi-random hypergraphs but also provides a unified framework for studying various hypergraphs arising from multivariate polynomials over finite fields, including Paley sum hypergraphs, and hypergraphs derived from Diophantine tuples and their generalizations. We derive an asymptotic formula for the number of $k$-Diophantine $m$-tuples, answering a question of Hammonds et al., and study some related questions for $f$-Diophantine sets, extending and improving several recent works. We also sharpen a classical estimate of Chung and Graham on even partial octahedrons in Paley sum hypergraphs.

Paley graphs and Paley sum graphs are classical examples of quasi-random graphs. In this paper, we provide new constructions of families of quasi-random graphs that behave like Paley graphs but are neither Cayley graphs nor Cayley sum graphs. These graphs give a unified perspective of studying various graphs arising from polynomials over finite fields, such as Paley graphs, Paley sum graphs, and graphs arising from Diophantine tuples and their generalizations. We also obtain lower bounds on the clique and independence numbers of the graphs in these families.

Let $A$ and $B$ be sets in a finite vector space. In this paper, we study the magnitude of the set $A\cap f(B)$, where $f$ runs through a set of transformations. More precisely, we will focus on the cases that the set of transformations is given by orthogonal matrices or orthogonal projections. We prove that if $A, B\subset \mathbb{F}_q^d$ satisfy some natural conditions, then, for almost every $g\in O(d)$, there are at least $\gg q^d$ elements $z\in \mathbb{F}_q^d$ such that \[|A\cap (g(B)+z)| \sim \frac{|A||B|}{q^d}.\] This implies that $|A-gB|\gg q^d$ for almost every $g\in O(d)$. In the flavor of expanding functions, with $|A|\le |B|$, we also show that the image $A-gB$ grows exponentially. In two dimensions, the result simply says that if $|A|=q^x$ and $|B|=q^y$, as long as $0<x\le y<2$, then for almost every $g\in O(2)$, we can always find $ε=ε(x, y)>0$ such that $|A-gB|\gg |B|^{1+ε}$. To prove these results, we need to develop new and robust incidence bounds between points and rigid motions by using a number of techniques including algebraic methods and discrete Fourier analysis. Our results are essentially sharp in odd dimensions. In the prime field plane, we further employ recent $L^2$ distance bounds and point-line/plane incidence machinery to derive improvements. Notable applications include a strong prime field analogue of a question of Mattila related to the Falconer distance problem, the Rotational Erdős-Falconer distance problem, and a quadratic expansion law. Taken together, the results in this paper present a robust two-way link between intersection phenomena and distance problems over finite fields, with dimension-uniform consequences and sharpness in several ranges.

Let $λ$ be a partition of a positive integer $n$. The genomic Schur function $U_λ$ was introduced by Pechenik--Yong in the context of the $K$-theory of Grassmannians. Recently, Pechenik provided a positive combinatorial formula for the fundamental quasisymmetric expansion of $U_λ$ in terms of increasing gapless tableaux. In this paper, for each $1 \le m \le n$, we construct an $H_m(0)$-module $\mathbf{G}_{λ;m}$ whose image under the quasisymmetric characteristic is the $m$th degree homogeneous component of $U_λ$ by defining an $H_m(0)$-action on increasing gapless tableaux. We provide a method to assign a permutation to each increasing gapless tableau, and use this assignment to decompose $\mathbf{G}_{λ;m}$ into a direct sum of weak Bruhat interval modules. Furthermore, we determine the projective cover of each summand of the direct sum decomposition.

The main purpose of this paper is to provide threshold functions for the events that a random subset of the points of a finite vector space has certain properties related to point-flat incidences. Specifically, we consider the events that there is an $\ell$-rich $m$-flat with regard to a random set of points in $\mathbb{F}_q^n$, the event that a random set of points is an $m$-blocking set, and the event that there is an incidence between a random set of points and a random set of $m$-flats. One of our key ingredients is a stronger version of a recent result obtained by Chen and Greenhill (2021).

For a word $π$ and integer $i$, we define $L^i(π)$ to be the length of the longest subsequence of the form $i(i+1)\cdots j$, and we let $L(π):=\max_i L^i(π)$. In this paper we estimate the expected values of $L^1(π)$ and $L(π)$ when $π$ is chosen uniformly at random from all words which use each of the first $n$ integers exactly $m$ times. We show that $\mathbb{E}[L^1(π)]\sim m$ if $n$ is sufficiently larger in terms of $m$ as $m$ tends towards infinity, confirming a conjecture of Diaconis, Graham, He, and Spiro. We also show that $\mathbb{E}[L(π)]$ is asymptotic to the inverse gamma function $Γ^{-1}(n)$ if $n$ is sufficiently large in terms of $m$ as $m$ tends towards infinity.

We introduce an $n$-dimensional analogue of the construction of tessellated surfaces from finite groups first described by Herman and Pakianathan. Our construction is functorial and associates to each $n$-ary alternating quasigroup both a smooth, flat Riemannian $n$-manifold which we dub the open serenation of the quasigroup in question, as well as a topological $n$-manifold (the serenation of the quasigroup) which is a subspace of the metric completion of the open serenation. We prove that every connected orientable smooth manifold is serene, in the sense that each such manifold is a component of the serenation of some quasigroup. We prove some basic results about the variety of alternating $n$-quasigroups and note connections between our construction, Latin hypercubes, and Johnson graphs.

Let $\mathbb{F}_{q}$ be the finite field with an odd prime power $q$. In this paper, we construct a new isometric invariant of combinatorial type on $(\mathbb{F}^{n}_{q},\text{dot}_{n})$, where $\text{dot}_{n}(\mathbf{x}):=x_{1}^{2}+\cdots+x_{n}^{2}$. Additionally, using counts from our new invariant, we give a new proof of Minkowski's formula on the size of spheres over finite fields. We also show which types of quadratic subspaces can be embedded in $(\mathbb{F}_{q}^{n},\text{dot}_{n})$.

Nondegenerate quadratic forms over $p$-adic fields are classified by their dimension, discriminant, and Hasse invariant. This paper uses these three invariants, elementary facts about $p$-adic fields and the theory of quadratic forms to determine which types of quadratic spaces -- including degenerate cases -- can be embedded in the Euclidean $p$-adic space $(\mathbb{Q}_{p}^{n},x_{1}^{2}+\cdots+x_{n}^{2})$, and the Lorentzian space $(\mathbb{Q}_{p}^{n},x_{1}^{2}+\cdots+x_{n-1}^{2}+λx_{n}^{2})$, where $\mathbb{Q}_{p}$ is the field of $p$-adic numbers, and $λ$ is a nonsquare in the finite field $\mathbb{F}_{p}$. Furthermore, the minimum dimension $n$ that admits such an embedding is determined.

$q$-analogues of quantities in mathematics involve perturbations of classical quantities using the parameter $q$, and revert to the original quantities when $q$ goes $1$. An important example is the $q$-analogues of binomial coefficients which give the number of $k$-dimensional subspaces in $\mathbb{F}_{q}^{n}$. When $q$ goes to $1$, this reverts to the binomial coefficients which measure the number of $k$-sets in $\left [ n \right ]$. Dot-analogues of $q$-binomial coefficients were studied by Yoo (2019) in order to investigate combinatorics of quadratic spaces over finite fields. The number of $k$-dimensional quadratic spaces of $(\mathbb{F}_{q}^{n},x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2})$ which are isometrically isomorphic to $(\mathbb{F}_{q}^{k},x_{1}^{2}+x_{2}^{2}+\cdots+x_{k}^{2})$ can be also described as analogous to binomial coefficients, called the dot-binomial coefficients, $\binom{n}{k}_{d}$. In this paper, we study a combinatorial correspondence between this finite Euclidean geometries and symmetric subsets of $\mathbb{Z}/n\mathbb{Z}$. In addition, we show that dot-binomial coefficients can be expressed in terms of $q$-binomial coefficients and polynomials, and we prove that dot-binomial coefficients are polynomials in $q$. Furthermore, we study the properties of the polynomials given by the dot binomial coefficients $\binom{n}{k}_{d}$.

Let $\mathbb{F}_{q}$ be a finite field of order $q$, where $q$ is an odd prime power. A quadratic subspace $(W,Q)$ of $(\mathbb{F}_{q}^{n},x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2})$ is called dot$_{k}$-subspace if $Q$ is isometrically isomorphic to $x_{1}^{2}+x_{2}^{2}+\cdots+x_{k}^{2}$. In this paper, we obtain bounds for the number of incidences $I(\mathcal{K},\mathcal{H})$ between a collection $\mathcal{K}$ of dot$_{k}$-subspaces and a collection $\mathcal{H}$ of dot$_{h}$-subspaces when $h \geq 4k-4$, which is given by \[\left | I(\mathcal{K},\mathcal{H})-\frac{|\mathcal{K}||\mathcal{H}|}{q^{k(n-h)}}\right | \lesssim q^{\frac{k(2h-n-2k+4)+h(n-h-1)-2}{2}}\sqrt{|\mathcal{K}||\mathcal{H}|}. \] In particular, we improve the error term obtained by Phuong, Thang and Vinh (2019) for general collections of affine subspaces in the presence of our additional conditions.

We study graphs coming from quadratic spaces over finite fields via orthogonality which generalize a recent result given by Bishnoi, Ihringer, and Pepe (2019). More precisely, we study the graph $Γ^{\square}(n,k,q)$ as follows: the vertex set is the set of $k$-dimensional quadratic subspaces of a fixed Lorentzian quadratic space $(\mathbb{F}_{q}^{n},x_{1}^{2}+\cdots+x_{n-1}^{2}+λx_{n}^{2})$ which are isometrically isomorphic to $x_{1}^{2}+\cdots+x_{k}^{2}$. Here $λ$ is a nonsquare in $\mathbb{F}_{q}$, and two vertices $x,y$ are adjacent if $x \subseteq y^{\perp}$.

The $q$-binomial coefficients are q-analogues of the binomial coefficients, counting the number of $k$-dimensional subspaces in the $n$-dimensional vector space $\mathbb{F}^n_q$ over $\mathbb{F}_{q}$. In this paper, we define a Euclidean analogue of $q$-binomial coefficients as the number of $k$-dimensional subspaces which have an orthonormal basis in the quadratic space $(\mathbb{F}_{q}^{n},x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2})$ using a poset structure on these subspaces. We prove its various combinatorial properties comparing with those of $q$-binomial coefficients. In addition, we formulate the number of subspaces of other quadratic types and study some related properties.