2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 0 部 入口問題文

問題文を一語ずつ読む — 語の一つ一つが、易しい答えへの抜け道を閉じている

クレイ数学研究所は 2000 年 5 月 24 日、パリのコレージュ・ド・フランスでの会合で七つの懸賞問題を発表しました（研究所のサイトと、問題文を収めた書籍の序文）。その一つの公式の問題文が、Arthur Jaffe と Edward Witten の解説「Quantum Yang–Mills Theory」（14 ページ）です 既知。以下、§ は問題文の節、「節 06」はこの章の節です。問題は §4 の一文です。

Yang–Mills Existence and Mass Gap. Prove that for any compact simple gauge group G, a non-trivial quantum Yang–Mills theory exists on $\mathbb R^4$ and has a mass gap $\Delta\gt0$. Existence includes establishing axiomatic properties at least as strong as those cited in [45, 35].

訳：任意のコンパクト単純ゲージ群 $G$ について、$\mathbb R^4$ 上に非自明な量子ヤン–ミルズ理論が存在し、質量ギャップ $\Delta\gt0$ を持つことを証明せよ。存在には、文献 [45]（Streater–Wightman の本）と [35]（Osterwalder–Schrader の二論文）が挙げる公理的な性質と、少なくとも同じ強さの性質を確立することを含む。

骨組みを論理式で書くと、量化子の順番が見えます（$\sigma(H)$ はハミルトニアン $H$ のスペクトル。節 06）。

群ごとに理論 $\mathcal T_G$ が一つずつ要り、隙間 $\Delta_G$ は群ごとに違ってかまいません。§4 はもう一つ、隙間の上限 $m_G$ が有限であること（$m_G\lt\infty$。節 06）も課しています。語の意味は前後の段落が決めています。量子場と公理は §3、局所場と短距離の条件は §4 の第 1 段落、質量ギャップは §4 の第 2 段落、クラスター性と拡張問題は §5、有限体積の評価と脚注 2 は §6・§6.5 にあります。

例。$G=SU(3)$ なら、求められているのはクォークを含まない 8 種類のゲージ場（グルーオン）だけの理論です（8 は $SU(3)$ の次元。表 1）。クォークを加えた QCD は対象ではありません（節 09）。

ゲージ群は、場の値を各点で独立に回してよい対称性の群です（3-01）。コンパクトは、行列の群として有界で閉じていることです。単純はリー群の意味で、リー環（1-03）が可換でなく、自明でないイデアル（どの元と括弧を取っても外に出ない部分空間）を持たないことです。$SU(2)$ は中心 $\{\pm1\}$ を持つので抽象的な群としては単純でありません。問題文では §1 が強い力のゲージ群として $G=SU(3)$ を挙げ（中心 $\mathbb Z_3$ を持つので、抽象的な群としては単純でない）、§6.6 も $SU(N)$ を扱うので、リー群の意味で読みます。

ゲージ場は群の次元の数だけ成分を持ちます。リー環の基底 $T^a$ を選ぶと、括弧（交換子）は $[T^a,T^b]=if^{abc}T^c$ と基底で展開できます。この係数 $f^{abc}$ が構造定数で、リー環の掛け算表に当たります（1-03）。これを使うと

です。$C_A$ は可換な群では 0、コンパクト単純群では正です 既知。値は基底の大きさの取り方で変わるので、規格化を決めます。基底 $T^a$ は群の作用で変わらない内積で正規直交にとり、その内積は、最長の根（1-04）の長さの二乗が 1 になるように選びます。$SU(N)$ では、基本表現で $\operatorname{tr}T^aT^b=\tfrac12\delta^{ab}$ とする物理の標準の規格化がこれに当たります。この規格化で $C_A$ は双対 Coxeter 数 $h^\vee$ という群ごとに決まる正の整数に等しく、$SU(N)$ では $N$ です 既知。数学で多い「長さの二乗を 2」の規格化では $C_A=2h^\vee$ になります（$SU(2),SU(3),SU(4),SO(5),SO(7),SO(8)$ で、構造定数から確かめました 計算）。コンパクト単純なリー環は系列 $A_n,B_n,C_n,D_n$ と例外型 $G_2,F_4,E_6,E_7,E_8$ で尽き（Killing–Cartan の分類。1-04）既知、「任意の」はこの全部です。

