Kakeya tube averages in three dimensions and sets in four

← All digests

Family 074 · Real and complex analysis
Importance 5/5 · Provisional editorial rating
Sources consulted 2026-10-14

1. The question

How much space is forced by having a unit line segment in every direction? One might imagine that so many different directions must fill a region of positive volume. Besicovitch’s constructions show otherwise: segments can be packed into a set of volume zero.

The Kakeya dimension conjecture asks for the surviving form of largeness. Must such a set nevertheless have the full Hausdorff dimension of its ambient space? A related maximal-function conjecture asks how strongly many thin tubes can concentrate averages of the same function.

Family 074 contains two different claimed advances. One manuscript establishes the three-dimensional maximal estimate, going beyond the previously known three-dimensional set theorem. The other establishes full Hausdorff dimension for every four-dimensional Kakeya set. It does not claim the four-dimensional maximal estimate.

2. Background and essential definitions

Segments, tubes and dimension

A Kakeya set $K\subset\mathbb R^n$ contains a unit segment in every direction: for each unit vector $e\in S^{n-1}$, some point $a_e$ satisfies

$$\{a_e+te:0\le t\le1\}\subset K.$$

The sphere $S^{n-1}$ parametrizes directions. The base point may depend on the direction; the segments need not pass through one common point.

Hausdorff dimension is defined by coverings with small sets, allowing the covering diameters to vary. Roughly, dimension $s$ is detected by the sums of the $s$-th powers of those diameters. A set can have full dimension $n$ while having zero $n$-dimensional volume. Thus the dimension conjecture is compatible with Besicovitch’s examples.

Minkowski dimension instead counts covering boxes at one common scale. The Hausdorff conclusion is stronger than a full upper Minkowski-dimension conclusion, and the two should not be substituted for one another.

A tube is a thickened line segment. In $\mathbb R^3$, a tube of length one and radius $\delta$ can be written as

$$T_\delta(a,e)=\{a+te+u:|t|\le1/2,\ u\cdot e=0,\ |u|\le\delta\}.$$

Its volume is $\pi\delta^2$. Taking $\delta$ small connects estimates for positive-volume tubes with geometric statements about ideal line segments.

A maximal average over directions

For a measurable function $f$, define

$$K_\delta f(e)=\sup_{a\in\mathbb R^3} \frac1{\pi\delta^2}\int_{T_\delta(a,e)}|f(x)|\,dx.$$

For each direction, this chooses whichever translated tube has the largest average. The output is a function on the sphere, while the input is a function in space.

The norm $\|f\|_3=(\int |f|^3)^{1/3}$ measures the total size of the input. A bound for $\|K_\delta f\|_3$ says that high averages cannot occur in too many directions without requiring enough input mass. The supremum over translations makes this substantially stronger than estimating a fixed collection of tube positions.

3. Development history and previous partial results

The classical needle problem motivated Kakeya geometry, but continuously rotating a needle inside a small region and merely containing segments in all directions are different requirements. Besicovitch’s 1928 constructions exposed how much overlap is possible. Davies proved full Hausdorff dimension in the plane in 1971.

In higher dimensions, Wolff’s hairbrush method studied the many tubes meeting one reference tube. It led to the lower bound $(n+2)/2$, giving $5/2$ in three dimensions and three in four dimensions. Subsequent work used additive combinatorics, multilinear estimates and polynomial geometry to improve such bounds.

Katz, Łaba and Tao identified useful structure in nearly extreme three-dimensional configurations: neighboring tubes can remain grouped across scales, directions near a point can concentrate near a plane, and the union can organize into thin planar pieces. These phenomena are often called stickiness, planiness and graininess.

Wang and Zahl resolved the three-dimensional Hausdorff- and Minkowski-dimension conjectures. Guth, Wang and Zahl subsequently gave a streamlined proof. The first new manuscript explicitly uses that set estimate as an input. Its target is the sharper dependence on how much of each tube is occupied.

The four-dimensional history remained different. Polynomial Wolff estimates and algebraic direction bounds gave a Hausdorff lower bound above three. Katz and Zahl’s planebrush work yielded a Hausdorff bound of at least $3.059$, alongside a distinct maximal estimate. More recent results covered specially structured sticky families. The second new manuscript claims dimension four for arbitrary Kakeya sets without those structural assumptions.

4. What the new manuscripts claim

The three-dimensional maximal theorem

The first paper states that, for every $\varepsilon>0$, some finite $C_\varepsilon$ satisfies

$$\|K_\delta f\|_{L^3(S^2)} \le C_\varepsilon\delta^{-\varepsilon} \|f\|_{L^3(\mathbb R^3)}$$

for every $0<\delta<1$ and every $f\in L^3(\mathbb R^3)$. Sphere measure is ordinary surface measure. The constant may depend on $\varepsilon$, but not on $\delta$, the function or the chosen tube positions.

The factor $\delta^{-\varepsilon}$ permits an arbitrarily small power loss. It is not a scale-independent constant or an asserted logarithmic bound.

