Jacob B. Fiedler,Guo-Dong Hong,Donggeun Ryou,Shukun Wu
Abstract:This article is a study guide for ``On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" by Orponen and Shmerkin. We begin by introducing Furstenberg set problem and exceptional set of projections and provide a summary of the proof with the core ideas.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly revolve around Furstenberg sets and the exceptional set problems of orthogonal projections, specifically involving the following aspects:
1. **Furstenberg Set Problem**:
- The Furstenberg set problem is a fractal analogy of the Kakeya problem in the two - dimensional plane. A Kakeya set \( K\subset\mathbb{R}^n \) is a compact set that contains unit line segments in every direction. The Kakeya problem explores the minimum possible Hausdorff dimension of the Kakeya set.
- Similarly, the \((s, t)\)-Furstenberg set problem explores the minimum possible Hausdorff dimension of the \((s, t)\)-Furstenberg set. It is defined as follows: A set \( F\subset\mathbb{R}^2 \) is called an \((s, t)\)-Furstenberg set if there exists a family of lines \( L \) such that \( \dim_H L=t \), and for all \( \ell\in L \), we have \( \dim_H(F\cap\ell)\geq s \).
2. **Exceptional Set Problem of Orthogonal Projections**:
- For \( K\subset\mathbb{R}^2 \), consider its orthogonal projection \( \pi_e:\mathbb{R}^2\rightarrow\mathbb{R} \) onto the unit circle \( S^1 \), where \( \pi_e(x) = e\cdot x \).
- The core of the problem is to explore, for given \( s\in(0, 1) \) and \( t\in(s, 2s) \), whether there exists \( \epsilon=\epsilon(s, t)>0 \) such that for any set \( K \) satisfying \( \dim_H K = t \), we have
\[
\dim_H\left\{e\in S^1:\dim_H\pi_e(K)<s\right\}\leq s - \epsilon.
\]
3. **Main Results**:
- The main theorems of the paper (Theorem 1.2 and Theorem 1.3) respectively give lower bounds on the Hausdorff dimensions of Furstenberg sets and orthogonal projection exceptional sets, and these results are derived from the discretized version of the theorem (Theorem 3.5).
4. **Historical Progress**:
- Wolff first recorded the progress of the Furstenberg set problem and proved the lower bound on the Hausdorff dimension of the \( s \)-Furstenberg set.
- Subsequent researchers such as Bourgain, Molter and Rela further improved these lower bounds.
- In recent work, Ren and Wang completely solved the Furstenberg set conjecture and gave an accurate estimate of the dimension of the exceptional set.
In summary, this paper aims to provide more refined Hausdorff dimension estimates for Furstenberg sets and orthogonal projection exceptional sets by introducing the discretized Szemerédi - Trotter estimate and other technical means, thus promoting the development of this field.