# Aizenman–Duminil-Copin『Marginal triviality of 4D Ising and φ⁴₄』(2021) 第 1 部：主結果・ランダムカレントの単調性と、冪的減衰を仮定した改良樹木図評価

> 4 次元の Ising 模型と φ⁴₄ のスケーリング極限が Gauss 場になるという主結果を述べ、ランダムカレントの単調性・背骨の連鎖律・混合性を証明して、臨界点の 2 点関数の冪的減衰を仮定した改良樹木図評価を完全に導く。
> https://rikai.mugen-giken.com/physics/constructive-papers/aizenman-duminil-copin-2021-part-1

## 0. この記事の要点

格子の上に場の模型を作り、格子の目を細かくしていったとき、極限に何が残るかという話です。4 次元の時空では、どれほど強い相互作用から出発しても、極限は相互作用のない場（ゆらぎが正規分布に従う場）になってしまう。2021 年の Aizenman と Duminil-Copin の論文はこれを証明しました。本章はその論文の前半（§1〜§4 と付録 A.1・A.2）を、省かれた段を埋めながら読みます。

- 主結果は 3 つです。4 次元の格子 $\phi^4$ 場の任意のスケーリング極限は Gauss 場であること（<Ref to="thm-gaussianity-phi4-4" />）、その鍵となる**改良樹木図評価** $|U_4|\le C B_L^{-c}\sum_u\langle\sigma_u\sigma_x\rangle\langle\sigma_u\sigma_y\rangle\langle\sigma_u\sigma_z\rangle\langle\sigma_u\sigma_t\rangle$（<Ref to="thm-improved-tree-bound" />）、そして平滑化したスピンの特性関数の評価（<Ref to="prop-characteristic-function-estimate" />）です。$B_L$ は距離 $L$ で切ったバブル図で、4 次元では $\log L$ 程度に発散するので、改良因子 $B_L^{-c}$ が Aizenman（1982）の樹木図評価からの決定的な一歩になります。
- 4 点 Ursell 関数 $U_4$ は、[ランダムカレント](/physics/constructive-qft/random-current#def-current)の 2 つのクラスター $\mathbf C_{\mathbf n_1+\mathbf n_3}(x)$ と $\mathbf C_{\mathbf n_2+\mathbf n_4}(z)$ が交わる確率で上から抑えられます。樹木図評価はこの確率を交差点の個数の期待値で抑えたものでした。改良の中身は、「交わるなら多くのスケールで交わる」ので交差点の個数は条件つきで大きい、という多スケールの評価です（<Ref to="lem-annular-covering" />、<Ref to="prop-conditional-intersection-clustering" />）。
- その評価に使う道具を本章ですべて証明します。ソースを外すと交差確率が下がるという部分的な単調性（<Ref to="lem-remove-sources" />、<Ref to="cor-disentangling-two" />）、2 点への同時到達の評価（<Ref to="prop-two-point-connection-bound" />）、カレントの「背骨」の連鎖律と条件づけ（<Ref to="lem-backbone-chain-rule" />、<Ref to="lem-backbone-conditioning" />）、一般化した switching（<Ref to="lem-generalized-switching" />）です。
- 臨界点で 2 点関数が $|x|^{-2}$ の冪で減衰すると**仮定**して、各スケールで交わる確率が下から抑えられること（<Ref to="lem-conditional-intersection-property" />）と、遠く離れたスケールの事象がほぼ独立であること（ランダムカレントの混合性、<Ref to="prop-conditional-mixing" />）を示し、改良樹木図評価を導きます（<Ref to="thm-improved-tree-bound-conditional" />）。仮定を外す無条件の証明は第 3 部、$\phi^4$ への拡張は第 4 部です。
- 原論文から直した点があります。被覆補題の定数 $5$ は $7$ に（<Ref to="rem-covering-constant" />）、混合性の最後の段の中間スケール $m=\sqrt{Nn}$ は $m=N^{1/\alpha_1}$ に（<Ref to="rem-mixing-intermediate-scale" />）、(1.27) の冪は別の形に（<Ref to="rem-block-variance" />）直しました。特性関数の評価は $f\ge0$ の形で述べ（<Ref to="rem-characteristic-sign" />）、$\phi^4$ の場合の主定理は、第 4 部で証明が閉じる「入れ替え可能なブロックで書ける Griffiths–Simon 測度」（$\phi^4$ 測度をすべて含む）に範囲を限りました（<Ref to="rem-gaussianity-statement" />）。無限体積のカレント測度は使わず、すべてを有限体積の確率と相関関数の極限で書きます（<Ref to="lem-finite-volume-approx" />）。背骨は道ではなく「奇数の辺をたどる小道」として定義し、それで十分であることを示します（<Ref to="rem-backbone-trail" />）。

## 1. 動機

場の量子論を数学的に作るときの標準的な道筋は、まず空間を格子に区切って有限個の変数の確率模型を作り、次に格子間隔を $0$ に、体積を無限大にする極限をとることです。極限で残る確率場が、Euclid 版の場の理論になります。$\phi^4$ 模型、すなわち各格子点の実数値の場 $\phi_x$ に $e^{-\lambda\phi_x^4+b\phi_x^2}$ の重みと最近接の強磁性結合を与えた模型は、この道筋の最も基本的な試金石でした。2 次元と 3 次元では、極限は相互作用をもつ（非 Gauss の）場になります。

ところが 1982 年、Aizenman と Fröhlich は独立に、$d\ge5$ ではこの方法で得られる極限が必ず Gauss 場（[自明](/physics/lattice-field-theory/phi4-triviality#def-triviality)な場）になることを示しました（<Ref to="physics/lattice-field-theory/phi4-triviality#thm-aizenman-frohlich" />）。鍵は Aizenman の[樹木図不等式](/physics/constructive-qft/random-current#thm-aizenman-tree-bound)で、4 点関数の Wick 則からのずれ $U_4$ が「4 本の 2 点関数が 1 点で出会う図」の和で抑えられるというものです。距離 $L$ の 4 点について、この和は 2 点関数の積 $\langle\sigma_x\sigma_y\rangle\langle\sigma_z\sigma_t\rangle$ に比べて $L^{4-d}$ 程度の大きさしかなく、$d\gt 4$ では $0$ に近づきます。$d=4$ ではこの勘定がちょうど釣り合い、何も言えません。

4 次元は物理的に最も重要な次元です。くりこみ群の予言では、4 次元の $\phi^4$ 理論のくりこまれた結合はカットオフの対数の逆数で $0$ に近づきます（<Ref to="physics/lattice-field-theory/phi4-triviality#prop-log-decay-coupling" />）。この「対数的な自明性」は、Higgs 粒子の質量の上限（新しい物理が現れるエネルギーが高いほど Higgs は軽くなければならない）という物理的な帰結をもちます。また、量子電磁力学（QED₄）についても同じ種類の自明性が予想されていますが、そちらは厳密には何も分かっていません。結合が弱い場合は、厳密なくりこみ群によって対数補正まで含めた漸近形が得られていました（Gawędzki–Kupiainen、Hara–Tasaki、Bauerschmidt–Brydges–Slade などの一連の仕事）。しかし「裸の結合がいくら強くても極限は Gauss」という主張は、2019 年に本論文が出るまで未解決でした。

本論文の着想は、ランダムウォークの交差の類推にあります。4 次元で距離 $L$ だけ離れて出発した 2 本のランダムウォークの軌跡は、確率 $1/\log L$ 程度でしか交わりません。ところが交差点の個数の期待値は $O(1)$ です。両者の食い違いは、「交わるときには、多くのスケールで繰り返し交わり、交差点が $\log L$ 個ほどできる」ことで説明されます。ランダムカレント表示では $U_4$ が 2 つのクラスターの交差確率で抑えられ、樹木図不等式は交差確率を交差点の個数の期待値で抑えたものに当たります。したがって、クラスターについても「交わるなら多くのスケールで交わる」ことを示せれば、樹木図評価が $\log L$ のべきだけ改良されます。

これを実行するには 2 つの困難があります。第 1 に、2 点関数の大きさが正確には分かりません（上からの[赤外評価](/physics/constructive-qft/gaussian-correlation-inequalities#cor-infrared-bound)はあるが、下からの評価や正則性がない）。第 2 に、ランダムウォークの Markov 性に当たる性質がランダムカレントにはありません。本論文は第 2 の困難を、ソースをもつカレントの**混合性**（遠く離れた領域の事象がほぼ独立であること）という新しい性質で乗り越えました。第 1 の困難は、2 点関数が「正則にふるまうスケール」が十分たくさんあることを、反射正値性から示して乗り越えます。

論文はこの 2 つを分けて提示しています。まず 2 点関数が臨界点で $|x|^{-2}$ の冪で減衰すると仮定して、混合性を含む議論の骨格を完全に示し（§4）、次に仮定を外します（§5・§6）。最後に Ising から $\phi^4$ へ移します（§7）。本書ではこれを 4 部に分けます。

| 部 | 内容 | 原論文 |
|---|---|---|
| 第 1 部（本章） | 主結果、ランダムカレントの道具、冪的減衰を仮定した改良樹木図評価 | §1〜§4、付録 A.1・A.2 |
| 第 2 部 | 2 点関数の弱い正則性（MMS 単調性、スペクトル表示、スライドする赤外評価、正則スケールの豊富さ） | §5、付録 A.3 |
| 第 3 部 | Ising 模型での無条件の証明（混合性、特性関数の評価） | §6 |
| 第 4 部 | Griffiths–Simon 族（$\phi^4$ を含む）への拡張 | §7、付録 A.4 |

前後の論文との関係も述べておきます。ランダムカレントと樹木図不等式は Aizenman（1982）に、背骨と連鎖律は Aizenman–Barsky–Fernández（1987）に、結合を間引いた模型の switching は Aizenman–Duminil-Copin–Sidoravicius（2015）にさかのぼります。本論文の新しい道具は、2 点への同時到達の評価（付録 A.2）と混合性です。

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