[論文レビュー] Eternal multiplicative coalescent is encoded by its Lévy-type processes

Vlada Limic|arXiv (Cornell University)|Jan 6, 2016

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

ひとこと要約

本稿は、エターナル乗法的コアリスセンがその関連するレヴィ型過程 $L_{\mathbf{X}}$ によって完全に符号化されることを確立し、Aldous (1997) における未解決問題を解決した。修正された幅優先ウォーク構成と Uribe (2007) の知見を用いて、コアリスセンのダイナミクスが $L_{\mathbf{X}}$ の線形ドリフト増加と正確に一致することを証明し、この過程が完全にそのレヴィ型生成子によって決定されることを確認した。

ABSTRACT

The multiplicative coalescent is a Markov process taking values in ordered $l^2$. It is a mean-field process in which any pair of blocks coalesces at rate proportional to the product of their masses. In Aldous and Limic (1998) each extreme eternal version $(\mathbf{X}(t),- \infty < t < \infty)$ of the multiplicative coalescent was described in three different ways. One of these specifications matches the (marginal) law of $\mathbf{X}(t)$ to that of the ordered excursion lengths above past minima of $\{L_{\mathbf{X}}(s) +ts, \,s \geq 0\}$, where $L_{\mathbf{X}}$ is a certain Lévy-type process which (modulo shift and scaling) has infinitesimal drift $-s$ at time $s$. Using a modification of the breadth-first-walk construction from Aldous (1997) and Aldous and Limic (1998), and some new insight from the thesis by Uribe (2007), this work settles an open problem (3) from Aldous (1997), in the more general context of Aldous and Limic (1998). Informally speaking, $\mathbf{X}$ is entirely encoded by $L_{\mathbf{X}}$, and contrary to Aldous' original intuition, the evolution of time for $\mathbf{X}$ does correspond to the linear increase in the constant part of the drift of $L_{\mathbf{X}}$. In the "standard multiplicative coalescent" context of Aldous (1997), this result was first announced by Armendáriz in 2001, and obtained in a recent preprint by Broutin and Marckert, who simultaneously account for the process of excess edge counts (or marks). The novel argument presented here is based on a sequence of relatively elementary observations. Some of its components (for example, the new dynamic random graph construction via "simultaneous" breadth-first walks) are of independent interest, and may be useful for obtaining more sophisticated asymptotic results on near critical random graphs and related processes.

研究の動機と目的

• Aldous (1997) が提起した未解決問題 (3) を解決すること。すなわち、エターナル乗法的コアリスセンがその関連するレヴィ型過程によって符号化されるかどうかを問うものである。
• 乗法的コアリスセンの時間発展とレヴィ型過程 $L_{\mathbf{X}}$ のドリフトパラメータとの間の明確な動的対応関係を確立すること。
• 修正された幅優先ウォーク構成と Uribe (2007) の知見を用いて、符号化結果の新しい、初等的な証明を提供すること。
• ドリフトパラメータがコアリスセンの時間発展を直接符号化することを明確にし、Aldous の元々の直感とは対照的に、その役割を解明すること。
• 新たな動的ランダムグラフ構成を用いて、近臨界ランダムグラフおよび関連過程の今後の漸近的解析の基盤を築くこと。

提案手法

• 修正された幅優先ウォーク構成を用いて、乗法的コアリスセン過程 $\mathbf{X}(t)$ をレヴィ型過程 $L_{\mathbf{X}}$ と結合する。
• $L_{\mathbf{X}}$ は、独立な指数分布の時計からのジャンプの補正済み和として定義され、時間 $s$ における無限小ドリフトが $-s$ であり、エクcursion長を介してコアリスセンと関連づけられる。
• 主な構成は、$B^{\kappa,t-\tau,\mathbf{c}}(s) = W^{\kappa,t-\tau,\mathbf{c}}(s) - \min_{0\leq s'\leq s} W^{\kappa,t-\tau,\mathbf{c}}(s')$ である。ここで $W^{\kappa,t-\tau,\mathbf{c}}$ は、ドリフト $-s^2/2 + (t-\tau)s$ を持つブラウン運動である。
• コアリスセン過程 $\mathbf{X}(t)$ は、$B^{\kappa,t-\tau,\mathbf{c}}$ がゼロより上にあるエクスカージョン長の順序付きベクトルとして回復される。
• 証明は、エクスカージョンがジャンプで始まらないという事実を含む、一連の初等的観察に依存しており、パスワイズな一貫性が保証される。
• この議論は、パrameter $\kappa, \tau, \mathbf{c}$ でパrameter化されたエターナル乗法的コアリスセンの極端なすべてのバージョンに拡張され、$\mathbf{X}$ が $L_{\mathbf{X}}$ によって完全に決定されることを示した。

実験結果

リサーチクエスチョン

• RQ1 Aldous (1997) が予想したように、エターナル乗法的コアリスセンは、その関連するレヴィ型過程 $L_{\mathbf{X}}$ によって完全に符号化されるか？
• RQ2 コアリスセンの時間発展は、$L_{\mathbf{X}}$ の線形ドリフトパラメータに対応するか？これは Aldous の初期の直感とは対照的である。
• RQ3 修正された幅優先ウォークとエクスカージョン理論を用いた構成的でパスワイズな方法によって、符号化を確立できるか？
• RQ4 異なるパrameter におけるコアリスセン過程 $\mathbf{X}^{\kappa,\tau,\mathbf{c}}(t)$ の周辺分布は、互いに特異的か？
• RQ5 同時に実行される幅優先ウォークを用いた動的ランダムグラフ構成は、近臨界ランダムグラフの新たな漸近的結果を導出するために用いることができるか？

主な発見

• エターナル乗法的コアリスセンは、その関連するレヴィ型過程 $L_{\mathbf{X}}$ によって完全に符号化されており、Aldous (1997) の予想が裏付けられた。
• コアリスセンにおける時間パラメータ $t$ は、$L_{\mathbf{X}}$ の線形ドリフト項と正確に一致し、ドリフトの役割に関する長年の曖昧さが解消された。
• $\mathbf{X}(t)$ は、ドリフト $-s^2/2 + (t-\tau)s$ を持つブラウン運動によって定義される $B^{\kappa,t-\tau,\mathbf{c}}$ がゼロより上にあるエクスカージョン長の順序付きベクトルとして分布する。
• この構成により、$B^{\kappa,\cdot-\tau,\mathbf{c}}$ のエクスカージョンがジャンプで始まらないことが保証され、これは偶然ではなく、確率的構造の結果であることが示された。
• 証明は、一連の初等的でパスワイズな観察に基づいており、より理解しやすく、他のモデルへの一般化も可能である可能性がある。
• この枠組みは、同時に実行される幅優先ウォークを用いた新たな動的ランダムグラフ構成を提供し、近臨界ランダムグラフの漸近的性質を研究するのに役立つ可能性がある。