We adapt Guth's polynomial partitioning argument for the Fourier restriction problem to the context of the Kakeya problem. By writing out the induction argument as a recursive algorithm, additional multiscale geometric information is made available. To take advantage of this, we prove that direction-separated tubes satisfy a multiscale version of the polynomial Wolff axioms. Altogether, this yields improved bounds for the Kakeya maximal conjecture in $\mathbb{R}^n$ with $n=5$ or $n\ge 7$ and improved bounds for the Kakeya set conjecture for an infinite sequence of dimensions.
We prove that the Kakeya maximal conjecture is equivalent to the $Ω$-Kakeya maximal conjecture. This completes a recent result in [2] where Keleti and Math{é} proved that the Kakeya conjecture is equivalent to the $Ω$-Kakeya conjecture. Moreover, we improve concrete bound on the Hausdorff dimension of a $Ω$-Kakeya set : for any Bore set $Ω$ in S n--1 , we prove that if X $\subset$ R n contains for any e $\in$ $Ω$ a unit segment oriented along e then we have dX $\ge$ 6 11 d$Ω$ + 1 where dE denotes the Hausdorff dimension of a set E.
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 conjecture, concerning families of tubes that satisfy the polynomial Wolff axioms. Our results give improved estimates for this strengthened formulation when $n =5$ or $n \geq 7$.
We shall verify the Kakeya (Nikodym) maximal operator $K_{N}$, $N\gg 1$, is bounded on the variable Lebesgue space $L^{p(\cdot)}(\mathbb{R}^2)$ when the exponent function $p(\cdot)$ is $N$-modified locally log-Hölder continuous and log-Hölder continuous at infinity.
We prove that all bounded subsets of $\mathbb{Q}_p^n$ containing a line segment of unit length in every direction have Hausdorff and Minkowski dimension $n$. This is the analogue of the classical Kakeya conjecture with $\mathbb{R}$ replaced by $\mathbb{Q}_p$.
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 Kakeya sets. Combining the known $L^{p}-L^{q}$ estimates of Wolff and Katz-Tao with the main result of the paper, the conformal dimension of Kakeya sets in $\mathbb{R}^{n}$ is at least $\max\{(n + 2)/2,(4n + 3)/7\}$. Moreover, if $f$ is a quasisymmetry from a Kakeya set $K \subset \mathbb{R}^{n}$ onto any at most $n$-dimensional metric space, the $f$-image of …
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.
In this paper, we will introduce and study several types of Kakeya inequalities by the maximal functions in Hardy spaces in $\RR^n$,\,$(n\geq2)$, and we could obtain several inequalities associated with the Kakeya inequalities. We will show that $\big\|M^t_{δS_{α,β}} f \big\|_p\lesssim_{p,n,φ,\varepsilon}\left(\frac{1}δ\right)^{5\left(\frac{n}{r}+2\right)\varepsilon}\big\|f\big\|_p$, when $f(x)\in L^p(\RR^n)$ and $supp\,\hat{f}(ξ)\subseteq B(0,1)$.
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 arithmetic Kakeya conjecture implies the Kakeya conjecture for packing dimension, as this implication was previously only known for Minkowski dimension. We consider several questions analogous to the classical results of Stein and Bourgain about the Lebesgue measure of a set containing a sphere centered at every point of $[0,1]^n$, where we replace spheres by ar…
In a prior work [Hilbert transform along smooth families of lines math.CA/0310345] the authors introduced a variant of the Kakeya maximal function associated with Lipschitz maps from the plane into the unit circle. In this paper, we improve the known estimates for this maximal operator--and raise the conjecture that the bounds established are optimal.
Bennett, Carbery, and Tao formulated an n-linear analogue of the Kakeya conjecture in R^n. They proved the conjecture except for the endpoint case. We prove the endpoint case.
We derive Maximal Kakeya estimates for functions over $\mathbb{Z}/N\mathbb{Z}$ proving the Maximal Kakeya conjecture for $\mathbb{Z}/N\mathbb{Z}$ for general $N$ as stated by Hickman and Wright [HW18]. The proof involves using polynomial method and linear algebra techniques from [Dha21, Ars21a, DD21] and generalizing a probabilistic method argument from [DD22]. As another application we give lower bounds for the size of $(m,ε)$-Kakeya sets over $\mathbb{Z}/N\mathbb{Z}$. Using these ideas we also give a new, simpler, and direct proof for Maximal Kakeya bounds over finite fields (which were firs…
We state and prove an analogue of the Kakeya conjecture for the local field $\mathbb{F}_q(\!(t)\!)$. This extends Arsovski's result on the Kakeya conjecture to local fields of positive characteristic. We also prove the Kakeya maximal conjecture in this setting.
We develop a notion of finite order lacunarity for direction sets in $\mathbb R^{d+1}$. Given a direction set $Ω$ that is sublacunary according to this definition, we construct random examples of Euclidean sets that contain unit line segments with directions from $Ω$ and enjoy analytical features similar to those of traditional Kakeya sets of infinitesimal Lebesgue measure. This generalizes to higher dimensions a planar result due to Bateman. Combined with earlier work of Alfonseca, Bateman, Parcet and Rogers, this notion of lacunarity and Kakeya-type sets also yields a characterization in all…
We prove that the maximal operator obtained by taking averages at scale 1 along $N$ arbitrary directions on the sphere, is bounded in $L^2(\R^3)$ by $N^{1/4}{\log N}$. When the directions are $N^{-1/2}$ separated, we improve the bound to $N^{1/4}\sqrt{\log N}$. Apart from the logarithmic terms these bounds are optimal.
Here we show some results related with Kakeya conjecture which says that for any integer $n\geq 2$, a set containing line segments in every dimension in $\mathbb{R}^n$ has full Hausdorff dimension as well as box dimension. We proved here that the Kakeya books, which are Kakeya sets with some restrictions on positions of line segments have full box dimension. We also prove here a relation between the projection property of Kakeya sets and the Kakeya conjecture. If for any Kakeya set $K\subset\mathbb{R}^n$, the Hausdorff dimension of orthogonal projections on $k\leq n$ subspaces is independent o…
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 standard Kakeya problem for line segments and not discuss other important variants (such as Kakeya estimates for circles, light rays, or $k$-planes).
We completely characterize the boundedness of planar directional maximal operators on L^p. More precisely, if Omega is a set of directions, we show that M_Omega, the maximal operator associated to line segments in the directions Omega, is unbounded on L^p, for all p < infinity, precisely when Omega admits Kakeya-type sets. In fact, we show that if Omega does not admit Kakeya sets, then Omega is a generalized lacunary set, and hence M_Omega is bounded on L^p, for p>1.
We discuss a planar variant of the Kakeya maximal function in the setting of a vector space over a finite field. Using methods from incidence combinatorics, we demonstrate that the operator is bounded from $L^p$ to $L^q$ when $1 \leq p \leq \frac{kn+k+1}{k(k+1)}$ and $1 \leq q \leq (n-k)p'$.
A streamlined proof of the Kakeya set conjecture in $\mathbb{R}^3$
Massachusetts Institute of Technology（麻省理工学院）；New York University（纽约大学）；IHES, Université Paris-Saclay（法国高等科学研究所，巴黎萨克雷大学）；Chern Institute of Mathematics and LPMC, Nankai University（南开大学陈省身数学研究所和理论物理研究中心）；The University of British Columbia（不列颠哥伦比亚大学）
We prove $d$-linear analogues of the classical restriction and Kakeya conjectures in $\R^d$. Our approach involves obtaining monotonicity formulae pertaining to a certain evolution of families of gaussians, closely related to heat flow. We conclude by giving some applications to the corresponding variable-coefficient problems and the so-called "joints" problem, as well as presenting some $n$-linear analogues for $n<d$.
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 dimensions, which can then be extended to the three-dimensional case.
We show that for any dimension $d\ge3$, one can obtain Wolff's $L^{(d+2)/2}$ bound on Kakeya-Nikodym maximal function in $\mathbb R^d$ for $d\ge3$ without the induction on scales argument. The key ingredient is to reduce to a 2-dimensional $L^2$ estimate with an auxiliary maximal function. We also prove that the same $L^{(d+2)/2}$ bound holds for Nikodym maximal function for any manifold $(M^d,g)$ with constant curvature, which generalizes Sogge's results for $d=3$ to any $d\ge3$. As in the 3-dimensional case, we can handle manifolds of constant curvature due to the fact that, in this case, tw…
We reprove Wolff's $L^{\frac{5}2}-$ bound for the $\R^3-$Kakeya maximal function without appealing to the argument of induction on scales. The main ingredient in our proof is an adaptation of Sogge's strategy used in the work on Nikodym-type sets in curved spaces. Although the equivalence between these two type maximal functions is well known, our proof may shed light on some new geometric observations which is interesting in its own right.
A (d,k) set is a subset of R^d containing a translate of every k-dimensional plane. Bourgain showed that for k \geq k_{cr}(d), where k_{cr}(d) solves 2^{k_{cr}-1}+k_{cr} = d, every (d,k) set has positive Lebesgue measure. We give a short proof of this result which allows for an improved L^p estimate of the corresponding maximal operator, and which demonstrates that a lower value of k_{cr} could be obtained if improved mixed-norm estimates for the x-ray transform were known.
In the finite field setting, we show that the restriction conjecture associated to any one of a large family of $d=2n+1$ dimensional quadratic surfaces implies the $n+1$ dimensional Kakeya conjecture (Dvir's theorem). This includes the case of the paraboloid over finite fields in which $-1$ \emph{is} a square. We are able to partially reverse this implication using the sharp Kakeya maximal operator estimates of Ellenberg, Oberlin and Tao to establish the first finite field restriction estimates beyond the Stein-Tomas exponent in this setting.
Given a family G of rectangles, to which one associates a tree [G], one defines a natural number $λ$ [G] called its analytic split and satisfying, for all 1 < p < $\infty$ log($λ$ [G]) p MG p p where MG is the Hardy-Littlewood type maximal operator associated to the family G. As an application, we completely characterize the boundeness of planar rarefied directional maximal operators on L p for 1 < p < $\infty$. Precisely, if $Ω$ is an arbitrary set of angles in [0, $π$ 4), we prove that any rarefied basis B of the directional basis R $Ω$ yields an operator MB that has the same L p-behavior th…
Bilinear restriction estimates have been appeared in work of Bourgain, Klainerman, and Machedon. In this paper we develop the theory of these estimates (together with the analogues for Kakeya estimates). As a consequence we improve the $(L^p,L^p)$ spherical restriction theorem of Wolff from $p > 42/11$ to $p > 34/9$, and also obtain a sharp $(L^p,L^q)$ spherical restriction theorem for $q > 4 - 5/27$.
The arithmetic Kakeya conjecture, formulated by Katz and Tao in 2002, is a statement about addition of finite sets. It is known to imply a form of the Kakeya conjecture, namely that the upper Minkowski dimension of a Besicovitch set in $\mathbb{R}^n$ is $n$. In this note we discuss this conjecture, giving a number of equivalent forms of it. We show that a natural finite field variant of it does hold. We also give some lower bounds.
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 conjecture in a variety of contexts. Our proofs are simple and aim to give an intuitive feel for the problem. For example, we give a very simple proof that the packing and lower box-counting dimension of any Besicovitch set is at least $(d+1)/2$ (better estimates are available in the literature). We also study the `generic validity' of the Kakeya conjecture in the …
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 Kakeya conjecture, states that the Hausdorff dimension of any Kakeya set should equal the dimension of the space. It was proved only in the plane, whereas in higher dimensions both geometric and arithmetic combinatorial methods were used to obtain partial results. In the first part of the thesis we define generalized Kakeya sets in metric spaces satisfying c…
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 $C_{n,ε} N^{n - ε}$ for any $ε$ -- resolving a special case of a conjecture of Hickman and Wright. Previously, such bounds were only known for the case of prime $N$. We also show that the case of general $N$ can be reduced to lower bounding the $\mathbb{F}_p$ rank of the incidence matrix of points and hyperplanes over $(\mathbb{Z}/p^k\mathbb{Z})^n$.
We prove the discrete analogue of Kakeya conjecture over $\mathbb{R}^n$. This result suggests that a (hypothetically) low dimensional Kakeya set cannot be constructed directly from discrete configurations. We also prove a generalization which completely solves the discrete analogue of the Furstenberg set problem in all dimensions. The difference between our theorems and the (true) problems is only the (still difficult) issue of continuity since no transversality-at-incidences assumptions are imposed. The main tool of the proof is a theorem of Wongkew \cite{wongkew2003volumes} which states that…
Let $A, B$, be finite subsets of an abelian group, and let $G \subset A \times B$ be such that $# A, # B, # \{a+b: (a,b) \in G \} \leq N$. We consider the question of estimating the quantity $# \{a-b: (a,b) \in G \}$. Recently Bourgain improved the trivial upper bound of $N^2$ to $N^{2-1/13}$, and applied this to the Kakeya conjecture. We improve Bourgain's estimate further to $N^{2-1/6}$, and obtain the further improvement of $N^{2-1/4}$ if we also know that $# \{a+2b: (a,b) \in G\} \leq N$. We conclude that Besicovitch sets in $\R^n$ have Hausdorff dimension at least 6n/11+5/11 and Minkowski…
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 ${\Bbb R}^3$ so that no $N$ lines lie in the same plane and so that each line intersects a set $P$ of points in at least $N$ points then the cardinality of the set of points is $Ω(N^3)$. Both our proofs are adaptations of Dvir's argument for the finite field Kakeya problem.
In a recent paper [Ann. of Math. 189 (2019), 837--861], Du and Zhang proved a fractal Fourier restriction estimate and used it to establish the sharp $L^2$ estimate on the Schrödinger maximal function in $\Bbb R^n$, $n \geq 2$. In this paper, we show that the Du-Zhang estimate is the endpoint of a family of fractal restriction estimates such that each member of the family (other than the original) implies a sharp Kakeya result in $\Bbb R^n$ that is closely related to the polynomial Wolff axioms. We also prove that all the estimates of our family are true in $\Bbb R^2$.
Kakeya and Furstenberg problems for sticky sets of tubes
Courant Institute of Mathematical Sciences, New York University（纽约大学柯朗数学科学研究所）；Department of Mathematics, Massachusetts Institute of Technology（麻省理工学院数学系）
