[论文解读] Ergodic Theory on Stationary Random Graphs

Itaï Benjamini, Nicolas Curien|arXiv (Cornell University)|Nov 10, 2010

Stochastic processes and statistical mechanics参考文献 17被引用 7

一句话总结

该论文证明了子指数增长的平稳随机图几乎必然为Liouville图，即不包含非平凡有界调和函数。作者采用从群论中改编的熵方法，证明了此类图（如均匀无限平面四边形图UIPQ）具有Liouville性质，从而推进了对无界度数的无限随机图上随机游走的理解。

ABSTRACT

A stationary random graph is a random rooted graph whose distribution is invariant under re-rooting along the simple random walk. We adapt the entropy technique developed for Cayley graphs and show in particular that stationary random graphs of subexponential growth are almost surely Liouville, that is, admit no non constant bounded harmonic function. Applications include the uniform infinite planar quadrangulation and long-range percolation clusters.

研究动机与目标

• 将Liouville性质从Cayley图推广至具有子指数增长的平稳随机图。
• 解决简单随机游走在均匀无限平面四边形图（UIPQ）上的常返性/瞬时性问题，其中度数无界，标准方法失效。
• 将测度等价关系的遍历理论技术推广至随机图的设定。
• 构造一个平面、瞬时、平稳且可逆的子指数增长随机图，挑战有界度数平面图的局部极限理论适用性。

提出的方法

• 将群论中的熵方法改编用于平稳随机图，利用根附近球体的增长率来控制调和函数。
• 将平稳随机图定义为：其分布关于沿简单随机游走的重根化操作不变。
• 利用球体大小的期望对数增长量，经n归一化后在n→∞时趋于零的条件，推导出Liouville性质。
• 应用熵技术证明：若某有界度数的平稳随机图非Liouville，则其简单随机游走必为弹道型（具有正速度）。
• 通过将临界Galton-Watson树中的边替换为与深度平方成比例的多重边，构造一个随机图，确保其具有子指数增长和瞬时性。
• 利用局部拓扑（d_loc）下的弱收敛，证明有限随机图的极限为平稳且可逆的无限图。

实验结果

研究问题

• RQ1 具有子指数增长的平稳随机图是否必然满足Liouville性质，即不包含非平凡有界调和函数？
• RQ2 尽管度数无界，均匀无限平面四边形图（UIPQ）是否几乎必然为Liouville图？
• RQ3 是否存在一个平面、瞬时、平稳且可逆的子指数增长随机图？
• RQ4 何种条件可使平稳随机图的简单随机游走具有零速度或为弹道型？
• RQ5 有界度数平面图的局部极限理论能否推广至无界度数情形？

主要发现

• 满足子指数增长条件（即当n→∞时，n^{-1} E[log #B(ρ,n)] → 0）的平稳随机图，几乎必然为Liouville图。
• 均匀无限平面四边形图（UIPQ）几乎必然为Liouville图，证实了其常返性的猜想。
• 通过在临界Galton-Watson树上进行边乘法，构造出一个平面、瞬时、平稳且可逆的子指数增长随机图。
• 对于有界度数的平稳随机图，若不可逆，则其简单随机游走必为弹道型。
• 熵方法成功地从群和等价关系推广至更广泛的平稳随机图设定。
• 在局部拓扑下，有限随机平面图的弱极限不一定是Liouville图，即使具有子指数增长，表明有界度数局部极限理论存在局限性。