pith. machine review for the scientific record. sign in

arxiv: 2604.03416 · v1 · submitted 2026-04-03 · 🧮 math.CA

Recognition: 2 theorem links

· Lean Theorem

The Kakeya conjecture, after Wang and Zahl

Larry Guth
Authors on Pith no claims yet

Pith reviewed 2026-05-13 18:00 UTC · model grok-4.3

classification 🧮 math.CA
keywords Kakeya conjectureHausdorff dimensionpolynomial partitioningincidence geometrythree-dimensional spaceharmonic analysisgeometric measure theory
0
0 comments X

The pith

Wang and Zahl proved that every Kakeya set in three dimensions has Hausdorff dimension three.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper is a survey that lays out the main steps of Wang and Zahl's proof of the Kakeya conjecture in R^3. It presents the argument through a sequence of reductions involving polynomial partitioning and incidence estimates, accompanied by diagrams. A reader cares because the conjecture has stood as a central open question linking geometric measure theory and harmonic analysis, and its resolution in low dimensions clarifies the behavior of sets that contain a line segment in every direction.

Core claim

Wang and Zahl show that any set in R^3 containing a unit line segment in every direction must have Hausdorff dimension exactly three. The survey traces how they achieve this by first reducing the problem to a discrete incidence question about tubes, then applying polynomial partitioning to control the number of incidences, and finally closing an induction on scales that bounds the size of the set at every level of resolution.

What carries the argument

Polynomial partitioning combined with induction on scales and incidence bounds for tubes and lines.

If this is right

  • Kakeya sets in three dimensions must have positive Lebesgue measure.
  • The same techniques yield new bounds on the dimension of Besicovitch sets in R^3.
  • The proof structure separates the geometric incidence problem from the analytic side in a way that may apply to related questions about line configurations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach may suggest a path toward the restriction conjecture by converting line incidences into Fourier decay estimates.
  • Similar partitioning arguments could be tested on Kakeya-type problems in higher dimensions where the full conjecture remains open.
  • The explicit diagrams in the survey make the scale-induction step easier to verify numerically on finite approximations of Kakeya sets.

Load-bearing premise

The survey takes the correctness of the original Wang-Zahl argument as given and does not re-derive every technical estimate.

What would settle it

A concrete Kakeya set in R^3 whose Hausdorff dimension is strictly less than three would disprove the claim.

Figures

Figures reproduced from arXiv: 2604.03416 by Larry Guth.

