Related papers: Kakeya sets from lines in $SL_2$

First, we study constructible subsets of $\A^n_k$ which contain a line in any direction. We classify the smallest such subsets in $\A^3$ of the type $R\cup\{g\neq 0\},$ where $g\in k[x_1,...,x_n]$ is irreducible of degree $d$, and $R\subset…

A K^n_2-set is a set of zero Lebesgue measure containing a translate of every plane in an (n-2)-dimensional manifold in Gr(n,2), where the manifold fulfills a curvature condition. We show that this is a natural class of sets with respect to…

Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's line segment extension conjecture posits that the Hausdorff…

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…

A Kakeya set in the linear representation $T^{*}_{2}(\mathcal{C})$, $\mathcal{C}$ a non-singular conic, is the point set covered by a set of $q+1$ lines, one through each point of $\mathcal{C}$. In this article we classify the small Kakeya…

Let $L$ be a set of lines of an affine space over a field and let $S$ be a set of points with the property that every line of $L$ is incident with at least $N$ points of $S$. Let $D$ be the set of directions of the lines of $L$ considered…

We construct a union of N parallelograms of dimensions approximately 1/N x 1 in the plane, with the slope of their long sides in the standard Cantor set. The union has area 1/log N but the union of the doubles has area log log N/ log N. In…

We construct a compact set in $\mathbb R^2$ of measure 0 containing a piece of a parabola of every aperture between 1 and 2. As a consequence, we improve lower bounds for the $L^p$-$L^q$ norm of the corresponding maximal operator for a…

We compute the Minkowski dimension for a family of self-affine sets on the plane. Our result holds for every (rather than generic) set in the class. Moreover, we exhibit explicit open subsets of this class where we allow overlapping, and do…

We show that for each odd integer $n\ge 3$, there is an open dense subset of H\"ormander phase functions in $\mathbb{R}^n$ for which the associated curved Kakeya sets have Hausdorff dimension at least $\frac{n+1}{2} + d_n$ for some positive…

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…

We investigate analogues for curves of the Kakeya problem for straight lines. These arise from H"ormander-type oscillatory integrals in the same way as the straight line case comes from the restriction and Bochner-Riesz problems. Using some…

In this paper, we show that circular $(s,t)$-Furstenberg sets in $\mathbb R^2$ have Hausdorff dimension at least $$\max\{\frac{t}3+s,(2t+1)s-t\} \text{ for all $0<s,t\le 1$}.$$ This result extends the previous dimension estimates on…

We provide estimates for the dimensions of sets in $\mathbb{R}$ which uniformly avoid finite arithmetic progressions. More precisely, we say $F$ uniformly avoids arithmetic progressions of length $k \geq 3$ if there is an $\epsilon>0$ such…

Roughly speaking, the Kakeya Conjecture asks to what extent lines which point in different directions can be packed together in a small space. In $\R^2$, the problem is relatively straightforward and was settled in the 1970s. In $\R^3$ it…

The dimension of Kakeya sets can be bounded using sum-difference exponents $\SD(R;s)$ for various sets of rational slopes $R$ and output slope $s$; the arithmetic Kakeya conjecture, which implies the Kakeya conjecture in all dimensions,…

We prove that a Kakeya set in a vector space over a finite field of size $q$ always supports a probability measure whose Fourier transform is bounded by $q^{-1}$ for all non-zero frequencies. We show that this bound is sharp in all…

In a recent paper of Ellenberg, Oberlin, and Tao, the authors asked whether there are Besicovitch phenomena in F_q[[t]]^n. In this paper, we answer their question in the affirmative by explicitly constructing a Kakeya set in F_q[[t]]^n of…

This thesis investigates two problems that are discrete analogues of two harmonic analytic problems which lie in the heart of research in the field. More specifically, we consider discrete analogues of the maximal Kakeya operator conjecture…

A $(d,k)$-set is a subset of $\mathbb{R}^d$ containing a $k$-dimensional unit ball of all possible orientations. Using an approach of D.~Oberlin we prove various Fourier dimension estimates for compact $(d,k)$-sets. Our main interest is in…