Dyson expansion for form-bounded perturbations and applications to the polaron problem

技術的要約：形式有界摂動に対するディゾン展開とポラロン問題への応用

問題設定
本論文は、電荷を持つ粒子とボソン場（例：電子・フォノン結合のフロリッヒ・モデルや、量子電磁力学におけるネルソン・モデル）の間の相互作用を記述する、ポラロン型モデルの数学的解析を扱う。研究対象の中心となるのは、全運動量 $P \in \mathbb{R}^d$ のセクターに制限されたハミルトニアン $H(P)$ である：
$$H(P) = |P - P_f|^2 + d\Gamma(\omega) + \Phi(v)$$
ここで $P_f$ は場の運動量、$d\Gamma(\omega)$ は場のエネルギー、$\Phi(v)$ は相互作用場演算子である。この設定における大きな課題は、相互作用項 $\Phi(v)$ がしばしば非有界であり、非摂動部分に対して演算子有界ではなく、単に**形式有界（form-bounded）**であることにある。この低レギュラー性は、摂動が有界演算子であるか、あるいは非摂動部分に対して演算子有界であることを通常必要とする標準的なディゾン級数展開の直接的な適用を妨げている。

手法
著者らは、単に形式有界である摂動に対してディゾン展開を正当化するための厳密な枠組みを開発している。彼らのアプローチは、主に以下の3つの構成要素からなる：

1. 抽象的ディゾン展開 (セクション 2):
   著者らは、自己共役な $A \geq 0$ と、$A$ に対して相対有界性 $\lambda < 1$ を持つ対称二次形式 $B$ に対する半群 $e^{-t(A+B)}$ のノルム収束展開を確立する。

   • 非有界演算子の積を含む形式的な積分表現を用いる代わりに、レゾルベントの輪郭積分表示を利用する。
   • 有界演算子 $C = (A+a)^{-1/2}(A+B)(A+a)^{-1/2} - 1$ （ここで $a$ はシフトパラメータ）を定義することで、レゾルベント $(z - A - B)^{-1}$ を $C$ のノイマン級数として展開する。
   • これにより、展開 $e^{-t(A+B)} = e^{-tA} + \sum_{n \geq 1} D_n$ が得られる。ここで $D_n$ は輪郭積分によって定義される有界演算子である。決定的なのは、$B$ が演算子有界でない限り、個々の項 $D_n$ が必ずしも相互作用 $\Phi(v)$ の標準的な時間順序積分という形を取らない点である。

2. ポラロン・モデルへの応用 (セクション 3):
   抽象的な結果を、ポラロン・ハミルトニアンに対して、$A = |P - P_f|^2 + d\Gamma(\omega) + a$ および $B = \Phi(v)$ と特定することで適用する。

   • 相互作用が無限小形式有界であることを確認するために、Lieb–Yamazaki交換子法（付録Aで回想）を利用する（仮定1の下で）。
   • 真空期待値 $\langle \Omega | e^{-tH(P)} \Omega \rangle$ を解析する。生成・消滅演算子の数が一致しないために奇数次の項が消滅するという性質を利用し、展開を偶数次のみに限定する。
   • **ウィックの規則（Wick's rule）とプルスルー公式（pull-through formula）**を用いて、抽象的な演算子項を、ウィック・ペアリング（$W_{2n}$ における置換）およびディック・パス（Dyck paths）を含む運動量空間上の明示的な積分へと写像する。

3. 更新方程式と単調性の導出 (セクション 4):

   • ウィック・ペアリングの集合を「インターレース（interlacing/交差）」するペアリング（既約なペアリング）と一般的なペアリングへと分解することにより、真空期待値に関する**更新方程式（renewal equation）**を導出する。これは確率論的手法を用いたウィーナー積分を模したものだが、ここでは演算子論を通じて導出される。
   • 仮定2を導入する。これは、径方向対称性を要求し、$|v(k)|^2$ を含む特定の積分が $|P|^2$ の完全単調関数であることを要求するものである。この仮定は、標準的なフロリッヒ・モデルおよびネルソン・モデル（適切な紫外カットオフを伴う）において成立する。

主要な結果

1. 収束するディゾン展開 (定理 1a):
   仮定1を満たす広範なクラスのポラロン・モデルに対して、著者らは真空期待値の収束展開の存在を証明する：
   $$\langle \Omega | e^{-tH(P)} \Omega \rangle = e^{-t|P|^2} + \sum_{n \geq 1} \sum_{\pi \in W_{2n}} \int_{\Delta_{2n}^t} \int_{\mathbb{R}^{dn}} e^{-\sum t_j E_P^{(\pi,j)}(k)} \prod |v(k_j)|^2 dk_j dt$$
   この展開は、相互作用が形式有界であるにもかかわらず有効である。

2. 更新方程式 (定理 1b):
   完全な期待値と、「インターレース」するウィック・ペアリング ($W_{2n}^0$) を含む畳み込みとの関係を結びつける更新方程式が確立される。この構造は、長時間挙動や凸性を解析するために不可欠である。

3. 完全単調性と凹性 (系 1):
   仮定1および2の下で：

   • 任意の $t > 0$ に対して、関数 $|P|^2 \mapsto \langle \Omega | e^{-tH(P)} \Omega \rangle$ は完全単調である。
   • したがって、基底状態エネルギー $E_0(P) = \inf \text{spec } H(P)$ は $|P|^2$ に関する凹関数である。相互作用が非自明（$v \not\equiv 0$）であれば、基底状態が存在する集合上でこの凹性は厳密である。

意義と主張
本論文は、摂動が演算子有界ではない設定（ポラロンのような量子場理論モデルにおける一般的なシナリオ）において、ディゾン展開に対する厳密な演算子論的正当化を提供することを主張している。

• 方法論的貢献: 本研究は、抽象的な関数解析（形式有界摂動）と具体的な物理モデルとの間の溝を埋め、確率的表現（ウィーナー積分など）に頼ることなく、これらの特定の性質を証明するためのツールを導出する手段を提供する。
• 物理的含意: これらの結果は、フロリヒ・モデルおよびネルソン・モデルにおいて、基底状態エネルギーが $|P|^2$ に対して凹であることを裏付けている。この性質は、強結合極限における有効質量のランダウ・ペカール公式の妥当性に関する最近の証明における重要な要素として注目されている。
• 汎用性: 抽象的な枠組み（定理 2）は、摂動が形式有界であるあらゆる系に適用可能な一般的なツールとして提示されており、ポラロン問題を超えて他の量子場理論モデルへ拡張できる可能性がある。

著者らは、自身の更新方程式によるアプローチが、以前に確率的手法（特にフロリヒ・モデルに関する [14]）によって得られた結果を回収することを明示しており、それを通じて、低レギュラーな設定におけるディゾン展開の有用性を検証している。