arXiv++ Combinatorics

Let $A$ be a multiplicative subgroup of $\mathbb Z_p^*$. Define the $k$-fold sumset of $A$ to be $kA=\{x_1+\dots+x_k:x_i \in A,1\leq i\leq k\}$. We show that $6A\supseteq \mathbb Z_p^*$ for $|A| > p^{\frac {11}{23} +ε}$. In addition, we extend a result of Shkredov to show that $|2A|\gg |A|^{\frac 85-ε}$ for $|A|\ll p^{\frac 59}$.

We show that if $E \subset \mathbb{F}_q^d$, the $d$-dimensional vector space over the finite field with $q$ elements, and $|E| \geq ρq^d$, where $ q^{-\frac{1}{2}}\ll ρ\leq 1$, then $E$ contains an isometric copy of at least $c ρ^{d-1} q^{d+1 \choose 2}$ distinct $(d+1)$-point configurations.

In this paper the authors study set expansion in finite fields. Fourier analytic proofs are given for several results recently obtained by Solymosi, Vinh and Vu using spectral graph theory. In addition, several generalizations of these results are given. In the case that $A$ is a subset of a prime field $\mathbb F_p$ of size less than $p^{1/2}$ it is shown that $|\{a^2+b:a,b \in A\}|\geq C |A|^{147/146}$, where $|\cdot|$ denotes the cardinality of the set and $C$ is an absolute constant.

Suppose that A is a set of n real numbers, each at least 1 apart. Define the ``perturbed sum and product sets'' S and P to be the sums a + b + f(a,b) and products (a+g(a,b))(b+h(a,b)), where f, g, and h satisfy certain upper bounds in terms of the n, |a| and |b|. We develop almost best possible lower bounds on |P| + |S|, using the largest possible sizes of the ``perturbation parameters'' f(a,b), g(a,b) and h(a,b). Our proof uses Elekes's idea for bounding |A+A|+|A.A| from below, in combination with the Szemeredi-Trotter curve theorem (actually, a minor generalization of it) of Szekely, applied to certain polygonal arcs.

In the present paper we show that if A is a set of n real numbers, and the product set A.A has at most n^(1+c) elements, then the k-fold sumset kA has at least n^(log(k/2)/2 log 2 + 1/2 - f_k(c)) elements, where f_k(c) -> 0 as c -> 0. We believe that the methods in this paper might lead to a much stronger result; indeed, using a result of Trevor Wooley on Vinogradov's Mean Value Theorem and the Tarry-Escott Problem, we show that if |A.A| < n^(1+c), then |k(A.A)| > n^(Omega((k/log k)^(1/3))), for c small enough in terms of k (we believe that a certain modification of this argument can perhaps produce similar conclusions for kA).

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}$.

We show that under the assumption of a 24-term version of Fermat's Last Theorem, there exists an absolute constant c > 0 such that if S is a set of n > n_0 positive integers satisfying |S.S| < n^(1+c), then the sumset S.S satisfies |S+S| >> n^2. In other words, we prove a weak form of the Erdos-Szemeredi sum-product conjecture, conditional on an extension of Fermat's Last Theorem. Unconditionally, we prove this theorem for when S is a set of n monic polynomials. We also prove an analogue of a theorem of Bourgain and Chang for the ring C[x].

We prove that if the cardinality of a subset of the 2-dimensional vector space over a finite field with $q$ elements is $\ge ρq^2$, with $\frac{1}{\sqrt{q}}<<ρ\leq 1$, then it contains an isometric copy of $\ge cρq^3$ triangles.

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.

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\}$. The second listed author and Misha Rudnev established the threshold $\frac{d+1}{2}$, and the authors of this paper, Doowon Koh and Misha Rudnev proved that this exponent is sharp in even dimensions. In this paper we improve the threshold to $\frac{d^2}{2d-1}$ under the additional assumption that $E$ has product structure. In particular, we obtain the exponent 4/3, consistent with the corresponding exponent in Euclidean space obtained by Wolff.

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.

We prove that a sufficiently large subset of the $d$-dimensional vector space over a finite field with $q$ elements, $ {\Bbb F}_q^d$, contains a copy of every $k$-simplex. Fourier analytic methods, Kloosterman sums, and bootstrapping play an important role.