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

世界はどこまで来ているか — 年表と、次元ごとの表で現在地を読む

ヤン–ミルズの定理は、どれも「どこで成り立つか」の条件を持ちます。条件を落とすと、二次元の定理が四次元の話に、格子の定理が連続の話に見えます。この章は条件を六つの軸にまとめ、住所と呼びます。

$d$ はユークリッド化した時空の次元、結合の側は格子の逆結合 $\beta=2N/g^2$（記号表）が小さい強結合か大きい弱結合かです。問題文の住所は「4・連続・$\mathbb R^4$・任意のコンパクト単純群・なし」で、そこで六つの段を全部通すことが求められます。既知 四次元の格子の連続極限は $\beta\to\infty$ の側にあると信じられています（Chatterjee 2018 §5）。物理

例：Driver 1989 は（2・連続・$\mathbb R^2$・—・連結コンパクト・なし）で段 3・4 まで、Shen–Zhu–Zhu 2022 は（任意・格子で間隔を固定・無限・強・$SU(N)$・なし）で格子の上の指数減衰です。年表の「範囲」はこの住所の略で、年は最初の公開年（arXiv があればその年）、括弧は出版年です。複数の論文をまとめた行は年の幅で書きます。

最初の半世紀の流れは三つです。物理では理論が書かれ（1954）、漸近自由が摂動論で分かりました（1973）。枠組みでは公理（1973・1975）と格子（1974）がそろいました。構成では、格子の強結合（1978）、三・四次元の紫外の評価（1985・1987–89）、二次元の連続の測度（1989）、四次元で紫外の切断を外し赤外の切断を残した構成の概略（1993）が出ました。既知 1974 年と 1973 年の式は次の二つです（5-01・4-06）。

例：$SU(2)$ で $\beta=2.5$ は $g^2=2N/\beta=1.6$。$b_0\gt0$ の符号が漸近自由です。「比較」の行は可換群・スカラー場という隣の理論で、升目は動かしません。物理の行は第 7 部に続きます（7-04・7-11・7-09、格子数値は 5-08）。

既知表 1　年表 I（物理の札の行を除く）。行を押すと図 1 がその年になります。

2000 年 5 月 24 日、Clay 数学研究所はパリでミレニアム懸賞問題を発表しました。問題文（Jaffe–Witten）は四次元の現状をこう書きます。既知

'at present we do not know any non-trivial relativistic field theory that satisfies the Wightman (or any other reasonable) axioms in four dimensions.'（JW §6）

その後、二次元の新しい構成、三次元の状態空間と力学、格子の新しい定理が加わりましたが、2004 年の報告は 'The state of the art remains the works of Balaban and of Magnen, Rivasseau and Sénéor' と書きます。既知 2018 年の総説は格子の上の問いを式にしました（Problem 5.1。5-09）。$f_\beta(x)$ は原点と点 $x$ に最も近いプラケットの Wilson ループの相関です。

例：2000 年以後の行は 16 本（うち 2020 年代が 10 本）で、盤面の色を変えたのは 2022 年の 2 本（Shen–Zhu–Zhu と Adhikari–Cao）だけです。計算 Problem 5.1 は格子の問いで、問題文の要件（連続・$\mathbb R^4$・公理・非自明性）とは別物です（0-03）。

既知表 2　年表 II。

表 2 の言葉：確率量子化＝測度を、ある確率的な時間発展の不変測度（時間がたっても分布が変わらない測度）として作る方法。Langevin 力学＝測度を不変にする、雑音つきの勾配流。確率ヤン–ミルズ熱流＝ヤン–ミルズの作用を減らす向きの流れ（熱流）に雑音を加えたもの。正則性構造＝特異な確率偏微分方程式に意味を与え、繰り込む枠組み。いずれも 6-09。Markov 過程＝未来の分布が現在の状態だけで決まる確率過程（6-02）。

年表を升目に写します。行は連続の非可換ヤン–ミルズ（物質場なし）の $d=2,3,4$ と四次元の格子、列は六つの段（6-01）です。段 1・2 は格子の上の測度 $\mu_{a,L}$ を作る段で、格子の上で閉じます（6-10 §03）。三次元・四次元では連続のまま有限体積の測度を作ることがまだできていないので、その段 2 を「閉（格子）」と書きます。

状態の名前は 6-01 の表 2 と同じです。閉（定理がある）、一部（仮定つき・概略・分配関数の評価まで、または要件の一部だけ。6-10 の表 2 の「仮定つき」もここに入る）、未、—（問いがその形では立ちにくい。6-02）の四つです。年 $y$ の状態は、$y$ 以前の最後の変化の記録 $(y_k,c_k,v_k)$ で決まります。

