[论文解读] Fibonacci Identities and Graph Colorings

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

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

一句话总结

本文通过图着色推广斐波那契数与卢卡斯数，引入一个双变量色多项式，用于计算使用标准颜色和通配符颜色的合法着色方案数量。通过分析路径图与环图，推导出广义斐波那契序列的新恒等式，当通配符设为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}.\]

研究动机与目标

• 通过引入标准颜色与通配符颜色的图着色方法，将斐波那契数与卢卡斯数推广至更广泛的框架。
• 建立图论分解方法与线性递推恒等式之间的联系。
• 利用递归图着色规则，为广义斐波那契序列推导新的组合恒等式。
• 通过在广义框架中设定特定参数，将已知的斐波那契恒等式作为特例恢复。

提出的方法

• 引入双变量色多项式 $ \chi_G(x,y) $，用于计算图 $ G $ 的合法 $ (k,\ell) $-着色方案数量，其中 $ x $ 计数标准颜色，$ y $ 计数通配符。
• 利用边与顶点的删去-收缩规则递归计算 $ \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 如何通过使用两种颜色（标准颜色与通配符）的图着色方法推广斐波那契数与卢卡斯数？
• RQ2 对路径图与环图应用递归图分解规则后，会涌现出哪些恒等式？
• RQ3 经典斐波那契恒等式能否作为更一般图论恒等式的特例被恢复？
• RQ4 在何种条件下，广义卢卡斯序列的递推关系会比三阶递推更短？
• 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} $。
• 令 $ \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} $。