Instantons in a Double-Well are Poisson Distributed

技術要約：二重井戸におけるインスタントンはポアソン分布に従う

問題設定
本論文は、$\mathbb{R}^n$ 上の対称な二重井戸ポテンシャルを持つ半古典的シュレディンガー作用素に対する、「希薄インスタントンガス（dilute instanton gas）」の概念の厳密な数学的実現に取り組んでいる。作用素は $H_\lambda = -\Delta + \lambda^2 V(X)$ で定義され、$\lambda \to \infty$ において $V$ は $\pm d$ に非退化な大域的最小値を持つ。調査対象となる中心的な物理現象は、基底状態のエネルギー準位のトンネル効果による分裂であり、二つの最低固有値 $E_0(\lambda)$ と $E_1(\lambda)$ は指数関数的に小さい量によって隔てられている。物理学の文献（例：[Col85; Vai+82]）では、インスタントンによる井戸間の遷移は独立したポアソン分布に従うというヒューリスティックな手法が広く用いられているが、熱核（heat kernel）からこの統計的構造を直接導出することは、いくつかの技術的な障害のためにこれまで困難であった。具体的には、古典的なインスタントンが最小値に到達するのに無限の時間が必要であること、ブラウン運動の通過がクラスタリング（密集）する可能性、およびトンネル現象を観測するために指数関数的に長い観測時間スケールが必要であることなどが挙げられる。

手法
著者は、熱核のトレースを解析するために、局所化されたファインマン・カッツ・表現（Feynman–Kac representation）を用いている。固定された観測ボックスを用いるのではなく、熱核の端点を、井戸の近傍 $A_{\lambda, \pm}$（半径 $r_\lambda = \lambda^{-1/4}$）へと縮小させることで局所化している。

核心となる手法上の革新は、ブラウン橋（Brownian bridge）がこれらの近傍間で行う「通過（passages）」の数に基づいて、熱核のトレースを分解することである。交互に配置された近傍への初到達時刻に対応する一連の停止時刻 $\tau_j$ を定義することにより、著者は経路空間を、時間間隔 $\beta$ において正確に $k$ 回の通過を行った経路を表すセクター $Z_{\lambda, k}(\beta)$ へと分割する。

主な技術的ステップは以下の通りである：

1. ホッピング係数の定義： 単一の通過の重み $\rho_\lambda$ は、$\beta \to \infty$ の極限における、1回通過の分配関数と0回通過の分配関数の比として、本質的に定義される：
   $$\rho_\lambda := -\lim_{\beta \to \infty} \frac{Z_{\lambda, 1}(\beta)}{\beta Z_{\lambda, 0}(\beta)}$$
   これは、$\lambda$ 依存の単一井戸領域へのディリクレ制限を持つ $H_\lambda$ の基底状態に関わる境界ワロン・フラックス積分に等しいことが示される。
2. 強マルコフ性による因数分解： 証明においては、経路を「十分に離れた」通過と「クラスタリングした」通過へと分離する。強マルコフ性を用いることで、十分に離れたセクターは独立な事象へと因数分解される。
3. 誤差制御： 著者は、対数的な経路推定とスペクトルギャップの議論を用いて、通過同士が近すぎて独立な事象として扱えない「クラスタリングした」通過の寄与が、関連する時間スケールにおいて無視できることを示す。
4. 総和可能な境界： 比 $Z_{\lambda, k} / Z_{\lambda, 0}$ に関する一様な境界が確立され、これが $k$ について総和可能であることが示される。これにより、個々のセクターから全分配関数を回収することが可能となる。

主要な貢献と結果

1. インスタントンのポアソン収束：
   主要な結果（定理2.1）は、指数関数的に長い時間スケール $\beta = N / |\rho_\lambda|$ （固定された $N > 0$ に対して）において、通過回数 $N_\beta$ が平均 $N$ のポアソン確率変数に収束することを確立している：
   $$\lim_{\lambda \to \infty} P_{\lambda, \beta}^{\text{instanton}}[\{k\}] = e^{-N} \frac{N^k}{k!}$$
   これは、遷移が独立な事象であるという「希薄ガス」の直感を厳密に検証するものである。

2. ホッピング係数の特定：
   本論文は、創発的なパラメータ $\rho_\lambda$ を標準的な半古典的ホッピング係数（相互作用行列要素）と同一視している。具体的には、それが境界フラックスに等しいことが示される：
   $$\rho_\lambda = \int_{\partial \Omega_\lambda} \left( (\nabla \phi_{\Omega_\lambda}^{\lambda, 0}) \phi_{-\Omega_\lambda}^{\lambda, 0} - \phi_{\Omega_\lambda}^{\lambda, 0} (\nabla \phi_{-\Omega_\lambda}^{\lambda, 0}) \right) \cdot \nu \, dy$$
   さらに、この係数の指数的な漸近挙動も決定されている：
   $$\lim_{\lambda \to \infty} -\frac{1}{\lambda} \log |\rho_\lambda| = S(d, -d)$$
   ここで、$S(d, -d)$ は二つの最小値間を移動するために必要な最小のユークリッド作用量である。

3. 固有値分裂の導出：
   偶数通過セクターと奇数通過セクターの比（ポアソン極限から導出されたもの）を熱核のスペクトル展開と比較することにより、著者はエネルギー分裂の主要項の振る舞いを導出している（系2.2）：
   $$E_1(\lambda) - E_0(\lambda) = 2 |\rho_\lambda| (1 + o(1))$$
   この結果は、アドホックなインスタントン総和規則を援用することなく、熱核のトレースの直接的な因数分解から得られている。

意義と主張
本論文は、「希薄インスタントン像の厳密な実現」を提供すると主張している。その意義は、独立なインスタントン事象という物理的なヒューリスティックと、厳密なスペクトル解析との間の溝を埋めた点にある。経路を幾何学的に定義された通過事象によって分解することにより、著者は、馴染み深いインスタントン展開による固有値分裂が、これらの通過のポアソン統計の直接的な帰結であることを証明している。

本手法は、無限の時間を必要とする古典的なインスタントン軌道の困難を、ブラウン橋と停止時刻を用いることで回避している。また、経路のクラスタリングの問題も、そのような事象の寄与が極限において消失することを証明することで解決している。著者は、このアプローチがホッピング係体を境界フラックス、指数的作用量、およびスペクトル分裂と同時に同一視することを指摘しており、これらの概念を単一の確率論的枠組みの中に統合している。これらの結果は、熱核の直接的な因数分解として提示されており、ゲージ理論やその他の半古典的問題で使用されるインスタントン手法に対して、数学的に健全な基礎を提供している。