[論文レビュー] Decomposition of geodesics in the Wasserstein space and the globalization property

Fabio Cavalletti|arXiv (Cornell University)|Sep 26, 2012

Geometric Analysis and Curvature Flows参考文献 19被引用数 8

ひとこと要約

本稿は、曲率次元条件 $\mathsf{CD}^*(K,N)$ を満たす測度付き距離空間における $L^2$-Wasserstein geodesics の分解を確立し、このような geodesics が1次元成分と $\mathsf{CD}^*(K,N-1)$ を満たす低次元成分の積に分解されることを示している。局所的リプシッツ連続性の下で、この分解によりグローバル化結果が得られる：特定の最適輸送クラスに対して、1次元成分は時間に関して線形に変化し、これが全 geodesic におけるグローバルな $\mathsf{CD}(K,N)$ の成立を示唆する。

ABSTRACT

We will prove a decomposition for Wasserstein geodesics in the following sense: let $(X,d,m)$ be a non-branching metric measure space verifying $\mathsf{CD}_{loc}(K,N)$ or equivalently $\mathsf{CD}^{*}(K,N)$. We prove that every geodesic $μ_{t}$ in the $L^{2}$-Wasserstein space, with $μ_{t} \ll m$, is decomposable as the product of two densities, one corresponding to a geodesic with support of codimension one verifying $\mathsf{CD}^{*}(K,N-1)$, and the other associated with a precise one dimensional measure, provided the length map enjoys local Lipschitz regularity. The motivation for our decomposition is in the use of the component evolving like $\mathsf{CD}^{*}$ in the globalization problem. For a particular class of optimal transportation we prove the linearity in time of the other component, obtaining therefore the global $\mathsf{CD}(K,N)$ for $μ_{t}$. The result can be therefore interpret as a globalization theorem for $\mathsf{CD}(K,N)$ for this class of optimal transportation, or as a ``self-improving property'' for $\mathsf{CD}^{*}(K,N)$. Assuming more regularity, namely in the setting of infinitesimally strictly convex metric measure space, the one dimensional density is the product of two differentials giving more insight on the density decomposition.

研究の動機と目的

• 局所的 $\mathsf{CD}_{\text{loc}}(K,N)$ や $\mathsf{CD}^*(K,N)$ 条件が覆いの族において成り立つならば、$\mathsf{CD}(K,N)$ がグローバルに成り立つかどうかという未解決問題に取り組むこと。
• 追加の正則性条件下で、縮小された曲率次元条件 $\mathsf{CD}^*(K,N)$ がグローバルな $\mathsf{CD}(K,N)$ 条件を示すかどうかを検討すること。
• $L^2$-Wasserstein geodesics の幾何的分解を、$\mathsf{CD}^*(K,N-1)$ を満たす余次元1の成分と1次元成分に与えること。
• 特定の最適輸送クラスに対して、1次元成分が時間に関して線形に変化することを証明し、これにより全 geodesic におけるグローバルな $\mathsf{CD}(K,N)$ を得ること。

提案手法

• Kantorovichポテンシャルの等高線集合に沿った測度の分解を用い、運動方向に沿った geodesic の成分に分解する。
• 共面積の公式と球面ハウスドルフ測度を用いて、最適輸送の計量的構造と等高線集合の幾何学的性質を分析する。
• Hopf-Laxの公式を用いてKantorovichポテンシャルを特徴づけ、geodesic 沿いの勾配情報の導出を行う。
• ポテンシャルの時間発展の微分を通じて、1次元成分の密度の形式的表現を導出し、Kantorovichポテンシャルのヘッセ行列と関連付ける。
• 無限小的厳密凸性を課すことにより、分解を精緻化し、1次元密度を2つの微分形式の積として表現する。
• geodesic 沿いのKantorovichポテンシャルの時間微分を用いて、1次元成分の時間的線形性を導出する。

実験結果

リサーチクエスチョン

• RQ1 Wasserstein geodesics の分解を通じて、局所的 $\mathsf{CD}_{\text{loc}}(K,N)$ や $\mathsf{CD}^*(K,N)$ 条件から $\mathsf{CD}(K,N)$ 条件をグローバルに回復できるか。
• RQ2 適切な正則性仮定の下で、Wasserstein geodesic の1次元成分が時間に関して線形に変化するか。その結果、全 geodesic に対して $\mathsf{CD}(K,N)$ が成り立つか。
• RQ3 geodesic 密度が $\mathsf{CD}^*(K,N-1)$ 成分と1次元成分に分解されるとき、その構造が曲率次元構造をどのように反映するか。
• RQ4 Kantorovichポテンシャルのヘッセ行列が1次元成分の挙動を決定づける役割を果たす正確な役割は何か。
• RQ5 $\mathsf{CD}^*(K,N)$ が $\mathsf{CD}(K,N)$ を示す条件は何か。これは自己改善性として見なせるか。

主な発見

• 局所的リプシッツ連続性の下で、$L^2$-Wasserstein 空間内の geodesic $\mu_t$ は、$\mathsf{CD}^*(K,N-1)$-空間に関連する密度と1次元成分の積に分解される。
• 特定の最適輸送クラスに対して、1次元成分は時間に関して線形に変化し、これにより $\mu_t$ に対するグローバルな $\mathsf{CD}(K,N)$ 条件が成立する。
• 無限小的厳密凸性の下で、1次元密度は2つの微分形式の積として表現され、分解が精緻化され、幾何的洞察が得られる。
• geodesic 沿いのKantorovichポテンシャルの時間微分により、$\varphi_t$ の勾配と輸送写像の変化を結ぶ点での恒等式が得られ、1次元成分の挙動の導出を可能にする。
• 形式的計算により、$\lambda_t^{-1} = \|\nabla\varphi_t\|^2 + t \langle H\varphi_t \nabla\varphi_t, \nabla\varphi_t \rangle$ が得られ、ヘッセ行列に基づく輸送構造と整合的である。
• この分解により、$\mathsf{CD}(K,N)$ の $\tau_{K,N}^{(t)}(\theta)$ 係数が、$(N-1)$-次元歪みと $t^{1/N}$ スケーリングの積として生じることを確認し、$\mathsf{CD}^*(K,N)$ の自己改善性を支持する。