arXiv++ Combinatorics

We extend Raimi's classical partition theorem to the continuous setting of the circle and $n$-dimensional torus. Building on recent work of Hegyvári, Pach, and Pham in finite groups, we prove that there exist measurable partitions of the $n$-dimensional torus $\mathbb{T}^n$ with the property that for any finite measurable cover, some translated part of the cover has positive measure intersection with every partition element. Our proof adapts combinatorial arguments from the finite setting using measure-theoretic techniques and slicing arguments in product spaces.

For a set $E \subseteq \mathbb{F}_q^d$, the distance set is defined as $Δ(E) := \{\|\mathbf{x} - \mathbf{y}\| : \mathbf{x}, \mathbf{y} \in E\}$, where $\|\cdot\|$ denotes the standard quadratic form. We investigate the Erdős--Falconer distance problem within the flexible class of $(u, s)$--Salem sets introduced by Jonathan M. Fraser, with emphasis on the even case $u = 4$. By exploiting the exact identity between $\|\widehat{E}\|_4$ and the fourth additive energy $Λ_4(E)$, we prove that quantitative gains in $Λ_4(E)$ force the existence of many distances. In particular, for a $(4, s)$--Salem set $E\subset \mathbb{F}_q^d$ with $d \geq 2$, if \[ |E|\gg q^{\min\left\{\frac{d+2}{4s+1}, \frac{d+4}{8s}\right\}}, \] then $E$ determines a positive proportion of all distances. This strictly improves Fraser's threshold of $\frac{d}{4s}$ and the Iosevich-Rudnev bound of $q^{\frac{d+1}{2}}$ in certain parameter ranges. As applications, we obtain improved thresholds for multiplicative subgroups and sets on arbitrary varieties, and establish a sharp incidence bound for Salem sets that is of independent interest in incidence geometry. Moreover, our methods give sharp lower bounds for the number of distinct distances determined by two different sets. We also propose a unified conjecture for $(4, s)$--Salem sets that reconciles known bounds and pinpoints the odd-dimensional sphere regime: in odd dimensions $d \geq 3$, the often-cited $\frac{d-1}{2}$ threshold does not follow without additional structures. This provides a clear picture of the spherical distance conjecture.

Let $d\ge3$ and $\mathbb{F}_q^{\,d}$ be the $d$-dimensional vector space over a finite field of order $q$, where $q$ is an odd prime power. Let $X_π$ be the set of lines through the origin intersecting the slice $π\cap S^{d-1}$, where $π=\{x_d=λ\}$ and $S^{d-1}=\{x:\|x\|=1\}$. For $E\subset\mathbb{F}_q^{\,d}$ and $N\ge1$, we study the exceptional sets \[ T_1(X_π,E,N)=\bigl\{V\in X_π:\ |π_V(E)|\le N\bigr\},\qquad T_2(X_π,E,N)=\bigl\{V\in X_π:\ |π_{V^\perp}(E)|\le N\bigr\}, \] with their respective natural ranges of $N$. Using discrete Fourier analysis together with restriction/extension estimates for cone and sphere-type quadrics over finite fields, we obtain sharp upper bounds (up to constant factors) for $\lvert T_1\rvert$ and $\lvert T_2\rvert$, with separate analyses for the cases $λ\in \{0, \pm 1\}$. The bounds exhibit arithmetic-geometric dichotomies absent in the full Grassmannian: the quadratic character of $λ^{2}-1$ and the parity of $d$ determine the size of the exceptional sets. As an application, when $|E|\ge q$, there exists a positive proportion of elements $\mathbf{y}\in π\cap S^{d-1}$ such that the pinned dot-product sets $\{\mathbf{y}\cdot \mathbf{x}\colon \mathbf{x}\in E\}$ have cardinality $Ω(q)$. We further study analogous families arising from the spheres of radii $0$ and $-1$, and, by combining the results, recover the known estimates for projections over the full Grassmannian, complementing a result of Chen (2018).

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.

