[论文解读] Counting Spanning Trees of Threshold Graphs

Stephen R. Chestnut, Donniell E. Fishkind|arXiv (Cornell University)|Aug 20, 2012

Graph theory and applications参考文献 15被引用 4

一句话总结

本文为计数阈值图中生成树数量的公式提供了直接的组合证明，该公式推广了Cayley公式。通过扩展Joyal的双射证明技巧，推导出基于顶点度数的乘积公式，并进一步将该方法应用于差图，通过度数乘积得出了类似的生成树计数公式。

ABSTRACT

Cayley's formula states that there are $n^{n-2}$ spanning trees in the complete graph on $n$ vertices; it has been proved in more than a dozen different ways over its 150 year history. The complete graphs are a special case of threshold graphs, and using Merris' Theorem and the Matrix Tree Theorem, there is a strikingly simple formula for counting the number of spanning trees in a threshold graph on $n$ vertices; it is simply the product, over $i=2,3, ...,n-1$, of the number of vertices of degree at least $i$. In this manuscript, we provide a direct combinatorial proof for this formula which does not use the Matrix Tree Theorem; the proof is an extension of Joyal's proof for Cayley's formula. Then we apply this methodology to give a formula for the number of spanning trees in any difference graph.

研究动机与目标

• 为阈值图的生成树公式提供一种不依赖矩阵树定理的直接组合证明。
• 将Joyal对Cayley公式的双射证明方法推广至阈值图，保持组合直觉。
• 将该方法论推广至差图，并推导出其新的生成树计数公式。
• 通过基于度序列的组合构造，统一并扩展现有关于特殊图类中生成树结果的研究。

提出的方法

• 通过顶点生成序列和映射关系，将Joyal对Cayley公式双射证明的方法适配至阈值图。
• 使用映射Ψ_G将顶点上的函数映射到有向图，再将其转化为生成树。
• 定义函数f: X ∪ Y → X ∪ Y，使得对v ∈ X有f(v) ∈ N_G[v]，对v ∈ Y有f(v) ∈ N_G(v)，通过合并环来确保树结构。
• 应用逆映射Ψ_G⁻¹从标记的生成树中恢复函数，建立双射关系。
• 证明此类函数的数量等于度数的乘积，这对应于差图H的|X||Y|τ(H)。
• 利用生成序列的结构，组合地定义阈值图与差图，实现基于度数的计数。

实验结果

研究问题

• RQ1 能否为阈值图中生成树计数构造一种不使用矩阵树定理的直接组合证明？
• RQ2 如何将Joyal对Cayley公式双射证明的方法推广至阈值图？
• RQ3 差图的类似生成树计数公式是什么？能否通过组合方法推导出？
• RQ4 在多大程度上可以利用阈值图与差图的结构特性，推导出τ(G)的度数乘积公式？

主要发现

• 为阈值图建立了直接的组合证明，公式为τ(G) = ∏_{i=2}^{n-1} |{v ∈ V : deg(v) ≥ i}|，且不使用矩阵树定理。
• 当G为完全图K_n时，该公式退化为Cayley公式n^{n-2}，证实其推广关系。
• 对于连通差图H = (X,Y,E)，其生成树数量为τ(H) = (1/(|X||Y|)) × ∏_{v∈X∪Y} deg(v)。
• 该证明方法将Joyal的双射推广至阈值图，并应用于差图，建立了函数与标记生成树之间的双射。
• 该方法证实，此类函数的数量等于度数的乘积，且与生成树数量成正比。
• 该方法推广了Remmel和Williamson对定理2.4的证明，为这些图类中的生成树计数提供了一个统一的组合框架。