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

0. この記事の要点

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

• 環のスケールは、固定した冪ではなく、切断したバブル図 $B_\ell$ が $D$ 倍ずつ増える点 $\ell_k$ として動的に選びます（補題 3.4。$D^k\le B_{\ell_k}\le C D^k$）。その間隔を保証するのが、第 2 部の正則スケールの豊富さから出るバブル図の増え方の評価です（補題 3.1）。
• 各スケールでの交差性は、ソースを 2 点関数がよくふるまう「正則な点」に置いて示します（補題 4.2）。
• 中心は、ソースをもつ $s$ 本のカレントの混合性です（定理 5.14）。$\Lambda_n$ の中の事象と $\Lambda_N$ の外の事象の相関は $s(\log(N/n))^{-c}$ 以下です。証明は、交差点の重み付きの個数 $\mathbf N$ が $1$ に集中すること（命題 5.9）と、中継点でソースを付け替える switching の多カレント版（補題 5.10）からなります。
• これらから無条件のクラスター化評価（命題 6.1）と改良樹木図評価（定理 6.3）が出て、平滑化したスピンの特性関数の評価（命題 7.3）を経て、4 次元 Ising 模型のスケーリング極限が Gauss 場であることが従います（定理 7.5）。くりこまれた結合が $(\log\frac{1}{\beta_c-\beta})^{-c}$ で $0$ に近づくことも示します（系 7.6）。
• 原論文の議論のうち 3 か所を直しました。混合性の証明の中間スケール $m/n=(N/n)^{1/3}$ は背骨の評価と両立しないので多項式の間隔に替え（注意 5.15）、集合 $\mathbb A_y(m)$ が大きいことの根拠（原論文の脚注 6）を符号をそろえた集合と反射の列で示し直し（注意 5.5）、特性関数の評価は $f$ の符号に応じた形に正しました（注意 7.4）。

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 空間の赤外評価 $S(x)\le C\lvert x\rvert^{-2}$ があり、下からは $S(x)\ge c\lvert x\rvert^{-3}$ 程度しか分かりません。その間で、2 点関数が「冪のようにふるまう」スケール（第 2 部の正則スケール）は、どの $n\le N$ の間にも $c\log(N/n)$ 個はあります。証明の各段で、評価の精度が要る箇所だけを正則スケールに寄せ、それ以外は赤外評価と粗い下界で済ませます。混合性の証明では、交差点を正則スケールの環にだけ数え、その重みにソースの位置の影響を吸収させます。

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

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

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

購入する ログイン