計算表 1　群ごとに決まる次元と正の整数 $h^\vee$（値の一覧は 1-04）。どの行も標準的な値と一致。計算の手順は出典表。$b_0$ は節 07 の一ループ係数。

一ループ係数の一般形は $b_0=(11C_A-4n_fT_R)/(12\pi)$ です（$n_f$ はクォークの種類の数、$T_R$ はクォークの表現で決まる正の数。PDG 2024）既知。クォークの無い理論では $n_f=0$ で $b_0=11C_A/12\pi$ となり、$C_A\gt0$ からどの単純群でも $b_0\gt0$ です。一ループの摂動論の水準で、短距離ほど結合が弱くなります（節 07）。$b_0$ の数値は結合 $g$ の規格化（上の $C_A$ の規格化）に依存するので、群どうしで大小を比べる意味はありません。要点は正であることです。$U(1)$ では $b_0=0$ で、その理論は質量ゼロの光子の自由場です。隙間はありません。二つの単純群の積なら作用が和に分かれ、互いに作用しない二つの理論になります。

寄り道：コンパクトでない群では

$\mathbb R^4$ は実数四つの組の全体で、有限の箱でも、周期的な箱（四次元トーラス $T^4$）でも、格子でもありません。近似の上では対称性が欠けます。格子は連続な平行移動と回転を壊し、$T^4$ は平行移動を残して回転を壊します。

§4 の一文は $\mathbb R^4$ の符号を書いていません。§3 は Wightman の公理を「ミンコフスキーの符号の $\mathbb R^4$」の上の理論として紹介し、§6 は構成的場の理論の現状を述べる括弧書きで「ユークリッドの定式化では、ユークリッド時空 $\mathbb R^4$ を $\mathbb R^2$ や $\mathbb R^3$ に置き換える」と書いており、ユークリッド版の舞台が $\mathbb R^4$ であることが読み取れます 既知。長さの測り方は二通りです。

二つは Osterwalder–Schrader の理論でつながります（§3。形式的には $t=-i\tau$ の置き換え）。その仕組みは 0-04・2-04 と既存の記事 符号が一つ違う で扱います。

例。§6 は $T^4$ について「構成は完全ではないが、既知の方法を延長できる十分な兆候がある」と書き、$T^4\to\mathbb R^4$ の極限を得る方法は現在の手法からは示唆されない、と書きます 既知。この隔たりがそのまま問題に入っています。四が特別な理由は 1-12 と既存の記事 四次元でだけ起きること にあります。

近似で失うのは対称性だけではありません。§6.5 は反射正値性について 'few methods exist to recover reflection positivity in case it is lost through regularization—such as with dimensional regularization, …' と書き、例に次元正則化と Pauli–Villars を挙げます 既知。格子は反射正値性を保って回転を壊し、連続の正則化は逆です（4-04・4-10・6-11）。

「存在する」は、何かの極限が在るという意味ではありません。§4 は、§3 の意味の場の量子論を定義し、その局所場が曲率 $F$ とその共変微分のゲージ不変な局所多項式と対応するようにせよ、と書きます 既知。曲率は §1 で $F=dA+A\wedge A$ と書かれ、§4 が例に挙げる局所多項式は $\operatorname{Tr}F_{ij}F_{kl}(x)$ です。

ゲージ場 $A$ そのものは求められていません。$A$ はゲージ変換で変わり、観測量ではないからです。「量子場」は §3 で「時空の上の作用素値の超関数」と定義されます。点での値 $\mathcal O(x)$ は意味を持たず、試験関数 $f$ でならした $\mathcal O(f)=\int\mathcal O(x)f(x)\,d^4x$ が作用素になります（1-11）。

表 2　「存在」に含まれる性質（問題文 §3 の要約。正確な形は文献 [45]・[35]。本書では 4-09・4-10）。

例。自由な Klein–Gordon 場は最初の公理系の模型になった場ですが（§6.2）、次の「非自明」で除かれます。§6.5 は「量子力学のヒルベルト空間を確立することは、このミレニアム問題の解の一部である」と明言しています 既知。

