Pith. sign in

REVIEW 8 minor 28 references

Rotating needles in space: the road to the Kakeya conjecture, and why it matters

T0 review · 0 major / 8 minor · reviewed 2026-08-27 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Wang and Zahl have completely resolved the three-dimensional Kakeya conjecture, this survey reports.

desk verdict A polished, honest survey of the Wang–Zahl resolution of the 3D Kakeya conjecture; no new math, but the exposition and attribution are clean enough that it deserves a serious referee, provided the small slips get fixed. read the letter →

arxiv 2608.22209 v1 pith:IDERU5F2 submitted 2026-08-23 math.CA

Terence Tao This is my paper · ORCID
classification math.CA MSC 28A7511M0628A7842B1542B2542B37
keywords KakeyaconjectureBesicovitchsetHausdorffdimensionrestrictionBochner–Rieszlocalsmoothinginductiononscalesprojectiontheorems
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This expository article recounts the proof of the Kakeya conjecture in three dimensions, a problem about the minimum volume a set must occupy if it contains a thin cylinder pointing in every possible direction. The paper reports that Wang and Zahl have established the conjecture in a sequence of works, so that any set $E\subset\mathbb{R}^3$ containing a $1\times\delta\times\delta$ cylinder in every direction has volume at least $\delta^{o(1)}$ as $\delta\to0$. The wider point is that this geometric statement is a bottleneck for several major conjectures in harmonic analysis and analytic number theory, including restriction, Bochner–Riesz, local smoothing, and Montgomery's conjecture. The paper also explains the proof's architecture: a sticky case proved with the help of a conjugation structure and recent projection theorems, plus a reduction of every configuration to the sticky case by induction on scales.

What carries the argument

The mechanism carrying the proof is a two-part decomposition. In the sticky case, tubes pointing in nearby directions are organized into fat tubes (stickiness), and the configuration inherits planiness and graininess; within this case Wang and Zahl extract a conjugation operation $s\colon\mathbb{R}\to\mathbb{R}$ that behaves like complex conjugation in the Heisenberg group, forcing $s(x)y+s(y)x$ to lie in a small set. This structure lets them invoke recent projection theorems to reach a contradiction. The second part, original to Wang and Zahl, uses an induction on scales designed specifically for the non-sticky case: every non-sticky configuration either becomes sticky after enough rescalings or degenerates into a simpler configuration handled by other means.

What would settle it

A counterexample would settle it: if some fixed $\varepsilon>0$ and a constant $C$ allowed a set $E\subset\mathbb{R}^3$ containing a $1\times\delta\times\delta$ cylinder in every direction to have volume at most $C\delta^\varepsilon$ for arbitrarily small $\delta$, then Conjecture 1.1 would be false and the paper's central claim would collapse.

Watch

Extended reading notes

Core claim

The central claim is that the Kakeya conjecture in $\mathbb{R}^3$ is now a theorem. Specifically, Conjecture 1.1 holds: for every fixed $\varepsilon>0$ there is a constant $c_\varepsilon>0$ such that every set $E\subset\mathbb{R}^3$ containing a cylinder of dimensions $1\times\delta\times\delta$ in every direction has volume at least $c_\varepsilon \delta^\varepsilon$; equivalently, the volume is $\delta^{o(1)}$ as $\delta\to0$. The paper attributes the proof to Wang and Zahl's papers [25,26,27], and describes how they followed the author's earlier road map by first establishing the conjecture under a sticky hypothesis, where tubes in nearby directions are physically close, and then reducing the general case to the sticky case by repeated rescaling.

Load-bearing premise

The claim that the Kakeya conjecture in three dimensions has been resolved rests entirely on the correctness of the three cited Wang–Zahl papers, especially the unexposed details of the sticky-case proof and of the reduction from general configurations to the sticky case.

Editorial extensions

