Related papers: Kakeya sets from lines in $SL_2$

All results concern characteristic 2. Two procedures that to every simple Lie algebra assign simple Lie superalgebras, most of the latter new, are offered. We prove that every simple finite-dimensional Lie superalgebra is obtained as the…

Consider the integer best approximations of a linear form in $n\ge 2$ real variables. While it is well-known that any tail of this sequence always spans a lattice is sharp for any $n\ge 2$. In this paper, we determine the exact Hausdorff…

We obtain new bounds for the Kakeya maximal conjecture in most dimensions $n<100$, as well as improved bounds for the Kakeya set conjecture when $n=7$ or $9$. For this we consider Guth and Zahl's strengthened formulation of the maximal…

Let $\beta>1$. Define a class of similitudes \[S=\left\{f_{i}(x)=\dfrac{x}{\beta^{n_i}}+a_i:n_i\in \mathbb{N}^{+}, a_i\in \mathbb{R}\right\}.\] Let $\mathcal{A}$ be the collection of all the self-similar sets generated by the similitudes…

Recently, Hong Wang and Joshua Zahl announced a proof of the 3-dimensional Kakeya conjecture. This is a survey article on the proof of Kakeya. We introduce the problem, discuss previous work and some of the difficulties of the problem, and…

A (d,k) set is a subset of R^d containing a translate of every k-dimensional plane. Bourgain showed that for 2^{k-1}+k \geq d, every (d,k) set has positive Lebesgue measure. We give an L^p bound for the corresponding maximal operator.

We prove a general nonlinear projection theorem for Assouad dimension. This theorem has several applications including to distance sets, radial projections, and sum-product phenomena. In the setting of distance sets we are able to…

The purpose of this article is to survey the developments on the Kakeya problem in recent years, concentrating on the period after the excellent 1999 survey of Wolff, and including some recent work by the authors. We will focus on the…

We investigate how the Hausdorff dimension and measure of a self-similar set $K\subseteq\mathbb{R}^{d}$ behave under linear images. This depends on the nature of the group $\mathcal{T}$ generated by the orthogonal parts of the defining maps…

We review the motivation and fundamental properties of the Hausdorff dimension of metric spaces and illustrate this with a number of examples, some of which are expected and well-known. We also give examples where the Hausdorff dimension…

We prove the joints conjecture, showing that for any $N$ lines in ${\Bbb R}^3$, there are at most $O(N^{{3 \over 2}})$ points at which 3 lines intersect non-coplanarly. We also prove a conjecture of Bourgain showing that given $N^2$ lines…

In this paper, exact Hausdorff dimension formulas for a class of self-affine attractors generated by affine Iterated Function Systems are derived. We consider systems containing an affine map whose $n$-th iterate is a similarity…

We prove the equivalence of two Kakeya conjectures: 1.The Kakeya maximal operator conjecture 2.The disjoint trilinear dual form of the Kakeya maximal operator conjecture

Let ${\cal L}$ be an arrangement of $n$ lines in the Euclidean plane. The \emph{$k$-level} of ${\cal L}$ consists of all vertices $v$ of the arrangement which have exactly $k$ lines of ${\cal L}$ passing below $v$. The complexity (the…

In this article, we show the existence of large sets $\operatorname{LS}_2[3](2,k,v)$ for infinitely many values of $k$ and $v$. The exact condition is $v \geq 8$ and $0 \leq k \leq v$ such that for the remainders $\bar{v}$ and $\bar{k}$ of…

The 1913 Helly's theorem states that any family ${\cal K}$ of $n\geq d+1$ convex sets in ${\mathbb R}^d$ can be pierced by a single point if and only if any $d+1$ of ${\cal K}$'s elements can. In 2002 Alon, Kalai, Matou\v{s}ek and Meshulam…

I give a conjectural generating function for the numbers of $\delta$-nodal curves in a linear system of dimension $\delta$ on an algebraic surface. It reproduces the results of Vainsencher for the case $\delta\le 6$ and Kleiman-Piene for…

We say that $E$ is a microset of the compact set $K\subset \mathbb{R}^d$ if there exist sequences $\lambda_n\geq 1$ and $u_n\in \mathbb{R}^d$ such that $(\lambda_n K + u_n ) \cap [0,1]^d$ converges to $E$ in the Hausdorff metric, and…

We show that in $\mathbb{R}^d$ there are purely unrectifiable sets of Hausdorff (and even box counting) dimension $d-1$ which are not tube null, settling a question of Carbery, Soria and Vargas, and improving a number of results by the same…

Let $\gamma: I \to S^2$ be a $C^2$ curve with $\det(\gamma, \gamma', \gamma'')$ nonvanishing, and for each $\theta \in I$ let $\rho_{\theta}$ be orthogonal projection onto the span of $\gamma(\theta)$. It is shown that if $A \subseteq…