alphaFeedback

WorksMathematics

Every four-dimensional Kakeya set has full Hausdorff dimension

AI contributions
  • unreleased internal OpenAI model
View details
Ancillary data
3 proof or workflow links
View

Abstract

We prove the four-dimensional Hausdorff-dimension Kakeya conjecture: every subset of R4\mathbb R ^4 containing a unit line segment in every direction has Hausdorff dimension four. No compactness or regularity assumption is imposed on the set or its witnessing line family.

Introduction

A Kakeya set in Rn\mathbb{R}^{n} is a set containing a unit line segment in every direction. The Hausdorff-dimension Kakeya conjecture asserts that every such set has Hausdorff dimension nn. We prove its four-dimensional case.

Theorem 1.1. Let K⊂R4K \subset\mathbb{R}^{4}. Suppose that for every e∈S3e \in S^{3} there is a point ae∈R4a_{e} \in\mathbb{R}^{4} such that

{ae+te:0≤t≤1}⊂K.\{a_{e}+te:0\le t\le1\}\subset K.

Then dim⁡HK=4\dim_{H}K=4.

Theorem 1.1 resolves the Hausdorff-dimension Kakeya conjecture positively in four dimensions. Neither KK nor the choice of its witnessing segments is required to be measurable. In particular, no packing-dimension or stickiness hypothesis is imposed on the family of witnessing lines.

For arbitrary sets, we use the covering definition

Hδs(K)=inf⁡{∑i(diam⁡Ui)s:K⊂⋃iUi, diam⁡Ui≤δ},Hs(K)=lim⁡δ↓0Hδs(K),\mathcal{H}^{s}_{\delta}(K)=\inf\left\{\sum_{i}(\operatorname{diam}U_{i})^{s}:K\subset\bigcup_{i}U_{i},\ \operatorname{diam}U_{i}\le\delta\right\},\qquad\mathcal{H}^{s}(K)=\lim_{\delta\downarrow0}\mathcal{H}^{s}_{\delta}(K),

where the covers are countable, and dim⁡HK=inf⁡{s:Hs(K)=0}\dim_{H}K=\inf\{s:\mathcal{H}^{s}(K)=0\}. This definition requires no measurability assumption. The reduction in Section 2 uses finite selections of witnessing segments and outer-measure estimates in direction space.

Related dimension statements and geometric consequences are developed in Section 11. Besides the packing- and bounded-set Minkowski-dimension implications, these include a lower bound in higher dimensions by orthogonal projection, arbitrary direction sets and extension of segments to lines, and Nikodym and curved-Kakeya applications. The latter implications use the transfer results of Keleti and Máthé [20], Gao et al. [11], and Nadjimzadah [23], with their distinct hypotheses stated there.

Context and input estimates

The Kakeya problem connects the geometry of line segments with estimates for oscillatory operators. The classical needle problem asks how small a planar region can be if a unit segment is to turn continuously within it and return with its endpoints reversed; the area can be arbitrarily small [3, 10]. A central difficulty in the dimension problem is that many segments can overlap substantially even when their directions are well distributed. Besicovitch’s constructions show that a Kakeya set can have Lebesgue measure zero, whereas Davies proved full Hausdorff dimension in the plane [3, 10].

For bounded Kakeya sets, the upper Minkowski formulation asks for dimension nn, measured by covering numbers at one common scale; the Hausdorff formulation allows covers with varying diameters. For fixed ambient dimension n≥2n \ge2, let Tδ(a,e)T_\delta(a,e) be the cylinder centered at a∈Rna \in\mathbb{R}^n, with axis direction e∈Sn−1e \in S^{n-1}, length one, and transverse radius δ\delta. Define the maximal operator by

Kδf(e)=sup⁡a∈Rn1∣Tδ(a,e)∣∫Tδ(a,e)∣f(x)∣ dx.K_\delta f(e) = \sup_{a \in\mathbb{R}^n} \frac{1}{|T_\delta(a,e)|} \int_{T_\delta(a,e)} |f(x)| \, dx.

The stronger Kakeya maximal conjecture asks that, for every ε>0\varepsilon> 0, there be a constant Cε,nC_{\varepsilon,n} such that

