arXiv++ Combinatorics

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.

Let $\mathbb{F}_p$ be a prime field of order $p>2$, and $A$ be a set in $\mathbb{F}_p$ with very small size in terms of $p$. In this note, we show that the number of distinct cubic distances determined by points in $A\times A$ satisfies \[|(A-A)^3+(A-A)^3|\gg |A|^{8/7},\] which improves a result due to Yazici, Murphy, Rudnev, and Shkredov. In addition, we investigate some new families of expanders in four and five variables. We also give an explicit exponent of a problem of Bukh and Tsimerman, namely, we prove that \[\max \left\lbrace |A+A|, |f(A, A)|\right\rbrace\gg |A|^{6/5},\] where $f(x, y)$ is a quadratic polynomial in $\mathbb{F}_p[x, y]$ that is not of the form $g(αx+βy)$ for some univariate polynomial $g$.

Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. Given $k$ sets $E_j\subset \mathbb F_q^d$ for $j=1,2,\ldots, k$, the generalized $k$-resultant modulus set, denoted by $Δ_k(E_1,E_2, \ldots, E_k)$, is defined by $$ Δ_k(E_1,E_2, \ldots, E_k)=\left\{\|{\bf x}^1+{\bf x}^2+\cdots+{\bf x}^k\|\in \mathbb F_q:{\bf x}^j\in E_j,\, j=1,2,\ldots, k\right\},$$ where $\|{\bf y}\|={\bf y}_1^2+ \cdots + {\bf y}_d^2$ for ${\bf y}=({\bf y}_1, \ldots, {\bf y}_d)\in \mathbb F_q^d.$ We prove that if $\prod\limits_{j=1}^3 |E_j| \ge C q^{3\left(\frac{d+1}{2} -\frac{1}{6d+2}\right)}$ for $d=4,6$ with a sufficiently large constant $C>0$, then $|Δ_3(E_1,E_2,E_3)|\ge cq$ for some constant $0<c\le 1,$ and if $\prod\limits_{j=1}^4 |E_j| \ge C q^{4\left(\frac{d+1}{2} -\frac{1}{6d+2}\right)}$ for even $d\ge 8,$ then $|Δ_4(E_1,E_2,E_3, E_4)|\ge cq.$ This generalizes the previous result in \cite{CKP16}. We also show that if $\prod\limits_{j=1}^3 |E_j| \ge C q^{3\left(\frac{d+1}{2} -\frac{1}{9d-18}\right)}$ for even $d\ge 8,$ then $|Δ_3(E_1,E_2,E_3)|\ge cq.$ This result improves the previous work in \cite{CKP16} by removing $\varepsilon>0$ from the exponent.

We study the $k$-resultant modulus set problem in the $d$-dimensional vector space $\mathbb F_q^d$ over the finite field $\mathbb F_q$ with $q$ elements. Given $E\subset \mathbb F_q^d$ and an integer $k\ge 2$, the $k$-resultant modulus set, denoted by $Δ_k(E)$, is defined as $$ Δ_k(E)=\{\|x^1\pm x^2 \pm \cdots \pm x^k\|\in \mathbb F_q: x^j\in E, ~j=1,2,\ldots, k\},$$ where $\|α\|=α_1^2+\cdots+ α_d^2$ for $α=(α_1, \ldots, α_d) \in \mathbb F_q^d.$ In this setting, the $k$-resultant modulus set problem is to determine the minimal cardinality of $E\subset \mathbb F_q^d$ such that $Δ_k(E) = \mathbb F_q$ or $\mathbb{F}_q^*$. This problem is an extension of the Erdős-Falconer distance problem. In particular, we investigate the $k$-resultant modulus set problem with the restriction that the set $E\subset \mathbb F_q^d$ is contained in a specific algebraic variety. Energy estimates play a crucial role in our proof.

For a set $E\subset \mathbb F_q^d$, we define the $k$-resultant magnitude set as $ Δ_k(E) =\{\|\textbf{x}_1 + \dots + \textbf{x}_k\|\in \mathbb F_q: \textbf{x}_1, \dots, \textbf{x}_k \in E\},$ where $\|\textbf{v}\|=v_1^2+\cdots+ v_d^2$ for $\textbf{v}=(v_1, \ldots, v_d) \in \mathbb F_q^d.$ In this paper we find a connection between a lower bound of the cardinality of the $k$-resultant magnitude set and the restriction theorem for spheres in finite fields. As a consequence, it is shown that if $E\subset \mathbb F_q^d$ with $|E|\geq C q^{\frac{d+1}{2}-\frac{1}{6d+2}},$ then $|Δ_3(E)|\geq c q$ for $d = 4$ or $d = 6$, and $|Δ_4(E)| \geq cq$ for even dimensions $d \geq 8.$ In addition, we prove that if $d\geq 8$ is even, and $|E|\geq C_\varepsilon ~q^{\frac{d+1}{2} - \frac{1}{9d -18} + \varepsilon}$ for $\varepsilon >0$, then $|Δ_3(E)|\geq c q.$

In this paper we study the cardinality of the dot product set generated by two subsets of vector spaces over finite fields. We notice that the results on the dot product problems for one set can be simply extended to two sets. Let E and F be subsets of the d-dimensional vector space F_q^d over a finite field F_q with q elements. As a new result, we prove that if E and F are subsets of the paraboloid and |E||F|\geq C q^d for some large C>1, then |Π(E,F)|\geq c q for some 0<c<1. In particular, we find a connection between the size of the dot product set and the number of lines through both the origin and a nonzero point in the given set E. As an application of this observation, we obtain more sharpened results on the generalized dot product set problems. The discrete Fourier analysis and geometrical observation play a crucial role in proving our results.

