[論文レビュー] 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

ひとこと要約

本稿では、再帰関係と固有方程式を用いて、パスおよびサイクルの2変数彩色多項式の閉形式表現を導出する。彩色多項式を一般化し、隣接頂点が等しい場合にのみ、色の集合 {1, ..., y} の一部を用いることを許容する。2次方程式の根を用いた明示的な代数的公式を提示し、星形図の既知の結果をパスおよびサイクルへと拡張する。

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.

研究の動機と目的

• パスおよびサイクルの2変数彩色多項式の閉形式表現を導出すること。
• 隣接頂点が指定された部分集合 {y+1, ..., x} からの色を共有することを許容することで、彩色多項式を一般化すること。
• 従来、星形図に対してのみ得られていた結果を、再帰に基づく手法を用いてパスおよびサイクルへと拡張すること。
• 総和記号を避ける明示的な代数的公式を提供することにより、計算効率と理論的洞察を向上させること。

提案手法

• エッジの削除操作（エッジの除去、エッジの収縮、および頂点を伴うエッジの削除）を用いて、2変数彩色多項式の再帰関係を導出する。
• パスに再帰関係を適用し、定数係数を有する2階線形同次再帰関係が得られることを示す。
• 固有方程式法を用いて再帰を解き、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 パスの2変数彩色多項式について、既知の総和公式を超えて、閉形式表現を導出できるか？
• RQ2 サイクルの2変数彩色多項式はパスのそれとどのように関係し、総和を用いずに表現できるか？
• RQ3 パラメータ y が、隣接頂点が {y+1, ..., x} からの色を共有することを許容する構造的役割は何か？
• RQ4 パスに用いられた再帰に基づくアプローチが、サイクルに対しても綺麗な閉形式解をもたらす形で拡張可能か？
• RQ5 パスおよびサイクルの2変数彩色多項式が、木の彩色多項式と同様に、2次方程式の根を用いて表現可能か？

主な発見

• パス Pₙ の2変数彩色多項式は、固有方程式 r² - (x-1)r - (x - y) = 0 の2つの根の n 乗の線形結合として与えられる。
• P(Pₙ,x,y) の閉形式表現は、判別式 √[(x+1)² - 4y] から得られる係数を含み、総和記号を用いずに直接的な代数的公式となる。
• サイクル Cₙ については、同じ2つの根の n 乗の和に加え、(−1)ⁿ(y−1) の補正項が加わる。これは循環構造を反映している。
• y = x のとき、パスの公式は標準的彩色多項式 x(x−1)ⁿ⁻¹ に正しく還元され、既知の結果と整合性を示す。
• y = x のとき、サイクルの公式は (x−1)ⁿ + (−1)ⁿ(x−1) に還元され、古典的サイクル彩色多項式と一致する。
• 導出された公式は、すべての x ∈ ℕ および y = 0, ..., x に対して有効であるが、x = y = 1 の場合を除く。この例外は別個に処理される。