[論文レビュー] Behaviors of $\phi$-exponential distributions in Wasserstein geometry and an evolution equation

Asuka Takatsu|arXiv (Cornell University)|Sep 30, 2011

Geometric Analysis and Curvature Flows参考文献 9被引用数 4

ひとこと要約

本稿は、ℝᵈ 上のϕ-指数分布の空間が Wasserstein 幾何学において凸であり、かつ非線形発展方程式に安定であるための必要十分条件として、ϕ(s) = s^q が q ∈ (0, (d+4)/(d+2)) に対して成り立つこと、すなわち、ガウス型およびq-ガウス型測度が、これらの幾何的・動的性質を満たす唯一の分布であることを確立している。主な貢献は、Wasserstein 幾何学と双対平坦構造を持つ測度空間上の発展方程式を用いて、ガウス型およびq-ガウス型測度が、これらを特徴付ける唯一の分布であると同定することにある。

ABSTRACT

A $\phi$-exponential distribution is a generalization of an exponential distribution associated to functions $\phi$ in an appropriate class, and the space of $\phi$-exponential distributions has a dually flat structure. We study features of the space of $\phi$-exponential distributions, such as the convexity in Wasserstein geometry and the stability under an evolution equation. From this study, we provide the new characterizations to the space of Gaussian measures and the space of $q$-Gaussian measures.

研究の動機と目的

• ℝᵈ 上のϕ-指数分布の空間が Wasserstein 幾何学および発展方程式に関して特徴付けられるようにすること。
• ϕ-指数分布の空間が Wasserstein 幾何学において凸である条件を特定すること。
• ポーラス媒体型非線形発展方程式に対して、空間が安定であるための必要十分条件を同定すること。
• 発展方程式に関して凸性と安定性の両方を満たすのは、ガウス型およびq-ガウス型測度のみであることを示すこと。
• ϕ-指数分布を用いて、一般化された指数型分布族に対する双対平坦構造およびCramér–Rao下界を拡張すること。

提案手法

• 有限第二モーメントを持つ確率測度の空間における Wasserstein 幾何学を用い、最適カップリングと測地線により定義される。
• Brenier–Knott–Smithの定理を適用して、凸関数の勾配写像を用いて最適カップリングと測地線を特徴付ける。
• ϕ-対数関数 ∫₁ᵗ ds/ϕ(s) の逆関数を用いてϕ-指数分布を定義し、ϕ(s) = s^q の場合にq-ガウス型測度が得られることを示す。
• 発展方程式 ∂ₜρ = div(ρ∇(lnϕ(ρ) + Ψϕ)) におけるϕ-指数分布の空間の挙動を分析し、Ψϕ(x) = cϕ(Id)|x|² とする。
• 分散共分散行列の多様体上の微分幾何学を用いて、平均および分散共分散パラメータの発展方程式を導出する。
• 測地線に沿ったODEの積分と漸近的解析を用いて、ϕ(s) がべき関数に制限される関数的恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ϕ-指数分布の空間が Wasserstein 幾何学において凸である条件は何か？
• RQ2 ϕ-指数分布の空間が発展方程式 ∂ₜρ = div(ρ∇(lnϕ(ρ) + Ψϕ)) に対して安定である条件は何か？
• RQ3 どのϕ-指数族が、発展方程式に関して凸性と安定性の両方を満たすか？
• RQ4 ガウス型およびq-ガウス型測度のクラスが、両方の性質を満たす唯一のクラスであるか？
• RQ5 ϕ(s) のどの関数的形が、平均および分散共分散パラメータを持つϕ-指数分布の空間が Wasserstein 幾何学において双対平坦かつ凸であることを保証するか？

主な発見

• ϕ-指数分布の空間が Wasserstein 幾何学において凸であるための必要十分条件は、ϕ(s) = s^q かつ q ∈ (0, (d+4)/(d+2)) かつ α > 0 である。
• ϕ-指数分布の空間が発展方程式 ∂ₜρ = div(ρ∇(lnϕ(ρ) + Ψϕ)) に対して安定であるための必要十分条件は、ϕ(s) = s^q かつ q ∈ (0, (d+4)/(d+2)) かつ α > 0 である。
• Wasserstein 幾何学において凸であり、かつ発展方程式に対して安定な唯一のϕ-指数族は、ガウス型およびq-ガウス型測度である。
• ϕ(s) = s^q の場合、平均および分散共分散行列パラメータを持つϕ-指数分布の空間は双対平坦であり、q-ガウス型測度の空間と一致する。
• αϕ(s) = s^q が、凸性および安定性の両方に対して必要十分であることが、漸近的解析および測地線に沿った発展方程式の積分により示された。
• この結果は、平均および分散共分散パラメータを持つ空間 Gϕ および Nϕ に対して共通に成り立ち、ϕ に関する必要十分条件は同一である。