arXiv++ Combinatorics

We generalize Ren and Wang's incidence bound between points and lines in $\R^2$ \cite{RenWan23} to higher dimensions. We show how to use this incidence bound to improve the best known bound for Falconer's distance set problem in $\R^3$ and in $\R^4$. We show that if $d=3$ or $d=4$, and $E\subset \R^d$ is a Borel set of dimension $\dim_H(E) > d/2$, then \begin{equation*} \sup_{x\in E} \dim_H(Δ_x(E)) \geq 2/3, \end{equation*} where $Δ_x(E)$ is the pinned distance set of $E$ with respect to $x$. We also show how the incidence bound can be used to generalize the planar Furstenberg set bound, to sets in $\R^d$ that contain a $t$-dimensional set of hyperplanes, each of which contains an $s$-dimensional set of points, for any $d\ge 2$, $s \in (d-2, d-1]$ and $t \in (0, d]$.

Let $L_{a,b}$ be a line in the Euclidean plane with slope $a$ and intercept $b$. The dimension spectrum $\spec(L_{a,b})$ is the set of all effective dimensions of individual points on $L_{a,b}$. The dimension spectrum conjecture states that, for every line $L_{a,b}$, the spectrum of $L_{a,b}$ contains a unit interval. In this paper we prove that the dimension spectrum conjecture is true. Let $(a,b)$ be a slope-intercept pair, and let $d = \min\{\dim(a,b), 1\}$. For every $s \in (0, 1)$, we construct a point $x$ such that $\dim(x, ax + b) = d + s$. Thus, we show that $\spec(L_{a,b})$ contains the interval $(d, 1+ d)$. Results of Turetsky , and Lutz and Stull, show that $\spec(L_{a,b})$ contain the endpoints $d$ and $1+d$. Taken together, $[d, 1 + d] \subseteq \spec(L_{a,b})$, for every planar line $L_{a,b}$.