# Osterwalder–Seiler『Gauge field theories on a lattice』(1978) 第 2 部：強結合のクラスター展開、無限体積極限、面積則
> Osterwalder–Seiler (1978) の §3–§6 を原文と照合して精読し、強結合展開の収束、無限体積極限・解析性・指数的クラスター性、格子 Higgs 機構、Wilson ループの面積則を、論文が省いた段まで含めて証明する。
> https://rikai.mugen-giken.com/physics/constructive-papers/osterwalder-seiler-1978-part-2
## 0. この記事の要点
- 格子の上のゲージ理論で結合がとても強いとき（統計力学でいえば温度がとても高いとき）、離れた場所のゆらぎはほとんど独立になります。K. Osterwalder と E. Seiler の 1978 年の論文の後半は、この直観を、体積によらない評価をもつ厳密な定理にしました。本章はその §3–§6 を原文と照合しながら読みます。
- **強結合展開の収束**（原論文 Theorem 3.1、Lemma 3.2–3.4）：プラケットの重みを $1+\rho_P$ と書き、$\rho_P$ の積をリンクを共有しない塊（ポリマー）に分けると、期待値は体積によらず絶対収束する和になります。証明の要は、分配関数の比を $2^{\pm|Q|}$ で挟む帰納法です。
- **無限体積極限・解析性・質量ギャップ**（Theorem 3.5–3.7）：結合定数 $g_0$ が十分大きければ、局所観測量の期待値は境界条件によらない無限体積極限をもち、$1/g_0^2$ について解析的で、相関は指数的に減衰します。原論文が「標準的」として文献 [13] に委ねた部分を、Rikai の Kotecký–Preiss の定理から証明します。
- **Higgs 機構**（§4、Theorem 4.1）：物質場の対称性が完全に破れる場合、ユニタリゲージで変数を取り直すと、**任意の** $g_0$ と結合 $\lambda$ について、ポテンシャルの谷が深く鋭ければ同じ展開が収束し、質量ギャップが出ます。
- **Wilson の閉じ込めの評価**（§5、Theorem 5.1）：$SU(n)$ の $n$-ality（$U(1)$ では電荷）が $0$ でない表現の Wilson ループは、展開の収束域で面積則 $\lvert\langle\chi_\sigma(C)\rangle\rvert\le c^{\lvert C\rvert}e^{-\sigma_0\,\mathrm{area}\,C}$ に従います。証明は、中心の元によるリンク変数のねじりと、平面への射影の議論です。
- 原論文から直した点：(i) 質量ギャップの評価 $m\ge4(\ln g_0^2-\ln\beta)$ は、プラケットの重みを平均 $0$ に取り直して初めて成り立つ論法なので、その形で $(1-\eta)$ の損失つきで証明します。(ii) Higgs 模型では「つながる」をリンクの共有でなくサイトの共有で定めます。(iii) Lemma 4.2 の Hölder の論法は、色分けによる形で証明します。
## 1. 動機
格子ゲージ理論の測度は、プラケットごとの重み $e^{A_P/2g_0^2}$ の積です。$g_0$ が大きいと各重みは定数 $1$ に近く、測度は「リンク変数がばらばらに一様分布する」積測度に近づきます。積測度では離れた場所が独立なので、相関は消えます。問題は、この近似の誤差を体積によらずに制御することです。プラケットの数は体積に比例して増えるので、重みのずれを素朴に足し合わせると、体積とともに誤差が膨らんでしまいます。
Osterwalder と Seiler の論文（Ann. Phys. 110 (1978) 440–471）は、格子ゲージ理論を数学的に厳密に扱った最初の論文の一つです。前半の §2（本テーマの [第 1 部](/physics/constructive-papers/osterwalder-seiler-1978-part-1)）はフェルミオンを含む格子理論の物理的正値性（反射正値性）と転送行列を扱い、後半の §3–§6 が本章の対象です。§3 の方法は、Glimm–Jaffe–Spencer が $P(\varphi)_2$ 模型の構成で導入したクラスター展開を、ゲージ理論に持ち込んだものです。著者らは、ゲージ理論では $\lvert A_P\rvert\le D$（$D$ は表現の次元）とプラケット変数が有界になるため、展開が大幅に簡単になると強調しています。
物理への含意は二面あります。一方で、強結合の結果は**連続極限について何も言いません**。連続極限は $g_0\to0$（Rikai の記法では $\beta\to\infty$）にあり、展開の収束域の外です。実際 4 次元のコンパクト $U(1)$ 理論は強結合で面積則に従いますが、弱結合では閉じ込めない相に移ります（[強結合と閉じ込め](/physics/lattice-field-theory/strong-coupling-confinement) の