問題文は「非自明」を定義していません。ふつうは「自由場（相互作用の無い場）でない」と読みます。§6.2 は、平均 0・共分散 $(-\nabla^2+m_0^2)^{-1}$（$\nabla^2$ はラプラシアン）のガウス測度が質量 $m_0$ の自由場を与え、非線形の場にはガウスでない測度が要る、と書きます 既知。ガウスかどうかは高次の相関で見分けられます。平均 0 のガウスの確率変数 $X$ では

で、多変数でも四点の期待値は二点の期待値の積の和で書けます（Isserlis の公式。1-08）既知。

例。計算密度 $\propto e^{-x^4}$ では (5) の比は 2.18844（$\Gamma(\tfrac14)\Gamma(\tfrac54)/\Gamma(\tfrac34)^2$ と一致）です。密度 $\propto e^{-x^2/2-\lambda x^4}$ では $\lambda=1,\ 0.1,\ 0.01$ で 2.319、2.537、2.843 と、$\lambda\to0$ で 3 に戻ります。場の理論の自明性とは、近似の一つ一つはガウスでないのに、極限でこの種の比がガウスの値に戻ってしまう現象です。

正確には、一変数の比は目安です。四次元の $\lambda\varphi^4$ では、格子で紫外を切り、臨界点の近くで格子間隔 0・無限体積のスケーリング極限を取ると、極限がガウスになることが定理です（Aizenman–Duminil-Copin 2021。1-08）既知。ヤン–ミルズは短距離で結合が弱くなる点で違い、非自明な極限が期待されていますが、証明はありません 物理。質量を持つ自由場は隙間を持つので（表 3）、ギャップだけでは自由場を締め出せません（6-08）。§6 は、四次元で Wightman の（あるいは他の妥当な）公理を満たす非自明な相対論的場の理論は、現時点で一つも知られていないと書いています 既知。

§4 の定義は、ハミルトニアン $H$ のスペクトル $\sigma(H)$（行列なら固有値の集合に当たるもの。1-10）で書かれています。真空はエネルギー 0 の固有ベクトルで、エネルギーは負になりません。そのうえで 0 のすぐ上に空いた区間があることを、ギャップと呼びます。

$\sup\Delta$ は条件を満たす $\Delta$ 全体の上限で、これを質量 $m$ と呼びます 既知。問題文は $m\lt\infty$ を課す理由を書いていません。式から読むと、何を除くかが分かります。$\sigma(H)=\{0\}$ ならどの $\Delta$ も条件を満たし、$m=\infty$ です。自己共役（1-10）とは、エルミート行列（固有値がすべて実数の行列）の性質を無限次元の作用素に広げたものです。自己共役な $H$ で $\sigma(H)=\{0\}$ は $H=0$ と同じなので、$m\lt\infty$ は「真空の上に正のエネルギーの状態が何か在る」ことです。

「質量」と呼ぶ理由は、エネルギーと運動量の関係にあります（$\hbar=c=1$。2-04）。質量 $\mu$ の粒子は $E=\sqrt{|\vec p|^2+\mu^2}\ge\mu$ です。§6.2 の質量の作用素 $M=\sqrt{H^2-\vec P^2}$ について $H\ge M$ で、運動量 0 では $H=M$ です。$M\gt0$ の状態はローレンツ変換で運動量を 0 に寄せられるので（公理のローレンツ共変性を使います）、$H$ の隙間と $M$ の隙間は同じ幅になります 既知。真空のほかに $M=0$ の状態があれば、どちらの隙間も 0 で、結論は同じです。この同値は問題文自身には書かれていません。

計算図はその場で式 $E=\sqrt{p^2+m^2}$ から描いています（運動量は一方向だけ。塗りは連続スペクトル）。

表 3　四つの例のスペクトル。

1 行目と 2 行目は $\sigma(H)$ が同じです。問題文が求めるのは $\sigma(H)$ の隙間だけで、孤立した一粒子の状態は拡張問題です（節 09）。§5 はギャップの帰結としてクラスター性を挙げます。$\langle\Omega,\mathcal O\Omega\rangle=0$ の局所場 $\mathcal O$ と $0\lt C\lt\Delta$ について、二点が十分に離れていれば

です 既知。離れた場所の揺らぎが独立に近づく速さを、ギャップが決めます。定義の本体は 4-11、有限の系での読み方は 2-05 にあります。

