[论文解读] Anchored expansion, speed, and the hyperbolic Poisson Voronoi tessellation

Itaï Benjamini, Elliot Paquette+1 more|arXiv (Cornell University)|Sep 15, 2014

Mathematics and Applications参考文献 7被引用 6

一句话总结

本文证明了在双曲庞索伊 Voronoi 密铺和双曲庞索伊 Delaunay 三角剖分的 1-骨架上，简单随机游走具有正速度，通过证明这些随机图表现出正锚定展开性与指数体积增长。关键贡献在于一个一般性结果：具有正锚定展开性和指数增长的平稳随机图，其简单随机游走的下极限速度几乎必然为正。

ABSTRACT

We show that random walk on a stationary random graph with positive anchored expansion and exponential volume growth has positive speed. We also show that two families of random triangulations of the hyperbolic plane, the hyperbolic Poisson Voronoi tessellation and the hyperbolic Poisson Delaunay triangulation, have 1-skeletons with positive anchored expansion. As a consequence, we show that the simple random walks on these graphs have positive speed. We include a section of open problems and conjectures on the topics of stationary geometric random graphs and the hyperbolic Poisson Voronoi tessellation.

研究动机与目标

• 建立具有正锚定展开性和指数体积增长的平稳随机图上简单随机游走的正速度。
• 证明双曲庞索伊 Voronoi 和 Delaunay 三角剖分的 1-骨架几乎必然表现出正锚定展开性。
• 通过用平稳性和指数增长替代有界度假设，将 Virág 的速度结果推广至非有界度图。
• 研究平稳随机图上有界调和函数的结构，表明其维度为 1 或无穷维。
• 为在非阿贝尔、双曲空间上分析随机几何图提供一个框架，使用等周和度量比较技术。

提出的方法

• 将锚定展开性定义为一种松弛的等周条件：$ i^*(G) = \liminf_{\substack{|S|\to\infty \\ \rho \in S \\ G|_S \text{ 连通}}} \frac{|\partial S|}{\operatorname{Vol}_G(S)} > 0 $，该条件在随机扰动下保持稳定。
• 利用 Borel-Cantelli 引理与双曲空间中的度量比较，证明当 $ x $ 足够大时，图距离 $ d_G(0,x) \geq \delta \cdot d_\mathbb{H}(0,x) $，从而表明图中的体积增长与双曲空间中的指数增长一致。
• 利用双曲几何构造沿测地线路径的嵌套空球 $ B_i $，通过双曲圆盘和半圆盘构造控制 Voronoi 单元的结构。
• 利用双曲余弦定理和指数衰减估计，控制方向角位移 $ |\theta(X_{k+1}) - \theta(X_k)| $，证明其可求和性及方向的几乎必然收敛。
• 利用 $ \mathbb{E}[\deg(\rho)] < \infty $ 和单峰性，将可逆性与平稳性联系到调和函数的存在性。
• 应用 [Vir00] 中关于热核衰减的结果以及 [LPP95] 中关于超临界 Galton-Watson 树的结果，支持锚定展开性框架。

实验结果

研究问题

• RQ1 具有正锚定展开性和指数体积增长的平稳随机图，其简单随机游走的下极限速度是否几乎必然为正？
• RQ2 双曲庞索伊 Voronoi 和 Delaunay 三角剖分的 1-骨架是否几乎必然表现出正锚定展开性？
• RQ3 Virág 速度结果中的有界度假设能否被平稳性和指数增长所替代？
• RQ4 平稳随机图上有界调和函数空间的结构是什么？
• RQ5 在庞加莱圆盘模型中，双曲庞索伊 Voronoi 图上的简单随机游走是否几乎必然收敛到 $ S^1 $ 上的某一点？

主要发现

• 定理 1.1 建立了：对于具有正锚定展开性且满足 $ \limsup_{r\to\infty} |B(\rho,r)|^{1/r} < \infty $ 的平稳随机图，其简单随机游走几乎必然具有正速度。
• 双曲庞索伊 Voronoi 和 Delaunay 三角剖分的 1-骨架几乎必然表现出正锚定展开性，这是通过沿测地线构造空双曲圆盘的几何方法证明的。
• 对于 $ G = \mathscr{V}^\lambda $ 或 $ \mathscr{D}^\lambda $，存在 $ \delta > 0 $，使得对所有满足 $ d_\mathbb{H}(0,x) $ 足够大的 $ x $，有 $ d_G(0,x) \geq \delta \cdot d_\mathbb{H}(0,x) $，几乎必然成立。
• 图的体积增长满足 $ \limsup_{r\to\infty} \frac{|B_G(0,r)|}{\operatorname{Vol}_\mathbb{H}(B_\mathbb{H}(0,r/\delta))} \leq \lambda $ 几乎必然成立，确认了指数增长。
• 在 $ \mathscr{V}^\lambda $ 和 $ \mathscr{D}^\lambda $ 上，简单随机游走几乎必然收敛到庞加莱圆盘模型中 $ S^1 $ 上的某一点，原因在于方向角位移的可求和性。
• 定理 1.2 表明：平稳随机图上，有界调和函数空间的维度要么为 1 维，要么为无穷维，不存在中间维度的情况。