[論文レビュー] Lower bound for the coarse Ricci curvature of continuous-time pure jump processes

Denis Villemonais|arXiv (Cornell University)|May 18, 2017

Geometric Analysis and Curvature Flows参考文献 66被引用数 6

ひとこと要約

本稿は、粒子系における連続時間純ジャンプマーカフ過程の粗いリッチィ曲率の計算可能な下界を、ジャンプ遷移測度間のウォッサーシュタイン距離の計算を活用して確立する。主な貢献は、ジャンプレートおよびジャンプ分布関数のリプシッツノルムを含む一般化された下界式であり、これにより、相互作用粒子系、出生死滅過程、ジャンプ拡散過程などのモデルにおける曲率推定が可能になる。

ABSTRACT

We obtain a lower bound for the coarse Ricci curvature of continuous time pure jump Markov processes, with an emphasis on interacting particle systems. Applications to several models are provided, with a detailed study of the herd behavior of a simple model of interacting agents.

研究の動機と目的

• 有限または可算状態空間における連続時間純ジャンプマーカフ過程の粗いリッチィ曲率の実用的で計算可能な下界を導出すること。
• 連続時間設定において一般の下界が不足していること、これが収束速度解析やスペクトルギャップ推定への応用を阻害してきたことに対処すること。
• 平均場相互作用を有する相互作用的エージェント系における群れ行動の分析を、曲率下界と代謝的安定状態および相転移と結びつけること。
• ウォッサーシュタイン結合技術を用いて、既存の離散時間曲率結果を連続時間過程へと拡張すること。
• 平均場相互作用粒子系、出生死滅過程、ガウス的または離散的ジャンプを有するジャンプ拡散過程を含む、特定のモデルに対する明示的な曲率推定を提供すること。

提案手法

• ジャンプ遷移によって誘導される確率測度間のウォッサーシュタイン距離 $\mathcal{W}_d$ を用いて、時間経過に伴う過程の収縮を定量化する。
• ジョイント凸性およびジャンプレートと分布のリプシッツ連続性に依存する、カップリングに基づくアプローチを適用して、遷移核間のウォッサーシュタイン距離を評価する。
• 不等式 $\mathcal{W}_d(\mathbb{P}(\bar{X}_t\in\cdot|\bar{X}_0=\bar{x}), \mathbb{P}(\bar{X}_t\in\cdot|\bar{X}_0=\bar{y})) \leq e^{-\sigma t} d(\bar{x},\bar{y})$ を用いて、粗いリッチィ曲率 $\sigma$ の一般化された下界を導出する。
• ヴァレンデルの定理および $W_2$-ウォッサーシュタイン評価を用いて、ガウス的および離散的ジャンプ測度のための必要なウォッサーシュタイン距離を明示的に計算する。
• 状態 $x$ と $y$ 間の最悪ケースの収縮率を定量化する関数 $J_d^{x,y}(F(x,\bar{x}), F(y,\bar{y}))$ を導入し、これにジャンプ強度および分布関数のリプシッツノルムを用いて評価する。
• ジャンプレートとジャンプ分布の比のリプシッツノルムを用いて、出生死滅過程に対しては $\sigma \geq -2\left\|\frac{\beta}{\lambda}\right\|_{Lip}$ および他のモデルに対しても類似の式を用いて、曲率の下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 連続時間純ジャンプ過程に対して、一般的で計算可能な粗いリッチィ曲率の下界を導出できるか？
• RQ2 平均場相互作用を有する相互作用的エージェント系における群れ行動の出現と、曲率下界はどのように関係するか？
• RQ3 導出された曲率下界が鋭い場合と、明示的に計算可能な場合の条件は何か？
• RQ4 ジャンプレートおよびジャンプ分布のリプシッツ性が曲率推定にどのように影響するか？
• RQ5 ガウス的、離散的、または密度構造を持つジャンプ測度を有するモデルの曲率下界は何か？

主な発見

• 出生死滅過程に対して、一般の下界が $\sigma \geq -2\left\|\frac{\beta}{\lambda}\right\|_{Lip}$ として導出され、ここで $\beta$ はジャンプレート、$\lambda$ は総ジャンプレートである。
• ガウス的ジャンプ測度を有する系では、曲率下界が $\sigma \geq -2\|\beta\|_{\infty}\left\|\Sigma^{1/2}\right\|_{Lip} - 2\|\beta\|_{Lip}\left\|\sqrt{\sum_{i=1}^{n}(\Sigma_{ii})^2}\right\|_{\infty}$ となる。これは、フロベニウスノルムおよび行列平方根のリプシッツ連続性を用いる。
• 有界なサポートを持つ $\mathbb{Z}$ 上の離散的ジャンプ過程では、曲率下界が $\sigma \geq -2\|\beta\|_{\infty}\|\alpha\|_{Lip} - 2\|\beta\|_{Lip}\|M_\alpha\|_{\infty}$ となる。ここで $M_\alpha$ はジャンプ分布の一次絶対モーメントである。
• 出生死滅過程の場合は、この下界が鋭く、先行研究 [13, 34] で明示的に計算された曲率と一致する。
• 曲率下界は相転移の検出に有効である：相互作用エージェントモデルでは、正の曲率下界は群れ行動への傾向を示し、負の下界は独立したダイナミクスを示唆する。
• 大偏差結果 [26, 27] を用いて、群れ行動および非群れ行動の両方の状態が存在することを確認し、曲率解析がこれを裏付けている。