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 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.
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)$.
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.
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.
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…
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.
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…
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 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 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'$.
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 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.
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.
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$.
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 …
Given a Cantor-type subset $Ω$ of a smooth curve in $\mathbb R^{d+1}$, we construct examples of sets that contain unit line segments with directions from $Ω$ and exhibit analytical features similar to those of classical Kakeya sets of arbitrarily small $(d+1)$-dimensional Lebesgue measure. The construction is based on probabilistic methods relying on the tree structure of $Ω$, and extends to higher dimensions an analogous planar result of Bateman and Katz. In particular, the existence of such sets implies that the directional maximal operator associated with the direction set $Ω$ is unbounded …
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 $δ$-tubes satisfies the Wolff axioms if not too many tubes can be contained in the $δ$-neighborhood of a plane. A collection of tubes satisfies the polynomial Wolff axioms if not too many tubes can be contained in the $δ$-neighborhood of a low degree algebraic variety. First, we prove that if a set of $δ^{-3}$ tubes in $\mathbb{R}^4$ satisfies the polynomial Wolff axioms, then the union of the tubes must have volume at least $δ^{1-1/40}$. W…
The Kakeya problem for codimension-two planes in $\mathbb{R}^n$
San Francisco State University(旧金山州立大学);University of Pennsylvania(宾夕法尼亚大学);Georgia Institute of Technology(佐治亚理工学院);University of British Columbia(不列颠哥伦比亚大学)
Cellular Maximal-Density Factoring: Joint Shadings, Stable Refinements, and a Conditional Kakeya Application
Changkong College, Nanjing University of Aeronautics and Astronautics(南京航空航天大学长空学院);School of Science, Nanjing University of Posts and Telecommunications(南京邮电大学理学院)
We prove optimal bounds in L^2(R^2) for the maximal oper- ator obtained by taking a singular integral along N arbitrary directions in the plane. We also give a new proof for the optimal L^2 bound for the single scale Kakeya maximal function.
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 version of this result for hypersurfaces in $\mathbb{R}^4$. As an application, we prove that at most $δ^{-2-\varepsilon}$ direction-separated $δ$-tubes can be contained in the $δ$-neighborhood of a low-degree hypersurface in $\mathbb{R}^4$. This result leads to improved bounds on the restriction and Kakeya problems in $\mathbb{R}^4$. Combined with previous work of…
Horizontal Kakeya maximal operators in finite Heisenberg groups: Exact exponents and applications
Institute of Mathematics and Interdisciplinary Sciences, Xidian University(西安电子科技大学数学与交叉科学研究院);Department of Mathematics, University of Trento(特伦托大学数学系);VNU University of Science, Hanoi, Vietnam(越南国立大学河内大学);Institute of Mathematical Sciences, ShanghaiTech University(上海科技大学数理学院)
We prove L2 x L2 to weak L1 estimates for some novel bilinear maximal operators of Kakeya and lacunary type thus extending to this setting, the works of Cordoba and of Nagel, Stein and Wainger.
We show that, for $n\geq 3$, $\lim_{t \to 0} e^{itΔ}f(x) = f(x)$ holds almost everywhere for all $f \in H^s (\mathbb{R}^n)$ provided that $s>\frac{n}{2(n+1)}$. Due to a counterexample by Bourgain, up to the endpoint, this result is sharp and fully resolves a problem raised by Carleson. Our main theorem is a fractal $L^2$ restriction estimate, which also gives improved results on the size of divergence set of Schrödinger solutions, the Falconer distance set problem and the spherical average Fourier decay rates of fractal measures. The key ingredients of the proof include multilinear Kakeya esti…