An improved bound on the Hausdorff dimension of sticky Kakeya sets in $\mathbb{R}^4$

Kakeya sets are compact subsets of $\mathbb{R}^n$ that contain a unit line segment pointing in every direction. The Kakeya conjecture states that such sets must have Hausdorff dimension $n$. The property of stickiness was first discovered by Katz-{\L}aba-Tao in their 1999 breakthrough paper on the Kakeya problem. Then Wang-Zahl formalized the definition of a sticky Kakeya set, and proposed a special case of the Kakeya conjecture for such sets. Specifically this conjecture states that sticky Kakeya sets in $\mathbb{R}^n$ have Hausdorff dimension $n$ and Wang-Zahl went on to prove the conjecture for $n=3$. A planebrush is a geometric object which is a higher dimensional analogue of Wolff's hairbrush. Using the planebrush argument, Katz-Zahl showed that Kakeya sets in $\mathbb{R}^4$ have Hausdorff dimension at least 3.059. If we restrict our attention to sticky Kakeya sets, we can improve upon this bound by combining the planebrush result with additional stickiness property. To be precise, we will show in this paper that sticky Kakeya sets in $\mathbb{R}^4$ have dimension at least 3.25.
Comment: 31 pages, 8 figures