[論文レビュー] Dynamical aspects of generalized Schr{\\"o}dinger problem via Otto calculus -- A heuristic point of view

Ivan Gentil, Christian Léonard+1 more|arXiv (Cornell University)|Jun 1, 2018

Geometric Analysis and Curvature Flows被引用数 13

ひとこと要約

本稿では、相対エントロピーを一般の汎関数 $\mathcal{F}$ に置き換えることで、Schrödinger問題を一般化する摂動 Wasserstein コスト関数 $\mathcal{A}^\varepsilon_\mathcal{F}$ を導入する。オットー微分幾何学と遅延した勾配流のヒューリスティック解析を用いて、$\varepsilon\mathcal{F}$-補間に関するニュートン型方程式を導出し、リッチ下界のもとで新たな収縮不等式を確立する。これは、最適輸送理論および勾配流理論における既知の結果を拡張する。

ABSTRACT

The defining equation $(\\ast):\\ \\dot \\omega\\_t=-F'(\\omega\\_t),$ of a gradient flow is kinetic in essence. This article explores some dynamical (rather than kinetic) features of gradient flows (i) by embedding equation $(\\ast)$ into the family of slowed down gradient flow equations: $\\dot \\omega ^{ \\varepsilon}\\_t=- \\varepsilon F'( \\omega ^{ \\varepsilon}\\_t),$ where $\\varepsilon>0$, and (ii) by considering the \\emph{accelerations} $\\ddot \\omega ^{ \\varepsilon}\\_t$. We shall focus on Wasserstein gradient flows. Our approach is mainly heuristic. It relies on Otto calculus.A special formulation of the Schr{\\"o}dinger problem consists in minimizing some action on the Wasserstein space of probability measures on a Riemannian manifold subject to fixed initial and final data. We extend this action minimization problem by replacing the usual entropy, underlying Schr{\\"o}dinger problem, with a general function of the Wasserstein space. The corresponding minimal cost approaches the squared Wasserstein distance when some fluctuation parameter tends to zero. We show heuristically that the solutions satisfy a Newton equation, extending a recent result of Conforti. The connection with Wasserstein gradient flows is established and various inequalities, including evolutional variational inequalities and contraction inequality under curvature-dimension condition, are derived with a heuristic point of view. As a rigorous result we prove a new and general contraction inequality for the Schr{\\"o}dinger problem under a Ricci lower bound on a smooth and compact Riemannian manifold.

研究の動機と目的

• Wasserstein 空間上での相対エントロピーを一般の汎関数 $\mathcal{F}$ に置き換えることで、Schrödinger 問題をエントロピー最小化を超えて拡張すること。
• 正規化パrameter $\varepsilon > 0$ を導入し、加速項 $\ddot{\omega}^\varepsilon_t$ の分析を通じて勾配流の動的性質を調査すること。
• $\varepsilon\mathcal{F}$-補間と Wasserstein 空間内でのニュートン方程式との間のヒューリスティックな関係を確立すること。
• 特にリッチ下界を含む曲率次元条件のもとで、一般化された問題に対する新たな収縮不等式を導出すること。
• コンパクトなリーマン多様体上でのリッチ下界のもとで、Schrödinger 問題に対する厳密な収縮不等式を確立し、先行研究を改善すること。

提案手法

• 本稿では、運動エネルギーとペナルティ項 $\varepsilon^2 |\operatorname{grad}_\mu \mathcal{F}|^2$ を含む作用の下界として、コスト関数 $\mathcal{A}^\varepsilon_\mathcal{F}(\mu,\nu)$ を定義し、Benamou-Brenier の公式を一般化する。
• Wasserstein 空間 $\mathcal{P}_2(N)$ を無限次元リーマン多様体と解釈するためにオットー微分幾何学を用い、測地線、勾配、ヘッセ行列の定義を可能にする。
• $\varepsilon\mathcal{F}$-補間の解析を通じて、Wasserstein 空間内でのヒューリスティックなニュートン方程式の導出がなされ、Conforti の最近の結果がより広い汎関数のクラスへと拡張される。
• マコフ半群技法と熱核推定を用いて、リッチ下界 $\rho$ のもとで収縮不等式を導出し、$\Gamma_2$-微分幾何学とラプラシアンの固有値性質を活用する。
• コーシー・シュワルツ不等式と時間反転の議論を用いて、$\varepsilon\mathcal{F}$-補間が元の経路からどれほど逸脱するかを評価し、最終的な収縮結果を得る。
• 熱半群 $\mathsf{P}_t$ を用いた摂動論的議論により厳密な結果を証明し、$\Lambda(r)$ とリッチ曲率を含む微分不等式の積分から、主要な不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 勾配流に遅延パrameter $\varepsilon$ を導入することで、運動的進化を超えた動的性質がどのように明らかになるか？
• RQ2 $\varepsilon\mathcal{F}$-補間が Wasserstein 空間内でニュートン型方程式を満たすか。その方程式の物理的・幾何的解釈は何か？
• RQ3 エントロピーを一般の汎関数 $\mathcal{F}$ に置き換えた一般化された Schrödinger 問題が、リッチ下界のもとで収縮性を有するという曲率的性質を継承するか？
• RQ4 オットー微分幾何学は、Wasserstein 空間における2次微分力学およびヘッセ行列に類似した構造をどのように定式化するか？
• RQ5 時間歪みなしで、リッチ曲率下界のもとで、Schrödinger 問題に対する新たな収縮不等式を導出できるか？

主な発見

• $\varepsilon\mathcal{F}$-補間は、Wasserstein 空間内でヒューリスティックにニュートン方程式を満たし、Conforti の最近の結果がより広い汎関数のクラスへと拡張される。
• $\varepsilon \to 0$ の極限において、コスト関数 $\mathcal{A}^\varepsilon_\mathcal{F}$ は二乗 Wasserstein 距離 $W_2^2$ に収束し、古典的最適輸送理論と整合性を保つ。
• リッチ下界 $\rho$ のもとで、Schrödinger 問題に対する新たな収縮不等式が厳密に証明され、不等式は $\mathcal{A}^\varepsilon_\mathcal{E\!nt}(\mathsf{P}_t\mu, \mathsf{P}_t\nu) \leq e^{-2\rho t} \mathcal{A}^\varepsilon_\mathcal{E\!nt}(\mu, \nu)$ の形で表される。
• 時間歪みなしで収縮不等式が導出され、[GLR17] の先行研究を改善する。この結果は、半群 $\mathsf{P}_t$ とリッチ曲率を含む微分不等式に依存する。
• この手法により、$\mathcal{F}$-補間が滑らかであると予想され、Wasserstein 空間上での2次微分幾何学の適用を支持する。
• この枠組みは、ベクトル場 $V$ を伴う演算子 $\Delta_g + \,V$ に対しても一般化可能であり、標準的 Schrödinger 問題を超えた広範な応用可能性を示唆する。