[论文解读] Spanning trees of graphs on surfaces and the intensity of loop-erased random walk on Z^2

Richard Kenyon, David B. Wilson|arXiv (Cornell University)|Jul 18, 2011

Stochastic processes and statistical mechanics参考文献 26被引用 13

一句话总结

本文提出一种方法，用于计算嵌入在曲面上的图的均匀生成树中的连接概率，并将其应用于确定 Z² 及相关晶格上自回避随机游走的强度。该研究证实了长期存在的猜想：从 (0,0) 出发的自回避随机游走经过 (1,0) 的概率为 5/16，且在三角晶格、蜂窝晶格和 Z×R 晶格上也得到了类似结果。

ABSTRACT

We show how to compute the probabilities of various connection topologies for uniformly random spanning trees on graphs embedded in surfaces. As an application, we show how to compute the intensity of the loop-erased random walk in Z^2, that is, the probability that the walk from (0,0) to infinity passes through a given vertex or edge. For example, the probability that it passes through (1,0) is 5/16; this confirms a 15-year old conjecture about the stationary sandpile density on Z^2. We do the analogous computation for the triangular lattice, honeycomb lattice and Z x R, for which the probabilities are 5/18, 13/36, and 1/4-1/\pi^2 respectively.

研究动机与目标

• 推导嵌入在曲面上的图的均匀生成树中连接拓扑的确切概率。
• 通过自回避随机游走强度解决关于 Z² 上平稳沙堆密度的长期猜想。
• 将自回避随机游走强度的计算扩展到其他平面及晶格结构，包括三角晶格、蜂窝晶格和 Z×R 晶格。
• 提供一个通用框架，用于计算自回避随机游走经过晶格图中特定顶点或边的概率。

提出的方法

• 利用嵌入在曲面上的图的均匀生成树理论，计算连接概率。
• 应用曲面的对偶性和调和分析，将生成树构型与自回避随机游走路径关联起来。
• 使用基尔霍夫矩阵-树定理和曲面同调，将拓扑约束编码到计算中。
• 将问题转化为曲面同调群上的行列式计算，以提取路径概率。
• 将该方法应用于 Z²、三角晶格、蜂窝晶格和 Z×R，得到精确的有理数或超越数概率。
• 通过验证 Z² 上经过 (1,0) 的概率为 5/16，确认了 15 年前的猜想。

实验结果

研究问题

• RQ1 从 (0,0) 出发的 Z² 上自回避随机游走经过顶点 (1,0) 的确切概率是多少？
• RQ2 如何利用曲面嵌入图上的生成树概率来计算自回避随机游走的强度？
• RQ3 三角晶格和蜂窝晶格上自回避随机游走的强度是多少？
• RQ4 Z×R 晶格上自回避随机游走的强度是多少？与平面晶格相比有何不同？
• RQ5 在 Z² 上计算出的强度是否证实了 5/16 的平稳沙堆密度猜想？

主要发现

• 自回避随机游走经过 Z² 上 (1,0) 的概率恰好为 5/16，证实了 15 年前的猜想。
• 在三角晶格上，自回避随机游走经过某条边的强度为 5/18。
• 在蜂窝晶格上，经过某条边的概率为 13/36。
• 在 Z×R 晶格上，强度为 1/4 − 1/π²，反映了连续的空间延展性。
• 该方法成功推广到各种曲面嵌入图，实现了对不同晶格类型下自回避游走强度的精确计算。