[論文レビュー] 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.

研究の動機と目的

• 有向グラフの線グラフにおけるスパニングツリーの数を数えるKnuthの公式を一般化するLevineの生成関数恒等式の双対的証明を提供すること。
• Stanleyの未解決問題を解くために、次数 $n$ の二進de Bruijn列の集合と長さ $2^{n-1}$ の二進列の集合との間の明示的な双対写像を構成すること。
• すべての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$ を割るすべての素数について一貫性を保証する。
• Levineが素数 $m$ の場合にのみ臨界群を計算していたのを、Sylow理論と再帰的線グラフ反復を用いて、任意の $m$ に一般化する。

実験結果

リサーチクエスチョン

• RQ1 Levineの生成関数恒等式の双対的証明を、有向線グラフにおけるスパニングツリーの数を数えるKnuthの公式を一般化する形で構築できるか？
• RQ2 次数 $n$ の二進de Bruijn列の集合と長さ $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$-群の直和に分解されるか？

主な発見

• 臨界群 $K(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$ に対して完全な分解を与える。
• 臨界群 $K(\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$ に拡張する。
• 次数 $n$ の二進de Bruijn列の集合と長さ $2^{n-1}$ の二進列の集合との間の双対写像が構成され、Stanleyの演習5.73が解決された。
• 臨界群 $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}$ に同型であり、$p^k$ が $m$ を割る最大の $p$ のべきで、そうでなければ自明。
• Kautzグラフ $\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$-群の直和として完全に特徴付けられる。