計算この図の数値はこの端末で計算しました（式 (4)）。升目の分け方と状態の決め方はこの章の選択です。

計算表 3　2026 年の盤面（状態と、その状態になった年）。格子の行の三つの升は、段の列と対応しません。

例：盤面が動いた年は 1974・1978・1985・1989・2022 の五つで、連続の升目は 1989 年から動いていません。21 升のうち閉 10・一部 3・未 7・— 1 です。計算 6-10 の表 2 は格子の段 4（無限体積）を強結合で OS 1978 により「閉」とします。この章の格子の升は段 4 と段 6（ギャップ）を一つに数えるので、1978 年は「一部」です。二次元の段 5 は、ゲージ不変な期待値のユークリッド不変性（Driver 1989 の系 6.7）までで、OS の公理の形の主張は無いので「一部」です。段 6 は伝播する自由度が無く、問いが立ちにくいので「—」です（どちらも 6-01 の表 2 と同じ）。既知

格子の強結合の升は、1978 年に「一部」、2022 年に「閉」になります。Osterwalder–Seiler 1978 はクラスター展開の収束を概略で与え、ギャップ（指数的なクラスター性）はその収束から従います。明示的な範囲での一意性と正の質量ギャップの証明は Shen–Zhu–Zhu 2022 です（どちらも SZZ の序論による。OS 1978 の要旨は強結合での無限体積の極限の存在と解析性・Wilson の閉じ込めの評価を述べる。5-02 §08）。既知 連続の升目が動かないのは、進歩が無いからではありません。二次元の測度の Langevin 力学による特徴づけや三次元の力学のような升目の中の進歩が、粗い盤面に映らないのです（この章の読み。段ごとの文献の言葉は 6-10）。

盤面の行を、住所の言葉で書き直します。列は格子（間隔を固定）、二重の極限（6-01）の内側と外側、公理とギャップです。$\mu_{a,L}$ は格子間隔 $a$・一辺 $L$ の箱の測度です。

既知表 4　次元ごとの現在地（非可換・物質場なし）。

二次元が連続・無限体積まで閉じているのは、厳密に解ける構造（プラケットの独立性と群の熱核。6-02）によります。三次元は易しいとされますが、連続の測度は 'open, even in finite volume' です（6-06）。四次元は段 3 が有限体積で仮定つき・概略、段 4〜6 に定理がありません（6-07）。既知

例：表 4 の四次元の「連続・有限体積」は表 3 の段 3（一部）に、「格子」の列は表 3 の格子の行に当たります。MRS の概略は紫外の切断を外していますが、赤外の切断は残したままです。

「二・三次元ではできている」という言い方は、非可換のヤン–ミルズについては二次元でだけ正しい言い方です。三次元まで当てはまるのは、可換群とスカラー場です（9-05）。年表の「比較」の行を並べます。どの行も盤面の升目は動かしません。既知

既知表 5　隣の理論の到達点（年表の「比較」の行）。

四次元の二つの行は、どちらも極限が自由場（ガウス）になる例です。漸近自由（4-06）なヤン–ミルズでは非自明な極限が期待されていますが、証明はありません（6-08）。物理 同じ四次元でも、φ⁴ は短距離で結合が強くなり、ヤン–ミルズは弱くなります。向きが逆なので、φ⁴ の自明性の定理はヤン–ミルズには当てはまりません。例：三次元で比べると、φ⁴₃ は六つの段を全部通っています（6-01 の表 2）。非可換のヤン–ミルズは段 3 が一部で、段 4 から先は未です（表 3）。

強結合では高温展開（小さい $\beta$ の冪で展開する方法。強結合展開とも呼ぶ。5-02）が定型的に効き、連続なリー群でも指数減衰が出ます（Adhikari–Cao と Shen–Zhu–Zhu の序論による。Osterwalder–Seiler 1978 は要旨のみ）。弱結合では、格子ゲージ理論の無限体積極限の一意性は、$d\gt2$ で $\beta$ が大きいとき一般には分かっていません（Chatterjee 2018 §3）。連続極限に要るのはこの側です（5-05）。既知

二つの定理の条件を一つの β に直す

Shen–Zhu–Zhu の重み $\exp(N\beta\,\mathrm{Re}\sum_P\mathrm{Tr}\,U_P)$ と Adhikari–Cao の重み $\exp(-\beta\sum_P\mathrm{Re}(\chi(1)-\chi(U_P)))$（$\chi$ は表現の指標）の条件を式 (2) の $\beta_W$ に直すと

