2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 5 部 格子ゲージ理論強結合展開

強結合展開 — 小さい β では Wilson ループが面の和になり、面積則が出る

Wilson 作用（5-01 §04）の係数 $\beta=2N/g^2$ が小さいことは結合 $g$ が大きいことなので、この側の展開を強結合展開と呼びます。$\beta$ は逆温度の役なので高温展開とも呼びます（2-08）。$\beta=0$ ではリンクは独立に Haar 測度で散らばり、$\int_GU\,dU=0$ なので単純なループの期待値は 0 です。Wilson 1974 の要旨は “The lattice gauge theory has a computable strong-coupling limit; in this limit the binding mechanism applies and there are no free quarks. There is unfortunately no Lorentz (or Euclidean) invariance in the strong-coupling limit.” と書きます 既知。

例：$\mathbb Z_2$。リンクが $\pm1$ の群（2-09）で作用を $\beta\sum_P(1-U_P)$ とすると、$U_P=\pm1$ なので一枚の重みは定数を除いて二項に割れます。

積を開くとプラケットの集合 $X$ ごとに $t^{|X|}\prod_{P\in X}U_P$ の項が出ます。一様な $\pm1$ の平均は偶数乗で 1、奇数乗で 0 なので、分配関数には各リンクが偶数枚に囲まれた集合（閉じた面）だけが、Wilson ループ $\prod_{\ell\in C}U_\ell$ の分子には縁が $C$ の面だけが残ります。最小の面は平らな長方形なので

で、期待値が面積の指数で減ります（面積則）。5-03 §08 の $\mathbb Z_2$ で小さい $\beta$ の隙間が $-4\log\tanh\beta$ に近いのも同じ勘定です。

一般の群でも、一枚の重み $e^{\frac\beta N\mathrm{Re\,tr}\,U}$ は共役 $VUV^{-1}$ で変わらない関数（類関数）です。これを表現ごとに割るために、道具を二つだけ用意します。

指標。群の表現 $r$（1-04）に対し、$\chi_r(U)=\mathrm{tr}\,r(U)$ を指標と呼びます。トレースは共役で変わらないので、指標は類関数です。既約表現の指標は、Haar 測度 $dU$（群の上の一様な確率測度。1-08 §03）について正規直交です（Schur の直交関係。証明は略します）既知。

類関数はこの指標で展開できます。フーリエ級数の非可換な群への一般化です 既知。

$SU(2)$ の類の上の積分。$SU(2)$ の元は $U=V\,\mathrm{diag}(e^{i\theta},e^{-i\theta})\,V^{-1}$（$0\le\theta\le\pi$）と書けるので、類関数は $\theta$ だけの関数です。その積分は次の形になります（Weyl の積分公式の $SU(2)$ 版）既知。

このとき $\mathrm{tr}\,U=2\cos\theta$、スピン $j$ の表現の指標は $\chi_j=\sin((2j+1)\theta)/\sin\theta$、次元は $2j+1$ です。

指標係数

一般の群の重みは、指標で次のように展開します。

$d_r$ は次元です。$u_r$ を指標係数、基本表現のものを単に $u$ と書きます（$\mathbb Z_2$ では $u=t$）。$SU(2)$ では、上の類の積分を変形ベッセル関数 $I_n$ で書けて（寄り道：(4) の導出）

です 既知（数値積分と $2\times10^{-13}$ で一致 計算）。5-03 §06 の一本のリンクの転送行列の固有値の比 $\lambda_j/\lambda_0$ と同じ数です。

$\beta\gt0$ なら $0\lt u_r\lt1$ です。正であるのは、指数関数を開いた各項がテンソル積の指標の非負な和になるためです（5-03 §06）。1 未満であるのは、$\mathrm{Re}\,\chi_r(U)\le d_r$ で、等号が $r(U)$ が単位行列のときに限るためです。

小さい $\beta$ では $u$ は $\mathbb Z_2$ で $\beta$、$U(1)$ で $\beta/2$、$SU(2)$ で $\beta/4$、$SU(N)\ (N\ge3)$ で $\beta/(2N^2)$ に近づきます 計算。理由は一次の項です。(3) の指数関数を一次まで開くと $u\approx\frac{\beta}{N^2}\int(\mathrm{Re\,tr}\,U)\,\overline{\chi_F(U)}\,dU$（$F$ は基本表現）で、この積分は $N\ge3$ なら $\int(\mathrm{tr}\,U)^2dU=0$ なので $1/2$、$\mathbb Z_2$ と $SU(2)$ では $\mathrm{tr}\,U$ が実数なので 1 です 既知。

