[論文レビュー] Generalized $Γ$ calculus and application to interacting particles on a graph

Pierre Monmarché|arXiv (Cornell University)|Oct 20, 2015

Markov Chains and Monte Carlo Methods参考文献 20被引用数 5

ひとこと要約

本稿では、非退化でない、非楕円的でない、非可逆なマコフ過程、特にグラフ上の相互作用粒子系を分析するための一般化された$Γ$微分積分学の枠組みを導入する。スペクトルギャップとジョルダン分解の構造を用いて、平衡分布への最適収束速度を確立し、$N$粒子系において定数が$N^2$に比例する対数ソボレフ不等式を証明している。これは最適であることが示されている。

ABSTRACT

The classical Bakry-Émery calculus is extended to study, for degenerated (non-elliptic, non-reversible, or non-diffusive) Markov processes, questions such as hypoellipticity, hypocoercivity, functional inequalities or Wasserstein contraction. In particular we obtain the optimal speed of convergence to equilibrium for any ergodic Ornstein-Uhlenbeck process, which is given by the spectral gap of the drift matrix and the size of the corresponding Jordan blocks. We also study chains of $N$ interacting overdamped particles and establish for their invariant measures log-Sobolev inequalities with constants of order $N^2$, which is optimal.

研究の動機と目的

• 古典的バクリ＝エーメリー$Γ$微分積分学を非退化でない、非楕円的でない、非可逆なマコフ過程へと拡張すること。
• このような過程における超楕円性、超コルーシビティ、関数不等式を統一的に分析する枠組みを提供すること。
• スペクトルギャップとジョルダン分解構造に基づき、定常的オーランシュタイン＝ウーレン過程の最適収束速度を導出すること。
• 局所的ノイズを伴う$N$個の相互作用粒子の鎖に対して、定数が$N^2$に比例するタイトな対数ソボレフ不等式を確立すること。これは最適であることが示されている。

提案手法

• 退化生成作用素に対応できるように、関数のクラスを拡張することで、古典的$Γ$および$Γ_2$作用素を一般化する。
• 歪められたエネルギーおよびエントロピー関数を用いて、非楕円的状況でも古典的手法を回復する。
• 漂移行列$B$と拡散行列$D$を持つオーランシュタイン＝ウーレン過程にこの枠組みを適用し、スペクトル的性質を用いて収束を分析する。
• 適切に構築されたベクトル場を用いて、放物型ホルマンダーの基準により、超楕円性および正則性条件を確立する。
• $B$のジョルダン分解の分析を通じて、スペクトルギャップおよび収束速度の境界を導出する。
• ポテンシャル$W$および拡散係数に関する構造的仮定を用いて、境界ノイズを伴うグラフ上に配置された$N$個の相互作用粒子の鎖に理論を適用する。

実験結果

リサーチクエスチョン

• RQ1 非対角化可能な漂移行列を有する非退化オーランシュタイン＝ウーレン過程の、平衡分布への最適収束速度は何か？
• RQ2 定常分布が明示的に与えられない相互作用粒子系の不変測度に対して、対数ソボレフのような関数不等式をどのように確立できるか？
• RQ3 一般化された$Γ$微分積分学の枠組みは、非退化拡散における超コルーシビティおよび収束の既存の手法を統一的かつ簡略化できるか？
• RQ4 境界ノイズを伴う$N$個の相互作用粒子の鎖において、対数ソボレフ定数は系のサイズ$N$にどのように依存するか？
• RQ5 漂移行列におけるジョルダンブロックの構造は、非可逆的で非楕円的な拡散過程における収束速度にどのように影響を与えるか？

主な発見

• 任意の定常的オーランシュタイン＝ウーレン過程に対して、平衡分布への最適収束速度は$ c(1 + t^{2(N-1)})e^{-2\rho t} $ で与えられ、ここで$N$はスペクトル境界$\{\Re(\lambda) = \rho\}$に関連する固有値と関連する最大のジョルダンブロックのサイズである。この$t$のべき乗は最適である。
• $N+1$個の相互作用粒子のグラフ上での不変測度の対数ソボレフ定数は$N^2$に比例する。このスケーリングが最適であることが示されている。
• 一般化された$Γ$微分積分学は、古典的バクリ＝エーメリー理論が失敗する非退化過程に対し、超コルーシビティおよび収束結果を導出可能にする。
• 端点に局所的ノイズを伴う系では、ポテンシャル$W$が滑らかで強く凸であれば、過程は超楕円的であり、生成作用素は放物型ホルマンダー条件を満たす。
• $\nabla^2W$が有界であれば、主定理の仮定が満たされ、半群の収束が保証され、明示的な指数的減衰率が得られる。
• この枠組みにより、粒子系に対して$\text{Ent}P_t f \leq cN^{c'N^2}e^{-c''N^{-2}t}\text{Ent}f$ の形の収束境界が得られ、定数は$N$に依存しない。