Aizenman–Duminil-Copin『Marginal triviality of 4D Ising and φ⁴₄』(2021) 第 4 部：Griffiths–Simon 族への拡張 — 粗い switching・次元の揃った改良樹木図評価と φ⁴₄ のスケーリング極限の Gauss 性

0. この記事の要点

格子の上の連続な値の場（$\phi^4$ 場）を 4 次元で考え、遠くから眺めたときのゆらぎが、互いに作用しあわない正規分布の場になることを示す、という話の最終段です。第 3 部では値が $\pm1$ の Ising スピンについてこれを証明しました。本章（原論文 §7 と付録 A.4）は、値に上限のない $\phi^4$ 場へ結果を移します。

• $\phi^4$ の 1 点分布は、強く結合した $N$ 個の Ising スピンの和の極限として書けます（Griffiths–Simon の構成）。本章ではブロックの中のスピンが互いに入れ替え可能な近似（定義 3.1。Ising と全 $\phi^4$ 測度を含む）を使い、さらにブロック間の各辺の真ん中に補助のスピン（中点）を置いた飾りグラフを考えます（定義 3.3）。
• この飾りグラフでは、Ising の 2 点関数がすべて場 $\tau$ の 2 点関数で正確に書けます（補題 3.5）。ブロックの点で数えた量は比をとると $N$ が消え、中点で数えた量には結合 $K=\beta J$ がちょうど 1 個ずつ付いて「スピンの次元」が揃います。これで第 3 部の交差性・混合性・クラスター化の証明が、そのまま $\phi^4$ 場で通ります（補題 5.4、定理 5.12、命題 6.4）。
• 結論は次元の揃った改良樹木図評価 $\lvert U_4\rvert\le C(B_0/B_L)^c\,\mathcal T$（定理 6.5。$\mathcal T$ は結合 $K$ を 2 個含む樹木図）と、平滑化した場の特性関数の評価（命題 7.2）で、ここから 4 次元 $\phi^4$ 模型の任意のスケーリング極限が Gauss 場であること（定理 7.3）と、くりこまれた結合の対数的な減衰（系 7.4）が従います。
• 付録 A.4 の粗い switching（補題 4.1）と箱の連結確率の評価（命題 4.2）も証明します。
• 原論文から直した点：(i) 主張の範囲を交換可能なブロックで書ける Griffiths–Simon 測度に限りました（注意 3.2）。(ii) 原論文の (7.8)(7.16) の正規化は $N$ に依存する因子がずれており、正確な期待値で正規化し直しました（注意 4.4）。(iii) $B_0$ は $\langle\tau_0^2\rangle^2$ と読むべきこと、(A.38) の隣接点の向き、$\mathcal T$ の形を注意しました（注意 6.6）。

1. 動機

4 次元の $\phi^4$ 理論は、素粒子の標準模型の Higgs 場の最も素朴な模型です。格子で正則化した $\phi^4$ 模型の連続極限が自由場（Gauss 場）になる、というのが「自明性」の主張で、くりこみ群はこれを裸の結合によらず予言していました（命題 3.2［φ⁴ 理論の自明性・有限体積効果・O(N) 模型］）。Aizenman–Duminil-Copin（2021）は、まず Ising 模型でこれを証明し（第 1〜3 部）、最後に §7 で Griffiths–Simon 族、とくに $\phi^4$ 測度 $e^{-\lambda\phi^4+b\phi^2}d\phi$ を 1 点測度とする模型へ移しました。

移すときの困難は 2 つあります。第 1 に、Ising の不等式の多くは「スピンの次元」が揃っていません。改良樹木図評価の右辺 $\sum_u\prod_{i=1}^4\langle\sigma_u\sigma_{x_i}\rangle$ は左辺 $U_4$ より 4 個多くスピンを含み、Ising では $\sigma^2=1$ なので気になりませんが、場 $\tau$ を $c\tau$ に替えると両辺の倍率が違います。値に上限のない $\phi^4$ 場で一様に成り立つ評価は、両辺の次元が揃った形でなければなりません。Aizenman（1982）の第 2 部は、ブロックの境界の辺の結合 $K$ を取り出すことで次元を揃えました（定理 5.2［Aizenman『Geometric analysis of φ⁴ fields and Ising models II』(1982) 第 2 部］）。

第 2 に、改良の因子 $(\log L)^{-c}$ を出す多スケールの議論（第 3 部）は、上からの評価だけでなく、交差の確率の下からの評価と、2 点関数の比が $1$ に近いという精密な評価を使います。ブロック Ising 模型の 2 点関数は、一般にはブロックの中の点ごとに違い、場 $\tau$ の 2 点関数の正則性からは直接には制御できません。原論文 §7 は「Ising と同じ証明に自明な変更を加える」とだけ述べていますが、正規化の因子を含めて書き下すと、そのままでは閉じない箇所があります。

本章は、ブロック内のスピンが入れ替え可能な近似（Curie–Weiss 型のブロック。$\phi^4$ 測度はすべてこの形で書けます）に限って、これを完全に書き下します。入れ替え可能性から、異なるブロックの 2 点の Ising 相関はちょうど $\langle\tau\tau\rangle/(\alpha N)^2$ になり、ブロックで数えた量の比から $N$ が消えます。さらにブロック間の辺に中点を入れると、「ブロックからブロックへ移るときに通る中点」で数えた量に結合 $K$ が自然に 1 個ずつ現れ、原論文の粗い switching と同じ役割を、第 1 部の頂点についての補題（連鎖律、背骨を避ける連結）だけで果たせます。

この章で、第 1 部で述べた主定理 定理 3.1［Aizenman–Duminil-Copin『Marginal triviality of 4D Ising and φ⁴₄』(2021) 第 1 部］（$\phi^4_4$ のスケーリング極限の Gauss 性）の $\phi^4$ の場合の証明が完結します。QED₄ のような相関不等式をもたない理論にこの方法を移すには、本章の辞書（補題 3.5）に当たる「ブロック変数の相関と微視的な相関の対応」と、第 3 部の混合性の両方が必要になる、というのが本章から読み取れる教訓です。

原論文	内容	本章
§7.1 冒頭、(7.4)	ランダムなソースのカレント測度	補題 4.3
Theorem 7.1	GS 族の改良樹木図評価	定理 6.5
Proposition 7.2	GS 族の特性関数の評価	命題 7.2
Proposition 7.3	GS 族のクラスター化評価	命題 6.4
Lemma 7.4	GS 族の交差性	補題 5.4
Theorem 7.5	GS 族の混合性	定理 5.12
Lemma A.7、Proposition A.8	粗い switching、箱の連結確率	補題 4.1、命題 4.2
Theorem 1.2（$\phi^4$）、Remark 6.8	Gauss 性、くりこまれた結合	定理 7.3、系 7.4

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

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

購入する ログイン