クラスター展開の収束条件と解析性：Penrose 木・Fernández–Procacci 判定・打ち切り相関の減衰

0. この記事の要点

たくさんの粒子が互いに邪魔し合う系の性質を、粒子が少ない場合の和（展開）で書き表したとき、その和が本当に収束するのはどんな場合か、という話です。ここでは展開の各項を数える新しい方法で収束の条件を広げ、離れた場所どうしの影響が距離とともに急に小さくなること、さらに結合定数を少し複素数に広げても自由エネルギーがなめらかなままであることを示します。読み終えると、これらの結論がどの評価から出てくるかを追えるようになります。

• Ursell 関数 $\varphi^{\mathrm T}$ は、両立しなさのグラフ $H$ のPenrose 木（幅優先探索で作った全域木のうち、同じ深さの頂点どうしが $H$ で隣接しないもの）の数に符号を付けたものに等しくなります。クラスター展開の章の最小全域木による分割とは別の分割で、こちらは「兄弟は互いに両立する」という構造を持ちます。
• この構造を再帰に使うと、Fernández–Procacci の判定条件 $|w(\gamma)|\,\Xi_{\mathcal N(\gamma)}(\mu)\le\mu(\gamma)$ のもとでクラスター展開が絶対収束します。Kotecký–Preiss の条件より真に弱く、部分集合ポリマーでは 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 評価により、打ち切り相関は「すべての台に触れるクラスター」の和の上限で抑えられ、台を結ぶのに必要な大きさについて指数減衰します。
• 解析性の伝播: 一様に有界な正則関数の列が実の開集合で収束すれば、多重円板上で一様収束し、極限は正則で導関数も収束します。これで自由エネルギーと相関関数の熱力学極限の解析性が得られます。

この記事で使う事前知識

• ポリマー系: 互いに重ならない「部品」（ポリマー）に重みを付け、両立する部品の組だけを足し上げて分配関数を作る枠組み。→ ポリマー系
• 結合キュムラント: モーメントを分割束の Möbius 反転で組み替えた量で、独立な変数の組に対しては 0 になる。→ 結合キュムラント
• Kotecký–Preiss の判定条件: 重みが十分小さいとき、ポリマー系の分配関数の対数のクラスター展開が絶対収束するという条件。→ クラスター展開の章
• Cauchy 評価: 多重円板上の正則関数の導関数の大きさを、円板上の最大値で上から抑える不等式。
• 一致の定理: 連結な領域で正則な関数が、ある開集合上で 0 なら全体で 0 になるという性質。

1. 動機

クラスター展開の章 では、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 つ目は解析性です。相転移がないことを数学的に表すのは、自由エネルギーが結合定数の実解析関数であることです。有限体積の量は多項式や整関数なので解析的なのは当然で、問題は極限がどうなるかです。一様に有界な正則関数の列なら、収束は実の開集合で確かめれば十分で、極限は自動的に正則になり、導関数（相関関数）も収束します。

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

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

購入する ログイン