Related papers: A Kakeya maximal function estimate in four dimensi…

Katz and Zahl used a planebrush argument to prove that Kakeya sets in $\mathbb{R}^4$ have Hausdorff dimension at least 3.059. In the special case when the Kakeya set is plany, their argument gives a better lower bound of 10/3. We give a…

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 combining the planebrush argument of Katz and Zahl \cite{katz21} with the decoupling-incidence method of Wang and Wu \cite{WangWu2024}, we derive new bounds for the Fourier restriction problem and the Bochner--Riesz problem, extending…

A Kakeya set in $\mathbb{R}^n$ is a compact set that contains a unit line segment $I_e$ in each direction $e \in S^{n-1}$. The Kakeya conjecture states that any Kakeya set in $\mathbb{R}^n$ has Hausdorff dimension $n$. We consider a…

In 1901, Severi proved that if $Z$ is an irreducible hypersurface in $\mathbb{P}^4(\mathbb{C})$ that contains a three dimensional set of lines, then $Z$ is either a quadratic hypersurface or a scroll of planes. We prove a discretized…

I show that $L^{p}-L^{q}$ estimates for the Kakeya maximal function yield lower bounds for the conformal dimension of Kakeya sets, and upper bounds for how much quasisymmetries can increase the Hausdorff dimension of line segments inside…

We consider (bounded) Besicovitch sets in the Heisenberg group and prove that $L^p$ estimates for the Kakeya maximal function imply lower bounds for their Heisenberg Hausdorff dimension.

We establish new estimates on the Minkowski and Hausdorff dimensions of Besicovitch sets and obtain new bounds on the Kakeya maximal operator.

In this dissertation we define a generalization of Kakeya sets in certain metric spaces. Kakeya sets in Euclidean spaces are sets of zero Lebesgue measure containing a segment of length one in every direction. A famous conjecture, known as…

We establish new linear and trilinear bounds for collections of tubes in $\mathbb{R}^4$ that satisfy the polynomial Wolff axioms. In brief, a collection of $\delta$-tubes satisfies the Wolff axioms if not too many tubes can be contained in…

We prove that any Besicovitch set in $\mathbb{R}^3$ must have Hausdorff dimension at least $5/2+\epsilon_0$ for some small constant $\epsilon_0>0$. This follows from a more general result about the volume of unions of tubes that satisfy the…

This paper presents several new results related to the Kakeya problem. First, we establish a geometric inequality which says that collections of direction-separated tubes (thin neighborhoods of line segments that point in different…

We give new lower bounds for the Hausdorff dimension of Kakeya sets built from various families of curves in $\mathbb R^3$, going beyond what the polynomial partitioning method has so-far achieved. We do this by combining Wolff's classical…

We study sets of $\delta$ tubes in $\mathbb{R}^3$, with the property that not too many tubes can be contained inside a common convex set $V$. We show that the union of tubes from such a set must have almost maximal volume. As a consequence,…

We prove that every Kakeya set in $\mathbb{R}^3$ formed from lines of the form $(a,b,0) + \operatorname{span}(c,d,1)$ with $ad-bc=1$ must have Hausdorff dimension $3$; Kakeya sets of this type are called $SL_2$ Kakeya sets. This result was…

Let $F$ be a finite field with characteristic greater than two. Define a \emph{Besicovitch set} in $F^4$ to be a set $P \subseteq F^4$ containing a line in every direction. The \emph{Kakeya conjecture} asserts that $|P| \approx |F|^4$. A…

A Besicovitch set is a subset of $\R^d$ that contains a unit line segment in every direction and the famous Kakeya conjecture states that Besicovitch sets should have full dimension. We provide a number of results in support of this…

It is shown that $SL_2$ Besicovitch sets of measure zero exist in $\mathbb{R}^3$. The proof is constructive and uses point-line duality analogously to Kahane's construction of measure zero Besicovitch sets in the plane. A corollary is that…

We define the Heisenberg Kakeya maximal functions $M_{\delta}f$, $0<\delta<1$, by averaging over $\delta$-neighborhoods of horizontal unit line segments in the Heisenberg group $\mathbb{H}^1$ equipped with the Kor\'{a}nyi distance…

We use geometrical combinatorics arguments, including the ``hairbrush'' and x-ray arguments of Wolff and the sticky/plany/grainy analysis of Katz, Laba, and Tao, to show that Besicovitch sets in R^n have Minkowski dimension at least (n+2)/2…