Fourier analytic variants of the Furstenberg and Kakeya problems

TL;DR

This paper investigates Fourier analytic variants of Kakeya and Furstenberg problems, establishing bounds on Fourier dimensions of sets with specified geometric and dimensional properties in the plane.

Contribution

It introduces new Fourier dimension bounds for (s,t)-Kakeya sets and related Furstenberg variants, advancing understanding of their geometric and harmonic analysis aspects.

Findings

Derived bounds for Fourier dimension of (s,t)-Kakeya sets: rac{2st}{s+2t} leq \u0394(s,t) leq rac{s, 2t}

Bounds are asymptotically equivalent as s or t tend to zero

Extended results to Furstenberg sets and cases involving Fourier dimension of line collections

Abstract

We study several distinct but related Fourier analytic variants of the well-known Kakeya and Furstenberg set problems in the plane. For example, given $0<s,t<1$, we call a set $K \subseteq \mathbb{R}^2$ an $(s,t)$-Kakeya set if there exists a set of directions $E \subseteq S^1$ with Hausdorff dimension at least $t$ such that, for each $e \in E$, the set $K$ contains a subset of a unit line segment in direction $e$ whose Fourier dimension, viewed as a subset of $\mathbb{R}$, is at least $s$. For $\Delta(s,t)$ defined to be the infimum of the Fourier dimension among all $(s,t)$-Kakeya sets in $\mathbb{R}^2$, we prove that \[ \frac{2st}{s+2t} \leq \Delta(s,t) \leq \min\{s,2t\}. \] These bounds, though distinct, are asymptotically equivalent as either $s$ or $t$ tends to zero. We also obtain upper and lower bounds in the Furstenberg set version of the problem and in the case where the Hausdorff dimension of the collection of lines is replaced by the Fourier dimension.