未解決問題、解析学, 幾何学、1917年に提起

掛谷予想

部分的に解決

任意のベシコヴィッチ集合（または掛谷集合） $K \subseteq \mathbb{R}^n$ 、すなわちあらゆる方向 $e \in S^{n-1}$ の単位線分を含むボレル集合は、ハウスドルフ次元およびミンコフスキー次元がともに $n$ に等しい（ $\dim_H(K) = \dim_M(K) = n$ ）。

研究の最前線 2026年時点

2026年現在、掛谷予想は $n = 2$ （デイヴィス、1971年）で証明済みであり、 $n = 3$ については2025年2月にホン・ワンとジョシュア・ザールが発表した127ページの画期的なプレプリント（`arXiv:2502.17655`）によって、 $\mathbb{R}^3$ のすべての掛谷集合に対して $\dim_H(K) = \dim_M(K) = 3$ が示され解決された。ワンとザールは、先行する粘着的（sticky）掛谷予想の証明（`arXiv:2210.09581`）と、凸集合内に詰め込まれた $\delta$ -チューブの和集合に対するマルチスケール体積評価を組み合わせた。一方、 $n \ge 4$ のすべての次元ではハウスドルフ次元・ミンコフスキー次元の掛谷予想はいずれも未解決であり、より強い $L^3(\mathbb{R}^3)$ 以上の掛谷極大関数予想も未解決のままである。

既知の最良の結果

$\mathbb{R}^3$ のすべての掛谷集合はハウスドルフ次元およびミンコフスキー次元が $3$ である（ホン・ワン、ジョシュア・ザール、2025年プレプリント `arXiv:2502.17655`）。
$\mathbb{R}^4$ では、プレーンブラシ（planebrush）法と多項式分割法により $\dim_H(K) \ge 3.059$ が成り立つ（カッツ、ザール、2021年）。
一般の次元 $\mathbb{R}^n$ では、カッツとタオ（2002年）の算術的掛谷還元により $\dim_H(K) \ge (2 - \sqrt{2})(n - 4) + 3$ が成り立つ。

使われた手法と限界

手法	達成したこと	限界
マルチスケール・チューブ充填と粘着的掛谷解析	一般のチューブ配置を粘着的・凸粒子のケースへ帰着させ、鋭い体積評価を確立することで、 $\mathbb{R}^3$ における低次元の $\delta$ -チューブ配置の可能性を排除した（ワン・ザール、2025年）。	$n \ge 4$ の $\mathbb{R}^n$ では、チューブが次元 $2, \dots, n-2$ の中間次元の代数的部分多様体内に集中し得るため、はるかに複雑な接続階層が生じる。
多項式法とデカップリング（ドヴィル、ガス、ブルガン・デメテル）	有限体 $\mathbb{F}_q^n$ 上の掛谷問題を完全に解決し（ドヴィル、2009年）、 $\mathbb{R}^n$ における鋭い $\ell^2$ デカップリング不等式と多重線形掛谷評価を証明した。	ユークリッド空間では $\delta$ -チューブが正の太さ $\delta > 0$ をもち、半代数的近傍で浅い角度で交差し得るため、多項式の零点消滅論法の次数効率が損なわれる。

未解決の問い

$n \ge 4$ のとき、 $\mathbb{R}^n$ のすべての掛谷集合はハウスドルフ次元およびミンコフスキー次元が $n$ に等しいか。
ワン・ザールの3次元掛谷定理を、完全な $L^3(\mathbb{R}^3)$ 掛谷極大関数評価および3次元フーリエ制限予想の完全解決へと拡張できるか。

証明

参考文献

Hong Wang, Joshua Zahl (2025). Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions · arXiv:2502.17655 [プレプリント・未査読]
Thomas Wolff (1999). An algorithmic approach to the Kakeya problem · DOI:10.1090/ulect/029/10
Zeev Dvir (2009). On the size of Kakeya sets in finite fields · DOI:10.1090/S0894-0347-08-00607-3