2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 7 部 物理の側から物理と数学の切れ目

物理の掘り方が数学と離れる場所 — 物理の一文を数学の一文に訳すと、仮定が表に出る

Lucini–Teper 2001 の表5 は $SU(2)$ の最も軽いグルーボールの質量 $m_{0^{++}}$ と弦張力 $\sigma$ の比の連続値を 3.844(61) と与えます 物理。この一文を数学の言明に訳すと

です（$\beta=2N/g^2$、$m$・$\sigma$ は格子間隔 $a$ を単位にした量、5-01）。(1) は四つの前提を持ち込みます。

1. 各 $\beta$ で無限体積の極限が在り、一つに決まる。部分列の極限はコンパクト性から常に在るので、問題は一意性です。
2. 各 $\beta$ で $m(\beta)>0$、$\sigma(\beta)>0$。
3. $\beta\to\infty$ の極限が在る。
4. 極限が、公理（4-10）を満たす連続の理論の量の比になる。

四次元の $SU(2)$ で大きい $\beta$ について、(a)〜(d) のどれも定理ではありません（§05）既知。「(61)」は数値の推定誤差で、不等式による誤差限界ではありません。この章で「離れる」と呼ぶのは、物理の手順のある段に対応する定理が無く、仮定として置くしかない場所です。

物理の計算は、四次元の純ヤン–ミルズ理論が一つ在ることを前提にしています。有限の箱 $B$（格子点の有限な立方体）と有限の $\beta$ では、リンク変数 $U_\ell\in G$ の上の確率測度

がきちんと定義されます（$U_P$ はプラケット $P$ を一周するリンク変数の積、$dU_\ell$ は Haar 測度）既知。前提が入るのは極限です。問題文は、コンパクト性（部分列の収束）による弱い存在だけでは、極限の性質（ギャップや公理）を別の方法で示さない限り解と認めません（問題文 §6.5 の脚注 2、7-01）。さらに問題文は §5 で 'the existence of a uniform gap for finite-volume approximations may play a fundamental role in the proof of existence of the infinite-volume limit' と一様な隙間を名指しします 既知。物理の数値は「在ると仮定したうえでの予言」です。

寄り道：有限の箱の隙間はなぜ易しいか

(1) の分母の $\sigma$ は直接には測れません。測るのは、周期的な箱（一辺 $L$ 格子点）を一周して閉じた電束管の質量 $m_l$ で、Lucini–Teper は管を弦とみなし Lüscher 項（7-03 §03）を差し引きます 物理。

著者は 'in using eqn(4) we are assuming that we have linear confinement …, that the effective string theory … is in the Nambu-Gotto universality class, and that our string is in fact long enough' と書き、'with only two values of L … we cannot claim to have evidence for both the 1/L functional form and for its coefficient' とも断ります。Nambu–Goto の基底状態の全形（Athenodorou–Bringoltz–Teper の式 (23)）は

です（$l=aL$ は管の長さ、$d$ は時空の次元。一次資料は $D$ と書きます）。平方根をとって $1/l$ で展開した最初の二項が (4) です 既知。つまり (4) は長い弦の近似で、管が短いほど後ろの項が効きます。一次資料の格子では管の長さは $L\sqrt\sigma\approx3.1$〜$3.4$（$1/\sqrt\sigma$ を単位とした長さ）計算で、この長さで (4) が足りることは、上の引用のとおり著者も仮定として置いています。

一次資料の表1 の管の質量から $\sigma$ を三通り（補正なし $a^2\sigma=am_l/L$・(4)・(5)）に取り出し、比を計算し直しました 計算。補正なしは、弦の絵の寄与を測る物差しです。

当てはめの読み方 — 各 $\beta$ の比を横軸 $a^2\sigma$（格子の粗さ）に並べ、各点を誤差の二乗の逆数で重み付けして直線を引きます（重み付き最小二乗。直線の形は §05 の (6)）。左端 $a^2\sigma=0$ の値が連続値です。$\chi^2$ は、点と直線のずれを各点の誤差で割って二乗した和で、自由度（点の数 − 2）と同じ程度なら、直線は誤差の範囲で点に合っています。表1 の比の誤差は、$am_{0^{++}}$ と $a\sqrt\sigma$ の誤差を互いに独立とみなし、相対誤差を二乗して足した平方根です。

