[论文解读] Quenched exit times for random walk on dynamical percolation

Yuval Peres, Perla Sousi+1 more|arXiv (Cornell University)|Jul 24, 2017

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

一句话总结

本文为在 $π_n^d$ 环面的动态渗流上的简单随机游走的退出时间建立了淬火上界，适用于所有 $p \in (0,1)$，在亚临界区域（$p < p_c(\mathbb{Z}^d)$）与已知的下界一致。通过演化集与鞅技巧，证明了退出时间在所有 $p$ 下均被 $O(n^2 / \mu)$ 淬火随机有界，将先前的 annealed 结果推广至淬火设定，解决了在典型动态环境实现下对混合行为理解的空白。

ABSTRACT

We consider random walk on dynamical percolation on the discrete torus $\mathbb{Z}_n^d$. In previous work, mixing times of this process for $p

研究动机与目标

• 为填补关于动态渗流上随机游走的淬火混合与退出时间理解的空白，此前结果仅限于 annealed 设定。
• 建立一个对所有边开放概率 $p$ 均成立的淬火退出时间上界，涵盖亚临界与超临界区域。
• 将演化集方法扩展至由动态环境引发的时变马尔可夫链，实现对混合与退出时间的淬火界。
• 通过在环境上使用条件期望框架，解决 annealed 上界与淬火行为之间的差异，特别是在 annealed 上界无法推出淬火结果的区域。

提出的方法

• 将演化集过程适配至由动态渗流诱导的时变马尔可夫链，使用依赖于环境的转移核。
• 为演化集引入一个修正的鞅 $Z_n = \pi(S_n)^{-1}$，其中 $\pi(S_n)$ 是集合 $S_n$ 的平稳测度，并证明 $\mathbb{E}[Z_{n+1} \mid Z_n] \leq Z_n(1 - f_0(Z_n))$。
• 使用函数 $f_0(z) = \psi(1/z^2)$，其中 $\psi$ 是环境过程的谱隙，以控制 $\mathbb{E}[Z_n]$ 的衰减。
• 通过谱隙 $\psi(S)$ 与导纳 $\varphi(S)$ 的比较论证，建立 $\psi(r) \geq \frac{\gamma^2}{2(1-\gamma)^2}\varphi^2(r)$ 对所有 $r$ 成立。
• 在淬火设定中，利用马尔可夫不等式与不等式 $\chi(\mathbb{P}_{x,\eta}(Y_n=\cdot), \pi) \leq \widehat{\mathbb{E}}_{\{x\},\zeta}[Z_n]$ 控制总变差距离。
• 通过积分条件 $n \geq 1 + \frac{2(1-\gamma)^2}{\gamma^2}\int_{4\pi(x)}^{4/\varepsilon} \frac{du}{u\varphi^2(u)}$ 推导出退出时间的统一上界，确保 $\mathbb{E}[Z_n] \leq \sqrt{\varepsilon}$。

实验结果

研究问题

• RQ1 能否为动态渗流上随机游走的退出时间建立一个对所有 $p \in (0,1)$ 均成立的淬火上界？
• RQ2 演化集方法能否扩展至由动态环境引发的时变链，从而实现淬火混合时间界的推导？
• RQ3 淬火退出时间行为与 annealed 混合时间上界相比如何，特别是在超临界区域？
• RQ4 能否通过在环境上使用条件期望框架，解决 annealed 与淬火混合行为之间的差异？

主要发现

• 对所有 $p \in (0,1)$，淬火退出时间被上界 $O(n^2 / \mu)$ 控制，与亚临界区域（$p < p_c(\mathbb{Z}^d)$）的已知下界一致。
• 该上界对所有 $p$ 均一致成立，超越了此前仅限于亚临界区域的结果。
• 证明显示，对所有 $n \geq 1 + \frac{2(1-\gamma)^2}{\gamma^2}\int_{4\pi(x)}^{4/\varepsilon} \frac{du}{u\varphi^2(u)}$，有 $\mathbb{E}[Z_n] \leq \sqrt{\varepsilon}$，确保淬火总变差距离不超过 $\varepsilon^{1/4}$。
• 演化集过程被适配至时变链，且在动态环境中，$\pi(S_n)$ 的鞅性质得以保持。
• 环境过程的谱隙 $\psi$ 与导纳 $\varphi$ 之间满足关系 $\psi(r) \geq \frac{\gamma^2}{2(1-\gamma)^2}\varphi^2(r)$，从而实现对混合时间的积分界。
• 该结果解决了超临界区域中缺乏淬火上界的问题，此前方法甚至未能导出亚临界上界 $n^2/\mu$。