∥Kδf∥Ln(Sn−1)≤Cε,nδ−ε∥f∥Ln(Rn)\|K_\delta f\|_{L^n(S^{n-1})} \le C_{\varepsilon,n}\delta^{-\varepsilon}\|f\|_{L^n(\mathbb{R}^n)}

for all f∈Ln(Rn)f \in L^n(\mathbb{R}^n) and 0<δ<10 < \delta< 1 [17]. For partial maximal estimates, the dimension parameter records the Hausdorff lower bound supplied by that estimate. Theorem 1.1 proves the four-dimensional Hausdorff assertion.

Wolff’s bound dim⁡HK≥(n+2)/2\dim_H K \ge(n+2)/2 gives dimension at least three in R4\mathbb{R}^4. His geometric method studies the hairbrush of a tube: the collection of tubes meeting it [14, 33]. Bourgain connected line incidences in separated slices to sumset and difference-set estimates, using Gowers’s quantitative form of the Balog–Szemerédi theorem [5]. Katz and Tao developed sums–differences iterations for higher-dimensional bounds [17]. In three dimensions, Katz, Łaba, and Tao combined multiscale clustering and local planar structure with the arithmetic method to improve the upper Minkowski lower bound beyond 5/25/2 [19]. Łaba and Tao then used multiscale geometric structure to obtain upper Minkowski dimension strictly greater than (n+2)/2(n+2)/2 for n≥4n \ge4, in particular greater than three in four dimensions [21], Theorem 1.3.

The later four-dimensional Hausdorff improvements addressed concentration near algebraic sets. For compact Kakeya sets, the polynomial Wolff estimates of Guth and Zahl, together with the algebraic direction bounds of Zahl and Katz and Rogers, give the lower bound 3+1/403+1/40 [14, 16, 34]. The polynomial Wolff axioms restrict concentration near low-degree algebraic sets; the accompanying multilinear estimates exploit quantitative linear independence of tube directions [14]. Katz and Zahl’s planebrush organizes tubes around a common plane and combines this geometry with Guth and Zahl’s trilinear estimate. It gives Hausdorff dimension at least 3.059, while their distinct maximal-function estimate has dimension parameter at least 3.049 [18]. Borges, Chan, Chen, Liu, Xi, and Zhan subsequently improved the maximal parameter to (159+145)/56≈3.0543(159+\sqrt{145})/56 \approx3.0543, combining the planebrush with a planar two-ends Furstenberg estimate [4], Theorem 1.2. This improves the maximal estimate while leaving the larger Hausdorff bound 3.059 as a separate conclusion.

Rai Choudhuri proved the bound 13/413/4 for compact sticky sets, which admit a witnessing line family of packing dimension three [26]. Wang and Zakharov have since obtained a full-dimensional union estimate for almost AD-regular sticky tube families satisfying convex Wolff axioms and a dense-shading condition [32]; those hypotheses do not cover arbitrary Kakeya sets. In three dimensions, Wang and Zahl proved the Kakeya set conjecture [30], and Guth, Wang, and Zahl subsequently streamlined the proof [15].

The three-dimensional estimate used in our reduction is the weighted full-time plank bound of OpenAI [24], Lemma 2.3, recorded as Lemma 2.15. It is proved there by weighted convex clustering from the union estimate of Guth et al. [15], Theorem 1.1. It supplies spatial boxes with enough incidence mass to support the quadratic local fits described below. The further analytic inputs have distinct roles. Determinant multilinear Kakeya [7] controls configurations of independent velocities. The restricted-triple dot-product theorem of Wang and Zahl [31] and the multiplicative-convolution estimate of Orponen et al. [25] provide planar rigidity. The latter is applied in Proposition 7.6 to construct scalar coefficients with small interval probabilities. That step also uses a graph Balog–Szemerédi–Gowers argument and fixed-iterate sumset calculus [28, 29]. The graph argument retains a substantial set of original incidence edges, which are needed to fit the resulting planar structure back to the trajectories.

Mechanisms of the proof

The proof uses quadratic local fits to capture line concentration that persists across scales. Its basic object is a chart: a collection of line pieces in a moving spatial box and a time interval, on which one quadratic polynomial test stays small. Each chart also carries a mass requirement, measured using selected time-line pairs. This prevents a fit to an exceptional collection of negligible weight from counting as progress. Normalizing inside a chart produces another problem of the same kind, with its time interval rescaled to unit length. Charts can therefore be nested.

