# ランダムカレント表示と自明性：switching lemma から φ⁴ の Gauss 性へ > Ising 模型の相関関数をソース付きのカレント配置の和として表し、switching lemma を証明して Ursell 4 点関数の表示と Aizenman の樹木図不等式を導く。d ≥ 5 の自明性と d = 4 の Aizenman–Duminil-Copin の周辺的自明性の要点、Higgs 質量の上限との関係を述べる。 > https://rikai.mugen-giken.com/physics/constructive-qft/random-current ## 0. この記事の要点 磁石を小さな矢印（スピン）の集まりと見て、離れた 2 か所の矢印の向きがどれだけ揃いやすいか（相関）を調べる話です。この章では、その相関を「格子の辺に糸を何本か通す配置」の数え上げに書き換えます。糸のつながり方として読み直すと、相関の間の不等式が見えてきて、次元が高いと相互作用が消える理由（自明性）も、「2 本の糸がめったに交わらない」という絵で説明できます。 - [Ising 模型](/physics/constructive-qft/correlation-inequalities#def-ferromagnetic-ising)の $e^{J\sigma_x\sigma_y}$ を Taylor 展開してスピンについて和をとると、相関関数 $\langle\sigma_A\rangle$ は、各辺に非負整数を載せた配置（カレント）のうち「奇数次の頂点の集合（ソース）が $A$」のものの重み付き和の比になります（）。 - 2 つのカレントの和を固定すると、ソースを一方から他方へ移す全単射が作れます。これが switching lemma（）で、相関関数の積を「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$ が得られます（）。 - クラスターを条件付ける議論と 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$ が証明できます（）。 - 樹木図不等式から $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 質量の上限という物理的帰結を持ちます。 ## 1. 動機 4 次元の $\phi^4$ 理論は摂動論では「くりこみ可能」ですが、β 関数が正で紫外で結合が増大します。連続極限では低エネルギーの結合が $0$ に押しつぶされる、すなわち極限が自由場になる、というのが自明性の予想でした（格子場の理論の巻の ）。これを摂動論に頼らずに証明するには、裸の結合がいくら大きくても（Ising 極限でも）成り立つ評価が必要です。 [前章](/physics/constructive-qft/cluster-expansion) のクラスター展開は小さなパラメータを必要とし、臨界点の近くでは使えません。臨界点で有効なのは、模型の組合せ構造そのものを使う方法です。Griffiths–Hurst–Sherman（1970）が導入し、Aizenman（1982）が幾何的な道具に育てたランダムカレント表示は、Ising 模型の相関を「カレントの束（糸）のつながり方」として表し、4 点関数の非 Gauss 性を「2 本の糸が交差する確率」に翻訳します。高次元では独立な 2 本のランダムな糸はめったに交差しないので、相互作用は消えます。これが自明性の幾何的な理由です。 本章では、switching lemma を完全に証明し、そこから Ursell 関数の表示と樹木図不等式までを導きます。その後、$d\ge5$ と $d=4$ の自明性の結果を、格子場の理論の巻の と の主張に結び付けて説明します。 （この章の続きは購入者向けです。）