Figure 1
Figure 1. Figure 1: Intersecting tubes [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: illustrates the situation. A I I [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: When is Lemma 6.2 sharp? Lemma 6.3. (Perfect overlap property) If T is a worst-case sticky Kakeya set, and Bρ ⊂ U(Tρ), then for each Tρ ∈ Tρ,Bρ , |U(T[Tρ]) ∩ Bρ| ≈ |U(T) ∩ Bρ|. Morally, the sets U(T[Tρ]) ∩ Bρ are all the same as Tρ varies in Tρ,Bρ . The perfect overlap property is a very strong condition. If you look back at [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Illustration of Lemma 6.4 35 In two dimensions, if the fat tubes T√ δ through B√ δ are transverse, then the perfect overlap property implies that U(T) fills Bρ. We state this result as a lemma. Lemma 6.5. In two dimensions suppose that ρ = √ δ and • Tρ,1 and Tρ,2 pass through Bρ. • The tubes Tρ,1 and Tρ2 are transverse: the angle between them is ∼ 1. • U(T[Tρ,1]) ∩ Bρ = U(T[Tρ,2]) ∩ Bρ, and these sets are … view at source ↗
Figure 5
Figure 5. Figure 5: illustrates the situation. The picture can only show some of the tubes. The tubes running in the x1 direction should fill the slab G. These tubes all lie in a single T√ δ running in the x1 direction. Similarly, the tubes running in the x2 direction should fill the slab, and those tubes all lie in a single T√ δ running in the x2 direction. We could also add other tubes in any direction parallel to the (x1, … view at source ↗
Figure 6
Figure 6. Figure 6: Localizing tubes to a ball In [PITH_FULL_IMAGE:figures/full_fig_p022_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: is a picture showing TB [PITH_FULL_IMAGE:figures/full_fig_p023_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: illustrates this correspondence: K Unit Cube [PITH_FULL_IMAGE:figures/full_fig_p027_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: is a picture showing how this sequence of scales may look: Use sticky (2) (2) Use sticky δ δ1 δ2 δ3 δ4 δ5 [PITH_FULL_IMAGE:figures/full_fig_p032_9.png] view at source ↗
read the original abstract

This is a Seminaire Bourbaki survey of the proof of the Kakeya conjecture in three dimensions. The survey is written for a broad mathematical audience. We sketch all the ideas in the proof, with many pictures.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. This paper is a Seminaire Bourbaki survey of the proof of the Kakeya conjecture in three dimensions by Wang and Zahl. Written for a broad mathematical audience, it sketches all the main ideas in the proof and includes many pictures to illustrate the concepts.

Significance. As an expository account, the survey is significant for making a landmark recent result in harmonic analysis and geometric measure theory accessible to a wider audience. The emphasis on sketches and pictures strengthens its value as a dissemination tool, potentially aiding researchers and students in engaging with the Wang-Zahl proof without requiring full immersion in the original technical details.

minor comments (1)
  1. The abstract could explicitly note that the survey contains no new derivations or theorems, to further clarify its purely expository nature for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, which recognizes the survey's value as an accessible exposition of the Wang-Zahl proof for a broad audience. We are pleased that the emphasis on sketches and illustrations was noted as strengthening the manuscript's utility.

Circularity Check

0 steps flagged

Expository survey with no independent derivations or circular steps

full rationale

This is a Bourbaki seminar survey paper whose sole claim is to sketch the ideas from the external Wang-Zahl proof of the 3D Kakeya conjecture, with pictures, for a broad audience. No new theorems, derivations, parameters, or predictions are asserted. The text therefore contains no load-bearing steps that could reduce by construction to self-defined inputs, fitted quantities, or self-citation chains. The central claim reduces only to descriptive fidelity to the cited external work, which is independent of any internal fitting or re-derivation performed here.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This survey paper does not introduce new mathematical objects, free parameters, or entities; it explains an existing proof and relies on the foundations of the original work.

pith-pipeline@v0.9.0 · 5304 in / 907 out tokens · 62131 ms · 2026-05-13T18:00:09.819230+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    On the Erd˝ os-Volkmann and Katz-Tao ring conjectures

    Jean Bourgain, “On the Erd˝ os-Volkmann and Katz-Tao ring conjectures.” GAFA 13 (2003): 334-365

    work page 2003

  2. [2]

    L p estimates for oscillatory integrals in several variables

    Bourgain, J. “L p estimates for oscillatory integrals in several variables.” Geometric & Functional Analysis GAFA 1 (1991): 321-374

    work page 1991

  3. [3]

    ”The discretized sum-product and projection theorems.” Journal d’Analyse Math´ ematique 112.1 (2010): 193-236

    Bourgain, Jean. ”The discretized sum-product and projection theorems.” Journal d’Analyse Math´ ematique 112.1 (2010): 193-236

    work page 2010

  4. [4]

    The proof of the l 2 decoupling conjecture

    Bourgain, Jean, and Ciprian Demeter. “The proof of the l 2 decoupling conjecture.” Annals of mathematics (2015): 351-389

    work page 2015

  5. [5]

    On the multilinear restriction and Kakeya conjec- tures

    Bennett, Jonathan, Anthony Carbery, and Terence Tao. “On the multilinear restriction and Kakeya conjec- tures.” (2006): 261-302

    work page 2006

  6. [6]

    ”A sum-product estimate in finite fields, and applications.” Geometric and Functional Analysis GAFA 14.1 (2004): 27-57

    Bourgain, Jean, Nets Katz, and Terence Tao. ”A sum-product estimate in finite fields, and applications.” Geometric and Functional Analysis GAFA 14.1 (2004): 27-57

    work page 2004

  7. [7]

    ”Szemer´ edi-Trotter bounds for tubes and applications.” arXiv preprint arXiv:2406.06884 (2024)

    Demeter, Ciprian, and Hong Wang. ”Szemer´ edi-Trotter bounds for tubes and applications.” arXiv preprint arXiv:2406.06884 (2024)

    work page arXiv 2024

  8. [8]

    ”Borel subrings of the reals.” Proceedings of the American Mathematical Society 131.4 (2003): 1121-1129

    Edgar, G., and Chris Miller. ”Borel subrings of the reals.” Proceedings of the American Mathematical Society 131.4 (2003): 1121-1129

    work page 2003

  9. [9]

    ”On sums and products of integers.” Studies in pure mathematics (1983): 213-218

    Erdos, Paul, and Endre Szemer´ edi. ”On sums and products of integers.” Studies in pure mathematics (1983): 213-218

    work page 1983

  10. [10]

    ”An explicit sum-product estimate inF p.” International Mathematics Research Notices 2007 (2007): rnm035

    Garaev, Moubariz Z. ”An explicit sum-product estimate inF p.” International Mathematics Research Notices 2007 (2007): rnm035

    work page 2007

  11. [11]

    A short proof of the multilinear Kakeya inequality

    Guth, Larry. “A short proof of the multilinear Kakeya inequality.” Mathematical Proceedings of the Cam- bridge Philosophical Society. Vol. 158. No. 1. Cambridge University Press, 2015

    work page 2015

  12. [12]

    ”Outline of the Wang-Zahl proof of the Kakeya conjecture inR 3.” arXiv preprint arXiv:2508.05475 (2025)

    Guth, Larry. ”Outline of the Wang-Zahl proof of the Kakeya conjecture inR 3.” arXiv preprint arXiv:2508.05475 (2025)

    work page arXiv 2025

  13. [13]

    Guth Katz Zahl sum product

    work page

  14. [14]

    Incidence estimates for well spaced tubes

    Guth, Larry, Noam Solomon, and Hong Wang. “Incidence estimates for well spaced tubes.” Geometric and Functional Analysis 29.6 (2019): 1844-1863

    work page 2019

  15. [15]

    ”A streamlined proof of the Kakeya set conjecture inR 3.” arXiv preprint arXiv:2601.14411 (2026)

    Guth, Larry, Hong Wang, and Joshua Zahl. ”A streamlined proof of the Kakeya set conjecture inR 3.” arXiv preprint arXiv:2601.14411 (2026)

    work page arXiv 2026

  16. [16]

    An improved bound on the Minkowski dimension of Besicovitch sets in R 3

    Netx Katz, Izabella Laba, and Terence Tao. “An improved bound on the Minkowski dimension of Besicovitch sets in R 3.” Annals of Mathematics (2000): 383-446

    work page 2000

  17. [17]

    An improved bound on the Hausdorff dimension of Besicovitch sets inR 3

    Katz, Nets, and Joshua Zahl. “An improved bound on the Hausdorff dimension of Besicovitch sets inR 3.” Journal of the American Mathematical Society 32.1 (2019): 195-259

    work page 2019

  18. [18]

    ”New bounds on the dimensions of planar distance sets.” Geometric and Functional Analysis 29.6 (2019): 1886-1948

    Keleti, Tam´ as, and Pablo Shmerkin. ”New bounds on the dimensions of planar distance sets.” Geometric and Functional Analysis 29.6 (2019): 1886-1948

    work page 2019

  19. [19]

    https://arxiv.org/abs/2511.21656

    O’Regan, Shmerkin, Wang. https://arxiv.org/abs/2511.21656

    work page arXiv

  20. [20]

    On the distance sets of Ahlfors–David regular sets

    Orponen, Tuomas. “On the distance sets of Ahlfors–David regular sets.” Advances in Mathematics 307 (2017): 1029-1045

    work page 2017

  21. [21]

    ”On arithmetic sums of Ahlfors-regular sets.” Geometric and Functional Analysis 32.1 (2022): 81-134

    , Orponen, Tuomas. ”On arithmetic sums of Ahlfors-regular sets.” Geometric and Functional Analysis 32.1 (2022): 81-134

    work page 2022

  22. [22]

    On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane

    Orponen, Tuomas, and Pablo Shmerkin. “On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane.” Duke Mathematical Journal 172.18 (2023): 3559-3632

    work page 2023

  23. [23]

    Projections, Furstenberg sets, and theABCsum-product problem

    Orponen, Tuomas, and Pablo Shmerkin. “Projections, Furstenberg sets, and theABCsum-product problem.” arXiv preprint arXiv:2301.10199 (2023)

    work page arXiv 2023

  24. [24]

    Kaufman and Falconer estimates for radial projections and a continuum version of Beck’s theorem

    Orponen, Tuomas, Pablo Shmerkin, and Hong Wang. “Kaufman and Falconer estimates for radial projections and a continuum version of Beck’s theorem.” Geometric and Functional Analysis 34.1 (2024): 164-201

    work page 2024

  25. [25]

    Furstenberg sets estimate in the plane

    Ren, Kevin, and Hong Wang. “Furstenberg sets estimate in the plane.” arXiv preprint arXiv:2308.08819 (2023). THE KAKEYA CONJECTURE, AFTER W ANG AND ZAHL 35

    work page arXiv 2023

  26. [26]

    ”On the Distance Sets Spanned by Sets of Dimension d/2 in.” Geometric and Functional Analysis 35.1 (2025): 283-358

    Shmerkin, Pablo, and Hong Wang. ”On the Distance Sets Spanned by Sets of Dimension d/2 in.” Geometric and Functional Analysis 35.1 (2025): 283-358

    work page 2025

  27. [27]

    Stickiness, graininess, planiness, and a sum-product approach to the Kakeya problem

    Terence Tao, Blog post “Stickiness, graininess, planiness, and a sum-product approach to the Kakeya problem” , https://terrytao.wordpress.com/2014/05/07/stickiness-graininess-planiness-and-a-sum-product- approach-to-the-kakeya-problem/

    work page 2014

  28. [28]

    ”From Rotating Needles to Stability of Waves: Emerging Connections between.” Notices of the AMS 48.3 (2001)

    Tao, Terence. ”From Rotating Needles to Stability of Waves: Emerging Connections between.” Notices of the AMS 48.3 (2001)

    work page 2001

  29. [29]

    ”Restriction estimates using decoupling theorems and two-ends Furstenberg inequalities.” arXiv preprint arXiv:2411.08871 (2024)

    Wang, Hong, and Shukun Wu. ”Restriction estimates using decoupling theorems and two-ends Furstenberg inequalities.” arXiv preprint arXiv:2411.08871 (2024)

    work page arXiv 2024

  30. [30]

    ”Sticky Kakeya sets and the sticky Kakeya conjecture.” Journal of the American Mathematical Society 39.2 (2026): 515-585

    Wang, Hong, and Joshua Zahl. ”Sticky Kakeya sets and the sticky Kakeya conjecture.” Journal of the American Mathematical Society 39.2 (2026): 515-585

    work page 2026

  31. [31]

    Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions,

    Hong Wang and Josh Zahl, “Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions,” arXiv:2502.17655

    work page arXiv

  32. [32]

    ”An improved bound for Kakeya type maximal functions.” Revista Matem´ atica Iberoameri- cana 11.3 (1995): 651-674

    Wolff, Thomas. ”An improved bound for Kakeya type maximal functions.” Revista Matem´ atica Iberoameri- cana 11.3 (1995): 651-674

    work page 1995

  33. [33]

    ”Recent work connected with the Kakeya problem.” Prospects in mathematics (Princeton, NJ, 1996) 2 (1999): 129-162

    Wolff, Thomas. ”Recent work connected with the Kakeya problem.” Prospects in mathematics (Princeton, NJ, 1996) 2 (1999): 129-162

    work page 1996