[论文解读] A new transfer-matrix algorithm for exact enumerations: self-avoiding walks on the square lattice

Iwan Jensen|arXiv (Cornell University)|Sep 26, 2013

Advanced Combinatorial Mathematics被引用 8

一句话总结

本文提出了一种新颖的转移矩阵算法，用于在正方形格点上精确枚举自避行走（SAWs），通过追踪右侧连接的方式，实现了比传统左侧追踪更高效的剪枝。该方法将 SAW 系列扩展至长度 79，确认临界指数 γ = 43/32，并以高精度改进了临界振幅和度量性质的估计。

ABSTRACT

We recently published [J. Phys A: Math. Theor. {\bf 45} 115202 (2012)] a new and more efficient implementation of a transfer-matrix algorithm for exact enumerations of self-avoiding polygons. Here we extend this work to the enumeration of self-avoiding walks on the square lattice. A detailed comparison with our previous best algorithm shows very significant improvement in the running time of the new algorithm. The new algorithm is used to extend the enumeration of self-avoiding walks to length 79 from the previous record of 71 and for metric properties, such as the average end-to-end distance, from 59 to 71.

研究动机与目标

• 开发一种更高效的转移矩阵算法，用于在正方形格点上精确枚举自避行走。
• 通过采用右侧连接追踪策略，提高剪枝效率，以克服先前算法的计算局限性。
• 将已知的自避行走数量系列及其度量性质（如末端间距和回转半径）的记录扩展至此前未达到的长度。
• 对临界振幅提供高精度估计，并通过测试如 CSCPS 关系等普遍振幅比来验证。
• 利用微分逼近法和收敛性分析，确认临界指数 γ = 43/32 的精确值。

提出的方法

• 该算法追踪在垂直切割线右侧的未来连接，以实现对非贡献配置更有效的剪枝。
• 利用格点的左右对称性，建立左侧与右侧连接配置之间的双射关系。
• 通过切割线上边的连接模式表示配置，其中弧线和线段编码部分行走结构。
• 通过估计配置可能贡献的最小阶数，对超过预设最大阶数的配置实施剪枝。
• 结合不同宽度和长度的矩形，使用有限格点法重构无限格点生成函数。
• 利用微分逼近法和对渐近展开式的拟合，从扩展的系列中提取临界指数和振幅。

实验结果

研究问题

• RQ1 在转移矩阵算法中，采用右侧连接追踪策略是否能显著提升自避行走的剪枝效率？
• RQ2 该新算法在多大程度上将正方形格点上自避行走的已知系列长度扩展？
• RQ3 通过扩展系列的高精度分析，临界指数 γ = 43/32 和 ν = 3/4 是否得到确认？
• RQ4 与自避行走数量及度量性质相关的临界振幅 A、C、D 和 E 的改进估计值是什么？
• RQ5 利用新系列数据，是否能以高精度确认普遍的 CSCPS 振幅关系 F = 0？

主要发现

• 该新型转移矩阵算法将正方形格点上自避行走的枚举长度从 71 扩展至 79，显著提升了计算能力。
• 临界指数 γ 确认为精确值 43/32，收敛性分析显示微分逼近法无系统性漂移。
• 临界振幅 A 的改进估计值为 1.17704242(5)，该值通过将扩展系列拟合至渐近形式获得，精度极高。
• 末端间距振幅 C 的估计值为 0.771182(5)，回转半径振幅 D 为 0.1081975(25)，平均单体距离振幅 E 为 0.339043(4)。
• 普遍的 CSCPS 振幅关系 F ≡ (2 + yₜ/yₕ)D/C − 2E/C + 1/2 以高精度得到确认，结果为 F = −0.000006(15)。
• 该算法相较于先前方法表现出显著的性能提升，计算复杂度降低至约 1.2^n，使系列扩展至 n = 79 成为可能。