# Aizenman–Graham『On the renormalized coupling constant and the susceptibility in φ⁴₄ field theory and the Ising model in four dimensions』(1983)：感受率の微分不等式と γ=1・4 次元の対数補正

> Aizenman–Graham 1983 を精読する。4 点 Ursell 関数を「交点での結合定数の微分」で抑える不等式を Ising 模型と Griffiths–Simon 族（φ⁴ を含む）について証明し、d>4 の γ=1、d=4 の感受率の対数補正の上界、くりこまれた結合定数の評価を導く。原論文の (4.1) に欠けている項を補う。
> https://rikai.mugen-giken.com/physics/constructive-papers/aizenman-graham-1983

## 0. この記事の要点

磁石を温めていくと、ある温度で磁石でなくなります。その温度のすぐ上では、外から弱い磁場をかけたときの磁化の応じ方（感受率）が非常に大きくなり、温度を臨界点に近づけると発散します。この論文は、その発散の速さが、4 次元より上では最も単純な予想（平均場の法則）のとおりであり、ちょうど 4 次元でも対数の因子の分しかずれないことを証明しました。同じ計算から、4 次元で場の量子論を作ろうとしたときの「相互作用の強さ」についての評価も出ます。

- 対象は M. Aizenman, R. Graham, "On the renormalized coupling constant and the susceptibility in $\phi^4_4$ field theory and the Ising model in four dimensions", *Nucl. Phys. B* **225** [FS9] (1983) 261–288 の全体です。原論文と照合して書いています。
- 中心は 4 点 [Ursell 関数](/physics/constructive-qft/random-current#def-ursell-four-point) $U_4$ の新しい上界です（原論文 Proposition 4.1）。[樹木図不等式](/physics/constructive-qft/random-current#thm-aizenman-tree-bound)が 2 点関数 4 本の積で抑えるところを、2 本を「2 点関数の、交点の辺の結合定数についての微分」に置き換えます。Ising 模型の形が <Ref to="thm-aizenman-graham-inequality" />、[Griffiths–Simon 族](/physics/constructive-qft/correlation-inequalities#def-griffiths-simon-class)（φ⁴ を含む）の形が <Ref to="thm-aizenman-graham-inequality-gs" /> です。
- この不等式を足し上げると、感受率 $\chi$ の $\beta$ 微分が右辺にも現れる「閉じた」不等式になり、それを解くと $\partial\chi/\partial\beta\ge 2dJ\chi^2\,[1-o(1)]/(1+\mathfrak b')$ が出ます（<Ref to="thm-ag-differential-inequality" />）。$\mathfrak b'$ はバブル図 $B=\sum_xS(0,x)^2$ で決まる無次元の量です。Lebowitz の不等式からの上界 $\partial\chi/\partial\beta\le2dJ\chi^2$（<Ref to="prop-ag-upper-differential" />）と組になります。
- 帰結は 3 つです。$d\ge5$ では赤外評価からバブル図が有界なので $\chi\asymp(\beta_c-\beta)^{-1}$、すなわち臨界指数 $\gamma=1$（<Ref to="thm-ag-gamma-one-high-d" />）。$d=4$ ではバブル図が $\log\chi$ 程度なので $\chi\le C(\beta_c-\beta)^{-1}(1+\lvert\log(\beta_c-\beta)\rvert)$（<Ref to="thm-ag-log-correction-d4" />）。くりこまれた結合定数は $g_R\le C\xi^{4-d}\bigl(\lvert\partial\chi^{-1}/\partial\beta\rvert/J+\xi^{-2}\bigr)$ で、$d=4$ で平均場則への補正が実際にあれば $g_R\to0$ です（<Ref to="prop-ag-renormalized-coupling" />）。どれも Ising 模型と φ⁴ 模型の両方で、$\beta_c$ が有限であること以外の仮定なしに成り立ちます。
- 原論文の Griffiths–Simon 族の不等式 (4.1) は、印刷された形では成り立ちません（Ising 模型で反例があります）。交点のブロックが $x_4$ のブロックである場合の項が抜けています。本章はその項を補った形を証明し、主結果への影響が定数の変更だけであることを確かめます（<Ref to="rem-ag-correction" />）。
- 本テーマの Aizenman（1982）の章と Fröhlich（1982）の章では、φ⁴ 模型の $\gamma=1$ に追加の仮定が残っていました。本章の <Ref to="thm-ag-gamma-one-high-d" /> はそれを外します。次元を限らない形では、「$\beta_c$ の手前でバブル図が有界なら $\gamma=1$」が明示的な定数つきで成り立ちます（<Ref to="cor-ag-gamma-one-bubble" />）。

## 1. 動機

強磁性体の臨界点の近くでは、遠く離れたスピンどうしが強く相関し、その相関の総量である感受率 $\chi(\beta)=\sum_x\langle\sigma_0\sigma_x\rangle$ が発散します。発散の仕方を $\chi\sim(\beta_c-\beta)^{-\gamma}$ と書いたときの指数 $\gamma$ を、模型の定義から証明つきで求めることが、臨界現象の数学の基本問題の 1 つです。スピンの相互作用を「周りのスピンの平均が作る磁場」で置き換える近似（平均場近似）は $\gamma=1$ を与えます。2 次元と 3 次元では実際の $\gamma$ は $1$ より大きく、4 次元より上では $\gamma=1$ のはずで、ちょうど 4 次元では $\chi\sim t^{-1}\lvert\log t\rvert^{1/3}$（$t=(\beta_c-\beta)/\beta_c$）という対数の補正がつく、というのが、くりこみ群による予想です（原論文 (3.1)）。

$\gamma\ge1$ は古くから知られていました（Glimm–Jaffe）。$\chi$ を $\beta$ で微分すると 4 点関数が現れ、Lebowitz の不等式（4 点 Ursell 関数が非正）から $\partial\chi/\partial\beta\le\lvert J\rvert\chi^2$、すなわち $\lvert\partial\chi^{-1}/\partial\beta\rvert\le\lvert J\rvert$ が出ます（原論文 (3.2)）。これを $\beta_c$ から積分すれば $\chi\ge[\lvert J\rvert(\beta_c-\beta)]^{-1}$ です。逆向きの $\gamma\le1$ には、$\lvert\partial\chi^{-1}/\partial\beta\rvert$ の正の下界が要ります。[ランダムカレント表示](/physics/constructive-qft/random-current#prop-current-representation)では、この量は「隣り合う 2 点 $u,v$ から出た 2 本の糸（$u$ から $0$ へ、$v$ から $x$ へ）が交わらない確率」です（原論文 (5.11)）。Aizenman（1982）は $d>4$ でこの確率が $0$ から離れていることを示しましたが、出発点が隣り合う 2 本の糸を扱うために、出発点の近くの交差を別に処理する段（球の中の議論）が必要でした（本テーマの [Aizenman 1982 第 1 部](/physics/constructive-papers/aizenman-1982-part-1) はこの段を別の議論で置き換えています）。

Aizenman と Graham の発想は、交わる確率を上から抑えるときに、樹木図（交点から 4 本の 2 点関数が出る図）で止めずに、交点から先の 2 本の糸が再び「交わらない 2 本の糸」になっていることを使う、というものです。$v$ から出た糸が、$0$ と $u$ を結ぶ糸の束に点 $k$ で初めてぶつかったとします。$k$ から辺 $\{k,l\}$ を通って $x$ へ向かう残りの部分と、$0$ から $k$ までの束は、交わりません。この「交わらない 2 本の糸」の重みを辺 $\{k,l\}$ について足したものは、もとの $\partial\chi/\partial\beta$ そのものです。残りの因子は、$u$ と $v$ から同じ点 $k$ へ向かう 2 本の 2 点関数で、$k$ について足すとバブル図になります。こうして
$$
\frac{\partial\chi}{\partial\beta}\ \ge\ \lvert J\rvert\chi^2-(\text{バブル図})\times\Bigl(\beta\frac{\partial\chi}{\partial\beta}+\chi\Bigr)
$$
という、求めたい量が両辺に現れる不等式が得られます。右辺の $\partial\chi/\partial\beta$ を左辺に移せば、バブル図が大きくても符号が保たれる下界 $\partial\chi/\partial\beta\ge\lvert J\rvert\chi^2[1-o(1)]/(1+\text{バブル図})$ になります。樹木図をそのまま使った場合の $\lvert J\rvert\chi^2(1-\text{バブル図})$ は、バブル図が $1$ を超えると何も言えません。これが、$d>4$ で仮定なしに $\gamma=1$ が出て、バブル図が対数的に発散する $d=4$ でも対数の補正の上界が出る理由です。

<Figure caption="不等式の図式。u と v は辺で結ばれた 2 点。0 と u を結ぶカレントの束（太線とその周りのクラスター）に、v から出た糸が点 k で初めて入る。k から辺 {k,l} を通って x へ向かう糸は 0 と k を結ぶ束と交わらず、その重みは 2 点関数の結合定数 K_kl についての微分に当たる。u と v から k へ向かう 2 本を k について足すとバブル図になる。">
<svg viewBox="0 0 460 190" width="100%" role="img" aria-label="左に点 0、中央やや上に点 k、右上に隣り合う点 u と v、右下に点 x と点 l がある。0 から k を通って u へ太い線、v から k へ細い線、k から l を経て x へ破線が引かれている図">
  <g fill="none" stroke="currentColor">
    <path d="M40 110 C 100 60, 160 70, 220 90" stroke-width="3" />
    <path d="M220 90 C 270 60, 320 50, 380 40" stroke-width="3" />
    <path d="M400 70 C 340 110, 280 110, 222 92" stroke-width="1.2" />
    <ellipse cx="210" cy="78" rx="190" ry="48" stroke-width="0.8" stroke-dasharray="2 4" opacity="0.6" />
  </g>
  <g fill="none" stroke="var(--sl-color-accent)" stroke-width="2">
    <line x1="220" y1="90" x2="235" y2="140" />
    <path d="M235 140 C 290 170, 350 170, 420 160" stroke-dasharray="6 4" />
  </g>
  <line x1="380" y1="40" x2="400" y2="70" stroke="currentColor" stroke-width="1" stroke-dasharray="1 3" />
  <g fill="currentColor">
    <circle cx="40" cy="110" r="4" /><circle cx="220" cy="90" r="4" /><circle cx="380" cy="40" r="4" />
    <circle cx="400" cy="70" r="4" /><circle cx="235" cy="140" r="4" /><circle cx="420" cy="160" r="4" />
  </g>
  <g fill="currentColor" font-size="15">
    <text x="24" y="130">0</text><text x="206" y="112">k</text><text x="372" y="28">u</text>
    <text x="410" y="76">v</text><text x="216" y="158">l</text><text x="430" y="166">x</text>
  </g>
</svg>
</Figure>

場の量子論の側の問いは次のとおりです。格子の上の φ⁴ 模型は、1 点ごとの測度 $e^{-\lambda\phi^4-b\phi^2}d\phi$ を最近接の強磁性の結合でつないだもので、パラメータを臨界点に近づけながら格子間隔を $0$ にする極限（連続極限）が、連続時空の φ⁴ 理論の候補です。極限の理論に相互作用があるかどうかは、[くりこまれた結合定数](/physics/lattice-field-theory/phi4-triviality#def-renormalized-quantities) $g_R=\lvert\bar u_4\rvert/(\chi^2\xi^d)$（$\bar u_4$ は $U_4$ の総和、$\xi$ は相関長）が極限で $0$ になるかどうかで測れます。$d>4$ では樹木図不等式から $g_R\le C\xi^{4-d}\to0$ です（[自明性](/physics/lattice-field-theory/phi4-triviality#def-triviality)。Aizenman 1982、Fröhlich 1982）。$d=4$ ではこの評価は $g_R\le C$ にとどまります。本論文の不等式は、右辺に因子 $\lvert\partial\chi^{-1}/\partial\beta\rvert$ を付け加えます。したがって、4 次元で感受率に平均場則からの補正が実際にあれば（$\lvert\partial\chi^{-1}/\partial\beta\rvert\to0$）、連続極限は自由場です。補正が実際にあることの証明は、この論文にはありません。4 次元の自明性の無条件の証明は Aizenman–Duminil-Copin（2021）まで待つことになります（本テーマの [Aizenman–Duminil-Copin の第 1 部](/physics/constructive-papers/aizenman-duminil-copin-2021-part-1) 以下）。

物理への含意を 1 つ書いておきます。4 次元の量子電磁力学（QED₄）でも、電荷の遮蔽の源は真空偏極のループ、すなわち 2 点関数の 2 乗の和（バブル図）の対数発散です。本論文の不等式は、「バブル図の発散が、分母 $1+\text{バブル図}$ を通じて有効な結合を弱める」という摂動論の描像（バブルの連鎖の和）を、スカラー場について、摂動展開を使わずに不等式として実現したものです。

原論文と本章の対応は次のとおりです。

| 原論文 | 内容 | 本章 |
|---|---|---|
| §2 | 格子近似、Griffiths–Simon 族、$\chi$・$\bar u_4$・$g$ の定義 | §2（既出の定義を使う） |
| (3.2) | $\lvert\partial\chi^{-1}/\partial\beta\rvert\le\lvert J\rvert$ | <Ref to="prop-ag-upper-differential" /> |
| Proposition 3.1、(3.4)、(3.8)、(4.4) | $\chi$ の上下界（$d>4$ と $d=4$） | <Ref to="thm-ag-differential-inequality" />、<Ref to="cor-ag-gamma-one-bubble" />、<Ref to="lem-ag-bubble-bounds" />、<Ref to="thm-ag-gamma-one-high-d" />、<Ref to="thm-ag-log-correction-d4" /> |
| Proposition 3.2、(3.12)–(3.14) | $\bar u_4$ と $g$ の上界 | <Ref to="prop-ag-renormalized-coupling" /> |
| Proposition 4.1 の (4.1′)（Ising） | $U_4$ の新しい不等式 | <Ref to="thm-aizenman-graham-inequality" /> |
| Proposition 4.1 の (4.1)（GS 族） | 同、Griffiths–Simon 族 | <Ref to="thm-aizenman-graham-inequality-gs" />（項を補った形） |
| Lemma 4.1 | 対数つきの微分不等式の積分 | <Ref to="lem-ag-log-integration" /> |
| (5.6)–(5.11) | switching lemma、$U_4$ と $\partial\chi/\partial\beta$ のカレント表示 | 既出と <Ref to="lem-ag-covariance" /> |
| Lemma 6.1、Lemma 6.3 | 道に沿ったカレントの入れ替え、辺の流量の評価 | <Ref to="lem-ag-path-exchange" />、<Ref to="lem-ag-edge-flux" /> |
| Lemma 6.2、(6.15)–(6.19) | 交差の重みの評価 | <Ref to="lem-ag-current-intersection" />、<Ref to="lem-ag-hit-and-avoid" />、<Ref to="prop-ag-ursell-lower-bound" /> |
| Proposition 7.1 | ブロックへの到達確率 | 既出（<Ref to="physics/constructive-papers/aizenman-1982-part-2#lem-box-hitting-probability" />） |
| Corollary 7.1 | 係数 $2$ の樹木図不等式（GS 族） | 既出（<Ref to="physics/constructive-papers/aizenman-1982-part-2#thm-tree-bound-gs" />） |
| Lemma 7.2、(7.13) | ブロック版の交差の評価 | <Ref to="lem-ag-block-intersection" />、<Ref to="lem-ag-block-hit" /> |

<Remark id="rem-ag-sources" title="原論文との照合と、証明の変更点">
本章は原論文（Nucl. Phys. B 225 [FS9] (1983) 261–288）の全頁と照合して書いています。式番号 (3.4)・(4.1) などは原論文の番号です。主張の形は原論文に合わせましたが、次の 4 点が違います。

1. **(4.1) の訂正.** Griffiths–Simon 族の不等式 (4.1) には項が 1 つ足りません（<Ref to="rem-ag-correction" /> に反例と理由）。それに伴い、(3.4) の分母 $1+(\beta\lvert J\rvert)^2\sum S^2$ は $1+\mathfrak b+\sqrt{\mathfrak b}$（$\mathfrak b=(\beta\lvert J\rvert)^2\sum S^2$）に、(3.13) の因子 $\beta\lvert J\rvert\chi$ は $1+\beta\lvert J\rvert\chi$ に変わります。Ising 模型の形 (4.1′) と、そこから出る主張は原論文のとおりです。
2. **Lemma 6.2 の証明.** 原論文は、ソースを結ぶ道に沿って 2 つのカレントを入れ替える写像（Lemma 6.1）と停止時刻の議論で Lemma 6.2 を示します。本章は、クラスターで条件づけてから Simon–Lieb 型の不等式を使う証明に替えました（結論は同じ）。原論文の Lemma 6.1 と、証明が読者に委ねられている Lemma 6.3 は、論文の主張として §3.3 で証明します。
3. **設定.** 原論文の主張は並進不変な強磁性の結合一般について書かれていますが、無限体積への移行は「標準的」として省かれています。本章は、有限体積の不等式は一般の結合について、無限体積の主張は $\mathbb Z^d$ の最近接模型（$\lvert J\rvert=2dJ$）について証明します。閾値 $\beta_c$ は Simon–Lieb の判定法による定義（<Ref to="physics/constructive-papers/aizenman-1982-part-2#def-exp-critical-point-gs" />）を使い、$\beta_c$ が有限であることを仮定に書きます（Ising 模型では $d\ge2$ で成り立つ）。
4. **定数.** (3.3) の $d>4$ の上界は、原論文では補正 $[1-O(\chi^{-1})]$ を省いた形で書かれています。本章は補正を残した形と、すべての $\beta$ で成り立つ形を述べます。バブル図の評価 (3.8) は、原論文の運動量空間の議論の代わりに、既出の座標空間の赤外評価から導きます（定数は変わる）。(3.12) の相関長は、原論文では指数減衰の相関長、本章では 2 次モーメントの相関長で、原論文の係数 $2[2d]$ と補正 $O(\xi^{-2})$ は、次元だけによる明示しない定数 $C''$ と $\xi^{-2}$ に替わります。Lemma 4.1 は、微分可能性を仮定しない積分の形で述べ、結論の定数も変わります。
</Remark>

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