ヤン–ミルズ方程式と質量ギャップ問題とは？わかりやすく｜100万ドルの懸賞・素粒子の力・未解決

ヤン–ミルズ方程式と質量ギャップ問題とは？（ひとことで）

ヤン–ミルズ方程式と質量ギャップ問題とは、素粒子の「力」を表す物理の理論を、数学としてきちんと作れるか。そして、その理論で「質量のある粒子しか現れない（質量ギャップがある）」と証明できるかという問題です。2000年に、アメリカのクレイ数学研究所が7つのミレニアム懸賞問題の1つに選び、解決した人には100万ドルの賞金が用意されています。

この問題の大きな特ちょうは、物理学者の計算はとてもうまくいっているのに、数学の側がその土台を作れていないことです。ヤン–ミルズ理論は、素粒子の物理（標準模型）の中心です。実験の結果とも、驚くほどの精度で合っています。それでも、4次元の時空で、数学の言葉だけでこの理論を作り上げることは、まだできていません。クレイ数学研究所のページでも「未解決」とされ、公式の問題説明は数学者のアーサー・ジャッフェと物理学者のエドワード・ウィッテンが書いています。このページは「いつ解けるか」を予想しません。

ナビエ–ストークス方程式の問題と同じく、この問題も「物理で当たり前に使われている方程式を、数学として正しく理解する」という性格をもちます。リーマン予想やホッジ予想のような純粋数学の問題とは、少し毛色がちがいます。

ヤン–ミルズ方程式と質量ギャップ問題の意味をやさしく解説

自然界の力は「ゲージ理論」でできている

物理学では、世の中の力は4種類に分けられます。重力・電磁気力・弱い力・強い力です。このうち電磁気力・弱い力・強い力の3つは、ゲージ理論という同じ型の理論で表されます。

• 電磁気力：電気や磁石の力、光。伝え役は光子で、質量はありません。
• 弱い力：原子核が崩れるときなどにはたらく力。伝え役はWボソン・Zボソンで、とても重い粒子です。
• 強い力：原子核の中で、陽子や中性子の部品（クォーク）を結びつける力。伝え役はグルーオン（「のり」という意味の英語から）です。

「ゲージ」とは？ものさしの目盛りを変えても同じ

ゲージとは、もともと「ものさし」「目盛り」という意味の言葉です。ゲージ理論の考え方は、「場所ごとに目盛りの取り方を変えても、物理の結果は変わらないはず」というものです。この「どんなふうに目盛りを変えても同じ」という性質をゲージ対称性といいます。

電磁気力の場合、目盛りの変え方は円の上の回転で表されます。複素数 $e^{i\theta}$ をかけることは、角度 $\theta$ だけ回すことです（オイラーの公式と複素数の回転）。この「円の回転全体」のつくる群を U(1) といいます。複素数平面で考えると、絶対値を変えずに角度だけを変える操作です。

弱い力・強い力では、回転の代わりに行列（行列とは）を使います。SU(2) は2×2、SU(3) は3×3の特別な行列の集まりです。ここでの「S」は「行列式が1」、「U」は「ユニタリ（長さを変えない）」という意味です。行列式の計算と性質や、対称行列と直交対角化の知識が、この世界の入り口になります。

ヤン–ミルズ理論とは

1954年、アメリカで研究していた物理学者の楊振寧（ヤン・チェンニン）とロバート・ミルズは、電磁気力のゲージ理論を、回転の代わりに行列の群（SU(2)など）に広げた理論を発表しました。これがヤン–ミルズ理論です。方程式は、力の強さを表す量（曲率）を $F_{\mu\nu}$ として、次のように書かれます。

$$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],\qquad D^\mu F_{\mu\nu}=0$$

$A_\mu$ は、力を伝える場（「ゲージ場」）です。電磁気力では最後の項 $[A_\mu,A_\nu]$ がなく、方程式は線形（足し算ができる）でマクスウェルの方程式になります。ヤン–ミルズ理論ではこの項が加わることで、力を伝える粒子（グルーオン）自身が、力を感じるという、電磁気力にはなかった性質が生まれます。光子は光子どうしで引き合わないのに、グルーオンはグルーオンどうしで引き合うのです。