The two quantities to balance are the thickness of the quadratic relation and the length of the line pieces on which it holds. Longer intervals at a prescribed thickness give better charts. The reduction in Section 2 turns a hypothetical Hausdorff deficit into a weighted line problem with two competing properties: refining to terminal depth loses less than one power of density per unit depth, yet every substantial terminal chart system must use intervals of a definite shrinking length. The proof rules out this combination.

More precisely, write the lines as (t,y0+tV,w0+tW)(t, y_0 + tV, w_0 + tW), where y∈R2y \in\mathbb{R}^2. An observation retains exact (t,y)(t, y) and bins the remaining coordinate ww; increasing the depth refines this bin. At resolution N0→∞N_0 \to\infty, the selected incidence density in a bin has a common typical size n(r)=N0−f(r)n(r) = N_0^{-f(r)}. Here density is measured per dt dy\mathrm{d}t\,\mathrm{d}y and per hidden bin within each component of the weighted mixture. The counterexample gives conditional velocity nonconcentration and

f(L)−f(r)≤d(L−r)(0≤r≤L),d<1,f(L) - f(r) \le d(L-r) \qquad(0 \le r \le L), \qquad d < 1,

where LL is the terminal depth. A chart is called true when its incidence mass, divided by its interval length, is at least this density times its spatial volume, up to subpower factors. A chart system’s coverage is the selected incidence mass, and mass N0−o(1)N_0^{-o(1)} is called substantial. Writing a common interval length as N0−h+o(1)N_0^{-h+o(1)}, its time cost is hh. The horizon H(E)H(E) is the infimum of these costs over true terminal systems of substantial coverage in the weighted problem EE, allowing further selections and subsequences. The reduction yields H(E)>0H(E) > 0.

The exponent below one makes a comparison principle available. Local graph representations of the polynomial tests give scalar sheets, which are analytic branches of polynomial equations. The density bound and the lower mass bounds of retained entries supply lists of size at most δ−d+o(1)\delta^{-d+o(1)} at accuracy δ\delta, for a fixed d<1d < 1. Under the derivative and sampling bounds in Lemma 3.3, two such lists cannot frequently agree in value while keeping their rescaled derivative data apart. Alternating fresh conditional samples of sheets and times turns a persistent derivative discrepancy into a polynomial endpoint map whose image has more volume than the density bounds allow. Successful paths remain unnormalized submeasures, so this volume argument retains their dependence on the preceding choices. The comparison both lengthens terminal charts and joins the local approximations constructed later.

To locate a forbidden improvement, we follow nested charts in a nearly extremal weighted problem. Their relative density and time profiles become linear, with time rate k>0k > 0. A further extremal choice controls how much thinner the smaller spatial axis can become than the time scale; the larger width is comparable to that scale up to subpower factors. Call the optimized rate of this narrowness ℓ\ell. The choices are arranged so that a definite improvement in time, or an additional gain in narrowness at fixed time when ℓ\ell is finite, contradicts extremality after completion and return to the original problem. Section 4 gives the precise order of these choices and the resulting critical paths.

There are three geometric regimes. When ℓ=0\ell= 0, enough separated velocities remain to determine an approximate polynomial field. Conditional scalar estimates first give polynomial fits along individual lines. Multilinear Kakeya and interpolation combine them, and switching between lines makes the field approximately conservative, producing a potential. The potential can initially have degree higher than two. The obstruction has a specific form: the broad directions may lie near a conic. The proof identifies the surviving cubic and quartic terms and uses the existing hidden coordinate to encode them, on the retained trajectories, in a quadratic correction to the chart test. This restores the degree required for an admissible chart (Proposition 6.8). The same argument with one spatial coordinate also gives zero horizon for an auxiliary scalar model; that result supplies the scalar projections used in the other regimes.

When 0<ℓ<∞0 < \ell< \infty, projection onto the scalar model gives an alternative. Sufficiently wide projected intervals already yield an improvement by comparison. Otherwise planar rigidity forces the trajectories into a horizontal model with equation Y′=−Z+tvY^\prime= -Z + tv. Its natural boxes have horizontal size HH and transverse size H2H^2. The noncommuting horizontal directions force the relevant scalar sheets to be nearly affine. At the critical time rate 2k=12k = 1, a path with three refreshed line segments fills enough three-dimensional base volume to improve the fit. Away from that rate the aim is to recover wide projected intervals. When 2k<12k < 1, this first requires repeated scalar estimates that improve the resolution of trajectory parameters over the whole normalized time interval.

