Related papers: Kakeya sets from lines in $SL_2$

A Kakeya set $S \subset (\mathbb{Z}/N\mathbb{Z})^n$ is a set containing a line in each direction. We show that, when $N$ is any square-free integer, the size of the smallest Kakeya set in $(\mathbb{Z}/N\mathbb{Z})^n$ is at least…

We propose an algebraic geometry framework for the Kakeya problem. We conjecture that for any polynomials $f,g\in\F_{q_0}[x,y]$ and any $\F_q/\F_{q_0}$, the image of the map $\F_q^3\to\F_q^3$ given by $(s,x,y)\mapsto…

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 obtain an improved Kakeya maximal function estimate and improved Kakeya Hausdorff dimension estimate in $\mathbb{R}^4$ using a new geometric argument called the planebrush. A planebrush is a higher dimensional analogue of Wolff's…

We study subsets of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$, for odd $q$, which contain either a sphere for each radius or a sphere for each first coordinate of the center. We call such sets radii spherical…

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…

We prove a conjecture of D. Oberlin on the dimension of unions of lines in $\mathbb{R}^n$. If $d \geq 1$ is an integer, $0 \leq \beta \leq 1$, and $L$ is a set of lines in $\mathbb{R}^n$ with Hausdorff dimension at least $2(d-1) + \beta$,…

Through the use of a nonstandard version of Frostman's lemma, the notion of Hausdorff dimension is formulated in nonstandard euclidean space of arbitrary dimension. This allows for a nonstandard proof of the Kakeya conjecture in two…

We prove Kakeya-type estimates for regulus strips. As a result, we obtain another epsilon improvement over the Kakeya conjecture in $\mathbb{R}^3$, by showing that the regulus strips in the ${\rm SL}_2$ example are essentially disjoint. We…

We develop a notion of finite order lacunarity for direction sets in $\mathbb R^{d+1}$. Given a direction set $\Omega$ that is sublacunary according to this definition, we construct random examples of Euclidean sets that contain unit line…

We study projections onto non-degenerate one-dimensional families of lines and planes in $\mathbb{R}^{3}$. Using the classical potential theoretic approach of R. Kaufman, one can show that the Hausdorff dimension of at most…

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 extend the "method of multiplicities" to get the following results, of interest in combinatorics and randomness extraction. (A) We show that every Kakeya set (a set of points that contains a line in every direction) in $\F_q^n$ must be…

The Kakeya problem in $\mathbb{R}^n$ is about estimating the size of union of $k$-planes; the projection problem in $\mathbb{R}^n$ is about estimating the size of projection of a set onto every $k$-plane ($1\le k\le n-1$). The $k=1$ case…

We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff…

We study one dimensional sets (Hausdorff dimension) lying in a Hilbert space. The aim is to classify subsets of Hilbert spaces that are contained in a connected set of finite Hausdorff length. We do so by extending and improving results of…

We prove the Kakeya set conjecture for $\mathbb{Z}/N\mathbb{Z}$ for general $N$ as stated by Hickman and Wright [HW18]. This entails extending and combining the techniques of Arsovski [Ars21a] for $N=p^k$ and the author and Dvir [DD21] for…

A Kakeya set in $\mathbb{F}_q^n$ is a set containing a line in every direction. We show that every Kakeya set in $\mathbb{F}_q^n$ has density at least $1/2^{n-1}$, matching the construction by Dvir, Kopparty, Saraf and Sudan.

We formulate the conditional Kolmogorov complexity of x given y at precision r, where x and y are points in Euclidean spaces and r is a natural number. We demonstrate the utility of this notion in two ways. 1. We prove a point-to-set…

We study a variety of problems about homothets of sets related to the Kakeya conjecture. In particular, we show many of these problems are equivalent to the arithmetic Kakeya conjecture of Katz and Tao. We also provide a proof that the…