[論文レビュー] Ricci curvature of Markov chains on metric spaces

Yann Ollivier|ArXiv.org|Jan 30, 2007

Geometric Analysis and Curvature Flows被引用数 9

ひとこと要約

本稿では、Markov遷移核が確率測度の間の Wasserstein 距離に与える局所的収縮を測ることで、距離空間上の Markov 鏈に対するリッチ曲率の新しい定義を提示する。これはリーマン的リッチ曲率を一般化し、連続的設定における既知の結果を回復し、スペクトルギャップ、測度の集中、修正された対数 Sobolev 不等式との関係を確立する。特に離散立方体や Ornstein–Uhlenbeck 系列のような例では鋭い境界が得られる。

ABSTRACT

We define the Ricci curvature of Markov chains on metric spaces as a local contraction coefficient of the random walk acting on the space of probability measures equipped with a Wasserstein transportation distance. For Brownian motion on a Riemannian manifold this gives back the value of Ricci curvature of a tangent vector. Examples of positively curved spaces for this definition include the discrete cube and discrete versions of the Ornstein--Uhlenbeck process. Moreover this generalization is consistent with the Bakry--Émery Ricci curvature for Brownian motion with a drift on a Riemannian manifold. Positive Ricci curvature is easily shown to imply a spectral gap, a Lévy--Gromov-like Gaussian concentration theorem and a kind of modified logarithmic Sobolev inequality. These bounds are sharp in several interesting examples.

研究の動機と目的

• 一般の距離空間上の Markov 鏈に対して、リーマン的リッチ曲率を一般化し、グラフのような離散的構造に適用可能なリッチ曲率の概念を定義すること。
• スペクトルギャップ、測度の集中、修正された対数 Sobolev 不等式などの関数不等式とリッチ曲率の関係を確立すること。
• 従来の最適輸送に基づく定義が持つ無限小的・複雑な性質を避ける、計算可能で幾何的に直感的な定義を提供すること。
• 拡散設定における Bakry–Émery 曲率と整合性を保つ定義を示し、離散立方体や Ornstein–Uhlenbeck 系列といった具体的な例で検証すること。
• カップリング法の代替として、最適輸送と Wasserstein 幾何学に裏付けられたメトリックベースの手法を、Markov 系列の解析に用いること。

提案手法

• Markov 遷移核が確率測度に作用する際の Wasserstein 輸送距離における局所的収縮係数としてリッチ曲率を定義する。
• 平行移動と指数写像を用いて、リーマン多様体上の摂動された測度間の距離を比較し、断面曲率の平均を通じてリッチ曲率と関連付ける。
• 収縮原理を用いて、Markov カーネルによる小さな球の押し出し先の Wasserstein 距離に対する境界を導出する。
• 接空間上の球にわたる平均化を用いて期待収縮を推定し、距離関数のヘッセ行列のトレースを通じてリッチ曲率を組み込む。
• ユークリッド近似における分散とモーメント推定を通じて、メトリック球の局所的幾何（広がりと局所次元）を曲率と関連付ける。
• Markov カーネルによるリプシッツ定数の収縮をリッチ曲率の代理として用い、Bakry–Émery や Dobrushin のアイデアを拡張する。

実験結果

リサーチクエスチョン

• RQ1 一般の距離空間上の Markov 鏈に対して、無限小的でなく、計算可能なリッチ曲率の概念を定義できるか？
• RQ2 この定義は、リーマン多様体上のブラウン運動に対して古典的リッチ曲率を回復するか？
• RQ3 この曲率概念は、スペクトルギャップ、測度の集中、対数 Sobolev 不等式などの関数不等式を含意するか？
• RQ4 ドリフトを伴う拡散過程において、Bakry–Émery 曲率と整合性を保つか？
• RQ5 離散的空間、たとえば離散立方体や有限 Markov 鏈において、曲率を効果的に計算または境界づけることができるか？

主な発見

• 本稿で提案するリッチ曲率は、リーマン多様体上のブラウン運動に適用した場合、接ベクトルの標準的リッチ曲率を回復する。
• 離散立方体 $\{0,1\}^N$ に対しては正の曲率が得られ、これは球面 $S^N$ の曲率と同等であり、その集中性質と整合的である。
• ドリフト付き拡散過程、特に Ornstein–Uhlenbeck 系列に対しても、Bakry–Émery 曲率と整合性を保つ。
• 正のリッチ曲率はスペクトルギャップを含意し、離散立方体などの例では境界が鋭い。
• Lévy–Gromov 型のガウス型集中不等式が確立され、曲率と局所次元に依存する明示的な定数を有する。
• 修正された対数 Sobolev 不等式が導出され、古典的ケースと比較して定数の損失が限定的である。