量子ヤン–ミルズ理論は、作る前には定義がありません。作ったものを「$G$ の量子ヤン–ミルズ理論」と結び付けるのが、§4 の第 1 段落の条件です。量子場の相関関数は短距離で、教科書にある漸近自由と摂動的な繰り込み理論の予言と一致しなければなりません（原文 'should agree at short distances with the predictions of asymptotic freedom and perturbative renormalization theory, as described in textbooks'）。予言には応力テンソルと演算子積展開の存在が含まれ、その局所的な特異性は漸近自由が予言する形を持つ、とあります 既知。

漸近自由は、結合の強さが尺度で変わり、短距離（大きい運動量 $\mu$）で弱くなる性質です（Gross–Wilczek と Politzer、1973。問題文の文献 [21]・[38]）。クォークの無い理論では、$\alpha=g^2/4\pi$ の走り方は次の形です（PDG 2024 の式 (9.3) で $n_f=0$。右は一ループの解）既知。

$\Lambda$ は積分定数で、摂動論で定義した結合が発散する尺度です。

例。計算$SU(3)$ では $b_0=0.8754$ で、$\mu/\Lambda=10,\ 100,\ 1000$ のとき $\alpha=0.248,\ 0.124,\ 0.083$ です。運動量が 10 倍になるごとに $1/\alpha$ は同じ量 $2b_0\ln10\approx4.03$ ずつ増えます。弱くなり方は対数的で、ゆっくりです。

(8) を解くと $\Lambda=\mu\,e^{-1/(2b_0\alpha)}$ で、$e^{-1/x}$ は $x\to0^+$ でどの $x^k$ よりも速く 0 に近づくので、$\alpha$ のべき級数の係数はすべて 0 です 既知。古典の作用には質量の次元の定数が無く、量子論の質量は $\Delta=c\Lambda$ の形になると物理では考えられています 物理。§6.6 の「質量ギャップは古典的には見えない」と整合します。問題文は結合定数 $g$ の値を指定していません（4-06・4-07）。

脚注 1（§4）は、古典的な「微分多項式」と量子の演算子の間には繰り込みの微妙さのため自然な一対一の対応は無く、次元 $d$ 以下どうしの空間が対応すると期待される、と書きます 既知。次元は質量の次元で、$A$ が 1、$F$ が 2、$\operatorname{Tr}F^2$ が 4 です。

脚注 2（§6.5 の末尾）は、存在の部分の解として弱い存在（コンパクト性）を特に除く、ただし極限の性質（質量ギャップや公理）を別の手法で確立するなら別だ、と書きます 既知。脚注が付いた本文は「体積に一様な質量ギャップを示すには新しい考えが要る。それがあれば $T^4\to\mathbb R^4$ の極限を研究できるだろう」という趣旨です。一様とは、箱の大きさ $L$ ごとの隙間 $\Delta_L$ について右側が成り立つことです。

左側だけなら質量ゼロの自由場でも成り立ちます。辺 $L$ の箱の壁で場を 0 とすると、いちばん低い振動のエネルギーは $\sqrt3\,\pi/L$ で、隙間は $L\to\infty$ で閉じます（2-05）。

コンパクト性の議論は、有界な数列が収束する部分列を持つ（Bolzano–Weierstrass）という型の議論です。確率測度の列でも、一様な評価（緊密性）があれば弱収束する部分列が取れます（Prokhorov の定理）既知。緊密とは、列のどの測度も確率のほとんど（$1-\varepsilon$ 以上）を共通のコンパクトな集合（$\mathbb R^n$ なら有界で閉じた集合）に載せていることで、弱収束とは有界で連続な関数の期待値がすべて収束することです。弱いのは、部分列の取り方で極限が変わりうることです。極限が一つに決まるか、ギャップや公理のどれを満たすかは、コンパクト性だけからは分かりません（反射正値性のように弱収束で保たれる性質もあります。5-03）。図 2 は数列 $a_n=\cos n$ で、極限が一つに決まらない様子を見ます。

計算この図の数値はこの端末で計算しました。規則：$n_1$ は $|\cos n-t|\lt1/2$ となる最小の $n$、$n_{k+1}$ は $n\gt n_k$ で $|\cos n-t|\lt1/(k+2)$ となる最小の $n$。図は同じ規則をその場で計算し、python3 の結果（表 4）と一致します。

