Dice Question Streamline Icon: https://streamlinehq.com

Kakeya L^p conjecture for tube overlaps

Prove that for dimension d ≥ 2, any family of translates x_θ of unit-radius, length-R tubes θ* satisfies ∫ |∑_θ 1_{θ* + x_θ}(x)|^p dx ≤ C(ε,d) R^ε (R^{(d−1)p} + R^d) for all p ≥ 1 and ε > 0.

Information Square Streamline Icon: https://streamlinehq.com

Background

This Lp formulation quantifies the maximal overlap of tubes in all directions, matching the trivial arrangement (all tubes centered at the origin) up to Rε. It is another central form of the Kakeya problem with strong implications in harmonic analysis.

Resolving it would constrain tube overlaps and therefore improve restriction and decoupling estimates, hence impacting large-value bounds for structured matrices.

References

Conjecture Fix a dimension d ≥ 2 and let θ and θ* be as above. For every ε > 0 there is a constant C(ε, d) so that for every p ≥ 1 and every choice of x_θ,

∫ | ∑θ 1{θ* + x_θ} (x) |p dx ≤ C(ε, d) Rε ( R{(d−1)p} + Rd ).

Large value estimates in number theory, harmonic analysis, and computer science (2503.07410 - Guth, 10 Mar 2025) in Section 9 (A barrier related to the Kakeya problem)