arXiv++ Combinatorics

We prove sharp $δ$-discretised versions of some variants of the Furstenberg set problem under weaker or different non-concentration assumptions compared to previous works.

We give a simple, short and self-contained presentation of Bourgain's discretised projection theorem from 2010, which is a fundamental tool in many recent breakthroughs in geometric measure theory, harmonic analysis, and homogeneous dynamics. Our main innovation is a short elementary argument that shows that a discretised subset of $\R$ satisfying a weak ``two-ends'' spacing condition is expanded by a polynomial to a set of positive Lebesgue measure.

We extend a theorem of the second author on the $L^q$-dimensions of dynamically driven self-similar measures from the real line to arbitrary dimension. Our approach provides a novel, simpler proof even in the one-dimensional case. As consequences, we show that, under mild separation conditions, the $L^q$-dimensions of homogeneous self-similar measures in $\mathbb{R}^d$ take the expected values, and we derive higher rank slicing theorems in the spirit of Furstenberg's slicing conjecture.

We prove that for $1\le k<d$, if $E$ is a Borel subset of $\mathbb{R}^d$ of Hausdorff dimension strictly larger than $k$, the set of $(k+1)$-volumes determined by $k+2$ points in $E$ has positive one-dimensional Lebesgue measure. In the case $k=d-1$, we obtain an essentially sharp lower bound on the dimension of the set of tuples in $E$ generating a given volume. We also establish a finer version of the classical slicing theorem of Marstrand-Mattila in terms of dimension functions, and use it to extend our results to sets of ``dimension logarithmically larger than $k$''.

We prove inverse theorems for the size of sumsets and the $L^q$ norms of convolutions in the discretized setting, extending to arbitrary dimension an earlier result of the author in the line. These results have applications to the dimensions of dynamical self-similar sets and measures, and to the higher dimensional fractal uncertainty principle. The proofs are based on a structure theorem for the entropy of convolution powers due to M.~Hochman.

We make progress on several interrelated problems at the intersection of geometric measure theory, additive combinatorics and harmonic analysis: the discretised sum-product problem, exceptional estimates for orthogonal projections, and the dimension of Furstenberg sets. We give a new proof of the following asymmetric sum-product theorem: Let $A,B,C \subset \mathbb{R}$ be Borel sets with $0 < {\dim_{\mathrm{H}}} B \leq {\dim_{\mathrm{H}}} A < 1$ and ${\dim_{\mathrm{H}}} B + {\dim_{\mathrm{H}}} C > {\dim_{\mathrm{H}}} A$. Then, there exists $c \in C$ such that $${\dim_{\mathrm{H}}} (A + cB) > {\dim_{\mathrm{H}}} A. $$ Here we only mention special cases of our results on projections and Furstenberg sets. We prove that every $s$-Furstenberg set $F \subset \mathbb{R}^{2}$ has Hausdorff dimension $$ {\dim_{\mathrm{H}}} F \geq \max\{ 2s + (1 - s)^{2}/(2 - s), 1+s\}.$$ We prove that every $(s,t)$-Furstenberg set $F \subset \mathbb{R}^{2}$ associated with a $t$-Ahlfors-regular line set has $${\dim_{\mathrm{H}}} F \geq \min\left\{s + t,\tfrac{3s + t}{2},s + 1\right\}.$$ Let $π_θ$ denote projection onto the line spanned by $θ\in S^1$. We prove that if $K \subset \mathbb{R}^{2}$ is a Borel set with ${\dim_{\mathrm{H}}}(K)\le 1$, then $$ {\dim_{\mathrm{H}}} \{θ\in S^{1} : {\dim_{\mathrm{H}}} π_θ(K) < u\} \leq \max\{ 2(2u - {\dim_{\mathrm{H}}} K),0\}, $$ whenever $u \leq {\dim_{\mathrm{H}}} K$, and the factor "$2$" on the right-hand side can be omitted if $K$ is Ahlfors-regular.

We show that the Hausdorff dimension of $(s,t)$-Furstenberg sets is at least $s+t/2+ε$, where $ε>0$ depends only on $s$ and $t$. This improves the previously best known bound for $2s<t\le 1+ε(s,t)$, in particular providing the first improvement since 1999 to the dimension of classical $s$-Furstenberg sets for $s<1/2$. We deduce this from a corresponding discretized incidence bound under minimal non-concentration assumptions, that simultaneously extends Bourgain's discretized projection and sum-product theorems. The proofs are based on a recent discretized incidence bound of T.~Orponen and the first author and a certain duality between $(s,t)$ and $(t/2,s+t/2)$-Furstenberg sets.