In this paper, we study the cardinality of the distance set $Δ(A, B)$ determined by two subsets $A$ and $B$ of the $d$-dimensional vector space over a finite field $\mathbb{F}_q$. Assuming that $A$ or $B$ lies in a $k$-coordinate plane up to translations and rotations, we prove that if $|A||B| > 2q^d$, then $|Δ(A, B)| > q/2$, where $|Δ(A, B)|$ denotes the number of distinct distances between elements of $A$ and $B$. In particular, we show that our result recovers the sharp $(d+1)/2$ threshold for the Erdős-Falconer distance problem in odd dimensions, where distances are determined by a single set. As an application, we also obtain an improved result on the Box distance problem posed by Borges, Iosevich, and Ou, in the case where $2$ is a square in $\mathbb{F}_q$.

Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. For each non-zero $r$ in $\mathbb F_q$ and $E\subset \mathbb F_q^d$, we define $W(r)$ as the number of quadruples $(x,y,z,w)\in E^4$ such that $ Q(x-y)/Q(z-w)=r,$ where $Q$ is a non-degenerate quadratic form in $d$ variables over $\mathbb F_q.$ When $Q(α)=\sum_{i=1}^d α_i^2$ with $α=(α_1, \ldots, α_d)\in \mathbb F_q^d,$ Pham (2022) recently used the machinery of group actions and proved that if $E\subset \mathbb F_q^2$ with $q\equiv 3 \pmod{4}$ and $|E|\ge C q$, then we have $W(r)\ge c |E|^4/q$ for any non-zero square number $r \in \mathbb F_q,$ where $C$ is a sufficiently large constant, $ c$ is some number between $0$ and $1,$ and $|E|$ denotes the cardinality of the set $E.$ In this article, we improve and extend Pham's result in two dimensions to arbitrary dimensions with general non-degenerate quadratic distances. As a corollary of our results, we also generalize the sharp results on the Falconer type problem for the quotient set of distance set due to the first two authors and Parshall (2019). Furthermore, we provide improved constants for the size conditions of the underlying sets. The key new ingredient is to relate the estimate of the $W(r)$ to a quadratic homogeneous variety in $2d$-dimensional vector space. This approach is fruitful because it allows us to take advantage of Gauss sums which are more handleable than the Kloosterman sums appearing in the standard distance type problems.

Let $\mathbb{F}_q$ be a finite field of order $q$. Iosevich and Rudnev (2005) proved that for any set $A\subset \mathbb{F}_q^d$, if $|A|\gg q^{\frac{d+1}{2}}$, then the distance set $Δ(A)$ contains a positive proportion of all distances. Although this result is sharp in odd dimensions, it is conjectured that the right exponent should be $\frac{d}{2}$ in even dimensions. During the last 15 years, only some improvements have been made in two dimensions, and the conjecture is still wide open in higher dimensions. To fill the gap, we need to understand more about the structures of the distance sets, the main purpose of this paper is to provide some structural theorems on the distribution of square and non-square distances.

Let $f\in \mathbb{R}[x, y, z]$ be a quadratic polynomial that depends on each variable and that does not have the form $g(h(x)+k(y)+l(z))$. Let $A, B, C$ be compact sets in $\mathbb{R}$. Suppose that $\dim_H(A)+\dim_H(B)+\dim_H(C)>2$, then we prove that the image set $f(A, B, C)$ is of positive Lebesgue measure. Our proof is based on a result due to Eswarathasan, Iosevich, and Taylor (Advances in Mathematics, 2011), and a combinatorial argument from the finite field model.

Let $A$ be a compact set in $\mathbb{R}$, and $E=A^d\subset \mathbb{R}^d$. We know from the Mattila-Sjölin's theorem if $\dim_H(A)>\frac{d+1}{2d}$, then the distance set $Δ(E)$ has non-empty interior. In this paper, we show that the threshold $\frac{d+1}{2d}$ can be improved whenever $d\ge 5$.

Let $\mathbb{F}_q$ be a finite field of order $q$. In this paper, we study the distribution of rectangles in a given set in $\mathbb{F}_q^2$. More precisely, for any $0<δ\le 1$, we prove that there exists an integer $q_0=q_0(δ)$ with the following property: if $q\ge q_0$ and $A$ is a multiplicative subgroup of $\mathbb{F}^*_q$ with $|A|\ge q^{2/3}$, then any set $S\subset \mathbb{F}_q^2$ with $|S|\ge δq^2$ contains at least $\gg \frac{|S|^4|A|^2}{q^5}$ rectangles with side-lengths in $A$. We also consider the case of rectangles with one fixed side-length and the other in a multiplicative subgroup $A$.