質量ギャップとは

理論の中で、エネルギーが一番低い状態を真空とよびます。真空の次にエネルギーが低い状態のエネルギーが、真空のエネルギーよりきっちり大きいとき、その差を質量ギャップ（記号 $\Delta$）といいます。アインシュタインの式 $E=mc^2$ により、エネルギーは質量に対応するので、「質量ギャップがある」は「質量のある粒子しか現れず、質量が0に近い粒子はいない」という意味になります。

ふしぎなのは、ヤン–ミルズの方程式の中に出てくる「力を伝える場」は、質量0の波（光と同じ速さで進む波）として書かれていることです。ところが、量子の世界で実際に観察される粒子は、どれも質量をもっています。「質量0の波から、質量のある粒子が生まれる」ことが本当に起こるのか。そのしくみを数学で示せ、というのが質量ギャップ問題です。クレイ数学研究所のページには、「実験とコンピューターによる計算は質量ギャップの存在を示唆しているが、その証明は知られていない」と書かれています。

クォークの閉じこめ

強い力には、もうひとつ大きな特ちょうがあります。クォークは、1個だけを取り出すことができません。クォークとクォークを引きはなそうとすると、間にひものような力の線が伸びて、引きはなすほどエネルギーがたまります。そして十分にたまると、ひもが切れて、新しいクォークと反クォークのペアが生まれます。結局、1個のクォークは取り出せず、いつも「2つ組」か「3つ組」になって現れます。これをクォークの閉じこめといいます。

この閉じこめも、質量ギャップと深く関わっていると考えられています。陽子の質量の大部分は、クォーク自身の質量ではなく、強い力のエネルギーから生まれていると考えられています。つまり、私たちの体の質量の大部分が、ヤン–ミルズ理論のはたらきなのです。

クレイ数学研究所が聞いている問題

公式の問題説明（ジャッフェとウィッテン）が求めているのは、おおまかに次のことです。

• 4次元の時空（空間3次元＋時間1次元）で、ゲージ群がSU(2)やSU(3)などの「コンパクトな単純群」のとき、ヤン–ミルズ理論を、物理の理論としての性質をみたす形で数学として厳密に作ること（これは「存在」の部分）。
• その理論に、質量ギャップ $\Delta>0$ があることを証明すること。

公式の説明では、「完全な数学的な4次元の量子ゲージ理論は、まだない」と明記されています。くわしくは「今どこまで分かっているか」の節で書きます。

なぜ「格子」で考えるのか

1974年にアメリカの物理学者ケネス・ウィルソンは、空間を碁盤の目（格子）におきかえてヤン–ミルズ理論を考える方法を作りました。格子の上なら、計算は有限の手間ですむので、コンピューターで計算できます。この計算で、強い力の粒子（グルーボールとよばれる、グルーオンだけでできた粒子など）が、質量をもつことが確かめられています。

ただし、格子の理論では、間隔を小さくしていく極限（連続の理論）がちゃんと存在することが、数学として示せていません。コンピューターの計算は、「質量ギャップがありそうだ」という強い証拠にはなりますが、証明ではありません。ゴールドバッハ予想のように、「とても大きな範囲まで確かめた」と「証明した」がちがうのと同じことです。

ヤン–ミルズ方程式と質量ギャップ問題の歴史と年表

1860年代〜1918年：電磁気力とゲージの考え方

イギリスのジェームズ・クラーク・マクスウェルは、1860年代に、電気と磁気をひとつにまとめた方程式を作りました。のちに、この方程式が「ゲージ対称性」をもつことが分かります。ドイツの数学者ワイルの業績と生涯は、1918年ごろに、長さの目盛りを場所ごとに変えても物理が変わらないという考えから、電磁気力を説明しようとしました。この考えは、のちに目盛りを「位相（回転の角度）」に変えて、ゲージ理論として育ちます。

1954年：ヤンとミルズの理論

1954年に楊振寧とミルズが、SU(2)のゲージ理論（ヤン–ミルズ理論）を発表しました。当時は、力を伝える粒子が質量0になってしまうため、物理の実験とは合わないとして、すぐには受け入れられませんでした。