When ℓ=∞\ell= \infty, two nested chart labels instead localize trajectories over the whole normalized time interval. Normalization can introduce large shifts in the density exponents, but these cancel in the relative density ratios used by the argument. A final scalar projection gives charts whose time cost tends to zero, contradicting the positive cost inherited from the counterexample.

Each regime initially produces local candidates on substantial residual portions of the weighted family. To obtain a contradiction, these fits must become chart assignments with enough total coverage and with finite lists of labels recoverable from the original observations. In the finite-narrowness cases, greedy coverage and the small-list comparison give this passage through Proposition 4.11. The unbounded-narrowness construction recovers coverage and finite label lists after its full-time normalization. In each case, the improved chart system is lifted to the original weighted problem, where it contradicts the extremal choice. The comparison, the finite-narrowness conversion, and the conditional higher-jet argument (Proposition 5.6) are stated separately because their hypotheses do not require a low-entropy original line family.

Organization and scale conventions

Section 2 gives the weighted models, chart normalization, and reduction from an arbitrary Kakeya set. Section 3 proves the scalar-sheet comparison and terminal extension. Section 4 constructs the critical paths and proves the criterion that turns local candidates into forbidden improvements.

Section 5 develops the conditional scalar estimates, and Section 6 treats the isotropic case and its auxiliary scalar model. Section 7 proves the planar rigidity tools and fits their conclusions to the original incidence edges. Sections 8 and 9 use these results to treat finite positive narrowness and its critical time regimes. Section 10 treats unbounded narrowness and completes the proof of Theorem 1.1. Section 11 develops the dimensional and geometric consequences.

Two scale conventions are essential when these steps are combined. Section 4 distinguishes the original resolution N0N_0 from the local tangent resolution NN: returned chart systems must satisfy mass and list bounds subpower in N0N_0, even when the local analysis only supplies bounds subpower in NN. Section 2 distinguishes current incidence laws from earlier witness laws. A witness floor used for counting is paired with a density cap for that same law.

Flowchart showing the contradiction from a hypothetical Kakeya counterexample

Figure 1. The contradiction from a hypothetical Kakeya counterexample. A critical weighted path has one of three narrowness regimes. Each produces improvements on substantial residuals, which are assembled into a chart system with recoverable labels in the original problem. In the middle branch, 2k=12k = 1 uses the three-leg switch; 2k≠12k \ne1 returns to wide intervals, with a bootstrap when 2k<12k < 1. The scalar version of the isotropic argument supplies the projection theorem used in the other two branches.

Weighted models and the reduction from arbitrary Kakeya sets

We encode a line family by a probability law on trajectories and a selection of trajectory–time incidences. A local fit confines the base spatial projection of each whole trajectory piece to a moving box and keeps a quadratic polynomial small along that piece. Its mass is measured on the selected incidences. Theorem 2.17 turns a hypothetical Kakeya counterexample into a weighted problem in which fitting at the final thickness requires a positive power cost in time localization. The infimum of these costs is the horizon.

We first develop the observations and density estimates used to measure these fits. We then define the charts, show how their priors and densities transform under normalization, and prove the reduction from an arbitrary Kakeya set. All subpower factors in this section refer to one exact sequence with resolution tending to infinity; later sequences of exact problems will be introduced separately.

Exact problems and observations

The model has two versions. Version 2 retains the lines in R4\mathbb{R}^{4}; version 1 is the scalar model used after projection. In each version a prior samples a trajectory independently of time, and a separate event specifies which trajectory–time incidences are retained.

Definition 2.1 (Exact problems). An exact problem is a sequence indexed by a real parameter N0→∞N_0 \to\infty, with a fixed length 0<L<∞0 < L < \infty. For 0≤r≤L0 \le r \le L, write ar=N0−ra_r = N_0^{-r}. A subpower factor K0≥1K_0 \ge1 satisfies log⁡K0/log⁡N0→0\log K_0 / \log N_0 \to0; its value may be increased from one occurrence to the next. We write A∼log⁡BA \sim_{\log} B when K0−1B≤A≤K0BK_0^{-1}B \le A \le K_0B for such a factor. Subsequences are permitted.

