2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 9 部 現在地と課題誤解

よくある誤解 — 半分正しい言い方を、問題文の言葉に戻す

よく見る言い方の多くは半分正しく、そのぶんずれが見えにくくなります。この章は各項を言い方・正しい核・ずれ・正確な言い方に分けます。基準は問題文の一文で（0-03）、条件を並べると

です。各語を一行ずつ読みます 既知。

• $G$：コンパクト単純群。$SU(2)$・$SU(3)$ から例外群 $G_2$ まで全部です（0-03）。
• $\mathcal T_G$：$\mathbb R^4$ 上の量子ヤン–ミルズ理論。格子でも有限の箱でもなく、無限に広い連続の四次元の上の理論です（0-03）。
• 公理：量子場の理論が満たすべき条件の一覧（Wightman の公理や Osterwalder–Schrader の公理）です（0-03）。
• 非自明：相互作用の無いガウスの理論（自由場）に潰れていないことです（0-03）。
• 短距離で漸近自由と一致：短い距離での振る舞いが、摂動論の予言（漸近自由。§04 の (4)）と合うことです（0-03）。
• $\Delta_G\gt0$：ハミルトニアン $H$ のスペクトルが、真空のエネルギー 0 の上の区間 $(0,\Delta_G)$ に点を持たないことです（0-03）。

ずれの多くは (1) の一語を近い語に取り替えて起きます。例。「$\Delta$」→「粒子の質量」（§05）、「存在」→「数値が収束して見える」（§07）、「$\mathbb R^4$」→「格子」（§08）。

この章で使う言葉

第 4 部・第 5 部の言葉を先に借ります。ここでは一行ずつの定義にとどめ、詳しくは右の章に譲ります 既知。

言い方：物理は途中の無限大をうまく処理して進むが、数学はそれを許さない。だから難しい。

正しい核：連続の理論には、格子間隔 $a\to0$ で発散する量を抑える繰り込み（4-04）が要ります。Bałaban の仕事は主にこの紫外の制御に向けられています（6-07）既知。

ずれ：出題者は $T^4$ 上の構成には既知の方法の延長の見込みを認めたうえで、'no present ideas point the direction to establish the existence of a mass gap that is uniform in the volume' と書きます（問題文 §6）既知。格子間隔を固定した有限の周期格子では、理論は有限次元の積分で、無限大はありません（6-11）。

$dU_\ell$ は重さ 1 の Haar 測度、$S_W\ge0$ は Wilson の作用です（5-01）。例。一辺 32 の格子の $SU(3)$ では、リンクが $4\cdot32^4$ 本、各リンクの変数が 8 個（$SU(3)$ の次元）で、積分の変数は $4\cdot32^4\times8=33{,}554{,}432$ 個です 計算。多くても有限です。

難しいのは、箱を $\mathbb Z^4$ へ広げた理論です。講義資料（Chatterjee 2020）は 'In 3D and 4D, mass gap has not been established at large β for any theory.' と書きました 既知。その後、有限群では Adhikari–Cao が大きい $\beta$ での指数減衰を示しました（§04）既知。連続な非可換群では、三・四次元の大きい $\beta$ の隙間は今も示されていません 既知。欠けているのは無限大の値ではなく、箱と $\beta$ に一様な評価です。ギャップ自体も摂動に映らない $e^{-1/(2b_0g^2)}$ の形と考えられています（0-02）物理。

反対向きの言い過ぎ：「紫外はもう片づいた」も違います。Bałaban の四次元の定理（1989）は仮定つきで、仮定を外す定理は 'has not been published yet' です。ゲージ不変な観測量の極限も、コンパクト性で部分列を取る水準で、極限が一つとは限りません（Magnen–Rivasseau–Sénéor 1993 の序文。6-07 §05）。問題文の脚注 2 は、そうした弱い存在を解と認めません 既知。

言い方：次元を下げればできていて、残るのは四次元だけ。

正しい核：$\varphi^4$ は二・三次元で構成済みで（問題文 §6.2）、二次元の可換 Higgs 模型は公理まで示されています。問題文はこれを 'the only complete example of an interacting gauge theory satisfying the axioms' と呼びます 既知。

ずれ：非可換ヤン–ミルズでは話が違います。二次元の構成（6-02）は、ゲージを固定するとプラケットが独立になる厳密可解性に負い、伝播する自由度もありません。三次元は 'a construction of the 3D YM measure ... even on T3, remains open'（Chevyrev 2022）で、Bałaban（1985）は有限の格子の分配関数の一様な評価までです（6-06）既知。違いの芯は結合定数の次元です。

例。$d=3$ では $g^2\ell$（$\ell$ は長さ）が次元の無い結合で、短い距離ほど小さくなります。短い距離で相互作用が弱まることが、構成の足場になります。$d=4$ ではこの足場が対数のゆっくりした変化にしか残りません。正確には、$d=4$ では $g^2$ が無次元になり、尺度への依存は一ループの走り（§04 の (4)）による対数だけになります 既知（次元ごとの表は 9-01）。

