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

> φ⁴ 場を交換可能な Ising ブロックの極限として表し、ブロック間の辺に中点を入れた飾りグラフ上で交差性・混合性・クラスター化を示し直して、次元の揃った改良樹木図評価と 4 次元 φ⁴ のスケーリング極限の Gauss 性を証明する。
> https://rikai.mugen-giken.com/physics/constructive-papers/aizenman-duminil-copin-2021-part-4

## 0. この記事の要点

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

- $\phi^4$ の 1 点分布は、強く結合した $N$ 個の Ising スピンの和の極限として書けます（Griffiths–Simon の構成）。本章ではブロックの中のスピンが互いに入れ替え可能な近似（<Ref to="def-symmetric-gs-class" />。Ising と全 $\phi^4$ 測度を含む）を使い、さらにブロック間の各辺の真ん中に補助のスピン（**中点**）を置いた飾りグラフを考えます（<Ref to="def-subdivided-block-graph" />）。
- この飾りグラフでは、Ising の 2 点関数がすべて場 $\tau$ の 2 点関数で正確に書けます（<Ref to="lem-block-dictionary" />）。ブロックの点で数えた量は比をとると $N$ が消え、中点で数えた量には結合 $K=\beta J$ がちょうど 1 個ずつ付いて「スピンの次元」が揃います。これで第 3 部の交差性・混合性・クラスター化の証明が、そのまま $\phi^4$ 場で通ります（<Ref to="lem-intersection-property-gs" />、<Ref to="thm-random-current-mixing-gs" />、<Ref to="prop-intersection-clustering-gs" />）。
- 結論は次元の揃った改良樹木図評価 $\lvert U_4\rvert\le C(B_0/B_L)^c\,\mathcal T$（<Ref to="thm-improved-tree-bound-gs" />。$\mathcal T$ は結合 $K$ を 2 個含む樹木図）と、平滑化した場の特性関数の評価（<Ref to="prop-characteristic-function-estimate-gs" />）で、ここから 4 次元 $\phi^4$ 模型の任意のスケーリング極限が Gauss 場であること（<Ref to="thm-gaussianity-phi4-4-proof" />）と、くりこまれた結合の対数的な減衰（<Ref to="cor-renormalized-coupling-log-decay-gs" />）が従います。
- 付録 A.4 の粗い switching（<Ref to="lem-coarse-switching" />）と箱の連結確率の評価（<Ref to="prop-box-connection-bounds" />）も証明します。
- 原論文から直した点：(i) 主張の範囲を交換可能なブロックで書ける Griffiths–Simon 測度に限りました（<Ref to="rem-symmetric-restriction" />）。(ii) 原論文の (7.8)(7.16) の正規化は $N$ に依存する因子がずれており、正確な期待値で正規化し直しました（<Ref to="rem-normalization-original" />）。(iii) $B_0$ は $\langle\tau_0^2\rangle^2$ と読むべきこと、(A.38) の隣接点の向き、$\mathcal T$ の形を注意しました（<Ref to="rem-tree-form" />）。

## 1. 動機

4 次元の $\phi^4$ 理論は、素粒子の標準模型の Higgs 場の最も素朴な模型です。格子で正則化した $\phi^4$ 模型の連続極限が自由場（Gauss 場）になる、というのが「自明性」の主張で、くりこみ群はこれを裸の結合によらず予言していました（<Ref to="physics/lattice-field-theory/phi4-triviality#prop-log-decay-coupling" />）。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$ を取り出すことで次元を揃えました（<Ref to="physics/constructive-papers/aizenman-1982-part-2#thm-tree-bound-gs" />）。

第 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 部で述べた主定理 <Ref to="physics/constructive-papers/aizenman-duminil-copin-2021-part-1#thm-gaussianity-phi4-4" />（$\phi^4_4$ のスケーリング極限の Gauss 性）の $\phi^4$ の場合の証明が完結します。QED₄ のような相関不等式をもたない理論にこの方法を移すには、本章の辞書（<Ref to="lem-block-dictionary" />）に当たる「ブロック変数の相関と微視的な相関の対応」と、第 3 部の混合性の両方が必要になる、というのが本章から読み取れる教訓です。

| 原論文 | 内容 | 本章 |
|---|---|---|
| §7.1 冒頭、(7.4) | ランダムなソースのカレント測度 | <Ref to="lem-random-source-measure" /> |
| Theorem 7.1 | GS 族の改良樹木図評価 | <Ref to="thm-improved-tree-bound-gs" /> |
| Proposition 7.2 | GS 族の特性関数の評価 | <Ref to="prop-characteristic-function-estimate-gs" /> |
| Proposition 7.3 | GS 族のクラスター化評価 | <Ref to="prop-intersection-clustering-gs" /> |
| Lemma 7.4 | GS 族の交差性 | <Ref to="lem-intersection-property-gs" /> |
| Theorem 7.5 | GS 族の混合性 | <Ref to="thm-random-current-mixing-gs" /> |
| Lemma A.7、Proposition A.8 | 粗い switching、箱の連結確率 | <Ref to="lem-coarse-switching" />、<Ref to="prop-box-connection-bounds" /> |
| Theorem 1.2（$\phi^4$）、Remark 6.8 | Gauss 性、くりこまれた結合 | <Ref to="thm-gaussianity-phi4-4-proof" />、<Ref to="cor-renormalized-coupling-log-decay-gs" /> |

（この章の続きは購入者向けです。）