[論文レビュー] Fibonacci Identities and Graph Colorings

Christopher J. Hillar, Troels Windfeldt|ArXiv.org|May 7, 2008

Advanced Mathematical Theories and Applications参考文献 1被引用数 8

ひとこと要約

本稿では、グラフ彩色を用いてフィボナッチ数とラウス数を一般化し、標準色とワイルドカード色の両方を含む2変数彩色多項式を導入する。パスグラフとサイクルグラフの解析を通じて、一般化されたフィボナッチ数列の新しい恒等式を導出し、ワイルドカードを1に設定した特殊ケースとして、古典的なフィボナッチ恒等式（例：$ F_{r+s+t} = F_{r+1}F_{s+1}F_{t+1} + F_rF_sF_t - F_{r-1}F_{s-1}F_{t-1} $）を回復する。

ABSTRACT

We generalize both the Fibonacci and Lucas numbers to the context of graph colorings, and prove some identities involving these numbers. As a corollary we obtain new proofs of some known identities involving Fibonacci numbers such as \[F_{r+s+t} = F_{r+1}F_{s+1}F_{t+1} + F_r F_s F_t - F_{r-1}F_{s-1}F_{t-1}.\]

研究の動機と目的

• 標準色とワイルドカード色を用いたグラフ彩色を用いて、フィボナッチ数とラウス数をより広い枠組みへと拡張すること。
• グラフ理論的分解と線形再帰的恒等式との間の関係を確立すること。
• 再帰的グラフ彩色規則を用いて、一般化されたフィボナッチ数列の新しい組合せ的恒等式を導出すること。
• 一般化された枠組みにおける特定のパrameter選択によって、既知のフィボナッチ恒等式を特殊ケースとして回復すること。

提案手法

• 標準色の数を表す変数 $ x $ とワイルドカードの数を表す変数 $ y $ を用いた2変数彩色多項式 $ \chi_G(x,y) $ を導入し、グラフ $ G $ の適切な $ (k,\ell) $-彩色の数を数える。
• 辺および頂点の削除・縮約規則を用いて $ \chi_G(x,y) $ を再帰的に計算し、単一頂点および空グラフの基本ケースを定義する。
• 再帰的規則をパスグラフ $ P_n $ およびサイクルグラフ $ C_n $ に適用し、$ a_n = \chi_{P_n}(k,\ell) $ および $ b_n = \chi_{C_n}(k,\ell) $ の線形再帰的関係を導出する。
• 特に $ k=1 $ に制限することで、$ a_n = \ell a_{n-1} + \ell a_{n-2} $ を満たす一般化されたフィボナッチ数列が得られ、初期値は $ a_1 = 1+\ell $、$ a_2 = (1+\ell)^2 - 1 $ となる。
• グラフ分解を用いて恒等式を導出する：例えば、$ P_{r+s} $ および $ C_n $ における頂点および辺の削除規則を用いて、$ a_n $ 項の積を含む恒等式を証明する。
• 恒等式 $ \chi_G(1,y) = y \cdot \chi_{G\setminus v}(1,y) + y^{\deg(v)} \cdot \chi_{G\setminus \text{link}(v)}(1,y) $ を用いて、再帰的恒等式を生成する。

実験結果

リサーチクエスチョン

• RQ1 標準色とワイルドカード色の2種類の色を用いたグラフ彩色を用いて、フィボナッチ数とラウス数をどのように一般化できるか？
• RQ2 パスグラフおよびサイクルグラフに再帰的グラフ分解規則を適用した際に、どのような恒等式が生じるか？
• RQ3 古典的なフィボナッチ恒等式は、より一般化されたグラフ理論的恒等式の特殊ケースとして回復可能か？
• RQ4 一般化されたラウス数列が3階の再帰より短い再帰を満たすための条件は何か？
• RQ5 この枠組みを用いて、カッシーニの恒等式について、組合せ的でグラフに基づいた証明が可能か？

主な発見

• 一般化された数列 $ a_n = \chi_{P_n}(1,\ell) $ は再帰的関係 $ a_n = \ell a_{n-1} + \ell a_{n-2} $ を満たし、初期値は $ a_1 = 1+\ell $、$ a_2 = (1+\ell)^2 - 1 $ である。
• 一般化されたラウス数列 $ b_n = \chi_{C_n}(1,\ell) $ は $ b_n = \ell b_{n-1} + \ell b_{n-2} $ を満たし、$ b_1 = \ell $、$ b_2 = (1+\ell)^2 - 1 $、$ b_3 = a_3 - b_2 + \ell a_1 $ である。
• 一般化されたラウス数列に対して恒等式 $ b_n = \ell a_{n-1} + \ell^2 a_{n-3} $ が成り立つ。
• 頂点および辺の削除をパスグラフに適用することで、恒等式 $ a_{r+s} = \ell a_r a_{s-1} + \ell^2 a_{r-1} a_{s-2} $ が導出される。
• 特定のグラフ分解を用いて、恒等式 $ a_{r+s+t+1} = \ell a_r a_s a_t + \ell^3 a_{r-1} a_{s-1} a_{t-1} - \ell^4 a_{r-2} a_{s-2} a_{t-2 floor} $ が証明される。
• パrameter $ \ell = 1 $ に設定すると、古典的なフィボナッチ恒等式が回復され、特に $ F_{r+s+t} = F_{r+1}F_{s+1}F_{t+1} + F_rF_sF_t - F_{r-1}F_{s-1}F_{t-1} $ が得られる。