[論文レビュー] Remarks on spectral gaps on the Riemannian path space

Shizan Fang, Bo Wu|arXiv (Cornell University)|Aug 31, 2015

Geometric Analysis and Curvature Flows参考文献 14被引用数 4

ひとこと要約

本稿は、基底多様体上のリッチ曲率の下界と上界を用いて、リーマン多様体上のパス空間におけるオーランシュタイン＝ウーレンバック作用素のスペクトルギャップの小時間漸近的評価を確立する。マリャヴィン計算およびパス空間上の確率解析を用いて、時間 T → 0 のときのスペクトルギャップの精密な一次近似を導出し、それがリッチ曲率およびドリフトベクトル場による対称化された摂動によってきわめて厳密に制御されることを示している。

ABSTRACT

In this paper, we will give some remarks on links between the spectral gap of the Ornstein-Uhlenbeck operator on the Riemannian path space with lower and upper bounds of the Ricci curvature on the base manifold; this work was motivated by a recent work of A. Naber on the characterization of the bound of the Ricci curvature by analysis of path spaces.

研究の動機と目的

• パス空間におけるオーランシュタイン＝ウーレンバック作用素のスペクトルギャップと、基底多様体上のリッチ曲率の境界との関係を理解すること。
• 有限時間マージナルにおける対数ソボレフ定数の一様有界性が、リッチ曲率の上界の一様有界性を示唆するかを調査すること。
• リッチ曲率およびドリフトベクトル場による摂動を用いた、スペクトルギャップの小時間漸近的展開を導出すること。
• フレーム bundle 上の確率的微分積分法およびパスワイズ解析を用いて、スペクトルギャップの鋭い推定を確立すること。

提案手法

• 解析は、ウィener測度 $ \mu_{x,T} $ を備えたパス空間 $ W_x^T(M) $ 上で行われ、絶対連続かつ平方可積分な微分を持つ経路からなる Cameron-Martin 空間 $ \mathbb{H} $ を用いる。
• Cylindrical 関数 $ F_T(\gamma) = f(\gamma(t_1), \dots, \gamma(t_N)) $ が用いられ、そのマリャヴィン勾配 $ D_\tau F_T $ は、正規直交フレーム bundle 上でのブラウン運動の確率的発展を介して計算される。
• オーランシュタイン＝ウーレンバック作用素 $ \mathcal{L}_T^x $ は、Dirichlet 形式 $ \mathscr{E}(F,F) = \int_{W_x^T(M)} \left( \int_0^T |D_\tau F|^2 d\tau \right) d\mu_{x,T} $ により定義され、そのスペクトルギャップは分散および勾配ノルムを用いて研究される。
• 著者らは、ブラウン運動に駆動され、ベクトル場 $ Z $ の水平上昇を伴う、正規直交フレーム bundle 上のストラトノビッチ SDE を用い、生成作用素 $ L = \frac{1}{2}(\Delta_M - Z) $ を用いて多様体 $ M $ 上の拡散をモデル化する。
• 重要な道具は、マリャヴィン微分のパスワイズ感度を捉えるダムプド勾配過程 $ C_i(w,s,\tau) $ であり、その確率積分表現が勾配の $ L^2 $ ノルムの計算に用いられる。
• スペクトルギャップの小時間展開は、$ \chi_T = \mathbb{E}\left[ \int_0^T |D_\tau F_T|^2 d\tau \right] / \text{Var}(F_T) $ の漸近的解析を通じて導出され、主要結果 (4.9) および (4.11) に至る。

実験結果

リサーチクエスチョン

• RQ1 パス空間におけるオーランシュタイン＝ウーレンバック作用素のスペクトルギャップは、基底多様体上のリッチ曲率の下界と上界とどのように関係するか？
• RQ2 有限時間マージナルにおける対数ソボレフ定数の一様有界性は、リッチ曲率の一様有界性を示唆するか？
• RQ3 リッチ曲率およびドリフトベクトル場による摂動を用いた、スペクトルギャップの小時間漸近的挙動は何か？
• RQ4 ダムプド勾配およびフレーム bundle 上の確率的発展は、スペクトルギャップ推定にどのように影響を与えるか？

主な発見

• スペクトルギャップは、$ T \to 0 $ のとき $ \text{Spect}(\mathcal{L}_T^x) \geq 1 - \frac{K_1 T}{2} + o(T) $ を満たす。ここで $ K_1 $ は $ \text{Ric}_Z $ の上界である。
• スペクトルギャップは、$ T \to 0 $ のとき $ \text{Spect}(\mathcal{L}_T^x) \leq 1 + \frac{K_2(x) T}{2} + o(T) $ を満たす。ここで $ K_2(x) $ は点 $ x $ における対称化されたリッチ曲率 $ \text{Ric}_Z^s $ の下界である。
• $ \text{Ric} = -K_1 \text{Id} $ の場合、スペクトルギャップは $ \left| \text{Spect}(\mathcal{L}_T^x) - 1 + \frac{K_1 T}{2} \right| = o(T) $ を満たす。これは、リッチ曲率による一次のきわめて鋭い制御を示している。
• 正規化された勾配ノルム $ \chi_T $ は、$ \chi_T = 1 + \frac{T}{2} \langle \text{ric}_Z(u_0) a, a \rangle + o(T) $ を満たし、スペクトルギャップが初期点におけるリッチ曲率と関連づけられる。
• 解析により、スペクトルギャップはリッチ曲率テンソルの全貌に敏感であり、特にその下界のみに依存するのではなく、小時間挙動は曲率およびドリフト場によって支配されることを示している。
• 結果は、パス空間上のスペクトルギャップがリッチ曲率に関する正確な情報を保持しており、A. Naber による予想（このようなパス空間解析が曲率の境界を特徴づけることができる）を支持している。