If this is right

  • With the three-dimensional Kakeya conjecture proved, any set containing thin cylinders in every direction has volume at least $\delta^{o(1)}$, settling the critical $\mathbb{R}^3$ case of the tube-compression question.
  • Because wave-packet decompositions connect oscillatory integrals to Kakeya configurations, the proof opens the way to further progress on the restriction, Bochner–Riesz, and local smoothing conjectures; the paper states that many current world records on these problems are held by Wang and her coauthors.
  • The paper notes that the strongest form of Montgomery's conjecture is already false via Kakeya-type counterexamples, and that a weaker form strong enough to imply the Lindelöf hypothesis would require a failure of the Kakeya conjecture; with the conjecture now resolved, this route to the Lindelöf hypothesis is closed but the geometric insight may still inform number theory.
  • The proof strategy—treat a sticky case first, then reduce all other configurations to sticky or degenerate ones—is presented as a general template for geometric measure theory problems, following the recent resolution of the Furstenberg set problem.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same sticky/non-sticky split may be the right template for the Kakeya problem in higher dimensions, where the paper's narrative implies the geometry is less understood.
  • The conjugation operation found in sticky configurations could have applications beyond Kakeya, for instance in distance-set problems or sum-product estimates; the paper mentions the link to projection theorems but does not develop these consequences.
  • A quantitative version of the proof would likely yield explicit exponents rather than merely $\delta^{o(1)}$; the paper gives no constants, so a natural next step is to determine effective bounds.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 8 minor

Summary. This expository paper by Terence Tao gives a non-technical account of the Kakeya needle problem, its connections to harmonic analysis and number theory, and the recent claimed resolution of the Kakeya conjecture in R^3 by Hong Wang and Joshua Zahl. Section 1 introduces Besicovitch sets and the δ-thickened formulation, stating Conjecture 1.1 as the lower bound c_ε δ^ε on the volume of any set containing a 1×δ×δ cylinder in every direction. Section 2 surveys implications, including Fefferman's ball multiplier counterexample, Bourgain's disproof of the strong Montgomery conjecture, and relations to restriction, Bochner–Riesz, and local smoothing conjectures. Section 3 outlines the history from Bourgain and Wolff through the Katz–Łaba–Tao road map, and describes the Wang–Zahl proof as a combination of a sticky-case theorem, a reduction to the sticky case, and a conjugation structure informed by the Heisenberg group. Section 4 discusses consequences and future directions. The paper explicitly defers all technical proofs to primary sources, especially [8] and [25–27].

Significance. The paper reports a landmark result: if the cited work of Wang and Zahl is correct, the Kakeya conjecture in three dimensions is established, with potential consequences for restriction, Bochner–Riesz, local smoothing, and related problems. As an expository article, its value lies in its accessible presentation, clear figures, and accurate historical narrative. The manuscript is appropriately cautious in its use of asymptotic language and is explicit that the proof of the main theorem is not reproduced; the central claim is properly credited to [25–27] rather than to the author's own work. The main caveat is external: the survey's headline assertion depends entirely on the correctness and completeness of the cited papers, particularly [27]. This is not an internal defect of the present article, but it means the paper cannot serve as an independent verification of the conjecture.

minor comments (8)
  1. [§2] The text first dates Fefferman's ball multiplier counterexample to 1971 and reference [6], but later states that 'Fefferman in 1977 showed' the failure; the year 1977 should be corrected to 1971.
  2. [§3] The claimed identity 'z\bar w + \bar w z is necessarily a real number' is false for general complex z,w; the intended expression is z\bar w + \bar z w, and the subsequent analogy with s(x)y + s(y)x should be phrased accordingly.
  3. [§1] The sentence 'we shall just discuss one its forms' should read 'one of its forms'.
  4. [§1] The phrase 'within a distance δ of a that set' should be 'within a distance δ of that set'.
  5. [§2-§3] Several spelling slips occur: 'succicntly' in §1, 'mathematicial' and 'Bescovitch–Perron' in §2, and 'not to difficult' in §3; these should be corrected.
  6. [§3] The individual roles of [25], [26], and [27] are not specified; the reader cannot tell which paper proves the sticky case, which proves the reduction, and which is the final volume estimate, so a sentence identifying the contribution of each would improve clarity.
  7. [§3] The notation in the sentence about 's(x)y + s(y)x' is undefined; a precise definition or a reference for the conjugation operation s would help.
  8. [§5] The acknowledgment that AI assistance was used is useful, but the statement 'to autocomplete text' is vague; it would be preferable to indicate whether any of the mathematical content was generated or merely formatted by AI.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the survey openly delegates the central theorem to Wang–Zahl [25,26,27], and its self-citations are historical context, not load-bearing.

