MathLabs

Worked solution: The three-dimensional case: every Kakeya set in $\mathbb{R}^3$ has dimension 3 (Wang–Zahl, 2025)

Step 2 of 5: The easy 'sticky' case: rescaling fat tubes into thin ones
In plain words

Group the δ×δ×1\delta\times\delta\times 1 thin tubes into ρ×ρ×1\rho\times\rho\times1 fat tubes at an intermediate scale δ≪ρ≪1\delta\ll\rho\ll 1. In the most favorable ('sticky') case, the thin tubes cluster inside fat tubes as tightly as the direction-separation allows, so each fat tube really does behave like a rescaled copy of the original configuration. Assuming K(d)K(d), applying it once at the coarse scale ρ\rho bounds how many fat tubes can pile on a point (μfat\mu_{\text{fat}}), and applying it again after zooming into a single fat tube (rescaled by 1/ρ1/\rho) bounds how many thin tubes pile up inside it (μfine\mu_{\text{fine}}). A point can only lie in a thin tube if it lies in some fat tube containing it and then in that thin tube within the fat tube, so the overall multiplicity is at most the product μfatμfine\mu_{\text{fat}}\mu_{\text{fine}} — and multiplying the two power-law bounds from applying K(d)K(d) twice exactly reproduces K(d)K(d) again, with room to spare for a genuine gain K(d+α)K(d+\alpha).

μ≲μfat⋅μfine,μfat≲ρd−3,μfine≲(δ/ρ)d−3\mu \lesssim \mu_{\text{fat}}\cdot\mu_{\text{fine}},\qquad \mu_{\text{fat}}\lesssim \rho^{d-3},\quad \mu_{\text{fine}}\lesssim (\delta/\rho)^{d-3}
Detailed analysis

This 'trivial implication K(d)⇒K(d)K(d)\Rightarrow K(d), done non-trivially' is the standard first step of induction on scales (Bourgain, Wolff, 1990s). Wang and Zahl's earlier paper on the sticky Kakeya conjecture (arXiv:2210.09581) pushes this rescaling argument further, following a strategy of Katz and Tao, to extract an actual gain K(d)⇒K(d+α)K(d)\Rightarrow K(d+\alpha) whenever the configuration is sticky. The 2025 paper cites this as settled and turns to the genuinely new difficulty: configurations that are not sticky, where fat tubes vastly outnumber a ρ\rho-separated set (a 'super-Kakeya' configuration) while the thin tubes inside each fat tube are too few to fill out all directions (a 'sub-Kakeya' configuration) — so K(d)K(d) cannot be applied efficiently at either scale.