# Abdesselam–Rivasseau (1997) 部 1：順序付き補間と 4 頂点既約ポリマー展開 > Brydges–Kennedy の森公式を一般化した順序付き補間の公式（Lemma 1, 2）を証明し、赤外 φ⁴₄ の多段の Gauss 場に大場・小場の 1 の分割と 4 頂点既約性を組み込んで、Schwinger 関数の明示的なポリマー展開（Theorem 1）を導く。 > https://rikai.mugen-giken.com/physics/constructive-papers/abdesselam-rivasseau-1997-part-1 ## 0. この記事の要点 多数の場が互いに作用し合う系の確率的な重みを、各項が小さくなる級数（展開）に書き直す技術を扱います。空間の広がりと、細かい尺度から粗い尺度までの階層を、1 本の補間で一度に処理するのが新しい点で、読み終えると展開の各項がどんな組合せの規則で作られるかが分かります。 - A. Abdesselam と V. Rivasseau の論文（Rev. Math. Phys. 9 (1997) 123–199）は、Brydges–Kennedy の[森公式](/physics/constructive-qft/cluster-expansion#thm-bkar-forest)を一般化した**順序付き補間**の公式を示しました（原論文の Lemma 1, 2）。次に微分してよいリンクを「選択写像」で制限し、すでに作ったブロックの内側には二度とリンクを張らない、という規則を Taylor の公式の反復として書いたものです。 - この公式は空間方向（横）の展開と尺度方向（縦）の展開を**同じ 1 本の線形補間**で扱います。以前の位相空間展開では横と縦で別の補間を使い、縦は非線形で、尺度ごとに Mayer 展開が必要でした。 - 赤外 φ⁴₄（紫外切断つきの質量ゼロ φ⁴ 模型）に適用すると、伝播関数を 2-リンク、頂点を 4-リンクとし、「のり付け」と「4 頂点既約（4-VI）性」で連結写像を定めることで、非正規化 Schwinger 関数が**明示的な[ポリマー](/physics/constructive-qft/cluster-expansion#def-polymer-system)展開**（原論文の Theorem 1）になります。大場・小場の 1 の分割は [Gauss 測度](/physics/constructive-qft/gaussian-free-field#def-gaussian-measure-covariance)の内側に置かれ、展開の微分を受けます。 - 補間しても共分散と相互作用の正値性は保たれ（Lemma 3）、相互作用は補間パラメータの差を重みとする $\int(\phi^B)^4$ の正の和に書けます。許される列の長さはポリマーの立方体の数の線形 $6\#(Y)-6$ で抑えられます（Lemma 10）。 - 本章では、原論文が「容易」「文献を見よ」で済ませた段（Gauss 測度の存在と標本の滑らかさ、$H$ の滑らかさ、共分散のパラメータでの微分が汎関数微分作用素になること (24)、Lemma 6–9 の組合せ論の細部）をすべて証明します。また、大場条件の段関数 (25) が書かれたままでは $C^\infty$ にならないこと、(40) から頂点の核 $-K$ が落ちていることを指摘し、正しい形に直して証明します。 - ポリマーの活動度の評価（Theorem 2、構成的な Weinberg の定理）は [部 2](/physics/constructive-papers/abdesselam-rivasseau-1997-part-2) と [部 3](/physics/constructive-papers/abdesselam-rivasseau-1997-part-3) で扱います。 ## 1. 動機 構成的場の理論で繰り込み群を厳密に実行する方法は、1980 年代に二つの流れに分かれました。一つは[繰り込み群](/physics/constructive-qft/rigorous-renormalization-group#def-block-spin)の 1 段を「ポリマーの活動度の代数」に作用する写像として書き、適切な Banach 空間の上でその反復を力学系として調べる流れで、Brydges や Pordt らが進めました（Rikai では [厳密な繰り込み群](/physics/constructive-qft/rigorous-renormalization-group) の章がこの考え方に近い）。もう一つは Glimm–Jaffe に始まり、Feldman–Magnen–Rivasseau–Sénéor が完成させた**位相空間展開**で、多数の繰り込み群の段を一度に扱い、摂動論を「途中で打ち切った展開」として組み立てます。発散の源である、高周波（細かい尺度）の「ほぼ局所的な」2 点・4 点の挿入を見えるところまで展開し、しかし同じ場所・同じ周波数に場が積み上がらないよう、展開しすぎない、という綱渡りが要点です。 位相空間展開は、強力な一方で読みにくい技術でした。空間方向のクラスター展開と尺度方向の展開に別々の補間を使い、尺度方向の補間は帰納的で非線形であり、尺度ごとに Mayer 展開を挟む必要がありました。Abdesselam と Rivasseau の 1997 年の論文は、この部分を**一つの線形補間**に置き換えます。出発点は、単一尺度のクラスター展開で使われる Brydges–Kennedy の森公式（Rikai では ）です。森公式では、リンクの補間パラメータを順に微分していき、すでに連結になった頂点の間にはリンクを作りません。この「すでにできたブロックの内側には張らない」という規則を抽象化したのが選択写像 $\mathcal C$ で、ブロックの作り方（連結写像 $\Pi$）を変えれば、単なる連結成分の代わりに「頂点を 4 本まで切っても連結のまま」という 4 頂点既約な成分を使うこともできます。こうして横と縦の展開が同じ公式から出てきます。 論文が扱う模型は赤外 φ⁴₄、すなわち 4 次元の質量ゼロ φ⁴ 模型に紫外切断（単位の運動量）を入れ、赤外側の尺度を $N$ 段で切ったものです。この模型では結合定数が赤外で小さくなる（赤外漸近自由）ので、赤外極限は Gawędzki–Kupiainen（1985、格子の繰り込み群）と Feldman–Magnen–Rivasseau–Sénéor（1987、位相空間展開）によってすでに構成されていました。著者らはこれを新しい展開の試験台に選び、さらに大場・小場の展開を組み込みました。φ⁴₄ では大場・小場の区別は本来不要ですが、Yang–Mills 理論（Bałaban の仕事）では欠かせず、しかも多段の位相空間展開の中で詳しく書かれたことがなかったからです。この展開のポリマーは尺度方向に「隙間」をもってよく、細かい尺度の立方体が、間の尺度を飛ばして粗い尺度の立方体と直接つながることができます。それでも汎関数積分はポリマーごとに因子化します。 物理への含意を一言で言うと、この論文は「周辺的（marginal）な理論で、ほぼ局所的な 2 点・4 点の挿入を含まないポリマーは、摂動論の全次数を足し上げても小さい」ことを、明示的な公式から示す枠組みを与えました（Theorem 2）。著者ら自身はこれを Weinberg の収束グラフの定理の構成的な類似と呼んでいます。局所部分を抜き出したあと（繰り込み後）の同種の評価は続報に送られています。φ⁴₄ や QED₄ のように結合が紫外で大きくなる向きの周辺的な理論では、同じ機構を紫外に向けて使うと小ささを保てる尺度の数に限りが出ます。この違いが、本テーマの後半で扱う自明性の問題につながっています。 本章（部 1）は論文の §1–2 を精読します。主張の対応は次のとおりです。 | 原論文 | 本章 | |---|---| | Lemma 1 | | | Lemma 2 と (9) | | | Lemma 3 | | | (11)(12) と「測度は滑らかな場に台をもつ」 | 、 | | 「$H$ は滑らか」と (24) | 、 | | Lemma 4 と (27) | 、 | | Lemma 5、(34) と直後の主張 | 、、 | | (35) | | | Lemma 6–9 | 、、、 | | Theorem 1 | | | Lemma 10 | | | (55)–(65) | | | §2.1 の末尾（BK 森公式への帰着） | | （この章の続きは購入者向けです。）