Outline of the Wang-Zahl proof of the Kakeya conjecture in $\mathbb{R}^3$

Larry Guth

Outline of the Wang-Zahl proof of the Kakeya conjecture in $\mathbb{R}^3$

T0 review · 3 major / 2 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read Detailed outline shows Kakeya in R^3 follows from the sticky case.

desk verdict An honest expository outline of Wang-Zahl's proof; its value depends entirely on fidelity to the original, which cannot be checked from the abstract alone. read the letter →

arxiv 2508.05475 v1 pith:WNC3U5N7 submitted 2025-08-07 math.CA

Larry Guth This is my paper · ORCID

classification math.CA MSC 42B2528A78

keywords KakeyaconjecturestickycaseWang-ZahlproofHausdorffdimensiontubeconfigurationsBesicovitchsetsharmonicanalysis

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 paper is an expository outline of a recent proof by Wang and Zahl that the Kakeya conjecture in three dimensions is implied by its 'sticky' special case. The sticky case, in which the tubes comprising a Kakeya set are assumed to align in a particular way, had been proven earlier by the same authors using an approach suggested by Katz and Tao. If the outline is correct and the earlier proof holds, the Kakeya conjecture in $\mathbb{R}^3$ — that every set containing a unit segment in every direction has full Hausdorff dimension — is established. The paper's contribution is a detailed map of the reduction, making the logic of the proof transparent and checkable.

What carries the argument

The key machinery is the 'sticky case' itself: a structural classification of tube configurations in which a tube, once it comes close to another, tends to stay close, allowing the Kakeya problem to be treated with local combinatorial estimates. The outline also relies on a dyadic decomposition of directions and scales that separates sticky from non-sticky behavior. The named objects are the Wang-Zahl proof and the Katz-Tao approach to the sticky case.

What would settle it

A concrete falsifier would be a gap in the dyadic step where non-sticky tubes are removed: if one can construct a family of unit tubes in $\mathbb{R}^3$ whose non-sticky part has dimension strictly below the claimed $2-\epsilon$ bound, the reduction would fail. The standard three-dimensional Besicovitch set is the natural place to look.

Watch

Extended reading notes

Core claim

The central claim is that no matter how a Kakeya set's unit tubes are arranged, one can decompose the configuration into a 'sticky' part, where tubes stay close over long scales, and a 'non-sticky' part that costs no dimension. The non-sticky part is handled by direct estimates, and the sticky part is exactly the theorem proved earlier. This paper lays out the reduction step by step, aiming to show that the full conjecture is a corollary of the sticky case.

Load-bearing premise

The entire outline rests on the previously proven sticky case; if that theorem has a gap, the reduction does not establish the Kakeya conjecture.

Editorial extensions

If this is right

If correct, the Kakeya conjecture in $\mathbb{R}^3$ is no longer open; it is reduced to a verified theorem.
The outline provides a roadmap that can be checked line by line, enabling independent verification of the reduction.
The structural dichotomy between sticky and non-sticky tubes may become a standard tool in harmonic analysis.
The argument may clarify which parts of the proof genuinely rely on dimension 3 and which parts generalize.

Reading between the lines

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

The reduction's dyadic decomposition could plausibly be adapted to prove related bounds, such as the Kakeya maximal conjecture with sharp constants, though the paper does not claim this.
A formalization of this outline in a proof assistant would be a concrete test of its rigor.
The sticky/non-sticky dichotomy suggests that the hardest part of Kakeya-type problems is local concentration, not global geometry; that lens could inform higher-dimensional attempts.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

You should know up front: this is not a new result. It is an outline by Guth of a proof by Wang-Zahl, and the abstract says so plainly. The entire value of the paper rests on whether the outline is faithful to the original proof. Since we only have the abstract, that question is wide open.

What the paper does well, based on the abstract, is honest attribution. Guth gives credit to Wang-Zahl for both the reduction and the sticky-case theorem, with Katz-Tao mentioned for the approach. That is exactly how an expository outline should be framed. The conditional claim—that Kakeya in R^3 follows from the sticky case—is stated without overreach. If the outline is accurate, it gives the community a readable map of a major proof, which is genuinely valuable even if it contains no new mathematics.

The soft spots are the load-bearing dependencies. The outline's correctness depends on (i) the sticky-case theorem being true and matching the exact definition used in the reduction, and (ii) the outline not dropping technical conditions like scale inductions or constant dependencies. The stress-test note raises a fair point: a subtle mismatch between the sticky condition in the earlier theorem and the one needed in the reduction could invalidate the whole thing. But that is an unresolved dependency, not a demonstrated flaw. Without the full text, no referee or reader can verify the exposition, so the only sensible verdict is unverified.

The citation pattern looks clean: Guth is not claiming the result, and he is not citing himself. The paper's purpose is exposition, and that is a legitimate genre.

Who is this for? Anyone who wants to understand the structure of the Wang-Zahl proof without digging through their original paper. For that audience, a careful outline by Guth is likely to be very useful—if it is correct. I would not cite it in my own work before checking it against the original, but I would consider it after that.

Recommendation: send it to peer review. A detailed outline of a major proof by a leading expert deserves scrutiny, and the referees should be asked to compare it against the original Wang-Zahl paper line by line. The paper is not a breakthrough on its own, but it could become the standard entry point to a real breakthrough. A serious editor should not desk-reject it.

