[论文解读] Spanning Trees in Grid Graphs

Paul Raff|ArXiv.org|Sep 15, 2008

Advanced Graph Theory Research参考文献 2被引用 3

一句话总结

本文提出一种通用方法，用于推导由固定图 $G$ 与路径或环的积构成的网格图、柱面图和环面图中生成树数量的线性递推关系。通过将Cayley-Hamilton定理由基于划分的状态表示所导出的转移矩阵应用，作者计算出精确的递推关系、生成函数和闭式公式，得到15个新的整数序列，并改进了已知情况的递推关系，包括 $C_2(n)$、$C_3(n)$ 和 $K_3 \times P_n$。该方法系统性强，适用于任意图 $G$，通过由集合划分索引的大矩阵的特征多项式实现。

ABSTRACT

Building on work by Desjarlais, Molina, Faase, and others, a general method is obtained for counting the number of spanning trees of graphs that are a product of an arbitrary graph and either a path or a cycle, of which grid graphs are a subclass. Results are obtained pertaining to recurrences obtained in this manner, and numerous new integer sequences are found.

研究动机与目标

• 开发一种通用计算方法，用于推导图积 $G \times P_n$ 和 $G \times C_n$ 中生成树数量的线性递推关系。
• 将Desjarlais和Molina关于 $2\times n$ 和 $3\times n$ 网格图的工作扩展到任意图 $G$。
• 为生成树序列提供最小线性递推关系、生成函数和闭式表达式。
• 计算新序列，并改进 $C_3(n)$ 和 $K_3 \times P_n$ 等族的已知递推关系。
• 形式化Cayley-Hamilton定理与转移矩阵法结合用于生成树计数的应用。

提出的方法

• 该方法使用矩阵树定理将生成树数量计算为行列式，但重点在于推导递推关系而非直接计算。
• 通过 $[2k]$ 的集合划分对网格右端列的状态进行建模，表示边界处连通分量的连接情况。
• 构建一个大小为 $B_{2k} \times B_{2k}$ 的转移矩阵 $A$，其中 $B_{2k}$ 为贝尔数，编码生成森林在列之间的演化方式。
• 柱面图 $G \times C_n$ 中的生成树数量计算为 $(A^n v) \cdot d_k$，其中 $v$ 为初始状态向量，$d_k$ 为柱面闭合的树计数向量。
• 递推阶数受 $B_{2k}$ 限制，矩阵 $A$ 的特征多项式可导出最小线性递推关系。
• 该方法可推广至任意 $k$ 个顶点的图 $G$，从而实现 $G \times C_n$ 和 $G \times P_n$ 的递推关系推导。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，$k \times n$ 网格图中生成树数量的最小线性递推关系是什么？
• RQ2 如何系统性地计算任意图 $G$ 的柱面图 $G \times C_n$ 中的生成树数量？
• RQ3 捕捉网格图中列间连通状态演化过程的转移矩阵具有何种结构？
• RQ4 Cayley-Hamilton定理能否有效应用于推导生成树序列的最小递推关系？
• RQ5 该方法产生了哪些新的整数序列，它们与已知序列相比如何？

主要发现

• 该方法成功推导出 $C_2(n)$ 的六阶线性递推关系：$T_n = 10T_{n-1} - 35T_{n-2} + 52T_{n-3} - 35T_{n-4} + 10T_{n-5} - T_{n-6}$，与OEIS A006235一致。
• 发现 $C_3(n)$ 的新十八阶递推关系，序列为 $\{1, 70, 1728, 31500, 508805, \ldots\}$，尚未收录于OEIS。
• 为 $K_3 \times P_n$ 推导出新的十阶递推关系，序列为 $\{3, 318, 12960, 410700, 11870715, \ldots\}$，同样尚未收录于OEIS。
• $C_2(n)$ 的生成函数为 $\frac{x(1+2x-10x^2+2x^3+x^4)}{(-1+5x-5x^2+x^3)^2}$，证实了递推关系。
• $K_3 \times P_n$ 的生成函数为 $\frac{3x(1+48x-697x^2-2474x^3+9918x^4+62x^5-2045x^6+96x^7+5x^8)}{(-1+29x-145x^2+145x^3-29x^4+x^5)^2}$。
• 该方法证明了图 $G \times C_n$ 中的生成树数量满足阶数至多为 $B_{2k}$ 的线性递推关系，其中 $k = |V(G)|$。