full rationale

This is an expository survey, not a proof paper. Its central assertion — that [25,26,27] resolve Conjecture 1.1 — is explicitly delegated to the cited primary sources, with the manuscript stating that the arguments are 'described in detail in other places' and are 'too technical to explain here.' No parameter is fitted and then renamed as a prediction; no quantity is defined in terms of the claimed result; and no self-citation carries the mathematical weight. The author's own prior work appears only as historical background: [12] is a 2014 road map, [13] is a 2000 partial bound, and [23] is a pointer to related conjectures. The Wang–Zahl papers are external evidence, and any residual risk concerns the completeness of those external proofs, which is a correctness matter, not circularity. The minor internal slips (the Fefferman year inconsistency and the miswritten conjugation expression z\bar w + w\bar z) are typographical or correctness issues and do not affect the claimed derivation chain. No circular step is present.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

This is an expository review, so there are no fitted parameters or invented entities. The listed axioms are background assumptions from the cited literature that the paper takes as given.

assumptions (2)
  • domain assumption The Wang-Zahl proof of the three-dimensional Kakeya conjecture is correct.
    The paper's central claim is stated as fact based on citations [25,26,27]; the proof is not reproduced in this article.
  • domain assumption The standard implications from the Kakeya conjecture to the restriction, Bochner-Riesz, local smoothing, and Montgomery conjectures are valid.
    The motivation section (Section 2) relies on these implications, citing [28] and [23] for support, without proving them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rotating needles in space: the road to the Kakeya conjecture, and why it matters." pith.science (2026). https://pith.science/paper/IDERU5F2

@misc{pith2026260822209,
  author       = {Pith},
  title        = {Pith review of: Rotating needles in space: the road to the Kakeya conjecture, and why it matters},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IDERU5F2}},
  note         = {Machine review of arXiv:2608.22209}
}
read the original abstract

A non-technical exposition of the Kakeya conjecture, why it matters, and the road to the solution of this conjecture in three dimensions by Hong Wang and Joshua Zahl.

Figures

Figures reproduced from arXiv: 2608.22209 by the authors.