計算表 4　$n\le400$ で取り出した部分列。

$n$ を $2\pi$ で割った余りは一様に分布するので（Weyl の等分布定理）、どの $t\in[-1,1]$ にも収束する部分列が取れます 既知。$n\le100000$ での $\cos n$ の経験分布と逆正弦分布の差は、10 区間とも 0.0001 未満でした 計算。有界性だけからは、極限は一つに決まりません。

正確には、格子の方法では格子間隔 $a$ ごとに測度 $\mu_a$ があり、$a\to0$ を取りたい。一様な評価から部分列の極限が得られても、一意か、公理とギャップを満たすかは別の問題で、脚注 2 はそこを示せと言っています。四次元の紫外側の既知の結果から見込まれるのも、部分列を使うコンパクト性の議論による極限だと述べられており、極限は一意とは限らない、とも書かれています（Magnen–Rivasseau–Sénéor 1993 の序論。6-07）既知。

§5 は次を自然な拡張として挙げ、本体と分けています 既知。孤立した一粒子状態の存在（質量ギャップに加えて「上のギャップ」）。閉じ込めの証明。漸近自由を保つ場を加えた他の四次元ゲージ理論の存在と、その力学（ギャップ・閉じ込め・カイラル対称性の破れ）。存在定理を任意の四次元多様体へ広げること。上のギャップを式で書くと、$M$ のスペクトルが次の形であることです（この章の書き方。§6.2 の「$m$ が $M$ の孤立した固有値」に当たります）。

質量 $m$ の粒子が一種類だけで束縛状態の無い理論では、二粒子の連続スペクトルが始まる $m'=2m$ です（表 3 の 1 行目）。

§1 は、QCD が量子の水準で持つべき三つの性質として、質量ギャップ・クォークの閉じ込め・カイラル対称性の破れを挙げます。問題の本体に入ったのは一つ目だけで、対象もクォークの無い純ヤン–ミルズです。問題文は隙間の値も求めていません。グルーボールの質量や弦張力との比は物理の測定の対象です（5-08）。

例。Chatterjee（2018）の Problem 5.1 は、格子（$\beta$ は格子の結合の逆数で、大きいほど結合が弱い。5-01）の上でプラケット変数の相関が指数的に減衰し（相関長 $\xi(\beta)$ が有限）、$\beta\to\infty$ で $\xi(\beta)\to\infty$ となることを問います。格子の上の定式化で、連続極限・$\mathbb R^4$・公理・非自明性を含む Clay の要件とは別物です。それが示されても、それだけでは Clay の問題の解になりません（5-09・9-05）。

(1) の条件を、節 01 で触れた $m_G\lt\infty$ と合わせて一語ずつ取り上げ、その語が直接締め出すものを並べます。

表 5　一語ずつの一覧（この章の読み）。

表 5 の語は、外したときに何が起きるかで二種類に分かれます。一つは、外すと主張が偽になる語です。「単純」がそうで、下の例のとおり、隙間の無い理論が一つ混ざります。もう一つは、外すと主張が易しくなる語です。「$\mathbb R^4$」を外せば有限の格子の上の有限次元の積分で済み、「存在（公理）」を外せば極限が在るだけのものが通り、「脚注 2」を外せば部分列の極限で足ります。「$m\lt\infty$」を外すと、真空だけの理論が隙間の条件を形の上で満たしてしまいます。この章の読みでは、問題文の語の多くは後者で、易しい答えへの抜け道を一つずつ閉じています。

締め出しは重なります。質量を持つ自由場は「非自明」と「短距離」の両方に掛かります。一つの語を外しても、別の語が同じものを締め出していることがあります。表 5 は語ごとの役目の目安です。

例。「単純」を外すと $G=U(1)$ についても隙間を示すことになりますが、その理論は自由な電磁場で、表 3 の 3 行目のとおり隙間がありません。外した主張はこの一例で偽になります。

この章が言えている範囲

出典と再現

次に読む章：0-04 数学の四次元と物理の四次元。語ごとの深掘りは、各節の終わりに挙げた章へ。

← 0-02 一枚の絵目次0-04 数学の四次元と物理の四次元 →