We provide several new answers on the question: how do radial projections distort the dimension of planar sets? Let $X,Y \subset \mathbb{R}^{2}$ be non-empty Borel sets. If $X$ is not contained on any line, we prove that \[ \sup_{x \in X} \dim_{\mathrm{H}} π_{x}(Y) \geq \min\{\dim_{\mathrm{H}} X,\dim_{\mathrm{H}} Y,1\}. \] If $\dim_{\mathrm{H}} Y > 1$, we have the following improved lower bound: \[ \sup_{x \in X} \dim_{\mathrm{H}} π_{x}(Y \, \setminus \, \{x\}) \geq \min\{\dim_{\mathrm{H}} X + \dim_{\mathrm{H}} Y - 1,1\}. \] Our results solve conjectures of Lund-Thang-Huong, Liu, and the first author. Another corollary is the following continuum version of Beck's theorem in combinatorial geometry: if $X \subset \mathbb{R}^{2}$ is a Borel set with the property that $\dim_{\mathrm{H}} (X \, \setminus \, \ell) = \dim_{\mathrm{H}} X$ for all lines $\ell \subset \mathbb{R}^{2}$, then the line set spanned by $X$ has Hausdorff dimension at least $\min\{2\dim_{\mathrm{H}} X,2\}$. While the results above concern $\mathbb{R}^{2}$, we also derive some counterparts in $\mathbb{R}^{d}$ by means of integralgeometric considerations. The proofs are based on an $ε$-improvement in the Furstenberg set problem, due to the two first authors, a bootstrapping scheme introduced by the second and third author, and a new planar incidence estimate due to Fu and Ren.

We prove two new exceptional set estimates for radial projections in the plane. If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K > 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K : \dim_{\mathrm{H}} π_{x}(K) \leq σ\} \leq \max\{1 + σ- \dim_{\mathrm{H}} K,0\}, \qquad σ\in [0,1).$$ If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K \leq 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K : \dim_{\mathrm{H}} π_{x}(K) < \dim_{\mathrm{H}} K\} \leq 1.$$ The finite field counterparts of both results above were recently proven by Lund, Thang, and Huong Thu. Our results resolve the planar cases of conjectures of Lund-Thang-Huong Thu, and Liu.

We establish the dimension version of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension (in particular, for Ahlfors-regular sets) in all ambient dimensions. In dimensions $d=2$ or $3$, we obtain the first explicit estimates for the dimensions of distance sets of general Borel sets of dimension $d/2$; for example, we show that the set of distances spanned by a planar Borel set of Hausdorff dimension $1$ has Hausdorff dimension at least $(\sqrt{5}-1)/2\approx 0.618$. In higher dimensions we obtain explicit estimates for the lower Minkowski dimension of the distance sets of sets of dimension $d/2$. These results rely on new estimates for the dimensions of radial projections that may have independent interest.

We survey the history and recent developments around two decades-old problems that continue to attract a great deal of interest: the slicing $\times 2$, $\times 3$ conjecture of H. Furstenberg in ergodic theory, and the distance set problem in geometric measure theory introduced by K. Falconer. We discuss some of the ideas behind our solution of Furstenberg's slicing conjecture, and recent progress in Falconer's problem. While these two problems are on the surface rather different, we emphasize some common themes in our approach: analyzing fractals through a combinatorial description in terms of ``branching numbers'', and viewing the problems through a ``multiscale projection'' lens.

Let $0 \leq s \leq 1$ and $0 \leq t \leq 2$. An $(s,t)$-Furstenberg set is a set $K \subset \mathbb{R}^{2}$ with the following property: there exists a line set $\mathcal{L}$ of Hausdorff dimension $\dim_{\mathrm{H}} \mathcal{L} \geq t$ such that $\dim_{\mathrm{H}} (K \cap \ell) \geq s$ for all $\ell \in \mathcal{L}$. We prove that for $s\in (0,1)$, and $t \in (s,2]$, the Hausdorff dimension of $(s,t)$-Furstenberg sets in $\mathbb{R}^{2}$ is no smaller than $2s + ε$, where $ε> 0$ depends only on $s$ and $t$. For $s>1/2$ and $t = 1$, this is an $ε$-improvement over a result of Wolff from 1999. The same method also yields an $ε$-improvement to Kaufman's projection theorem from 1968. We show that if $s \in (0,1)$, $t \in (s,2]$ and $K \subset \mathbb{R}^{2}$ is an analytic set with $\dim_{\mathrm{H}} K = t$, then $$\dim_{\mathrm{H}} \{e \in S^{1} : \dim_{\mathrm{H}} π_{e}(K) \leq s\} \leq s - ε,$$ where $ε> 0$ only depends on $s$ and $t$. Here $π_{e}$ is the orthogonal projection to $\mathrm{span}(e)$.

