[論文レビュー] Markov loops in discrete spaces

Yinshan Chang, Yves Le Jan|arXiv (Cornell University)|Feb 5, 2014

Data Management and Algorithms参考文献 6被引用数 7

ひとこと要約

本稿は、連続時間の部分マーカフ過程と時刻変更を用いて、離散的・可算状態空間におけるマーカフループの厳密な枠組みを構築する。ループ測度、滞在場、およびランダムなスパニングツリーの間の関係をウィルスのアルゴリズムを通じて確立し、アルゴリズムにおけるループの消去路が、成長するツリーを避けるように条件づけられたポアソン型のループ集合に対応することを示す。行列式とフェルマー＝カックの公式を用いて、正確な分布的恒等式が導出される。

ABSTRACT

The main topic of these notes are Markov loops, studied in the context of continuous time Markov chains on discrete state spaces. We refer to [1] and [2] for the short "history" of the subject. In contrast with these references, symmetry is not assumed, and more attention is given to the infinite case. All results are presented in terms of the semigroup generator. In comparison with [1], some delicate proofs are given in more details or with a better method. We focus mostly on properties of the (multi)occupation field but also included some results about loop clusters (see [3] in the symmetric context) and spanning trees. [1] Markov paths, loops and fields, by Yves Le Jan, Lecture Notes in Mathematics, vol. 2026, Springer, Heidelberg, 2011 [2] Topics in occupation times and Gaussian free fields, by Alain-Sol Sznitman, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich, 2012 [3] Markovian loop clusters on graphs, by Yves Le Jan and Sophie Lemaire, Preprint, arxiv:1211.0300 [math.PR], 2012

研究の動機と目的

• 非対称な設定に拡張されたマーカフループ理論を、可算状態空間上の一般の連続時間部分マーカフチェーンにまで一般化すること。
• ループ測度と滞在場に対する時刻変更形式を構築し、非対称な生成作用素へフェルマー＝カックの公式を拡張すること。
• ウィルスのアルゴリズムを通じて、ループ消去ランダムウォークとポアソン型のループ集合との間の明確な関係を確立すること。
• 行列式とポテンシャル論を用いて、ループクラスターや滞在場の正確な分布的恒等式を導出すること。
• 生成作用素に基づくアプローチを用いて、再帰的および非再帰的両ケースにおける滞在場の研究を統一すること。

提案手法

• 可算集合 $ S $ 上の連続時間部分マーカフチェインの生成作用素 $ L $ を用いる。非吸収状態では $ L^x_x < 0 $、吸収状態では $ L^x_x = 0 $ とする。
• 非負の関数 $ k $ を用いた時刻変更を適用し、元の過程をジャンプレートが変更された新たな過程に変換する。この変更はループ構造を保存する。
• ポアソン過程によるループの滞在場を用いてループ測度を定義し、グリーン関数と生成作用素に関連する強度を設定する。
• フェルマー＝カックの公式を用いて、滞在場の関数への期待値を半群 $ P_t = e^{tL} $ の形で表現する。
• ウィルスのアルゴリズムを用いて、殺された過程のパスのループ消去によりランダムなスパニングツリーを構築し、潜在核の行列式から条件付き確率を導出する。
• ヤコビの公式を用いて、潜在核 $ V $ の部分行列の行列式とツリー構築におけるパスの延長確率を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 非対称性が存在する離散時間マーカフチェインにおいて、どのようにしてループ測度と滞在場を定義・特徴づけることができるか？
• RQ2 時刻変更がループ測度に与える影響は何か？ また、生成作用素に基づく枠組みとどのように整合するか？
• RQ3 ウィルスのアルゴリズムにおけるループ消去パスは、完全なループ空間におけるポアソン型ループ集合とどのように関係するか？
• RQ4 ウィルスのアルゴリズムによるスパニングツリーの逐次的構築過程で形成されるループクラスターの正確な分布は何か？
• RQ5 非再帰的および再帰的ケースにおける滞在場は、同一の形式で特徴づけられるか？ また、それらの違いは何か？

主な発見

• ループ測度は時刻変更と整合的である：非負関数 $ k $ を用いた時計の変更に対して、滞在場は一貫して変換され、元のマーカフ構造が保存される。
• ポアソン過程によるループの滞在場にはモーメントと多項式モーメントが存在し、生成作用素 $ L $ を用いて明示的に計算可能であり、時間の極限において収束結果が得られる。
• 非再帰的ケースでは、滞在場は潜在核 $ V $ に関連し、$ V $ と生成作用素を含む行列式恒等式を用いて密度が導出される。
• 再帰的ケースでは、滞在場は極限手続きによって特徴づけられ、グリーン関数に結びついた決定的構造を保持する。
• ウィルスのアルゴリズムにより構築されたランダムスパニングツリー $ \tau $ の分布は、$ \text{det}(V) \prod_{(x,y) \in \text{edges toward root}} L^x_y $ に比例する。ここで $ V $ は潜在核である。
• ウィルスのアルゴリズムで削除されたループは、独立なポアソン＝ディリクレ(0,1)変数を用いて分割され、その集合は全ポアソンループ集合 $ \mathcal{L}_1 $ と同じ分布に従うことが示され、ループ消去とループクラスターの間の深い関係が確立される。