1960〜70年代：物理の標準的な理論に

1967年に、ファデーエフとポポフが、ゲージ理論を量子として計算する方法を作りました。1971〜72年には、オランダのヒーラルドゥス・トホーフトとマルティヌス・フェルトマンが、ヤン–ミルズ理論が（計算の中で無限大を処理できる）「くりこみ可能」であることを示し、2人は1999年にノーベル物理学賞を受けました。電磁気力と弱い力を統一する電弱理論（グラショウ・ワインバーグ・サラム）、強い力の理論（量子色力学）も、すべてヤン–ミルズ理論の仲間として作られ、素粒子の標準模型が完成していきます。

1973年：漸近的自由性の発見

1973年に、グロス、ウィルチェック、ポリツァーが、クォーク同士はとても近づくと、ほとんど力を感じなくなる（これを漸近的自由性といいます）ことを発見しました。3人は2004年にノーベル物理学賞を受けました。この性質のおかげで、ヤン–ミルズ理論は、短い距離では計算しやすく、一方で長い距離では閉じこめが起こる、という両方の顔をもちます。

1974年：ウィルソンの格子理論

先ほど説明したウィルソンの格子ゲージ理論が登場しました。ウィルソンは1982年に、別の業績（相転移の理論）でノーベル物理学賞を受けています。

1970〜80年代：数学として作る試み（構成的場の量子論）

ジャッフェやグリムらの数学者・物理学者は、1960年代〜70年代に、低い次元（2次元や3次元）の簡単な量子論を、数学として厳密に作ることに成功しました。ヤン–ミルズ理論については、ポーランドの数学者タデウシュ・バワバンらが、1980年代に、格子から連続へ向かう道のりの重要な部分を示しました。それでも、4次元の理論を完成させるまでには至っていません。

2000年：100万ドルの懸賞問題

2000年5月24日、クレイ数学研究所は7つのミレニアム懸賞問題を発表しました。この問題もその1つです。ほかの問題はリーマン予想、P≠NP予想、ナビエ–ストークス方程式の問題、ホッジ予想、BSD予想、ポアンカレ予想です。解決とされたのはポアンカレ予想だけです。

ヤン–ミルズ方程式と質量ギャップ問題は今どこまで分かっている？（2026年11月時点）

この問題は未解決です。クレイ数学研究所のページでも「未解決」とされています。私たちは「いつ解けるか」を予想しません。分かっていることと分かっていないことを分けて整理します。

分かっていること

• 格子の上では質量ギャップがある：空間を格子にした理論では、質量ギャップがあることが証明されています。ただし、これは「間隔を0にした本物の理論」ではありません。
• コンピューターの計算：強い力の格子計算では、質量をもつ粒子（グルーボールなど）の存在が、くり返し確かめられています。
• 低い次元では理論を作れる：2次元や3次元の簡単な量子論は、数学として厳密に作られています。
• 実験との一致：標準模型は、素粒子の実験の結果と、極めて高い精度で合っています。

分かっていないこと

• 4次元の時空で、ヤン–ミルズ理論を数学として厳密に作れるか。
• その理論に、質量ギャップ $\Delta>0$ があることの証明。
• クォークの閉じこめを、数学として証明すること。

最近の動きと、気をつけたい点

ネット上では「解けた」という話が出ることがありますが、クレイ数学研究所が解決と認めたという発表は、2026年11月に確認した範囲ではありません。専門家の確認が終わっていない主張は、そのまま信じず、結果を待つことが大切です。

ヤン–ミルズ方程式と質量ギャップ問題はなぜ難しいのか

1. 無限の自由度をあつかう

1個の粒子の動きなら、位置と速さを決めれば十分です。ところが「場」の量子論では、空間のすべての点が、それぞれ独立に動けます。つまり無限個の変数をあつかうことになります。さらに量子力学の「ゆらぎ」が加わるため、足し合わせるものが爆発的に増えます。物理学者は「くりこみ」という技を使ってこの無限を処理しますが、その処理が数学としてすべて正しいことを示すのは、別の仕事です。

