フェルミオンの多重尺度解析：Gram–Hadamard 評価と森公式による収束、尺度ごとの次元勘定、閉路気体と遮蔽

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 つの数で、行や列を入れ替えると符号が変わり、同じ行が 2 つあると $0$ になるもの。→ 行列式
• 半正定値: 行列 $S$ が、どんなベクトル $v$ に対しても $v^*Sv\ge0$ を満たす、という性質。→ 半正定値
• Hadamard の不等式: 行列式の絶対値を、各列ベクトルの長さの積で上から抑える不等式。→ 行列の固有値評価と不等式
• Grassmann 代数: 掛け算の順序を入れ替えると符号が変わり、同じ生成元を 2 回掛けると $0$ になる代数。フェルミオンの場を表すのに使います。→ Grassmann 代数
• 森公式: クラスター展開で、辺の数を数える代わりに木を明示的に取り出す公式。→ クラスター展開

1. 動機

相互作用するフェルミオン系の自由エネルギーを結合定数 $\lambda$ で展開すると、$n$ 次の項には $n$ 個の頂点を結ぶ Feynman 図形が $(4n)!/(\ldots)$ 程度の個数だけ現れます。ボソン（たとえば $\phi^4$ 模型）では、この図形の数の増大が本物で、摂動級数は収束半径 $0$ の漸近級数です。$\int e^{-\phi^2-\lambda\phi^4}d\phi$ が $\lambda\lt0$ で発散することからもわかります。

フェルミオンでは事情がまったく違います。$n$ 次の図形の和は 1 つの行列式にまとまり、行列式は Pauli の排他原理を反映した大きな打ち消しを含みます。Hadamard の不等式で行列式を評価すると、図形の個数の階乗が消えます。ただし、素朴に行列式全体を評価すると、今度は「連結な部分」だけを取り出す（対数をとる）操作と両立しません。連結性を保ちつつ行列式評価を使うのが、Battle–Federbush・Brydges の木の公式と、その対称な形である Abdesselam–Rivasseau の森公式です。

本章ではこの技術を、クラスター展開の森公式（定理 5.1［クラスター展開と Kotecký–Preiss の判定条件］）と 行列の不等式の Hadamard の不等式（定理 5.1［行列の固有値評価と不等式］）から組み立てます。主定理は 1 つの尺度での収束（定理 4.4）と、尺度ごとの核の次元勘定（定理 5.2）です。これを尺度について繰り返すのが多重尺度解析で、1 次元の Fermi 系（次章の朝永–Luttinger 模型）や 2 次元の Fermi 液体の厳密な結果はすべてこの上に立っています。

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

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

購入する ログイン