Every three-dimensional Kakeya set has Hausdorff and Minkowski dimension at least 2.5.
Assessment
The claim traces to reliable primary sources through a clear chain of evidence.
A Kakeya (or Besicovitch) set in three-dimensional space is a compact set containing a unit line segment pointing in every direction. That every such set has Hausdorff dimension, and hence Minkowski dimension, at least 5/2 is a theorem of Thomas Wolff, published in 1995 in the Revista Matemática Iberoamericana. Wolff proved an estimate for the Kakeya maximal function at the exponent (n+2)/2 in n dimensions, using what is now called the hairbrush argument; the dimension bound for Kakeya sets is the standard consequence of such an estimate, and in three dimensions the general bound (n+2)/2 gives exactly 5/2. The Minkowski part follows because the lower Minkowski dimension of a set is never less than its Hausdorff dimension.
The bound was the baseline for three decades of work on the three-dimensional Kakeya conjecture. Katz, Łaba and Tao raised the Minkowski bound to 5/2 plus a small constant in 2000, Katz and Zahl did the same for Hausdorff dimension in 2019, and in 2025 Wang and Zahl proved that every three-dimensional Kakeya set has dimension three, which entails this claim outright. The theorem has never been questioned; it is restated as established background in every survey of the problem, and the 5/2 threshold is understood to be the natural limit of Wolff's method, since the Heisenberg group and SL2 near misses show that arguments using only the volumes of intersecting tubes cannot do better.
Full reasoning: the evidence and decisions behind this verdict
The claim is a special case of a published theorem. Wolff, "An improved bound for Kakeya type maximal functions", Rev. Mat. Iberoam. 11 (1995), 651-674 (eudml.org/doc/39495), proves the Kakeya maximal function estimate at exponent (n+2)/2 in R^n; the corollary that Besicovitch sets in R^n have Hausdorff dimension at least (n+2)/2 is stated there and is standard (an L^p maximal estimate with δ^{-ε} loss at exponent p implies Hausdorff dimension at least p). For n=3 that is 5/2. Lower Minkowski dimension dominates Hausdorff dimension for any bounded set, so the Minkowski half of the claim follows immediately. This pass could not open Wolff's original paper (the arXiv PDF fetch of Guth's expository notes also failed on an encoding error), so the reading of the theorem rests on the expert secondary literature, which is unanimous and precise.
Joshua Zahl's survey (arxiv.org/html/2512.09397, December 2025), read directly, states Wolff's result as Theorem 2.2 with the volume bound and maximal estimate, and reads off: in R^3 every Besicovitch set has Hausdorff dimension at least 5/2. The passage recorded for that instance could not be matched mechanically against the stored text because the page renders mathematical notation with duplicated LaTeX source; the sentence is present at the start of Section 2 and was read in full. The Katz–Zahl paper (arxiv.org/abs/1704.07210, JAMS 2019) and the Katz–Łaba–Tao paper (arXiv math/0004015) are both framed as improvements on Wolff's 5/2, which is further confirmation that the bound was accepted as proved. The Quanta article of March 2025 states the claim accurately as background to the Wang–Zahl proof.
Independently of Wolff, the claim is entailed by the Wang–Zahl theorem that every three-dimensional Kakeya set has dimension three, which the graph holds as verified on the strength of Tao's and Guth's checking, a second published proof, and the 2026 Clay Research Award and Fields Medal. Either route suffices. The supporting subclaim on Wolff's general (n+2)/2 bound is unassessed but uncontested in the literature.
Both recorded instances affirm the claim; no source found denies or qualifies it. What would change the verdict: a demonstrated error in Wolff's 1995 argument that also undermined every subsequent proof, including the 2025 theorem, which no one has suggested. Residual uncertainty is confined to conventions: a reader using a nonstandard definition of "Kakeya set" (for example, sets containing full lines rather than unit segments, or sets in a non-Euclidean setting) is asking a different question.
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.
- supportsthis provides evidence for the parentsteward instructions →Every Kakeya set in R^n has Hausdorff dimension at least (n+2)/2 (Wolff's 1995 bound). ↗︎
- supportsthis provides evidence for the parentsteward instructions →The three-dimensional Kakeya conjecture has been proved: every three-dimensional Kakeya set has dimension three. ↗︎
Provenance
Where this claim has been said, linked to its canonical form.
Tom Wolff proved in 1995 that no three-dimensional Kakeya set has a Hausdorff or Minkowski dimension below 2.5.
Prior lower bound the new proof built on.
Asserted without evidence of the source's own. A popular account of the 2025 Wang and Zahl proof of the three-dimensional Kakeya conjecture. It states Wolff's 1995 bound of 2.5 as background, correctly and in a single sentence, without citing or discussing the underlying paper.
In ℝ3, Theorem 2.2 says that every Besicovitch set has Hausdorff dimension at least 5/2, and every union of δ tubes of cardinality δ−2 satisfying the Convex Wolff Axioms has volume |⋃T| ⪆ δ1/2.
Survey of progress on the Kakeya conjecture by a co-author of the 2025 proof; states Wolff's 1995 theorem (Theorem 2.2, a Kakeya maximal function estimate at dimension (n+2)/2 under the Convex Wolff Axioms) and reads off its three-dimensional consequence.
The source's own evidence bears what it asserts. An expert survey by a co-author of the 2025 proof of the three-dimensional Kakeya conjecture. It states Wolff's theorem in its general form, an estimate at dimension (n+2)/2 for tube families satisfying the Convex Wolff Axioms, cites the 1995 paper, and reads off the three-dimensional consequence. The survey does not reprove the theorem, but it gives the precise statement and the reason the bound is exactly 5/2: the Heisenberg group and SL2 near misses show the argument's tools cannot do better. Worth reading closely: Gives the exact statement of Wolff's theorem and the citation to the original paper, plus the reason 5/2 is the natural limit of Wolff's method. The quoted passage was not found in the stored copy of this source.
How these sources relate
- https://arxiv.org/html/2512.09397 draws its statement from An improved bound for Kakeya type maximal functions (Wolff, Rev. Mat. Iberoam. 11 (1995), 651-674), faithfully. The survey states the theorem as Wolff's and cites the 1995 Revista Matemática Iberoamericana paper; the three-dimensional Hausdorff bound is the standard corollary of an L^{(n+2)/2} Kakeya maximal estimate, so the statement is a faithful reading of the upstream result. Judged from the citing document alone.
Cite this claim: a formal citation with its evidence attached
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.