Conditioned Brownian motion and local equivalence of path ensembles

技術的要約：条件付きブラウン運動とパス・アンサンブルの局所的等価性

問題設定
本論文は、連続な閉じ込めポテンシャル $Q$ の時間平均値が固定されたレベル $\theta$ を下回るという「稀な事象」を条件付けられた、$d$ 次元のブラウン運動 $W = (W_t)_{t \ge 0}$ の漸近挙動を調査している。具体的には、条件付き測度 $\mathbb{L}_x((W_t)_{0 \le t \le S} \mid A_T \le \theta T)$ が、時間地平 $T \to \infty$ においてどのように振る舞うかに焦点を当てている。ここで、$A_T = \int_0^T Q(W_s) ds$ である。

条件付けられた事象は稀である。なぜなら、非条件付きのブラウン運動はスケール $\sqrt{T}$ の空間を探索するため、時間平均ポテンシャルが増大する一方で、制約条件は経路を有界な領域内に局在化させるからである。条件付きプロセスは、制約のグローバルな性質によりマルコフ性を失うが、本論文は任意の固定された初期時間窓 $[0, S]$ における極限となるマルコフ過程を特定することを目的としている。

先行研究である Aurzada, Lifshits, および Schickentanz [2] は、$d=1$ かつ $Q(x)=x^2$ という特定のケースにおいて、極限がオルンシュタイン＝ウーレンベック過程になることを示した。彼らは、一般的な閉じ込めポテンシャルおよび任意の次元において、その極限はシュレディンガー作用素に関連する「基底状態拡散（ground-state diffusion）」になるという予想を立てた。本論文はこの予想を解決するものである。

手法
アプローチは、二次形式の場合に用いられる正確な小偏差公式ではなく、シュレディンガー作用素のスペクトル理論と、ファインマン＝カッツ測度に対する局所極限定理（LLT）に基づいている。

1. アンサンブルの等価性と傾斜（Tilting）: 著者らは、「マイクロカノニカル」な制約（$A_T \le \theta T$）を、ファインマン＝カッツ重み $e^{-\beta A_T}$ を用いた「カノニカル」なアンサンブルへと関連付けている。カノニカル測度は、シュレディンガー作用素 $H_\beta = -\Delta/2 + \beta Q$ のパス測度に対応する。
2. スペクトル解析: 証明の核心は、複素化された作用素 $H_{\beta - iu} = -\Delta/2 + (\beta - iu)Q$ のスペクトルの解析にある。
   • 基底状態: 実数 $\beta > 0$ に対して、$H_\beta$ は離散スペクトル、一意かつ厳密に正な基底状態 $\phi_\beta$、および固有値 $\lambda(\beta)$ を持つ。
   • スペクトルギャップ: 重要な技術的要素は、補題 2.1 である。これは、ゼロでない周波数 $u \neq 0$ に対して、 $H_{\beta - iu}$ の任意の固有値 $\zeta$ の実部が $\Re(\zeta) > \lambda(\beta)$ を満たすという厳密なスペクトルギャップを証明している。これは、直径不等式（diamagnetic inequality）と $Q$ が定数ではないという事実を用いて確立される。このギャップにより、ゼロでないフーリエモードが基底状態モードよりも指数関数的に速く減衰することが保証される。
3. 局所極限定理 (LLT): スペクトルギャップと $u=0$ 付近での解析的摂動論を組み合わせることで、著者は傾斜された測度の下での確率変数 $Y_T = A_T - \lambda'(\beta)T$ に関する局所極限定理を導出している。これにより、$A_T$ の確率密度に関する精密な漸近挙動が得られる。これは、ラプラス変換を反転（「アンティルティング（untilting）」）し、ハード制約の確率を回収するために必要である。
4. アンティルティングと収束: LLT を用いて、$\mathbb{P}_x(A_T \le \theta T + z)$ の鋭い漸近挙動を導出し、その後、マルコフ特性とシェフェの補題（Scheffé's Lemma）を適用することで、条件付きパス測度のラドン＝ニコディム微分が基底状態変換の密度に $L^1$ で収束することを示す。

主要な貢献と結果

1. 予想の解決: 本論文は、広範な連続な閉じ込めポテンシャル $Q$ を持つ任意の有限次元 $d$ において、条件付きブラウン運動が、以下の確率微分方程式によって定義される拡散過程 $X_t$ に、任意の固定された時間窓 $[0, S]$ 上で全変動（total variation）の意味で収束することを証明した。
   $$dX_t = dB_t + \nabla \log \phi_{\beta_\theta}(X_t) dt$$
   ここで、$\phi_{\beta_\theta}$ は $H_{\beta_\theta}$ の基底状態であり、$\beta_\theta$ は $\lambda'(\beta_\theta) = \theta$ を満たす一意なパラメータである。これは、[2] の予想を一般的なポテンシャルと次元に対して確認するものである。

2. 鋭い漸近挙動: 論文は、制約の有界な摂動を含む、条件付け事象の正確な漸近公式を確立している：
   $$\mathbb{P}_x(A_T \le \theta T + z) \sim \frac{\phi_{\beta_\theta}(x) \|\phi_{\beta_\theta}\|_1}{\beta_\theta \sqrt{2\pi \sigma_\theta^2 T}} \exp(-I_Q(\theta)T + \beta_\theta z)$$
   ここで、$I_Q(\theta)$ はレート関数であり、$\sigma_\theta^2 = -\lambda''(\beta_\theta)$ である。この結果は、大偏差理論だけでは提供できない $T^{-1/2}$ の前因子と、シフト $z$ への依存性を提供している。

3. アンサンブルの局所的等価性: 結果は、「マイクロカノニカル」アンサンブル（ハード制約）と「カノニカル」アンサンブル（指数的傾斜）の間の強い形式の等価性を実証している。具体的には、局所極限定理を用いることで、カノニカル法則の混合を「解除」して、特定のエネルギー密度 $\theta$ における挙動を孤立させることができ、ハード制約下での典型的な経路が、最適な指数的傾斜の下での経路と局所的に区別不能であることを証明している。

4. 一般過程への拡張: 本手法は、ブラウン運動を超えて、関連するシュレディンガー型作用素が特定のスペクトルおよび平滑化特性（コンパクト分解、正値改善、およびフーリエモードのスペクトル分離）を満たす限り、あらゆる可逆マルコフ過程（多次元オルンシュタイン＝ウーレンベック過程、コックス＝インガソル＝ロス過程、および連続時間マルコフ連鎖を含む）に拡張可能であることが示されている。

意義
本論文は、条件付きブラウン運動の極限に関する特定の予想を解決し、既知の結果を一次元二次ポテンシャルから任意の次元および一般的な閉じ込めポテンシャルへと拡張した。全変動による収束と鋭い漸近挙動を確立することで、非平衡統計力学におけるアンサンブル等価性の理論的基礎を強化している。開発されたスペクトル的アプローチは、大偏差理論（対数的漸近挙動を記述する）と、極限ダイナミクスを特定するために必要な精密な局所的挙動との間の溝を埋めるものである。さらに、ここでのスペクトル的アプローチは、正確なガウス公式に依存することなく、広範な確率システム（正値改善やスペクトル分離を持つもの）における稀な事象を分析するための堅牢な枠組みを提供しており、正確な解が得られない非ガウス系や相互作用系への適用を可能にしている。