言い方：光子（$U(1)$）は質量ゼロだが、グルーオンは非可換で自己相互作用するからギャップが出る。

正しい核：四次元の $U(1)$ 格子理論では、大きい $\beta$ で面積則が破れ（Guth 1980。完全に厳密な証明は Fröhlich–Spencer 1982）、質量ゼロの相になります（Fröhlich–Spencer 1982）既知。いずれも主に Villain 型の作用（(2) の Wilson 作用とは形の違う作用）での結果とされます。一ループの係数も群で決まります。

随伴表現の Casimir 数 $C_A$ は $SU(N)$ で $N$、$U(1)$ で 0 で、物質場の無い理論が漸近自由なのは非可換のときだけです（4-06）既知。

ずれ：格子の定理は群と次元で分かれます（図 1・表 1）。強結合（小さい $\beta$）では、どの群でも指数減衰が成り立ち、中心に自明でなく作用する表現のループでは面積則も成り立ちます（Osterwalder–Seiler 1978）既知。中心が自明な群（$G_2$・$SO(3)$・中心が自明な有限群）では、グルーオンによる遮蔽で、大きいループは強結合でも周長則になるとされます 物理。

強結合の面積則は、閉じ込めの証拠になりません。閉じ込めない四次元の $U(1)$ でも、小さい $\beta$ では成り立つからです（Chatterjee 2018）。例。三次元の $U(1)$ は可換なのに、すべての $\beta$ で面積則が成り立ちます（Göpfert–Mack 1982。Villain 型の作用とされる）既知。四次元の有限群（非可換を含む）は大きい $\beta$ でも指数減衰しますが（Adhikari–Cao）既知、閉じ込めないと信じられています 物理。

効いているのは次の点です。連続な非可換群では、有限の $\beta$ に相転移が無く、$\beta\to\infty$ で相関長が発散すると信じられています 物理。その極限で、格子間隔で測った隙間 $1/\xi$ は 0 に近づきますが、物理の単位の隙間（例えば $m/\sqrt\sigma$）は正のまま残る、と物理では考えます 物理。これを示すことが要ります（5-06・5-10）。群を区別しない議論は、四次元の $U(1)$ にも隙間があると誤って結論してしまいます。

既知表 1　図 1 の中身（一次資料の定理と「信じられている」見込み。表の欄は大きい $\beta$ の側）。小さい $\beta$ では、指数減衰はどの行も定理で、面積則は中心に自明でなく作用する表現のループで定理です（有限群の行では中心が自明でない群・表現のとき）。中間の $\beta$ の振る舞いは群によって違い、四次元の $\mathbb Z_N$（$N$ が大きいとき）には質量ゼロの相があるとされます（出典表の注）。

言い方：質量ギャップとは最も軽いグルーボール（グルーオンの束縛状態）の質量で、約 1.7 GeV。

正しい核：物理では隙間の下端に孤立した一粒子状態（$0^{++}$ のグルーボール）が在ると考え、格子で測ります。純 $SU(3)$ で $r_0m=4.21(11)(4)$（Morningstar–Peardon 1999）です（5-08）物理。

ずれは三つです。一つ目。問題文が求めるのはスペクトルの隙間で、孤立した一粒子状態は 'natural extensions' の一つです（0-03）既知。二つ目。格子が測るのは相関の減り方です。ゲージ不変な演算子 $O$ を真空 $\Omega$ に作用させた状態 $O\Omega$ を考えます。$\rho$ は、この状態がエネルギー $E$ の成分をどれだけ持つかの重み（スペクトル測度）です。虚時間 $\tau$ だけ離れた $O$ どうしの連結相関は、$\rho$ で次のように書けます（0-04 §07・4-11）既知。

$m_{\mathrm{eff}}$ は $\tau\to\infty$ で $\rho$ の台の下端に近づきますが、下端が孤立した点か連続スペクトルの端かは教えません。二つの模型で比べます（$\Delta=1$）。

$(x)_+^{1/2}$ は $x\gt0$ で $\sqrt x$、他で 0。$\int_{E_0}^\infty(E-E_0)^{1/2}e^{-E\tau}dE=\Gamma(\tfrac32)e^{-E_0\tau}\tau^{-3/2}$ から、B は $m_{\mathrm{eff}}=1+\tfrac{3}{2\tau}$ です。例。A は $\tau\approx3.2$（$c=1$）〜$4.2$（$c=5$）で 1% 以内に入り、B は $\tau=150$ でようやく入ります（表 2）。途中の窓に指数関数を一つ当てはめると、B には $\Delta$ より重い「粒子」が見えます 計算。平らな部分を一粒子の質量と読むのは物理の水準の解釈です 物理。

計算この図の数値はこの端末で計算した（(6) の閉じた形をその場で計算）。

計算表 2　$m_{\mathrm{eff}}(\tau)$（$\Delta=1$、$Z=1$）。最後の行は 1% 以内に入る最初の $\tau$。閉じた形と数値積分の差は $\tau\le16$ で $4\times10^{-5}$ 未満。

