# クラスター展開の収束条件と解析性：Penrose 木・Fernández–Procacci 判定・打ち切り相関の減衰 > Penrose の幅優先木による連結グラフの分割から Fernández–Procacci の判定条件と Gruber–Kunz 型の条件を証明し、分割束の Möbius 反転で打ち切り相関を log Ξ の微分として表す。多重円板の Cauchy 評価で打ち切り相関の指数減衰と、熱力学極限への解析性の伝播を示す。 > https://rikai.mugen-giken.com/physics/constructive-qft/cluster-expansion-convergence ## 0. この記事の要点 たくさんの粒子が互いに邪魔し合う系の性質を、粒子が少ない場合の和（展開）で書き表したとき、その和が本当に収束するのはどんな場合か、という話です。ここでは展開の各項を数える新しい方法で収束の条件を広げ、離れた場所どうしの影響が距離とともに急に小さくなること、さらに結合定数を少し複素数に広げても自由エネルギーがなめらかなままであることを示します。読み終えると、これらの結論がどの評価から出てくるかを追えるようになります。 - Ursell 関数 $\varphi^{\mathrm T}$ は、両立しなさのグラフ $H$ の**Penrose 木**（幅優先探索で作った全域木のうち、同じ深さの頂点どうしが $H$ で隣接しないもの）の数に符号を付けたものに等しくなります。クラスター展開の章の最小全域木による分割とは別の分割で、こちらは「兄弟は互いに両立する」という構造を持ちます。 - この構造を再帰に使うと、**Fernández–Procacci の判定条件** $|w(\gamma)|\,\Xi_{\mathcal N(\gamma)}(\mu)\le\mu(\gamma)$ のもとでクラスター展開が絶対収束します。[Kotecký–Preiss の条件](/physics/constructive-qft/cluster-expansion)より真に弱く、部分集合ポリマーでは **Gruber–Kunz** 型の条件 $\sum_{\gamma\ni x}|w(\gamma)|e^{a|\gamma|}\le e^a-1$ が従います。 - 打ち切り相関（連結相関）は、分割束の **Möbius 反転** $\langle U_1;\dots;U_m\rangle^{\mathrm T}=\sum_\pi(-1)^{|\pi|-1}(|\pi|-1)!\prod_{B\in\pi}\langle U_B\rangle$ で定義され、$\log\Xi$ の混合微分に等しくなります。 - **多重円板の Cauchy 評価**により、打ち切り相関は「すべての台に触れるクラスター」の和の上限で抑えられ、台を結ぶのに必要な大きさについて指数減衰します。 - **解析性の伝播**: 一様に有界な正則関数の列が実の開集合で収束すれば、多重円板上で一様収束し、極限は正則で導関数も収束します。これで自由エネルギーと相関関数の熱力学極限の解析性が得られます。 ## 1. 動機 [クラスター展開の章](/physics/constructive-qft/cluster-expansion) では、Kotecký–Preiss の判定条件のもとでクラスター展開が体積によらず絶対収束することを、最小全域木による連結グラフの分割（木グラフ不等式）から証明しました。この章では、それを 3 つの方向に精密化します。 1 つ目は**条件そのものの改良**です。木グラフ不等式は連結グラフの符号付き和を全域木の**総数**で抑えますが、実際には打ち消し合いがもっと強く起こります。Penrose（1967）の分割を使うと、数える必要があるのは兄弟が互いに両立する木だけになり、Fernández–Procacci（2007）はこれを再帰に組み込んで判定条件を広げました。1 次元の排除格子気体では、収束半径の下界が Kotecký–Preiss の $0.123$ から $0.2$ に上がります（真の値は $0.25$）。 2 つ目は**相関関数**です。物理で必要なのは $\log\Xi$ だけでなく、局所的な観測量の連結相関が距離について指数減衰すること（質量ギャップ）です。連結相関は分割束の Möbius 反転として組合せ論的に定義され、それが $\log\Xi$ の微分であることを使うと、減衰は「微分を Cauchy の積分公式で上限に置き換える」だけで得られます。 3 つ目は**解析性**です。相転移がないことを数学的に表すのは、自由エネルギーが結合定数の実解析関数であることです。有限体積の量は多項式や整関数なので解析的なのは当然で、問題は極限がどうなるかです。一様に有界な正則関数の列なら、収束は実の開集合で確かめれば十分で、極限は自動的に正則になり、導関数（相関関数）も収束します。 （この章の続きは購入者向けです。）