The paper emphasizes a geometric version. Give each tube a measurable shaded subset occupying at least a fraction $\lambda$ of its volume. For tubes with appropriately separated directions, the desired union bound has the density factor $\lambda^3$. Earlier set estimates could use a much worse power depending on the allowed scale loss. Retaining the cubic power uniformly over $0<\lambda\le1$ is the essential strengthening.

The four-dimensional set theorem

The second paper states that every $K\subset\mathbb R^4$ containing a unit segment in every direction satisfies

$$\dim_H K=4.$$

Neither the set nor the choice of witnessing segments is assumed measurable. The covering definition of Hausdorff dimension makes sense without those assumptions. Compactness, stickiness and a prescribed packing dimension of the line family are also absent from the theorem’s hypotheses.

The four-dimensional argument uses a weighted geometric estimate from its three-dimensional companion. It develops additional machinery to pass from that input to its separate dimension conclusion.

5. Why the advance matters

Importance: 5/5. The two stated results address central forms of the Kakeya problem, a meeting point of geometric measure theory and harmonic analysis. Thin tubes also describe where localized oscillatory waves concentrate, which explains why their overlaps affect Fourier restriction and dispersive estimates.

The three-dimensional advance controls sparse pieces of tubes sharply enough to handle general functions. This is information that the set-dimension theorem alone does not supply. The four-dimensional advance removes the remaining dimension deficit for all Kakeya sets in that space.

Together they would extend two different boundaries of the theory: the strength of estimates in a dimension where the set problem is already solved, and the dimensions in which arbitrary sets are known to be full-dimensional. Neither manuscript needs to be described as settling every Kakeya conjecture to have exceptional significance.

6. The main idea

Keep the missing portions of tubes in the bookkeeping

A shading can occupy half a tube in one long interval, or half a tube spread through many short pieces. Those patterns behave differently when the configuration is examined at a smaller scale. Total density alone does not record enough information.

The three-dimensional paper represents tubes by affine trajectories and marks the times at which their shadings are present. It tracks a profile of how these marked times branch at successive scales. Original tube indices and weights are retained even when restrictions make two trajectories look identical.

Assuming the desired estimate fails, the manuscript constructs limiting configurations that are extreme for a family of inequalities. Multilinear Kakeya estimates force suitable pieces of these configurations to be nearly planar; planar incidence estimates then constrain how much material can fit into the resulting plates.

The argument compares observations in two moving coordinate frames. Entropy measures how many spatial or directional possibilities remain after some information is fixed. Projection estimates impose bounds on those possibilities, while the hypothetical extreme configuration demands more of them. The stated contradiction rules out the excess concentration needed to violate the maximal estimate.

This use of information is quantitative bookkeeping about dependent geometric choices. It does not assume independently placed random tubes.

Approximate concentrated lines by quadratic relations

The four-dimensional manuscript organizes line pieces inside local boxes and time intervals where a quadratic polynomial is small. Such a local description is called a chart. A useful chart must capture enough weighted incidence mass; fitting a polynomial to a negligible exceptional collection would not advance the argument.

A hypothetical dimension deficit forces a tradeoff between the thickness of these polynomial relations and the lengths of line pieces they capture. The paper follows nearly optimal charts through nested scales and distinguishes roughly balanced boxes from increasingly narrow ones.

In the balanced case, several sufficiently independent directions constrain a common approximate polynomial field. In narrow cases, lower-dimensional projections and planar rigidity estimates constrain the trajectories. The stated goal in each regime is to produce better charts than the assumed extremal tradeoff permits.

The manuscript stresses that improved local fits must be returned to the original line family with sufficient coverage and controlled numbers of labels. This is how its local algebraic descriptions are intended to yield a global Hausdorff-dimension conclusion.

7. Scope, limitations, and open questions

The four-dimensional conclusion is full Hausdorff dimension, not positive volume. It does not contradict measure-zero Kakeya constructions, and it does not establish the four-dimensional maximal conjecture.

The three-dimensional theorem allows every positive power loss $\delta^{-\varepsilon}$. Improving this to a specific logarithmic bound or a uniform constant is a separate quantitative question. The constant’s dependence on $\varepsilon$ matters if one wants explicit numerical estimates.

The papers also discuss Nikodym and curved-Kakeya consequences through existing transfer theorems. Those applications carry their own curvature and phase assumptions; the Euclidean claims do not imply unrestricted versions on arbitrary manifolds or for arbitrary curves.

Finally, the four-dimensional paper retains a genuine dependency on a weighted estimate from the three-dimensional manuscript. The family is not two interchangeable proofs of one theorem, and neither result should erase the historical credit for the earlier three-dimensional set theorem.

8. Sources and further reading

Wang and Zahl’s set theorem and the streamlined proof by Guth, Wang and Zahl are essential context for the maximal claim. Katz and Zahl’s planebrush paper explains the earlier four-dimensional improvements. The source manuscripts below state their dependencies and geometric consequences in detail.

The Kakeya set article provides optional background on why zero volume and full dimension can coexist.

Source manuscripts

• M1. OpenAI, The Kakeya maximal conjecture in three dimensions (September 23, 2026).
• M2. OpenAI, Every four-dimensional Kakeya set has full Hausdorff dimension (September 24, 2026).

Sources consulted on 14 October 2026 at repository revision 1581d4c. Download the manuscript citations.