2. 方程式が非線形

先ほど見たように、ヤン–ミルズ方程式には、場どうしがおたがいにはたらく項 $[A_\mu,A_\nu]$ があります。そのため、「簡単な解を足し合わせて複雑な解を作る」という方法が使えません。これはナビエ–ストークス方程式の難しさと同じ種類のものです。

3. 「小さな世界」と「大きな世界」で別の顔

漸近的自由性のため、短い距離ではクォークはほとんど自由に動きますが、長い距離では強く結びついて、閉じこめが起こります。短い距離の性質は、小さな力をもとに近似して計算できます。しかし質量ギャップは、長い距離（強い力が大きくなる世界）の性質です。ここは小さな力の近似が使えず、計算も証明もとても困難です。

4. 4次元だけが難しい

2次元や3次元では理論が作られているのに、4次元の時空では完成していません。次元が大きくなると、無限大をどれだけうまく処理できるかのバランスが変わります。4次元のヤン–ミルズ理論は、漸近的自由性があるため、一番簡単な（けれども難しい）4次元の理論と考えられています。

5. 数学の道具がまだ足りない

量子論をあつかう積分（経路積分）は、物理では日常的に使われますが、数学としては無限次元の空間の積分で、うまい定義がありません。数学者は、新しい道具を作りながら、この問題に取り組んでいます。この過程で、4次元の図形の研究（ドナルドソン理論など）が生まれたことは、アティヤの業績と生涯らの活躍とも関わって、数学に大きな収穫をもたらしました。

受験・勉強とヤン–ミルズ方程式のつながり

中学受験：図形の回転と角度

ゲージ理論のいちばん簡単な例は「円の回転」です。中学受験で習う「図形を回転させる」「おうぎ形の角度」の考え方は、この世界の入り口です。時計の針は、1時間に30度、1分間に6度回ります。回転しても長さは変わらない、という性質が、U(1)の「ユニタリ」の意味です。

高校受験・大学受験：複素数と行列

高校の数学で習う複素数平面は、U(1)の舞台です。オイラーの公式を使うと、複素数に $e^{i\theta}$ をかけることが、角度 $\theta$ の回転になることが分かります。また、2×2行列で回転を表すことも、行列とは何かの単元の定番です。回転を表す行列 $\begin{pmatrix}\cos\theta&-\sin\theta\\ \sin\theta&\cos\theta\end{pmatrix}$ は、行列式が1で、ベクトルの長さを変えません。これがSU(2)やSO(2)の仲間です。大学入試では、1次変換と回転の問題として出題されます。数式に出てくるギリシャ文字（θ・ψ・Δ）はギリシャ文字の読み方一覧（24文字）で確かめられます。

大学の数学・物理：群、ゲージ、量子

大学では、線形代数で行列の固有値（固有値と固有ベクトル）、群論で回転の群、量子力学で場の理論を学びます。ヤン–ミルズ理論は、これらすべての道がつながる場所です。数学科・物理学科を目指す人は、算数・数学 公式と用語の一覧（学年別・分野別）で今の自分の位置を確かめられます。

勉強法として：「実験」と「証明」を分ける

この問題から学べるのは、物理（実験でたしかめる）と数学（証明する）のちがいです。理科の実験では、何回やっても同じ結果が出れば、それが事実として扱われます。数学では、何億回ためしても、証明がなければ「予想」のままです。入試でも、「たしかめた」と「証明した」を区別する習慣をつけましょう。数学の勉強法（解法の暗記→演習→過去問）も参考にしてください。

ヤン–ミルズ方程式が数学・社会にあたえる影響

• 素粒子物理の土台：標準模型は、ヤン–ミルズ理論でできています。2012年に発見されたヒッグス粒子も、この理論の枠の中で予言されたものです。
• 数学の発展：ヤン–ミルズ方程式の解の研究から、4次元の図形の分類（ドナルドソン理論）、結び目の理論、ミラー対称性などの新しい数学が生まれました。物理の問題が、純粋数学を大きく育てた例です。
• ゲージ理論の広がり：物性物理（超伝導など）や、宇宙の始まりの研究にも、ゲージ理論の考え方が使われています。
• 計算技術：格子ゲージ理論の計算は、世界でも最大級のスーパーコンピューターを使います。この計算の技術は、コンピューターの発展にも役立ってきました。
• ほかの難問とのつながり：ホッジ予想は、図形と方程式の問題で、ヤン–ミルズ理論とも、複素幾何という数学の舞台を共有しています。ポアンカレ予想の解決では、物理に近い「流れ」（リッチ・フロー）が使われました。

