2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 5 部 格子ゲージ理論有限群

有限群の格子ゲージ理論 — 弱結合の指数減衰は定理だが、そこは連続極限の反対側

辺に置く群を有限群 $G$ に替えても、格子・プラケット・ゲージ変換・Wilson ループの定義はそのままです（5-01 §02）。辺ごとの積分は $|G|$ 個の元の平均になります。作用には忠実なユニタリ表現 $\rho$（次元 $d$。$g\ne1$ なら $\rho(g)\ne I$）の指標 $\chi=\operatorname{tr}\rho$ を使い、プラケット $p$ を一周する積を $\sigma_p$ とします。

（Adhikari–Cao (1.2)(1.3)）既知。$\chi(g)$ は絶対値 1 の固有値 $d$ 個の和なので各項は 0 以上で、0 になるのは $\sigma_p=1$ のときだけです。

例。$\mathbb Z_2=\{\pm1\}$ では重みが $e^{\beta\sum_p\sigma_p}$ に比例する Ising 格子ゲージ理論で、Chatterjee（2020）は Wegner（1971）の定義した最初の格子ゲージ理論としています 既知（2-09）。$\mathbb Z_N$ は角度を $2\pi/N$ の倍数に制限した $U(1)$ です。$SU(2)$ の有限部分群 $Q_8=\{\pm1,\pm i,\pm j,\pm k\}$（四元数の単位）と、$\bar T$・$\bar O$・$\bar I$（正四面体・正八面体・正二十面体の回転群〈$SO(3)$ の部分群〉を $SU(2)$ に引き戻した群。位数 24・48・120。1-12 §08）では $\chi=\operatorname{tr}$、Wilson の規約とは $\beta_W=2\beta$ です。

有限群にはリー環が無く、単位元に近い元もありません。5-01 §05 の $U=e^{iaA}$ から始まる古典的な連続極限は無く、同じゲージの構造を持つ格子の模型として読みます。

$\beta$ が大きいと、重みはすべてのプラケットが単位元の配位を強く好みます。箱の上でそうなる配位は純粋なゲージ（$\sigma_{(x,y)}=h_xh_y^{-1}$）だけで、ゲージを除けば「すべての辺が単位元」の一つです。弱結合の理論はそのまわりの小さな揺らぎで、これを「辺が凍りつく」と言います。

以下、格子の次元を $D$ と書き、$d$ は表現の次元に限ります。最も安い揺らぎは、辺を一本だけ $g\ne1$ に変えることです。$D$ 次元の格子でその辺を含むプラケットは $2(D-1)$ 枚で、積はどれも $g^{\pm1}$ の共役です。$\chi(g^{-1})=\overline{\chi(g)}$ なので

です。$\Delta_G\gt0$ は $\rho$ が忠実であることと同値です（Cao §1.2）既知。例：四次元の $\mathbb Z_2$ は $\Delta_G=2$ で、この欠陥の重みは $e^{-12\beta}$。この 12 が §05 の定理に現れます。

$U(1)$ で辺を $e^{i\theta}$ にすると増分は $\approx(D-1)\theta^2$ でいくらでも小さく、長い波（光子）が安く作れます（5-06 §03）。$\Delta_G$ は 4-11 の質量ギャップとは別物です。

$\mathbb Z_2$ で $\gamma$ を縁とする面（プラケットの集まり）$P$ を取ると、内側の辺は二回ずつ現れて消えます（離散版の Stokes。$P$ の存在は Chatterjee 2020 の補題 3.1）既知。

ここで双対格子を使います。各 $D$ 次元立方体の中心を頂点とする格子で、元の格子の $k$ 次元の胞体（辺・面・立方体…）は双対格子の $D-k$ 次元の胞体と一対一に対応します。同論文の補題 3.3 では、負のプラケットは「渦」に分かれ、各渦の双対は閉じています。プラケット（$k=2$）の双対は $(D-2)$ 次元の胞体なので、渦は二次元で点、三次元で閉じた輪、四次元で閉じた面です 既知。符号を変えるのは $\gamma$ と絡む渦だけで（補題 3.2）、その数 $N$ が平均 $\mu$ の Poisson 分布なら $\mathbb E[(-1)^N]=e^{-2\mu}$ です（1-08・7-02 §06）。

例。二次元の自由境界ではプラケットが独立で $\mathbb E\sigma_p=\tanh\beta$ なので、面積 $A$ のループで

です 既知。二次元では有限群でもすべての $\beta$ で面積則です（一般の群は 6-02 §03）。三・四次元の大きい $\beta$ では渦は小さく、$\gamma$ と絡むのは近くのものだけで、数は周に比例します（周長則）物理。小さい $\beta$ での面積則は強結合展開の定理です（5-02 §03）既知。

Chatterjee 2020 の定理 4.1 は、四次元 $\mathbb Z_2$ の分配関数を双対格子の同じ理論で書き、強弱を入れ替える $\lambda$ に結合を移します 既知。

