[论文解读] Counting self-avoiding walks

Geoffrey Grimmett, Zhongyang Li|arXiv (Cornell University)|Apr 26, 2013

Complex Network Analysis Techniques参考文献 31被引用 19

一句话总结

本文研究了无限图上自避随机游走（SAWs）的连通常数 µ(G)，重点关注其对图结构的依赖性。研究分析了费舍尔变换对三价图的影响，为 ∆-正则图建立了通用上下界，并证明了在顶点传递图中存在严格不等式——当在凯莱图中添加一个关系式时，µ(G) 严格减小；当添加一个新生成元时，µ(G) 严格增大。主要贡献在于为正则图与传递图中的连通常数提供了一套系统性框架，其应用涵盖有限生成群的凯莱图，并涉及 SLE8/3 收敛性与连通常数局部性等开放问题。

ABSTRACT

The connective constant $μ(G)$ of a graph $G$ is the asymptotic growth rate of the number of self-avoiding walks on $G$ from a given starting vertex. We survey three aspects of the dependence of the connective constant on the underlying graph $G$. Firstly, when $G$ is cubic, we study the effect on $μ(G)$ of the Fisher transformation (that is, the replacement of vertices by triangles). Secondly, we discuss upper and lower bounds for $μ(G)$ when $G$ is regular. Thirdly, we present strict inequalities for the connective constants $μ(G)$ of vertex-transitive graphs $G$, as $G$ varies. As a consequence of the last, the connective constant of a Cayley graph of a finitely generated group decreases strictly when a new relator is added, and increases strictly when a non-trivial group element is declared to be a generator. Special prominence is given to open problems.

研究动机与目标

• 分析自避随机游走的连通常数 µ(G) 在底层图 G 结构修改下的变化。
• 为 ∆-正则图的连通常数建立通用的上界与下界。
• 证明当 G 为顶点传递图时，µ(G) 的严格不等式，特别关注有限生成群的凯莱图。
• 研究在凯莱图中添加关系式或生成元对连通常数的影响。
• 突出开放问题，包括 SAW 收敛到 SLE8/3 以及连通常数的局部性。

提出的方法

• 使用哈默斯利定理，将连通常数 µ(G) 定义为 SAW 指数增长速率，以证明其存在性。
• 应用费舍尔变换——将顶点替换为三角形——研究其对三价图中 µ(G) 的影响。
• 通过组合与图论技术，推导 ∆-正则图中 µ(G) 的界限。
• 采用群论方法，特别是具有有限陪集性质的子群，证明顶点传递图中 µ(G) 的严格不等式。
• 通过分析添加关系式（群的商）或生成元（扩展生成集）对凯莱图的影响，将结果应用于凯莱图。
• 使用离散解析性与桥分解技术，如 Duminil-Copin 和 Smirnov 证明 µ(H) = √(2+√2) 所用方法，以支持理论界限。

实验结果

研究问题

• RQ1 当在有限生成群的表示中添加一个非平凡关系式，从而由 G 得到凯莱图 Gρ 时，连通常数 µ(G) 是否严格减小？
• RQ2 当向凯莱图的生成元集中添加一个非平凡群元素作为新生成元时，连通常数 µ(G) 是否严格增大？
• RQ3 对于所有简单、三价、顶点传递图 G，是否恒有 µ(G) ≥ φ，其中 φ = (1+√5)/2 为黄金比例？
• RQ4 能否计算出一个正的下界 ϵ，使得当 G′ 通过满足有限陪集性质的准传递边添加从 G 得到时，有 µ(G′) − µ(G) > ϵ？
• RQ5 在多大程度上，顶点传递图的连通常数由以某一点为中心的大型有限球的结构决定？

主要发现

• 六边形晶格 H 的连通常数恰好为 µ(H) = √(2+√2)，通过离散解析性与桥分解方法得到确认。
• 梯子图 L 的连通常数为 µ(L) = (1+√5)/2 = φ，即黄金比例，其来源于 SAW 计数中的斐波那契递推关系。
• 正方形/八边形晶格（阿基米德 (4,8²) 晶格）的连通常数严格大于 φ，其下界为 µ > 1.804。
• 在凯莱图中添加一个非平凡关系式会严格减小连通常数：当 Gρ = G(Γρ, S) 且 ρ ≠ ι 时，有 µ(Gρ) < µ(G)。
• 在凯莱图的生成元集中添加一个新生成元（及其逆元）会严格增大连通常数：µ(G) < µ(Gw)。
• 三角晶格 T 的连通常数满足 µ(Z²) < µ(T)，因为 T 在周期性、准传递的增强下包含了 Z² 及额外边。