[论文解读] Closed-form expansions for the bivariate chromatic polynomial of paths and cycles

Klaus Dohmen|arXiv (Cornell University)|Jan 18, 2012

Advanced Graph Theory Research参考文献 1被引用 4

一句话总结

本文通过递推关系和特征方程，推导出路径和环的二元色多项式的闭式表达式。该工作通过允许相邻顶点使用来自子集 {1, ..., y} 的颜色（当它们相等时）来推广色多项式，并以二次方程根的形式提供显式代数公式，将已知的星形图结果扩展至路径和环。

ABSTRACT

We establish closed-form expansions for the number of colorings of a path or cycle on n vertices with colors from 1,...,x such that adjacent vertices are colored differently or with colors from y+1,...x.

研究动机与目标

• 推导路径和环的二元色多项式的闭式表达式。
• 通过允许相邻顶点从指定子集 {y+1, ..., x} 中共享颜色，推广色多项式。
• 使用基于递推的方法，将此前仅适用于星形图的结果扩展至路径和环。
• 提供避免求和符号的显式代数公式，提升计算效率与理论洞察。

提出的方法

• 通过边消除操作（边删除、边收缩、边删除并移除顶点）推导二元色多项式的递推关系。
• 将递推关系应用于路径，得到具有常系数的二阶线性齐次递推关系。
• 通过特征方程法求解递推关系，得到以方程 r² - (x-1)r - (x - y) = 0 的根表示的闭式解。
• 利用初始条件 P(P₀,x,y) = 1 和 P(P₁,x,y) = x 确定通解中的系数。
• 通过建立涉及 P(Pₙ,x,y) 和 P(Pₙ₋₂,x,y) 的递推关系，将路径结果推广至环，初始条件为 P(C₃,x,y) = x³ - 3xy + 2y。
• 利用几何级数与符号计算（Sage）简化所得求和，最终得到环的闭式表达式。

实验结果

研究问题

• RQ1 能否为路径的二元色多项式推导出超越已知求和公式的闭式表达式？
• RQ2 环的二元色多项式与路径的二元色多项式有何关系？能否以无求和形式表达？
• RQ3 参数 y 在允许相邻顶点从 {y+1, ..., x} 中共享颜色方面起何结构作用？
• RQ4 用于路径的基于递推的方法能否以简洁闭式解的形式推广至环？
• RQ5 路径和环的二元色多项式能否以二次方程根的形式表达，类似于树的色多项式？

主要发现

• 路径 Pₙ 的二元色多项式由特征方程 r² - (x-1)r - (x - y) = 0 的两个根的 n 次幂的线性组合给出。
• P(Pₙ,x,y) 的闭式表达式包含由判别式 √[(x+1)² - 4y] 衍生的系数，提供无需求和的直接代数公式。
• 对于环 Cₙ，闭式解为同一对根的 n 次幂之和，外加一个校正项 (−1)ⁿ(y−1)，该部分反映了环的结构。
• 当 y = x 时，路径公式正确退化为标准色多项式 x(x−1)ⁿ⁻¹，与已知结果一致。
• 当 y = x 时，环公式退化为 (x−1)ⁿ + (−1)ⁿ(x−1)，与环的经典色多项式一致。
• 所推导的公式对所有 x ∈ ℕ 及 y = 0, ..., x 成立，但 x = y = 1 的情况需单独处理。