(5) の数値は 計算。双対性は転移点を転移点に移すので、転移がちょうど一つならそれは自己双対点に来ます 既知。Wegner（1971）の要旨によれば、単純立方格子の Ising 模型の双対は四スピン積（プラケット）の模型、つまり三次元の $\mathbb Z_2$ ゲージ理論です 既知。

一次転移とは、プラケットの平均のような量が $\beta$ の一点で跳ぶ転移です。$\beta$ を上げる列と下げる列の食い違い（履歴）がその兆候になります。四次元では Creutz–Jacobs–Rebbi（1979）が一次転移を数値で報告し、$\mathbb Z_N$ では $N\ge5$ で一次でない転移が二つになり一方は $N$ とともに $\beta\to\infty$ へ動く、と報告しました 物理。

この端末でも $8^4$ の周期格子で熱浴法を走らせました（$\beta$ を上げる列は乱雑な開始、下げる列は全辺 $+1$ の開始、各 $\beta$ 200 掃引の後半の平均）。主項 $1-8e^{-12\beta}$ は、四本の辺のどれかに §02 の欠陥が乗る確率 $\approx4e^{-12\beta}$ から出ます。

$\beta=0.43$〜$0.45$ で二つの列が食い違い（0.44 で差 0.41）、その区間は自己双対点をまたぎます 計算。小さな格子の短い列で、転移の次数（一次か、跳びの無い転移か）を判定する力はありません（5-07。$U(1)$・$SU(2)$ の同じ比べは 5-06 §04）。

Chatterjee（2020）の定理 1.1：$\ell$ を $\gamma$ の辺の数、$\ell_0$ を角の辺の数（$\gamma$ の別の辺と同じプラケットに乗る辺。長方形なら 8 本）とすると、ある $\beta_0$ 以上で、普遍定数 $C_1,C_2$ により 既知

論文は “Nontrivial behavior happens if and only if ℓ is like a constant multiple of $e^{12\beta}$” と読みます。各辺が確率 $\approx e^{-12\beta}$ で §02 の欠陥の中心になり符号を一回変える、その数が Poisson なら (6) の主項です（§03）物理。

Cao（2020）は任意の有限群に広げました。その定理 1.2.1 は単一の自己回避ループ $\gamma$ についてのもので、条件は $\beta\ge(1000+14\log|G|)/\Delta_G$ と $\|A_\beta\|_{\rm op}\lt1$ です。その下で主項は

で、$\lambda_i$ は欠陥の運ぶ $\rho(g)$ を欠陥の重みで平均した行列 $A_\beta$ の固有値、$\|A_\beta\|_{\rm op}$ はその作用素ノルム（単位ベクトルを伸ばす倍率の最大）です 既知。後者の条件のため、$\mathbb Z_2$（$A_\beta=-1$、ノルム 1）はこの定理に直接は入りません（Cao の注意 1.2.3）既知。それでも主項の形は、$\mathbb Z_2$ の $r_\beta=e^{-12\beta}$・$\lambda=-1$ を入れると (6) と一致します 計算。主項は周の長さだけの関数で、同じ周なら細長くても正方形でも同じ値です。二次元の (4) は面積だけの関数でした。

計算この図の数値はこの端末で計算した（(4)(6) をその場で計算）。例：$\beta=0.7$ の 1×11・3×9・6×6 で二次元は $3.9\times10^{-3}$・$1.2\times10^{-6}$・$1.3\times10^{-8}$、四次元はどれも 0.989。定理 1.1 が保証するのは十分大きい $\beta$（$\beta_0$ 以上。値は論文に明示されない）です。0.4407 は転移の目安で、それより下（破線）では主項は形としても当てはまりません。

$\beta=0.40$ では面積で割った値が、$\beta=0.50$ では周で割った値がそろいます 計算。後者は (6) の $2e^{-6}=0.00496$ の約 1.5 倍で、転移のすぐ上では角や大きな渦の補正が効きます。

離れた観測量が独立に近づくこと（相関の減衰）は、弱結合の可換な有限群では先行の結果があり（$\mathbb Z_2$ は Chatterjee 2020 §5、ほかに Adhikari–Cao §1.1 が挙げる Seiler・Forsström の結果）、非可換を含めて四次元で示したのが Adhikari–Cao（Ann. Probab. 2025）です。$B_1,B_2$ を $\ell^\infty$ 距離（各座標の差の最大）で $L$ 以上離れた長方形とし、$|B|$ を長方形 $B$ に含まれるプラケットの数とします。$f_i$ は $B_i$ の中のループのホロノミー（ループに沿った辺の元の積 $\sigma_\gamma$。5-01 §02）の関数で、各引数について共役不変（$f(h^{-1}gh)=f(g)$）なものです。Wilson ループの任意の関数を含みます。$\|f\|_\infty=\max|f|$、$\operatorname{Cov}$ は共分散です（1-08）。$\beta\ge(114+4\log|G|)/\Delta_G$ なら、どの有限の箱でも 既知

箱に依らない評価です。定数は観測量の台（$B_1,B_2$）の大きさについて指数的に増えますが、$L$ には依りません。著者たちは “can be interpreted as showing the existence of a mass gap in the setting of finite (non-Abelian) gauge groups at large β” と書きます（小さい $\beta$ は 5-04 §07）。証明は、独立な二つの配位を領域で入れ替える写像が測度を保つことを使い、共分散を「欠陥が $B_1$ から $B_2$ までつながる確率」で抑えます。

