[论文解读] Counting the spanning trees of a directed line graph

Hoda Bidkhori, Shaunak Kishore|ArXiv.org|Oct 19, 2009

Complex Network Analysis Techniques参考文献 5被引用 3

一句话总结

本文为一个生成函数恒等式提供了双射证明，该恒等式推广了Knuth关于有向线图中生成树计数的公式，建立了二元de Bruijn序列与长度为$2^{n-1}$的二元序列之间的联系。此外，本文完全确定了所有Kautz图和de Bruijn图的临界群，推广了Levine的先前结果，并通过基于图参数的循环群的直和分解，给出了明确的群结构。

ABSTRACT

The line graph LG of a directed graph G has a vertex for every edge of G and an edge for every path of length 2 in G. In 1967, Knuth used the Matrix-Tree Theorem to prove a formula for the number of spanning trees of LG, and he asked for a bijective proof. In this paper, we give a bijective proof of a generating function identity due to Levine which generalizes Knuth's formula. As a result of this proof we find a bijection between binary de Bruijn sequences of degree n and binary sequences of length 2^{n-1}. Finally, we determine the critical groups of all the Kautz graphs and de Bruijn graphs, generalizing a result of Levine.

研究动机与目标

• 为Levine的生成函数恒等式提供一个双射证明，该恒等式推广了Knuth关于有向图线图中生成树数目的公式。
• 通过构造二元de Bruijn序列（度数为$n$）与长度为$2^{n-1}$的二元序列之间的显式双射，解决Stanley的开放问题。
• 完全确定所有Kautz图$\mathrm{Kautz}_n(m)$和de Bruijn图$DB_n(m)$的临界群结构，推广此前对素数$m$的结果。

提出的方法

• 通过边变量和顶点变量索引的生成函数，建立原图中边加权生成树与线图中顶点加权生成树之间的双射对应关系。
• 利用矩阵-树定理和线性代数恒等式推导生成函数关系，然后提供保持生成树结构的组合双射。
• 对$n$使用归纳法，计算$DB_n(m)$和$\mathrm{Kautz}_n(m)$的临界群的Sylow $p$-子群，分析生成树数目的$p$-进赋值。
• 应用有限交换群的结构定理，将临界群分解为循环$p$-群的直和，通过递归计数群阶中$p$-幂次来确定指数。
• 通过匹配群阶的$p$-进赋值与循环分解中指数之和，验证归纳步骤，确保所有整除$m$的素数均保持一致。
• 通过Sylow理论和递归线图迭代分析群结构，将Levine此前仅对素数$m$计算临界群的结果推广至任意$m$。

实验结果

研究问题

• RQ1 能否为Levine的生成函数恒等式构造一个双射证明，该恒等式推广了Knuth关于有向线图中生成树的公式？
• RQ2 是否存在二元de Bruijn序列（度数为$n$）与长度为$2^{n-1}$的二元序列之间的自然显式双射？
• RQ3 对于任意$m$，de Bruijn图$DB_n(m)$的临界群的完整结构是什么？
• RQ4 对于任意$m$，Kautz图$\mathrm{Kautz}_n(m)$的临界群的完整结构是什么？
• RQ5 对于整除$m$的每个素数$p$，迭代线图$\mathrm{Kautz}_n(m)$和$DB_n(m)$的临界群如何分解为循环$p$-群？

主要发现

• de Bruijn图$DB_n(m)$的临界群同构于$\left(\mathbb{Z}_{m^n}\right)^{m-2} \oplus \bigoplus_{i=1}^{n-1} \left(\mathbb{Z}_{m^i}\right)^{m^{n-1-i}(m-1)^2}$，为所有$m$提供了完整的分解。
• Kautz图$\mathrm{Kautz}_n(m)$的临界群同构于$\left(\mathbb{Z}_{m+1}\right)^{m-1} \oplus \left(\mathbb{Z}_{m^{n-1}}\right)^{m^2-2} \oplus \bigoplus_{i=1}^{n-2} \left(\mathbb{Z}_{m^i}\right)^{m^{n-2-i}(m-1)^2(m+1)}$，将Levine的结果推广至所有$m$。
• 构造了二元de Bruijn序列（度数为$n$）与长度为$2^{n-1}$的二元序列之间的双射，解决了Stanley练习5.73。
• 当$p^k$是整除$m$的最大$p$-幂时，$K(DB_n(m))$的Sylow $p$-子群为$\left(\mathbb{Z}_{p^{nk}}\right)^{m-2} \oplus \bigoplus_{i=1}^{n-1} \left(\mathbb{Z}_{p^{ik}}\right)^{m^{n-1-i}(m-1)^2}$，否则为平凡群。
• 对于$\mathrm{Kautz}_n(m)$，Sylow $p$-子群为$\left(\mathbb{Z}_{p^{(n-1)k}}\right)^{m^2-2} \oplus \bigoplus_{i=1}^{n-2} \left(\mathbb{Z}_{p^{ik}}\right)^{m^{n-2-i}(m-1)^2(m+1)}$，其中当$n > 2$时，$a_k = m^{n-2}(m-1)^2$；当$n = 2$时，$a_k = m^2 - 2$。
• 无论是$DB_n(m)$还是$\mathrm{Kautz}_n(m)$，其临界群均被完全表征为循环$p$-群的直和，指数由生成树数目中$p$-进赋值的递归计数确定。