We prove a version of Bourgain's projection theorem for parametrized families of $C^2$ maps, that refines the original statement even in the linear case. As one application, we show that if $A$ is a Borel set of Hausdorff dimension close to $1$ in $\mathbb{R}^2$ or close to $3/2$ in $\mathbb{R}^3$, then for $y\in A$ outside of a very sparse set, the pinned distance set $\{|x-y|:x\in A\}$ has Hausdorff dimension at least $1/2+c$, where $c$ is universal. Furthermore, the same holds if the distances are taken with respect to a $C^2$ norm of positive Gaussian curvature. As further applications, we obtain new bounds on the dimensions of spherical projections, and an improvement over the trivial estimate for incidences between $δ$-balls and $δ$-neighborhoods of curves in the plane, under fairly general assumptions. The proofs depend on a new multiscale decomposition of measures into ``Frostman pieces'' that may be of independent interest.

We show that given $α\in (0, 1)$ there is a constant $c=c(α) > 0$ such that any planar $(α, 2α)$-Furstenberg set has Hausdorff dimension at least $2α+ c$. This improves several previous bounds, in particular extending a result of Katz-Tao and Bourgain. We follow the Katz-Tao approach with suitable changes, along the way clarifying, simplifying and/or quantifying many of the steps.

We investigate the box dimensions of compact sets in $\mathbb{R}^2$ that contain a unit distance in every direction (such sets may have zero Hausdorff dimension). Among other results, we show that the lower box dimension must be at least $\frac{4}{7}$ and can be as low as $\frac{2}{3}$. This quantifies in a certain sense how far the unit circle is from being a difference set.

We provide quantitative estimates for the supremum of the Hausdorff dimension of sets in the real line which avoid $\varepsilon$-approximations of arithmetic progressions. Some of these estimates are in terms of Szemerédi bounds. In particular, we answer a question of Fraser, Saito and Yu (IMRN, 2019) and considerably improve their bounds. We also show that Hausdorff dimension is equivalent to box or Assouad dimension for this problem, and obtain a lower bound for Fourier dimension.

We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff dimension at least $37/54\approx 0.685$. Moreover, if $s\in (1,3/2]$, then outside of a set of exceptional $y$ of Hausdorff dimension at most $1$, the pinned distance set $\{ |x-y|:x\in A\}$ has Hausdorff dimension $\ge \tfrac{2}{3}s$ and packing dimension at least $ \tfrac{1}{4}(1+s+\sqrt{3s(2-s)}) \ge 0.933$. These estimates improve upon the existing ones by Bourgain, Wolff, Peres-Schlag and Iosevich-Liu for sets of Hausdorff dimension $>1$. Our proof uses a multi-scale decomposition of measures in which, unlike previous works, we are able to choose the scales subject to certain constrains. This leads to a combinatorial problem, which is a key new ingredient of our approach, and which we solve completely by optimizing certain variation of Lipschitz functions.

We prove that if $A$ is a Borel set in the plane of equal Hausdorff and packing dimension $s>1$, then the set of pinned distances $\{ |x-y|:y\in A\}$ has full Hausdorff dimension for all $x$ outside of a set of Hausdorff dimension $1$ (in particular, for many $x\in A$). This verifies a strong variant of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension, outside the endpoint $s=1$.

We characterize the existence of certain geometric configurations in the fractal percolation limit set $A$ in terms of the almost sure dimension of $A$. Some examples of the configurations we study are: homothetic copies of finite sets, angles, distances, and volumes of simplices. In the spirit of relative Szemerédi theorems for random discrete sets, we also consider the corresponding problem for sets of positive $ν$-measure, where $ν$ is the natural measure on $A$. In both cases we identify the dimension threshold for each class of configurations. These results are obtained by investigating the intersections of the products of $m$ independent realizations of $A$ with transversal planes and, more generally, algebraic varieties, and extend some well known features of independent percolation on trees to a setting with long-range dependencies.

We study a class of measures on the real line with a kind of self-similar structure, which we call dynamically driven self-similar measures, and contain proper self-similar measures such as Bernoulli convolutions as special cases. Our main result gives an expression for the $L^q$-dimensions of such dynamically driven self-similar measures, under certain conditions. As an application, we settle Furstenberg's long-standing conjecture on the dimension of the intersections of $\times p$ and $\times q$-invariant sets. Among several other applications, we also show that Bernoulli convolutions have an $L^q$ density for all finite $q$, outside of a zero-dimensional set of exceptions. The proof of the main result is inspired by M. Hochman's approach to the dimensions of self-similar measures and his inverse theorem for entropy. Our method can be seen as an extension of Hochman's theory from entropy to $L^q$ norms, and likewise relies on an inverse theorem for the decay of $L^q$ norms of discrete measures under convolution. This central piece of our approach may be of independent interest, and is an application of well-known methods and results in additive combinatorics: the asymmetric version of the Balog-Szemerédi-Gowers Theorem due to Tao-Vu, and some constructions of Bourgain.