[論文レビュー] Aldous diffusion I: a projective system of continuum $k$-tree evolutions

Noah Forman, Soumik Pal+2 more|arXiv (Cornell University)|Sep 20, 2018

Stochastic processes and statistical mechanics参考文献 16被引用数 7

ひとこと要約

本稿は、$k$-木の有限次元的変化の射影的系を用い、区間分割と平方Bessel過程を用いて、連続的木上のマコフ過程であるAldous拡散を構成する。主な貢献は、すべての$k$に対して一貫性を保証するパスごとの構成法であり、ラベル付きの葉をもつ2分木上の離散的Aldous連鎖の極限として拡散の存在を証明することにある。

ABSTRACT

The Aldous diffusion is a conjectured Markov process on the space of real trees that is the continuum analogue of discrete Markov chains on binary trees. We construct this conjectured process via a consistent system of stationary evolutions of binary trees with $k$ labeled leaves and edges decorated with diffusions on a space of interval partitions constructed in previous work by the same authors. This pathwise construction allows us to study and compute path properties of the Aldous diffusion including evolutions of projected masses and distances between branch points. A key part of proving the consistency of the projective system is Rogers and Pitman's notion of intertwining.

研究の動機と目的

• Aldousの予想、すなわち連続的木上の拡散が、2分木上の離散的マコフ連鎖のスケーリング極限として存在することを解消すること。
• Aldous拡散に収束する、$k$-木の変化の一貫性のある射影的系を確立すること。
• 区間分割と平方Bessel過程を用いたパスごとの拡散の構成を提供すること。
• すべての$k \geq 2$に対して、プロセスの有限次元的投影が一貫していることを証明すること。
• 連続極限における質量および距離の変化などのパスの性質の研究を可能にすること。

提案手法

• 各$k$-木が組合せ的木の形状、葉の上部質量、および辺上の区間分割によって定義される、$k$-木の変化の射影的系を用いる。
• 内部辺に接続されたブラウン運動的連続的ランダム木（BCRT）の成分質量から導かれる区間分割を用いる。
• 質量および辺構造の変化をモデル化するために、平方Bessel過程（$\texttt{BESQ}(0)$および$\texttt{BESQ}(-1)$）を適用する。
• RogersとPitmanの相互作用の概念を用いて、射影的系全体での一貫性を証明する。
• ラベルを辺に挿入するカーネル$\Lambda_{k,[k-1]}(T,\cdot)$を用いたリサンプリング機構を実装し、$k$-木の構造を保つ。
• 劣化時間の制御および進化成分の絶滅を避けるために、確率的優越および結合の議論を用いる。

実験結果

リサーチクエスチョン

• RQ1 Aldous拡散は、有限次元的$k$-木の変化の射影的極限として一貫して構成可能か？
• RQ2 連続極限において、投影された質量および分岐点間の距離はどのように変化するか？
• RQ3 平方Bessel過程および区間分割が、$k$-木系のダイナミクスをモデル化する上で果たす役割は何か？
• RQ4 相互作用および結合の技法を用いて、射影的系の一貫性をどのように証明できるか？
• RQ5 固定された時間間隔内での$k$-木の進化が劣化を避ける確率はどの程度か？

主な発見

• Aldous拡散は、$k$-木の変化の一致する射影的極限として存在し、長年の予想が解決された。
• この構成法により、すべての$k \geq 2$に対してプロセスの有限次元的分布が一貫しており、連続的木上のグローバルプロセスの定義が可能になった。
• タイプ1およびタイプ2の進化が時間$\delta$まで劣化を避ける確率は、下から$1 - 1/(32k^2)^k$で抑えられ、正の時間間隔で非退化した進化が保証された。
• ラベルの兄弟辺の劣化時間は、$\texttt{BESQ}_{\epsilon}(-1)$過程によって確率的に支配され、生存時間に正の下界が存在する。
• 結合の議論により、正の確率$\delta > 0$で、リサンプリングプロセスは劣化を避け、少なくとも時間$\delta$の間構造的整合性を維持する。これにより、非退化した進化の存在が保証された。