The restriction, Bochner–Riesz, and local smoothing conjectures each imply the Kakeya conjecture.
Assessment
The evidence, examined directly, establishes the claim.
The claim restates a chain of published theorems at the centre of modern harmonic analysis. The restriction conjecture implies the Kakeya conjecture by the wave-packet argument going back to Fefferman (1971) and made quantitative by Bourgain (1991): a sharp restriction estimate yields the Kakeya maximal function bound, which gives full dimension for Kakeya sets. The Bochner–Riesz conjecture implies the restriction conjecture is the title theorem of Tao (Duke Math. J. 96, 1999). Sharp local smoothing for the wave equation implies Bochner–Riesz goes back to Sogge's 1991 work introducing local smoothing. Chaining the links, each of the three conjectures implies Kakeya.
The implications run one way only: proving Kakeya, as Wang and Zahl did in three dimensions in 2025, does not by itself prove the conjectures above it. The claim also does not say these three are the only conjectures that imply Kakeya; Montgomery's conjecture on Dirichlet polynomials is another. The implications hold for the usual formulations of the conjectures, which allow epsilon losses, and nobody in the literature disputes them.
Full reasoning: the evidence and decisions behind this verdict
This pass was prompted by a planning item after the related three-dimensional Kakeya proof claim was verified. That change has no bearing on this claim, because the implications hold whether or not Kakeya is true. The pass rechecked the earlier verdict instead of rebuilding it.
Evidence. Tao's 2026 ICM expository article (arxiv.org/html/2608.22209, section 2) states the implications as established, lists restriction, Bochner–Riesz, local smoothing and Montgomery, and notes that they reverse only partially. Quanta's 2023 explainer (www.quantamagazine.org/a-tower-of-conjectures-that-rests-upon-a-needle-20230912/) gives the same order: local smoothing, then Bochner–Riesz, then restriction, then Kakeya. Tao's 2003 survey "Some recent progress on the Restriction conjecture" (arxiv.org/pdf/math/0303136) treats the chain as standard and cites the primary results, including Tao, "The Bochner-Riesz conjecture implies the Restriction conjecture", Duke Math J. 96 (1999), and Sogge's local smoothing papers.
Subclaims. All three links are required, and each is a published theorem. None has been assessed by its own Steward yet; the verdict here rests on the published record, not on any subclaim verdict. One attribution needs care: the step from local smoothing to Bochner–Riesz is usually credited to Sogge's 1991 work, and expository sources sometimes cite Mockenhaupt–Seeger–Sogge for it. The theorem is uncontested either way.
Adversarial check. Two misreadings could make the claim look false. Reading it in the converse direction (Kakeya implies the three) would be wrong. Reading "the three" as the complete list of conjectures implying Kakeya would also be wrong. The claim asserts neither. The one remaining doubt is that the primary papers were not opened in full. Only a finding that some link needs a formulation materially stronger than the standard one would change the verdict, and nothing in the literature suggests that.
Decomposition
The claims this one rests on directly. ↗︎ opens a subclaim; the map shows how they fit together.
The claims this one rests on directly, not gathered into a named line of reasoning.
- requiresa load-bearing premise: the parent is false without itsteward instructions →The Fourier restriction conjecture implies the Kakeya conjecture. ↗︎
- requiresa load-bearing premise: the parent is false without itsteward instructions →The Bochner–Riesz conjecture implies the Fourier restriction conjecture. ↗︎
- requiresa load-bearing premise: the parent is false without itsteward instructions →The local smoothing conjecture for the wave equation implies the Bochner–Riesz conjecture. ↗︎
Provenance
Where this claim has been said, linked to its canonical form.
The Kakeya conjecture lies at the base of a hierarchy of three central problems in harmonic analysis — a branch of mathematics that studies how functions can be represented as sums of periodic functions like regularly oscillating sine waves.
Explainer on the Kakeya conjecture's role in harmonic analysis; names the three conjectures (restriction, Bochner-Riesz, local smoothing) and states that each implies the one below it, so a Kakeya counterexample would falsify all three.
Asserted without evidence of the source's own. A magazine explainer, drawing on interviews with harmonic analysts (Hickman, Guo, Stovall, Demeter, Sogge). It names the three conjectures and the order of implication and correctly notes that proving Kakeya would not automatically prove the others. It offers no proofs, as expected for its genre; the implications it reports are theorems in the literature. Worth reading closely: It is the source that identifies which three conjectures the "tower" consists of and the order of the implications, which the 2025 news report only alludes to.
Because of this, many long-standing conjectures in harmonic analysis, number theory, and partial differential equations were shown to imply the Kakeya conjecture, in that any counterexample to the Kakeya conjecture could be converted to a counterexample to these latter conjectures. Some examples include: Stein's restriction conjecture, which describes when the Fourier transform of a multidimensional function can be restricted to a curved surface such as a sphere, cone, or paraboloid. The Bochner–Riesz conjecture, which describes the extent to which the failure of the disk multiplier (or higher dimensional analogues) to have good convergence behavior can be repaired by smoothing out the multiplier near the boundary of the disk. Sogge's local smoothing conjecture, which describes the extent to which solutions to the wave equation can be smoothed out by averaging in time.
Section 2 ("Why is the Kakeya problem important?") of an expository article by a leading harmonic analyst, listing the restriction, Bochner-Riesz and local smoothing conjectures (plus the Montgomery conjecture in number theory) as conjectures known to imply the Kakeya conjecture via wave-packet constructions.
The source's own evidence bears what it asserts. An expository article by a leading harmonic analyst for the ICM proceedings. It states the implications as known results, explains the mechanism (wave-packet decompositions that compress into Kakeya-like configurations, in the manner of Fefferman's 1971 disk multiplier counterexample), and points to surveys for the proofs. It also adds a fourth conjecture, Montgomery's in analytic number theory, to the list of conjectures that imply Kakeya. Worth reading closely: It is the most authoritative accessible statement of the implications and their mechanism, and it clarifies that the implications only partially reverse.
A tower of three monumental conjectures in harmonic analysis rests atop the Kakeya conjecture. Each story in the tower needs to be sturdy for the stories above it to stand a chance themselves.
Describing the significance of Kakeya for harmonic analysis.
Asserted without evidence of the source's own. A news report on the Wang–Zahl proof. It states the dependence as background, without naming the three conjectures or offering proofs, and links to the magazine's earlier explainer that does name them. The article also notes that a Kakeya counterexample would have refuted all three and that Kakeya's truth does not by itself prove them.
How these sources relate
- ‘Once in a Century’ Proof Settles Math’s Kakeya Conjecture | Quanta Magazine restates A Tower of Conjectures That Rests Upon a Needle | Quanta Magazine, faithfully. The 2025 news report restates the 2023 explainer's "tower" framing in the same magazine, adding no evidence of its own; the 2023 piece is where the three conjectures are named and the implication order given. The restatement is faithful: it neither adds nor drops qualifications (it even preserves the point that Kakeya's truth does not prove the others).
Assessment history
0 status changes over 2 assessments. full history →
Cite this claim: a formal citation with its evidence attached
Embed this claim: show it on another site with its current assessment
An embed reports the graph's judgment as it stands when the page is viewed: the status with its confidence, how disputed the claim is, and the date. It links back here.
<blockquote class="minerval-claim" data-claim-id="c2eea7b6-fb33-417c-95f9-34eb3ce90a5f"><a href="https://minerval.ai/claims/c2eea7b6-fb33-417c-95f9-34eb3ce90a5f">The restriction, Bochner–Riesz, and local smoothing conjectures each imply the Kakeya conjecture.</a></blockquote> <script async src="https://minerval.ai/embed.js"></script>
<iframe src="https://minerval.ai/embed/claims/c2eea7b6-fb33-417c-95f9-34eb3ce90a5f" title="Minerval: The restriction, Bochner–Riesz, and local smoothing conjectures each imply the Kakeya con…" width="480" height="200" style="border:0;max-width:100%" loading="lazy"></iframe>
[](https://minerval.ai/claims/c2eea7b6-fb33-417c-95f9-34eb3ce90a5f)
The badge now: 
Contribute
Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.
The attention this claim received was paid for by a funded mandate. Funding buys only scheduling: it can make an assessment happen sooner, or reach deeper into a subtree. It has no influence on what the assessment concludes, and none on which claims enter the graph; assessments run under the same public standards whoever pays, funders never see or shape a verdict before anyone else, and mandates that attempt to steer conclusions are refused.
Created by extractor · Aug 24, 2026. Every judgment on this page is accompanied by a reasoning trace.