On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane

By Tuomas Orponen, Pablo Shmerkin. Duke mathematical journal, 2021

56 citations recorded by the source corpus.

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 + \epsilon$, where $\epsilon>0$ depends only on $s$ and $t$. For $s>1/2$ and $t = 1$, this is an $\epsilon$-improvement over a result of Wolff from 1999. The same method also yields an $\epsilon$-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}} \pi_{e}(K) \leq s\} \leq s - \epsilon,$$ where $\epsilon>0$ only depends on $s$ and $t$. Here $\pi_{e}$ is the orthogonal projection to $\mathrm{span}(e)$.

Subfields: Computational Mechanics, Mathematical Physics, Numerical Analysis

View Paper: https://www.semanticscholar.org/paper/90d7e1392a0ccb5c67bde458b43eb43e0541bda9