[論文レビュー] Diffusions on a space of interval partitions: Poisson-Dirichlet stationary distributions

Noah Forman, Soumik Pal+2 more|arXiv (Cornell University)|Oct 16, 2019

Bayesian Methods and Mixture Models参考文献 55被引用数 15

ひとこと要約

本稿では、2段階の枠組みを用いて、パrameter $(\alpha,0)$ および $(\alpha,\alpha)$ のポアソン＝ディリクレ分布に対して定常的な、区間分割の空間上の拡散過程を構築する。まず、レヴィ過程とギャップを用いた一般化された構成法を適用し、次に明示的な遷移核と擬定常性を導入してスケーリングと時間変換を可能にする。主な貢献は、ポアソン＝ディリクレ定常分布を有する、新たな拡散過程のクラスの確立であり、測度値および木構造値の拡散過程に関する長年の予想を前進させるものである。

ABSTRACT

We introduce diffusions on a space of interval partitions of the unit interval that are stationary with the Poisson-Dirichlet laws with parameters $(α,0)$ and $(α,α)$. The construction has two steps. The first is a general construction of interval partition processes obtained previously, by decorating the jumps of a Lévy process with independent excursions. Here, we focus on the second step, which requires explicit transition kernels and what we call pseudo-stationarity. This allows us to study processes obtained from the original construction via scaling and time-change. In a sequel paper, we establish connections to diffusions on decreasing sequences introduced by Ethier and Kurtz (1981) and Petrov (2009). The latter diffusions are continuum limits of up-down Markov chains on Chinese restaurant processes. Our construction is also a step towards resolving longstanding conjectures by Feng and Sun on measure-valued Poisson-Dirichlet diffusions, and by Aldous on a continuum-tree-valued diffusion.

研究の動機と目的

• 区間分割の空間上に、2パrameterポアソン＝ディリクレ分布 $\texttt{PDIP}(\alpha,0)$ および $\texttt{PDIP}(\alpha,\alpha)$ に対して定常的な、新たな拡散過程のクラスを構築すること。
• 一般的なギャップに基づくプロセスに続く、明示的な遷移核と擬定常性を用いた2段階の枠組みを通じて、これらの拡散過程の厳密な構成を確立すること。
• 得られた拡散過程が、中国レストラン過程の連続的極限とどのように関連するかを明らかにし、測度値および木構造値の拡散過程に関する長年の予想を解決すること。
• 導入された擬定常性の性質を基盤として、時間変換およびスケーリングを施したこのプロセスの研究の基盤を提供すること。

提案手法

• 先行研究における一般化された構成法を用い、区間分割プロセスをレヴィ過程のジャンプに独立したギャップを装飾することで生成する。
• スケーラー写像を用いて点過程を区間分割に変換し、その結果得られるプロセスがポアソン＝ディリクレ分布の再生的構造を保つようにする。
• 下位のレヴィ過程およびギャップ理論の構造に基づいて導出された、明示的な遷移核を拡散過程に実装する。
• 時間変換およびスケーリングを可能にするために、擬定常性の概念を適用し、定常分布を維持する。
• 強マルコフ性およびカットオフプロセスの条件付き独立性に依拠して、拡散過程のマルコフ性および半群構造を検証する。
• バessel過程のゼロ集合の再生的順序付けを用いて、区間分割構造と $\texttt{PD}(\alpha,\theta)$ 系列との関連を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 区間分割の空間上に、ポアソン＝ディリクレ分布 $\texttt{PDIP}(\alpha,0)$ および $\texttt{PDIP}(\alpha,\alpha)$ に対して定常的な拡散過程を構築できるか？
• RQ2 このような拡散過程は、遷移核と擬定常性の性質によってどのように明示的に特徴付けられるか？
• RQ3 これらの区間分割拡散過程と、中国レストラン過程の上り下りマルコフ連鎖の連続的極限との関係は何か？
• RQ4 これらの構成は、ポアソン＝ディリクレ枠組みにおける測度値および木構造値の拡散過程の存在に関する予想とどのように関連するか？

主な発見

• 本稿では、$\alpha \in (0,1)$ に対して、$\texttt{PDIP}(\alpha,0)$ および $\texttt{PDIP}(\alpha,\alpha)$ に対して定常的な、区間分割上の拡散過程を構築し、これらの分布を均衡分布とする新たな拡散過程のクラスを提供する。
• 構成は2段階の手法に依拠する：まず、ギャップを伴うレヴィ過程から点過程を生成し、次にスケーラー写像を適用して所望の定常分布を有する区間分割を取得する。
• 擬定常性は、定常分布を維持したまま時間変換およびスケーリングを可能にする、主要な技術的ツールとして導入される。
• 遷移核は明示的に特徴付けられており、下位の点過程の構成に依存せずに、拡散過程そのものを直接的に研究することが可能になる。
• カットオフにおける強マルコフ性および条件付き独立性により、現在の状態を条件としたギャップ成分の独立性を仮定することで、マルコフ性が確認される。
• 本研究の結果は、アルドウスの連続的木構造値拡散過程に関する予想およびフェンとサンの測度値ポアソン＝ディリクレ拡散過程に関する予想を解決する上で、重要な一歩を提供する。