Referee Report

3 major / 2 minor

Summary. The paper claims to provide a detailed outline, due to Wang and Zahl, of a proof that the Kakeya conjecture in R^3 follows from the 'sticky case,' and notes that the sticky case was proved in earlier Wang-Zahl work building on an approach suggested by Katz-Tao. The abstract presents a conditional result: if the sticky case theorem is true and the outline faithfully represents the reduction, then the full Kakeya conjecture in R^3 is established. The submitted material contains no equations, definitions, theorem statements, or derivation details; it is an abstract-only submission.

Significance. If the outline is accurate and complete, and if the prior sticky-case theorem is exactly the statement needed by the reduction, the paper would provide a valuable expository bridge to the proof of the Kakeya conjecture in R^3, a major open problem in harmonic analysis. The paper honestly attributes the proof to Wang-Zahl and clearly frames the result as conditional on the sticky case, which is a strength. However, the significance is entirely conditional and cannot be independently checked from the abstract alone: the sticky case is not defined, the reduction theorem is not stated, and no proof skeleton is visible to verify quantifiers or technical hypotheses.

major comments (3)

[Abstract (only available section)] The central claim is that a 'detailed outline' of the reduction from the Kakeya conjecture to the sticky case is provided, but the submitted material contains no mathematical definitions, theorem statements, or equations. In particular, the term 'sticky case' is not defined, and the precise statement of the reduction theorem is absent. This is load-bearing: the paper's only claim is the existence and correctness of this reduction, and the abstract alone does not allow the reader to check that the reduction covers all cases, manages all scales, or preserves the required exponent.
[Abstract (dependency on prior work)] The argument depends entirely on the sticky-case theorem of Wang-Zahl. The abstract does not state the exact formulation of that theorem, including the precise definition of 'sticky', the exponents involved, and the scale or dimension assumptions. If the earlier theorem was proved for a narrower sticky condition than the one used in the reduction, or if the reduction invokes the prior theorem outside its range of validity, the conditional conclusion would fail. The outline cannot be assessed as sound without a statement of the earlier theorem and a verification that the hypotheses align.
[Abstract (lack of verifiable proof structure)] The phrase 'detailed outline' is unverifiable from the abstract. A rigorous outline of such a reduction would need to specify the induction or decomposition structure, the role of the sticky estimate, and how the remaining non-sticky configurations are handled. None of this structure is available for inspection. Consequently, the claim that the Kakeya conjecture 'follows' from the sticky case remains an assertion rather than a demonstrated consequence in the submitted material.

minor comments (2)

[Abstract] The abstract refers to 'Wang-Zahl' and 'Katz-Tao' without citations or arXiv identifiers. Adding precise references to the earlier sticky-case paper and to the recent paper with the full proof would help readers verify the attribution and the conditions of the sticky theorem.
[Abstract] The paper should clarify what the present outline adds beyond the Wang-Zahl paper itself—for example, whether it reorganizes, simplifies, or fills in details of the original argument, and which parts are quoted verbatim versus paraphrased.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the outline derives Kakeya from the sticky case, an external earlier theorem, with no fitted inputs or self-referential reduction.

full rationale

The abstract presents a conditional derivation: 'the proof that the Kakeya conjecture follows from the sticky case.' The sticky case is explicitly attributed to earlier work of Wang-Zahl, building on Katz-Tao. This is an external, prior result that the outline takes as a premise; the derivation from it is a normal mathematical reduction, not a circular one. There is no evidence of any parameter fitted to the target conclusion, no self-citation chain that supplies the load-bearing assumption, and no renaming of a known result as a new derivation. The author is Guth, not Wang-Zahl, so self-citation is not a concern. The only potential issue is that the full text is unavailable and the truth of the sticky-case theorem itself is an external dependency, but unresolved external dependency is not circularity. Without quotable equations or reductions showing that an input equals the output by construction, no circular step can be identified.

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

Since only the abstract is available, the ledger is based on the assertions in the abstract. No free parameters or invented entities appear. The paper relies on the previously proven sticky case and the Katz-Tao strategy as axioms.

assumptions (2)

domain assumption The sticky case of the Kakeya conjecture in R^3 is true.
Abstract attributes this to earlier Wang-Zahl work; the outlined reduction treats it as a proven input.
domain assumption The Katz-Tao approach is a valid foundation for the sticky-case proof.
Abstract credits the approach suggested by Katz-Tao; the outline depends on it implicitly.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Outline of the Wang-Zahl proof of the Kakeya conjecture in $\mathbb{R}^3$." pith.science (2026). https://pith.science/paper/WNC3U5N7

@misc{pith2026250805475,
  author       = {Pith},
  title        = {Pith review of: Outline of the Wang-Zahl proof of the Kakeya conjecture in $\mathbbR^3$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WNC3U5N7}},
  note         = {Machine review of arXiv:2508.05475}
}

read the original abstract

We give a detailed outline of the proof that the Kakeya conjecture follows from the sticky case. This proof is due to Wang and Zahl and appears in a recent paper. The sticky case was proven in earlier work of Wang-Zahl, building on an approach suggested by Katz-Tao.

Discussion (0). Continue with ORCID to comment.

Pith tools

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