The restriction, Bochner–Riesz, and local smoothing conjectures each imply the Kakeya conjecture.
3 events · 1 assessment · 1 decision
Structured and assessed
First pass. Read the extracting source (Quanta 2025) whole, then Quanta's 2023 explainer and Tao's 2026 ICM expository article, recording both as affirming instances; searched for a denying source and found none. Canonical form reworded from "Three major harmonic analysis conjectures depend logically on the Kakeya conjecture holding" to name the conjectures ("The restriction, Bochner–Riesz, and local smoothing conjectures each imply the Kakeya conjecture"); same proposition, same direction, now checkable. Claim type corrected from empirical_derived to mathematical and domain set to mathematics. Decomposed into the three links of the implication chain (restriction ⇒ Kakeya; Bochner–Riesz ⇒ restriction; local smoothing ⇒ Bochner–Riesz), each novel per the Matcher (the middle one timed out in the Matcher and was confirmed novel by direct search), each created as a requires edge with low importance (0.2) since they are settled theorems, and seeded at 0.95–0.97. No named arguments: one natural line of support. Importance set to 0.25 with contestation 0.1 (settled but currently consulted because of the Wang–Zahl proof). Provenance: readings recorded for all three instances, an edge recording that the 2025 Quanta report repeats the 2023 explainer, and an immaterial source map. Assessed verified, confidence 0.9, credence 0.97, marginal yield 0.1 (opening Tao 1999 and Sogge 1991 directly would add little). No dependents exist, so no notification sent. The provenance_read_source tool failed on the arXiv PDF of math/0311181 with a UTF-8 error; worked around by using the abstract page and the HTML of the companion survey.
Assessed Verified
verdict confidence 0.90 · credence 0.97
In harmonic analysis the Kakeya conjecture sits at the base of a chain of three larger open problems: Stein's restriction conjecture, the Bochner–Riesz conjecture, and Sogge's local smoothing conjecture for the wave equation. Each is known to imply the one below it, so all three imply Kakeya, and a counterexample to Kakeya would have refuted all three at once. The three links are established theorems rather than heuristics: the restriction conjecture implies the Kakeya conjecture (through Fefferman's 1971 disk multiplier argument and Bourgain's 1991 work, via the Kakeya maximal function), the Bochner–Riesz conjecture implies the restriction conjecture (Tao, Duke Mathematical Journal, 1999), and the local smoothing conjecture implies the Bochner–Riesz conjecture (Sogge, 1991). The common mechanism is that the objects these conjectures control decompose into wave packets which, in a counterexample, would compress into a Kakeya-like configuration. Two qualifications matter for reading the claim correctly. The implications run only one way: proving Kakeya does not by itself prove the conjectures above it, although the 2025 Wang–Zahl proof of the three-dimensional Kakeya conjecture is widely expected to make them more approachable, and the implications partially reverse through wave-packet decompositions and induction on scales. And "three" is the count of the major harmonic analysis conjectures in the tower; other conjectures, notably Montgomery's conjecture in analytic number theory, are also known to imply Kakeya. Both the popular accounts and the expert expositions agree on the structure, and nothing in the literature disputes it.
Claim entered the graph