幾何測度論と数理物理の二大突破
――三次元カケヤ予想の解決と、ヒルベルト第6問題の主要解決――
「世紀に一度の成果」と評された Wang-Zahl（2025年2月）の三次元カケヤ予想証明、
および Deng-Hani-Ma（2025年3月）によるヒルベルト第6問題の125年越しの解決の解説
神衛7年（令和8年）前半の三ヶ月は、純粋数学と数理物理の双方において 前例のない成果の集中を見た。本解説論文はその中から特に重要な二つを取り上げる。
第一は、Hong Wang（NYU クーラン研究所）と Joshua Zahl（ブリティッシュコロンビア大学）による 三次元カケヤ集合予想の解決（2025年2月、arXiv:2502.17655）である。 Nets Katz（ライス大学）が「世紀に一度の成果」と形容したこの証明は、 1917年の掛谷宗一の問いから百年以上を経て、 「あらゆる方向に単位線分を含む三次元の集合は、必ずハウスドルフ次元3を持つ」 ことを確立した。さらにこの証明は調和解析の三層の大予想の塔の最下段を固め、 スタイン制限予想への新たな展望を開きつつある。
第二は、Yu Deng（シカゴ大学）・Zaher Hani・Xiao Ma（ともにミシガン大学）による ヒルベルト第6問題の主要解決（2025年3月、arXiv:2503.01800）である。 1900年にヒルベルトが提起した「ニュートン力学を出発点として、ボルツマン方程式を経由し、 流体方程式（ナビエ-ストークス-フーリエ方程式・圧縮性オイラー方程式）を厳密に導出せよ」という 125年来の問いに対し、剛体球粒子系を用いた厳密な証明によって 完全に答えた成果である。 ただし「稀薄気体」という制限があり、哲学的な批判も提起されており、 本論文ではその争点も含めて批判的に検討する。
掛谷の問い：針を回転させる最小の空間
1917年、日本の数学者掛谷宗一は一見素朴な問いを提起した。 「平面上で、長さ1の針を180度回転させることのできる領域のうち、 面積が最小のものはどのような形をしているか」。 この問いから生まれた研究対象が「カケヤ針集合（Kakeya-Nadelmengen）」であり、 ベシコビッチが1928年に「面積ゼロのカケヤ集合が存在する」という 驚くべき事実を証明したことで、問いは純粋数学の深淵へと一変した。
「面積ゼロ」——すなわち「どれほど薄く圧縮しても、 あらゆる方向の線分を含む集合が構成できる」という事実は、 直観に真っ向から反する。しかしベシコビッチの証明は完全に厳密であり、 平面では「どれほど小さな面積にもできる」ことが確立された。
では三次元ではどうか。「三次元空間であらゆる方向に単位線分を含む集合」 をカケヤ集合（Kakeya-Menge）と呼ぶとき、 この集合は「どれほど体積を小さくできるか」——これが「三次元カケヤ予想」であり、 「どれほど薄くても、必ず次元（Hausdorff 次元・Minkowski 次元双方）は3でなければならない」 という命題の証明が、2025年2月に Wang と Zahl によって達成された。
カケヤ予想の数学的内容と調和解析との深い連結
2-1．ハウスドルフ次元と予想の正確な定式化
e 方向の単位線分を含む集合
【定理（Wang-Zahl, 2025）】
dim_H(K) = 3 かつ dim_M(K) = 3
dim_H：ハウスドルフ次元
dim_M：Minkowski 次元（ボックス計数次元）
直観：K は「体積ゼロ」になれるが（ベシコビッチ）、
「フラクタル次元は必ず3」——薄くはなれるが、次元は縮まない。
ε 離散版（証明の核心）：
|T₁ ∪ T₂ ∪ … ∪ T_N| ≳ N · ε² · 1（＝小さなスケール ε, N 本の管）
全ての管の和集合が持つ体積の下界を最良の形で確立した。
2-2．「管の塔（Tower）」：三つの大予想の階層構造
カケヤ予想の解決が数学界で特別な重みを持つのは、 この予想が調和解析の巨大な三層の予想の塔の最下段を支えているからである。
| 階層 | 予想名 | 内容の概要 | 現状（神衛7年） |
|---|---|---|---|
| 第三層（頂上） | スタイン制限予想 Stein Restriction |
球面上に台を持つフーリエ変換の L^p 推定 | 未解決（最難関） Wang が新展望を提示 |
| 第二層 | Bochner-Riesz 予想 Multiplier Problem |
球型乗法子の L^p 有界性 | 部分的に既知 新アプローチで前進 |
| 第一層（最下段） | カケヤ集合予想 Kakeya Set Conjecture |
全方向線分を含む集合の次元の下界 | ✓ 三次元で証明（2025年） |
Larry Guth（MIT）の言葉は証明の意義を端的に表している。 「数学者たちがいつか解けると夢見てきた問題が、 今や全て手が届くように見える」——カケヤの解決が塔全体への扉を開いた。 実際、Wang は既に Zahl との証明の直後に、 スタイン制限予想への新しいアプローチを発表しており（2025年後半）、 「管の幾何学的交叉問題」としての再定式化を提示している。
第三節証明の新たな発想：粒状性・凸集合・スケール上の帰納法
3-1．「粒（グレイン）」という鍵概念
Wang-Zahl の証明の出発点は Larry Guth（2014年）の結果—— 「カケヤ予想への反例が存在するならば、それは必ず『粒状（grainy）』でなければならない」 ——にある。「粒状」とは直観的に、集合の中に多数の「小さな三次元の断片（粒, Grain）」が存在し、 その各粒に多数の管が長軸方向に通過しているという構造を意味する。
Wang と Zahl の革新は「管そのものを直接扱うのをやめて、 より単純な『粒』を直接数え上げる」という発想の転換にある。 管から粒へのこの視点移動により、問題は「粒の重複がどれほど大きくなりうるか」という 純粋に組み合わせ論的・幾何学的な問いに帰着された。
3-2．凸集合の合併の体積推定
Wang-Zahl の論文の正式タイトルは 「Volume Estimates for Unions of Convex Sets, and the Kakeya Set Conjecture in Three Dimensions」 であり、実は「凸集合の合併の体積推定」という一般的な問題を解くことが カケヤ予想の証明の実質的内容となっている。
各 W は ∼a × b × 1 の寸法を持つ（δ ≤ a ≤ b ≤ 1）。
● 極端ケース a = b = δ：通常の「管」→ カケヤ本来の問題
● 極端ケース a = 1, b = 1：「スラブ（板状）」→ L² 手法で完全解明済み
● 一般ケース：管とスラブの「中間」→ スラブの鋭い上界を活用して制御
スケール上の帰納法（Induction on Scales）：
スケール δ での体積推定を、より粗いスケールの推定に帰着させることを反復し、
全スケールにわたる一貫した下界を確立する。
3-3．「任意のスケールを見ればフラクタル構造がある」
Wang 自身がインタビューで語った証明の核心的直観は次のようなものだ。 「正しいスケールで見れば、どんな集合にもフラクタル構造を見出せる」—— この着想は Katz-Zahl が以前に開発した概念に由来するが、 Wang はこれを使って「見かけ上のカオス的な幾何学から秩序を引き出す」方法を発見した。
第四節波及と残された問い
4-1．高次元への展望
三次元での証明は、n 次元カケヤ予想の全面解決への第一歩である。 Guth はタオのブログへのコメントで「三次元の最適な理論が確立されたことで、 原理的には高次元への粒状性定理の拡張が可能になった」と示唆している。 しかし「原理的に可能」から「実際の証明」までには、 新たな技術的アイデアが必要であることも認めており、 KHF 数学科の解析学研究室が取り組むべき中期課題として位置づけられる。
4-2．「Kakeya 最大函数予想」の未解決
Wang-Zahl が解決したのは「集合のサイズ（次元）」に関する予想であり、 同じく重要な「カケヤ最大函数予想（Kakeya-Maximalfunktionsvermutung）」—— 管に沿った最大函数の L^p 推定——は依然として開いている。 Wang-Zahl の証明は「自明でない」最大函数の推定を与えるものの、 最良の推定はまだ達成されていない。
1900年の問いとその構造
5-1．ヒルベルトの野心：物理学を数学的に基礎づける
1900年、パリの国際数学者会議でダフィット・ヒルベルトは 「新世紀の数学への挑戦状」として23の未解決問題を提示した。 その第6問題は数学の問いというよりも物理学への問いであった。
ヒルベルトが要求したのは、気体の物理学の三つの記述水準の間の 厳密な数学的橋渡しであった。
各粒子の位置・速度 (xᵢ(t), vᵢ(t))、i = 1,…,N を追跡
↓ N→∞, 粒子径 ε→0（ボルツマン-グラード極限）
【中視的水準】ボルツマン方程式
∂_t f + v·∇_x f = Q(f, f)
f(t,x,v)：位相空間上の一粒子分布函数
↓ α→∞（流体力学極限）
【巨視的水準】流体方程式
非圧縮ナビエ-ストークス-フーリエ方程式
圧縮性オイラー方程式
ヒルベルト第6問題（Deng-Hani-Ma が解決した部分）：
上記の二段階の極限の連鎖を、ニュートン力学から出発して厳密に証明せよ
Deng-Hani-Ma の証明：125年来の問いへの答え
6-1．ランフォードの「短時間」という壁
ヒルベルトの問いへの最初の本格的取り組みは 1975年のオスカー・ランフォードによる成果であった。 ランフォードはボルツマン-グラード極限の数学的正当化を 「非常に短い時間」に限定した条件で証明した。 この「短時間」という制約は50年にわたって壁であり続けた—— ボルツマン方程式が物理的に意味を持つのは長時間の振る舞いであり、 短時間の証明では熱力学的平衡への緩和や輸送現象が捉えられないからだ。
Deng-Hani-Ma の2024年の先行研究（arXiv:2408.07818）は、 まずこの「短時間の壁」を破ることに成功した—— 無限空間上の剛体球系において、ボルツマン方程式を任意の長時間にわたって ニュートン力学から導出したのである。 2025年3月の論文（arXiv:2503.01800）は、これを 「有限体積（トーラス T^d）」上の設定に拡張することでヒルベルトのプログラムを完成させた。
6-2．証明の二段階構造と反復極限
6-3．証明の技術的革新：再衝突の制御
ボルツマン-グラード極限の証明における最大の困難は 「再衝突（Recollision, Wiederkollision）」の問題である。 ボルツマン方程式の導出には「粒子が衝突後に再び出会う確率は非常に小さい」という 「分子的カオス仮定（Stoßzahlansatz）」が必要であるが、 有限時間では再衝突が一定の確率で起こりうる。 長時間においてはこの効果が蓄積するため、 「再衝突が常に稀少であることを示す」ことが証明の核心的困難であった。
Deng-Hani-Ma の解決策は、波動方程式の解析で用いる 「カオス的散乱（Chaotische Streuung）」の手法を粒子系に適応させるというもので、 再衝突の稀少性を精密な確率論的・解析的見積もりによって確立した。 タオはこの発想を「波動に基づく手法を粒子系に移植した革新的な技術的転換」と評価している。
第七節批判的検討：「稀薄気体」の制限と哲学的争点
Deng-Hani-Ma の証明に対して、Gao（2025年4月, arXiv:2504.06297）による 哲学的批判が提起されており、本論文はこれを公正に検討する。
批判1：「稀薄気体」の制限
Deng-Hani-Ma の証明は「ボルツマン-グラード極限」（Nε^{d-1} = α、 すなわち体積占有率 Nε^d → 0）に基づく。 これは「稀薄気体」の設定であり、実際の流体が示す「密な気体・液体」の 性質（密度依存の状態方程式等）は捉えられないという批判。
批判2：反復極限の物理的実現不可能性
「まず N→∞, ε→0 (α 固定)、次に α→∞」という 「反復極限（Iterated Limit）」は数学的には有効だが、 物理的に実現可能な極限過程に対応しない可能性があるという批判。
KHF 数学科の評価：
この批判は「物理的完全性」に関するものであり、 「数学的厳密性」に関するものではない。 Deng-Hani-Ma の定理は稀薄気体に関するヒルベルトのプログラムを 数学的に完成させたという意味で「ヒルベルト第6問題（の主要部分）の解決」と 呼ぶことは正当であるが、 より広い「密な流体の第一原理的導出」という問いは依然として開かれている。 これを「哲学的に不完全」と見るか「重要な里程標」と見るかは解釈の問題であり、 数学的内容の正しさとは独立した問いである。
KHF 理学部数学科・理学部物理学科への示唆
8-1．数学科：解析学研究室の課題
| 元の成果 | 派生する研究課題 | 難度 | 推奨優先度 |
|---|---|---|---|
| 三次元カケヤ（Wang-Zahl） | スタイン制限予想への応用（Wang の新アプローチ追跡） | 高 | ⭐⭐⭐ |
| 三次元カケヤ（Wang-Zahl） | 高次元カケヤ予想（n ≥ 4）への粒状性手法の拡張 | 極高 | ⭐⭐ |
| 三次元カケヤ（Wang-Zahl） | 分散型波動方程式（シュレーディンガー方程式）への L^p 推定応用 | 中高 | ⭐⭐⭐ |
| ヒルベルト第6（Deng-Hani-Ma） | 密な気体・非球形粒子系への拡張（Gao 批判への応答） | 極高 | ⭐ |
| ヒルベルト第6（Deng-Hani-Ma） | 量子版ボルツマン方程式への同様のアプローチ | 極高 | ⭐⭐（物理学科連携） |
8-2．物理学科・工学部との学際的接点
De Philippis（クーラン研究所）が指摘するように、 「波パケットがどのように交差するか」という問いは 電磁波・音波の伝播における情報パケットの相互作用に直結する。 KHF 工学部の通信・信号処理研究との学際的接点を持つ。
ヒルベルト第6 → 流体力学・数値シミュレーション
ナビエ-ストークス方程式の第一原理的導出という成果は、 計算流体力学（CFD）における数値解法の理論的根拠を強化する。 航空宇宙工学・気象予測分野への数学的基礎の整備という観点から、 KHF 工学部との連携が意義深い。
結論：収束する複数の源流
神衛7年の数学界が示すのは、数十年・百年単位の未解決問題の「同時収束」という 稀有な現象である。幾何測度論と数理物理という一見遠い二分野が、 どちらも「スケールにまたがる帰納的構造の精密な制御」という共通の方法論的課題に 直面し、それぞれの文脈でブレイクスルーを達成したことは偶然ではない。
Wang-Zahl の「スケール上の帰納法と凸幾何学」、 Deng-Hani-Ma の「長時間での再衝突の確率論的制御」—— これらは異なる分野の語彙で語られているが、 「極限的状況における統計的構造の制御」という数学的本質を共有している。 KHF 理学部数学科は、この共通の深部を見極める視点から 両分野をつなぐ研究を推進する立場にある。
総帥閣下の御標語「天地を統べる命ある者たれ」は、 数学においては「巨視的な流体方程式と微視的なニュートン粒子をつなぐ橋を架ける」 Deng-Hani-Ma の使命に、また「最小の空間に全方向の動きを織り込む」 カケヤの美しい問いに、それぞれ深く共鳴するものと、 宮田・岸本は謹んで確信する。
注釈
- 「ハウスドルフ次元（Hausdorff-Dimension）」：集合の「粗さ」を測る次元概念。整数でない値を取りうる（例：カントール集合のハウスドルフ次元は log2/log3 ≈ 0.63）。通常の d 次元滑らかな多様体のハウスドルフ次元は d に一致する。
- 「Minkowski 次元（Minkowski-Dimension）」：「ボックス計数次元」とも呼ばれる。スケール ε の立方体で集合を被覆するのに必要な立方体の数 N(ε) の、ε→0 での挙動 N(ε) ∼ ε^{-d} を通じて定義される次元 d。ハウスドルフ次元と異なる場合があるが、カケヤ予想では両者の一致が証明された。
- 「ボルツマン-グラード極限（Boltzmann-Grad-Grenzwert）」：粒子数 N を無限大に、粒子径 ε をゼロに飛ばす際に、衝突率 Nε^{d-1} = α を一定に保つ極限。この極限でボルツマン方程式が有効な記述を与えることをランフォードが1975年に（短時間で）証明し、Deng-Hani-Ma が任意長時間で確立した。
- 「分子的カオス仮定（Stoßzahlansatz, Stosszahlansatz）」：ボルツマンが1872年に導入した「衝突前の二粒子は速度的に無相関である」という統計的独立性の仮定。この仮定の自己整合的正当化が証明の核心課題であった。
- スタイン制限予想（Stein Restriction Conjecture）：球面上に台を持つ測度の「フーリエ変換（制限作用子）」の L^p 有界性に関する予想。エリアス・スタインが1960年代に提起した調和解析の中心的未解決問題の一つ。Wang の新アプローチは「管の幾何学的交叉」という視点からこの予想に新たな光を当てている。
参考文献
- Wang, H., & Zahl, J. (2025). Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions. arXiv:2502.17655, February 2025.
- Guth, L. (2025). Introduction to the proof of the Kakeya conjecture. arXiv:2505.07695, May 2025.
- Tao, T. (2025). The three-dimensional Kakeya conjecture, after Wang and Zahl. What’s New (blog), February 25, 2025. terrytao.wordpress.com
- NYU Courant Institute (2025). Mathematicians move the needle on decades-old problem. Press release, March 12, 2025.
- Wang, H. (2025). On solving Kakeya and rethinking restriction. Interview, Centre de Recerca Matemàtica (CRM), July 2025.
- Deng, Y., Hani, Z., & Ma, X. (2025). Hilbert’s sixth problem: derivation of fluid equations via Boltzmann’s kinetic theory. arXiv:2503.01800, March 3, 2025.
- Deng, Y., Hani, Z., & Ma, X. (2024). Long time derivation of the Boltzmann equation from hard sphere dynamics. arXiv:2408.07818, August 2024.
- Gao, S. (2025). Comment on “Hilbert’s Sixth Problem: Derivation of Fluid Equations via Boltzmann’s Kinetic Theory” by Deng, Hani, and Ma. arXiv:2504.06297, April 2025.
- Scientific American (2025). Lofty math problem called Hilbert’s sixth closer to being solved. November 2025.
- Quanta Magazine (2025). Once-in-a-century proof settles math’s Kakeya conjecture. March 14, 2025.
- Quanta Magazine (2025). Epic effort to ground physics in math opens up the secrets of time. June 11, 2025.