計算この図の数値はこの端末で計算した（表1 と同じ計算の結果を埋め込んだ）。

(4)・全点の中心値 3.844 は一次資料の表5 と一致します。Lüscher 項の有無で連続値は 5.6%（一次資料の誤差 0.061 の約 3.5 倍）動き、(4) と (5) の差は 0.3% です 計算。表1 の格子で補正は主項 $\sigma L$ の 9〜11% です。比の精度は弦の絵の先頭の補正が正しいことの上に立ちます（Athenodorou–Bringoltz–Teper は低い状態の多くが Nambu–Goto でよく記述されると報告）物理。

数学に訳すと、弦の絵の出発点は長い閉じ込めの管、つまり閉じ込めです。四次元の非可換群で大きい $\beta$ の面積則は 'remains elusive'、小さい $\beta$ の面積則は $U(1)$ を含む全群で成り立つので証拠にならない、と Chatterjee 2018 は書きます 既知。

一次資料は、プラケット作用の格子の補正が $a^2$ から始まると見込み、

を当てはめ（$c$ は定数とみなす）、当てはめが悪ければ最も粗い点を除きます 物理。図1 のつまみはこの手順の再現で、(4) なら連続値は 3.84〜3.86 に留まります 計算（当てはめの形による動きは 7-12）。

数学の側では、Chatterjee 2018 の Problem 5.1 が次を示せと求めます。$W_P=\operatorname{tr}U_P$ と置き、原点のプラケット $P_0$ と、点 $x\in\mathbb R^4$ に最も近いプラケット $P_x$ の相関（共分散）を $f_\beta(x)=\langle W_{P_0}W_{P_x}\rangle-\langle W_{P_0}\rangle\langle W_{P_x}\rangle$ とします。四次元の非可換格子ゲージ理論の任意の無限体積極限で、どの $\beta>0$ でも

となること（$\xi$ は格子単位の相関長。Problem 5.2 は Wilson ループの連続極限）。言葉にすると、相関は遠くで $e^{-|x|/\xi}$ のように減り、その長さ $\xi$ はどの $\beta$ でも有限で正、しかも連続極限に近づくと格子間隔に比べて限りなく長くなる、ということです。著者は 'Since none of the above has been proved' と書き、2 次元より高い次元の大きい $\beta$ では無限体積極限の一意性も分からず、四次元で $\beta_c=\infty$ は 'It is believed' の水準だと述べます 既知。例：最も細かい点（$\beta=2.6$、$24^4$）でも $\xi=1/(am_{0^{++}})=1.95$ 格子間隔で、六点の $\xi$ は 0.72〜1.95 です 計算。外挿は、この範囲の傾きを $\xi\to\infty$ まで延ばす仮定です。

摂動論も半古典も $g\to0$ のまわりの展開ですが、次元転移（4-07）の尺度は一ループで

です。$e^{-1/x}$ は $x\to0^+$ でどの冪より速く 0 に近づき、テイラー係数はすべて 0 です 既知。$\Delta=c\Lambda$ なら、ギャップは $g^2$ の級数のどの次数にも現れません（期待）物理（6-12・4-12）。例：$SU(3)$、$g^2=0.5$ で $\Lambda/\mu=5.8\times10^{-7}$、$g^{20}$ はまだ $9.8\times10^{-4}$ です 計算。

半古典がギャップまで届く例は、どれも問題文の理論ではありません。三次元の compact $U(1)$ では単極子が閉じ込めを起こし（Polyakov 1977、半古典）、Göpfert–Mack が Villain 作用の格子で全結合の面積則を証明しました 既知（連続極限では物理の単位の弦張力が無限大に行く、と同論文の要旨。本文は未読）。$\mathbb R^3\times S^1$ では、Ünsal–Yaffe 2008 が変形した $SU(N)$ 理論について、小さい $N$ で円周 $L$ が十分小さい領域の半古典の解析から、ギャップと線形の閉じ込めを導きました（物理の水準）物理。$L\to\infty$ の途中に相転移が無いことは、小さい $L$ と大きい $L$ を区別する秩序変数が無いという議論に基づく予想です。数学に要るのは $g$ について非摂動的な評価で、構成的な方法も強結合へ渡る所で止まっています（6-10）。

