[論文レビュー] Stochastic approximation of quasi-stationary distributions for diffusion processes in a bounded domain

Michel Benaı̈m, Nicolas Champagnat+1 more|arXiv (Cornell University)|Apr 18, 2019

Stochastic processes and statistical mechanics参考文献 20被引用数 3

ひとこと要約

本稿は、境界で吸収が起こる有界領域内の強化拡散過程の滞在測度が、基礎となる拡散過程の唯一の準定常分布にほとんど確実に収束することを確立する。過程は、境界で吸収が起こる有界領域内を時間定常な拡散として進化し、各回の吸収時に過去の滞在測度から再サンプリングされる。確率的近似技法と準定常分布理論の最新進展を用いて、著者たちは、時間の経過とともに過程の経験測度が準定常分布にほとんど確実に収束することを証明し、境界で硬い殺し方（hard killing）が行われる連続的拡散設定における未解決問題を解決する。

ABSTRACT

We study a random process with reinforcement, which evolves following the dynamics of a given diffusion process in a bounded domain and is resampled according to its occupation measure when it reaches the boundary. We show that its occupation measure converges to the unique quasi-stationary distribution of the diffusion process absorbed at the boundary of the domain. Our proofs use recent results in the theory of quasi-stationary distributions and stochastic approximation techniques.

研究の動機と目的

• 境界で硬い殺し方（hard killing）が行われる有界領域内の拡散過程における、滞在測度が準定常分布にほとんど確実に収束するという未解決問題を解決すること。
• 非コンパクト状態空間と境界で無限大の殺し率を有する連続時間拡散過程に、確率的近似技法を拡張すること。
• カップリング法と準定常分布理論の最新結果を用いて、滞在測度ダイナミクスのグローバル漸近的安定性を確立すること。
• 再サンプリング過程が、重要な線形作用素 A に関連する測度値動的システムの漸近的擬軌道を生成することを示すこと。
• 最小限の正則性仮定（C²境界とホルダー連続係数）の下で、収束を厳密に証明すること。

提案手法

• 過程は、C²境界を持つ有界領域 D 内の拡散の系列として定義され、各々が直前の経路の滞在時間の経験測度から出発する。
• ∂D で吸収が起こると、過程は直前のエク cursio の正規化された滞在測度から再サンプリングされる。
• 滞在測度 µt = (1/t)∫₀ᵗ δYs ds は、時間とともに変化する確率過程として分析される。
• 著者たちは、時間変換および線形化された滞在測度を用いて、それが線形作用素 A によって支配される測度値動的システムの漸近的擬軌道として振る舞うことを示す。
• 文献 [2, 5] に依拠する確率的近似技法が適用され、マルティンゲール差分の収束性と過程の一様連続性に依存する。
• カップリング法と準定常分布に関する最近の結果を用いて、システムのグローバル漸近的安定性を証明する。

実験結果

リサーチクエスチョン

• RQ1 境界で吸収が起こる有界領域内の強化拡散過程の滞在測度は、基礎となる拡散過程の準定常分布にほとんど確実に収束するか？
• RQ2 非コンパクト状態空間と境界で無限大の殺し率を有する連続時間拡散過程に、確率的近似技法を拡張できるか？
• RQ3 提案された強化メカニズムの下で、滞在測度ダイナミクスはグローバルに漸近的に安定か？
• RQ4 最近の準定常分布理論の進展とカップリング法を用いて、収束を確立できるか？
• RQ5 領域および拡散係数にどのような条件が課されれば、滞在測度のほとんど確実な収束が保証されるか？

主な発見

• 強化過程の滞在測度 µt は、t → ∞ のとき、拡散過程の唯一の準定常分布 α にほとんど確実に収束する。
• 収束は最小限の仮定の下で成立する：領域 D は有界で C²境界を持ち、拡散係数はホルダー連続である。
• 再サンプリング機構により、滞在測度ダイナミクスは漸近的に安定であり、測度値フローの漸近的擬軌道として振る舞うことが保証される。
• 時間変換過程 (eηt)t≥1 はほとんど確実に相対的コンパクトかつ一様連続であり、すべての極限点が式 (3.13) の弱解であることが示された。
• 滞在測度の偏差におけるマルティンゲール差分構造により、正規化されたフラクチュエーションがほとんど確実に消えるため、θn/n が 1/λ₀ に収束する。
• 任意の有界可測関数 f に対して、µtf はほとんど確実に αf に収束し、マルティンゲール増分の条件付き期待値の O(ℓ⁻³/²) 減衰により収束速度が示唆される。