Let $φ(x, y)\colon \mathbb{R}^d\times \mathbb{R}^d\to \mathbb{R}$ be a function. We say $φ$ is a Mattila--Sjölin type function of index $γ$ if $γ$ is the smallest number satisfying the property that for any compact set $E\subset \mathbb{R}^d$, $φ(E, E)$ has a non-empty interior whenever $\dim_H(E)>γ$. The usual distance function, $φ(x, y)=|x-y|$, is conjectured to be a Mattila--Sjölin type function of index $\frac{d}{2}$. In the setting of finite fields $\mathbb{F}_q$, this definition is equivalent to the statement that $φ(E, E)=\mathbb{F}_q$ whenever $|E|\gg q^γ$. The main purpose of this paper is to prove the existence of such functions with index $\frac{d}{2}$ in the vector space $\mathbb{F}_q^d$.

In this paper, we prove a new point-sphere incidence bound in vector spaces over finite fields. More precisely, let $P$ be a set of points and $S$ be a set of spheres in $\mathbb{F}_q^d$. Suppose that $|P|, |S|\le N$, we prove that the number of incidences between $P$ and $S$ satisfies \[I(P, S)\le N^2q^{-1}+q^{\frac{d-1}{2}}N,\] under some conditions on $d, q$, and radii. This improves the known upper bound $N^2q^{-1}+q^{\frac{d}{2}}N$ in the literature. As an application, we show that for $A\subset \mathbb{F}_q$ with $q^{1/2}\ll |A|\ll q^{\frac{d^2+1}{2d^2}}$, one has \[\max \left\lbrace |A+A|,~ |dA^2|\right\rbrace \gg \frac{|A|^d}{q^{\frac{d-1}{2}}}.\] This improves earlier results on this sum-product type problem over arbitrary finite fields.

In this paper, we study growth rate of product of sets in the Heisenberg group over finite fields and the complex numbers. More precisely, we will give improvements and extensions of recent results due to Hegyvári and Hennecart (2018).

Let $\mathbb{F}_p$ be a prime field, and ${\mathcal E}$ a set in $\mathbb{F}_p^2$. Let $Δ({\mathcal E})=\{||x-y||: x,y \in {\mathcal E} \}$, the distance set of ${\mathcal E}$. In this paper, we provide a quantitative connection between the distance set $Δ({\mathcal E})$ and the set of rectangles determined by points in ${\mathcal E}$. As a consequence, we obtain a new lower bound on the size of $Δ({\mathcal E})$ when ${\mathcal E}$ is not too large, improving a previous estimate due to Lund and Petridis and establishing an approach that should lead to significant further improvements.

Let $\mathbb{F}_q$ be an arbitrary finite field of order $q$. In this article, we study $\det S$ for certain types of subsets $S$ in the ring $M_2(\mathbb F_q)$ of $2\times 2$ matrices with entries in $\mathbb F_q$. For $i\in \mathbb{F}_q$, let $D_i$ be the subset of $M_2(\mathbb F_q)$ defined by $ D_i := \{x\in M_2(\mathbb F_q): \det(x)=i\}.$ Then our results can be stated as follows. First of all, we show that when $E$ and $F$ are subsets of $D_i$ and $D_j$ for some $i, j\in \mathbb{F}_q^*$, respectively, we have $$\det(E+F)=\mathbb F_q,$$ whenever $|E||F|\ge {15}^2q^4$, and then provide a concrete construction to show that our result is sharp. Next, as an application of the first result, we investigate a distribution of the determinants generated by the sum set $(E\cap D_i) + (F\cap D_j),$ when $E, F$ are subsets of the product type, i.e., $U_1\times U_2\subseteq \mathbb F_q^2\times \mathbb F_q^2$ under the identification $ M_2(\mathbb F_q)=\mathbb F_q^2\times \mathbb F_q^2$. Lastly, as an extended version of the first result, we prove that if $E$ is a set in $D_i$ for $i\ne 0$ and $k$ is large enough, then we have \[\det(2kE):=\det(\underbrace{E + \dots + E}_{2k~terms})\supseteq \mathbb{F}_q^*,\] whenever the size of $E$ is close to $q^{\frac{3}{2}}$. Moreover, we show that, in general, the threshold $q^{\frac{3}{2}}$ is best possible. Our main method is based on the discrete Fourier analysis.

