[论文解读] Self avoiding walk on the seven regular triangulation

Itaï Benjamini|arXiv (Cornell University)|Dec 13, 2016

Mathematics and Applications参考文献 9被引用 4

一句话总结

本文证明了在7-正则无限平面三角剖分上，自避免随机游走（SAW）的期望位移呈线性增长，从而在期望下确立了弹道行为。证明利用了双曲空间中的Gromov双曲性与反射对称性，表明存在一个常数比例的游走顶点满足统一的逆三角不等式，从而强制期望距离从原点线性增长。

ABSTRACT

It is shown that self avoiding walk on the seven regular infinite planar triangulation has linear expected displacement.

研究动机与目标

• 在具有高度对称性与负曲率的7-正则三角剖分图上，建立自避免随机游走的期望弹道行为。
• 通过使用几何与对称性方法，克服依赖谱隙估计的先前计数方法的失败。
• 将期望弹道性的概念推广至双曲格点及更一般的Gromov双曲图，且无需依赖谱隙估计。
• 为在非可均、负曲率图上分析自避免随机游走，提供基于凸包边界与反射不变性的几何框架。

提出的方法

• 利用7-正则三角剖分的Gromov双曲性，其与双曲平面 $\mathbb{H}^2$ 为拟等距。
• 在自避免游走路径的凸包的切测地线上应用反射对称性，保持自避免性质，最多有有界扰动。
• 应用引理2.1，表明在任意有限集 $A$ 中，其在双曲格点中凸包边界的顶点占常数比例 $c|A|$。
• 在常数比例的指标 $i$ 上，满足逆三角不等式 $\text{dist}(\gamma(1),\gamma(i)) + \text{dist}(\gamma(i),\gamma(n)) \leq \text{dist}(\gamma(1),\gamma(n)) + \mathcal{C}$，其中 $\mathcal{C}$ 仅依赖于格点。
• 应用自避免游走计数测度的反射不变性：满足逆三角不等式的概率在边界点处的反射下保持不变。
• 将逆三角不等式与 $\delta$-双曲空间的瘦三角性质结合，证明有线性数量的顶点位于从 $\gamma(1)$ 到 $\gamma(n)$ 的测地线的有界邻域内，从而强制期望位移线性增长。

实验结果

研究问题

• RQ1 在7-正则三角剖分上，自避免随机游走是否即使在高阶格点中计数方法失效的情况下，仍表现出线性期望位移？
• RQ2 能否利用反射对称性与凸包几何，在不依赖谱隙估计的前提下，建立Gromov双曲图上的弹道行为？
• RQ3 在双曲格点中，典型自避免随机游走的路径上，逆三角不等式是否在正密度的顶点处成立？
• RQ4 该期望弹道性结果能否推广至其他双曲格点或 $\mathbb{H}^n$ 中由反射生成的格点的1-骨架？
• RQ5 凸包边界与负曲率空间中自避免路径的几何结构之间存在何种关系？

主要发现

• 在7-正则三角剖分上，$n$步自避免随机游走的期望位移随 $n$ 线性增长，即 $\mathbb{E}[\text{dist}(\gamma(1),\gamma(n))] \geq cn$，其中 $c > 0$ 为某常数。
• 在典型自避免随机游走路径上，有常数比例 $cn$ 的顶点在索引 $i$ 处满足 $\mathcal{C}$-逆三角不等式，其中 $\mathcal{C}$ 为仅依赖于格点的通用常数。
• 由于逆三角不等式与Gromov双曲性，游走路径中位于从 $\gamma(1)$ 到 $\gamma(n)$ 的测地线的有界邻域内的顶点数量，在期望下至少为 $cn$。
• 该论证可推广至 $\mathbb{H}^n$ 中任意由反射生成的双曲格点的1-骨架，从而在这些设定中确立期望弹道性。
• 该证明无需对自避免游走数量或谱隙估计施加边界，而是依赖于几何对称性与凸包结构。
• 该方法表明，在非可均、双曲图上，若凸包中边界顶点的密度为正，则自避免随机游走预期为弹道的。