arXiv++ Combinatorics

Given $E \subset {\Bbb R}^d$, define the \emph{volume set} of $E$, ${\mathcal V}(E)= \{det(x^1, x^2, ... x^d): x^j \in E\}$. In $\R^3$, we prove that ${\mathcal V}(E)$ has positive Lebesgue measure if either the Hausdorff dimension of $E\subset \Bbb R^3$ is greater than 13/5, or $E$ is a product set of the form $E=B_1\times B_2\times B_3$ with $B_j\subset\R,\, dim_{\mathcal H}(B_j)>2/3,\, j=1,2,3$. We show that the same conclusion holds for $\V(E)$ of Salem subsets $E\subset\R^d$ with $\hde>d-1$, and give applications to discrete combinatorial geometry.

We prove that if the Hausdorff dimension of a compact subset of ${\mathbb R}^d$ is greater than $\frac{d+1}{2}$, then the set of angles determined by triples of points from this set has positive Lebesgue measure. Sobolev bounds for bi-linear analogs of generalized Radon transforms and the method of stationary phase play a key role. These results complement those of V. Harangi, T. Keleti, G. Kiss, P. Maga, P. Mattila and B. Stenner in (\cite{HKKMMS10}). We also obtain new upper bounds for the number of times an angle can occur among $N$ points in ${\mathbb R}^d$, $d \ge 4$, motivated by the results of Apfelbaum and Sharir (\cite{AS05}) and Pach and Sharir (\cite{PS92}). We then use this result to establish sharpness results in the continuous setting. Another sharpness result relies on the distribution of lattice points on large spheres in higher dimensions.

Given $E \subset \mathbb{R}^d$, $d \ge 2$, define ${\mathcal D}(E) \equiv {(x-y)/|x-y|: x,y \in E} \subset S^{d-1},$ the set of directions determined by $E$. We prove that if the Hausdorff dimension of $E$ is greater than $d-1$, then $σ({\mathcal D}(E))>0$, where $σ$ denotes the surface measure on $S^{d-1}$. This result is sharp since the conclusion fails to hold if $E$ is a $(d-1)$-dimensional hyper-plane. This result can be viewed as a continuous analog of a recent result of Pach, Pinchasi, and Sharir (\cite{PPS04}, \cite{PPS07}) on angles determined by finite subsets of $\mathbb{R}^d$. Also define ${\mathcal A}(E)=\{θ(x,y,z): x,y,z \in E\},$ where $θ(x,y,z)$ is the angle between $x-y$ and $y-z$. We use the techniques developed to handle the problem of directions and results on distance sets previously obtained by Wolff and Erdogan to prove that if the Hasudorff dimension of $E$ is greater than $(d-1)/2+1/3$, then the Lebesgue measure of ${\mathcal A}(E)$ is positive. This result can be viewed as a continuous analog of a recent result of Apfelbaum and Sharir (\cite{AS05}). At the end of this paper we show that our continuous results can be used to recover and in some case improve the exponents for the corresponding results in the discrete setting for large classes of finite point sets. In particular, we prove that a finite point set $P \subset {\Bbb R}^d$, $d \ge 3$, satisfying a certain discrete energy condition (Definition \ref{adaptablemama}), determines $\gtrapprox # P$ distinct directions and $\gtrapprox {(# P)}^{6/(3d-1)}$ distinct angles. In two dimensions, the lower bound on the number of angles is $\gtrapprox # P$.