Kakeya in three and four dimensions

1 · The essentials

How small can a set be if it contains a straight segment of length one pointing in every direction? The two manuscripts address this question in three and four dimensions, using different ways of measuring size. In three dimensions, the main manuscript claims a bound on how large averages over thin, straight tubes can become. The bound allows some growth as the tubes get thinner, but less than any fixed positive power of their inverse width. In four dimensions, the companion manuscript claims that a set containing a unit segment in every direction must have dimension four under a precise mathematical measure of dimension. That claim requires no extra assumptions about the set's compactness or regularity. The main result is not formalized in Lean and has not been formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine trying to pack straight drinking straws so that there is one pointing in every direction, allowing them to overlap. The manuscripts ask how small such a collection can be and how strongly thin tubes can concentrate averages; physical straws do not capture the exact mathematical questions, especially in four dimensions.

Why it matters

The source presents these claims as resolutions of two Kakeya conjectures: a maximal-average conjecture in three dimensions and a Hausdorff-dimension conjecture in four. They give two distinct kinds of constraint on collections containing straight segments in every direction. The four-dimensional statement is particularly broad in its hypotheses, imposing no compactness or regularity requirement on either the set or the chosen segments.

2 · Going further

The three-dimensional problem concerns a maximal operator: for each direction, take the largest average over unit tubes of radius $δ$ pointing in that direction. The main manuscript claims that this operator maps $L^{3} (R^{3})$ to $L^{3} (S^{2})$ with operator norm at most $C_{ε} δ^{- ε}$ for every $ε > 0$ . Here $S^{2}$ represents the directions in three-dimensional space, and the constant is allowed to depend on $ε$ . This is the estimate identified in the source as the three-dimensional Kakeya maximal conjecture.

The companion manuscript addresses a dimension question rather than an operator estimate. It claims that every subset of $R^{4}$ containing a unit line segment in every direction has Hausdorff dimension four. Its abstract explicitly states that neither the set nor its witnessing line family needs to satisfy compactness or regularity assumptions.

The manuscripts are related by their focus on Kakeya configurations, but the supplied abstracts state only their conclusions. They do not describe the main idea of either argument or explain whether one result is used to obtain the other. Thus no proof strategy or logical dependence between the manuscripts can be reported from this source.

Useful notions

Unit line segments and directions
Averages over thin tubes
Functions and their $L^{3}$ norms
Hausdorff dimension

What was known before / what is new

Before

The source identifies the targets as the Kakeya maximal conjecture in three dimensions and the Hausdorff-dimension Kakeya conjecture in four dimensions. It supplies no account of earlier estimates, partial results, or historical development.

New

The main manuscript claims the three-dimensional maximal-operator estimate with a loss of at most $C_{ε} δ^{- ε}$ for every $ε > 0$ . The companion claims full Hausdorff dimension for every four-dimensional Kakeya set. The latter statement explicitly includes sets and witnessing line families without compactness or regularity assumptions.

Limits and assumptions

The maximal-operator claim concerns unit tubes of radius $δ$ in three dimensions and the stated $L^{3}$ spaces; it does not state a bound independent of $δ$ . The dimension claim concerns subsets of $R^{4}$ containing a unit segment in every direction and specifically uses Hausdorff dimension. The supplied abstracts contain no argument details, and the source does not specify what remains open beyond these claims. The main result is not formalized in Lean and has not been formally verified.

Mini glossary

Kakeya set: A set containing a unit line segment in every direction.
Maximal operator: Here, an operation that assigns to each direction the largest average over unit tubes of a specified radius pointing in that direction.
$L^{3}$ norm: A measure of a function's size obtained by integrating its absolute value cubed and taking the cube root.
Hausdorff dimension: A notion of dimension that measures a set's size through coverings at arbitrarily small scales.
Witnessing line family: A collection of line segments contained in the set that supplies a unit segment in every direction.

Keywords : Kakeya sets · Maximal operators · Hausdorff dimension

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Resolves the Kakeya maximal conjecture in three dimensions and the Hausdorff-dimension conjecture in four. In three dimensions, the radius-δ tube maximal operator maps $L^{3} (R^{3})$ to $L^{3} (S^{2})$ with norm $O_{ε} (δ^{- ε})$ for every ε > 0. In four dimensions, every set containing a unit segment in every direction has Hausdorff dimension four.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

The Kakeya maximal conjecture in three dimensions

23/09/2026

To be verified

We prove the Kakeya maximal conjecture in three dimensions. For every ε > 0, the maximal average over unit tubes of radius δ maps $L^{3} (R^{3})$ to $L^{3} (S^{2})$ with norm at most $C_{ε} δ^{- ε}$ .

PDF GitHub folder

Every four-dimensional Kakeya set has full Hausdorff dimension

24/09/2026

To be verified

We prove the four-dimensional Hausdorff-dimension Kakeya conjecture: every subset of ℝ⁴ containing a unit line segment in every direction has Hausdorff dimension four. No compactness or regularity assumption is imposed on the set or its witnessing line family.

PDF GitHub folder