三つ目。GeV の単位は純ヤン–ミルズの中からは出ず、クォークを含む格子 QCD の尺度 $r_0$ を借ります。格子の論文も、純ゲージ理論と QCD は別の理論だと断っています（Athenodorou–Teper）物理。「グルーオンに質量が付く」も別の話で、質量項 $m^2\,\mathrm{tr}\,A_\mu A_\mu$ はゲージ不変ではありません 既知。

言い方：閉じ込め（クォークを単独で取り出せないこと）とギャップは同じことで、片方を示せばもう片方も出る。

正しい核：物理では弦張力 $\sigma$ と隙間 $m$ を一つの尺度の二つの顔と見ます（7-01）。正確には、比 $m/\sqrt\sigma$ が $\beta$ や格子間隔に依らない有限の正の数に近づく、と物理では考えます 物理。格子には条件つきの定理もあります。Chatterjee（2021）は、$G$ が $U(n)$ の閉じた連結部分群のとき、次の強い形の減衰を仮定しました 既知。

$B$ は立方体の箱、$\delta$ は箱の境界条件、$f,g$ は $[-1,1]$ に値を取る局所的な関数（一本のリンクの近くの変数だけで決まる関数）、$\mathrm{dist}(f,g)$ はその間の距離です。定数 $K_1,K_2$ は $B$・$\delta$・$f$・$g$ に依らず、$G$・$\beta$・$d$ だけで決まります。この順序が要で、定数が箱や境界条件ごとに違ってよいなら、仮定はほとんど何も言いません。

定理（Chatterjee 2021 の定理 2.4）は、(7) が成り立てば中心対称性は破れず、中心に自明でなく作用する表現の長方形のループで面積則が成り立つ、というものです 既知。著者は、小さい $\beta$ ではほぼどの格子ゲージ理論でも (7) が示せると書く一方、四次元で信じられている減衰がこの強い形を含むかは明らかでないと書きます。

ずれ：(a) 問題文は閉じ込めを求めず、'natural extensions' に挙げるだけです 既知。(b) 「任意のコンパクト単純群」には中心が自明な $G_2$ なども入り 既知、そうした群は弱結合で閉じ込めないかもしれないと信じられています（同論文の $SO(3)$ の注）物理。問題文はそこにも隙間を求めます。(c) 例。三次元の $U(1)$ は面積則が示されました（Göpfert–Mack。Villain 型の作用とされる）。一方で大きい $\beta$ の隙間は、講義資料（2020）の時点では示されていないとされます。有限群では、大きい $\beta$ の指数減衰が定理で（Adhikari–Cao）既知、閉じ込めないと信じられています 物理（図 1）。

ただし、有限群などの理論で言われる「減衰」は、特定の境界条件での二点相関の減衰を指し、(7) の強い形（任意の境界条件で一様）とは違う、と著者は注意しています（Chatterjee 2021 の定理 2.4 の後の注）既知。だから、減衰しても閉じ込めない理論があることは、定理 2.4 と矛盾しません。

言い方：大規模な計算でグルーボールの質量が精密に出ているから、ギャップの存在は分かっている。

正しい核：例。$SU(2)$ の $m_{0^{++}}/\sqrt\sigma$ は 3.844(61)（Lucini–Teper 2001）と 3.781(23)（Athenodorou–Teper 2021）で、よく合います 物理。

ずれ：確かめているのは、在ると仮定したうえでの整合性です（7-13）。有限の箱・有限の $\beta$ では隙間は必ず正で（7-13）既知、正の数が出ても主張は試されていません。連続での値は

の形を仮定した外挿で 物理、分母の $\sigma$ は電束の管を Nambu–Goto の弦とみなす補正を通ります（7-13）。

言い方（格子）：格子の上で、すべての $\beta$ で相関長が有限だと示せば懸賞の解になる。

正しい核：Chatterjee（2018）の Problem 5.1 は、四次元の非可換なコンパクト Lie 群 $G\subseteq U(N)$（$N\ge2$）の任意の無限体積極限で、プラケットの相関の減る長さ $\xi(\beta)$ について次を示せという、一様な隙間の格子版です 既知。

ずれ：連続極限、$\mathbb R^4$ の上の公理、非自明性、短距離での一致は (9) に入らず、(9) だけでは懸賞の解になりません。逆の含意も自明ではありません（5-09）既知。

言い方（有限の箱）：有限の箱 $T^4$（連続の四次元トーラス）の上で作れれば、あとは箱を広げるだけ。

ずれ：問題文はコンパクトな空間の上の構成だけでも 'would represent a major breakthrough' と書き、その先に一様なギャップの壁を置きます 既知。例。格子の周期箱（格子の $T^4$）でも、反射正値性から転送行列が得られ、有限の箱の隙間は正になります 既知。有限の箱の隙間は、あって当然の量です。要るのは $T^4\to\mathbb R^4$ と、そこで潰れない隙間です（6-10）。

この章が言えている範囲

出典と再現

次に読む章：10-01 理論の構成の筋。

← 9-04 課題の一覧目次10-00 第 10 部の入口 — 酔歩と定規と時計 →