[论文解读] Balls-in-boxes duality for coalescing random walks and coalescing Brownian motions

Steven N. Evans, Xiaowen Zhou|ArXiv.org|Jun 17, 2004

Stochastic processes and statistical mechanicsMathematics参考文献 27被引用 20

一句话总结

本文通过将粒子在空间中的分布与空间区间的占用情况相关联，建立了恒定共融随机游走与恒定共融布朗运动之间的一种新颖对偶关系，表明一个系统中粒子位置的联合分布与另一个对偶系统中区间包含指标的联合分布完全一致。关键贡献在于提出了一种时变非齐次对偶，该对偶可扩展至具有泊松移民的系统，从而能够通过艾里函数显式计算粒子簇的极限分布。

ABSTRACT

We present a duality relation between two systems of coalescing random walks and an analogous duality relation between two systems of coalescing Brownian motions. Our results extends previous work in the literature and we apply it to the study of a system of coalescing Brownian motions with Poisson immigration.

研究动机与目标

• 建立共融随机游走与共融布朗运动之间的对偶关系，扩展随机过程领域中已知的对偶结果。
• 将对偶关系推广至粒子与空间箱体并非在时间零点同时开始的系统，即允许其在不同时间启动。
• 将对偶关系应用于具有泊松移民的共融布朗运动系统，推导粒子簇的渐近分布。
• 利用随机强度测度与Cox过程，表征无限时间极限下粒子位置的极限分布。
• 利用艾里函数推导区间内无粒子的概率以及有界区间内粒子期望数的显式表达式。

提出的方法

• 通过对离散时间共融随机游走中的组合恒等式进行推导，再通过弱收敛将其提升至连续时间共融布朗运动。
• 作者定义了两个系统：一个为粒子相遇时发生共融的系统，另一个为固定球体与随时间演化的盒子组成的系统；证明了这两个系统的指示函数数组具有相同的联合分布。
• 通过引入两个系统之间的时变非齐次耦合，将对偶关系扩展至允许粒子与盒子在不同时间启动的情形。
• 该方法利用粒子系统的避让函数，该函数与共融粒子对之间距离的积分相关联，并证明其与Cox过程的拉普拉斯泛函相匹配。
• 通过随机Radon测度 $ M_{\tau} $ 表征粒子簇的极限分布，该测度来源于共融粒子对之间距离的时间积分。
• 利用艾里函数及其导数，推导出区间 $]a,b] $ 内无粒子的概率以及该区间内粒子期望数的显式公式。

实验结果

研究问题

• RQ1 能否在共融随机游走与共融布朗运动之间建立一种对偶关系，使得粒子位置的联合分布与区间占用情况的联合分布保持一致？
• RQ2 如何将对偶关系扩展至粒子与空间箱体未在时间上同步的系统？
• RQ3 在共融布朗运动与泊松移民的系统中，当时间趋于无穷时，粒子簇的极限分布是什么？
• RQ4 在该系统中，如何显式计算某区间内无粒子的概率？
• RQ5 在系统稳态下，有界区间内的粒子期望数量是多少？

主要发现

• 在时变非齐次耦合下，共融布朗运动系统中粒子位置的联合分布，与具有固定球体的共融布朗运动系统中区间占用情况的联合分布构成对偶。
• 对于泊松移民速率为 $ \lambda $ 的系统，粒子簇的极限分布由强度测度为 $ \lambda M_{\infty} $ 的Cox过程表征，其中 $ M_{\infty} $ 为共融粒子对之间距离的时间积分。
• 在无限时间极限下，区间 $]a,b] $ 内无粒子的概率为 $ \frac{\mathrm{Ai}(\lambda^{1/3}(b-a))}{\mathrm{Ai}(0)} $，其中 $ \mathrm{Ai} $ 为艾里函数。
• 在稳态下，区间 $]a,b] $ 内粒子的期望数量为 $ (3\lambda)^{1/3} \frac{\Gamma(2/3)}{\Gamma(1/3)} (b-a) $。
• 极限测度 $ M_{\infty} $ 几乎必然有限且具有原子，因此所得到的Cox过程并非简单点过程，意味着粒子簇的多重性可能大于一。
• 通过 $ \mathbb{R}_{-} \times \mathbb{R} $ 上的泊松随机测度，给出了极限粒子构型 $ S_{\infty} $ 的几乎必然构造，其中粒子位于 $ \phi(s,0,x) $（$ s \leq 0 $）处。