$SU(2)$ では、6-02 の $\beta$ はこの章の $\beta/2$ です（6-02 の (3.3) の $w$ と、この章の (4) の $u$ を比べる。$U(1)$ は同じ $\beta$）。

寄り道：(4) の導出

(3) をすべてのプラケットで掛けて開くと、各項は「どのプラケットにどの表現を置くか」の割り当てです。リンクを一本ずつ積分する規則は二つです（Schur の直交関係 既知。6-02 の (3.1) は同じ考えの補題）。

左は「一枚にだけ乗った辺があれば 0」、右は「同じ表現の二枚を共通の辺で貼ると大きな輪になり $1/d_r$ が付く」です。生き残るのは、表現を置いたプラケットが閉じた面か、縁が観測するループの面をなす項だけです。

例：$1\times2$ のループ。観測量は $\frac1d\chi(U_C)$（$d$ は基本表現の次元）です。主項は、ループの内側の二枚に表現を置いた項 $(du)^2\chi(U_{P_1})\chi(U_{P_2})$ です。$SU(N)$ では、観測量の $\chi$ と対になるよう面には共役表現 $\bar r$ が乗ります（$SU(2)$ では $\bar r=r$）。三段で積分します。

1. 二枚が共有する辺を (5) 右で積分します。二つの輪が $1\times2$ の縁の輪 $\chi(U_{\partial})$ につながり、$1/d$ が付きます。
2. 縁の六本のうち一本を (5) 右で積分します。観測量の輪と縁の輪が逆向きに貼り合わさり、残る五本は $VV^{-1}$ の形で打ち消して $\chi(1)/d=d/d=1$ が残ります。
3. 正規化：観測量の $\frac1d$ が残ります（分配関数は、定数 $c_0$ の冪を除けば主項で 1 なので、割っても変わりません）。

合わせて $(du)^2\cdot\frac1d\cdot1\cdot\frac1d=u^2$、つまり $\langle W_{1\times2}\rangle=u^2$ です。$R\times T$ を敷き詰めても $d$ の冪は打ち消し合い、

が残ります。静的な電荷対のエネルギー $V(R)=-\lim_{T\to\infty}\frac1T\ln\langle W_{R\times T}\rangle$（7-02 §01）は主項で $\sigma_0R$、距離に比例して増える閉じ込めの形です 既知。例：$SU(2)$、$\beta=1$ で $\sigma_0=1.426$、$2\times2$ のループは $u^4=0.0033$ 計算。

計算この図の数値はこの端末で計算した（$u$ は (4) の級数をその場で計算）。JavaScript が無効なら：面は $RT$ 枚で重み $u^{RT}$、こぶは四次元で $4RT$ 通り、一つごとに $u^4$。

寄り道：面の和と弦

次に効く面は、平らな面の一枚を、それを底とする単位立方体の残り五枚に置き換えたものです（図 1）。一枚の代わりに五枚を払うので重みは $u^4$ 倍、立方体は面に垂直な $d-2$ 本の軸の両側で $2(d-2)$ 個、四次元で 4 個です。離れたこぶはこの次数では独立に数えてよいので、まとめると指数になります（$SU(2)$ の勘定）。

次の補正は重なるこぶ・二段のこぶ・高い表現の乗る面から来ます（高次の係数は Drouffe–Zuber 1983 の総説に、$SU(2)$・四次元の弦張力の高次の級数は Münster 1981 にあります。出典表）。指数の形を体積に一様に正当化するのがクラスター展開です（5-04、6-04）既知。

二次元にはこぶが無い。$d=2$ では面が平面から出られず、主項 $u^{RT}$ がすべての $\beta$ で厳密です（6-02 §03）既知。三次元以上の難しさは、面が平面の外へ揺らげることから始まります。例：$SU(2)$、$\beta=2$ では $4u^4=0.141$ が $\sigma_0=0.837$ の 17% に達し、打ち切りが怪しくなります 計算。

