[論文レビュー] Counting Spanning Trees of Threshold Graphs

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

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

ひとこと要約

本稿は、閾値グラフにおけるスパニングツリーの数を数える公式に対して、直接的な組合せ的証明を提示し、ケーリーの公式を一般化する。ジョイアルの双対的証明技法の拡張を用いて、頂点の次数に基づく積公式を導出し、さらにその手法を差分グラフに応用することで、次数の積を用いた同様のスパニングツリー数の公式を導出する。

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.

研究の動機と目的

• スパニングツリーの公式を、行列木定理に依存せずに、閾値グラフに対して直接的な組合せ的証明を提供すること。
• ジョイアルのケーリーの公式の双対的証明を、閾値グラフに拡張し、組合せ的直観を保ったまま行うこと。
• その手法を差分グラフに一般化し、それらのスパニングツリー数を数える新しい公式を導出すること。
• 次数列に基づく組合せ的構成を用いて、特殊グラフクラスにおけるスパニングツリーの既存結果を統一的かつ拡張的に扱うこと。

提案手法

• 頂点生成列と関数的写像を用いて、ジョイアルのケーリーの公式の双対的証明を閾値グラフに適応する。
• 関数から有向グラフへの写像 Ψ_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 ジョイアルのケーリーの公式の双対的証明を、閾値グラフにどのように一般化できるか？
• RQ3 差分グラフに対して類似のスパニングツリー数の公式は何か？ そして、それを組合せ的に導出できるか？
• RQ4 閾値グラフおよび差分グラフの構造的性質をどの程度活用して、τ(G) の次数積公式を導出できるか？

主な発見

• スパニングツリー数の公式 τ(G) = ∏_{i=2}^{n-1} |{v ∈ V : deg(v) ≥ i}| が、行列木定理を用いずに、閾値グラフに対して直接的な組合せ的証明で確立された。
• G が完全グラフ K_n のとき、この公式はケーリーの公式 n^{n-2} に簡略化され、その一般化であることが確認された。
• 連結な差分グラフ H = (X,Y,E) に対して、スパニングツリーの数は τ(H) = (1/(|X||Y|)) × ∏_{v∈X∪Y} deg(v) で与えられる。
• 証明技法はジョイアルの双対写像を閾値グラフに拡張し、差分グラフに対しても適用することで、関数とマーク付きスパニングツリーの間の双対性を確立した。
• この手法により、このような関数の数が次数の積に等しくなることが確認され、これはスパニングツリーの数に比例することが示された。
• 本手法は、レムエルとウィリアムソンによる定理 2.4 の証明を一般化し、これらのグラフクラスにおけるスパニングツリー列挙の統一的組合せ的枠組みを提供した。