There are finitely many auxiliary worlds γ\gamma, of weights ωγ≥0\omega_\gamma\ge0 satisfying ∑γωγ=1\sum_\gamma\omega_\gamma= 1. In world γ\gamma, a trajectory has prior probability law νγ\nu_\gamma, independently of uniform time t∈[0,1]t \in[0,1]. Its base coordinate is

y(t)=y0+tV∈Rj,∣y(t)∣+∣V∣≤K0.y(t) = y_0 + tV \in\mathbb{R}^j, \qquad|y(t)| + |V| \le K_0.

We use the following two versions.

  1. In version 1, j=1j = 1, and w(t)=w0+w1t+w2t2w(t) = w_0 + w_1t + w_2t^2, with sup⁡[0,1]∣w∣≤K0\sup_{[0,1]} |w| \le K_0. Tests are P(t,y,w)=w−F(t,y)P(t,y,w) = w - F(t,y), where FF is a polynomial of total degree at most two. The derivative scale is B=1B = 1, and X=wX = w.

  1. In version 2, j=2j = 2, and w(t)=w0+tWw(t) = w_0 + tW is affine. The coefficients of ww need not be independent of those of yy. Each world has a derivative scale B>0B > 0 and a polynomial P∗(t,y,w)P_*(t,y,w) of total degree at most two. Writing X(t)=P∗(t,y(t),w(t))X(t) = P_*(t,y(t),w(t)), the native bounds are

sup⁡[0,1]∣X∣≤K0,sup⁡[0,1]∣∂wP∗∣≤K0B,∣∂wP∗∣≥B/K0at selected incidences,∣∂wwP∗∣≤K0B2.(2.1)\begin{aligned} \sup_{[0,1]} |X| &\le K_0, & \sup_{[0,1]} |\partial_w P_*| &\le K_0B,\\ |\partial_w P_*| &\ge B/K_0 \quad\text{at selected incidences}, & |\partial_{ww}P_*| &\le K_0B^2. \end{aligned}\tag{2.1}