We investigate the size of the distance set determined by two subsets of finite dimensional vector spaces over finite fields. A lower bound of the size is given explicitly in terms of cardinalities of the two subsets. As a result, we improve upon the results by Rainer Dietmann. In the case that one of the subsets is a product set, we obtain further improvement on the estimate.

We study the number of the vectors determined by two sets in d-dimensional vector spaces over finite fields. We observe that the lower bound of cardinality for the set of vectors can be given in view of an additive energy or the decay of the Fourier transform on given sets. As an application of our observation, we find sufficient conditions on sets where the Falconer distance conjecture for finite fields holds in two dimension. Moreover, we give an alternative proof of the theorem, due to Iosevich and Rudnev, that any Salem set satisfies the Falconer distance conjecture for finite fields.

An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold $α>0$ such that $|Δ(E)| \gtrsim q$ whenever $|E| \gtrsim q^α$, where $E \subset {\Bbb F}_q^d$, the $d$-dimensional vector space over a finite field with $q$ elements (not necessarily prime). Here $Δ(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x,y \in E\}$. In two dimensions we improve the known exponent to $\tfrac{4}{3}$, consistent with the corresponding exponent in Euclidean space obtained by Wolff. The pinned distance set $Δ_y(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x\in E\}$ for a pin $y\in E$ has been studied in the Euclidean setting. Peres and Schlag showed that if the Hausdorff dimension of a set $E$ is greater than $\tfrac{d+1}{2}$ then the Lebesgue measure of $Δ_y(E)$ is positive for almost every pin $y$. In this paper we obtain the analogous result in the finite field setting. In addition, the same result is shown to be true for the pinned dot product set $Π_y(E)=\{x\cdot y: x\in E\}$. Under the additional assumption that the set $E$ has cartesian product structure we improve the pinned threshold for both distances and dot products to $\frac{d^2}{2d-1}$. A generalization of the Falconer distance problem is determine the minimal $α>0$ such that $E$ contains a congruent copy of every $k$ dimensional simplex whenever $|E| \gtrsim q^α$. Here the authors improve on known results (for $k>3$) using Fourier analytic methods, showing that $α$ may be taken to be $\frac{d+k}{2}$.

In this paper we systematically study various properties of the distance graph in ${\Bbb F}_q^d$, the $d$-dimensional vector space over the finite field ${\Bbb F}_q$ with $q$ elements. In the process we compute the diameter of distance graphs and show that sufficiently large subsets of $d$-dimensional vector spaces over finite fields contain every possible finite configurations.

In recent years, sum-product estimates in Euclidean space and finite fields have been studied using a variety of combinatorial, number theoretic and analytic methods. Erdos type problems involving the distribution of distances, areas and volumes have also received much attention. In this paper we prove a relatively straightforward function version of an incidence results for points and planes previously established in \cite{HI07} and \cite{HIKR07}. As a consequence of our methods, we obtain sharp or near sharp results on the distribution of volumes determined by subsets of vector spaces over finite fields and the associated arithmetic expressions. In particular, our machinery enables us to prove that if $E \subset {\Bbb F}_q^d$, $d \ge 4$, the $d$-dimensional vector space over a finite field ${\Bbb F}_q$, of size much greater than $q^{\frac{d}{2}}$, and if $E$ is a product set, then the set of volumes of $d$-dimensional parallelepipeds determined by $E$ covers ${\Bbb F}_q$. This result is sharp as can be seen by taking $E$ to equal to $A \times A \times ... \times A$, where $A$ is a sub-field of ${\Bbb F}_q$ of size $\sqrt{q}$. In three dimensions we establish the same result if $|E| \gtrsim q^{15/8}$. We prove in three dimensions that the set of volumes covers a positive proportion of ${\Bbb F}_q$ if $|E| \ge Cq^{3/2}$. Finally we show that in three dimensions the set of volumes covers a positive proportion of ${\Bbb F}_q$ if $|E| \ge Cq^2$, without any further assumptions on $E$, which is again sharp as taking $E$ to be a 2-plane through the origin shows.

In this paper we study the boundedness of extension operators associated with spheres in vector spaces over finite fields.In even dimensions, we estimate the number of incidences between spheres and points in the translated set from a subset of spheres. As a result, we improve the Tomas-Stein exponents, our previous results. The analytic approach and the explicit formula for Fourier transform of the characteristic function on spheres play an important role to get good bounds for exponential sums.

We prove a point-wise and average bound for the number of incidences between points and hyper-planes in vector spaces over finite fields. While our estimates are, in general, sharp, we observe an improvement for product sets and sets contained in a sphere. We use these incidence bounds to obtain significant improvements on the arithmetic problem of covering ${\mathbb F}_q$, the finite field with q elements, by $A \cdot A+... +A \cdot A$, where A is a subset ${\mathbb F}_q$ of sufficiently large size. We also use the incidence machinery we develope and arithmetic constructions to study the Erdos-Falconer distance conjecture in vector spaces over finite fields. We prove that the natural analog of the Euclidean Erdos-Falconer distance conjecture does not hold in this setting due to the influence of the arithmetic. On the positive side, we obtain good exponents for the Erdos -Falconer distance problem for subsets of the unit sphere in $\mathbb F_q^d$ and discuss their sharpness. This results in a reasonably complete description of the Erdos-Falconer distance problem in higher dimensional vector spaces over general finite fields.