[論文レビュー] Hessian metrics and optimal transportation of log-concave measures

Alexander V. Kolesnikov|arXiv (Cornell University)|Jan 11, 2012

Geometric Analysis and Curvature Flows被引用数 1

ひとこと要約

本稿は、対数凸測度 $ \mu = e^{-V}dx $ を別の測度 $ \nu = e^{-W}dx $ に押し出す最適輸送写像 $ \nabla \Phi $ から導かれるリーマン計量 $ g = D^2 \tilde{\Phi} $ を導入する。この計量-測度空間 $ (\mathbb{R}^d, g, \mu) $ が $ V $ と $ W $ が凸関数であるとき非負の Bakry–Émery トランスバーサルを有することを確立し、$ \nu $ が凸集合上のルベーグ測度である場合には $ CD(K,N) $ 空間となる。これにより、比較幾何学と濃縮現象論を用いて $ \|D^2\Phi\| $ と直径に関するグローバル推定が得られる。

ABSTRACT

We study the optimal transportation mapping $ abla \Phi : \mathbb{R}^d \mapsto \mathbb{R}^d$ pushing forward a probability measure $\mu = e^{-V} dx$ onto another probability measure $ u = e^{-W} dx$. Following a classical approach of E. Calabi we introduce the Riemannian metric $g = D^2 \Phi$ on $\mathbb{R}^d$ and study spectral properties of the metric-measure space $M=(\mathbb{R}^d, g, \mu)$. We prove, in particular, that $M$ admits a non-negative Bakry--{E}mery tensor provided both $V$ and $W$ are convex. If the target measure $ u$ is the Lebesgue measure on a convex set $\Omega$ and $\mu$ is log-concave we prove that $M$ is a $CD(K,N)$ space. Applications of these results include some global dimension-free a priori estimates of $\| D^2 \Phi\|$. With the help of comparison techniques on Riemannian manifolds and probabilistic concentration arguments we proof some diameter estimates for $M$.

研究の動機と目的

• 対数凸測度間の最適輸送写像によって誘導されるリーマン計量 $ g = D^2\Phi $ を分析すること。
• 計量-測度空間 $ (\mathbb{R}^d, g, \mu) $、ここで $ \mu = e^{-V}dx $ であるもののスペクトル的および曲率的性質を調査すること。
• 特に、ターゲット測度が凸集合上に一様分布である場合に、この空間が $ CD(K,N) $ 曲率次元条件を満たす条件を確立すること。
• 幾何学的および確率的技法を用いて、$ \|D^2\Phi\| $ に対するグローバルかつ次元に依存しない推定を導出すること。
• 比較定理および測度濃縮を用いて、リーマン多様体 $ (\mathbb{R}^d, g) $ の直径推定を得ること。

提案手法

• 最適輸送写像 $ \nabla\Phi $ が $ \mu = e^{-V}dx $ から $ \nu = e^{-W}dx $ への写像であるとき、$ \mathbb{R}^d $ 上にリーマン計量 $ g = D^2\Phi $ を定義する。
• E. カラビの枠組みを用いて、計量-測度空間 $ (\mathbb{R}^d, g, \mu) $ のスペクトル的性質を研究する。
• 関数 $ \Phi $ の二階微分的性質を用いて、$ V $ と $ W $ がともに凸関数であるとき、Bakry–Émery トランスバーサルが非負であることを証明する。
• $ \nu $ が凸集合 $ \Omega $ 上のルベーグ測度であるとき、$ (\mathbb{R}^d, g, \mu) $ が $ CD(K,N) $ 空間であることを、凸性と輸送構造を活用して確立する。
• リーマン多様体上の比較幾何学を用いて、$ (\mathbb{R}^d, g) $ の直径の上限を導出する。
• 確率的濃縮の議論を用いて、直径推定を補強し、$ D^2\Phi $ の挙動を制御する。

実験結果

リサーチクエスチョン

• RQ1 計量-測度空間 $ (\mathbb{R}^d, g, \mu) $ の Bakry–Émery トランスバーサルが非負となる $ V $ と $ W $ に関する条件は何か？
• RQ2 特にターゲット測度が凸集合上の一様分布である場合に、計量-測度空間 $ (\mathbb{R}^d, g, \mu) $ が $ CD(K,N) $ 空間である条件は何か？
• RQ3 幾何学的および確率的道具を用いて、$ \|D^2\Phi\| $ に対するグローバルかつ次元に依存しない境界を導出可能か？
• RQ4 リーマン多様体 $ (\mathbb{R}^d, g) $ の直径推定はどのようなものであり、$ \mu $ と $ \nu $ の幾何構造にどのように依存するか？
• RQ5 比較技法と測度濃縮は、輸送双対計量空間の曲率とサイズを推定するためにどのように寄与するか？

主な発見

• $ V $ と $ W $ がともに凸関数である限り、計量-測度空間 $ (\mathbb{R}^d, g, \mu) $ は非負の Bakry–Émery トランスバーサルを有する。
• $ \nu $ が凸集合 $ \Omega $ 上のルベーグ測度であるとき、空間 $ (\mathbb{R}^d, g, \mu) $ は $ CD(K,N) $ 曲率次元条件を満たす。
• 曲率と輸送構造の相互作用を活用して、$ \|D^2\Phi\| $ に対するグローバルかつ次元に依存しない事前推定が確立された。
• リーマン多様体上の比較技法と確率的濃縮の議論を用いて、リーマン多様体 $ (\mathbb{R}^d, g) $ の直径推定が得られた。
• 結果として、ヘッセ計量 $ g = D^2\Phi $ を通じて最適輸送写像に幾何的解釈が与えられ、ポテンシャルの凸性と誘導された空間の曲率的性質が結びつけられた。
• この枠組みにより、輸送写像のヘッセ行列に対する定量的制御が可能となり、最適輸送および計量測度幾何学における解析に新たなツールが提供された。