# フェルミオンの多重尺度解析：Gram–Hadamard 評価と森公式による収束、尺度ごとの次元勘定、閉路気体と遮蔽
> Grassmann Gauss 積分の切断期待値を Brydges–Kennedy–Abdesselam–Rivasseau の森公式で木の和に書き、Gram–Hadamard 評価で n! を消して摂動級数の体積によらない収束を証明する。尺度分解での核の次元勘定、閉路気体表示、Coulomb 気体の遮蔽も扱う。
> https://rikai.mugen-giken.com/physics/many-fermion-systems/fermionic-multiscale
## 0. この記事の要点
電子のような粒子がたくさん集まって互いに力を及ぼし合う系を、結合の強さの小さな補正を順に足していく方法（摂動展開）で計算すると、足す項の数が急に増えます。その和が本当にまとまった値に落ち着くのかは、自明ではありません。この記事では、電子の仲間（フェルミオン）には「同じ状態を 2 つが占められない」という性質があり、そのおかげで項どうしの大きな打ち消しが起きて、和が体積によらずに落ち着くことを示します。読み終えると、その打ち消しを評価する道具（行列式の不等式と木の公式）と、エネルギーの尺度ごとに分けて調べる見通しが得られます。
- Grassmann Gauss 積分 $E_C$ を「単項式の期待値は共分散の行列式」という Wick 則で直接定義し、加法性 $E_{C_1+C_2}=E_{C_1}*E_{C_2}$、ブロック対角な共分散での因数分解、共分散についての微分公式（Grassmann の部分積分）を証明します。
- Gram–Hadamard 評価：$C(x,y)=\langle f_x,g_y\rangle$ と書けて $\|f_x\|,\|g_y\|\le\gamma$ なら、$C$ の $m\times m$ 小行列式はすべて $\gamma^{2m}$ 以下です。ボソンの永久式が $m!$ で増えるのと対照的に、フェルミオンでは**階乗が消える**ことがすべての出発点です。
- 切断期待値を、Brydges–Kennedy–Abdesselam–Rivasseau の森公式で「木の線を明示的に取り出し、残りを補間した共分散の行列式に入れる」形に書きます（Brydges–Battle–Federbush の公式）。補間行列 $s^T(h)$ は半正定値なので、残りの行列式にも Gram–Hadamard 評価が使えます。
- 局所的な 4 体相互作用 $\lambda\sum_x\bar\psi_{x\uparrow}\psi_{x\uparrow}\bar\psi_{x\downarrow}\psi_{x\downarrow}$ について、$8e|\lambda|\gamma^2D\lt1$（$D$ は共分散の $\ell^1$ ノルム）なら $\log Z$ は体積によらない評価のもとで解析的です。質量のある格子フェルミオンでは $|\lambda|\lesssim m^2$ で一様に収束します。
- 共分散を尺度に分解すると、尺度 $h$ の Gram 定数 $\gamma_h^2\sim M^h$、$\ell^1$ ノルム $D_h\sim M^{-h}$（1 次元の Fermi 面）から、$2p$ 点核の大きさが $M^{h(2-p)}$ になることを証明します。2 点核は関連、4 点核は限界的で、これが Benfatto–Mastropietro の繰り込まれた展開の骨格です。
- フェルミオン行列式は互いに交わらない閉路の気体として書け（閉路気体表示）、Coulomb 気体は sine-Gordon 表示で Gauss 場の汎関数積分になります。後者から Debye 遮蔽（Brydges–Federbush。電荷を持つ粒子の集まりが、外から見ると電気的に打ち消し合って見える現象）の機構が見えます。
## 1. 動機
相互作用するフェルミオン系の自由エネルギーを結合定数 $\lambda$ で展開すると、$n$ 次の項には $n$ 個の頂点を結ぶ Feynman 図形が $(4n)!/(\ldots)$ 程度の個数だけ現れます。ボソン（たとえば $\phi^4$ 模型）では、この図形の数の増大が本物で、摂動級数は収束半径 $0$ の漸近級数です。$\int e^{-\phi^2-\lambda\phi^4}d\phi$ が $\lambda\lt0$ で発散することからもわかります。
フェルミオンでは事情がまったく違います。$n$ 次の図形の和は 1 つの[行列式](/mathematics/linear-algebra/determinants#def-determinant)にまとまり、行列式は Pauli の排他原理を反映した**大きな打ち消し**を含みます。Hadamard の不等式で行列式を評価すると、図形の個数の階乗が消えます。ただし、素朴に行列式全体を評価すると、今度は「連結な部分」だけを取り出す（対数をとる）操作と両立しません。連結性を保ちつつ行列式評価を使うのが、Battle–Federbush・Brydges の木の公式と、その対称な形である Abdesselam–Rivasseau の森公式です。
本章ではこの技術を、[クラスター展開](/physics/constructive-qft/cluster-expansion)の森公式（