[論文レビュー] MEXIT: Maximal un-coupling times for Markov processes

Philip Ernst, Wilfrid S. Kendall+2 more|arXiv (Cornell University)|Feb 13, 2017

Markov Chains and Monte Carlo Methods参考文献 18被引用数 1

ひとこと要約

この論文は、同じ初期状態から開始された2つの異なるマルコフ過程が等しく remain する時間を最大化する、MEXIT（Maximal Exit）と呼ばれる新しい結合フレームワークを導入する。これは、古典的な結合が等しくなるまでの時間を最小化するのとは対照的である。著者らは、離散時間の可算状態空間を持つ過程に対して明示的な構成を発展させ、一般状態空間上の連続時間過程へと一般化し、異なる定数のドリフトをもつブラウン運動を用いた例で手法を提示する。

ABSTRACT

Classical coupling constructions arrange for copies of the \emph{same} Markov process started at two \emph{different} initial states to become equal as soon as possible. In this paper, we consider an alternative coupling framework in which one seeks to arrange for two \emph{different} Markov (or other stochastic) processes to remain equal for as long as possible, when started in the \emph{same} state. We refer to this or maximal agreement construction as \emph{MEXIT}, standing for maximal exit. After highlighting the importance of un-coupling arguments in a few key statistical and probabilistic settings, we develop an explicit \MEXIT construction for stochastic processes in discrete time with countable state-space. This construction is generalized to random processes on general state-space running in continuous time, and then exemplified by discussion of \MEXIT for Brownian motions with two different constant drifts.

研究の動機と目的

• 長期間にわたり異なる確率的過程が一致することに利益をもたらす統計的・確率的設定において、結合の解除（un-coupling）を考慮する必要がある状況に対処すること。
• 同じ初期状態から出発する2つの異なるマルコフ過程が、可能な限り長く等しいまま保たれるように結合する、MEXITと呼ばれる新しい結合のパラダイムを形式化すること。
• 可算状態空間を持つ離散時間マルコフ過程において、最大一致時間を達成するための構成的メソッドを開発すること。
• MEXITフレームワークを一般状態空間上の連続時間確率過程へと拡張すること。
• 特に、異なる定数ドリフトをもつブラウン運動に対して、MEXITの適用可能性を明示的な例を通じて示すこと。

提案手法

• 同じ状態から開始される2つの異なるマルコフ過程の等しさを可能な限り長く保つように最適化する、新しい結合メカニズムを提案する。
• パスワイズ構成技術を用いて、可算状態空間を持つ離散時間マルコフ過程に対して明示的なMEXIT結合を構築する。
• 正規条件付き確率測度を用いて、一般状態空間への拡張を通じて、MEXITフレームワークを連続時間過程へと一般化する。
• 2つの異なる定数ドリフトをもつブラウン運動にMEXIT構成を適用し、最大一致時間の分布を導出する。
• パスワイズ結合と時間変換過程を用いて、拡散過程における一致時間のモデル化と解析を行う。
• 結合時間と抜ける時間の理論を活用し、過程の特性に基づいて最大の非結合期間を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 同じ初期状態から開始される2つの異なるマルコフ過程間の結合を、等しい状態にとどまる時間を最大化するようにどのように構築できるか？
• RQ2 離散時間・可算状態空間マルコフ過程において、このような最大一致が達成可能であるための理論的・構成的条件は何か？
• RQ3 MEXITフレームワークは、一般状態空間上の連続時間過程へどの程度まで拡張可能か？
• RQ4 異なる定数ドリフトをもつ2つのブラウン運動がMEXIT結合を用いる場合、最大一致時間の分布はどのように表されるか？
• RQ5 どの統計的または確率的設定において、異なる過程間の一致時間を最大化することが顕著な利点をもたらすか？

主な発見

• MEXITフレームワークは、同じ状態から開始される2つの異なるマルコフ過程が等しいまま保たれる時間を最大化する結合を成功裏に構築する。
• 離散時間・可算状態空間マルコフ過程において、パスワイズおよび再帰的結合技術を用いて明示的なMEXIT結合が構築可能である。
• 正規条件付き確率測度と時間変換過程を用いることで、MEXIT構成は一般状態空間上の連続時間過程へと一般化可能である。
• 異なる定数ドリフトをもつブラウン運動に対して、MEXIT結合により明確に定義された最大一致時間が得られ、ドリフトの差と初期状態の観点から特徴づけられる。
• ブラウン運動の例において、最大一致時間がMEXITフレームワークのもとで確率的に有界であり、解析的に取り扱えることが示された。
• このフレームワークは、異なる過程間の長期間の一致が、単なる可能なものではなく、体系的に設計可能であることを示しており、確率的結合のための新たなツールを提供する。