質量は相関の減る速さです（4-11）。空間方向の一枚 $P=\frac12\mathrm{tr}\,U_P$ と、時間方向に $t$ ずらした $P(t)$ を結ぶ最小の閉じた面は、二枚を蓋とする $1\times1\times t$ の箱です。蓋は観測量なので重みは付かず、側面の $4t$ 枚が $u^{4t}$ を払います。

計算（最低次の数え上げ）。最低次の形は標準とされます（Drouffe–Zuber 1983、書誌のみ）。5-03 §08 の $\mathbb Z_2$ で隙間が $-4\log\tanh\beta$ に近いのも同じ形です。相関長 $\xi_0$ は $\beta=1$ で 0.175、$\beta=2.6$ でも 0.38 目盛りで、相関は一目盛りの内に消えます 計算。連続極限には $\xi$ が格子間隔よりずっと長いこと（Chatterjee 2018 の Problem 5.1 の $\xi(\beta)\to\infty$。5-09）が要り、主項はその反対を書いています。

(8) の比 $m_0/\sqrt{\sigma_0}=4\sqrt{\sigma_0}$ を収束域の外へ延ばすと、主項の比は $\beta$ とともに 0 へ下がります。格子の数値の比は 3.3（$\beta=2.25$）から 3.8（$\beta=2.6$）へ上がって一定の値に近づきます（7-12 §08）物理。主項の形の話で、理論の言明ではありません。$\beta=2.6$ の主項 $a\sqrt{\sigma_0}=0.808$、$am_0=2.61$ は Lucini–Teper（2001）表 1 の $0.13395(62)$、$0.514(8)$ の 6.0 倍と 5.1 倍です 計算（文献値は 物理）。$\beta=2.4\to2.6$ で文献の $a\sqrt\sigma$ は半減し、主項は 4% 減るだけです。

四次元の周期格子（一辺 6 と 8）の $SU(2)$ を熱浴法（リンクを一本ずつ条件付き分布から引き直す更新。5-07）で積分し、弦張力を Creutz 比（7-02 の (3)）で測りました。

周長と角の項は比の中で消え、(7) の形なら $\chi(R)=\sigma_1$ です。

計算この図の数値はこの端末で計算した（曲線はその場で計算、点は表 2 の値、■ は文献値）。JavaScript が無効なら表 2 が中身です。

読み方は三つです 計算。(i) $\beta\le1$ ではプラケットが $u+4u^5$ と、$\chi(2)$ が $\sigma_1$ と誤差の範囲で合います。(ii) 1.8 から $\chi(2)$ は $\sigma_1$ を下回り、2.4 では半分近くです（2.6 でプラケットが $u+4u^5$ に近いのは曲線が交わる偶然）。(iii) $\chi(3)$ はさらに小さく、なお文献の $(a\sqrt\sigma)^2$ の 2〜5 倍です（小さいループには短い距離の寄与が混じる 物理）。プラケットは文献値と 0.0003 程度の差で、$\beta=2.6$ では統計誤差の 4 倍です。差には、一辺 8 の格子と文献の $12^4$（$\beta=2.4$）・$24^4$（$\beta=2.6$）の格子の有限体積の違いが含まれえます 計算。

同じ種類の計算をした Creutz（1980）の要旨は、弦張力を固定して格子を細かくすると、裸の結合が摂動の繰り込み群の予言どおりに（対数的に）減ると報告し、“This supports the coexistence of confinement and asymptotic freedom for quantized non-Abelian gauge fields.” と結びます。強結合側の面積則と弱結合側の漸近自由が、相転移で切れずにつながって見える、と読めます。四次元の、関心のある多くの非可換な格子模型で $\beta_c=\infty$（連続極限は $\beta\to\infty$ の側だけ）とするのは、Chatterjee（2018）§5 の言葉で “It is believed” の水準です 物理。

