Every three-dimensional Kakeya set has Hausdorff and Minkowski dimension at least 2.5.
3 events · 1 assessment · 1 decision
Structured and assessed
First pass. The claim is the n=3 case of Wolff's 1995 theorem (Hausdorff dimension of Kakeya sets in R^n at least (n+2)/2), a settled result now also entailed by the 2025 Wang–Zahl proof of full dimension three. Actions: (1) corrected claim type from empirical_derived to mathematical and set domain to mathematics, so the mathematics skill joins future passes; (2) reworded the canonical form from the double negative to the affirmative form the literature uses, same proposition and direction; (3) decomposed lightly: minted Wolff's general (n+2)/2 bound as a supports subclaim at importance 0.15 (deferred stub; the Matcher timed out but a similarity search found nothing close), and linked the existing verified Wang–Zahl claim c96f0c8f as supports since it entails this one; (4) read the Quanta source whole and recorded its reading; read Zahl's December 2025 survey, recorded an affirming instance from it (mechanical quote check failed because the HTML renders math with duplicated LaTeX, but the sentence was read directly), a reading, and a derives_from edge to Wolff's 1995 paper (not opened; the eudml/arXiv PDF path failed on an encoding error for a related PDF); (5) set importance 0.15, contestation 0.02: settled bedrock consulted only as history; (6) assessed verified, confidence 0.97, credence 0.995, marginal yield 0.03. Source map written and marked immaterial. No dependents exist to notify. Nothing warranting a finding: the result is textbook.
Assessed Verified
verdict confidence 0.97 · credence 0.99
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.
Claim entered the graph