Osterwalder–Seiler『Gauge field theories on a lattice』(1978) 第 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 部）はフェルミオンを含む格子理論の物理的正値性（反射正値性）と転送行列を扱い、後半の §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)$ 理論は強結合で面積則に従いますが、弱結合では閉じ込めない相に移ります（強結合と閉じ込め の 定理 7.1［強結合展開と閉じ込め］）。したがって §5 の面積則は、それだけでは連続理論の閉じ込めの証拠になりません。QED₄ のように連続極限が自明になると予想される理論でも、格子の強結合では同じ面積則が成り立ちます。他方で、展開が収束する領域は、格子理論が完全に制御できる「出発点」です。弱結合の側から多段のくりこみ群で連続極限に迫る Bałaban の計画も、最後の段では強結合型の展開に帰着させます。§4 の Higgs 機構の結果は、ゲージ場と結合した物質場の対称性の破れが Goldstone 粒子を生まず、質量ギャップを生むことを、格子の上で初めて厳密に示したものです。その後の Fradkin–Shenker の相補性（注意 6.6［クラスター展開と Kotecký–Preiss の判定条件］）はこの方向の発展です。

本章の主張と原論文の対応は次のとおりです。原論文の定理番号・式番号はそのまま使います。

原論文	本章
§3 冒頭（$U(1)$ と Ginibre の不等式）	命題 4.13
(3.1) と $\rho_P$ の展開	補題 2.1
(3.2)、(3.3)（クラスター展開の式）	命題 3.6
Lemma 3.2 と直後の Remark	補題 3.9
Lemma 3.3	補題 3.5
Lemma 3.4	補題 3.7、補題 3.8
Theorem 3.1	定理 3.10
Theorem 3.6 と直後の Remark	定理 4.3
Theorem 3.7	補題 4.4、定理 4.5
Theorem 3.5	定理 4.6、系 4.12
Theorem 3.5 の後の Remark (3.9)	命題 4.9
(4.1)–(4.4)	定義 5.1
(4.5)–(4.8)	命題 5.2
Theorem 4.1 の物理的正値性	補題 5.3
(4.9)–(4.16)	補題 5.4
Lemma 4.2	補題 5.5、補題 5.9
Lemma 4.3	補題 5.8
Lemma 4.4 と (4.25)	補題 5.7
付録 (A1)–(A8)	補題 5.6
Theorem 4.1	定理 5.10
Lemma 5.2	補題 6.1
(5.1) と Theorem 5.1	定理 6.2、系 6.3
(6.2)–(6.6)	命題 7.1
(6.7)–(6.10)	命題 7.2
(6.1)、(6.11)–(6.17) と DLR 状態の注意	注意 7.3

注意 1.1（本章の範囲と、設計時の想定との違い）

原論文 §3 の展開は純 Yang–Mills 理論についてのものです。フェルミオンを含む理論の強結合展開（ホッピング展開）は原論文に無く、Brydges–Fröhlich–Seiler の続く論文で扱われます。そのため本章にはフェルミオン込みの強結合の定理を置きません。その代わり、原論文にある §4（Higgs 機構）と §6（厳密に解ける単純化した模型）を扱います。また、原論文の結果はすべて「$g_0$ が十分大きい」（§4 では「ポテンシャルの谷が十分深い」）という条件つきで、$g_0$ が小さい側（連続極限の側）については何も述べていません。第 1 部で扱う §2 の物理的正値性は、本章では無限体積の状態の性質（定理 4.3）と Higgs 模型への拡張（補題 5.3）の形で使います。

ここから先は有料（買い切り ¥200）の内容です。

この章は博士課程以上・研究水準の内容です。続き（定義・定理・証明・例・演習）は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。

購入する ログイン