[论文解读] A formula for the number of spanning trees in circulant graphs with non-fixed generators

Justine Louis|arXiv (Cornell University)|Dec 16, 2013

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

一句话总结

本文推导出一种简化公式，用于计算生成元随顶点数 n 线性变化的循环图中的生成树数量，将矩阵树定理中的 βn 项表达式简化为 β−1 项。主要贡献在于提出了一种更高效的计算方法，并对比了可变生成元循环图与固定生成元循环图的生成树熵。

ABSTRACT

We consider the number of spanning trees in circulant graphs of βn vertices with generators depending linearly on n. The matrix tree theorem gives a closed formula of βn factors; while we derive a formula of β−1 factors. The spanning tree entropy of these graphs is then compared to the one of fixed generated circulant graphs.

研究动机与目标

• 推导出生成元依赖于顶点数 n 的循环图中生成树数量的更高效公式。
• 将矩阵树定理产生的 βn 项表达式计算复杂度降低为 β−1 项公式。
• 对比可变生成元循环图与固定生成元循环图的生成树熵。

提出的方法

• 将矩阵树定理应用于具有 βn 个顶点且生成元关于 n 线性依赖的循环图。
• 利用代数图论，通过对称性与特征值分析，将行列式表达式从 βn 项简化为 β−1 项。
• 利用循环矩阵与单位根的性质，减少生成树计数中的因子数量。
• 推导出仅依赖于 β−1 个因子的生成树数量的闭式表达式，而非 βn 个因子。
• 利用推导出的公式，对比可变生成元与固定生成元循环图的渐近生成树熵。

实验结果

研究问题

• RQ1 是否可以使用少于 βn 个因子来表达生成元依赖于 n 的循环图中的生成树数量，基于矩阵树定理？
• RQ2 可变生成元循环图的生成树熵与固定生成元循环图相比如何？
• RQ3 在循环图中，当生成元关于 n 线性依赖时，会产生哪些代数简化？
• RQ4 是否存在结构或谱学原因，使得生成树公式中的因子数能从 βn 减少到 β−1？
• RQ5 这一简化对生成树熵的渐近行为有何影响？

主要发现

• 具有 n 依赖生成元的循环图中的生成树数量，可仅用 β−1 个因子表达，显著简化了矩阵树定理中的 βn 项表达式。
• 所推导的公式使得在具有可变生成元的大规模循环图中高效计算生成树数量成为可能。
• 结果表明，可变生成元循环图的生成树熵与固定生成元图不同，表明其具有不同的渐近行为。
• 因子数量的减少是通过谱对称性以及循环矩阵特征值中单位根的性质实现的。
• 该方法揭示了行列式计算中一种在标准矩阵树定理应用中不明显的结构性简化。