The Assouad dimension of Kakeya sets in $\mathbb{R}^3$

Hong Wang,Joshua Zahl

2024-01-23

Abstract:This paper studies the structure of Kakeya sets in $\mathbb{R}^3$. We show that for every Kakeya set $K\subset\mathbb{R}^3$, there exist well-separated scales $0<\delta<\rho\leq 1$ so that the $\delta$ neighborhood of $K$ is almost as large as the $\rho$ neighborhood of $K$. As a consequence, every Kakeya set in $\mathbb{R}^3$ has Assouad dimension 3 and every Ahlfors-David regular Kakeya set in $\mathbb{R}^3$ has Hausdorff dimension 3. We also show that every Kakeya set in $\mathbb{R}^3$ that has "stably equal" Hausdorff and packing dimension (this is a new notion, which is introduced to avoid certain obvious obstructions) must have Hausdorff dimension 3.

Classical Analysis and ODEs

What problem does this paper attempt to address?

### What problems does this paper attempt to solve?

The main purpose of this paper is to study the structure of Kakeya sets in three - dimensional space $\mathbb{R}^3$ and prove some important properties of these sets. Specifically, the authors attempt to solve the following key problems:

1. **Weakened version of the Kakeya conjecture**:
- The Kakeya conjecture asserts that the Minkowski dimension and Hausdorff dimension of every Kakeya set in $\mathbb{R}^n$ are both $n$. Although this conjecture has been proven in the two - dimensional plane, it remains an open problem in three - dimensional and higher - dimensional spaces.
- In this paper, by introducing the concept of Assouad dimension, it is proven that every Kakeya set in $\mathbb{R}^3$ has an Assouad dimension of 3.

2. **Application of the multi - scale structure theorem**:
- The authors use the multi - scale structure theorem (multi - scale structure theorems) to study the arrangement of tubular structures and cuboids in three - dimensional space and further generalize the sticky Kakeya theorem they previously proved.

3. **Consistency of Hausdorff and Packing dimensions**:
- The paper also explores the situation when the Hausdorff dimension and Packing dimension of a Kakeya set are equal and introduces a new concept of "stable equality" to avoid some obvious obstacles.
- The authors prove that for Kakeya sets in $\mathbb{R}^3$ with "stably equal" Hausdorff and Packing dimensions, their Hausdorff dimension and Packing dimension are both 3.

4. **Size relationship of $\delta$-neighborhoods**:
- The authors show that for any Kakeya set $K\subset\mathbb{R}^3$, there exist two separation scales $0 < \delta < \rho\leq1$ such that the $\delta$-neighborhood of $K$ is almost as large as the $\rho$-neighborhood.

#### Formula summary

- **Definition of Assouad dimension**:
\[
\text{dim}_A(E)=\inf\left\{\beta\geq0:\exists C > 0,r_0 > 0,\forall0 < \rho < r\leq r_0,\sup_{x\in E}N_\rho(E\cap B(x,r))\leq C\left(\frac{r}{\rho}\right)^\beta\right\}
\]
where $N_\rho(X)$ represents the $\rho$-covering number of $X$.

- **Main conclusion**:
\[
\text{Theorem 1.2: }\text{dim}_A(K) = 3\quad\text{for every Kakeya set }K\subset\mathbb{R}^3.
\]

- **Stably equal Hausdorff and Packing dimensions**:
\[
\text{Theorem 1.4: }\text{If a Kakeya set }K\subset\mathbb{R}^3\text{ has stably equal Hausdorff and packing dimension, then dim}_H(K)=\text{dim}_P(K) = 3.
\]

Through the study of these problems, the authors provide new perspectives and tools for understanding the properties of Kakeya sets in high - dimensional spaces.