Figure 1
Figure 1. A deltoid of area π/8 in which a unit needle (the blue line segment) can be rotated. a multi-scale structure, where pairs of line segments making small, medium, or large angles to each other are all pushed together strategically to create a significant amount of overlap in area. Now suppose that the car is not an infinitely thin needle, but instead has some positive thickness. Mathematically, one can model this by a… view at source ↗
Figure 2
Figure 2. A Besicovitch–Perron tree, which contains a unit line segment in every direction in an 45◦ arc, but can be chosen to have arbitrary small area. It is possible to make a needle perform a continuous U turn using four such trees, together with some very small additional strips (not pictured) to enable the needle to move from one branch of the tree to the next. An animated applet demonstrating this tree may be found at … view at source ↗
Figure 3
Figure 3. A configuration of 1×δ×δ cylinders pointing in different directions. An animated visualization of this three-dimensional analogue of a Besicovitch– Perron tree may be found at https://teorth.github.io/tao-web/apps/ kakeya3d.html. There are many forms of this problem, some of which are technical to state, but to focus the presentation, we shall just discuss one its forms, introduced by Bourgain [2]: Conjecture 1.1 (K… view at source ↗
Figures from the paper (8 more)
Figure 4
Figure 4. Figure 4: The Gibbs phenomenon for the square wave function. Nevertheless, it follows from the foundational work of F. Riesz and Fischer in 1907 [19, 7] (or the later theorem of Plancherel [18] in 1910) that if f is in the square-integrable class L 2 , then the Fourier series al…
Figure 5
Figure 5. Figure 5: A gaussian wave packet, oscillating at a certain frequency while also being localized in space. In the decades that followed, many further connections of this type were unearthed, in which the objects being analyzed contained “wave packets” that could point in differen…
Figure 6
Figure 6. Figure 6: The (highly oscillatory) function |ζ( 1 2 +it)| is observed numerically to grow quite slowly as t → ∞, which is consistent with the Lindel¨of (or Riemann) hypothesis. The Lindel¨of hypothesis can also be phrased in terms of the Dirichlet polynomials X N n=1 n it where …
Figure 7
Figure 7. Figure 7: An “arithmetic wave packet” — a Dirichlet series with gaussian type coefficients which is concentrated on an arithmetic progression. By combining this idea with the Besicovitch–Perron construction, Bourgain was able to show that the strongest forms of the Montgomery co…
Figure 8
Figure 8. Figure 8: By discretizing and enumerating space appropriately, one can con￾vert rectangles (or tubes) into arithmetic progressions. her coauthors, that they are becoming powerful enough to fully resolve many of the above conjectures. For instance, the local smoothing conjecture …
Figure 9
Figure 9. Figure 9: Stickiness: the thin tubes (orange) can be organized into a much smaller number of fat tubes (blue), in such a way that thin tubes pointing in nearby directions also lie physically close to each other, and hence are contained in a common fat tube. Stickiness turns out …
Figure 10
Figure 10. Figure 10: Planiness, as seen in a “hairbrush”: a single tube — the vertical “stem” running through all three marked points — together with all the tubes that meet it. The tubes passing through any one point of the stem (the red dots) form a “bush”, and planiness asserts that ea…
Figure 11
Figure 11. Figure 11: Graininess: the tubes in an extremal Kakeya configuration tend to fill out “grains”. Different formulations of graininess use different dimen￾sions of grains; in this picture, grains of dimensions δ × √ δ × √ δ are depicted. This property is closely related to planine…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [6]

    Fefferman,The multiplier problem for the ball, Ann

    C. Fefferman,The multiplier problem for the ball, Ann. of Math. (2) 94 (1971), 330–336

    work page 1971

  2. [8]

    The Kakeya conjecture, after Wang and Zahl

    L. Guth,The Kakeya conjecture, after Wang and Zahl, preprint. arXiv:2604.03416

    work page Pith review arXiv

  3. [27]

    H. Wang, J. Zahl,Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions, arXiv:2502.17655, 2025

    work page Pith review arXiv 2025

  4. [1]

    A. S. Besicovitch,On Kakeya’s problem and a similar one, Mathematische Zeitschrift, 27 (1928), 312– 320

    work page 1928

  5. [2]

    Bourgain,Besicovitch type maximal operators and applications to Fourier analysis, Geom

    J. Bourgain,Besicovitch type maximal operators and applications to Fourier analysis, Geom. Funct. Anal. 1 (1991), no. 2, 147–187

    work page 1991

  6. [3]

    Bourgain,On the distribution of Dirichlet sums, J

    J. Bourgain,On the distribution of Dirichlet sums, J. Anal. Math. 60 (1993), 21–32

    work page 1993

  7. [4]

    C´ ordoba,The Kakeya maximal function and the spherical summation multipliers, Amer

    A. C´ ordoba,The Kakeya maximal function and the spherical summation multipliers, Amer. J. Math. 99 (1977), no. 1, 1–22

    work page 1977

  8. [5]

    Falconer,On the Hausdorff dimensions of distance sets, Mathematika 32 (1985), 206–212

    K. Falconer,On the Hausdorff dimensions of distance sets, Mathematika 32 (1985), 206–212

    work page 1985

