# Yang–Mills 理論と質量ギャップ II：考えられるアプローチ（構成的場の理論・Bałaban のくりこみ群・確率量子化・確率論からの研究） > Yang–Mills の存在と質量ギャップへのアプローチを、何が証明済みで何が未解決かで整理する。2 次元の連続極限、格子の Schwinger–Dyson 方程式、強結合での一様な Poincaré 不等式と相関の減衰を証明し、Bałaban から Chatterjee・CCHS までの結果を仮定つきで述べる。 > https://rikai.mugen-giken.com/mathematics/great-problems/yang-mills-approaches ## 0. この記事の要点 素粒子を結びつける力を数学で正確に書き表そうとすると、「質量ギャップ」という問題にぶつかります。この問題は、一気に解く方法がまだ見つかっていません。そこでこの章では、問題を簡単にした場合（次元を下げる、結びつきを弱める・強める、計算の道具を変える）で、どこまで証明できているかを順に見ます。読み終えると、各アプローチが証明したこと・まだ証明していないことを区別して言えるようになります。 - [第 12 章](/mathematics/great-problems/yang-mills-mass-gap-problem)で、問題の解決に要る 4 段階（紫外の連続極限、公理、非自明性、赤外の質量ギャップ）を挙げました。この章では、各アプローチがどの段階をどこまで進めたかを、定理の形で述べます。4 次元の非可換な理論については、どのアプローチも解決に届いていません。 - **2 次元**では連続極限が取れます。Wilson ループ（格子の閉じた経路に沿って辺の変数を掛け合わせた量）の期待値は $\exp\bigl(-\frac{g^2}{2}C_2(\rho)\cdot\text{面積}\bigr)$ に収束します（）。 - **強結合**（$\beta$ が小さい）では、格子 Yang–Mills 測度は体積によらない定数で Poincaré 不等式（関数のばらつきが、その勾配の大きさで抑えられるという不等式）を満たし、相関は指数的に減衰します。これは Lie 群の曲率が正であることから、Bakry–Émery の方法で証明できます（）。ただし連続極限は $\beta\to\infty$ にあり、この結果は届きません。 - **紫外**側で最も進んでいるのは Bałaban のくりこみ群（短い距離の揺らぎを一段ずつ積分して、粗い見方の理論に移す手法）で、3 次元と 4 次元の格子 Yang–Mills 理論の分配関数を格子間隔に一様に評価しました（）。観測量の連続極限、OS 公理（Osterwalder–Schrader 公理。Euclid 空間の理論が物理の理論に戻せるための条件）、質量ギャップは示されていません。 - **確率量子化**は、測度を Langevin 力学（作用の勾配に沿って下りながら、ノイズで揺らぐ運動）の不変測度として捉えます。格子では不変性とゲージ共変性が初等的に示せます（）。連続の 2 次元・3 次元では局所解が構成されました（）。 - **ループ方程式**（）と大 $N$ 極限、**可換な場合の双対性**（）は、Wilson ループを直接扱う道具です。 - 「紫外安定性」「連続極限の存在」「質量ギャップ」は論理的に別の主張です（）。 ## 1. 動機：アプローチの地図 4 次元の Yang–Mills 理論を構成して質量ギャップを示すには、短距離（紫外）と長距離（赤外）の両方を制御しなければなりません。これまでの研究は、どちらか一方、あるいは問題を易しくした模型（低い次元、可換な群、有限群、強結合、Higgs 場を加えたもの）で成果を挙げてきました。 | アプローチ | 主に扱う段階 | 到達点 | 届いていない点 | |---|---|---|---| | 厳密解（2 次元） | (1)(4) | 連続極限と面積則（§3） | 3 次元以上には使えない | | 位相セルのくりこみ群（Bałaban） | (1) | $d=3,4$ の紫外安定性（§4） | 観測量の極限、公理、ギャップ | | 連続での構成（Magnen–Rivasseau–Sénéor） | (1) | 赤外切断つきの $d=4$（§4） | 赤外切断の除去 | | 強結合展開・関数不等式 | (4) | 小さい $\beta$ でのギャップと面積則（§5） | $\beta\to\infty$ | | 双対変換（可換群） | (4) | $d=3$ の $U(1)$ の閉じ込め、$d=4$ の非閉じ込め（§6） | 非可換群 | | 確率量子化（正則性構造） | (1) | $d=2,3$ の力学の局所解、$d=2$ の不変測度（§7） | $d=3$ の大域解、$d=4$ | | ループ方程式・大 $N$・確率論 | (3)(4) | 強結合の大 $N$ 極限、有限群の弱結合（§8） | 連続群の弱結合 |
β = 0 β → ∞（連続極限） β₀ 強結合：面積則・質量ギャップ （証明済み、すべての次元） d = 3, 4 の非可換群：未解決 （d = 2 はすべての β で厳密解） 紫外安定性（Bałaban） 有限体積、分配関数
以下、証明を付ける定理（各アプローチの基本の場合）と、主張だけを述べる定理（原論文が 1 編から連作に及ぶもの）を区別して進めます。主張だけの定理には、直後の注意に出典と、**何が示されていないか**を書きます。 ## 2. 準備：格子 Yang–Mills 測度と用語 空間を細かい格子に区切ると、力の場は「隣り合う格子点を結ぶ辺」ごとの行列 $U_e$ で表せます。格子の正方形 1 枚を**プラケット**といい、その 4 辺の行列を向きに沿って順に掛けたものが $U_p$ です。$U_p$ が単位行列に近いほど、その正方形の上で場が「ねじれていない」ことを表します。下の定義の作用は、すべてのプラケットについてこの $U_p$ を足し合わせたものです。
U₁ U₂ U₃ U₄ U_p
$G=SU(N)$（$N\ge2$）、$d\ge2$ とし、$\Lambda\subset\mathbb{Z}^d$ を有限集合とする。$E$ を両端が $\Lambda$ に属する（正の向きの）最近接の辺の全体、$P$ を 4 頂点が $\Lambda$ に属するプラケットの全体とする。配位は $U=(U_e)_{e\in E}\in G^E$ で、逆向きの辺には $U_e^{-1}$ を対応させる。プラケット $p$ の境界を 1 周した辺の変数の積を $U_p$ と書く。$\beta\in\mathbb{R}$ について $$ d\mu_{\Lambda,\beta}(U)=\frac{1}{Z_{\Lambda,\beta}}\exp\Bigl(\frac{\beta}{N}\sum_{p\in P}\mathrm{Re}\,\mathrm{tr}\,U_p\Bigr)\prod_{e\in E}dU_e $$ を（Wilson 作用の）**格子 Yang–Mills 測度**という。$dU_e$ は正規化された Haar 測度である。$S(U)=-\frac{\beta}{N}\sum_p\mathrm{Re}\,\mathrm{tr}\,U_p$ と書く。ゲージ変換 $h\colon\Lambda\to G$ は $U_e\mapsto h(x)U_eh(y)^{-1}$（$e$ は $x$ から $y$ へ）と作用し、$\mu_{\Lambda,\beta}$ を保つ。 これは の測度と同じものです（そこでの作用 $\beta\sum_p(1-\frac1N\mathrm{Re}\,\mathrm{tr}\,U_p)$ との違いは定数で、正規化に吸収されます）。連続の結合定数 $g$ と格子間隔 $a$ とは $\beta=\dfrac{2N}{g^2a^{4-d}}$ で対応します。これは、$U_p\approx\exp(a^2F_{\mu\nu})$ を代入して $\frac{\beta}{N}\mathrm{Re}\,\mathrm{tr}(1-U_p)\approx\frac{\beta a^4}{4N}\langle F_{\mu\nu},F_{\mu\nu}\rangle$ とし、連続の作用 $\frac{1}{2g^2}\int\sum_{\mu\lt\nu}\langle F_{\mu\nu},F_{\mu\nu}\rangle d^dx\approx\frac{a^d}{2g^2}\sum_p\langle F_{\mu\nu},F_{\mu\nu}\rangle$ と比べたものです（$d=4$ の場合の証明は ）。 格子間隔 $a$ の格子 $a\mathbb{Z}^d$ の上で、辺の長さ $\ell$ の箱（$(\ell/a)^d$ 個の点）の格子 Yang–Mills 測度を、裸の結合定数 $g(a)$ で考える。 1. **紫外安定性**: 定数 $E_-,E_+$（$a$ によらない）と、$a$ に依存してよい明示的な規格化定数 $\mathcal{N}(a)$ があって、すべての小さい $a$ で $e^{E_-\ell^d}\le Z(a)/\mathcal{N}(a)\le e^{E_+\ell^d}$ が成り立つこと。 2. **（観測量の）連続極限の存在**: [ゲージ不変な観測量](/mathematics/great-problems/yang-mills-mass-gap-problem#def-gauge-invariant-observables)の族（たとえば、連続の曲線を近似する格子ループ $C_a$ の Wilson ループ、適切にくりこんだもの）の期待値が、$a\to0$ で収束すること。 3. Wilson ループの**面積則**と**周長則**: 大きな $R\times T$ の長方形ループの期待値が $e^{-\sigma RT}$（$\sigma\gt0$）のように減衰すること、$e^{-c(R+T)}$ のように減衰すること（）。 4. **'t Hooft 極限**: $N\to\infty$ で $g^2N$ を固定する極限。格子では、作用を $N\beta'\sum_p\mathrm{Re}\,\mathrm{tr}\,U_p$ と書いて $\beta'$ を固定することに当たる（ の $\beta$ とは $\beta=N^2\beta'$）。 ## 3. 2 次元：連続極限が取れる場合 第 12 章の により、2 次元の自由境界の長方形格子では、プラケットの重み $w$（[類関数](/mathematics/compact-groups/characters-su2#def-class-function)）について、$R\times T$ の長方形ループの期待値は $$ \Bigl\langle\frac{1}{d_\rho}\chi_\rho(U_{\mathcal{C}})\Bigr\rangle=c_\rho^{\,RT},\qquad c_\rho=\frac{1}{d_\rho}\frac{\int\chi_\rho w\,dU}{\int w\,dU} $$ でした。ここから連続極限を取ります。格子の重みには取り方があります。Wilson 作用のほかに、群の上の熱核を重みに使う**熱核作用**（Villain 型の作用の非可換版）があります。$G$ を連結なコンパクト Lie 群、$\langle X,Y\rangle$ を $\mathfrak{g}$ の $\mathrm{Ad}$ 不変内積、$\Delta_G$ を対応する両側不変計量の Laplacian とすると、熱核は $$ K_t(U)=\sum_{\rho\in\hat G}d_\rho\,e^{-tC_2(\rho)}\chi_\rho(U)\qquad(t\gt0) $$ で、$\int K_t\,dU=1$、$\frac{1}{d_\rho}\int\overline{\chi_\rho}K_t\,dU=e^{-tC_2(\rho)}$ を満たす連続な実数値の類関数です（。$C_2(\rho)$ は Casimir の値で、$SU(N)$、$\langle X,Y\rangle=-2\mathrm{tr}(XY)$ のとき基本表現で $C_2(F)=\frac{N^2-1}{2N}$：）。 次の定理は、重みの取り方（熱核作用か Wilson 作用か）を替えても、$a\to0$ の極限で同じ面積則が得られることを確かめるものです。1 は熱核を重みにした場合で、格子間隔によらず厳密に計算できます。2 は Wilson 作用の場合で、$\beta$ が大きいときの評価を積分から直接求めます。 $d=2$、$g\gt0$ とし、$\ell_1,\ell_2\gt0$ を固定する。格子間隔 $a$ は $\ell_1/a,\ell_2/a$ が整数になるように $0$ に近づけ、$\mathcal{C}_a$ を $(\ell_1/a)\times(\ell_2/a)$ の長方形の境界のループとする。 1. （熱核作用、一般の群）$G$ を連結なコンパクト Lie 群とし、プラケットの重みを $w=K_t$、$t=\frac{g^2a^2}{2}$ とする。このとき、$\rho$ と複素共役な既約表現 $\bar\rho$ について、**すべての** $a$ で $$ \Bigl\langle\frac{1}{d_\rho}\chi_{\bar\rho}(U_{\mathcal{C}_a})\Bigr\rangle=\exp\Bigl(-\frac{g^2}{2}\,C_2(\rho)\,\ell_1\ell_2\Bigr). $$ 2. （Wilson 作用、$SU(2)$）$G=SU(2)$、$w(U)=\exp\bigl(\frac\beta2\mathrm{tr}\,U\bigr)$、$\beta=\frac{4}{g^2a^2}$ とする。基本表現について $c_F(\beta)=1-\frac{3}{2\beta}+O(\beta^{-2})$（$\beta\to\infty$）であり、 $$ \lim_{a\to0}\Bigl\langle\frac12\mathrm{tr}\,U_{\mathcal{C}_a}\Bigr\rangle=\exp\Bigl(-\frac{3g^2}{8}\,\ell_1\ell_2\Bigr)=\exp\Bigl(-\frac{g^2}{2}\,C_2(F)\,\ell_1\ell_2\Bigr),\qquad C_2(F)=\frac34 . $$ **1.** の 1 と 2 は、$w$ が連続な実数値の類関数で $\int w\ne0$ であれば成り立ちます。$w=K_t$ では $\int K_t=1$ で、$\chi_{\bar\rho}=\overline{\chi_\rho}$ なので $c_{\bar\rho}=\frac{1}{d_\rho}\int\overline{\chi_\rho}K_t\,dU=e^{-tC_2(\rho)}$ です。プラケットの数は $\frac{\ell_1\ell_2}{a^2}$ なので $$ c_{\bar\rho}^{\,\ell_1\ell_2/a^2}=\exp\Bigl(-\frac{g^2a^2}{2}C_2(\rho)\cdot\frac{\ell_1\ell_2}{a^2}\Bigr)=\exp\Bigl(-\frac{g^2}{2}C_2(\rho)\ell_1\ell_2\Bigr). $$ **2.** $SU(2)$ の元の固有値を $e^{\pm i\varphi}$（$0\le\varphi\le\pi$）とすると $\mathrm{tr}\,U=2\cos\varphi$ で、類関数の積分は $\int f\,dU=\frac2\pi\int_0^\pi f\sin^2\varphi\,d\varphi$ です（Weyl の積分公式 で $\theta=2\varphi$ と置く）。$w=e^{\beta\cos\varphi}$、$\frac{1}{d_F}\chi_F=\cos\varphi$ なので、 の $c_F$ は $$ 1-c_F(\beta)=\frac{\int_0^\pi(1-\cos\varphi)\,e^{\beta\cos\varphi}\sin^2\varphi\,d\varphi}{\int_0^\pi e^{\beta\cos\varphi}\sin^2\varphi\,d\varphi} $$ です。$s=1-\cos\varphi$ と置換すると $\sin\varphi\,d\varphi=ds$、$\sin\varphi=\sqrt{s(2-s)}$ なので、$e^{\beta}$ を約分して $$ 1-c_F(\beta)=\frac{J_1(\beta)}{J_0(\beta)},\qquad J_k(\beta)=\int_0^2e^{-\beta s}\,s^{k+\frac12}\sqrt{2-s}\,ds . $$ $J_k$ を評価します。$\sqrt{2-s}=\sqrt2-\delta(s)$ と書くと、$\delta(s)=\frac{s}{\sqrt2+\sqrt{2-s}}$ から $0\le\delta(s)\le\frac{s}{\sqrt2}$ です。したがって $$ J_k(\beta)=\sqrt2\int_0^\infty e^{-\beta s}s^{k+\frac12}ds-\sqrt2\int_2^\infty e^{-\beta s}s^{k+\frac12}ds-\int_0^2e^{-\beta s}s^{k+\frac12}\delta(s)\,ds . $$ 第 1 項は $\sqrt2\,\Gamma(k+\frac32)\beta^{-k-\frac32}$ です。第 2 項は、$s\ge2$ で $\beta s\ge\beta+\frac{\beta s}{2}$ なので、絶対値が $\sqrt2e^{-\beta}\int_0^\infty e^{-\beta s/2}s^{k+\frac12}ds=\sqrt2e^{-\beta}\Gamma(k+\frac32)(2/\beta)^{k+\frac32}$ 以下です。第 3 項は $\frac{1}{\sqrt2}\int_0^\infty e^{-\beta s}s^{k+\frac32}ds=\frac{1}{\sqrt2}\Gamma(k+\frac52)\beta^{-k-\frac52}$ 以下です。$\Gamma(k+\frac52)=(k+\frac32)\Gamma(k+\frac32)$ なので $$ J_k(\beta)=\sqrt2\,\Gamma(k+\tfrac32)\,\beta^{-k-\frac32}\bigl(1+\varepsilon_k(\beta)\bigr),\qquad|\varepsilon_k(\beta)|\le2^{k+\frac32}e^{-\beta}+\frac{k+\frac32}{2\beta}. $$ $k=0,1$ について比を取ると、$\frac{\Gamma(5/2)}{\Gamma(3/2)}=\frac32$ から $$ 1-c_F(\beta)=\frac{3}{2\beta}\cdot\frac{1+\varepsilon_1(\beta)}{1+\varepsilon_0(\beta)}=\frac{3}{2\beta}+O(\beta^{-2}). $$ プラケットの数は $n=\frac{\ell_1\ell_2}{a^2}$、$\beta=\frac{4}{g^2a^2}$ なので $$ n\log c_F(\beta)=\frac{\ell_1\ell_2}{a^2}\Bigl(-\frac{3g^2a^2}{8}+O(a^4)\Bigr)\longrightarrow-\frac{3g^2}{8}\ell_1\ell_2\qquad(a\to0). $$ の 2 から $\langle\frac12\mathrm{tr}\,U_{\mathcal{C}_a}\rangle=c_F(\beta)^n$ なので主張を得ます。 1 と 2 は、重みの取り方が違っても連続極限が一致すること（普遍性）の例です。1 では格子間隔を変えても期待値がまったく変わりません。熱核が半群の性質 $K_t*K_s=K_{t+s}$ をもつので、2 枚のプラケットを 1 枚にまとめる操作で重みの形が保たれるからです。これは、くりこみ群変換の固定点の上に理論が厳密に乗っている状況です（）。 極限の期待値は面積則 $e^{-\sigma\cdot\text{面積}}$、$\sigma=\frac{g^2}{2}C_2(\rho)$ に従います。2 次元では $g^2$ が質量の 2 乗の次元をもつので、弦張力は古典論のパラメータで書けています。 $SU(2)$ の Wilson 作用では $c_F=\frac{I_2(\beta)}{I_1(\beta)}$ で、格子単位の弦張力は $\sigma(\beta)=-\log\frac{I_2(\beta)}{I_1(\beta)}$ です。 - **強結合** $\beta\to0$: $I_n(\beta)=\frac1\pi\int_0^\pi e^{\beta\cos\theta}\cos n\theta\,d\theta$ に $e^{\beta\cos\theta}$ の Taylor 展開を入れると、$\cos^k\theta\cos n\theta$ の積分は $k\lt n$ で $0$、$k=n$ で $\pi2^{-n}$ なので $I_n(\beta)=\frac{1}{n!}(\frac\beta2)^n(1+O(\beta^2))$。したがって $\frac{I_2}{I_1}=\frac\beta4(1+O(\beta^2))$、$\sigma(\beta)=-\log\frac\beta4+O(\beta^2)$。これは強結合展開の最低次（：$SU(2)$ では $\langle W\rangle=(\beta/4)^{RT}+\cdots$）と一致します。 - **弱結合** $\beta\to\infty$: の証明から $\sigma(\beta)=\frac{3}{2\beta}+O(\beta^{-2})$。 $\sigma(\beta)$ は $\beta$ について滑らかで、強結合の $-\log\frac\beta4$ から弱結合の $\frac{3}{2\beta}$ まで、途中で相転移なしにつながります。4 次元で期待されているのも、これと同じ「強結合の閉じ込め相が $\beta\to\infty$ まで続く」という描像です。違いは、4 次元では $\sigma(\beta)$ が $\frac1\beta$ のべきではなく $e^{-\beta/(2Nb_0)}$ の速さで小さくなると期待されることです（第 12 章の 。弦張力は質量の 2 乗の次元なので、指数は $m(\beta)$ の 2 倍）。 長方形以外のループや、曲面の上の理論を含む一般的な結果は、次のとおりです。 $G$ を連結なコンパクト Lie 群とする。平面 $\mathbb{R}^2$ およびコンパクトな曲面 $\Sigma$ の上で、有限の長さをもつ（十分一般の）ループの族を添字とする $G$ 値確率過程 $(H_\ell)_\ell$（**ランダムなホロノミー場**）が存在して、次を満たす。 1. $H$ はループの連結について乗法的で、ゲージ変換に当たる共役について不変である。 2. 平面の場合、面積 $A$ の領域を囲む単純ループ $\ell$ の $H_\ell$ の分布は熱核 $K_{g^2A/2}(U)\,dU$ であり、囲む領域の内部が互いに交わらない単純ループのホロノミーは独立である。コンパクトな曲面の場合は、この積の形の分布を曲面の位相から来る拘束で条件づけた形になる。 3. 2 次元の格子 Yang–Mills 理論（熱核作用）の Wilson ループの期待値は、$a\to0$ でこの過程の期待値に収束する。 4. 平面上で $G=U(N)$（および $SO(N)$、$Sp(N)$）とし $N\to\infty$ とすると、各ループ $\ell$ について $\frac1N\mathrm{tr}\,H_\ell$ は決定論的な極限（**master field**）に確率収束し、その極限は Makeenko–Migdal 方程式を満たす。 は**主張のみ**です。1〜3 は L. Gross, C. King, A. Sengupta, *Ann. Physics* 194 (1989)、B. K. Driver, *Comm. Math. Phys.* 123 (1989)、A. Sengupta の一連の論文、T. Lévy, *Mem. Amer. Math. Soc.* 166 (2003) と *Astérisque* 329 (2010) によります。4 は T. Lévy, "The master field on the plane"（arXiv:1112.2452）と Driver–Hall–Kemp（arXiv:1601.06283）によります。この定理の文は、これらの文献の要旨と総説（Chatterjee, "Yang–Mills for probabilists" の文献案内）に基づく要約で、ループの族の正確な範囲、収束の位相、コンパクトな曲面での 2 の正確な形は**原論文で未照合**です。証明には確率解析と、一般の曲線を格子ループで近似する議論が要り、モノグラフの長さになります。長方形ループの場合が です。**示されていないこと**: これは Wilson ループの期待値の理論で、OS 公理を満たす局所場の理論としての非自明な内容（伝播する自由度）はありません。3 次元以上への拡張は与えません。 ## 4. 紫外側：くりこみ群と構成的場の理論 ### 4.1. ブロック平均と、小さい場・大きい場 ここでの目標は、細かい格子の理論を、粗い格子の変数だけで書かれた理論へ移すことです。次の定義は、その道具（粗くする操作、積分、場の大きさによる領域分け）を順に導入するもので、粗くする操作がゲージ変換と整合することが要点です。 連続極限を制御する標準的な方法は、格子間隔 $a$ の理論から出発して、短い波長の揺らぎを 1 段ずつ積分し、粗い格子の上の有効な理論に書き直すことを繰り返す**くりこみ群**です。スカラー場では、粗い格子の点 $x$ に、それを含むブロック $B(x)$（1 辺 $L$）の上の場の平均を対応させます（：$(T\varphi)(x)=L^{[\varphi]-d}\sum_{y\in B(x)}\varphi(y)$ とし、測度の像 $R\mu=\mu\circ T^{-1}$ をくりこみ群写像と呼ぶ）。ゲージ場では、次の 2 点で工夫が要ります。 $U$ を格子間隔 $a$ の格子ゲージ場、$L\ge2$ を整数とする。 1. **ゲージ共変なブロック平均**とは、$U$ から格子間隔 $La$ の格子ゲージ場 $\bar U$ を作る対応 $U\mapsto\bar U$ で、細かい格子のゲージ変換 $h$ について $\overline{U^h}=\bar U^{\,\bar h}$（$\bar h$ は $h$ を粗い格子の点に制限したもの）を満たすものをいう。たとえば、粗い辺 $x\to x+L\hat\mu$ に対し、ブロックの各点 $y$ から出る長さ $L$ の直線の平行移動を、$x$ から $y$ への決まった経路の平行移動で $x$ に引き戻して平均し、その平均（行列）に最も近い群の元を取る。 2. **くりこみ群変換**とは、重み $e^{-S(U)}$ に、$\bar U$ が与えられた粗い配位 $V$ に近いことを表すゲージ共変な因子を掛けて $U$ について積分し、$V$ の関数 $e^{-S'(V)}$（有効作用）を得る操作をいう。 3. スケール $k$ の有効結合を $g_k$ として、プラケット変数が $\|U_p-1\|\le g_k\,p(g_k)$（$p(g)$ は $\log\frac1g$ の適当なべき）を満たす領域を**小さい場**の領域、そうでない領域を**大きい場**の領域という。 小さい場の領域では、$U_e=\exp(g_kA_e)$ と書いてゲージを固定し、$A$ についての摂動展開（収束するクラスター展開）が使えます。大きい場の領域では作用が大きいので、その領域の寄与は $\exp\bigl(-c\,p(g_k)^2\bigr)$ のように小さいことを使います。2 つの領域の境界をまたぐ評価と、スケールごとにゲージの取り方を変えていく手続きが、技術の中心です（第 12 章 §6.3 の (b)(c)(d)）。 ### 4.2. Bałaban の紫外安定性 周期的な箱の上の Wilson 作用の格子純 Yang–Mills 理論に、ゲージ共変なブロック平均によるくりこみ群変換（1 回ごとに格子を $L$ 倍に粗くする）を $n$ 回行う。 1. （$d=3$）$G$ をコンパクト半単純 Lie 群（$SU(N)$ など。Lie 環の中心が $0$ の群）、裸の結合定数を定数 $g\gt0$、ブロックの倍率 $L$ を十分大きい奇数とする。$\varepsilon_0\gt0$ を $g$ に応じて十分小さくとり、格子間隔を $a=\varepsilon_0L^{-n}$（$n=1,2,\dots$）、箱の一辺 $\ell$ を $\varepsilon_0$ の整数倍で、$\ell/\varepsilon_0$ がある下限（$g\varepsilon_0^{1/2}$ の対数の冪で決まる数）以上のものとする。このとき、$n$ によらない定数 $C$（$g$、$\varepsilon_0$、$L$、$G$ による）と、$a$ に依存する規格化定数 $\mathcal N(a)$（真空エネルギーの指数）があって $$ e^{-C(\ell/\varepsilon_0)^3}\le\frac{Z(a)}{\mathcal N(a)}\le e^{C(\ell/\varepsilon_0)^3} $$ が成り立つ（ の 1 の意味の紫外安定性。$E_\pm=\pm C\varepsilon_0^{-3}$）。さらに、くりこみ群変換を $k$ 回行って得られる有効密度は、小場の配位（最小作用の背景場のプラケット変数がすべて閾値より小さい配位）の上で、下から $\exp[-(\text{背景場の作用})-C\cdot(\text{その段の格子点の数})]$ で抑えられる。 2. （$d=4$）裸の結合定数を、漸近的自由の式に従って $a$ とともに $0$ に近づく $g(a)$ に取る。Bałaban の論文の仮定のもとで、小場の領域の有効作用は $n$ によらない評価をもつ局所的な項の和で表され、大場の領域の評価と合わせて、適切に規格化した分配関数は $a$ によらない正の定数で上下から評価される（同じ意味の紫外安定性）。 は**主張のみ**です。Rikai では同じ主張を に置いています。出典は T. Bałaban の 1983〜1989 年の連作（*Comm. Math. Phys.* に十数編。3 次元の結論は "Ultraviolet stability of three-dimensional lattice pure gauge field theories", *Comm. Math. Phys.* 102 (1985)、4 次元は "Renormalization group approach to lattice gauge field theories. I, II" (1987, 1988) と "Large field renormalization. I, II" (1989)）で、証明は合計で数百ページに及びます。 定理の 1（$d=3$）は、3 次元の論文を原文と照合して精読した章の主定理（）の形に合わせてあります。同章は、3 次元の場合を、明示した 2 つの仮定（揺らぎの二次形式の作用素が背景場に局所的に依存する項に展開できること＝同章の仮定 (ME) と、揺らぎ積分の対数が局所的な項の指数減衰する和に展開できること＝同章の仮定 (PX)）と定数の条件のもとで証明しています。この 2 つは原文が先行論文から「従う」と述べるだけの部分で、証明されていないので、ここでは主張のみのままにしています。$L$ が十分大きいという条件は原文にはありませんが、同章の帰納的な評価の形で、有効作用の非局所項の減衰率が段を重ねても劣化しないために要る条件で（小さい $L$ で主張が偽であることが示されたわけではない）、同章は $L\ge211$ と、閾値の指数についての条件を仮定しています。小さい $L$（$L=3$ など）で原文の主張が成り立つかどうかは、同章では決められていません（同章の ）。原文との関係で注意する点は 3 つあります。(i) ゲージ群の仮定は「非可換」ではなく半単純です（有効作用に 1 次の項が現れないことに、Lie 環の中心が $0$ であることを使う。$U(N)$ のように中心が連続な群は含まない）。(ii) 格子間隔は $a=\varepsilon_0L^{-n}$ で、$\varepsilon_0$ は $g$ に応じて小さく、箱の一辺は $\varepsilon_0$ の整数倍で下限以上でなければなりません。任意の一辺を固定して細分する形ではありません。(iii) 示されるのは、有効密度の下からの不等式と分配関数の上下界で、有効作用を等式として表す展開ではありません（原文は上界を各点の密度の評価として述べますが、同章が証明するのは分配関数の形です）。 定理の 2（$d=4$）の文は、連作の論文の要旨と Jaffe–Witten の解説に基づく要約です。4 次元でのゲージ群についての仮定の正確な形、規格化定数 $\mathcal{N}(a)$ と裸の結合 $g(a)$ の具体形、4 次元の評価が連作のどの論文のどの定理で完結するかは、同じテーマの章（[格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文](/themes/gauge-rg-papers)）が多くの仮定を明示しながら追っている途中で、ここでは**原論文との照合を済ませていません**。確かなのは「示されたのは有限体積での紫外安定性の評価であって、連続極限の存在でも OS 公理でもない」という点です。 **示されていないこと。** (i) ゲージ不変な観測量（Wilson ループ、$\mathrm{tr}F^2$ の相関）の期待値の $a\to0$ での収束。分配関数の評価からは、部分列の収束すら直ちには出ません。(ii) 極限の OS 公理。(iii) 無限体積極限 $\ell\to\infty$ と質量ギャップ。Jaffe と Witten は、この結果を、コンパクトな時空での連続極限の存在に向けた重要な一歩と位置づけ、ゲージ不変な観測量の期待値に拡張する必要があると述べています。 $G=SU(2)$、$d=4$ とする。位相的に自明なセクターで、赤外切断を固定し、正則化した軸ゲージを使うとき、運動量空間の適切な型の紫外切断について、切断を取り除いた極限で Schwinger 関数が構成でき、無限小のゲージ不変性を表す Slavnov 恒等式が非摂動的に成り立つ。 は**主張のみ**です。出典は J. Magnen, V. Rivasseau, R. Sénéor, "Construction of YM₄ with an infrared cutoff", *Comm. Math. Phys.* 155 (1993), 325–383 で、上の主張はその要旨によります。格子を使わず連続の理論を直接正則化する方法で、切断がゲージ不変性を壊すので、それを回復する対抗項を非摂動的に制御します。大きい場では軸ゲージの正値性を、小さい場では摂動計算に適した別のゲージを使います。**示されていないこと**: 赤外切断の除去（無限体積極限）、ゲージ不変な観測量についての OS 公理、質量ギャップ。 ### 4.3. 可換な群と Higgs 場：公理まで届いた例 ゲージ群が $U(1)$ で、荷電スカラー場（Higgs 場）と結合した模型では、構成が最後まで行われています。 2 次元の $U(1)$ ゲージ場と荷電スカラー場の模型（Abel 的 Higgs 模型）について、格子近似の連続極限と無限体積極限が存在し、ゲージ不変な局所場の期待値（Schwinger 関数）について Osterwalder–Schrader 公理が検証されている（クラスター性については直後の注意を参照）。 は**主張のみ**です。出典は D. Brydges, J. Fröhlich, E. Seiler, "On the construction of quantized gauge fields. I" *Ann. Physics* 121 (1979)、"II" *Comm. Math. Phys.* 71 (1980)、"III. The two-dimensional abelian Higgs model without cutoffs" *Comm. Math. Phys.* 79 (1981) の 3 編です。上の主張は第 III 論文の要旨（残っていたゲージ場の紫外切断を除き、無限体積極限を構成し、ゲージ不変な局所場の期待値について Osterwalder–Schrader の公理を検証する）によります。後年の総説には、検証されたのはクラスター性 (E4) を除く公理で、対応する Wightman 理論の真空は一意とは限らない、とするものがあります。どの公理がどの形で示されているかは**原論文で未照合**です。Jaffe と Witten は、これを公理を満たす相互作用のあるゲージ理論の唯一の完全な例と呼び、この模型に質量ギャップがあること（Bałaban–Brydges–Imbrie–Jaffe 1984）を挙げ、非可換な Higgs 模型への拡張は 2 次元であっても質的な前進になると述べています。**示されていないこと**: 非可換群の場合。 3 次元の $U(1)$ Higgs 模型について、格子近似の連続極限（紫外切断の除去）と無限体積極限が存在する。 は**主張のみ**です。出典は C. King, "The U(1) Higgs model. I. The continuum limit" *Comm. Math. Phys.* 102 (1986)、"II. The infinite volume limit" *Comm. Math. Phys.* 103 (1986) で、Bałaban の位相セルのくりこみ群によります（2 次元と 3 次元を扱う）。この定理の文は論文の題と、他の論文での紹介（Driver 1987、Chatterjee の総説）に基づく要約で、**原論文で未照合**です。それらによれば、近似に使う格子の測度は Wilson 作用の非コンパクト版で、連続極限は場の強さ $F_A$ と $|\Phi|^2$ の生成汎関数について示され、第 II 論文は相関不等式を使って無限体積極限を取り、反射正値性など OS 公理の一部を検証しています。OS 公理のすべてが示されたとは、ここでは主張しません。Higgs 場のない純粋な $U(1)$ 理論の連続極限は、3 次元で L. Gross (1983)、4 次元で B. Driver (1987) が別の収束の意味で示しています（極限は自由場です）。**示されていないこと**: 非可換群の場合。3 次元の非可換な理論は超くりこみ可能で、4 次元より易しいと考えられていますが、観測量の連続極限は構成されていません。 ## 5. 赤外側（強結合）：展開と関数不等式 ### 5.1. 強結合展開 $\beta$ が小さいとき、重み $\exp\bigl(\frac\beta N\mathrm{Re}\,\mathrm{tr}\,U_p\bigr)$ は $1$ に近く、測度は積 Haar 測度の小さな摂動です。この摂動展開（強結合展開）は収束します。 $d\ge2$、$G=U(1)$ または $SU(N)$ とする。$d$ だけによる $\beta_0=\beta_0(d)\gt0$ があって、$0\le\beta\lt\beta_0$ で次が成り立つ。 (1) 局所観測量（有限個のリンク変数の有界可測関数）の期待値は無限体積極限 $\langle\cdot\rangle_\beta$ をもつ。極限は境界条件（自由・周期）によらず、格子の並進で不変で、$\beta$ について $|\beta|\lt\beta_0$ で正則である。局所観測量 $F_1,F_2$ の相関は、$F_2$ を格子ベクトル $x$ だけ平行移動するとき $|\langle F_1F_2^x\rangle_\beta-\langle F_1\rangle_\beta\langle F_2^x\rangle_\beta|\le c(F_1,F_2)e^{-|x|_\infty}$ と指数的に減衰する。 (2) Wilson ループは面積則の上界を満たす：$d$ だけによる $c\gt0$ と、$\sigma_0(\beta)\ge\log2$（$\beta\to0$ で $\sigma_0(\beta)=-\log\beta+O(1)$）があって、すべての $R,T\ge1$ で $|\langle W(R,T)\rangle_\beta|\le c^{R+T}e^{-\sigma_0(\beta)RT}$。$R$ と $T$ の少なくとも一方が奇数なら $\langle W(R,T)\rangle_\beta\ge0$。 (3) 無限体積の状態は、格子点を通らない超平面（時刻 $0$ と $1$ の中間）に関する時間反射 $\Theta$ について反射正値である。すなわち、反射面より先の時刻のリンクだけに依存するゲージ不変な局所観測量 $F$ について $\langle\Theta(F)F\rangle_\beta\ge0$。この半正定値形式から作った Hilbert 空間の上で、時間方向に $2$ 格子単位ずらす並進は自己共役な作用素 $\hat T$ を定め、$0\le\hat T\le1$（非負）で、真空ベクトル $\Omega=[1]$ は $\hat T\Omega=\Omega$ を満たし、$\Omega$ の直交補空間の上で $\hat T\le e^{-2}$ である。 (1)(2) は そのものである（$\beta_0$、$c$、$\sigma_0$ はそこで明示した値）。 (3) 原論文を精読した章の記号では、格子点は半整数の座標を持ち、反射は $\vartheta x=(-x^0,x^1,\dots,x^{d-1})$、$\Theta(F)(g)=\overline{F(\vartheta g)}$、結合は $z=\beta/N\ge0$ である（上の定理の証明と同じ対応）。反射正値性は の 3 である。 転送行列を作る。原論文を精読した章の再構成の定理（）は放射ゲージの代数について述べられているので、ここでは同じ議論を、ゲージ不変な観測量の代数について直接行う。$\mathfrak A^+$ を $x^0\gt0$ のリンクだけに依存するゲージ不変な局所観測量（複素数値の有界可測関数）の全体、$\tau_s$（$s\in\mathbb Z$）を時間方向に $s$ だけずらす並進（$X$ の中のリンク変数 $g_{xy}$ を $g_{x+se_0,\,y+se_0}$ に置き換える）とし、$\omega=\langle\cdot\rangle_\beta$ と置く。使う性質は次の 5 つである。 - (a) $\omega$ は局所観測量の上の線形汎関数で、$\omega(1)=1$、$|\omega(X)|\le\lVert X\rVert_\infty$、$\omega(\overline X)=\overline{\omega(X)}$（$\beta\ge0$ では有限の箱の期待値は確率測度による積分で、$\omega$ はその極限。同定理の 2）。 - (b) $\omega\circ\tau_s=\omega$、$\omega(X\circ\vartheta)=\omega(X)$（同定理の 2 の並進と座標の反転についての不変性）。(a) と合わせて $\omega(\Theta(X))=\overline{\omega(X)}$。 - (c) $A\in\mathfrak A^+$ で $\omega(\Theta(A)A)\ge0$（同定理の 3）。 - (d) $\Theta$ は反線形で $\Theta(XY)=\Theta(X)\Theta(Y)$、$\Theta(\Theta(X))=X$（$\vartheta^2=1$）。$\vartheta(x+se_0)=\vartheta x-se_0$ から $\Theta\tau_s=\tau_{-s}\Theta$。 - (e) $s\ge0$ なら $\tau_s(\mathfrak A^+)\subset\mathfrak A^+$（ゲージ不変性と局所性は並進で保たれる）。 $b(A,B):=\omega(\Theta(A)B)$（$A,B\in\mathfrak A^+$）は第 1 変数に反線形、第 2 変数に線形で、(b)(d) から $\overline{b(A,B)}=\omega(\Theta(\Theta(A)B))=\omega(A\,\Theta(B))=b(B,A)$、(c) から $b(A,A)\ge0$。よって が使え、Hilbert 空間 $\mathscr H$ と、像が稠密な線形写像 $A\mapsto[A]$ で $\langle[A],[B]\rangle=b(A,B)$ となるものが得られる。$\Omega:=[1]$ は $\lVert\Omega\rVert^2=\omega(1)=1$ を満たす。 $\tau_2$ について次が成り立つ。**対称性**：(d)(b) から $b(\tau_2A,B)=\omega(\tau_{-2}(\Theta(A))\,B)=\omega(\Theta(A)\,\tau_2B)=b(A,\tau_2B)$（2 番目の等号で全体に $\tau_2$ を施した）。**非負性**：$b(A,\tau_2A)=\omega(\Theta(A)\tau_2A)=\omega(\tau_{-1}(\Theta(A))\,\tau_1A)=\omega(\Theta(\tau_1A)\,\tau_1A)\ge0$（全体に $\tau_{-1}$ を施し、(d)、(e)、(c) を使った）。**縮小性**：$k\ge1$ について $a_k:=b(A,\tau_{2^{k+1}}A)$ と置くと、対称性を繰り返して $a_k=b(\tau_{2^k}A,\tau_{2^k}A)\ge0$。同補題の 1（Cauchy–Schwarz）から $a_k\le b(A,A)^{1/2}\,b(\tau_{2^{k+1}}A,\tau_{2^{k+1}}A)^{1/2}=b(A,A)^{1/2}a_{k+1}^{1/2}$ なので、繰り返すと $$ b(\tau_2A,\tau_2A)=a_1\le b(A,A)^{1-2^{-n}}\,a_{n+1}^{2^{-n}}\qquad(n\ge1). $$ (a) から $a_{n+1}=\omega(\Theta(A)\tau_{2^{n+2}}A)\le\lVert A\rVert_\infty^2$ なので、$n\to\infty$ として $b(\tau_2A,\tau_2A)\le b(A,A)$ を得る（$b(A,A)=0$ のときは上の式から $a_1=0$）。 同補題の 4（$L=\tau_2$、$c=1$）により、$\hat T[A]:=[\tau_2A]$ は矛盾なく定まり、ノルム $1$ 以下の有界作用素に延びる。対称性と非負性は稠密な部分空間 $[\mathfrak A^+]$ の上で成り立ち、連続性で $\mathscr H$ 全体に移るので、$\hat T$ は有界な対称作用素、すなわち自己共役で、$0\le\hat T\le1$。$\tau_21=1$ から $\hat T\Omega=\Omega$、$\hat T^n[B]=[\tau_{2n}B]$ から $\langle[A],\hat T^n[B]\rangle=\omega(\Theta(A)\tau_{2n}B)$（$n\ge0$）である。以上で の仮定 (i)(ii) が確かめられたので、同系から $\Omega^\perp$ の上で $\hat T$ のスペクトルは $[0,e^{-2}]$ に含まれる。 は、以前はこの記事では主張のみでしたが、原論文を精読した章（[第 1 部](/physics/constructive-papers/osterwalder-seiler-1978-part-1)：反射正値性と転送行列、[第 2 部](/physics/constructive-papers/osterwalder-seiler-1978-part-2)：強結合展開）で証明した定理の言い換えになりました。出典は K. Osterwalder, E. Seiler, "Gauge field theories on a lattice", *Ann. Physics* 110 (1978) です。証明はポリマー展開の収束によります（一般的な収束判定は ）。主張の形について 3 点注意します。(a) (2) は上界であり、弦張力の極限 $\lim(-\frac1{RT}\log\langle W(R,T)\rangle)$ の存在や、その $\beta\to0$ での漸近形は含みません。(b) $\langle W(R,T)\rangle\ge0$ は $R,T$ の一方が奇数の場合だけです。(c) (3) の転送行列は時間を 2 段進めるもので、非負（$0\le\hat T\le1$）ですが、固有値 $0$ を持たないこと（厳密な正値性）は示されていません。1 段の転送行列の正値性には、格子点を通る面での反射（サイト反射）の正値性が要ります（[格子上の反射正値性](/physics/lattice-field-theory/reflection-positivity-lattice)）。**示されていないこと**: $\beta\ge\beta_0$ での面積則と質量ギャップ。連続極限は $\beta\to\infty$ にあるので、この定理は連続の理論について何も述べません（第 12 章の ）。また 4 次元の $U(1)$ では、$\beta$ が大きいと面積則が**成り立たない**ので（§6）、「強結合で面積則」は閉じ込めの証拠にはなりません。 ### 5.2. 曲率による方法：Lie 群上の Bakry–Émery 型の評価 強結合での相関の減衰には、展開を使わない証明があります。配位空間 $G^E$ は正の曲率をもつコンパクトな多様体で、作用 $S$ の 2 階微分が曲率より小さければ、測度は Poincaré 不等式を満たします。Euclid 空間 $\mathbb{R}^n$ では、これは強対数凹な測度についての Bakry–Émery の判定法（：$\rho$-強対数凹な確率測度は定数 $1/\rho$ の対数 Sobolev 不等式と Poincaré 不等式 を満たす）です。Lie 群の上では、[左不変ベクトル場](/mathematics/manifolds/lie-groups#def-left-invariant)の交換関係だけを使って、同じ型の評価を直接証明できます。 **設定。** $K=G^E$（$G=SU(N)$、$E$ は有限集合）とします。$K$ はコンパクトな連結 Lie 群で、Lie 環は $\bigoplus_{e\in E}\mathfrak{su}(N)$ です。内積は各成分で $\langle X,Y\rangle=-2\,\mathrm{tr}(XY)$ とし、$(X_a)_{a=1}^{N^2-1}$ をその正規直交基底、$[X_a,X_b]=\sum_cf_{abc}X_c$ とします。$\mathrm{Ad}$ 不変性から $f_{abc}=\langle[X_a,X_b],X_c\rangle$ は完全反対称です。添字 $i=(e,a)$ について、左不変ベクトル場 $$ (X_if)(U)=\frac{d}{ds}f\bigl(\dots,U_e\,e^{sX_a},\dots\bigr)\Big|_{s=0} $$ を考えます。異なる辺のベクトル場は可換で、同じ辺では $[X_{e,a},X_{e,b}]=\sum_cf_{abc}X_{e,c}$ です。$f\in C^\infty(K)$ について $\nabla_ef=(X_{e,a}f)_a$、$|\nabla_ef|^2=\sum_a(X_{e,a}f)^2$、$|\nabla f|^2=\sum_e|\nabla_ef|^2$ と書きます。$V\in C^\infty(K;\mathbb{R})$ を取り、 $$ d\mu=\frac1Ze^{-V}dU,\qquad Lf=\sum_i\bigl(X_iX_if-(X_iV)\,X_if\bigr) $$ と置きます。$\sum_iX_iX_i$ は $K$ の両側不変計量の Laplacian $\Delta_K$ です（）。$L$ は、次の §7 で見る Langevin 力学の生成作用素です。 次の補題は、Poincaré 不等式を示すための準備です。方針は、$L$ を 2 回かけた量 $\int(Lf)^2d\mu$ を、勾配の大きさの積分で下から評価すること（4）です。1 は $L$ が対称で非負であること、3 は $L$ と微分 $X_j$ の入れ替えでどんな項が出るかを調べます。2 の変換は、$L$ を Laplacian から有界な関数を引いた形に直して、[本質的自己共役](/mathematics/functional-analysis/self-adjointness-criteria#def-symmetric-essentially-self-adjoint)性を既知の結果に帰着するためのものです。 上の設定で次が成り立つ。 1. （部分積分）$f,h\in C^\infty(K)$ について $\int(X_if)\,h\,d\mu=-\int f\,\bigl(X_ih-(X_iV)h\bigr)d\mu$。したがって $$ \langle f,-Lh\rangle_{L^2(\mu)}=\int\sum_iX_if\,X_ih\,d\mu, $$ $L$ は $L^2(\mu)$ の対称作用素で $-L\ge0$、$\int Lf\,d\mu=0$。 2. （本質的自己共役性）$L$ は $C^\infty(K)$ の上で本質的自己共役である。閉包 $\bar L$ の核は定数関数だけからなる。 3. （交換関係）$f\in C^\infty(K)$、$j=(e,a)$ について $$ X_jLf=LX_jf-\sum_i(X_jX_iV)\,X_if-\bigl([\nabla_eV,\nabla_ef]\bigr)_a , $$ ここで $\nabla_eV,\nabla_ef$ を $\mathfrak{su}(N)$ の元 $\sum_b(X_{e,b}V)X_b$、$\sum_c(X_{e,c}f)X_c$ と見て、$[\cdot,\cdot]$ は Lie 括弧、$(\cdot)_a$ は $X_a$ 成分である。 4. （積分した Bochner の等式と不等式）$f\in C^\infty(K;\mathbb{R})$ について $$ \int(Lf)^2d\mu=\int\sum_{i,j}(X_iX_jf)^2d\mu+\int\sum_{i,j}(X_iX_jV)\,X_if\,X_jf\,d\mu\ \ge\ \int\Bigl(\frac N4|\nabla f|^2+\sum_{i,j}(X_iX_jV)\,X_if\,X_jf\Bigr)d\mu . $$ **1.** $\varphi\in C^\infty(K)$ について、Haar 測度の右不変性（）から $\int\varphi(\dots,U_ee^{sX_a},\dots)\,dU$ は $s$ によらないので、$s$ で微分して $\int X_i\varphi\,dU=0$ です。$\varphi=fhe^{-V}$ とすると $X_i\varphi=\bigl((X_if)h+f\,X_ih-fh\,X_iV\bigr)e^{-V}$ で、これが第 1 式です。$h$ を $X_ih$ に置き換えて $i$ について和を取ると $\int\sum_iX_if\,X_ih\,d\mu=-\int f\,Lh\,d\mu$。右辺は $f,h$ について対称なので $L$ は対称で、$f=h$ として $-L\ge0$、$f=1$ として $\int Lh\,d\mu=0$ です。 **2.** $\Phi\colon L^2(\mu)\to L^2(K,dU)$、$\Phi f=Z^{-1/2}e^{-V/2}f$ はユニタリで、$C^\infty(K)$ を自分自身の上に写します。$g\in C^\infty(K)$ について $$ L(e^{V/2}g)=e^{V/2}\Bigl(\Delta_Kg+\sum_iX_iV\,X_ig+\bigl(\tfrac12\Delta_KV+\tfrac14|\nabla V|^2\bigr)g-\sum_iX_iV\,X_ig-\tfrac12|\nabla V|^2g\Bigr) $$ なので、$\Phi L\Phi^{-1}=\Delta_K-W$、$W=\frac14|\nabla V|^2-\frac12\Delta_KV$ です。$W$ は有界な実関数です。$\Delta_K$ は $C^\infty(K)$ の上で本質的自己共役で（ の 2）、有界な対称作用素を加えても芯は変わらないので（ の 2 を $a=0$ で使う）、$\Delta_K-W$ は $C^\infty(K)$ の上で本質的自己共役です。ユニタリ同値なので $L$ もそうです。 $\bar Lf=0$ とします。$C^\infty$ の列 $f_n\to f$、$Lf_n\to0$ を取ると、1 から $\int|\nabla f_n|^2d\mu=\langle f_n,-Lf_n\rangle\to0$ です。任意の $k\in C^\infty(K)$ について、1 の第 1 式を $h=e^Vk$ に使うと $X_ih-(X_iV)h=e^VX_ik$ なので $$ \int f\,X_ik\,dU=\lim_n\int f_n\,X_ik\,dU=-\lim_nZ\int(X_if_n)\,e^Vk\,d\mu=0 . $$ $i=(e,a)$ を固定し、$k_s(U)=k(\dots,U_ee^{-sX_a},\dots)$、$F(s)=\int f\,k_s\,dU$ と置きます。$\frac{d}{ds}k_s=-X_ik_s$ なので、上の式を $k_s$ に使うと $F'(s)=-\int f\,X_ik_s\,dU=0$、すなわち $F(s)=F(0)$ です。Haar 測度の右不変性から $F(s)=\int f(\dots,U_ee^{sX_a},\dots)\,k(U)\,dU$ で、$k$ は任意なので、$f$ は $U_e\mapsto U_ee^{sX_a}$ による右移動で（ほとんどいたるところ）不変です。$K$ は連結なので、このような元の有限積で生成され、$f$ はすべての右移動で不変です。したがって $f(U)=\int_Kf(Ug)\,dg=\int f\,dU$ がほとんどすべての $U$ で成り立ち、$f$ は定数です。 **3.** $\Delta_K$ は各 $X_j$ と可換です。実際、$[X_{e,b}X_{e,b},X_{e,a}]=X_{e,b}[X_{e,b},X_{e,a}]+[X_{e,b},X_{e,a}]X_{e,b}=\sum_cf_{bac}(X_{e,b}X_{e,c}+X_{e,c}X_{e,b})$ で、$b$ について和を取ると、$f_{bac}$ が $(b,c)$ について反対称、括弧の中が対称なので $0$ です。したがって $$ X_jLf-LX_jf=-\sum_i(X_jX_iV)\,X_if-\sum_i(X_iV)\,[X_j,X_i]f . $$ 最後の項で $[X_j,X_i]\ne0$ となるのは $i=(e,b)$（同じ辺）のときだけで、$\sum_{b,c}(X_{e,b}V)f_{abc}X_{e,c}f$ です。$f_{abc}=f_{bca}=\langle[X_b,X_c],X_a\rangle$ なので、これは $[\nabla_eV,\nabla_ef]$ の $X_a$ 成分です。 **4.** 1 と 3 から $$ \int(Lf)^2d\mu=-\int\sum_jX_jf\,X_jLf\,d\mu=-\int\sum_jX_jf\,L(X_jf)\,d\mu+\int\sum_{i,j}(X_jX_iV)\,X_if\,X_jf\,d\mu+\int\sum_e\langle\nabla_ef,[\nabla_eV,\nabla_ef]\rangle\,d\mu . $$ 第 1 項は 1 により $\int\sum_{i,j}(X_iX_jf)^2d\mu$ です。第 3 項は、$\mathrm{Ad}$ 不変性 $\langle[Z,Y],Y'\rangle=-\langle Y,[Z,Y']\rangle$ で $Y'=Y$ と置くと $\langle Y,[Z,Y]\rangle=0$ となるので、$0$ です。第 2 項は添字を入れ替えれば主張の形です。これで等式が示せました。 不等式を示します。$\sum_{i,j}(X_iX_jf)^2$ のうち、同じ辺 $e$ の添字 $i=(e,a),j=(e,b)$ の項だけを残し、行列 $T_{ab}=X_{e,a}X_{e,b}f$ を対称部分と反対称部分に分けると、$\sum_{a,b}T_{ab}^2\ge\sum_{a,b}\bigl(\frac12(T_{ab}-T_{ba})\bigr)^2=\frac14\sum_{a,b}\bigl([X_{e,a},X_{e,b}]f\bigr)^2$ です。さらに $$ \sum_{a,b}\bigl([X_{e,a},X_{e,b}]f\bigr)^2=\sum_{c,c'}\Bigl(\sum_{a,b}f_{abc}f_{abc'}\Bigr)X_{e,c}f\,X_{e,c'}f=N\,|\nabla_ef|^2 . $$ 最後の等号は $\sum_{a,b}f_{abc}f_{abc'}=N\delta_{cc'}$ によります。これは随伴表現の Casimir の値です。$\mathrm{ad}(X_a)X_c=\sum_bf_{acb}X_b$ から $\sum_a\mathrm{ad}(X_a)^2X_c=\sum_{a,b,c'}f_{acb}f_{abc'}X_{c'}=-\sum_{c'}\bigl(\sum_{a,b}f_{abc}f_{abc'}\bigr)X_{c'}$ で、左辺は $-C_2(\mathrm{Ad})X_c=-NX_c$ です（ の 1 と ）。$e$ について和を取って $\sum_{i,j}(X_iX_jf)^2\ge\frac N4|\nabla f|^2$ です。 4 の $\frac N4$ は、$SU(N)$ の両側不変計量（$\langle X,Y\rangle=-2\mathrm{tr}(XY)$）の [Ricci 曲率](/mathematics/differential-geometry/curvature#def-sectional-ricci)が $\mathrm{Ric}=\frac N4\langle\cdot,\cdot\rangle$ であることの現れです。Riemann 幾何の一般論では、4 の等式は Bochner の公式（）を重み $e^{-V}$ つきで積分したもので、$\sum_{i,j}(X_iX_jf)^2=|\mathrm{Hess}f|^2+\mathrm{Ric}(\nabla f,\nabla f)$ です。計量を $\langle X,Y\rangle=-\mathrm{tr}(XY)$ に取り替えると、同じ Ricci テンソルが $\frac N2\langle\cdot,\cdot\rangle$ と表されます。 次の補題は、Wilson 作用の 2 階微分の大きさを評価します。 の $S(U)=-\frac\beta N\sum_{p\in P}\mathrm{Re}\,\mathrm{tr}\,U_p$ について次が成り立つ。 1. 実数の組 $\xi=(\xi_i)$ について、$\xi_e=\sum_a\xi_{e,a}X_a$、$|\xi|^2=\sum_i\xi_i^2$ として $$ \Bigl|\sum_{i,j}(X_iX_jS)(U)\,\xi_i\xi_j\Bigr|\le\frac{4(d-1)|\beta|}{N}\,|\xi|^2 . $$ 2. 辺 $e,e'$ について、行列 $B_{ee'}(U)$ を $(B_{ee'})_{ab}=X_{e,a}X_{e',b}S$（$e\ne e'$）、$(B_{ee})_{ab}=X_{e,a}X_{e,b}S+\sum_cf_{acb}X_{e,c}S$ で定める（$V=S$ のとき、 の 3 は $X_{e,a}Lf=LX_{e,a}f-\sum_{e',b}(B_{ee'})_{ab}X_{e',b}f$ と書ける。$f_{acb}=f_{cba}$ に注意）。その作用素ノルムは $$ \|B_{ee'}(U)\|\le b_{ee'}:=\begin{cases}\dfrac{3(d-1)|\beta|}{N}&(e=e')\\[2mm]\dfrac{|\beta|}{2N}&(e\ne e'\text{ が 1 つのプラケットに属する})\\[1mm]0&(\text{それ以外})\end{cases} $$ を満たし、$\sum_{e'}b_{ee'}\le\bar b:=\dfrac{6(d-1)|\beta|}{N}$。 **準備。** $\mathfrak{su}(N)$ の元 $\eta$ について $|\eta|^2=-2\mathrm{tr}(\eta^2)=2\|\eta\|_{\mathrm{HS}}^2$ です。ユニタリ行列 $A,B$ と行列 $\eta,\zeta$ について、Hilbert–Schmidt 内積の Cauchy–Schwarz の不等式とユニタリ不変性から $$ |\mathrm{tr}(A\eta B\zeta)|\le\|A\eta B\|_{\mathrm{HS}}\|\zeta\|_{\mathrm{HS}}=\|\eta\|_{\mathrm{HS}}\|\zeta\|_{\mathrm{HS}}=\tfrac12|\eta||\zeta| . $$ 1 つの辺は高々 $2(d-1)$ 個のプラケットに属します。 **1.** $\sum_{i,j}\xi_i\xi_jX_iX_j=(\sum_i\xi_iX_i)^2$ で、$\sum_i\xi_iX_i$ は左不変ベクトル場なので、$\sum_{i,j}(X_iX_jS)\xi_i\xi_j=\frac{d^2}{ds^2}S\bigl((U_ee^{s\xi_e})_e\bigr)\big|_{s=0}$ です。プラケット $p$ の 4 辺を $e_1,\dots,e_4$ とすると、$U_p(s)$ は $U_{e_k}e^{s\xi_{e_k}}$ または $e^{-s\xi_{e_k}}U_{e_k}^{-1}$ の 4 つの積です。$s$ で 2 回微分して $s=0$ と置くと、$\mathrm{tr}$ の中にユニタリ行列の間に $\pm\xi_{e_k}$ と $\pm\xi_{e_l}$ が 1 つずつ（$k\ne l$ の組は 2 通りの順序で）、または $\xi_{e_k}^2$ が入った項の和になります。準備の不等式から $$ \Bigl|\frac{d^2}{ds^2}\mathrm{tr}\,U_p(s)\Big|_{s=0}\Bigr|\le\Bigl(\sum_{k=1}^4\|\xi_{e_k}\|_{\mathrm{HS}}\Bigr)^2\le4\sum_{k=1}^4\|\xi_{e_k}\|_{\mathrm{HS}}^2=2\sum_{k=1}^4|\xi_{e_k}|^2 . $$ $p$ について和を取ると、各辺が高々 $2(d-1)$ 回数えられるので $\bigl|\frac{d^2}{ds^2}\sum_p\mathrm{Re}\,\mathrm{tr}\,U_p\bigr|\le4(d-1)|\xi|^2$。$\frac{|\beta|}{N}$ を掛けて 1 を得ます。 **2.** $\eta=\sum_a\eta_aX_a$、$\zeta=\sum_b\zeta_bX_b$ とします。$e\ne e'$ のとき $\sum_{a,b}\eta_a\zeta_b\,X_{e,a}X_{e',b}S=\partial_s\partial_tS\big|_{s=t=0}$（$U_e\to U_ee^{s\eta}$、$U_{e'}\to U_{e'}e^{t\zeta}$）で、$e,e'$ の両方を含むプラケットは高々 1 つ、その寄与は $\mathrm{Re}\,\mathrm{tr}$ の中に $\eta,\zeta$ が 1 つずつ入った 1 項なので、絶対値は $\frac{|\beta|}{N}\cdot\frac12|\eta||\zeta|$ 以下です。$e=e'$ のとき $\sum\eta_a\zeta_bX_{e,a}X_{e,b}S=\partial_s\partial_tS(U_ee^{s\eta}e^{t\zeta})$ で、$e$ を含む各プラケットから $\eta\zeta$ が入った 1 項が出るので、絶対値は $\frac{|\beta|}{N}\cdot2(d-1)\cdot\frac12|\eta||\zeta|=\frac{(d-1)|\beta|}{N}|\eta||\zeta|$ 以下です。交換子の項は、$f_{acb}=\langle[X_a,X_c],X_b\rangle$ と $\mathrm{Ad}$ 不変性から $$ \sum_{a,b,c}\eta_a\zeta_bf_{acb}\,X_{e,c}S=\langle[\eta,\nabla_eS],\zeta\rangle=\langle\nabla_eS,[\zeta,\eta]\rangle=\frac{d}{ds}S\bigl(\dots,U_ee^{s[\zeta,\eta]},\dots\bigr)\Big|_{s=0} $$ です（$[\zeta,\eta]\in\mathfrak{su}(N)$）。各プラケットの寄与は $-\frac\beta N\mathrm{Re}\,\mathrm{tr}(A[\zeta,\eta])$（$A$ はユニタリ）の形で、$|\mathrm{tr}(A\zeta\eta)|+|\mathrm{tr}(A\eta\zeta)|\le2\|\zeta\|_{\mathrm{HS}}\|\eta\|_{\mathrm{HS}}=|\eta||\zeta|$ なので、絶対値は $\frac{|\beta|}{N}\cdot2(d-1)|\eta||\zeta|$ 以下です。合わせて $\|B_{ee}\|\le\frac{3(d-1)|\beta|}{N}$。$e$ と 1 つのプラケットを共有する $e'\ne e$ は高々 $3\cdot2(d-1)$ 個なので、$\sum_{e'}b_{ee'}\le\frac{3(d-1)|\beta|}{N}+6(d-1)\cdot\frac{|\beta|}{2N}=\frac{6(d-1)|\beta|}{N}$ です。 ### 5.3. 体積に一様な Poincaré 不等式と相関の減衰 $\bar L$ の定義域の元 $u$ にも勾配を定めておきます。$C^\infty$ の列 $u_n\to u$、$Lu_n\to\bar Lu$ を取ると、 の 1 から $\int|\nabla(u_n-u_m)|^2d\mu=\langle u_n-u_m,-L(u_n-u_m)\rangle\to0$ なので、$\nabla u_n$ は $L^2(\mu)^I$（$I$ は添字 $i=(e,a)$ の集合）で収束します。極限を $\bar\nabla u$ と書きます（列の取り方によりません）。$u,v\in D(\bar L)$ について $\langle u,-\bar Lv\rangle=\langle\bar\nabla u,\bar\nabla v\rangle$、また $\varphi=(\varphi_i)\in C^\infty(K)^I$ について $\langle\bar\nabla u,\varphi\rangle=\langle u,\nabla^*\varphi\rangle$、$\nabla^*\varphi=-\sum_i\bigl(X_i\varphi_i-(X_iV)\varphi_i\bigr)$ が、$C^\infty$ での等式（ の 1）の極限として成り立ちます。 次の補題は、相関の指数的減衰（次の定理の 3）の準備です。レゾルベントを掛けた関数の勾配は、元の関数の勾配を、近い辺どうしだけを結ぶ行列 $b$ で何回か混ぜたもので抑えられる、と述べています。つまり、影響が遠くの辺へ伝わるたびに小さくなります。証明は、勾配とレゾルベントの入れ替えの式を、Neumann 級数で解く形に書き直すことです。 §5.2 の設定で $V=S$（）とし、$b_{ee'}$、$\bar b$ を のものとする。$\lambda\gt\bar b$ とし、$R=(\lambda-\bar L)^{-1}$、$T=\lambda R$ と置く。$u\in D(\bar L)$ について $a_e(u)=\|\bar\nabla_eu\|_{L^2(\mu)}$ と書くと、すべての辺 $e$ で $$ a_e(Tu)\le\sum_{e'}\bigl[(1-\lambda^{-1}b)^{-1}\bigr]_{ee'}\,a_{e'}(u),\qquad(1-\lambda^{-1}b)^{-1}=\sum_{m=0}^\infty\lambda^{-m}b^m $$ が成り立つ。ここで $b=(b_{ee'})$ は $E\times E$ の行列である。 $\mathcal{H}_1=L^2(\mu)^I$ とし、$R^{(1)}$ を $R$ を成分ごとに作用させる作用素、$\mathbf{B}$ を行列値関数 $(B_{ee'}(U))$ を掛ける作用素とします。$\|R^{(1)}\|\le\frac1\lambda$ です。$\omega\in\mathcal{H}_1$ について各点で $|(\mathbf{B}\omega)_e|\le\sum_{e'}b_{ee'}|\omega_{e'}|$ なので $$ \|(\mathbf{B}\omega)_e\|\le\sum_{e'}b_{ee'}\|\omega_{e'}\| , $$ $b$ は成分が非負の対称行列で行の和が $\bar b$ 以下なので、$\|\mathbf{B}\|\le\bar b\lt\lambda$ です（$\sum_e(\sum_{e'}b_{ee'}x_{e'})^2\le\sum_e(\sum_{e'}b_{ee'})(\sum_{e'}b_{ee'}x_{e'}^2)\le\bar b^2\sum_{e'}x_{e'}^2$）。転置 $\mathbf{B}^{\mathsf T}$ も同じ評価を満たします。したがって Neumann 級数（）により $$ \mathcal{R}:=R^{(1)}\bigl(1+\mathbf{B}R^{(1)}\bigr)^{-1}=\sum_{m=0}^\infty R^{(1)}\bigl(-\mathbf{B}R^{(1)}\bigr)^m $$ は有界作用素です。 **第 1 段：$f\in C^\infty(K)$ について $\bar\nabla Rf=\mathcal{R}\nabla f$。** $\omega=\mathcal{R}\nabla f$、$\theta=(1+\mathbf{B}R^{(1)})^{-1}\nabla f$ と置くと $\omega=R^{(1)}\theta$ の各成分は $D(\bar L)$ に属し、$(\lambda-\bar L)\omega_i=\theta_i$、$\mathbf{B}\omega=\mathbf{B}R^{(1)}\theta$ なので $$ (\lambda-\bar L^{(1)})\omega+\mathbf{B}\omega=(1+\mathbf{B}R^{(1)})\theta=\nabla f . $$ 一方、 の 3 と の 2 の記号で、$h\in C^\infty(K)$ について $\nabla(Lh)=L^{(1)}\nabla h-\mathbf{B}\nabla h$、すなわち $\nabla(\lambda-L)h=(\lambda-L^{(1)}+\mathbf{B})\nabla h$ です。$\varphi\in C^\infty(K)^I$ と内積を取り、$\psi=(\lambda-L^{(1)}+\mathbf{B}^{\mathsf T})\varphi$ と置くと $$ \langle h,(\lambda-L)\nabla^*\varphi\rangle=\langle\nabla(\lambda-L)h,\varphi\rangle=\langle\nabla h,\psi\rangle=\langle h,\nabla^*\psi\rangle . $$ $h$ は稠密な集合を動くので $(\lambda-L)\nabla^*\varphi=\nabla^*\psi$ です。$\eta=\bar\nabla Rf$ と置くと $$ \langle\eta,\psi\rangle=\langle Rf,\nabla^*\psi\rangle=\langle Rf,(\lambda-L)\nabla^*\varphi\rangle=\langle(\lambda-\bar L)Rf,\nabla^*\varphi\rangle=\langle f,\nabla^*\varphi\rangle=\langle\nabla f,\varphi\rangle , $$ また $\langle\omega,\psi\rangle=\langle(\lambda-\bar L^{(1)})\omega+\mathbf{B}\omega,\varphi\rangle=\langle\nabla f,\varphi\rangle$ です。よって $\eta-\omega$ は $\{\psi\}=(1+\mathbf{B}^{\mathsf T}R^{(1)})(\lambda-L^{(1)})C^\infty(K)^I$ と直交します。$(\lambda-L)C^\infty(K)$ は $L^2(\mu)$ で稠密です（直交する $k$ は $k\in D(L^*)=D(\bar L)$、$(\lambda-\bar L)k=0$ を満たし、$-\bar L\ge0$、$\lambda\gt0$ から $k=0$）。$1+\mathbf{B}^{\mathsf T}R^{(1)}$ は有界な逆をもつので、稠密な集合を稠密な集合に写します。よって $\eta=\omega$ です。 **第 2 段：$u\in D(\bar L)$ への拡張。** $C^\infty$ の列 $f_n\to u$、$Lf_n\to\bar Lu$ を取ると、$\nabla f_n\to\bar\nabla u$、また $Rf_n\to Ru$、$\bar LRf_n=RLf_n\to R\bar Lu=\bar LRu$ なので $\bar\nabla Rf_n\to\bar\nabla Ru$ です。$\mathcal{R}$ は有界なので、第 1 段の等式の極限として $\bar\nabla Ru=\mathcal{R}\bar\nabla u$ を得ます。 **第 3 段：成分ごとの評価。** $\omega\in\mathcal{H}_1$ について $|\omega|_e=\|\omega_e\|$ と書くと、$\|(R^{(1)}\omega)_e\|\le\lambda^{-1}|\omega|_e$ と上の $\mathbf{B}$ の評価から、$\|(R^{(1)}(\mathbf{B}R^{(1)})^m\omega)_e\|\le\lambda^{-1}\sum_{e'}[\lambda^{-m}b^m]_{ee'}|\omega|_{e'}$ です。$m$ について和を取り、$\lambda$ を掛けると、$\bar\nabla Tu=\lambda\mathcal{R}\bar\nabla u$ から主張を得ます。 $G=SU(N)$（$N\ge2$）、$d\ge2$、$\Lambda\subset\mathbb{Z}^d$ を任意の有限集合、$\mu=\mu_{\Lambda,\beta}$ を の測度とし、$\mathfrak{su}(N)$ の内積を $\langle X,Y\rangle=-2\mathrm{tr}(XY)$ とする。 $$ |\beta|\lt\frac{N^2}{16(d-1)},\qquad\kappa:=\frac N4-\frac{4(d-1)|\beta|}{N}\gt0 $$ と仮定する。このとき次が成り立つ。定数はどれも $\Lambda$ によらない。 1. （Poincaré 不等式）すべての $f\in C^\infty(G^E;\mathbb{R})$ について $$ \mathrm{Var}_\mu(f)=\int f^2d\mu-\Bigl(\int f\,d\mu\Bigr)^2\le\frac1\kappa\int|\nabla f|^2\,d\mu . $$ 2. （生成作用素のギャップ）$\sigma(-\bar L)\subset\{0\}\cup[\kappa,\infty)$。したがって $P_t=e^{t\bar L}$ は、すべての $f\in L^2(\mu)$ と $t\ge0$ で $\|P_tf-\int f\,d\mu\|\le e^{-\kappa t}\|f-\int f\,d\mu\|$ を満たす。 3. （相関の減衰）$\beta\ne0$ とする。2 つの辺が 1 つのプラケットに属するとき隣接するとして、辺の集合の間の距離を定める。$f,g\in C^\infty(G^E;\mathbb{R})$ がそれぞれ辺の集合 $A$、$B$ の上の変数だけの関数で、$A$ と $B$ の距離が $D\ge1$ であるとき、$\lambda=\dfrac{384(d-1)|\beta|}{N}$、$q=\dfrac{\lambda}{\lambda+\kappa}\lt1$ として $$ \bigl|\mathrm{Cov}_\mu(f,g)\bigr|\le q^{D-1}\,\|f\|_{L^2(\mu)}\|g\|_{L^2(\mu)}+\frac{2D}{\lambda}\,3^{-D}\Bigl(\sum_{e\in A}\|\nabla_ef\|_{L^2(\mu)}\Bigr)\Bigl(\sum_{e\in B}\|\nabla_eg\|_{L^2(\mu)}\Bigr). $$ **1 と 2.** の 4 と の 1（$\xi_i=X_if(U)$ として各点で使う）から、$f\in C^\infty(K;\mathbb{R})$ について $$ \|Lf\|^2=\int(Lf)^2d\mu\ge\Bigl(\frac N4-\frac{4(d-1)|\beta|}{N}\Bigr)\int|\nabla f|^2d\mu=\kappa\,\langle f,-Lf\rangle . $$ 両辺は $L$ のグラフノルムについて連続なので、この不等式は $f\in D(\bar L)$（実部と虚部に分けて複素数値でも）で成り立ちます。$A=-\bar L\ge0$ のスペクトル測度を $E$ とし、$k\in L^2(\mu)$、$0\lt\delta\lt\kappa$ について $f=E((0,\kappa-\delta])k$ と置くと、$f\in D(A)$ で $$ 0\le\|Af\|^2-\kappa\langle f,Af\rangle=\int_{(0,\kappa-\delta]}\lambda'(\lambda'-\kappa)\,d\langle k,E(\lambda')k\rangle . $$ 被積分関数は負なので $\langle k,E((0,\kappa-\delta])k\rangle=0$。$k$ と $\delta$ は任意なので $E((0,\kappa))=0$、すなわち $\sigma(A)\subset\{0\}\cup[\kappa,\infty)$ です。$E(\{0\})$ は $\mathrm{Ker}\,\bar L$、すなわち定数関数への射影で（ の 2）、$E(\{0\})f=\int f\,d\mu$ です。$e^{-tA}-E(\{0\})=\int_{[\kappa,\infty)}e^{-t\lambda'}dE$ のノルムは $e^{-\kappa t}$ 以下なので 2 が出ます。$f\in C^\infty$ について $$ \mathrm{Var}_\mu(f)=\|(1-E(\{0\}))f\|^2=\int_{[\kappa,\infty)}d\langle f,E(\lambda')f\rangle\le\frac1\kappa\int\lambda'\,d\langle f,E(\lambda')f\rangle=\frac1\kappa\langle f,-Lf\rangle=\frac1\kappa\int|\nabla f|^2d\mu $$ で 1 が出ます。 **3.** $\bar b=\frac{6(d-1)|\beta|}{N}$ なので $\lambda=64\bar b$ で、$r:=\bar b/\lambda=\frac1{64}$ です。$R=(\lambda-\bar L)^{-1}$、$T=\lambda R$ と置きます。$T$ は自己共役で $T1=1$、定数と直交する $h$ について 2 から $\|Th\|\le\sup_{x\ge\kappa}\frac{\lambda}{\lambda+x}\|h\|=q\|h\|$ です。$\tilde f=f-\int f\,d\mu$、$\tilde g=g-\int g\,d\mu$ とすると $\mathrm{Cov}_\mu(f,g)=\langle\tilde f,\tilde g\rangle$ です。$n=\lfloor D/2\rfloor$ として $$ \langle\tilde f,\tilde g\rangle=\langle T^n\tilde f,T^n\tilde g\rangle+\sum_{k=0}^{n-1}\Bigl(\langle T^k\tilde f,T^k\tilde g\rangle-\langle T^{k+1}\tilde f,T^{k+1}\tilde g\rangle\Bigr) $$ と分解します。第 1 項の絶対値は $q^{2n}\|\tilde f\|\|\tilde g\|\le q^{D-1}\|f\|\|g\|$ 以下です。 和の各項を評価します。$1-T=-\bar LR=-\lambda^{-1}\bar LT$ なので $1-T^2=-\lambda^{-1}\bar L(T+T^2)$ で、$\bar\nabla$ は定数を消すから $$ \langle T^k\tilde f,T^k\tilde g\rangle-\langle T^{k+1}\tilde f,T^{k+1}\tilde g\rangle=\langle T^k\tilde f,(1-T^2)T^k\tilde g\rangle=\frac1\lambda\sum_{j\in\{k+1,k+2\}}\sum_e\langle\bar\nabla_eT^kf,\bar\nabla_eT^jg\rangle . $$ $a^f_e(k)=\|\bar\nabla_eT^kf\|$ と書くと、 を $k$ 回使って、成分ごとに $a^f(k)\le M^ka^f(0)$、$M=(1-\lambda^{-1}b)^{-1}$ です。$a^f(0)$ は $A$ の外で $0$ です。$M^k=\sum_m\binom{k+m-1}{m}\lambda^{-m}b^m$ の成分を評価します。$[b^m]_{ee'}$ は $e$ と $e'$ の距離が $m$ より大きければ $0$ で、行の和が $\bar b$ 以下なので $[b^m]_{ee'}\le\bar b^m$ です。$\binom{k+m-1}{m}\le2^{k+m-1}$ なので、距離が $s$ 以上の $e,e'$ について $$ [M^k]_{ee'}\le\sum_{m\ge s}2^{k-1}(2r)^m=\frac{2^{k-1}(2r)^s}{1-2r}\qquad(k\ge1), $$ $k=0$ では $s\ge1$ のとき $[M^0]_{ee'}=0$ です。また $M^k$ の行の和（対称性から列の和も）は $(1-r)^{-k}$ 以下なので、$\sum_ea^f_e(k)\le(1-r)^{-k}\sum_{e\in A}a^f_e(0)$ です。$g$ についても同様です。 $A$ と $B$ の距離が $D$ なので、各辺 $e$ は $A$ からの距離が $D/2$ 以上であるか、$B$ からの距離が $D/2$ 以上です。前者の辺では $a^f_e(k)\le\frac{2^{k-1}(2r)^{D/2}}{1-2r}\alpha_f$（$\alpha_f=\sum_{e\in A}\|\nabla_ef\|$）、後者では $a^g_e(j)\le\frac{2^{j-1}(2r)^{D/2}}{1-2r}\alpha_g$ です。したがって、$k\le n-1$、$j\le n+1$ について $$ \sum_ea^f_e(k)\,a^g_e(j)\le\frac{(2r)^{D/2}}{1-2r}\Bigl(2^{k-1}(1-r)^{-j}+2^{j-1}(1-r)^{-k}\Bigr)\alpha_f\alpha_g\le\frac{(2r)^{D/2}}{1-2r}\cdot\frac54\cdot\frac{2^n}{(1-r)^{n+1}}\,\alpha_f\alpha_g . $$ 和には $2n$ 個の項があり、$n\le D/2$ と $\frac{2}{1-r}\ge1$ から $\bigl(\frac{2}{1-r}\bigr)^n(2r)^{D/2}\le\bigl(\frac{4r}{1-r}\bigr)^{D/2}=\bigl(\frac{4}{63}\bigr)^{D/2}\le3^{-D}$ です。よって和の絶対値は $$ \frac1\lambda\cdot2n\cdot\frac54\cdot\frac{1}{(1-r)(1-2r)}\cdot3^{-D}\,\alpha_f\alpha_g\le\frac{2D}{\lambda}\,3^{-D}\,\alpha_f\alpha_g $$ 以下です（$\frac54\cdot\frac{64}{63}\cdot\frac{32}{31}\lt2$、$2n\le D$）。2 つの評価を足して 3 を得ます。 3 の右辺は $\Lambda$ によらないので、$\Lambda\uparrow\mathbb{Z}^d$ の任意の極限（無限体積の測度）でも同じ評価が成り立ちます。時間方向に離れた観測量に使えば、反射正値性から作った転送行列（：反射正値な格子測度から Hilbert 空間と転送行列 $\hat T$ が作られ、$\langle\Theta F\cdot\tau^kG\rangle=\langle[F],\hat T^k[G]\rangle$）のスペクトルにギャップがあること、すなわち格子の理論の質量ギャップが、第 12 章の と同じ論法で従うと期待されます。ただし、この移行はこの記事では証明していません。 が主張しているのは、Langevin 力学の生成作用素 $-\bar L$ のスペクトルギャップ（2）と、共分散の空間的な減衰（3）です。転送行列のギャップにするには、無限体積の測度の反射正値性、離散時間の半群 $\hat T^k$ についての同値の定理、滑らかな局所関数の類が $\mathcal{H}$ で稠密であること、の確認が別に要ります。 強結合展開（）と比べると、この方法は収束する展開を組み立てる必要がなく、閾値が $N$ と $d$ で明示的に書けます。$\beta=N^2\beta'$（'t Hooft の正規化）で書くと閾値は $|\beta'|\lt\frac{1}{16(d-1)}$ で、$N$ によりません。つまり大 $N$ 極限でも一様に成り立ちます。一方、面積則はこの方法からは直接は出ません。そして、どちらの方法も $\beta\to\infty$ には届きません。$\kappa\gt0$ という条件は、作用の 2 階微分が群の曲率より小さいという条件で、$\beta$ が大きくなると破れます。 $SU(2)$ で $X_a=-\frac i2\sigma_a$ は $\langle X,Y\rangle=-2\mathrm{tr}(XY)$ の正規直交基底です。$\exp(sX_a)=\cos\frac s2-i\sigma_a\sin\frac s2$ は周期 $4\pi$ をもつので、単位速さの測地線が長さ $4\pi$ の閉曲線になります。$SU(2)$ は 3 次元球面（）で、大円の長さが $4\pi$ なので半径は $2$ です。半径 $\varrho$ の $S^3$ の Ricci 曲率は $\frac{2}{\varrho^2}$ 倍の計量なので、$\mathrm{Ric}=\frac12\langle\cdot,\cdot\rangle$ で、 の 4 の $\frac N4=\frac12$ と一致します。構造定数で確かめると、$f_{abc}=\varepsilon_{abc}$、$\sum_{a,b}\varepsilon_{abc}\varepsilon_{abc'}=2\delta_{cc'}=N\delta_{cc'}$ です。 閾値 $\frac{N^2}{16(d-1)}$ は、$SU(2)$ で $d=2,3,4$ のとき $\frac14,\frac18,\frac1{12}$、$SU(3)$ で $d=4$ のとき $\frac{9}{48}=0.1875$ です。$d=2$ では厳密解（第 12 章）からすべての $\beta$ で相関が指数的に減衰することがわかっているので、この閾値は方法の限界であって、理論の相転移を表すものではありません。$\kappa$ の値は、たとえば $SU(2)$、$d=4$、$\beta=0.05$ で $\kappa=\frac12-\frac{12\cdot0.05}{2}=0.2$ です。 $d\ge2$、$G=SO(N)$ または $SU(N)$ とし、$\mathbb{Z}^d$ 上の格子 Yang–Mills 模型を作用 $N\beta'\sum_p\mathrm{Re}\,\mathrm{tr}\,U_p$、Lie 環の内積 $\langle X,Y\rangle=-\mathrm{tr}(XY)$ で考える。 $$ K_S=\begin{cases}\dfrac{N+2}{4}-1-8N|\beta'|(d-1)&(G=SO(N))\\[2mm]\dfrac{N+2}{2}-1-8N|\beta'|(d-1)&(G=SU(N))\end{cases} $$ が正である（$SU(N)$ では $|\beta'|\lt\frac{1}{16(d-1)}$、$SO(N)$ では $|\beta'|\lt\frac{1}{32(d-1)}-\frac{1}{16N(d-1)}$）とする。このとき、(1) 無限体積の Langevin 力学の不変測度は一意で、力学は Wasserstein 距離について指数的に不変測度に収束する。(2) その測度は定数 $K_S$ の対数 Sobolev 不等式（したがって Poincaré 不等式）を満たす。(3) 台が離れた柱状関数の共分散は、台の間の距離について指数的に減衰する（質量ギャップ）。(4) $N\to\infty$ で、$\frac1N\mathrm{tr}$ で規格化した Wilson ループ $\frac1NW_\ell$ の分散は $O(\frac1N)$ で、$\frac1NW_\ell$ とその期待値の差は $0$ に確率収束し、積の期待値と期待値の積の差は $0$ に収束する（因子化）。 は**主張のみ**です。出典は H. Shen, R. Zhu, X. Zhu, "A stochastic analysis approach to lattice Yang–Mills at strong coupling", *Comm. Math. Phys.*（2023 年刊、[arXiv:2204.12737](https://arxiv.org/abs/2204.12737)。主張は同論文の Assumption 1.1、Theorem 1.2、1.4、Corollary 1.5、1.6 による。2026-10-08 確認）。 は、このうち $SU(N)$ の有限体積の Poincaré 不等式と相関の減衰を、Lie 群の左不変ベクトル場の計算だけで証明したもので、閾値は同じです（$\beta=N^2\beta'$、計量の違いで $\kappa=\frac12K_S$）。原論文は、無限体積の力学の構成、一意性、対数 Sobolev 不等式、大 $N$ 極限まで扱うので、確率微分方程式とカップリングの議論が要ります。**示されていないこと**: 閾値を超える $\beta'$ での結果、面積則、連続極限。 ## 6. 可換な群：双対変換で相構造がわかる場合 ゲージ群が $U(1)$ のとき、Fourier 変換（Poisson の和公式）によって、理論を整数値の場の統計力学模型に書き換えられます。これが**双対変換**です。変換後の模型では強結合と弱結合が入れ替わるので、もとの理論の弱結合（連続極限に近い側）を、双対側の「低温」の解析で調べられます。 直感的には、Poisson の和公式は、円周上の周期関数を「角度の言葉」と「整数（Fourier 係数）の言葉」の二通りで書けることを表します。角度が $0$ の近くに集中している（$\beta$ が大きい）ほど、整数の言葉では広く散らばります。双対変換は、この言い換えを各プラケットに使うものです。 コンパクトな $U(1)$ 格子ゲージ理論（：辺ごとに角度 $\theta_e\in[-\pi,\pi)$、プラケット角 $(d\theta)_p$ はプラケットの境界に沿った $\theta$ の符号つきの和）で、Wilson 作用の重み $e^{\beta\cos(d\theta)_p}$ の代わりに $$ v_\beta(\phi)=\sum_{n\in\mathbb{Z}}\exp\Bigl(-\frac\beta2(\phi-2\pi n)^2\Bigr) $$ を使う模型を **Villain 模型**といいます。$v_\beta$ は $2\pi$ 周期の正の偶関数で、$\beta$ が大きいとき $\phi=0$ の近くで $e^{\beta\cos\phi}$ と同じ Gauss 型の形をもちます。これは §3 の熱核作用の $U(1)$ 版です（$v_\beta$ は円周上の熱核の定数倍）。 $d\ge2$、$\Lambda\subset\mathbb{Z}^d$ を有限集合、$E$、$P$ を辺とプラケットの集合とし、$[p:e]\in\{0,\pm1\}$ をプラケット $p$ の境界に辺 $e$ が現れる符号（現れなければ $0$）、$(d\theta)_p=\sum_e[p:e]\theta_e$ とする。整数値の関数 $m\colon P\to\mathbb{Z}$ に対し $(\delta m)_e=\sum_p[p:e]m_p$ と置く。$\beta\gt0$ について次が成り立つ。 1. $\displaystyle v_\beta(\phi)=\frac{1}{\sqrt{2\pi\beta}}\sum_{m\in\mathbb{Z}}e^{-m^2/(2\beta)}\,e^{im\phi}$。 2. $\displaystyle Z_{\mathrm{V}}(\beta):=\int\prod_{p\in P}v_\beta\bigl((d\theta)_p\bigr)\prod_{e\in E}\frac{d\theta_e}{2\pi}=(2\pi\beta)^{-|P|/2}\sum_{\substack{m\colon P\to\mathbb{Z}\\\delta m=0}}\exp\Bigl(-\frac{1}{2\beta}\sum_pm_p^2\Bigr)$。 3. 閉路 $\mathcal{C}$ が辺 $e$ を通る符号つきの回数を $j_{\mathcal{C}}(e)$ とし、電荷 $n\in\mathbb{Z}$ の Wilson ループを $W_n(\mathcal{C})=\exp\bigl(in\sum_ej_{\mathcal{C}}(e)\theta_e\bigr)$ とすると $$ \langle W_n(\mathcal{C})\rangle=\frac{\sum_{m:\,\delta m=-nj_{\mathcal{C}}}\exp\bigl(-\frac{1}{2\beta}\sum_pm_p^2\bigr)}{\sum_{m:\,\delta m=0}\exp\bigl(-\frac{1}{2\beta}\sum_pm_p^2\bigr)} . $$ **1.** $f(x)=e^{-\beta x^2/2}$ とすると $\hat f(\xi)=\int f(x)e^{-i\xi x}dx=\sqrt{2\pi/\beta}\,e^{-\xi^2/(2\beta)}$ です（）。$f$ と $\hat f$ は急減少なので、Poisson の和公式（：$\sum_kf(x+2\pi k)=\frac{1}{2\pi}\sum_m\hat f(m)e^{imx}$）が使えて、$v_\beta(\phi)=\sum_kf(\phi+2\pi k)=\frac{1}{2\pi}\sqrt{\frac{2\pi}{\beta}}\sum_me^{-m^2/(2\beta)}e^{im\phi}$ です。 **2, 3.** 1 を各プラケットに使います。級数は絶対かつ一様に収束するので、積を展開して項別に積分できます。 $$ \prod_pv_\beta\bigl((d\theta)_p\bigr)=(2\pi\beta)^{-|P|/2}\sum_{m\colon P\to\mathbb{Z}}\exp\Bigl(-\frac{1}{2\beta}\sum_pm_p^2\Bigr)\exp\Bigl(i\sum_pm_p(d\theta)_p\Bigr), $$ $\sum_pm_p(d\theta)_p=\sum_e\theta_e\sum_p[p:e]m_p=\sum_e\theta_e(\delta m)_e$ です。$W_n(\mathcal{C})$ を掛けて $\theta$ で積分すると、各辺で $\int_{-\pi}^{\pi}e^{i\theta_e((\delta m)_e+nj_{\mathcal{C}}(e))}\frac{d\theta_e}{2\pi}$ は $(\delta m)_e+nj_{\mathcal{C}}(e)=0$ のとき $1$、そうでなければ $0$ です。$n=0$ として 2 を、比を取って 3 を得ます。 2 の右辺は、プラケットの上の整数値の場 $m$ が、条件 $\delta m=0$（各辺で、その辺を含むプラケットの $m$ の符号つきの和が $0$）のもとで、重み $e^{-m^2/(2\beta)}$ で揺らぐ模型です。逆温度に当たるのは $\frac1\beta$ で、もとの弱結合 $\beta\to\infty$ は双対側の高温（$m$ が大きく揺らぐ）に、強結合 $\beta\to0$ は双対側の低温（$m=0$ に凍る）に対応します。条件 $\delta m=0$ は双対格子の上で解けます。3 次元では $m$ は双対格子の整数値スカラー場 $\varphi$ の差分で書け、重み $\exp\bigl(-\frac{1}{2\beta}\sum_{\langle x,y\rangle}(\varphi_x-\varphi_y)^2\bigr)$ の模型（離散 Gauss 模型、$\mathbb{Z}$ 強磁性体）になります。4 次元では $m$ は双対格子の整数値ゲージ場の「場の強さ」で書け、双対側も $\mathbb{Z}$ をゲージ群とするゲージ理論になります。3 では、Wilson ループが双対側に「欠陥」（$\delta m=-nj_{\mathcal{C}}$ という非斉次の条件）を入れます。 $d=3$ の $U(1)$ 格子ゲージ理論（Villain 作用）は、すべての結合定数で弦張力が正である（Wilson ループは面積則に従う）。さらに、格子間隔 $a\to0$ で、結合定数から決まる質量 $m_D$ を固定する連続極限が存在し、それは質量 $m_D$ の自由スカラー場の理論である。この極限で物理単位の弦張力は発散する。 は**主張のみ**です。出典は M. Göpfert, G. Mack, "Proof of confinement of static quarks in 3-dimensional U(1) lattice gauge theory for all values of the coupling constant", *Comm. Math. Phys.* 82 (1982), 545–606 で、上の主張はその要旨によります。 の双対変換で $\mathbb{Z}$ 強磁性体と Coulomb 気体に書き換え、多重スケールのクラスター展開で Debye 遮蔽（電荷の間の力が指数的に減衰すること）を示します。弱結合でも質量と弦張力が生じる仕組みは、磁気単極子の気体による遮蔽です（Polyakov 1977 の描像の証明）。**示されていないこと**: 非可換群の場合、4 次元の場合。連続極限が自由場であることにも注意してください。 4 次元では事情が逆になります。4 次元のコンパクト $U(1)$ 理論は、$\beta$ が大きいとき面積則に従わず、Wilson ループは周長則の下界をもちます（Guth 1980、Fröhlich–Spencer 1982。Rikai では ）。強結合では面積則が成り立つので（）、4 次元の $U(1)$ 理論には相転移があります。したがって「強結合の閉じ込め相が弱結合まで続く」ことは一般には成り立たず、非可換性を使った議論が必要です。可換な場合に相構造がわかるのは、双対変換で場が整数値になり、欠陥（単極子）の気体として解析できるからです。非可換群には、これに当たる変換が知られていません。Jaffe と Witten は、質量ギャップが古典的には見えない性質なので、その証明には非古典的な変数変換（双対変換）が要るかもしれないと述べ、Coulomb 気体の Debye 遮蔽をその例に挙げています。 ## 7. 確率量子化：測度を力学の不変測度として捉える ### 7.1. 格子上の Langevin 力学 確率量子化は、測度 $\mu\propto e^{-S}$ を、作用の勾配流にノイズを加えた力学（Langevin 力学）の不変測度として捉える方法です。$\mathbb{R}^n$ の場合は （方程式 $dX_t=-\nabla S(X_t)dt+\sqrt2\,dW_t$、生成作用素 $Lf=\Delta f-\nabla S\cdot\nabla f$）と （$e^{-S}dx$ が不変測度）にあります。格子ゲージ理論では、配位空間がコンパクト Lie 群 $K=G^E$ になります。 §5.2 の設定で $V=S$ とする。**格子 Yang–Mills の Langevin 力学**とは、生成作用素 $$ Lf=\Delta_Kf-\sum_iX_iS\,X_if=\sum_{e\in E}\bigl(\Delta_ef-\langle\nabla_eS,\nabla_ef\rangle\bigr) $$ の閉包 $\bar L$ が $L^2(\mu_{\Lambda,\beta})$ の上に生成する半群 $P_t=e^{t\bar L}$（$t\ge0$）をいう。 確率微分方程式の言葉では、これは $\mathfrak{su}(N)$ 値の独立な Brown 運動 $B_e$ で駆動される方程式 $dU_e=-U_e\,\nabla_eS(U)\,dt+\sqrt2\,U_e\circ dB_e$（$\circ$ は Stratonovich 積分）に対応します。第 1 項が作用を下げる方向への移動、第 2 項が群の上の Brown 運動です。この記事では、半群による定義だけを使います。 の半群 $P_t$ について次が成り立つ。 1. $P_t$ は $L^2(\mu_{\Lambda,\beta})$ 上の自己共役な縮小半群で、$P_t1=1$。 2. （不変性）すべての $f\in L^2(\mu_{\Lambda,\beta})$ と $t\ge0$ で $\int P_tf\,d\mu_{\Lambda,\beta}=\int f\,d\mu_{\Lambda,\beta}$。 3. （可逆性）$\int(P_tf)\,g\,d\mu_{\Lambda,\beta}=\int f\,(P_tg)\,d\mu_{\Lambda,\beta}$。 4. （ゲージ共変性）ゲージ変換 $h\colon\Lambda\to G$ について $(\tau_hf)(U)=f(U^h)$ と置くと、$\tau_h$ は $L^2(\mu_{\Lambda,\beta})$ のユニタリ作用素で、$\tau_hP_t=P_t\tau_h$。とくに、$f$ がゲージ不変なら $P_tf$ もゲージ不変である。 **1, 3.** の 1 と 2 から $\bar L$ は自己共役で $-\bar L\ge0$ なので、関数計算（）により $P_t=e^{t\bar L}$ は自己共役で $\|P_t\|\le1$、$P_tP_s=P_{t+s}$ です。$L1=0$ から $P_t1=1$。3 は自己共役性を実数値関数について書いたものです。 **2.** $\int P_tf\,d\mu=\langle1,P_tf\rangle=\langle P_t1,f\rangle=\langle1,f\rangle=\int f\,d\mu$。 **4.** ゲージ変換 $U_e\mapsto h(x)U_eh(y)^{-1}$ は Haar 測度と $S$ を保つので、$\tau_h$ は $L^2(\mu)$ のユニタリ作用素で、$C^\infty(K)$ を自分自身の上に写します。$f\in C^\infty(K)$ について $|\nabla_e(\tau_hf)|^2=\tau_h\bigl(|\nabla_ef|^2\bigr)$ を示します。$(\tau_hf)(\dots,U_ee^{sX},\dots)=f(\dots,h(x)U_ee^{sX}h(y)^{-1},\dots)=f(\dots,h(x)U_eh(y)^{-1}e^{s\,\mathrm{Ad}(h(y))X},\dots)$ なので、$X_{e,a}(\tau_hf)=\tau_h\bigl(\sum_bO_{ba}X_{e,b}f\bigr)$、ここで $\mathrm{Ad}(h(y))X_a=\sum_bO_{ba}X_b$ です。内積が $\mathrm{Ad}$ 不変なので $O$ は直交行列で、$\sum_a(X_{e,a}\tau_hf)^2=\tau_h\sum_b(X_{e,b}f)^2$ です。偏極化と $\mu$ の不変性から、$f,k\in C^\infty(K)$ について $$ \langle\tau_hf,-L\tau_hk\rangle=\int\sum_e\langle\nabla_e\tau_hf,\nabla_e\tau_hk\rangle\,d\mu=\int\tau_h\Bigl(\sum_e\langle\nabla_ef,\nabla_ek\rangle\Bigr)d\mu=\langle f,-Lk\rangle=\langle\tau_hf,-\tau_hLk\rangle . $$ $\tau_hf$ は稠密な集合を動くので $L\tau_hk=\tau_hLk$ です。したがって $\tau_h^{-1}\bar L\tau_h$ は $L$ の自己共役な拡大で、本質的自己共役性から $\bar L$ に等しく、関数計算により $\tau_h^{-1}P_t\tau_h=P_t$ です。$f$ がゲージ不変（すべての $h$ で $\tau_hf=f$）なら $\tau_hP_tf=P_t\tau_hf=P_tf$ です。 4 により、力学はゲージ軌道の空間（$G^E$ をゲージ変換の群で割った空間）の上の力学を定めます。物理的に意味があるのはこの商の上の力学です。 の 2 は、強結合ではこの力学が、体積によらない速さ $e^{-\kappa t}$ で平衡に近づくことを意味します。 $d=2$ で、1 つのプラケットだけからなる格子（辺 4 本）を考えます。$f(U)=\phi(U_p)$（$\phi\in C^\infty(SU(N))$）の形の関数に $L$ を作用させます。辺 $e_1$ の変数を $U_{e_1}\to U_{e_1}e^{sX}$ と動かすと、$U_p=U_{e_1}U_{e_2}U_{e_3}^{-1}U_{e_4}^{-1}$ は $U_p\to U_p\,e^{s\,\mathrm{Ad}(C^{-1})X}$（$C=U_{e_2}U_{e_3}^{-1}U_{e_4}^{-1}$）と動きます。$\mathrm{Ad}(C^{-1})$ は直交変換なので、 の証明の 4 と同じ計算で $\Delta_{e_1}f=(\Delta_G\phi)(U_p)$、$\langle\nabla_{e_1}S,\nabla_{e_1}f\rangle=\langle\nabla s,\nabla\phi\rangle(U_p)$（$s(U)=-\frac\beta N\mathrm{Re}\,\mathrm{tr}\,U$）です。他の 3 辺も同じ寄与を与えるので $$ Lf=4\bigl(\Delta_G\phi-\langle\nabla s,\nabla\phi\rangle\bigr)(U_p). $$ つまり、プラケット変数 $U_p$ は、$SU(N)$ の上の生成作用素 $4(\Delta_G-\nabla s\cdot\nabla)$ をもつ拡散過程（ポテンシャル $s$ の勾配で押される Brown 運動を 4 倍の速さで動かしたもの）になります。その不変測度は $e^{\frac\beta N\mathrm{Re}\,\mathrm{tr}\,U}dU$ で、第 12 章の厳密解の 1 プラケットの分布に一致します。2 次元の自由境界の格子では、ゲージ固定後にプラケット変数が独立だったので、不変測度は 1 プラケットの分布の積です。 ### 7.2. 連続の確率 Yang–Mills 熱流 連続の理論で対応する力学は、Yang–Mills 作用の勾配流（Yang–Mills 熱流）に時空ホワイトノイズ $\xi$ を加えた確率偏微分方程式です。 $$ \partial_tA_\nu=\sum_\mu D_\mu F_{\mu\nu}+\xi_\nu\qquad(\nu=1,\dots,d). $$ 右辺の第 1 項は $-\frac{\delta S}{\delta A_\nu}$（第 12 章の の 3、$g=1$）です。この方程式には 2 つの困難があります。 - **放物型でない。** $\sum_\mu D_\mu F_{\mu\nu}$ の線形部分は $\Delta A_\nu-\partial_\nu(\sum_\mu\partial_\mu A_\mu)$ で、ゲージ方向（$A=d\chi$ の形）には平滑化が働きません。これは方程式がゲージ変換で不変であることの帰結です。**DeTurck の方法**は、右辺に $+D_\nu(\sum_\mu\partial_\mu A_\mu)$（微分形式の記法では $-d_Ad^*A$）を加えて線形部分を $\Delta A_\nu$ にします。加えた項は時間に依存するゲージ変換の生成する変化なので、ゲージ軌道の上の力学は変わりません。 - **ノイズが粗い。** 時空ホワイトノイズで駆動された解は、$d=2$ で対数的に、$d=3$ ではそれより強く特異な超関数で、非線形項 $[A_\mu,\partial_\mu A_\nu]$、$[A_\mu,[A_\mu,A_\nu]]$ はそのままでは定義できません。積を定義するためにくりこみが要り、くりこみがゲージ共変性を壊さないことを示す必要があります。スカラー場の $\phi^4_3$ 模型で同じ型の問題を解いたのが正則性構造の理論です（）。 $G$ をコンパクト Lie 群、$\mathbb{T}^d$ を $d$ 次元トーラスとする。 1. （$d=2$）超関数の接続の空間で、十分正則な曲線に沿うホロノミーと、対応するゲージ群の作用が定義できるものが存在し、そのゲージ軌道の空間は自然な距離について Polish 空間になる。DeTurck 項を加え、くりこんだ確率 Yang–Mills 熱流は、この空間で（爆発するかもしれない時刻まで）解をもち、ゲージ軌道の空間の上の Markov 過程を定める。この過程は、法則の意味でゲージ変換と整合する。 2. （$d=3$）確率 Yang–Mills–Higgs 熱流について、超関数の状態空間とその上のゲージ同値が定義でき、くりこんだ方程式は時間局所的な解をもつ。くりこみの対抗項の選び方がただ 1 つあって、その選び方で解は法則の意味でゲージ共変になり、ゲージ軌道の空間の上の標準的な Markov 過程（有限時間で爆発する可能性を除いて）が定まる。 は**主張のみ**です。出典は A. Chandra, I. Chevyrev, M. Hairer, H. Shen, "Langevin dynamic for the 2D Yang–Mills measure", *Publ. Math. IHÉS* 136 (2022), 1–147（[arXiv:2006.04987](https://arxiv.org/abs/2006.04987)）と、同じ著者の "Stochastic quantisation of Yang–Mills–Higgs in 3D", *Invent. Math.* 237 (2024), 541–696（[arXiv:2201.03487](https://arxiv.org/abs/2201.03487)）で、上の主張は両論文の要旨によります（2026-10-08 確認）。証明は正則性構造の理論をベクトル値のノイズに拡張して使い、合わせて 300 ページに及びます。**示されていないこと**: (i) $d=3$ での時間大域的な解と不変測度の存在。これが示せれば 3 次元トーラス上の Yang–Mills 測度の構成になりますが、未解決です。(ii) 無限体積。(iii) $d=4$。4 次元では方程式がくりこみの意味で臨界で、正則性構造の理論の適用範囲（劣臨界）の外にあります。 $G$ を連結なコンパクト Lie 群とする。2 次元トーラス上の自明な主 $G$ 束の Yang–Mills 測度は、 の 1 のくりこんだ Langevin 力学の不変測度である。その系として、(1) ゲージを固定した測度は、Gauss 自由場と、ほぼ Lipschitz 連続な剰余の和に分解される。(2) Wilson 作用・Villain 作用・Manton 作用などの格子近似は同じ連続極限をもつ（普遍性）。(3) ゲージ共変な連続の Langevin 力学の質量のくりこみは一意である。 は**主張のみ**です。出典は I. Chevyrev, H. Shen, "Invariant measure and universality of the 2D Yang–Mills Langevin dynamic", *Comm. Pure Appl. Math.*（2026 年刊、[arXiv:2302.12160](https://arxiv.org/abs/2302.12160)。主張は要旨による。2026-10-08 確認）。証明は正則性構造、格子上のゲージ固定、Bourgain の不変測度の議論を組み合わせます。2 次元では測度そのものは §3 の方法で先に構成されているので、この定理は「力学から測度を特徴づける」ことができるという、3 次元に向けた試金石です。**示されていないこと**: 3 次元以上。 ## 8. ループ方程式・大 N 極限・確率論からの研究 ### 8.1. 格子の Schwinger–Dyson 方程式 Haar 測度の不変性から、Wilson ループの期待値の間に関係式が得られます。これは「全微分の積分は $0$」という部分積分の式で、連続の理論の運動方程式に当たります。Wilson ループについて書いたものが **Makeenko–Migdal 方程式**（master loop equation）の格子版です。 の測度 $\mu=\mu_{\Lambda,\beta}$ と §5.2 の記号で次が成り立つ。 1. $f\in C^\infty(G^E)$ と添字 $i$ について $\langle X_if\rangle_\mu=\langle f\,X_iS\rangle_\mu$。したがって各辺 $e$ について $\langle\Delta_ef\rangle_\mu=\bigl\langle\langle\nabla_ef,\nabla_eS\rangle\bigr\rangle_\mu$（$\Delta_e=\sum_aX_{e,a}X_{e,a}$）。 2. $\ell$ を、辺 $e$ を正の向きにちょうど 1 回通り、逆向きには通らない閉路とし、$e$ から始めて $U_\ell=U_eA$ と書く。$e$ を含む各プラケット $p$ を、境界が $e$ を正の向きに通るように向き付け、$e$ から始めて $U_p=U_eB_p$ と書く。このとき $$ \frac{N^2-1}{2N}\,\langle\mathrm{tr}\,U_\ell\rangle_\mu=\frac{\beta}{4N}\sum_{p\ni e}\bigl\langle\mathrm{tr}(U_\ell U_p^{-1})-\mathrm{tr}(U_\ell U_p)\bigr\rangle_\mu+\frac{\beta}{4N^2}\sum_{p\ni e}\bigl\langle\mathrm{tr}\,U_\ell\,\bigl(\mathrm{tr}\,U_p-\mathrm{tr}\,U_p^{-1}\bigr)\bigr\rangle_\mu . $$ **1.** の 1 の証明と同じく、Haar 測度の右不変性（）から $\int X_i(fe^{-S})\,dU=0$ で、$X_i(fe^{-S})=(X_if-fX_iS)e^{-S}$ です。$f$ を $X_{e,a}f$ に替えて $a$ について和を取ると後半です。 **2.** $f(U)=\mathrm{tr}(U_eA)$ に 1 の後半を使います。$A$ は $U_e$ を含まないので $X_{e,a}f=\mathrm{tr}(U_eX_aA)$、$\Delta_ef=\mathrm{tr}(U_e\sum_aX_aX_a\,A)$ です。$X_a=-iT^a$（$T^a$ は跡 $0$ の Hermite 行列で $\mathrm{tr}(T^aT^b)=\frac12\delta^{ab}$）と書くと、完全性関係（：$\sum_aT^a_{ij}T^a_{kl}=\frac12(\delta_{il}\delta_{jk}-\frac1N\delta_{ij}\delta_{kl})$）から、行列 $P,Q$ について $$ \sum_aX_aX_a=-\frac{N^2-1}{2N}\,1,\qquad\sum_a\mathrm{tr}(X_aP)\,\mathrm{tr}(X_aQ)=-\frac12\Bigl(\mathrm{tr}(PQ)-\frac1N\mathrm{tr}P\,\mathrm{tr}Q\Bigr) $$ です。前者から $\Delta_ef=-\frac{N^2-1}{2N}\mathrm{tr}\,U_\ell$。 $S=-\frac{\beta}{2N}\sum_p(\mathrm{tr}\,U_p+\mathrm{tr}\,U_p^{-1})$ で、$U_e$ を含む項は $p\ni e$ のものだけです（$\mathrm{Re}\,\mathrm{tr}\,U_p$ は $p$ の向きと始点の取り方によらないので、定理の向き付けで書けます）。$\mathrm{tr}\,U_p=\mathrm{tr}(U_eB_p)$、$\mathrm{tr}\,U_p^{-1}=\mathrm{tr}(B_p^{-1}U_e^{-1})$ を $U_e\to U_ee^{sX_a}$ として微分すると $$ X_{e,a}S=-\frac{\beta}{2N}\sum_{p\ni e}\Bigl(\mathrm{tr}(X_aB_pU_e)-\mathrm{tr}(X_aU_e^{-1}B_p^{-1})\Bigr). $$ $X_{e,a}f=\mathrm{tr}(X_aAU_e)$ と掛けて $a$ について和を取ります。$P=AU_e$ として、$Q=B_pU_e$ では $\mathrm{tr}(PQ)=\mathrm{tr}(U_eAU_eB_p)=\mathrm{tr}(U_\ell U_p)$、$\mathrm{tr}Q=\mathrm{tr}\,U_p$。$Q=U_e^{-1}B_p^{-1}$ では $\mathrm{tr}(PQ)=\mathrm{tr}(AB_p^{-1})=\mathrm{tr}(U_\ell U_p^{-1})$、$\mathrm{tr}Q=\mathrm{tr}\,U_p^{-1}$。したがって $$ \langle\nabla_ef,\nabla_eS\rangle=\frac{\beta}{4N}\sum_{p\ni e}\Bigl(\mathrm{tr}(U_\ell U_p)-\mathrm{tr}(U_\ell U_p^{-1})-\frac1N\mathrm{tr}\,U_\ell\bigl(\mathrm{tr}\,U_p-\mathrm{tr}\,U_p^{-1}\bigr)\Bigr). $$ 1 の後半 $\langle\Delta_ef\rangle=\langle\langle\nabla_ef,\nabla_eS\rangle\rangle$ に代入し、符号を整理すれば主張の式です。 $\mathrm{tr}(U_\ell U_p)$ は、$\ell$ を 1 周したあとプラケット $p$ を 1 周する閉路の Wilson ループ、$\mathrm{tr}(U_\ell U_p^{-1})=\mathrm{tr}(AB_p^{-1})$ は、$\ell$ の辺 $e$ を $p$ の残りの 3 辺に付け替えた閉路の Wilson ループです。つまりこの方程式は、ループ $\ell$ の期待値を、$\ell$ をプラケット 1 枚ぶん**変形**したループの期待値で表します。$\ell$ が $e$ を複数回通る場合には、同じ計算で、ループが 2 つに**分裂**する項（2 つのトレースの積）と、逆向きに通る場合に対応する項が加わります。 't Hooft の正規化 $\beta=N^2\beta'$、$W_\ell=\frac1N\mathrm{tr}\,U_\ell$ で書き直すと $$ \Bigl(1-\frac{1}{N^2}\Bigr)\langle W_\ell\rangle=\frac{\beta'}{2}\sum_{p\ni e}\bigl\langle W_{\ell\ominus p}-W_{\ell\oplus p}\bigr\rangle+\frac{\beta'}{2}\sum_{p\ni e}\bigl\langle W_\ell\,(W_p-\overline{W_p})\bigr\rangle $$ （$\ell\ominus p$、$\ell\oplus p$ は上の 2 種類の変形）です。右辺の第 2 項は 2 つの Wilson ループの積の期待値で、方程式は 1 つのループの期待値だけでは閉じません。$N\to\infty$ で積の期待値が期待値の積に分解すれば（**因子化**）、ループの期待値だけの閉じた方程式系になります。これが大 $N$ 極限で理論が簡単になると期待される理由です。 $U(1)$ で 1 変数 $\theta$、重み $e^{\beta\cos\theta}\frac{d\theta}{2\pi}$ の場合、 の 1 に当たる式は $\langle f'\rangle=\beta\langle f\sin\theta\rangle$ です（$\int(fe^{\beta\cos\theta})'d\theta=0$）。$f=e^{in\theta}$ とし、$w_n=\langle e^{in\theta}\rangle$ と書くと、$\sin\theta=\frac{1}{2i}(e^{i\theta}-e^{-i\theta})$ から $$ in\,w_n=\frac{\beta}{2i}(w_{n+1}-w_{n-1}),\qquad\text{すなわち}\qquad w_{n-1}-w_{n+1}=\frac{2n}{\beta}\,w_n . $$ これは変形 Bessel 関数の漸化式（第 12 章の ）で、$u_n=I_n(\beta)/I_0(\beta)$ が解です。漸化式と $w_0=1$ だけでは解は決まりません（$w_1$ が自由）。しかし「$n\to\infty$ で $w_n\to0$」を加えると決まります。2 つの解 $u,v$ について $C_n=u_nv_{n+1}-u_{n+1}v_n$ と置くと、漸化式から $C_n=-C_{n-1}$ で $|C_n|$ は一定です。$u_n\to0$ で $v$ が有界なら $C_n\to0$ なので $C_0=0$、$u_0=v_0=1$ から $v_1=u_1$、したがって $v=u$ です。$w_n$ は可積分関数の Fourier 係数なので $0$ に収束し、$w_n=I_n(\beta)/I_0(\beta)$ が得られます。ループ方程式は、それだけでは解を決めず、正値性や減衰のような追加の条件が要ります。これは一般の次元でも同じです。 ### 8.2. 大 N、ランダム曲面、弱結合：確率論からの結果 2010 年代以降、確率論の研究者が格子ゲージ理論を直接調べるようになりました。主な結果を、仮定と結論を分けて述べます。 $d\ge2$ とする。$\mathbb{Z}^d$ の有限部分集合の増大列 $\Lambda_1\subset\Lambda_2\subset\cdots$、$\bigcup_N\Lambda_N=\mathbb{Z}^d$ の上で、$SO(N)$ 格子ゲージ理論を 't Hooft の正規化（作用の前の係数が $N\beta$）で考える。次元だけで決まる $\beta_0(d)\gt0$ があって、$|\beta|\le\beta_0(d)$ ならば、任意のループの列 $(l_1,\dots,l_n)$ について $$ \lim_{N\to\infty}\frac{\langle W_{l_1}W_{l_2}\cdots W_{l_n}\rangle_{\Lambda_N,N,\beta}}{N^n}=\sum_{X\in\mathcal{X}(s)}w_\beta(X) $$ が成り立つ（$W_l=\mathrm{tr}\,U_l$）。右辺は、格子の上の「弦」の軌道（ループの列 $s$ から出発し、変形・分裂・合体を繰り返して消滅する列）$X$ についての絶対収束する和で、$w_\beta(X)$ は明示的な重みである。 は**主張のみ**です。出典は S. Chatterjee, "Rigorous solution of strongly coupled $SO(N)$ lattice gauge theory in the large $N$ limit", *Comm. Math. Phys.*（[arXiv:1502.07719](https://arxiv.org/abs/1502.07719)。主張は同論文の Theorem 3.1 による。2026-10-08 確認）。証明は、 の型の方程式（因子化を仮定しない形）を厳密に導き、それを解いて弦の軌道の和に書きます。因子化は系として得られます。ゲージ理論と弦理論の双対性（'t Hooft 1974 の予想）の、格子・強結合での厳密な例です。**示されていないこと**: $|\beta|\gt\beta_0(d)$、有限の $N$ での対応する表示の収束、連続極限。 コンパクト Lie 群 $U(N)$（および $SU(N)$、$O(N)$、$SO(N)$、$Sp(N/2)$）をゲージ群とする格子 Yang–Mills 模型で、任意の行列の次元 $N\ge1$、任意の逆温度 $\beta\gt0$、任意の格子の次元 $d\ge2$ について、Wilson ループの期待値は、格子に埋め込まれた平面的な地図（曲面）についての和として表される。$U(N)$ の場合、地図は $\mathbb{Z}^d$ などの格子へのグラフ準同型で、重みは Weingarten 関数から決まる。 は**主張のみ**です。出典は S. Cao, M. Park, S. Sheffield, "Random surfaces and lattice Yang–Mills"（[arXiv:2307.06790](https://arxiv.org/abs/2307.06790)。主張は要旨による。2026-10-08 確認）。Weingarten 関数は Haar 測度のモーメントを与える関数で、Rikai では にあります。**示されていないこと**: Weingarten 関数は符号を取るので、この表示は確率測度についての和ではありません。打ち消し合いの制御ができておらず、弱結合での面積則や質量ギャップは導かれていません。原論文は多くの未解決問題を挙げています。 $d\ge2$、$N\ge1$ とし、箱 $B_n=\{0,\dots,n-1\}^d$ の上の $U(N)$ 格子ゲージ理論を重み $\exp\bigl(-\frac{1}{g_0^2}\sum_p\mathrm{Re}\,\mathrm{tr}(1-U_p)\bigr)$ で考え、$F(B_n,g_0)=n^{-d}\log Z(B_n,g_0)$ とする。次元だけで決まる定数 $K_d$（軸ゲージで固定した格子の 2 次形式の行列式の対数から定まる）があって $$ \lim_{\substack{n\to\infty\\g_0\to0}}\Bigl(F(B_n,g_0)-\frac12\Bigl(d-1-\frac dn+\frac{1}{n^d}\Bigr)N^2\log(g_0^2)\Bigr)=(d-1)\log\frac{\prod_{j=1}^{N-1}j!}{(2\pi)^{N/2}}+N^2K_d $$ が成り立つ（$n$ と $g_0$ は独立に動いてよい）。とくに、格子間隔 $\varepsilon$ の格子で $g_0^2=g^2\varepsilon^{4-d}$ とすると、$d=2,3$ では $g\gt0$ を固定した連続極限 $\varepsilon\to0$ での $\log Z$ の主要項が得られる。$d=4$ では $g_0=g$ が $\varepsilon$ によらないので、同じ公式が得られるのは $g\to0$ を同時に取る弱結合極限に限られる。 は**主張のみ**です。出典は S. Chatterjee, "The leading term of the Yang–Mills free energy", *J. Funct. Anal.*（2016 年、[arXiv:1602.01222](https://arxiv.org/abs/1602.01222)。主張は同論文の Theorem 2.1〜2.3 による。2026-10-08 確認）。位相セルのくりこみ群を使わない方法で、弱結合では小さいスケールで理論が Gauss 的にふるまうことと、大きいスケールの寄与が主要項より小さいことを示します。**示されていないこと**: 主要項の次の項（そこに理論の非自明な情報が入る）、観測量の極限。4 次元で $g$ を固定した場合の公式も得られていません。 $G$ を有限群（非可換でもよい）、$\chi$ を $G$ のユニタリ表現の指標とし、$\mathbb{Z}^4$ の中の有限の箱 $\Lambda$ の上の格子ゲージ理論を作用 $S(\sigma)=\sum_p\mathrm{Re}(\chi(1)-\chi(\sigma_p))$、測度 $\propto e^{-\beta S}$ で考える。$\Delta_G=\min_{g\ne1}\mathrm{Re}(\chi(1)-\chi(g))\gt0$ とし、$\beta\ge\frac{1}{\Delta_G}(114+4\log|G|)$ とする。$B_1,B_2\subset\Lambda$ を $\ell^\infty$ 距離が $L$ 以上離れた直方体、$f_1,f_2$ を、それぞれ $B_1,B_2$ の中の有限個の閉路のホロノミーの、共役で不変な関数とすると $$ |\mathrm{Cov}(f_1,f_2)|\le4\,\bigl(4\cdot10^{24}|G|^2\bigr)^{|B_1|+|B_2|}\,\|f_1\|_\infty\|f_2\|_\infty\,e^{-(\beta/2)\Delta_G(L-1)} $$ が成り立つ（$|B_i|$ は $B_i$ のプラケットの数）。とくに Wilson ループの任意の関数の相関が指数的に減衰する。 は**主張のみ**です。出典は A. Adhikari, S. Cao, "Correlation decay for finite lattice gauge theories at weak coupling"（*Ann. Probab.* 掲載予定と記載、[arXiv:2202.10375](https://arxiv.org/abs/2202.10375)。主張は同論文の Theorem 1.1 による。2026-10-08 確認）。弱結合（$\beta$ が大きい）での質量ギャップ型の結果である点が重要です。有限群では $\Delta_G\gt0$、つまり $U_p=1$ からずれた配位に作用の隙間があるので、励起（渦）が希薄な気体になります。**示されていないこと**: 連続群の場合。$SU(N)$ では $U_p$ が $1$ に連続的に近づけるので $\Delta_G=0$ となり、この論法は使えません。連続群の弱結合では小さな揺らぎ（グルーオン）が無数にあり、それが質量ギャップをもつことを示すのが本来の問題です。有限群の理論には連続極限もありません。関連する結果に、$\mathbb{Z}_2$ をはじめとする有限ゲージ群の Wilson ループの弱結合での主要項（Chatterjee 2020、Cao 2020）があります。 $d\ge2$ とし、$\mathbb{Z}^d$ 上の $SU(2)$ 格子 Yang–Mills 理論を、基本表現の Higgs 場（退化したポテンシャル、Higgs 場の長さ $\alpha$）と結合させた模型を考える。ユニタリゲージで固定したゲージ場 $V_e\in SU(2)\cong S^3$ を立体射影して $\frac{\sqrt2}{g}$ 倍した $\mathbb{R}^3$ 値の場を $A_e$ とし、$\varepsilon\mathbb{Z}^d$ に $\varepsilon^{-(d-2)/2}$ 倍でスケールし直す。$\varepsilon\to0$ とともに $\alpha\to\infty$、$g\to0$ を、$\alpha g=c\,\varepsilon$（$c$ は定数）かつ $g=O(\varepsilon^{50d})$ を保って取ると、この場は法則収束し、極限は質量をもつ Gauss 場（パラメータ $c^2/2$ の Euclid 的 Proca 場）の独立な 3 つの組である。 は**主張のみ**です。出典は S. Chatterjee, "A scaling limit of $SU(2)$ lattice Yang–Mills–Higgs theory", *Prob. Math. Phys.* 7 (2026), 339–381（[arXiv:2401.10507](https://arxiv.org/abs/2401.10507)。主張は同論文の Theorem 3.2 による。2026-10-08 確認）。2 次元より高い次元の非可換な格子ゲージ理論のスケーリング極限の構成で、Higgs 機構による質量の生成を極限で示した結果です。**示されていないこと**: 極限は Gauss 的（自由場）で、$g\to0$ を非常に速く取る極限なので、非可換な相互作用は極限に残りません。極限を取る前の格子の相関の指数的減衰も主張されていません（原論文に明記）。非 Gauss 的なスケーリング極限の構成は未解決です。 閉じ込めについては、仮定つきの結果もあります。S. Chatterjee, "A probabilistic mechanism for quark confinement"（*Comm. Math. Phys.* 2021、arXiv:2006.16229）は、格子ゲージ理論の中心対称性を数学的に定義し、ゲージ群の中心が非自明で、任意の境界条件のもとで相関が指数的に減衰するならば、中心対称性は破れず、Wilson ループは面積則に従うことを示しました。これは「質量ギャップ（の強い形）⇒ 閉じ込め」という型の定理で、仮定の指数的減衰を弱結合で示すことが残された問題です。3 次元については、ゲージ群がスカラー行列 $zI$（$|z|=1$）をすべて含むとき、Wilson 作用の理論ですべての $\beta$ で対数的なポテンシャルによる閉じ込めが成り立つことが知られています（結果そのものは Fröhlich 1979 の比較不等式と Glimm–Jaffe 1977 の $U(1)$ 理論の結果を組み合わせて得られるもので、S. Chatterjee, arXiv:2602.00436、2026 年が自己完結した短い証明を与えています）。$SU(N)$ はこの仮定を満たしません。 ## 9. 達成表と残された問題 ### 9.1. 4 段階 × 次元 × ゲージ群 第 12 章 §7 の 4 段階について、この章の定理を当てはめます。「—」は該当する主張が無いこと、**未解決**は証明が知られていないことを表します。 | 段階 | $d=2$ | $d=3$ | $d=4$ | |---|---|---|---| | (1a) 紫外安定性（分配関数の一様評価） | 厳密解から従う | 非可換：証明済み（、有限体積） | 非可換：証明済み（、有限体積） | | (1b) 観測量の連続極限：$U(1)$ | 証明済み（Higgs 場つき：） | 証明済み（、） | 証明済み（Driver 1987、自由場） | | (1b) 観測量の連続極限：非可換 | 証明済み（、） | **未解決**（力学の局所解まで：） | **未解決**（赤外切断つきの Schwinger 関数：） | | (2) OS 公理 | $U(1)$ Higgs：証明済み。非可換 Higgs：**未解決** | 非可換：**未解決** | **未解決** | | (3) 非自明性（非 Gauss 的な極限） | 純ゲージ理論に局所自由度なし | **未解決** | **未解決**（Higgs 場つきの Gauss 的な極限：） | | (4a) 格子・強結合での減衰と面積則 | 証明済み | 証明済み（、） | 証明済み（同左） | | (4b) 格子・すべての $\beta$ での面積則 | 証明済み（厳密解） | $U(1)$：証明済み（）。$SU(N)$：**未解決** | $U(1)$：成り立たない。$SU(N)$：**未解決** | | (4c) 格子・弱結合での相関の減衰 | 証明済み（厳密解） | $SU(N)$：**未解決** | 有限群：証明済み（）。$SU(N)$：**未解決** | | (4d) 連続極限での質量ギャップ | — | **未解決** | **未解決**（ミレニアム問題） | ### 9.2. 未解決の問題 S. Chatterjee, "Yang–Mills for probabilists"（arXiv:1803.01950）は、格子ゲージ理論の言葉で次の問題を挙げています。どれも 2026 年 10 月の時点で未解決です。$G\subset U(N)$（$N\ge2$）を非可換なコンパクト Lie 群とし、4 次元の格子ゲージ理論の任意の無限体積極限を考えます。 1. **面積則。** すべての $\beta$ で、$R\times T$ の長方形ループについて $|\langle W\rangle|\le C(\beta)e^{-c(\beta)RT}$（$C(\beta),c(\beta)\gt0$）を示せ。非可換な理論でこれが知られているのは、2 次元と、$\beta$ が小さい場合だけです。 2. **質量ギャップ。** 2 つのプラケットの Wilson ループの相関 $f_\beta(x)$ について、すべての $\beta\gt0$ で $\lim_{|x|\to\infty}\frac{\log f_\beta(x)}{|x|}=-\frac{1}{\xi(\beta)}$ となる $\xi(\beta)\in(0,\infty)$ が存在し、$\lim_{\beta\to\infty}\xi(\beta)=\infty$ であることを示せ。 3. **連続極限。** $\beta\to\infty$ とともに $\varepsilon(\beta)\to0$、$c(\beta)\to\infty$ と定数 $\mathfrak{d}\ne0$ を取って、すべての $R,T$ で $\log\langle W_{\gamma_{R/\varepsilon,T/\varepsilon}}\rangle=-c(R+T)-\mathfrak{d}RT+o(1)$ となることを示せ（周長に比例する発散を引き去った後に面積則が残る）。 同じ総説は、3 次元の非可換な理論の非自明な連続極限の構成も未解決の問題として挙げています。2 は第 12 章の の「$m(\beta)\gt0$ かつ $m(\beta)\to0$」に当たります。ミレニアム問題の解決には、さらに $\xi(\beta)$ の発散の速さの制御と、極限の公理の検証が要ります。 何が足りないのかを、論理の形でまとめます。 - **紫外から赤外へつなぐ評価が無い。** Bałaban の評価は、有限体積で、スケール $a$ から固定した長さ $\ell$ までを制御します。$\ell$ を $\Lambda^{-1}$ より大きくすると有効結合が大きくなり（第 12 章 §6.3 の (a)）、小さい場の展開が使えなくなります。強結合の方法（§5）は、有効結合が大きい側から出発しますが、有効作用が Wilson 作用の単純な形をしていることを使います。くりこみ群で得られる有効作用が、強結合の方法の使える形に入ることを示せれば、2 つがつながります。これは証明されていません。 - **$\beta$ について一様な機構が無い。** 2 次元では厳密解が、3 次元の $U(1)$ では双対変換が、すべての $\beta$ を一度に扱います。4 次元の $SU(N)$ には、そのような構造が見つかっていません。Schwinger–Dyson 方程式（§8.1）はすべての $\beta$ で成り立ちますが、解を一意に決めるには別の情報が要ります。 - **力学からの構成は 3 次元で止まっている。** 確率量子化（§7）は、$d=3$ の大域解と不変測度が示せれば 3 次元トーラスの上の測度を与えますが、4 次元は方法の適用範囲の外です。 ### 9.3. 物理の側の証拠 定理ではありませんが、質量ギャップと閉じ込めが実際に成り立つことを示す証拠があります。これらは数学的な証明ではなく、数値計算と実験です。 - **格子の数値計算。** $SU(3)$ の純ゲージ理論を 4 次元の格子の上で Monte Carlo 法によって計算すると、グルーボール（：空間プラケットの和の連結相関関数の時間方向の減衰率として定まる質量）の最も軽いものの質量は、ハドロンの尺度で単位を決めて約 $1.7\ \mathrm{GeV}$ と得られています（C. J. Morningstar, M. Peardon 1999）。$\beta$ を大きくしていくと、格子単位の質量は 2 ループの漸近スケーリング（）に沿って小さくなり、強結合の領域（）と滑らかにつながる様子が見えます。これは第 12 章の の 2 の条件が成り立つことを数値的に支持します。 - **実験。** 強い力の到達距離が短いこと、単独のクォークが観測されないこと、高エネルギーの散乱で結合定数が対数的に小さくなること（漸近的自由）は、QCD の予言と一致します。 数値計算は、有限の体積・有限の格子間隔・有限の統計での結果を外挿したものです。$\beta\to\infty$ と体積無限大の極限について、誤差を制御した主張ではありません。問題は、この描像を定理にすることです。 ## 10. 演習 「紫外安定性」「観測量の連続極限の存在」「質量ギャップ」が論理的に別の主張であることを、次の 2 つの例で確かめよ。(1) 数列 $Z(a)$（$a=2^{-n}$）で、$1\le Z(a)\le2$ を満たす（紫外安定）が、$a\to0$ で収束しないものを挙げよ。(2) 第 12 章の自由な Maxwell 場は、連続の理論として存在するが質量ギャップをもたない。 の言葉で、この例がどの主張を満たし、どの主張を満たさないかを述べよ。 (1) $Z(2^{-n})=\frac32+\frac12(-1)^n$。上下の評価は一様に成り立ちますが、極限はありません。有界性からわかるのは収束する部分列の存在だけで、部分列ごとに極限が違うかもしれません。紫外安定性は、分配関数という 1 つの数についての評価で、観測量の期待値（測度そのもの）の収束はさらに強い主張です。Jaffe と Witten が、コンパクト性による弱い意味の存在を解決と認めないと注記しているのは、この区別のためです。 (2) Maxwell 場は連続の理論として構成されており（第 12 章の の 1〜4）、格子の $U(1)$ 理論からの連続極限も存在します（Driver 1987）。したがって 1 と 2 に当たる主張は満たします。しかし同じ定理の 6 により $\sigma(H)=[0,\infty)$ で、質量ギャップはありません。相関はべきで減衰し、Wilson ループは周長則に従います。よって「連続極限の存在 ⇒ 質量ギャップ」は成り立ちません。逆に、強結合の格子理論（）では相関が指数的に減衰しますが、$\beta$ を固定したままでは連続極限ではありません。3 つの主張はどの 2 つも互いを導きません。 $SU(2)$ で 1 つのプラケットだけの格子を考え、$\ell=p$ とする。 の 2 が $\frac32\langle\cos\varphi\rangle=\frac\beta2\langle\sin^2\varphi\rangle$（$e^{\pm i\varphi}$ は $U_p$ の固有値）となることを示し、これを $U_p$ の分布から直接確かめよ。 $N=2$、$e$ を含むプラケットは $p$ だけです。$U_\ell=U_p$ なので $\mathrm{tr}(U_\ell U_p^{-1})=\mathrm{tr}\,1=2$、$\mathrm{tr}(U_\ell U_p)=\mathrm{tr}\,U_p^2=2\cos2\varphi$、$SU(2)$ では $\mathrm{tr}\,U_p^{-1}=\mathrm{tr}\,U_p$ なので最後の項は $0$ です。定理の式は $\frac34\cdot2\langle\cos\varphi\rangle=\frac\beta8\langle2-2\cos2\varphi\rangle=\frac\beta8\langle4\sin^2\varphi\rangle$、すなわち $\frac32\langle\cos\varphi\rangle=\frac\beta2\langle\sin^2\varphi\rangle$。 直接の確認。$U_p$ の分布は、第 12 章の の証明から密度 $\propto e^{\frac\beta2\mathrm{tr}U}$ で、固有値の角度では $\propto e^{\beta\cos\varphi}\sin^2\varphi\,d\varphi$（$0\le\varphi\le\pi$）です。部分積分で $$ \int_0^\pi\cos\varphi\,\sin^2\varphi\,e^{\beta\cos\varphi}d\varphi=\Bigl[\frac{\sin^3\varphi}{3}e^{\beta\cos\varphi}\Bigr]_0^\pi+\frac\beta3\int_0^\pi\sin^4\varphi\,e^{\beta\cos\varphi}d\varphi=\frac\beta3\int_0^\pi\sin^2\varphi\cdot\sin^2\varphi\,e^{\beta\cos\varphi}d\varphi , $$ すなわち $\langle\cos\varphi\rangle=\frac\beta3\langle\sin^2\varphi\rangle$ で、$\frac32$ を掛ければ一致します。 で $\beta=0$ とすると、$\mu$ は積 Haar 測度で $\kappa=\frac N4$ である。(1) $N=2$ で、1 つの辺の変数だけの関数 $f(U)=\mathrm{tr}\,U$ について Poincaré 不等式の両辺を計算し、等号が成り立たないことを確かめよ。(2) $-\Delta_G$ の $0$ でない最小の固有値と $\kappa$ を比べよ。 (1) $SU(2)$ の Haar 測度で $\int\mathrm{tr}\,U\,dU=0$（）、$\int(\mathrm{tr}\,U)^2dU=1$（基本表現の指標は実で、 の $\int|\mathrm{tr}U|^2=1$）なので $\mathrm{Var}(f)=1$。$X_af=\mathrm{tr}(UX_a)$ で、$\sum_a\mathrm{tr}(UX_a)^2=-\frac12\bigl(\mathrm{tr}(U^2)-\frac12(\mathrm{tr}U)^2\bigr)$（ の証明の公式で $P=Q=U$）。固有値 $e^{\pm i\varphi}$ で書くと $-\frac12(2\cos2\varphi-2\cos^2\varphi)=\sin^2\varphi$。$\int\sin^2\varphi\,dU=\frac2\pi\int_0^\pi\sin^4\varphi\,d\varphi=\frac2\pi\cdot\frac{3\pi}{8}=\frac34$。よって右辺は $\frac1\kappa\cdot\frac34=2\cdot\frac34=\frac32\gt1$。 (2) $f=\mathrm{tr}\,U$ は基本表現の行列要素の和なので $-\Delta_Gf=C_2(F)f=\frac34f$ で（）、実際 $\int|\nabla f|^2=\langle f,-\Delta_Gf\rangle=\frac34$ と合います。$SU(2)$ の $0$ でない最小の Casimir の値は $\frac34$ で、これが最良の Poincaré 定数の逆数です。$\kappa=\frac12\lt\frac34$ なので、曲率による評価（Lichnerowicz 型の評価）は最良ではありませんが、同じ大きさの程度を与えます。 の 3 を使って、2 次元の自由境界の長方形格子で、$R\times T$ の長方形ループ $\mathcal{C}$（電荷 $n=1$）の期待値が $\langle W_1(\mathcal{C})\rangle=e^{-RT/(2\beta)}$ となることを示し、 の 1 と比べよ。 2 次元の自由境界の格子では、$\delta m=0$ は「各辺で、その辺を含むプラケット（1 枚か 2 枚）の $m$ の符号つきの和が $0$」です。格子の外周の辺は 1 枚のプラケットにしか含まれないので、そのプラケットで $m=0$。内部の辺では隣り合う 2 枚のプラケットの $m$ が等しい（向きを揃えると符号が逆に現れる）ので、外周から順に $m\equiv0$ が従います。よって分母は $1$ です。分子の条件 $\delta m=-j_{\mathcal{C}}$ は、$\mathcal{C}$ の辺をまたぐときに $m$ が $1$ だけ変わり、それ以外では変わらないことを意味するので、解は「$\mathcal{C}$ の内側の $RT$ 枚で $m=\pm1$（符号は向きの規約で決まる 1 通り）、外側で $0$」だけです。重みは $\exp(-\frac{1}{2\beta}RT)$。 熱核作用との比較。$U(1)$ で $\langle X,Y\rangle$ を $\theta$ 方向の単位長さに取ると、電荷 $n$ の表現の Casimir は $n^2$、熱核は $K_t(\theta)=\sum_ne^{-tn^2}e^{in\theta}$ で、 の 1 から $v_\beta=(2\pi\beta)^{-1/2}K_{1/(2\beta)}$ です。 の 1 の $t=\frac{g^2a^2}{2}$ は $\beta=\frac{1}{g^2a^2}$ に当たり、$e^{-RT/(2\beta)}=\exp(-\frac{g^2}{2}\cdot a^2RT)$ は同じ面積則 $\exp(-\frac{g^2}{2}C_2\cdot\text{面積})$（$C_2=1$）です。 ## 参考文献 - A. Jaffe, E. Witten, "Quantum Yang–Mills theory", in *The Millennium Prize Problems*, Clay Mathematics Institute / American Mathematical Society, 2006 — §6 "Mathematical Perspective" に、構成的場の理論の到達点と Bałaban の仕事の位置づけがある。 - S. Chatterjee, "Yang–Mills for probabilists", [arXiv:1803.01950](https://arxiv.org/abs/1803.01950) — 未解決の問題の定式化（§9.2）と文献の概観。 - E. Seiler, *Gauge Theories as a Problem of Constructive Quantum Field Theory and Statistical Mechanics*, Lecture Notes in Physics 159, Springer, 1982。 - K. Osterwalder, E. Seiler, "Gauge field theories on a lattice", *Ann. Physics* 110 (1978), 440–471。 - T. Bałaban, "Ultraviolet stability of three-dimensional lattice pure gauge field theories", *Comm. Math. Phys.* 102 (1985), 255–275（連作の 1 編）。 - J. Magnen, V. Rivasseau, R. Sénéor, "Construction of YM₄ with an infrared cutoff", *Comm. Math. Phys.* 155 (1993), 325–383。 - M. Göpfert, G. Mack, "Proof of confinement of static quarks in 3-dimensional U(1) lattice gauge theory for all values of the coupling constant", *Comm. Math. Phys.* 82 (1982), 545–606。 - A. Chandra, I. Chevyrev, M. Hairer, H. Shen, "Langevin dynamic for the 2D Yang–Mills measure", *Publ. Math. IHÉS* 136 (2022), 1–147；"Stochastic quantisation of Yang–Mills–Higgs in 3D", *Invent. Math.* 237 (2024), 541–696。 - I. Chevyrev, H. Shen, "Invariant measure and universality of the 2D Yang–Mills Langevin dynamic", [arXiv:2302.12160](https://arxiv.org/abs/2302.12160)。 - H. Shen, R. Zhu, X. Zhu, "A stochastic analysis approach to lattice Yang–Mills at strong coupling", [arXiv:2204.12737](https://arxiv.org/abs/2204.12737)。 - S. Chatterjee, "Rigorous solution of strongly coupled $SO(N)$ lattice gauge theory in the large $N$ limit", [arXiv:1502.07719](https://arxiv.org/abs/1502.07719)；"The leading term of the Yang–Mills free energy", [arXiv:1602.01222](https://arxiv.org/abs/1602.01222)；"A scaling limit of $SU(2)$ lattice Yang–Mills–Higgs theory", *Prob. Math. Phys.* 7 (2026), 339–381。 - A. Adhikari, S. Cao, "Correlation decay for finite lattice gauge theories at weak coupling", [arXiv:2202.10375](https://arxiv.org/abs/2202.10375)；S. Cao, M. Park, S. Sheffield, "Random surfaces and lattice Yang–Mills", [arXiv:2307.06790](https://arxiv.org/abs/2307.06790)。 - C. J. Morningstar, M. Peardon, "Glueball spectrum from an anisotropic lattice study", *Phys. Rev. D* 60 (1999), 034509 — 格子計算によるグルーボールの質量。