一辺 $L$ の格子の $Z_L(\beta)=\int e^{-S_W}\prod dU_\ell$ は有限次元のコンパクトな空間の上の積分で、$\beta$ の整関数（複素平面全体で収束する冪級数で表せる関数）です。$Z_L$ 自体は整関数ですが、期待値や $\ln Z_L/|\Lambda_L|$（$|\Lambda_L|$ は格子点の数。自由エネルギー）は $Z_L$ で割るので、複素 $\beta$ 平面にある $Z_L$ の零点がそれらの展開の収束半径を縮めます。問題は、その収束半径が $L$ によらず残るかです（2-08 の相転移）既知。つながった面の数は枚数 $n$ とともに $K^n$（$K$ は次元で決まる）で増え、一枚の重みは $u$ なので、$Ku\lt1$ 程度なら和が収束する（粗い見積もり。正確な条件は 5-04）、というのが芯です。Shen–Zhu–Zhu（2023）の序論は Osterwalder–Seiler（1978）を “when the coupling is sufficiently strong, the cluster expansion ... for the expectation values of local observables ... is convergent, uniformly in volume” とまとめ、そこから質量ギャップ（指数的なクラスター性：離れた観測量の相関が距離の指数で減ること。4-11 の質量ギャップ）と無限体積極限の存在・解析性が従うと書きます 既知。SZZ 自身は Langevin 力学（6-09）で $SU(N)$、$|\beta_{\mathrm{SZZ}}|\lt1/(16(d-1))$ に “a strictly positive mass gap” を示しました。式 (1.2) から $\beta=N^2\beta_{\mathrm{SZZ}}$ で、四次元の $SU(2)$ なら $\beta\lt1/12$（換算はこの本の算術）。十分条件で、展開が止まる場所ではありません。

どこで止まるか

(a) 面の荒れ：ある $\beta$ で面の揺らぎが勝ち、$\sigma$ の級数はそこから延ばせない、と物理は考えます（7-03 §07、SU(2) でおよそ 2。見積もりの誤差は大きい）物理。(b) 四次元の $U(1)$ では面積則が大きい $\beta$ で破れます（§08）。(c) 有限次で打ち切った式は、$\beta\to\infty$ で $e^{-c\beta}$ のような指数の小ささを表せません（主項 $-\ln u$ は $3/(2\beta)$ と冪で減るだけ）。一方、漸近自由（4-06・4-07）の連続極限では、一ループ（4-06 の β 関数の最低次）で $a^2\sigma\propto e^{-(6\pi^2/11)\beta}$ と指数で小さくなるはずです 物理。$\beta$ を 2 から 4 にすると $-\ln u$ は 0.837 から 0.418 へ半分になるだけですが、$e^{-(6\pi^2/11)\beta}$ は約 $5\times10^4$ 分の 1 になります 計算。連続極限の側へは有限次の展開では届きません（この本の整理。5-05）。

表 1 の $u$ はどの群でも 1 未満なので、(6) の面積則は $\mathbb Z_2$ でも $U(1)$ でも出ます。Chatterjee（2018）§4 は “the area law holds for any lattice gauge theory at sufficiently small β” と書き、それゆえ “the area law at small β cannot be evidence for quark confinement” だと続けます。証明は Osterwalder–Seiler（1978）で、その要旨は “We then prove existence and analyticity of the infinite volume limit of strongly coupled Yang-Mills theories on the lattice and we verify Wilson's confinement bound.” と書きます 既知。四次元の $U(1)$ 格子は大きい $\beta$ で面積則を満たしません（Guth 1980。Guth は、Wilson 形とは別の Villain 形の作用で示した。完全に厳密な証明は Fröhlich–Spencer 1982。5-06）既知。強結合の面積則は格子が粗いことの性質で、非可換性を使っていません。同論文の Problem 4.1 は、四次元の非可換なコンパクト群の任意の無限体積極限で、すべての $\beta\gt0$ について

を示せと問い、大きい $\beta$ では “remains elusive” と書きます。強結合側では、Cao–Nissim–Sheffield が $U(N)$ の面積則の範囲を大きい $N$ で広げ（arXiv:2505.16585、プレプリント・掲載は未確認。要旨 “This improves on a classical result of Osterwalder-Seiler from 1978”）、't Hooft の領域（$\beta$ を $N$ に比例させて $N$ を大きくする取り方。規約の換算は 5-01 表 4）では、SZZ の方法で要旨が [DF80] と引く質量ギャップ条件を確かめ、そこから面積則を導きました（arXiv:2509.04688、プレプリント・掲載は未確認）既知。どちらも格子間隔を固定した結果です。質量ギャップと閉じ込めは別の文で（7-02 §02、有限群は 5-10）、この章は連続の理論のどちらも示していません。

この章が言えている範囲

出典と再現

次に読む章：5-03 反射正値性と転送行列（同じ格子からハミルトニアンを取り出す）。

← 5-01 Wilson の格子目次5-03 反射正値性と転送行列 →