[论文解读] An upper bound for the probability of visiting a distant point by critical branching random walk in $\mathbb{Z}^4$

Qingsan Zhu|arXiv (Cornell University)|Mar 1, 2015

Stochastic processes and statistical mechanics参考文献 3被引用 5

一句话总结

本文建立了临界分支随机游走在 $π^4$ 中访问远处点 $a$ 的概率的上界，证明其衰减速度至多为 $C/(|a|^2 \log|a|)$，其中 $C$ 为某常数。证明结合了格林函数估计、通过深度优先排序的路径分解，以及对访问时间的矩界，利用跳跃分布的有限五阶矩来控制尾部行为，并在四维空间中确立了对数修正项。

ABSTRACT

In this paper, we study the probability of visiting a distant point $a\in \mathbb{Z}^4$ by critical branching random walk starting from the origin. We prove that this probability is bounded by $1/(|a|^2\log |a|)$ up to a constant.

研究动机与目标

• 为四维空间中临界分支随机游走的访问概率渐近理解填补空白。
• 建立与猜想阶 $1/(|a|^2\log|a|)$ 匹配的上界，该阶被认为是最优的。
• 在对后代分布 $μ$ 的最小假设（临界且非退化）和对跳跃分布 $θ$ 的强矩条件（均值为零，有限五阶矩）下证明该上界。

提出的方法

• 将分支随机游走建模为在 Galton-Watson 树上的随机函数，空间位置由边上的独立同分布增量决定。
• 定义左最访问路径 $γ(S)$，以路径结构分解访问事件。
• 引入随机变量 $γ = γ(S)$ 和函数 $γ = γ(S)$，其沿路径求和格林函数 $G(a - z_i)$，以估计期望访问时间。
• 利用关键恒等式 $E[N \mid N>0, \tilde{\gamma}(S)=\gamma] \geq P(\mu \geq 2) \cdot g(\gamma)$，将条件期望与路径格林函数联系起来。
• 采用逐路径分析与矩界，将问题约化为对格林函数和在首次 hitting 时间处的随机游走估计。
• 采用 dyadic 尺度 $2^i N$ 的停止时间分解，并利用有限五阶矩的尾部界，控制格林函数和较小的概率。

实验结果

研究问题

• RQ1 临界分支随机游走在 $π^4$ 中访问远处点 $a$ 的正确渐近衰减速率是什么？
• RQ2 在跳跃分布的矩条件较弱时，能否严格证明猜想的上界 $O(1/(|a|^2\log|a|))$？
• RQ3 给定左最访问路径时，点 $a$ 的条件期望访问次数如何变化？该量能否用于控制整体访问概率？

主要发现

• 若跳跃分布 $θ$ 具有零均值和有限五阶矩，则临界分支随机游走在 $π^4$ 中访问远处点 $a$ 的概率被上界控制为 $C/(|a|^2\log|a|)$，其中常数 $C$ 依赖于 $μ$ 和 $θ$。
• 该上界在如下意义上是紧的：若 $μ$ 同样具有有限方差，则访问概率渐近等价于 $1/(|a|^2\log|a|)$，与猜想阶一致。
• 给定左最访问路径 $γ$ 时，点 $a$ 的条件期望访问次数至少为 $P(\mu \geq 2)$ 乘以 $γ$ 上格林函数和，这对访问时间的下界估计至关重要。
• 格林函数和沿左最路径较小（即 $\leq c_1 \log|a|$）的事件的概率至多为 $c_2 / |a|^{2.1}$，该概率可 summable，且主导主估计中的误差。
• 证明依赖于路径分解与对随机游走估计的约化，其中 $θ$ 的有限五阶矩确保了停止时间分析中足够的尾部控制。
• 结果确认了四维空间中猜想的上界，并如更新中所述，为完整的渐近刻画铺平了道路。