[論文レビュー] Elementary coupling approach for non-linear perturbation of Markov processes with mean-field jump mechanims and related problems

Pierre Monmarché|arXiv (Cornell University)|Sep 28, 2018

Markov Chains and Monte Carlo Methods参考文献 25被引用数 6

ひとこと要約

本稿では、平均場ジャンプ機構を有するマルコフ過程の非線形摂動を解析するための基本的結合手法を導入し、小さい相互作用強度の下で、非線形過程およびその関連粒子系の両方が指数的収束を示すことを証明する。この手法は、同期結合を用いて過程間の距離を制御し、リャプノフ関数とドービン型条件を活用して重み付き全 Variation 距離における収縮を確立する。粒子系における収束速度は粒子数に依存せず一様となる。

ABSTRACT

Mean-field integro-differential equations are studied in an abstract framework, through couplings of the corresponding stochastic processes. The long time behaviour of the non-linear process and of the associated particle system is investigated in the perturbative regime. The main difference with the linear (or non-interacting) case is that, when two coupled processes have merged, they have some probability to split.

研究の動機と目的

• ジャンプ機構によって駆動される非線形平均場積分微分方程式の長時間挙動を研究すること。
• 小さな相互作用強度（摂動的領域）の下で、非線形過程の指数的収束を確立すること。
• 関連する相互作用粒子系が、粒子数に依存しない速度で平衡に収束することを証明すること。
• 平均場モデルを超えて、自己相互作用過程やサンプリングアルゴリズムなどに適用可能な一般化された結合フレームワークを開発すること。
• 古典的結合手法を非線形ジャンプ過程に拡張し、結合された過程間の合体／分離ダイナミクスを管理すること。

提案手法

• 同期結合を用いる：2つの過程が同一のポアソン過程とジャンプ時刻に従い、結合している間は常に等しく保たれる。
• 時間に依存する生成子 Lt を用い、ジャンプ率 λµt(x) とジャンプ核 Qµt(x) を用いて非線形ダイナミクスをモデル化する。
• 尾部挙動を制御し、フォスター＝リャプノフのドリフト条件を介して収縮を確立するために、リャプノフ関数 V(x) = exp(ρx) を用いる。
• 合体／分離結合戦略を実装：過程は初期には離れているが、正の確率で合体し、小さな非線形性の下では分離確率が減少するため、近接を維持する。
• 確率測度の最適結合を用いて、ジャンプ率の差を V-ノルムで評価する：∥λν1 − λν2∥V ≤ K∥ν1 − ν2∥V。
• グローヴァル型推移を用いて時間区間内で固定点議論を展開し、平均場方程式の解の存在と一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 相互作用が弱い場合に、平均場相互作用を有する非線形ジャンプ過程について、指数的収束が平衡に確立できるか。
• RQ2 同じ摂動的条件下で、相互作用粒子系が粒子数に依存しない速度で平衡に収束するか。
• RQ3 古典的結合手法を、過程の法に依存するダイナミクスを有する非線形ジャンプ過程に適応可能か。
• RQ4 ジャンプ率および核にどのような条件を課せば、2つの結合過程が合体し、近接を維持できるか。
• RQ5 リャプノフ関数と重み付き全 Variation ノルムを用いて、非線形ジャンプ過程における収束速度をどのように制御できるか。

主な発見

• 摂動的領域の下で、非線形過程は一意な平衡を有し、重み付き全 Variation 距離において指数的速さで収束する。
• 同じ小さな相互作用仮定の下で、関連する粒子系は、粒子数に依存しない速度で平衡に収束する。
• V-ノルムにおいて2次のモーメントが有界な初期測度に対して、十分大きな t に対して mt(V²) ≤ ˆC + 1 が成り立ち、一様なモーメント制御が保証される。
• 時間区間 [0, t₁] における固定点議論により、平均場方程式の解の存在と一意性が得られ、t₁ は 2t₁exp(ρt₁)[m₀(V²) ∨ ˆC]/K ≤ 1/2 を満たすように選ばれる。
• t ≥ t₀ に対して収縮推移 ∥mt − ht∥V ≤ C′′∫₀ᵗ∥ms − hs∥Vds が成り立ち、合体確率が0から一様に離れている場合に、指数的収束が証明される。
• 小さな非線形性（K が小さい）の下で、システムは指数的収束を示し、コンパクト集合上で合体確率が一様に下限を持つため、結合を用いてエルゴード性を証明可能である。