ネーターの業績と生涯が示した「対称性があれば、保存される量がある」というネーターの定理は、ゲージ対称性の理解の基礎にもなっています。リーの業績と生涯が作った連続な群（リー群）の理論は、ヤン–ミルズ理論の数学の言葉そのものです。

ヤン–ミルズ方程式に挑戦！練習問題

ヤン–ミルズ方程式と関係する数学者・難問

• ワイルの業績と生涯：1918年ごろに、ゲージの考えを最初に示しました。
• ネーターの業績と生涯：対称性と保存量の関係（ネーターの定理）を示しました。
• リーの業績と生涯：連続な群（リー群）の理論を作りました。
• アティヤの業績と生涯：ゲージ理論と幾何の結びつきの研究で知られます。
• ナビエ–ストークス方程式の問題・ホッジ予想・リーマン予想・P≠NP予想・BSD予想・ポアンカレ予想：同じミレニアム懸賞問題の仲間です。

ほかの未解決の難問

• 奇数の完全数はあるかとは（未解決）
  6・28のように約数の和が自分の2倍になる完全数。偶数のものは52個見つかっているが、奇数の完全数は1つも見つかっていない
• ゴールドバッハ予想とは（未解決）
  4以上の偶数は2つの素数の和で表せるか。とても大きな数まで確かめられているが証明はない（奇数版の「弱い予想」は2013年に証明が発表された）
• 双子素数予想とは（未解決）
  3と5、11と13のように差が2の素数の組は無限にあるか。2013年に「差が7000万以下の組は無限」と分かり、その後246まで縮まった
• リーマン予想とは（未解決）
  ゼータ関数の「自明でない零点」は、すべて実部が1/2の直線上にあるか。素数の分布のかぎ。ミレニアム懸賞問題
• コラッツ予想とは（未解決）
  偶数なら2でわり、奇数なら3倍して1を足す。どんな数から始めても1にたどり着くか
• ホッジ予想とは（未解決）
  図形の「形のかけら」は代数的な式で作れるか。ミレニアム懸賞問題
• バーチ・スウィンナートン＝ダイアー予想とは（未解決）
  楕円曲線の上の有理数の点の個数を、関数で読み取れるか。ミレニアム懸賞問題
• P≠NP 予想とは（未解決）
  答えを確かめるのが速い問題は、答えを見つけるのも速いのか。コンピューターの世界の最大の難問。ミレニアム懸賞問題
• ナビエ–ストークス方程式の解の存在となめらかさとは（未解決）
  水や空気の流れを表す方程式に、いつでもなめらかな解があるか。ミレニアム懸賞問題

← 前の時代：ナビエ–ストークス方程式の解の存在となめらかさとは（未解決）

数学の難問・未解決問題の一覧（いつ・だれが解いたか）　｜　有名な数学者一覧

読みもの（合格大作戦の数学の記事）

• 算数・数学の公式一覧（公式辞典）
  公式・証明・例題を1つずつ
• 数学用語辞典（用語の意味を1語1ページ）
  素数・漸近線など200語
• 算数・数学 公式と用語の一覧（学年別・分野別）
  公式辞典と用語辞典の入口
• 数学の勉強法（解法の暗記→演習→過去問）
  青・黄・赤チャートの使い分け
• 京大理系数学の出題分析（1999〜2026年度）
  大問別一覧と頻出分野ランキング
• フェルマーの最終定理とは？わかりやすく解説
  n＝2と3以上の違い、ワイルズの証明

よくある質問

あわせて読みたい

• 数学の難問・未解決問題の一覧
• 有名な数学者一覧
• 算数・数学の公式一覧（公式辞典）