MathLabs

解法: 3次元の場合:$\mathbb{R}^3$ のすべての掛谷集合は次元3をもつ(ワン・ザール、2025年)

ステップ 1/5: 予想を体積評価として言い換え、d=3d=3 への道
ざっくり言うと

離散化する:T\mathbb{T} を R3\mathbb{R}^3 における δ\delta-分離された方向を向く、大きさ δ×δ×1\delta\times\delta\times 1 の ≈δ−2\approx\delta^{-2} 本のチューブとする。それらの和集合が常に体積 ≳δ3−d\gtrsim \delta^{3-d} をもつという主張を K(d)K(d) と書く。単一のチューブから自明に K(1)K(1) が従う。1970年代のコルドバの古典的な L2L^2 論法(平面掛谷定理の背後にあるのと同じ発想)は K(2)K(2) を与え、1995年のウルフの「ヘアブラシ」論法は K(2.5)K(2.5) を与えたが、ブルガン、カッツ、タオらによる深い研究にもかかわらず、そこで30年間進展が止まっていた。ワンとザールの新しいプレプリントはあらゆる ε>0\varepsilon>0 に対して K(3−ε)K(3-\varepsilon) を証明し、これはまさに R3\mathbb{R}^3 のすべての掛谷集合がハウスドルフ次元・ミンコフスキー次元ともに 33 であるという主張である。

∣⋃T∈TT∣≳δ3−d(K(d)),Goal: K(3−ε) for every ε>0\Big|\bigcup_{T\in\mathbb{T}} T\Big| \gtrsim \delta^{3-d} \quad (K(d)),\qquad \text{Goal: } K(3-\varepsilon) \text{ for every } \varepsilon>0
詳しい解説

ワンとザールの論文(2502.17655、第1節)は、主定理を、'カッツ・タオ凸ウルフ公理'(単純な方向分離を技術的に一般化したもので、帰納法を閉じるために必要)を満たす任意の δ×δ×1\delta\times\delta\times 1 チューブ族に対するこの体積評価として述べている。この論文についてのテレンス・タオの解説ブログ記事は、証明戦略がスケールに関する帰納法であると説明する:評価 K(d)K(d) があらゆるサイズのチューブ族についてあらゆるスケールで成り立つと仮定し、それを小さな α>0\alpha>0 について K(d+α)K(d+\alpha) へと引き上げようとする。これを有限回繰り返すことで、dd はあらゆる ε>0\varepsilon>0 について 3−ε3-\varepsilon まで押し上げられる。

このステップの用語
スケールに関する帰納法
ブルガンとウルフが先駆けとなった証明戦略であり、中間スケールで細いチューブを太いチューブへ再編し、粗いスケールと細かいスケールの両方で仮説を適用し、結果を組み合わせることで、小さな α>0\alpha>0 について K(d)⇒K(d+α)K(d) \Rightarrow K(d+\alpha) を段階的に引き上げようとするもの。