計算できる隣の理論へ移り、つまみを回して戻る手つきで、途中で何も起きないと置くのが仮定です。数学に訳すと極限の入れ替えで、一様性が要ります（7-10 §06）。大 N なら無次元の比 $F$ について

で、問題文が要るのは $N$ 固定の極限です。

図2 は表3 の内容を絵にしたもので、数値はない。

大 N では、't Hooft 1983 が平面図の場の理論を「粒子の質量がすべて非零で結合が十分小さい」条件で構成したとされ（書誌と検索要約のみ）、ギャップは入力です。問題文は §6.6 で 1/N を 'perhaps a good starting point for a rigorous proof (for sufficiently large N)' と書きます 既知。例：格子の比は $SU(3)$ で 3.405(21)（Athenodorou–Teper 2020・2021）、$SU(\infty)$ で 3.072(14)（同 2021）です 物理。物理はこれを「大 N は近い」と読みますが、数学に要るのは (9) の一様性の証明です。

閉じ込めの機構の多くは、ゲージを選んでから定義される変数（単極子・中心渦・Landau ゲージの伝播関数）で語られます（7-02）物理。数学の側では、大域的に連続なゲージ固定は一般に無く（Singer、3-04）、局所的な条件にも複数の解が残ります（Gribov、4-08）既知。格子では、局所的な量の期待値は、その量をゲージ変換について平均したもの（ゲージ不変な部分）の期待値に等しく、ゲージ変換で変わる成分の期待値は 0 です（Elitzur。例：$\langle U_\ell\rangle=0$）既知。

問題文の標的はゲージ不変な局所場です。例えば $O=\operatorname{tr}F_{\mu\nu}F_{\mu\nu}$（$\mu,\nu$ について和をとる）について

がギャップ $\Delta$ の現れ方の一つです（4-11）。伝播関数は大きな格子で $D(0)$ が有限で非零に見える（'seems to'）と報告され（Cucchieri–Mendes）、Zwanziger は領域内のコピーは期待値に効かないと主張します 物理。$D(p)$ から (10) を導く定理はありません。

ゲージ不変な橋もあります。群 $G$ の中心は、すべての元と可換な元の集まりで、$SU(N)$ では 1 の $N$ 乗根倍の単位行列 $e^{2\pi ik/N}I$ です。中心対称性は、一つの層のリンクすべてに同じ中心の元を掛ける変換（プラケットの値を変えない）についての対称性で、測度がどれもこの変換で変わらないとき「破れない」と言います（正確には厚さ有限の板の上で、どの境界条件でも。7-02）。Tomboulis–Yaffe 1985 は $SU(2)$ で Wilson ループを中心渦の自由エネルギーで上から押さえたとされます（検索要約のみ）。Chatterjee 2021 は格子で、中心に非自明に作用する表現（中心のある元が単位行列以外に写る表現。例：$SU(N)$ の基本表現）の Wilson ループについて二つを証明しました 既知。中心対称性が破れなければ閉じ込めること（$V(R)\to\infty$ の意味で、面積則より弱い）と、任意の境界条件での相関の指数減衰を仮定すれば中心対称性は破れず面積則が出ることです。欠けているのは四次元の弱結合でその仮定が成り立つことです（Tomboulis 2007 の主張には 'missing links' の指摘、Ito–Seiler）。

物理は、次元転移の後の尺度は一つと見て、別々の量を一つの尺度の顔として扱います（7-01 §03）。数学に訳すと一文が割れます。

どの行でも、欠けているのは物理の筋ではなく対応する定理です。

離れる場所の大半は発散ではなく極限と一様性にあり（6-11）、物理の数値は数学にとって証明の段ではなく標的と検査です。訳がうまくいった場所は格子の上の条件つきの定理です。数学の側と並べた全体図は 9-02、名前の対訳は 9-02 の対訳表です。

この章が言えている範囲

出典と再現

← 7-12 等価原理に当たる一文目次8-01 辞書の読み方 →