arXiv++ Combinatorics

Let $E \subset {\Bbb F}_q^d$, the $d$-dimensional vector space over a finite field with $q$ elements. Construct a graph, called the distance graph of $E$, by letting the vertices be the elements of $E$ and connect a pair of vertices corresponding to vectors $x,y \in E$ by an edge if $||x-y||={(x_1-y_1)}^2+\dots+{(x_d-y_d)}^2=1$. We shall prove that if the size of $E$ is sufficiently large, then the distance graph of $E$ contains long non-overlapping paths and vertices of high degree.

In this paper we apply a group action approach to the study of Erd\H os-Falconer type problems in vector spaces over finite fields and use it to obtain non-trivial exponents for the distribution of simplices. We prove that there exists $s_0(d)<d$ such that if $E \subset {\mathbb F}_q^d$, $d \ge 2$, with $|E| \ge Cq^{s_0}$, then $|T^d_d(E)| \ge C'q^{d+1 \choose 2}$, where $T^d_k(E)$ denotes the set of congruence classes of $k$-dimensional simplices determined by $k+1$-tuples of points from $E$. Non-trivial exponents were previously obtained by Chapman, Erdogan, Hart, Iosevich and Koh (\cite{CEHIK12}) for $T^d_k(E)$ with $2 \leq k \leq d-1$. A non-trivial result for $T^2_2(E)$ in the plane was obtained by Bennett, Iosevich and Pakianathan (\cite{BIP12}). These results are significantly generalized and improved in this paper. In particular, we establish the Wolff exponent $\frac{4}{3}$, previously established in \cite{CEHIK12} for the $q\equiv3\mbox{ mod }4$ case to the case $q\equiv1\mbox{ mod }4$, and this results in a new sum-product type inequality. We also obtain non-trivial results for subsets of the sphere in ${\mathbb F}_q^d$, where previous methods have yielded nothing. The key to our approach is a group action perspective which quickly leads to natural and effective formulae in the style of the classical Mattila integral from geometric measure theory.

In this paper we study multi-parameter projection theorems for fractal sets. With the help of these estimates, we recover results about the size of $A \cdot A+...+A \cdot A$, where $A$ is a subset of the real line of a given Hausdorff dimension, $A+A=\{a+a': a,a' \in A \}$ and $A \cdot A=\{a \cdot a': a,a' \in A\}$. We also use projection results and inductive arguments to show that if a Hausdorff dimension of a subset of ${\Bbb R}^d$ is sufficiently large, then the ${k+1 \choose 2}$-dimensional Lebesgue measure of the set of $k$-simplexes determined by this set is positive. The sharpness of these results and connection with number theoretic estimates is also discussed.

We prove, using combinatorics and Kloosterman sum technology that if $A \subset {\Bbb F}_q$, a finite field with $q$ elements, and $q^{1/2} \lesssim |A| \lesssim q^{7/10}$, then $\max \{|A+A|, |A \cdot A|\} \gtrsim \frac{{|A|}^{3/2}}{q^{1/4}$.