[论文解读] Enumeration of perfect matchings of graphs with rotational symmetry by Pfaffians

Weigen Yan, Yeong‐Nan Yeh+1 more|arXiv (Cornell University)|Nov 6, 2006

Graph theory and applications参考文献 20被引用 1

一句话总结

该论文提出一种方法，通过佩尔兰特行列式（Pfaffians）枚举具有 2n-旋转对称性的平面二分图中的完美匹配，证明完美匹配的数量等于 n 个大小为 N/2n 的行列式的乘积。该文推导出柱面镶嵌中匹配数和熵的显式公式，证明其熵与对应环面系统一致。

ABSTRACT

The enumeration of perfect matchings of graphs is equivalent to the dimer problem which has applications in statistical physics. A graph G is said to be n-rotation symmetric if the cyclic group of order n is a subgroup of the automorphism group of G. The enumeration of perfect matchings of graphs with reflective symmetry was studied extensively in the past. In this paper we consider the natural problem: how to enumerate perfect matchings of graphs with rotational symmetry? We prove that if G is a plane bipartite graph of order N with 2n-rotation symmetry, then the number of perfect matchings of G can be expressed as the product of n determinants of order N/2n. Furthermore, we compute the entropy of a bulk plane bipartite lattice with 2n-notation symmetry. As examples we obtain explicit expressions for the numbers of perfect matchings and entropies for two types of tilings of (the surface of) cylinders. Based on the results on the entropy of the torus obtained by Kenyon, Okounkov, and Sheffield (Dimers and amoebae, Ann. Math. 163(2006), 1019–1056) and by Salinas and Nagle (Theory of the phase transition in the layered hydrogen-bonded SnCl 2 · 2H2O crystal, Phys. Rev. B, 9(1974), 4920–4931), we show that each of the cylinders in our examples and its corresponding torus have the same entropy. Finally, we pose some problems.

研究动机与目标

• 填补文献中关于具有旋转对称性图的完美匹配枚举研究的空白，而非仅限于反射对称性。
• 将现有的硬柱模型技术推广至关于 2n 阶循环旋转不变的图。
• 计算具有 2n-旋转对称性的体平面二分图晶格的熵，扩展环面和晶体系统中的已有结果。
• 建立柱面镶嵌熵与其对应环面系统之间的联系，证明二者等价。
• 提出未来研究中关于硬柱系统中旋转对称性的开放问题。

提出的方法

• 利用佩尔兰特行列式编码具有 2n-旋转对称性的图的硬柱配分函数。
• 通过循环群 C_{2n} 的作用分解，将问题简化为更小的行列式。
• 将完美匹配的总数表示为 n 个行列式的乘积，每个行列式大小为 N/2n，其中 N 为顶点总数。
• 运用代数图论与硬柱统计技术，分析由对称性诱导的佩尔兰特行列式因式分解。
• 通过行列式乘积的渐近行为，在热力学极限下计算系统的熵。
• 利用 Kenyon、Okounkov、Sheffield 以及 Salinas–Nagle 的已知结果，比较柱面系统与对应环面系统的熵。

实验结果

研究问题

• RQ1 如何高效计算具有 2n-旋转对称性的平面二分图的完美匹配数量？
• RQ2 具有 2n-旋转对称性的体平面二分图晶格的渐近熵是多少？
• RQ3 具有 2n-旋转对称性的柱面镶嵌是否与对应的环面系统具有相同的熵？
• RQ4 具有旋转对称性的图的佩尔兰特行列式能否分解为更小行列式的乘积？
• RQ5 在具有旋转对称性的特定镶嵌模型中，完美匹配数和熵的显式公式是什么？

主要发现

• 对于阶数为 N 的 2n-旋转对称性平面二分图，其完美匹配数等于 n 个阶数为 N/2n 的行列式的乘积。
• 通过行列式乘积的渐近增长速率，显式计算出具有 2n-旋转对称性的体平面二分图晶格的熵。
• 对于两种特定类型的柱面镶嵌，本文推导出完美匹配数和熵的闭式表达式。
• 证明每个柱面镶嵌的熵与其对应环面系统的熵完全相同，证实了深层的结构等价性。
• 该方法提供了一种系统性方法，通过代数与群论分解，计算对称晶格模型中的硬柱计数与熵。
• 该结果通过将旋转对称性纳入枚举框架，扩展了先前关于环面与层状晶体上硬柱模型的研究。