[论文解读] 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

一句话总结

本文通过两步框架构建了在区间划分空间上的扩散过程，其平稳分布为参数为$(\alpha,0)$和$(\alpha,\alpha)$的Poisson–Dirichlet分布：首先，利用Lévy过程和流窜构造一般性方法；其次，通过显式转移核与伪平稳性实现时间缩放与时间变换。主要贡献在于提出了一类具有Poisson–Dirichlet平稳分布的新扩散过程，推进了关于测度值扩散与树值扩散的长期猜想。

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.

研究动机与目标

• 开发一类在区间划分空间上的新扩散过程，使其关于两参数Poisson–Dirichlet分布$\texttt{PDIP}(\alpha,0)$和$\texttt{PDIP}(\alpha,\alpha)$平稳。
• 通过两步框架（基于流窜的一般性过程，随后为显式转移核与伪平稳性）建立这些扩散过程的严格构造。
• 将所得扩散过程与Chinese restaurant过程的连续极限联系起来，并解决关于测度值与树值扩散的长期猜想。
• 通过引入的伪平稳性性质，为研究这些过程的时间变换与缩放版本提供基础。

提出的方法

• 利用先前工作中的一般性构造方法，其中通过用独立流窜装饰Lévy过程的跳跃来生成区间划分过程。
• 应用斜杆映射将点过程转化为区间划分，确保所得过程尊重Poisson–Dirichlet分布的再生结构。
• 为扩散过程实现显式转移核，其来源于底层Lévy过程与流窜理论的结构。
• 应用伪平稳性的概念，使过程在保持平稳分布的前提下可进行时间变换与缩放。
• 依赖强马氏性质与截断过程的条件独立性，验证扩散过程的马氏性质与半群结构。
• 利用Bessel过程零点集的再生排序，将区间划分结构与$\texttt{PD}(\alpha,\theta)$族联系起来。

实验结果

研究问题

• RQ1 能否在区间划分空间上构造出关于Poisson–Dirichlet分布$\texttt{PDIP}(\alpha,0)$与$\texttt{PDIP}(\alpha,\alpha)$平稳的扩散过程？
• RQ2 此类扩散过程能否通过转移核与伪平稳性性质显式表征？
• RQ3 这些区间划分扩散过程与Chinese restaurant过程中上下马氏链的连续极限之间有何联系？
• RQ4 这些构造如何与Poisson–Dirichlet框架中测度值与树值扩散存在的猜想相关联？

主要发现

• 本文为$\alpha \in (0,1)$构造了在区间划分上关于$\texttt{PDIP}(\alpha,0)$与$\texttt{PDIP}(\alpha,\alpha)$平稳的扩散过程，提出了一类具有这些分布作为平衡分布的新扩散类。
• 该构造依赖于两步法：首先，从具有流窜的Lévy过程生成点过程；其次，应用斜杆映射得到具有所需平稳分布的区间划分。
• 伪平稳性被引入作为关键技术工具，使过程在保持平稳律的前提下可进行时间变换与缩放。
• 转移核被显式表征，使可直接研究扩散过程，而无需依赖底层点过程的构造。
• 该过程满足马氏性质，且对截断具有强马氏性质，通过给定当前状态时流窜分量的条件独立性得以验证。
• 研究结果为解决Aldous关于连续树值扩散的猜想以及Feng与Sun关于测度值Poisson–Dirichlet扩散的猜想提供了关键一步。