ランダムカレント表示と自明性：switching lemma から φ⁴ の Gauss 性へ

物理学構成的場の理論と Euclid 手法第6章博士・研究有料「本」の章約 44 分2026-10-03

対象読者: 本テーマ第 4・5 章（相関不等式、クラスター展開）の内容と、Ising 模型の統計力学を学んだ博士課程の人。switching lemma は仮定しません。

前提となる記事:クラスター展開と Kotecký–Preiss の判定条件：ポリマー系の対数を木で抑える

0. この記事の要点

磁石を小さな矢印（スピン）の集まりと見て、離れた 2 か所の矢印の向きがどれだけ揃いやすいか（相関）を調べる話です。この章では、その相関を「格子の辺に糸を何本か通す配置」の数え上げに書き換えます。糸のつながり方として読み直すと、相関の間の不等式が見えてきて、次元が高いと相互作用が消える理由（自明性）も、「2 本の糸がめったに交わらない」という絵で説明できます。

Ising 模型の $e^{J\sigma_x\sigma_y}$ を Taylor 展開してスピンについて和をとると、相関関数 $\langle\sigma_A\rangle$ は、各辺に非負整数を載せた配置（カレント）のうち「奇数次の頂点の集合（ソース）が $A$ 」のものの重み付き和の比になります（命題 3.2）。
2 つのカレントの和を固定すると、ソースを一方から他方へ移す全単射が作れます。これが switching lemma（補題 4.1）で、相関関数の積を「2 つのカレントの和のクラスターの連結性の確率」に書き換えます。
帰結として、 $\langle\sigma_x\sigma_y\rangle^2$ が連結確率に等しいこと、GKS 不等式、そして 4 点 Ursell 関数の表示 $u_4=-2\langle\sigma_x\sigma_y\rangle\langle\sigma_z\sigma_t\rangle\,\mathbf P^{xy,zt}[x\leftrightarrow z]$ と Lebowitz の不等式 $u_4\le0$ が得られます（定理 5.1）。
クラスターを条件付ける議論と Gauss 関数の単純な連結性を組み合わせると、Aizenman の樹木図不等式 $|u_4|\le2\sum_u\langle\sigma_x\sigma_u\rangle\langle\sigma_y\sigma_u\rangle\langle\sigma_z\sigma_u\rangle\langle\sigma_t\sigma_u\rangle$ が証明できます（定理 5.6）。
樹木図不等式から $g_R\le2\chi_2^2/\xi^d$ が出て、赤外評価 $\chi_2\lesssim\xi^2$ と合わせると $d\ge5$ で $g_R\to0$ （Aizenman–Fröhlich の自明性）です。 $d=4$ では樹木図に $(\text{bubble})^{-c}$ の改良因子が付くことが Aizenman–Duminil-Copin（2021）の鍵で、2 つのカレントのクラスターが「交差するなら多くのスケールで交差する」ことの多スケール評価から来ます。
自明性は、カットオフを固定した有効理論としての $\phi^4_4$ のくりこまれた結合に上限を与え、Higgs 質量の上限という物理的帰結を持ちます。

強磁性 Ising 模型: 各格子点にスピン $\pm1$ があり、隣り合うスピンが揃うほど重みが大きい模型。→ 強磁性 Ising 模型
結合キュムラント（連結相関）: 相関関数から、より低次の相関の積で説明できる部分を引いた残り。→ 結合キュムラント
クラスター展開: 小さなパラメータのもとで、対数を木に関する和で抑える方法。→ クラスター展開
反射正値性: 鏡映について内積が非負になる性質で、赤外評価の源。→ 反射正値性
握手補題: グラフの次数の総和は辺の数の 2 倍なので、次数が奇数の頂点は偶数個。
対称差: 集合 $A\triangle B$ は、 $A$ と $B$ のどちらか一方だけに属する要素の集まり。

1. 動機

4 次元の $\phi^4$ 理論は摂動論では「くりこみ可能」ですが、β 関数が正で紫外で結合が増大します。連続極限では低エネルギーの結合が $0$ に押しつぶされる、すなわち極限が自由場になる、というのが自明性の予想でした（格子場の理論の巻の命題 3.2［φ⁴ 理論の自明性・有限体積効果・O(N) 模型］）。これを摂動論に頼らずに証明するには、裸の結合がいくら大きくても（Ising 極限でも）成り立つ評価が必要です。

前章のクラスター展開は小さなパラメータを必要とし、臨界点の近くでは使えません。臨界点で有効なのは、模型の組合せ構造そのものを使う方法です。Griffiths–Hurst–Sherman（1970）が導入し、Aizenman（1982）が幾何的な道具に育てたランダムカレント表示は、Ising 模型の相関を「カレントの束（糸）のつながり方」として表し、4 点関数の非 Gauss 性を「2 本の糸が交差する確率」に翻訳します。高次元では独立な 2 本のランダムな糸はめったに交差しないので、相互作用は消えます。これが自明性の幾何的な理由です。

本章では、switching lemma を完全に証明し、そこから Ursell 関数の表示と樹木図不等式までを導きます。その後、 $d\ge5$ と $d=4$ の自明性の結果を、格子場の理論の巻の定理 3.4［φ⁴ 理論の自明性・有限体積効果・O(N) 模型］と定理 3.7［φ⁴ 理論の自明性・有限体積効果・O(N) 模型］の主張に結び付けて説明します。