References

  1. [1]Saúgata Basu, Richard Pollack, and Marie-Françoise Roy. Algorithms in Real Algebraic Geometry, volume 10 of Algorithms and Computation in Mathematics. Springer, Berlin, Heidelberg, 2nd edition, 2006. ISBN 978-3-540-33098-1. doi: 10.1007/3-540-33099-2. URL https://doi.org/10.1007/3-540-33099-2.
  2. [2]Jonathan Bennett, Anthony Carbery, and Terence Tao. On the multilinear restriction and Kakeya conjectures. Acta Mathematica, 196(2):261–302, 2006. doi: 10.1007/s11511-006-0006-4. URL https://doi.org/10.1007/s11511-006-0006-4.
  3. [3]A. S. Besicovitch. On Kakeya’s problem and a similar one. Mathematische Zeitschrift, 27:312–320, 1928. doi: 10.1007/BF01171101. URL https://link.springer.com/article/10.1007/BF01171101.DOI
  4. [4]Tainara Borges, Tiklung Chan, Mingfeng Chen, Diankun Liu, Yakun Xi, and Yufei Zhan. Restriction and Kakeya maximal estimates in ℝ⁴. arXiv:2511.22824v1, 2025. URL https://arxiv.org/abs/2511.22824v1. Version 1, 28 November 2025; Theorem 1.2.
  5. [5]Jean Bourgain. On the dimension of Kakeya sets and related maximal inequalities. Geometric and Functional Analysis, 9(2):256–282, 1999. doi: 10.1007/s000390050087. URL https://link.springer.com/article/10.1007/s000390050087.DOI
  6. [6]Jean Bourgain and Larry Guth. Bounds on oscillatory integral operators based on multilinear estimates. Geometric and Functional Analysis, 21(6):1239–1295, 2011. doi: 10.1007/s00039-011-0140-9. URL https://doi.org/10.1007/s00039-011-0140-9.
  7. [7]Anthony Carbery and Stefán Ingi Valdimarsson. The endpoint multilinear Kakeya theorem via the Borsuk–Ulam theorem. Journal of Functional Analysis, 264(7):1643–1663, 2013. doi: 10.1016/j.jfa.2013.01.012. URL https://arxiv.org/abs/1205.6371v1. Theorem 1 on page 2 of arXiv:1205.6371v1, 29 May 2012.
  8. [8]Michael Christ. Quasiextremals for a Radon-like transform. arXiv:1106.0722v1, 2011. URL https://arxiv.org/abs/1106.0722v1. Version 1, 3 June 2011.
  9. [9]Thomas M. Cover and Joy A. Thomas. Elements of Information Theory. Wiley, 2nd edition, 2006. doi: 10.1002/047174882X. URL https://doi.org/10.1002/047174882X.
  10. [10]Roy O. Davies. Some remarks on the Kakeya problem. Proceedings of the Cambridge Philosophical Society, 69(3):417–421, 1971. doi: 10.1017/S0305004100046867. URL https://doi.org/10.1017/S0305004100046867.
  11. [11]Chuanwei Gao, Diankun Liu, and Yakun Xi. Curved Kakeya sets and Nikodym problems on manifolds. arXiv:2503.11574v1, 2025. URL https://arxiv.org/abs/2503.11574v1. Version 1, 14 March 2025; Definition 1.3, Conjecture 1.4, and Theorem 1.5; Definitions 1.7–1.11, Theorem 1.12, Corollary 4.2, and Section 4.2.
  12. [12]Shaoming Guo, Hong Wang, and Ruixiang Zhang. A dichotomy for Hörmander-type oscillatory integral operators. Inventiones mathematicae, 238(2):503–584, 2024. doi: 10.1007/s00222-024-01288-8. URL https://arxiv.org/abs/2210.05851v2. The invariant formulation is Theorem 2.1 in arXiv:2210.05851v2, 3 February 2023.
  13. [13]Larry Guth. The endpoint case of the Bennett–Carbery–Tao multilinear Kakeya conjecture. Acta Mathematica, 205(2):263–286, 2010. doi: 10.1007/s11511-010-0055-6. URL https://doi.org/10.1007/s11511-010-0055-6.
  14. [14]Larry Guth and Joshua Zahl. Polynomial Wolff axioms and Kakeya-type estimates in R⁴. Proceedings of the London Mathematical Society, 117(1):192–220, 2018. doi: 10.1112/plms.12138. URL https://arxiv.org/abs/1701.07045v3. Corrected version: arXiv:1701.07045v3, 19 April 2019.
  15. [15]Larry Guth, Hong Wang, and Joshua Zahl. A streamlined proof of the Kakeya set conjecture in R³. arXiv:2601.14411v1, 2026. URL https://arxiv.org/abs/2601.14411v1. Version 1, 20 January 2026.
  16. [16]Nets Hawk Katz and Keith M. Rogers. On the polynomial Wolff axioms. Geometric and Functional Analysis, 28(6):1706–1716, 2018. doi: 10.1007/s00039-018-0466-7. URL https://arxiv.org/abs/1802.09094v3.
  17. [17]Nets Hawk Katz and Terence Tao. New bounds for Kakeya problems. Journal d’Analyse Mathématique, 87:231–263, 2002. doi: 10.1007/BF02868476. URL https://arxiv.org/abs/math/0102135.
  18. [18]Nets Hawk Katz and Joshua Zahl. A Kakeya maximal function estimate in four dimensions using planebrushes. Revista Matemática Iberoamericana, 37(1):317–359, 2021. doi: 10.4171/RMI/1219. URL https://arxiv.org/abs/1902.00989v3. Version 3, 7 October 2025; Theorem 2.
  19. [19]Nets Hawk Katz, Izabella Łaba, and Terence Tao. An improved bound on the Minkowski dimension of Besicovitch sets in R³. Annals of Mathematics, 152(2):383–446, 2000. doi: 10.2307/2661389. URL https://arxiv.org/abs/math/9903166v2.
  20. [20]Tamás Keleti and András Máthé. Equivalences between different forms of the Kakeya conjecture and duality of Hausdorff and packing dimensions for additive complements, 2023. URL https://arxiv.org/abs/2203.15731v3. Version 3, 17 July 2023.
  21. [21]Izabella Laba and Terence Tao. An improved bound for the Minkowski dimension of Besicovitch sets in medium dimension. Geometric and Functional Analysis, 11:773–806, 2001. doi: 10.1007/PL00001685. URL https://arxiv.org/abs/math/0004015v1. Theorem 1.3 in arXiv:math/0004015v1.
  22. [22]Arian Nadjimzadah. Bourgain’s condition, sticky Kakeya, and new examples. Geometric and Functional Analysis, 36:1131–1173, 2026. doi: 10.1007/s00039-026-00750-4. URL https://arxiv.org/abs/2511.10918v4. Example 1.24 and Proposition 1.25; arXiv:2511.10918v4, 18 August 2026.
  23. [23]Arian Nadjimzadah. Lifting curved Kakeya sets to linear Kakeya sets, 2026. URL https://arxiv.org/abs/2609.06299v1. Version 1, 5 September 2026.
  24. [24]OpenAI. The Kakeya maximal conjecture in three dimensions. OpenAI Math Release preprint OAI:The-Kakeya-maximal-conjecture-in-three-dimensions-September-23-2026, 2026. Lemma 2.3.
  25. [25]Tuomas Orponen, Nicolas de Saxcé, and Pablo Shmerkin. On the Fourier decay of multiplicative convolutions. arXiv:2309.03068v2, 2024. URL https://arxiv.org/abs/2309.03068v2. Version 2, 27 February 2024; Theorem 1.5.
  26. [26]Mukul Rai Choudhuri. An improved bound on the Hausdorff dimension of sticky Kakeya sets in ℝ⁴. Revista Matemática Iberoamericana, 42(4):1227–1256, 2026. doi: 10.4171/RMI/1621. URL https://doi.org/10.4171/RMI/1621.
  27. [27]N. Roytwarf and Y. Yomdin. Bernstein classes. Annales de l’Institut Fourier, 47(3):825–858, 1997. doi: 10.5802/aif.1582. URL https://doi.org/10.5802/aif.1582.
  28. [28]Benny Sudakov, Endre Szemerédi, and Van H. Vu. On a question of Erdős and Moser. Duke Mathematical Journal, 129(1):129–155, 2005. doi: 10.1215/S0012-7094-04-12915-X. URL https://doi.org/10.1215/S0012-7094-04-12915-X.
  29. [29]Terence Tao and Van H. Vu. Additive Combinatorics, volume 105 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2006. doi: 10.1017/CBO9780511755149. Theorem 2.29 and Exercise 6.4.10; see the author’s errata for the corrected fifth-power loss.
  30. [30]Hong Wang and Joshua Zahl. Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions. arXiv:2502.17655v1, 2025. URL https://arxiv.org/abs/2502.17655v1. Version 1, 24 February 2025.
  31. [31]Hong Wang and Joshua Zahl. Sticky Kakeya sets and the sticky Kakeya conjecture. Journal of the American Mathematical Society, 39(2):515–585, 2026. doi: 10.1090/jams/1067. URL https://arxiv.org/abs/2210.09581v2. Theorem numbering refers to arXiv:2210.09581v2, 7 October 2025.
  32. [32]Hong Wang and Dmitrii Zakharov. Kakeya and Furstenberg problems for sticky sets of tubes. arXiv:2609.22035v1, 2026. URL https://arxiv.org/abs/2609.22035v1. Version 1, 18 September 2026; Theorem 1.2.
  33. [33]Thomas H. Wolff. An improved bound for Kakeya type maximal functions. Revista Matemática Iberoamericana, 11(3):651–674, 1995. doi: 10.4171/RMI/188. URL https://ems.press/journals/rmi/articles/5248.DOI
  34. [34]Joshua Zahl. A discretized Severi-type theorem with applications to harmonic analysis. Geometric and Functional Analysis, 28:1131–1181, 2018. doi: 10.1007/s00039-018-0455-x. URL https://arxiv.org/abs/1801.05106v3.

Paper details

vlnc:W_cpqgvbad
v1 · latestHistory (1)

published · Fresh — published within the last 30 days

Usage

views · 23

downloads · 3

A view counts once per browser per day, a download each time the PDF is requested.

LicenseRef-OpenAI-public

Original source

  • Mathematics

unreleased internal OpenAI model · View statement →

Looking for related papers…
Contents