[論文レビュー] Generalized Gamma $z$ calculus via sub-Riemannian density manifold

Qi Feng, Wuchen Li|arXiv (Cornell University)|Oct 16, 2019

Geometric Analysis and Curvature Flows参考文献 37被引用数 5

ひとこと要約

本稿では、ステップ2条件を要件としない、部分リーマン多様体上の退化した拡散過程を分析するための一般化されたガンマ $z$ 計算を導入する。部分リーマン多様体におけるリッチ曲率テンソルと曲率次元の境界を確立し、密度多様体上の勾配流と関連づけることで、退化した設定におけるエントロピー散逸と関数不等式を可能にする。

ABSTRACT

We generalize the Gamma $z$ calculus to study degenerate drift-diffusion processes, where $z$ stands for extra directions introduced into the degenerate system. Based on this calculus, we establish the sub-Riemannian Ricci curvature tensor and the associated curvature dimension bound for general sub-Riemannian manifolds. These results do not require the commutative iteration of Gamma and Gamma z operator and go beyond the step two condition. These allow us to analyze the convergence properties of degenerate drift-diffusion processes and prove the entropy dissipation rate and several functional inequalities in sub-Riemannian manifolds. Several examples are provided. In particular, we show the global in time convergence result for displacement group with a weighted volume on a compact region. The new Gamma $z$ calculus is motivated by optimal transport and density manifold. We embed the probability density space over sub-Riemannian manifold with the $L^2$ sub-Riemannian Wasserstein metric. We call it sub-Riemannian density manifold (SDM). We study the dynamical behavior of the degenerate Fokker-Planck equation as gradient flows in SDM. Our derivation builds an equivalence relation between Gamma z calculus and second-order calculus in SDM.

研究の動機と目的

• ステップ2条件を超えた退化した拡散過程へのガンマ $z$ 計算の拡張を図ること。
• 一般の部分リーマン多様体における部分リーマン多様体リッチ曲率テンソルと曲率次元境界を定義すること。
• 部分リーマン多様体密度多様体（SDM）上の勾配流構造を用いて、退化したフォッカー・プランク方程式の収束性とエントロピー散逸を分析すること。
• 一般化されたガンマ $z$ 計算とSDM上の2次微分計算の間の同値性を確立すること。
• コンパクトな部分リーマン多様体領域における重み付き体積を伴う変位群ダイナミクスについて、時間全域での収束結果を提示すること。

提案手法

• 部分リーマン多様体上の確率測度の空間を、$L^2$ 部分リーマン Wasserstein 距離で埋め込み、部分リーマン密度多様体（SDM）を構成する。
• 退化系における余分な方向 $z$ を取り扱うために、一般化されたガンマ $z$ 計算を定義し、可換作用素の反復を超えた古典的ガンマ計算への拡張を実現する。
• ステップ2条件を仮定せずに、部分リーマン多様体におけるリッチ曲率テンソルと曲率次元境界を導出する。
• 退化したフォッカー・プランク方程式を、SDMにおける勾配流としてモデル化し、最適輸送と密度多様体幾何学とを関連付ける。
• 一般化されたガンマ $z$ 計算とSDM上の2次微分計算の間の同値性を確立し、関数不等式とエントロピー推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのように一般化されたガンマ $z$ 計算を、ステップ2条件を超えた部分リーマン多様体上の退化した拡散過程に適用できるか？
• RQ2 新しい計算法を用いた一般部分リーマン多様体におけるリッチ曲率テンソルと曲率次元境界の構造はいかなるものか？
• RQ3 部分リーマン密度多様体上でのフォッカー・プランク方程式の勾配流定式化は、エントロピー散逸と収束性とどのように関係するか？
• RQ4 一般化されたガンマ $z$ 計算から、退化した設定で導ける関数不等式は何か？
• RQ5 コンパクトな部分リーマン多様体領域における重み付き体積を伴う変位群ダイナミクスについて、時間全域での収束を確立できるか？

主な発見

• 一般化されたガンマ $z$ 計算により、ステップ2条件を要件としない一般部分リーマン多様体上でも、曲率次元境界とリッチ曲率テンソルの構成が可能となった。
• 部分リーマン密度多様体（SDM）は、$L^2$ 部分リーマン Wasserstein 距離を用いた退化したフォッカー・プランク方程式の勾配流定式化を支持する。
• 一般化されたガンマ $z$ 計算とSDM上の2次微分計算の間の同値性が確立され、幾何的整合性が裏付けられた。
• 退化した拡散過程におけるエントロピー散逸率が導出され、平衡状態への収束が確認された。
• コンパクトな部分リーマン多様体領域における重み付き体積付き変位群について、時間全域での収束が証明され、古典的結果が退化した設定へと拡張された。