条件と速さは $\Delta_G$ で決まります（$\mathbb Z_N$ で $1-\cos(2\pi/N)$、$SU(2)$ の部分群で $2-2\cos\theta_{\min}$）。

計算この図の数値はこの端末で計算した（群を積で閉じるまで作り、固有値の角と $\Delta_G$ を数えた。表 3 と同じ）。

群が細かいほど $\Delta_G$ は小さく条件は $1/\Delta_G$ で大きくなります（$\mathbb Z_N$ で $\approx2\pi^2/N^2$）。Cao 2020 は自身の (7) の条件を “very loose” と書いています（Adhikari–Cao の閾値はこれより一桁ほど小さい）。

寄り道：非可換な欠陥は絡み目になる

(8) の定数は観測量の台の大きさに依りますが $L$ には依らないので、(8) は相関長の上界を与えます（4-11 §07）。

既知（(8) からの帰結。4-11 §07 の定義で）

条件ちょうどの $\beta$ で、上界は $\mathbb Z_2$ で 0.0171、$\bar I$ で 0.0150 格子間隔です。(7) の主項が 1 から離れる周の長さ $1/\bigl(r_\beta(1-\lambda)\bigr)$ は、Cao の条件ちょうどの $\beta$ で $\bar T$ が $10^{2721.1}$、$\bar I$ が $10^{2780.1}$ です 計算。条件は緩いので大事なのは向きで、弱結合の有限群は相関が格子一つ分も届かない凍った格子です。

5-09 §05 の Problem 5.1（Chatterjee 2018、arXiv:1803.01950）は、四次元の非可換なコンパクト群で、各 $\beta$ で $\xi(\beta)\lt\infty$、かつ $\beta\to\infty$ で $\xi\to\infty$ を求めます。有限群は大きい $\beta$ で前半を満たし、後半とは正反対の $\xi\to0$ に向かいます 既知。5-09 §08 の「型 1」で、物理の質量は無限大です。

有限群の理論は「ギャップはあるが閉じ込めない」例として引かれます。この「ギャップ」には意味が三つあります。

Chatterjee（2021）の定理 2.4 は、群 $G$ を $U(n)$ の閉じた連結な部分群とし、中心に非自明に作用する表現について、(b) から面積則を導きます 既知。自明でない有限群は連結でないので、この仮定には字義どおりには入りません。それでも同論文 p.8 は有限群の理論を “believed to be ‘gapped’ ... not confining at large β” の例に挙げ、これが定理 2.4 と矛盾しない理由を、そこでの減衰が定義 2.3 より弱い意味（ある種の境界条件での二点の切断相関）だからだと説明しています 既知。同論文は、いくつかの理論では Gibbs 測度が複数あることが厳密に示されている、とも続けています。連結性を外しても証明が通るなら、という条件つきで読めば、閉じ込めない有限群では (b) は成り立ちません。

(6)(7) の誤差はループを大きくしても 0 に行かないので、固定した $\beta$ で弦張力が 0 であることは、ここで引いた定理の主張ではありません（可換な有限群での周長則を直接言う結果は、この章では確かめていない）。物理の標準の見方です（表 2 と整合）物理。閉じ込めとギャップは別の文です（7-02 §02）。

Petcher–Weingarten（1980）の要旨によれば、$\bar T$・$\bar O$・$\bar I$ はどれも一次転移を持ち、位数を上げると臨界の結合は 0 に向かいます。$\bar I$ は広い結合の範囲で $SU(2)$ の数値と一致しました 物理。

目安を作ります。5-02 の $SU(2)$・$\beta_W=2.4$ では $\langle2-\operatorname{tr}U_p\rangle=0.739\gt\Delta_{\bar I}=0.382$ です。弱結合の主項 $\langle\tfrac12\operatorname{tr}U_p\rangle\approx1-3/(4\beta_W)$（5-06 §04）から、$\langle2-\operatorname{tr}U_p\rangle\approx3/(2\beta_W)$ が $\Delta_G$ に等しくなるのは

です 計算。これより大きい $\beta_W$ では $SU(2)$ の揺らぎが有限群の刻みより細かい、という粗い見積もりで、転移点の値ではありません 物理。

要点は定数の向きです。部分群を $SU(2)$ に近づけると $\Delta_G\to0$ で、条件 $\propto1/\Delta_G$ も速さ $(\beta/2)\Delta_G$ も退化します。$SU(2)$ で要るのは、作用に隙間の無い領域で相関長が有限で、しかも $\beta\to\infty$ で発散することです。その質量の隙間は結合が距離とともに強くなることから来ると考えられています（5-06 §07・4-07）物理。

この章が言えている範囲

出典と再現

次に読む章：5-11 寄り道：Bakry–Émery と一リンク積分（強結合側で定理が出る仕組みを一本のリンクで見る）。

← 5-09 何を固定して極限を取るか目次5-11 寄り道 →