[论文解读] Recent results on branching random walks

Daniela Bertacchi, Fabio Zucca|arXiv (Cornell University)|Apr 27, 2011

Stochastic processes and statistical mechanics参考文献 28被引用 15

一句话总结

本文综述了分支随机游走（BRWs）的最新进展，利用生成函数分析其存活性质，如局部存活、全局存活和强局部存活。研究建立了纯全局存活的条件，并通过无限维生成函数的不动点证明相变现象，重点探讨非阿贝尔图上的关键结果与谱半径准则。

ABSTRACT

This paper is a collection of recent results on discrete-time and continuous-time branching random walks. Some results are new and others are known. Many aspects of this theory are considered: local, global and strong local survival, the existence of a pure global survival phase and the approximation of branching random walks by means of multitype contact processes or spatially confined branching random walks. Most results are obtained using a generating function approach: the probabilities of extinction are seen as fixed points of an infinite dimensional power series. Throughout this paper we provide many nontrivial examples and counterexamples.

研究动机与目标

• 统一并拓展近期关于离散时间与连续时间分支随机游走的理论成果。
• 利用生成函数技术研究存活模式——局部存活、全局存活与强局部存活。
• 确定在非阿贝尔图上发生纯全局存活的条件，特别是纯全局存活的出现条件。
• 建立BRWs与多类型接触过程或空间受限模型之间的联系。
• 提供非平凡的实例与反例，以说明临界行为与相变现象。

提出的方法

• 通过无限维生成函数G对BRWs建模，其中灭绝概率为G的不动点。
• 利用谱半径与算子范数（例如‖M‖ = ρ(M)）分析在非阿贝尔图上的存活行为。
• 应用解不等式中生成函数的极大值原理，推导存活准则。
• 利用上调和函数与柯西-施瓦茨不等式，关联首次通过概率与存活概率。
• 利用细致平衡条件κ(x)k^{(n)}_{xy} = κ(y)k^{(n)}_{yx}，关联对称与非对称转移核。
• 分析无穷乘积∏(1−αi)^{ki}的收敛性，以根据∑kiαi < ∞判断灭绝与存活。

实验结果

研究问题

• RQ1 在何种条件下，分支随机游走表现出纯全局存活，即仅存在全局存活而无局部存活？
• RQ2 在连续时间BRWs中，临界值λw与λs如何决定灭绝、仅全局存活与局部及全局存活之间的相变？
• RQ3 可迁性与谱半径在决定生成函数非平凡不动点存在性方面起什么作用？
• RQ4 如何通过多类型接触过程或截断空间模型近似BRWs以研究其存活行为？
• RQ5 强局部存活在何时发生，其与有界次调和函数存在性的关系为何？

主要发现

• 对于不可约BRWs，强局部存活不成立当且仅当存在某点x，使得从x出发永远不再返回固定点x̄的概率为正。
• 在非阿贝尔图上，若存在c > 0使得‖f‖_{D(2)} ≥ c‖f‖₂，则谱半径ρ(M) = ‖M‖，这对证明存活阈值至关重要。
• 在点x处局部存活的临界值由F(x,x|ρ) > 1决定，其中F为底层随机游走的生成函数。
• 在常返图中，若灭绝概率q̄ < 1，则强局部存活成立，且所有点的存活概率恒定。
• 条件∑kiαi < ∞等价于∏(1−αi)^{ki} > 0，该条件决定了在某些BRW构造中灭绝是否为必然事件。
• 对于具有相同后代分布的BRWs，灭绝概率在各点上为常数，且等于F(t) = ∑ρ(n)t^n的最小不动点。