[論文レビュー] Markovian loop clusters on graphs

Yves Le Jan, Sophie Lemaire|arXiv (Cornell University)|Nov 1, 2012

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

ひとこと要約

本稿では、有限または可算なグラフ上のマコフ型ループ集合をポアソンアンサンブルを用いて導入・解析し、これらのループクラスタが頂点上にコalescent過程を誘導することを示している。3つの主要な例（整数直線 Z、lattice Z^d (d≥2)、完全グラフ）を通じて、再生過程、パーコレーション、およびランダムグラフとの関係を確立し、非自明なパーコレーション閾値と、Erdős-Rényiモデルと整合的な漸近的コalescence時間分布を明らかにしている。

ABSTRACT

We study the loop clusters induced by Poissonian ensembles of Markov loops on a finite or countable graph (Markov loops can be viewed as excursions of Markov chains with a random starting point, up to re-rooting). Poissonian ensembles are seen as a Poisson point process of loops indexed by 'time'. The evolution in time of the loop clusters defines a coalescent process on the vertices of the graph. After a description of some general properties of the coalescent process, we address several aspects of the loop clusters defined by a simple random walk killed at a constant rate on three different graphs: the integer number line $\\mathbb{Z}$, the integer lattice $\\mathbb{Z}^d$ with $d\\geq 2$ and the complete graph. These examples show the relations between Poissonian ensembles of Markov loops and other models: renewal process, percolation and random graphs.

研究の動機と目的

• グラフ上におけるマコフループのポアソンアンサンブルによって誘導されるループクラスタを研究し、特にそのコalescentダイナミクスを明らかにすること。
• ループクラスタモデルと再生過程、パーコレーション、ランダムグラフなどの古典的確率過程との関係を確立すること。
• Z^d (d≥2) におけるループクラスタの臨界的挙動を分析し、非自明なパーコレーション閾値の存在を証明すること。
• 完全グラフ上におけるコalescence時間の漸近的分布を導出し、Erdős-Rényiランダムグラフモデルと関連付けること。

提案手法

• コンダクタンスおよびキリング測度を伴うグラフ上におけるマコフループのポアソン点過程を用いたループクラスタのモデル化。
• ループ同士の交差を介して連結成分として定義されるループクラスタを、頂点集合の分割として定式化すること。
• ドゥーブ h-変換を用いてコンダクタンスおよびキリングレートを変更し、異なる測度下での解析を可能にすること。
• 離散ループ上のループ測度 μ を、遷移確率とループ長で正規化することで定義すること。
• サイクル分解と対角成分がゼロのパーマネントを用いた半群公式を導出し、コalescent過程の性質を記述すること。
• 大偏差推定（例：補題 A.2 を用いて）を用いて、漸近的解析におけるクラスタサイズの変動を制御すること。

実験結果

リサーチクエスチョン

• RQ1 グラフ上におけるマコフループのポアソンアンサンブルは、頂点集合上でどのようにコalescent過程を誘導するか？
• RQ2 Z 上のループクラスタモデルと再生過程との関係は何か？スケーリング極限における挙動はどのように現れるか？
• RQ3 Z^d (d≥2) 上のループクラスタモデルには非自明なパーコレーション閾値が存在するか？また、その閾値は極限においてベルヌーイパーコレーションとどのように関係するか？
• RQ4 完全グラフ上におけるループクラスタモデルのコalescence時間の漸近的分布は、サイズが増大する際にどのように振る舞うか？

主な発見

• 整数直線 Z 上では、ループクラスタモデルは再生過程に帰着し、適切なスケーリング（空間 √ε、キリングレート ε）のもとで、ブラウン運動の極限に収束する。
• Z^d (d≥2) 上では、ループクラスタモデルに非自明なパーコレーション閾値が存在し、平均場とは異なる相転移挙動を示す。
• α,κ→∞ かつ α/κ²→c>0 の極限において、ループクラスタモデルはベルヌーイパーコレーションに収束し、ループアンサンブルと古典的パーコレーションとの間の関係を確立する。
• 完全グラフ上では、コalescence時間の分布が、Erdős-Rényiランダムグラフモデルと同一の分布に漸近的に収束するが、ループ構成における独立性の欠如にもかかわらず成立する。
• 漸近的コalescence時間分布の証明には、対角成分がゼロのパーマネントと置換のサイクル分解を含む高度な組合せ的推定が用いられる。
• 大偏差バウンド（例：P(B_n) ≤ n e^{−(1/8)n^{1/4} log n} + n^{−1/12}）を用いて、漸近的解析におけるクラスタサイズのレアイベントの変動を制御している。