[論文レビュー] Spanning Trees in Grid Graphs

Paul Raff|ArXiv.org|Sep 15, 2008

Advanced Graph Theory Research参考文献 2被引用数 3

ひとこと要約

本稿では、固定されたグラフ G とパスまたはサイクルの積によって得られるグリッドグラフ、シリンダーグラフ、トーラスグラフにおける生成森の数の線形漸化式を導出する一般化された手法を提示する。分割に基づく状態表現から導かれる遷移行列にケイリー・ハミルトンの定理を適用することで、著者らは正確な漸化式、母関数、閉形式の公式を計算し、15個の新しい整数列を特定するとともに、既知のケース（$C_2(n)$、$C_3(n)$、$K_3 \times P_n$）の漸化式を改善した。このアプローチは体系的であり、集合分割によってインデックス付けられた大きな行列の固有多項式を用いることで、任意のグラフ $G$ に適用可能である。

ABSTRACT

Building on work by Desjarlais, Molina, Faase, and others, a general method is obtained for counting the number of spanning trees of graphs that are a product of an arbitrary graph and either a path or a cycle, of which grid graphs are a subclass. Results are obtained pertaining to recurrences obtained in this manner, and numerous new integer sequences are found.

研究の動機と目的

• グラフ積 $G \times P_n$ および $G \times C_n$ における生成森の数の線形漸化式を導出する一般化された計算手法を開発すること。
• デシュルレ＝ラジェルとモリナによる $2\times n$ および $3\times n$ グリッドグラフに関する先行研究を、任意のグラフ $G$ に拡張すること。
• 生成森の数列に対して最小の線形漸化式、母関数、閉形式の式を提供すること。
• 新しい整数列を計算し、$C_3(n)$ や $K_3 \times P_n$ のような族に対して既存の漸化式を改善すること。
• 生成森の数え上げに際して、転送行列法と組み合わせたケイリー・ハミルトンの定理の形式的適用を定式化すること。

提案手法

• 本手法は、生成森の数を行列式として計算する行列の木定理を用いるが、直接計算ではなく漸化式の導出に焦点を当てる。
• グリッドの右端の列の状態を $[2k]$ の集合分割によってモデル化し、境界をまたぐ接続成分を表現する。
• サイズ $B_{2k} \times B_{2k}$ の遷移行列 $A$ を構築し、ここで $B_{2k}$ はベル数であり、生成森の列ごとの進化を符号化する。
• $G \times C_n$ における生成森の数は、$(A^n v) \cdot d_k$ として計算され、ここで $v$ は初期状態ベクトル、$d_k$ はシリンダの閉じるための木数を数えるベクトルである。
• 漸化式の次数は $B_{2k}$ で抑えられ、行列 $A$ の固有多項式が最小の線形漸化式を導く。
• 本アプローチは、$k$ 頂点を持つ任意のグラフ $G$ に一般化可能であり、$G \times C_n$ および $G \times P_n$ に対する漸化式の導出を可能にする。

実験結果

リサーチクエスチョン

• RQ1 $n \to \infty$ のとき、$k \times n$ グリッドグラフにおける生成森の数を支配する最小の線形漸化式は何か？
• RQ2 任意の $G$ に対して、シリンダーグラフ $G \times C_n$ における生成森の数を体系的に計算する方法は何か？
• RQ3 グリッド型グラフにおける列間の接続状態の進化を捉える遷移行列の構造は何か？
• RQ4 ケイリー・ハミルトンの定理を、生成森の数列に対する最小の漸化式を導出するために効果的に適用できるか？
• RQ5 この手法から新たに得られる整数列は何か？ また、既存の列とはどのように比較できるか？

主な発見

• 本手法により、$C_2(n)$ に対して6次漸化式 $T_n = 10T_{n-1} - 35T_{n-2} + 52T_{n-3} - 35T_{n-4} + 10T_{n-5} - T_{n-6}$ が得られ、OEIS A006235 と一致する。
• $C_3(n)$ に対して新しい18次漸化式が得られ、列 $\{1, 70, 1728, 31500, 508805, \ldots\}$ はまだ OEIS に登録されていない。
• $K_3 \times P_n$ に対して新しい10次漸化式が導出され、列 $\{3, 318, 12960, 410700, 11870715, \ldots\}$ もまだ OEIS に登録されていない。
• $C_2(n)$ の母関数は $\frac{x(1+2x-10x^2+2x^3+x^4)}{(-1+5x-5x^2+x^3)^2}$ であり、漸化式の妥当性を確認している。
• $K_3 \times P_n$ の母関数は $\frac{3x(1+48x-697x^2-2474x^3+9918x^4+62x^5-2045x^6+96x^7+5x^8)}{(-1+29x-145x^2+145x^3-29x^4+x^5)^2}$ である。
• 本手法により、$G \times C_n$ における生成森の数が、$k = |V(G)|$ として、$B_{2k}$ 以下の次数の線形漸化式に従うことが証明された。