[论文解读] Heat Kernel Upper Bounds on Long Range Percolation Clusters

Nicholas Crawford, Allan Sly|ArXiv.org|Jul 14, 2009

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

一句话总结

该论文为超临界长程渗流过程在 $\mathbb{Z}^d$ 上的无限簇上简单随机游走的热核建立了上界，表明返回概率的衰减速率约为 $t^{-d/(s-d)}$，包含对数修正项，其中 $s \in (d, (d+2) \wedge 2d)$。分析结合了谱隙估计、直径控制以及从粒子视角观察环境的技术，推导出这些标度律。

ABSTRACT

In this paper, we derive upper bounds for the heat kernel of the simple random walk on the infinite cluster of a supercritical long range percolation process. For any $d \geq 1$ and for any exponent $s \in (d, (d+2) \wedge 2d)$ giving the rate of decay of the percolation process, we show that the return probability decays like $t^{-\ffrac{d}{s-d}}$ up to logarithmic corrections, where $t$ denotes the time the walk is run. Moreover, our methods also yield generalized bounds on the spectral gap of the dynamics and on the diameter of the largest component in a box. Besides its intrinsic interest, the main result is needed for a companion paper studying the scaling limit of simple random walk on the infinite cluster.

研究动机与目标

• 推导超临界长程渗流在 $\mathbb{Z}^d$ 上的无限簇上简单随机游走的 quenched 热核上界。
• 理解具有重尾连接概率的长程随机图中返回概率与谱性质的标度行为。
• 建立盒子中最大连通分量的谱隙与直径的广义上界，以支持主要的热核结果。
• 为后续工作中所需简单随机游走在此类簇上的标度极限提供基础。

提出的方法

• 使用 '从粒子视角观察环境' 框架分析随机游走的 quenched 动力学。
• 对游走位移应用矩估计与尾部概率估计，以控制游走到时间 $t$ 时的直径 $D_t$，证明几乎必然有 $D_t \leq c t^p$，其中 $p < 1/(s-d)$。
• 通过大小为 $V_t^{1/d}$ 的方块覆盖论证，其中 $V_t$ 为体积标度，以局部化游走并控制局部几何结构。
• 结合推论 2.2 关于混合时间、引理 4.1 关于位移尾部界以及引理 3.1 关于热核控制，推导出最终上界。
• 利用渗流测度的平移不变性与遍历性，确保空间上的一致性，并控制命中时间尾部概率。
• 应用马尔可夫不等式与类似 Borel-Cantelli 的论证，控制大跳跃与长游走事件的概率，确保罕见事件的可 summability 性。

实验结果

研究问题

• RQ1 在无限长程渗流簇上，简单随机游走的返回概率如何随时间 $t$ 变化？
• RQ2 此类簇上随机游走生成算子的谱隙的渐近行为是什么？
• RQ3 在超临界状态下，大小为 $N^d$ 的方块中最大连通分量的直径如何随 $N$ 变化？
• RQ4 在 $s \in (d, (d+2) \wedge 2d)$ 的参数范围内，热核的正确标度是什么？对数修正项如何影响其行为？
• RQ5 热核衰减速率能否在对数因子范围内被上界控制为 $t^{-d/(s-d)}$？在何种条件下成立？

主要发现

• 返回概率 $P_t^\omega(0,0)$ 的衰减速率约为 $t^{-d/(s-d)}$，包含对数修正项，与参数 $\alpha = s-d$ 的 $\alpha$-稳定 Lévy 过程的预期标度一致。
• 对于 $s \in (d, (d+2) \wedge 2d)$，热核上界已建立，且对对数因子有显式控制。
• 随机游走动力学的谱隙上界为 $O(t^{-d/(s-d)})$，与热核衰减行为一致。
• 游走直径 $D_t$ 满足：对 $p < 1/(s-d)$，有 $P^\omega_x(D_t > c t^p) < c_2 / t^{d/(s-d) + \kappa}$，高概率成立。
• 在大 $t$ 时，半径为 $2c_1 t^p$ 的球内邻居数量以 $2c_1 p \log t$ 为上界，高概率成立。
• 该方法确保热核上界在几乎所有大 $t$ 时成立，前提是经过一个随机但可积的时间 $T_x(\omega)$。