We study the finite field extension estimates for Hamming varieties $H_j, j\in \mathbb F_q^*,$ defined by $H_j=\{x\in \mathbb F_q^d: \prod_{k=1}^d x_k=j\},$ where $\mathbb F_q^d$ denotes the $d$-dimensional vector space over a finite field $\mathbb F_q$ with $q$ elements. We show that although the maximal Fourier decay bound on $H_j$ away from the origin is not good, the Stein-Tomas $L^2\to L^r$ extension estimate for $H_j$ holds.

The first purpose of this paper is to provide new finite field extension theorems for paraboloids and spheres. By using the unusual good Fourier transform of the zero sphere in some specific dimensions, which has been discovered recently in the work of Iosevich, Lee, Shen, and the first and second listed authors (2018), we provide a new $L^2\to L^r$ extension estimate for paraboloids in dimensions $d=4k+3$ and $q\equiv 3\mod 4$, which improves significantly the recent exponent obtained by the first listed author. In the case of spheres, we introduce a way of using \textit{the first association scheme graph} to analyze energy sets, and as a consequence, we obtain new $L^p\to L^4$ extension theorems for spheres of primitive radii in odd dimensions, which break the Stein-Tomas result toward $L^p\to L^4$ which has stood for more than ten years. Most significantly, it follows from the results for spheres that there exists a different extension phenomenon between spheres and paraboloids in odd dimensions, namely, the $L^p\to L^4$ estimates for spheres with primitive radii are much stronger than those for paraboloids. Based on new estimates, we will also clarify conjectures on finite field extension problem for spheres. This results in a reasonably complete description of finite field extension theorems for spheres. The second purpose is to show that there is a connection between the restriction conjecture associated to paraboloids and the Erdős-Falconer distance conjecture over finite fields. The last is to prove that the Erdős-Falconer distance conjecture holds in odd-dimensional spaces when we study distances between two sets: one set lies on a variety (paraboloids or spheres), and the other set is arbitrary in $\mathbb{F}_q^d$.

In this paper we obtain a new lower bound on the Erdős distinct distances problem in the plane over prime fields. More precisely, we show that for any set $A\subset \mathbb{F}_p^2$ with $|A|\le p^{7/6}$, the number of distinct distances determined by pairs of points in $A$ satisfies $$ |Δ(A)| \gg |A|^{\frac{1}{2}+\frac{149}{4214}}.$$ Our result gives a new lower bound of $|Δ{(A)}|$ in the range $|A|\le p^{1+\frac{149}{4065}}$. The main tools we employ are the energy of a set on a paraboloid due to Rudnev and Shkredov, a point-line incidence bound given by Stevens and de Zeeuw, and a lower bound on the number of distinct distances between a line and a set in $\mathbb{F}_p^2$. The latter is the new feature that allows us to improve the previous bound due Stevens and de Zeeuw.

In this paper, we study expanding phenomena in the setting of matrix rings. More precisely, we will prove that If $A$ is a set of $M_2(\mathbb{F}_q)$ and $|A|\gg q^{7/2}$, then we have \[|A(A+A)|, ~|A+AA|\gg q^4.\] If $A$ is a set of $SL_2(\mathbb{F}_q)$ and $|A|\gg q^{5/2}$, then we have \[|A(A+A)|, ~|A+AA|\gg q^4.\] We also obtain similar results for the cases of $A(B+C)$ and $A+BC$, where $A, B, C$ are sets in $M_2(\mathbb{F}_q)$.

In this paper, we give strong lower bounds on the size of the sets of products of matrices in some certain groups. More precisely, we prove an analogue of a result due to Chapman and Iosevich for matrices in $SL_2(\mathbb{F}_p)$ with restricted entries on a small set. We also provide extensions of some recent results on expansion for cubes in Heisenberg group due to Hegyvári and Hennecart.