[論文レビュー] Moment measures and stability for Gaussian inequalities

Alexander V. Kolesnikov, Egor D. Kosov|arXiv (Cornell University)|Dec 30, 2017

Geometry and complex manifolds参考文献 14被引用数 11

ひとこと要約

本稿では、相対エントロピーと二次 Wasserstein 距離を含むガウス関数的汎関数の安定性および事前境界を確立し、汎関数が下から有界であり、有限なガウス・フィッシャー情報量のもとで Wasserstein 距離が一様に制御されることを証明する。主な貢献は、ガウス不等式に対する次元に依存しない安定性推定であり、ウィーナー空間上のモーメント測度および最適輸送への応用を含む。

ABSTRACT

Let $γ$ be the standard Gaussian measure on $\mathbb{R}^n$ and let $\mathcal{P}_γ$ be the space of probability measures that are absolutely continuous with respect to $γ$. We study lower bounds for the functional $\mathcal{F}_γ(μ) = { m Ent}(μ) - \frac{1}{2} W^2_2(μ, ν)$, where $μ\in \mathcal{P}_γ, ν\in \mathcal{P}_γ$, ${ m Ent}(μ) = \int \log\bigl( \fracμγ\bigr) d μ$ is the relative Gaussian entropy, and $W_2$ is the quadratic Kantorovich distance. The minimizers of $\mathcal{F}_γ$ are solutions to a dimension-free Gaussian analog of the (real) Kähler-Einstein equation. We show that $\mathcal{F}_γ(μ) $ is bounded from below under the assumption that the Gaussian Fisher information of $ν$ is finite and prove a priori estimates for the minimizers. Our approach relies on certain stability estimates for the Gaussian log-Sobolev and Talagrand transportation inequalities.

研究の動機と目的

• 相対ガウス・エントロピーと二次 Wasserstein 距離を組み合わせた汎関数の下界を確立すること。
• ガウス・ログ・ソボレフ不等式およびタラグランド輸送不等式に対する安定性推定を証明すること。
• 汎関数の最小化子に対する事前境界を導出し、可積分性および指数的モーメントを保証すること。
• ウィーナー空間上での無限次元モーメント測度問題の基礎を築くこと。
• 最適輸送を用いたガウス・カーラー＝アインシュタイン方程式の次元に依存しない解析を提供すること。

提案手法

• 標準ガウス測度 $\gamma$ に関して絶対連続な確率測度上で、汎関数 $\mathcal{F}_{\gamma}(\mu) = \text{Ent}(\mu) - \frac{1}{2}W_2^2(\mu, \nu) $ を定義する。
• カンタロヴィッチ双対性を用い、最適輸送写像をポテンシャル関数 $\varphi$ の勾配により $T(x) = x + \nabla\varphi(x)$ で関連付ける。
• ログ・ソボレフ不等式およびタラグランド不等式の安定性結果を適用し、エントロピーおよび Wasserstein 距離の項を制御する。
• 下界の畳み込み不等式を用い、密度が有界で $\varphi$ が可積分である条件下で $|\nabla\varphi|^2$ の指数的可積分性を導出する。
• 帰納法およびピクネール不等式を用い、$L^2$ におけるモーメント境界を $\varphi$ および $\nabla\varphi$ のすべての $L^p$ ノルムへ拡張する。
• モーメント測度とガウス版の Kähler–Einstein 方程式の解との間の関係を活用する。

実験結果

リサーチクエスチョン

• RQ1 汎関数 $\mathcal{F}_{\gamma}(\mu)$ が下から有界であるための条件は何か？
• RQ2 ガウス・ログ・ソボレフ不等式およびタラグランド不等式に対する安定性推定は、$\mathcal{F}_{\gamma}$ の最小化子を制御するためにどのように利用できるか？
• RQ3 $\mathcal{F}_{\gamma}$ の最小化におけるポテンシャル $\varphi$ 及びその勾配 $\nabla\varphi$ に対して、どのような事前境界を確立できるか？
• RQ4 有限次元の結果は、モーメント測度論を用いて無限次元のウィーナー空間へ拡張可能か？
• RQ5 ガウス・フィッシャー情報量は、最小化子の可積分性および安定性を保証するために果たす役割は何か？

主な発見

• 汎関数 $\mathcal{F}_{\gamma}(\mu)$ は、基準密度 $g$ のガウス・フィッシャー情報量 $I(g)$ にのみ依存するある $C > 0$ に対して、下から $-C$ で有界である。
• 有限な $I(g)$ のもとで、$W_2^2(g\cdot\gamma, \rho\cdot\gamma)$ は $I(g)$ に依存する定数で一様に有界である。
• $\gamma$ に対する $\log\rho$ の $L^2$ ノルムは有限である。すなわち $\int (\log\rho)^2 \rho d\gamma < \infty$。
• 任意の $p > 0$ に対して、ピクネール不等式および有限なフィッシャー情報量のもとで、$\varphi = -\log\rho$ および $\nabla\varphi$ の $L^p$ ノルムは一様に有界である。
• 指数的可積分性 $\int \exp\bigl(\frac{1}{2}|\nabla\varphi|^2\bigr) d\gamma \leq C \exp\bigl(\int \varphi d\gamma\bigr)$ が、$g$ が有界で $\varphi$ が可積分である条件下で成り立つ。
• 最小化子 $\rho \cdot \gamma = e^{-\varphi} \cdot \gamma$ は平行移動を除き一意であり、ゼロの重心条件 $\int x \rho d\gamma = 0$ を満たす。