です（$\Delta_G$ は Adhikari–Cao の記号で、9-02・9-05 の質量ギャップ $\Delta_G$ とは別）。6-10 §05 の $\beta$（Chatterjee の規約 $e^{-\beta\sum_p\mathrm{Re}\,\mathrm{tr}(I-U_p)}$）とは $\beta_W=N\beta_{\mathrm{Ch}}$ の関係にあり、6-10 の $|\beta|\lt N/48$ はこの章の $\beta_W\lt N^2/48$（$d=4$）と同じ条件です。Adhikari–Cao は $G$ の任意のユニタリ表現 $\rho$ を許し、$\chi=\mathrm{tr}\,\rho$ です。ここでは $\rho$ を包含 $G\subset SU(2)$ に取った場合で、Wilson の模型のリンク変数を $G$ に制限したものになります（$\chi(1)=2$ なので $\beta_W=2\beta_{\mathrm{AC}}$）。$\log$ は自然対数です。

前者は $SU(2)$ なら $d=2,3,4$ で $\beta_W\lt0.25,\ 0.125,\ 0.083$、$SU(3)$ ならその 9/4 倍です。計算 例：$d=4$ の $\beta_W\lt1/12$ は、格子数値が連続へ外挿するのに使う $\beta_W=2.25$〜$2.60$（$SU(2)$、Lucini–Teper 2001）物理の 27 分の 1、二項正二十面体群の条件 $\beta_W\ge697$ はその上端の 268 倍です。計算

計算この図の数値はこの端末で計算しました（群を生成元から閉包で作って位数を確かめ、式 (6) を計算）。格子数値の範囲は文献の値です。

計算表 6　$SU(2)$ の有限部分群（定義表現）と式 (6) の条件。定義表現は行列そのもので、指標はトレースです（1-02）。最小角は単位元に最も近い元の固有値 $e^{\pm i\theta}$ の $\theta$。

表 6 の読み方

(a) 閾値は証明に出てくる定数で、相転移の位置ではありません。(b) $SU(2)$ の有限部分群は巡回群・二項二面体群と、位数 24・48・120 の三つの例外だけです。既知 名前に「二項」が付く群は、$SO(3)$ の中の回転群を二重被覆 $SU(2)\to SO(3)$（1-02）で引き戻した群です。二項正四面体群・正八面体群・正二十面体群は正多面体の回転群の、二項二面体群 $2D_n$ は正 $n$ 角形の回転群（位数 $2n$ の二面体群）の逆像で、位数はそれぞれ元の 2 倍です。$2D_n$（位数 $4n$）では $\Delta_G=2-2\cos(\pi/n)\approx\pi^2/n^2$ なので、条件はおよそ $n^2$ に比例して遠のきます。計算 (c) 一ループの $\xi\propto e^{3\pi^2\beta_W/11}$（$SU(2)$）では、格子間隔を 1/10 にするごとに $\beta_W$ が約 0.86 増えます（一ループの目安。二ループの補正と、この $\beta$ の範囲で漸近スケーリングがまだ成り立たないことは 5-05）。物理 有限群の結果が連続な群へ移らない理由は 5-10、強結合の展開は 5-02。

β のつまみ — 二つの岸と帯を一本の軸に

図 2 の数直線に、格子単位の相関長 $\xi$ を重ねます。左の岸は強結合の定理（SZZ の条件 (9)・このサイトの論文 紙。10-01 表 4）と強結合の主項 $\xi=-1/(4\ln u)$、右の岸は二ループの式（9-02 (10)、$C=185$）と Bałaban の仮定です。仮定は有効結合が十分小さいことで、値は書かれていないので（6-07 §04）、$g^2\le\gamma$ を $\beta\ge4/\gamma$ と読む目安を $\gamma$ のつまみで動かします。真ん中は数値の窓 2.25〜2.60（Lucini–Teper 2001）と、プラケットでどちらの主項も 5% に入らない帯 1.75〜2.6（9-02 図 1）です。物理

下段は 10-01 表 1 の言明が要る β の範囲です（この本の整理）。帯を渡る役は、各 β で要る (S1)・(S4)・(S5) です。(S2) はどの β でも成り立ち、(S3)(S6)(S8) は $\beta\to\infty$ の極限の言明、(S7) は β に依らない定理です。既知 定理が在るのは左の端で、$\gamma$ を小さくするほど右の岸の目安は遠のきます。

計算曲線は 9-02 の (9)(10) をその場で計算（ベッセル関数は級数。表 7 は scipy で同じ値）。点と窓の値は Lucini–Teper 2001 物理。

計算表 7　図 3 の β の目印と ξ（格子単位。ξ 数値の列は 9-02 表 3 の $1/(am)$）。

この章が言えている範囲

出典と再現

次に読む章：9-02 二つの掘り方の切れ目。未の升目の前で、物理と数学の掘り方が切れる七つの場所。

← 8-05 私たちの仮定の物理側の対応目次9-02 二つの掘り方の切れ目 →