Show all 28 references
  1. [7]

    Fischer,Sur la convergence en moyenne, Comptes rendus de l’Acad´ emie des sciences, 144 (1907), 1022–1024

    E. Fischer,Sur la convergence en moyenne, Comptes rendus de l’Acad´ emie des sciences, 144 (1907), 1022–1024

    1907

  2. [9]

    L. Guth, H. Wang, R. Zhang,A sharp square function estimate for the cone inR 3, Ann. of Math. (2) 192 (2020), no. 2, 551–581

    2020

  3. [10]

    Hickman,The Kakeya Conjecture: where does it come from and why is it important?, preprint

    J. Hickman,The Kakeya Conjecture: where does it come from and why is it important?, preprint. arXiv:2512.09842

  4. [11]

    Kakeya,Some problems on maximum and minimum regarding ovals, Tohoku Science Reports, 6 (1917), 71–88

    S. Kakeya,Some problems on maximum and minimum regarding ovals, Tohoku Science Reports, 6 (1917), 71–88

    1917

  5. [12]

    N. H. Katz, T. Tao,Stickiness, graininess, planiness, and a sum-product approach to the Kakeya problem, blog post, 2014,https://terrytao.wordpress.com/2014/06/30/ stickiness-graininess-planiness-and-a-sum-product-approach-to-the-kakeya-problem/

    2014

  6. [13]

    N. H. Katz, I. Laba, and T. Tao,An improved bound on the Minkowski dimension of Besicovitch sets in R3, Ann. of Math. (2) 152 (2000), no. 2, 383–446. 15

    2000

  7. [14]

    N. H. Katz, J. Zahl,An improved bound on the Hausdorff dimension of Besicovitch sets inR 3, J. Am. Math. Soc. 32 (2019), no. 1, 195–259

    2019

  8. [15]

    Keich,OnL p bounds for Kakeya maximal functions and the Minkowski dimension inR 2, Bull

    U. Keich,OnL p bounds for Kakeya maximal functions and the Minkowski dimension inR 2, Bull. London Math. Soc. 31 (1999), no. 2, 213–221

    1999

  9. [16]

    Orponen,On the dimension and smoothness of radial projections, Anal

    T. Orponen,On the dimension and smoothness of radial projections, Anal. PDE 12 (2019), no. 5, 1273– 1294

    2019

  10. [17]

    Orponen, P

    T. Orponen, P. Shmerkin, H. Wang,Kaufman and Falconer estimates for radial projections and a continuum version of Beck’s Theorem, Geom. Funct. Anal. 30 (2024), no. 4, 989–1062

    2024

  11. [18]

    M. Plancherel,Contribution ` a l’´ etude de la repr´ esentation d’une fonction arbitraire par des int´ egrales d´ efinies, Rendiconti del Circolo Matematico di Palermo, 30 (1): 289–335, 1910

    1910

  12. [19]

    Riesz,Sur les syst` emes orthogonaux de fonctions, Comptes rendus de l’Acad´ emie des sciences, 144 (1907), 615–619

    F. Riesz,Sur les syst` emes orthogonaux de fonctions, Comptes rendus de l’Acad´ emie des sciences, 144 (1907), 615–619

    1907

  13. [20]

    Riemann,Ueber die Anzahl der Primzahlen unter einer gegebenen Gr¨ osse, Monatsberichte der Berliner Akademie, 1859, 671–680

    B. Riemann,Ueber die Anzahl der Primzahlen unter einer gegebenen Gr¨ osse, Monatsberichte der Berliner Akademie, 1859, 671–680

  14. [21]

    Riesz,Sur les fonctions conjugu´ ees, Math

    M. Riesz,Sur les fonctions conjugu´ ees, Math. Z. 27 (1928), no. 1, 218–244

    1928

  15. [22]

    Shmerkin, H

    P. Shmerkin, H. Wang,On the distance sets spanned by sets of dimensiond/2inR d, Geom. Funct. Anal. 35 (2025), no. 1, 283–358

    2025

  16. [23]

    Tao,From rotating needles to stability of waves: emerging connections between combinatorics, anal- ysis, and PDE, Notices Amer

    T. Tao,From rotating needles to stability of waves: emerging connections between combinatorics, anal- ysis, and PDE, Notices Amer. Math. Soc. 48 (2001), no. 3, 294–303

    2001

  17. [24]

    K. Ren, H. Wang,Furstenberg sets estimate in the plane, preprint, arXiv:2308.08819

    arXiv

  18. [25]

    H. Wang, J. Zahl,The Assouad dimension of Kakeya sets inR 3, Invent. Math. 241 (2025), no. 1, 153–206

    2025

  19. [26]

    H. Wang, J. Zahl,Sticky Kakeya sets and the sticky Kakeya conjecture, J. Am. Math. Soc. 39 (2026), no. 2, 515–585

    2026

  20. [28]

    Wolff,Recent work connected with the Kakeya problem, Prospects in mathematics (Princeton, NJ, 1996), 129–162, Amer

    T. Wolff,Recent work connected with the Kakeya problem, Prospects in mathematics (Princeton, NJ, 1996), 129–162, Amer. Math. Soc., Providence, RI, 1999. UCLA Department of Mathematics, Los Angeles, CA 90095-1555. Email address:tao@math.ucla.edu 16

    1996

Pith tools

Reviewed August 27, 2026 · model on record in the stance chip above.