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

一句话总结

本文证明了永恒乘法共alescent完全由其关联的Lévy型过程$L_{\mathbf{X}}$编码，解决了Aldous（1997）提出的一个开放问题。通过改进的广度优先遍历构造方法并结合Uribe（2007）的洞见，本文证明了共alescent的动力学恰好对应于$L_{\mathbf{X}}$中线性漂移的增加，从而确认该过程完全由其Lévy型生成元决定。

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），即永恒乘法共alescent是否由其关联的Lévy型过程编码。
• 建立乘法共alescent的时间演化与Lévy型过程$L_{\mathbf{X}}$中漂移参数之间的精确动态对应关系。
• 通过改进的广度优先遍历构造方法和Uribe（2007）的洞见，提供编码结果的一个新颖且初等的证明。
• 阐明$L_{\mathbf{X}}$中漂移参数的作用，即直接编码共alescent的时间演化，这与Aldous最初的直觉相反。
• 通过一种新的动态随机图构造方法，为未来近临界随机图及相关过程的渐近分析奠定基础。

提出的方法

• 采用改进的广度优先遍历构造方法，将乘法共alescent过程$\mathbf{X}(t)$与Lévy型过程$L_{\mathbf{X}}$耦合。
• 该过程$L_{\mathbf{X}}$被定义为独立指数时钟跳跃的补偿和，其无穷小漂移为$-s$（在时间$s$处），并通过游程长度与共alescent相关联。
• 关键构造涉及过程$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$的布朗运动。
• 共alescent过程$\mathbf{X}(t)$被恢复为$B^{\kappa,t-\tau,\mathbf{c}}$在零以上游程长度的有序向量。
• 证明依赖于一系列初等观察，包括$B^{\kappa,\cdot-\tau,\mathbf{c}}$的任意游程均不会以跳跃开始，从而确保路径一致性。
• 该论证被推广至所有极端永恒版本的乘法共alescent，参数为$\kappa, \tau, \mathbf{c}$，表明$\mathbf{X}$完全由$L_{\mathbf{X}}$决定。

实验结果

研究问题

• RQ1 正如Aldous（1997）所猜想的那样，永恒乘法共alescent是否完全由其关联的Lévy型过程$L_{\mathbf{X}}$编码？
• RQ2 共alescent的时间演化是否直接对应于$L_{\mathbf{X}}$中的线性漂移参数，与Aldous最初的直觉相反？
• RQ3 能否通过使用改进的广度优先遍历和游程理论的构造性、路径方法建立编码关系？
• RQ4 不同参数下的共alescent过程$\mathbf{X}^{\kappa,\tau,\mathbf{c}}(t)$的边缘分布是否彼此奇异？
• RQ5 通过同时进行广度优先遍历的动态随机图构造，能否推导出近临界随机图的新渐近结果？

主要发现

• 永恒乘法共alescent完全由其关联的Lévy型过程$L_{\mathbf{X}}$编码，证实了Aldous（1997）的猜想。
• 共alescent中的时间参数$t$恰好对应于$L_{\mathbf{X}}$中的线性漂移项，从而消除了关于漂移作用的长期模糊性。
• $\mathbf{X}(t)$的分布为$B^{\kappa,t-\tau,\mathbf{c}}$在零以上游程长度的有序向量，其中$B^{\kappa,t-\tau,\mathbf{c}}$通过具有漂移$-s^2/2 + (t-\tau)s$的布朗运动定义。
• 该构造确保$B^{\kappa,\cdot-\tau,\mathbf{c}}$的任意游程均不会以跳跃开始，这一性质被证明是随机结构的必然结果，而非偶然。
• 该证明基于一系列初等的、路径相关的观察，使其更具可读性，并可能推广至其他模型。
• 该框架通过同时进行的广度优先遍历提供了一种新的动态随机图构造方法，可能在研究近临界随机图渐近行为方面具有应用价值。