# Aizenman–Duminil-Copin『Marginal triviality of 4D Ising and φ⁴₄』(2021) 第 3 部：動的なスケール・ランダムカレントの混合性と、4 次元 Ising のスケーリング極限の Gauss 性

> 2 点関数の冪的減衰を仮定せずに、バブル図で選んだスケールと正則スケールの上で交差性と多カレントの混合性を証明し、4 次元 Ising 模型の改良樹木図評価・特性関数の評価・スケーリング極限の Gauss 性を導く。
> https://rikai.mugen-giken.com/physics/constructive-papers/aizenman-duminil-copin-2021-part-3

## 0. この記事の要点

格子の上の磁石の模型（Ising 模型）を 4 次元で考え、遠くから眺めたときに見える「ゆらぎの場」が、互いに作用しあわない正規分布の場になることを証明する、という話の山場です。第 1 部では、2 点関数がきれいな冪で減衰すると**仮定**して証明の骨格を完成させました。本章（原論文 §6）はその仮定を外します。

- 環のスケールは、固定した冪ではなく、切断したバブル図 $B_\ell$ が $D$ 倍ずつ増える点 $\ell_k$ として**動的に**選びます（<Ref to="lem-dynamic-scales" />。$D^k\le B_{\ell_k}\le C D^k$）。その間隔を保証するのが、第 2 部の正則スケールの豊富さから出るバブル図の増え方の評価です（<Ref to="lem-bubble-growth" />）。
- 各スケールでの交差性は、ソースを 2 点関数がよくふるまう「正則な点」に置いて示します（<Ref to="lem-intersection-property" />）。
- 中心は、ソースをもつ $s$ 本のカレントの**混合性**です（<Ref to="thm-random-current-mixing" />）。$\Lambda_n$ の中の事象と $\Lambda_N$ の外の事象の相関は $s(\log(N/n))^{-c}$ 以下です。証明は、交差点の重み付きの個数 $\mathbf N$ が $1$ に集中すること（<Ref to="prop-resolution-concentration" />）と、中継点でソースを付け替える switching の多カレント版（<Ref to="lem-multi-source-relocation" />）からなります。
- これらから無条件のクラスター化評価（<Ref to="prop-intersection-clustering" />）と改良樹木図評価（<Ref to="thm-improved-tree-bound" />）が出て、平滑化したスピンの特性関数の評価（<Ref to="prop-characteristic-function-estimate" />）を経て、4 次元 Ising 模型のスケーリング極限が Gauss 場であることが従います（<Ref to="thm-gaussianity-ising-4d" />）。くりこまれた結合が $(\log\frac{1}{\beta_c-\beta})^{-c}$ で $0$ に近づくことも示します（<Ref to="cor-renormalized-coupling-log-decay" />）。
- 原論文の議論のうち 3 か所を直しました。混合性の証明の中間スケール $m/n=(N/n)^{1/3}$ は背骨の評価と両立しないので多項式の間隔に替え（<Ref to="rem-mixing-scales" />）、集合 $\mathbb A_y(m)$ が大きいことの根拠（原論文の脚注 6）を符号をそろえた集合と反射の列で示し直し（<Ref to="rem-cone-original" />）、特性関数の評価は $f$ の符号に応じた形に正しました（<Ref to="rem-characteristic-statement" />）。

## 1. 動機

4 次元で 2 本のランダムウォークを遠く離して出発させると、軌跡が交わる確率は $1/\log L$ 程度しかないのに、交差点の個数の期待値は $O(1)$ です。交わるときには多くのスケールで繰り返し交わるからです。Aizenman と Duminil-Copin の論文は、この「交差のクラスター化」をランダムカレントのクラスターについて示し、Aizenman（1982）の樹木図評価を $\log$ のべきだけ改良しました（第 1 部の動機を参照してください）。

第 1 部で仮定に頼った箇所は 2 つあります。第 1 に、環 $\mathrm{Ann}(\ell_k,\ell_{k+1})$ のスケールを $\ell_{k+1}=\ell_k^\alpha$ と固定し、各環でバブル図が $\log\ell_k$ 程度ずつ増えることを冪的減衰の仮定から読み取りました。第 2 に、交差性と混合性の証明で、2 点関数の上下からの評価 $S(x)\asymp\lvert x\rvert^{-2}$ と勾配の評価を全面的に使いました。どちらも、4 次元の臨界点で 2 点関数が本当に $\lvert x\rvert^{-2}$ のようにふるまうかが分かっていない以上、無条件の証明には使えません。

原論文 §6 はこれを次のように乗り越えます。上からは[x 空間の赤外評価](/physics/constructive-papers/aizenman-duminil-copin-2021-part-2#thm-infrared-bound-x-space) $S(x)\le C\lvert x\rvert^{-2}$ があり、下からは $S(x)\ge c\lvert x\rvert^{-3}$ 程度しか分かりません。その間で、2 点関数が「冪のようにふるまう」スケール（第 2 部の[正則スケール](/physics/constructive-papers/aizenman-duminil-copin-2021-part-2#def-regular-scale)）は、どの $n\le N$ の間にも $c\log(N/n)$ 個はあります。証明の各段で、評価の精度が要る箇所だけを正則スケールに寄せ、それ以外は赤外評価と粗い下界で済ませます。混合性の証明では、交差点を正則スケールの環にだけ数え、その重みにソースの位置の影響を吸収させます。

この章の結果は、4 次元 Ising 模型の臨界点に向かう任意のスケーリング極限が Gauss 場であること（$\phi^4_4$ への拡張は第 4 部）を与えます。物理の言葉では、4 次元 Ising 模型・$\phi^4_4$ 模型の連続極限は、裸の結合がどれほど強くても自由場になる、という「自明性」の一般結合での証明です。くりこみ群の予言する $1/\log$ の速さ（<Ref to="physics/lattice-field-theory/phi4-triviality#prop-log-decay-coupling" />）には届きませんが、$(\log)^{-c}$ の定量的な速さが得られます。論文の位置づけは、Aizenman（1982）と Fröhlich（1982）の $d\ge5$ の自明性（本テーマの [Aizenman (1982) 第 1 部](/physics/constructive-papers/aizenman-1982-part-1)）、弱結合での繰り込み群による結果（Hara–Tasaki など）の後を受け、境界の次元 $d=4$ を一般の結合で閉じたものです。QED₄ のような相関不等式をもたない理論に同じ議論を移すには、混合性に当たる命題が必要になります。本章の証明は、その命題がどの性質（ソースの付け替えと 2 点関数の正則性）から出てくるかを示しています。

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