arXiv++ Combinatorics

Given $A\subseteq GL_2(\mathbb{F}_q)$, we prove that there exist disjoint subsets $B, C\subseteq A$ such that $A = B \sqcup C$ and their additive and multiplicative energies satisfying \[ \max\{\,E_{+}(B),\, E_{\times}(C)\,\}\ll \frac{|A|^3}{M(|A|)}, \] where \begin{equation*} \label{eqn:MAminBVPolyLSSS} M(|A|) = \min\Bigg\{\,\frac{q^{4/3}}{|A|^{1/3}(\log|A|)^{2/3}},\, \frac{|A|^{4/5}}{q^{13/5}(\log|A|)^{27/10}}\,\Bigg\}. \end{equation*} We also study some related questions on moderate expanders over matrix rings, namely, for $A, B, C\subseteq GL_2(\mathbb{F}_q)$, we have \[|AB+C|, ~|(A+B)C|\gg q^4,\] whenever $|A||B||C|\gg q^{10 + 1/2}$. These improve earlier results due to Karabulut, Koh, Pham, Shen, and Vinh (2019).

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.

In this paper, we study the Erdős-Falconer distance problem in five dimensions for sets of Cartesian product structures. More precisely, we show that for $A\subset \mathbb{F}_p$ with $|A|\gg p^{\frac{13}{22}}$, then $Δ(A^5)=\mathbb{F}_p$. When $|A-A|\sim |A|$, we obtain stronger statements as follows: If $|A|\gg p^{\frac{13}{22}}$, then $(A-A)^2+A^2+A^2+A^2+A^2=\mathbb{F}_p.$ If $|A|\gg p^{\frac{4}{7}}$, then $(A-A)^2+(A-A)^2+A^2+A^2+A^2+A^2=\mathbb{F}_p.$ We also prove that if $p^{4/7}\ll |A-A|=K|A|\le p^{5/8}$, then \[|A^2+A^2|\gg \min \left\lbrace \frac{p}{K^4}, \frac{|A|^{8/3}}{K^{7/3}p^{2/3}}\right\rbrace.\] As a consequence, $|A^2+A^2|\gg p$ when $|A|\gg p^{5/8}$ and $K\sim 1$, where $A^2=\{x^2\colon x\in A\}$.

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 $E$ be a proper symmetric subset of $S^{d-1}$, and $C_{\mathbb{F}_q^d}(E)$ be the Cayley graph with the vertex set $\mathbb{F}_q^d$, and two vertices $x$ and $y$ are connected by an edge if $x-y\in E$. Let $k\ge 2$ be a positive integer. We show that for any $α\in (0, 1)$, there exists $q(α, k)$ large enough such that if $E\subset S^{d-1}\subset \mathbb{F}_q^d$ with $|E|\ge αq^{d-1}$ and $q\ge q(α, k)$, then for each vertex $v$, there are at least $c(α, k)q^{\frac{(2k-1)d-4k}{2}}$ cycles of length $2k$ with distinct vertices in $C_{\mathbb{F}_q^d}(E)$ containing $v$. This result is the inverse version of a recent result due to Iosevich, Jardine, and McDonald (2021).

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.

We study the Erd\H os-Falconer distance problem for a set $A\subset \mathbb{F}^2$, where $\mathbb{F}$ is a field of positive characteristic $p$. If $\mathbb{F}=\mathbb{F}_p$ and the cardinality $|A|$ exceeds $p^{5/4}$, we prove that $A$ determines an asymptotically full proportion of the feasible $p$ distances. For small sets $A$, namely when $|A|\leq p^{4/3}$ over any $\mathbb{F}$, we prove that either $A$ determines $\gg|A|^{2/3}$. For both large and small sets, the results proved are in fact for pinned distances.

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}_q$ be an arbitrary finite field, and $\mathcal{E}$ be a set of points in $\mathbb{F}_q^d$. Let $Δ(\mathcal{E})$ be the set of distances determined by pairs of points in $\mathcal{E}$. By using the Kloosterman sums, Iosevich and Rudnev proved that if $|\mathcal{E}|\ge 4q^{\frac{d+1}{2}}$, then $Δ(\mathcal{E})=\mathbb{F}_q$. In general, this result is sharp in odd-dimensional spaces over arbitrary finite fields. In this paper, we use the recent point-plane incidence bound due to Rudnev to prove that if $\mathcal{E}$ has Cartesian product structure in vector spaces over prime fields, then we can break the exponent $(d+1)/2$, and still cover all distances. We also show that the number of pairs of points in $\mathcal{E}$ of any given distance is close to its expected value.

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.

Let $\mathbb{F}_q$ be a finite field of order $q$ and $\mathcal{E}$ be a set in $\mathbb{F}_q^d$. The distance set of $\mathcal{E}$, denoted by $Δ(\mathcal{E})$, is the set of distinct distances determined by the pairs of points in $\mathcal{E}$. Very recently, Iosevich, Koh, and Parshall (2018) proved that if $|\mathcal{E}|\gg q^{d/2}$, then the quotient set of $Δ(\mathcal{E})$ satisfies \[\left\vert\frac{Δ(\mathcal{E})}{Δ(\mathcal{E})}\right\vert=\left\vert \left\lbrace\frac{a}{b}\colon a, b\in Δ(\mathcal{E}), b\ne 0\right\rbrace\right\vert\gg q.\] In this paper, we break the exponent $d/2$ when $\mathcal{E}$ is a Cartesian product of sets over a prime field. More precisely, let $p$ be a prime and $A\subset \mathbb{F}_p$. If $\mathcal{E}=A^d\subset \mathbb{F}_p^d$ and $|\mathcal{E}|\gg p^{\frac{d}{2}-\varepsilon}$ for some $\varepsilon>0$, then we have \[\left\vert\frac{Δ(\mathcal{E})}{Δ(\mathcal{E})}\right\vert, ~\left\vert Δ(\mathcal{E})\cdot Δ(\mathcal{E})\right\vert \gg p.\] Such improvements are not possible over arbitrary finite fields. These results give us a better understanding about the structure of distance sets and the Erdős-Falconer distance conjecture over finite fields.

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.

Let $A$ be a set in a prime field $\mathbb{F}_p$. In this paper, we prove that $d\times d$ matrices with entries in $A$ determine almost $|A|^{3+\frac{1}{45}}$ distinct determinants and almost $|A|^{2-\frac{1}{6}}$ distinct permanents when $|A|$ is small enough.