[論文レビュー] Poincar\\'e, modified logarithmic Sobolev and isoperimetric inequalities for Markov chains with non-negative Ricci curvature

Matthias Erbar, Max Fathi|arXiv (Cornell University)|Dec 1, 2016

Geometric Analysis and Curvature Flows参考文献 28被引用数 3

ひとこと要約

本稿は、有限マルコフ連鎖における非負のエントロピー的リッチィ曲率のもとで、古典的リーマン幾何における不等式の離散版——パoincaré、修正ロジスティックソボレフ、および等周不等式——を確立する。 Wasserstein型輸送距離 $ olimits\mathcal{W}$ を用いて、スペクトルギャップ、チーリング定数、および修正ロジスティックソボレフ定数が、状態空間の直径 $D$ のみに依存する定数によって下から抑えられることを証明し、Li-Yau、Buser、Wang の結果を非正の曲率境界を持つ離散設定へと拡張する。

ABSTRACT

We study functional inequalities for Markov chains on discrete spaces with entropic Ricci curvature bounded from below. Our main results are that when curvature is non-negative, but not necessarily positive, the spectral gap, the Cheeger isoperimetric constant and the modified logarithmic Sobolev constant of the chain can be bounded from below by a constant that only depends on the diameter of the space, with respect to a suitable metric. These estimates are discrete analogues of classical results of Riemannian geometry obtained by Li and Yau, Buser and Wang.

研究の動機と目的

• リーマン幾何における古典的関数的不等式を、非負のエントロピー的リッチィ曲率のもとでの離散的マルコフ連鎖へと拡張すること。
• このような連鎖におけるスペクトルギャップ、チーリング定数、および修正ロジスティックソボレフ定数の定量的下界を確立すること。
• これらの下界が、状態空間の直径 $D$ にのみ依存し、次元やその他の構造的詳細には依存しないことを示すこと。
• 連続的曲率に基づく幾何的解析と離散的確率モデルの間のギャップを埋めること、特にゼロレンジ過程およびグラフ上のランダムウォークを対象とする。

提案手法

• 著者らは、確率測度上に離散的輸送距離 $\mathcal{W}$ を定義し、これにより状態空間 $\mathcal{X}$ 上に距離 $d_{\mathcal{W}}$ を誘導する。これは、Lott-Sturm-Villani理論で用いられる $L^2$-Wasserstein 距離に代わるものである。
• 彼らは [29, 13] のエントロピー的リッチィ曲率の概念を用い、これは $\mathcal{W}$-測地線に 沿ったエントロピーの凸性を含む。曲率の下界は $\Gamma$-計算フレームワークを用いて定義される。
• 主な技術的道具は、$\mathcal{W}$-測地線に沿ったエントロピーの凸性不等式である：$\mathcal{H}(\rho_{1/2}) \leq \frac{1}{2}\mathcal{H}(\delta_x) + \frac{1}{2}\mathcal{H}(\delta_y) - \frac{\kappa}{8}d_{\mathcal{W}}(x,y)^2$。これは曲率と距離を結びつける。
• 彼らは、離散的ボンネット＝マイヤーズ定理を用いて直径の上限を導出する：$\operatorname{Ric} \geq \kappa > 0$ ならば、$d_{\mathcal{W}}(x,y) \leq 2\sqrt{(-\log \pi(x) - \log \pi(y))/\kappa}$ が成り立ち、$\pi_*$ を用いた直径の制御が得られる。
• 主な結果を得るため、三角不等式とリフト技術を用いて、1つの粒子の違いがある状態 $\delta_\eta$ と $\delta_{\tilde{\eta}}$ 間の $\mathcal{W}(\delta_\eta, \delta_{\tilde{\eta}})$ を評価し、レート $1/L$ の完全グラフの場合に帰着させ、既知の混合時間推定値を用いる。

実験結果

リサーチクエスチョン

• RQ1 非負のエントロピー的リッチィ曲率のもとで、離散的マルコフ連鎖に対してパoincaré、修正ロジスティックソボレフ、および等周不等式といった関数的不等式を確立できるか。
• RQ2 状態空間の直径 $D$ が $\mathcal{W}$-距離のもとで、スペクトルギャップおよび修正ロジスティックソボレフ定数がどのように依存するか。
• RQ3 Li-Yau、Buser、Wang の連続的リーマン対応形と比較して、これらの離散的不等式の鋭さと漸近的挙動はいかがであるか。
• RQ4 高次元的または非一様な設定において、曲率と定常測度を用いて、$d_{\mathcal{W}}$ における状態空間の直径を上から抑えられるか。
• RQ5 固定粒子密度におけるゼロレンジ過程の修正ロジスティックソボレフ定数の漸近的挙動は何か。

主な発見

• チーリング定数 $h$ は $h \geq \frac{1}{3}\sqrt{Q_* \lambda_1}$ を満たす。ここで $Q_*$ は最小遷移レートであり、Buser の不等式の離散的類似が確立される。
• 非負のエントロピー的リッチィ曲率および $d_{\mathcal{W}}$ における直径 $D$ のもとで、スペクトルギャップは $\lambda_1 \geq \frac{c}{D^2}$ を満たす。$c$ は普遍定数であり、Li-Yau の結果が一般化される。
• 修正ロジスティックソボレフ定数は、別の普遍定数 $c'$ を用いて $\frac{c'}{D^2}$ で下から抑えられる。これは、Wang の不等式が離散設定へと拡張されることを示す。
• $L$ 個のサイトと $K$ 個の粒子を持つゼロレンジ過程では、$d_{\mathcal{W}}$ における直径は $cK\sqrt{L\log L}$ で抑えられる。これは、固定密度 $K/L$ において、mLSI 定数が $1/(K^2 L \log L)$ のオーダーで振る舞い、$1/L^2$ スケーリングを示唆する。
• 離散的ボンネット＝マイヤーズ定理が成立する：$\operatorname{Ric} \geq \kappa > 0$ ならば、$d_{\mathcal{W}}(x,y) \leq 2\sqrt{(-\log \pi(x) - \log \pi(y))/\kappa}$ であり、直径は $2\sqrt{-2\log \pi_* / \kappa}$ で抑えられる。