# Euclid 経路積分と転送行列：虚時間の格子から質量ギャップと相関長へ
> 量子力学の Euclid 経路積分を Trotter 積公式で厳密に導き、時間格子の転送行列 T=e^{-aH} から分配関数・相関関数・質量ギャップと相関長 ξ=1/(am) の関係を示す。調和振動子を厳密に解き、連続極限が臨界点で取られる理由を説明する。
> https://rikai.mugen-giken.com/physics/lattice-field-theory/euclidean-path-integral
## 0. この記事の要点
量子力学の計算に出てくる「あらゆる道筋を足し合わせる」という考え方（経路積分）は、そのままでは数学的にうまく扱えません。この記事では、時間を虚数にずらして足し算を正の数だけの安定した計算に直し、時間を細かい刻みに区切ることで、系のエネルギーの差と「離れた 2 点がどれだけ影響し合うか」が一本の線でつながることを確かめます。読み終えると、離れた点の影響が距離とともに弱まる速さから、系の最低励起エネルギーを読み取れる理由が分かります。
- 実時間の経路積分は振動する積分で、測度としては存在しません。時間を虚軸に回すと（Euclid 化）、時間分割した積分は正の重み $e^{-S_E}$ をもつ有限次元積分の極限になり、Trotter 積公式（$e^{A+B}$ を $e^{A/N}e^{B/N}$ の $N$ 乗で近似する公式）から $e^{-\tau H}$ の積分核への**強収束**（各 $\psi$ ごとの $L^2$ での収束）として厳密に導けます。極限の経路測度は Wiener 測度で、これが Feynman–Kac 公式です。
- 時間間隔 $a$ の格子では、1 ステップの時間発展 $T_a=e^{-aV/2}e^{-aH_0}e^{-aV/2}$ が**転送行列**です。$T_a$ は有界・自己共役・正・単射・正値性改良（0 以上で 0 でない関数を、ほとんど至るところ正の関数に写す性質）で、$\int e^{-aV}<\infty$ ならトレースクラス（トレースが定まる、固有値の和が有限な作用素）になります。格子ハミルトニアンを $T_a=e^{-aH_a}$ で定義します。
- 周期的な時間格子（$N$ 点）上の分配関数は $Z_N=\mathrm{Tr}\,T_a^N$、相関関数は転送行列の積のトレースで書けます。$N\to\infty$ で基底状態への射影が起き、連結相関関数は $e^{-ka(E_1-E_0)}$ で減衰します。相関長（格子単位）は $\xi=1/(am)$、$m=E_1-E_0$ は質量ギャップです。
- 調和振動子の格子経路積分は厳密に解けて、格子上の振動数は $\sinh(a\omega_a/2)=a\omega/2$ で決まる $\omega_a=\omega+O(a^2)$ です。$a\to 0$ で連続理論の分配関数と相関関数がそのまま再現されます。
- $d$ 次元の Euclid 場の理論は $d$ 次元の古典統計系そのものです。物理的な質量 $m$ を固定して $a\to0$ とするには格子単位の相関長 $\xi=1/(am)$ が発散しなければならず、連続極限は統計系の**臨界点**で取ることになります。
## 1. 動機
格子場の理論は、場の量子論を「時空を格子に置き換えた有限自由度の積分」として定義し直す枠組みです。そのためには 2 つの段階が要ります。第 1 に、実時間の振動積分 $\int e^{iS}$ を、収束する正の重みの積分 $\int e^{-S_E}$ に置き換えること（Euclid 化）。第 2 に、離散化した Euclid 積分から、元の量子論の [Hilbert 空間](/mathematics/functional-analysis/hilbert-spaces#def-hilbert-space)・ハミルトニアン・スペクトルを読み出すことです。
第 2 の段階で中心になるのが転送行列です。格子の時間方向に 1 ステップ進める演算子 $T$ を作れば、[分配関数](/physics/qft/path-integral-quantization#def-partition-function)は $\mathrm{Tr}\,T^N$、相関関数の時間依存は $T$ の固有値の比で決まり、相関関数が指数減衰する速さがそのまま最低励起エネルギー（質量）になります。格子 QCD でハドロン質量を「相関関数の指数減衰率」として測るのは、この関係に基づいています。
この章では、量子力学（有限自由度）でこの構造を厳密に組み立てます。場の理論の格子正則化は、空間格子点の数だけ自由度をもつ量子力学なので、ここで示す定理は空間体積が有限な格子場の理論にそのまま当てはまります（