[論文レビュー] On a certain representation of the chromatic polynomial

Yu. V. Matiyasevich|ArXiv.org|Mar 6, 2009

Graph theory and applications参考文献 3被引用数 3

ひとこと要約

本稿は、グラフ G のエッジ部分グラフ H におけるフロー多項式 F(H,k) を用いて、彩色多項式 C(G,k) の新しい表現を提示し、彩色多項式とフロー多項式の間の深い代数的関係を確立する。主な結果は、C(G,k) が部分グラフ H の重み付き和として正確に表現される公式であり、F(H,k) と (1−k) のべき乗を含む係数を持つ。平面グラフでは幾何的双対性と双対グラフの彩色多項式を介して、双対性が明らかになる。

ABSTRACT

The representation is essentially the same as that given by J.P.Nagle in J. Comb. Theory (B), 1971, 10:1, 42--59. The distinction is in the definition of the weighting function via the number of flows. This new definition allows one to deduce a number of corollaries, in particular, the following. A) The chromatic polynomial of a connected planar graph G can be uniquely determined from its combinatory dual graph G^* (although the graph G itself isn't, in general, determined uniquely by G^*). B) If a planar graph G is different from the full graph K_3 and has exactly one (up to renaming of colors) proper coloring of vertices in three colors, then the graph G^* dual to graph G is also vertex colorable in three colors.

研究の動機と目的

• グラフ G のエッジ部分グラフ H におけるフローポリノミアル F(H,k) を用いて、彩色多項式 C(G,k) の新しい代数的表現を確立すること。
• 先行研究で導入された重み関数 w(H,k) と、フローポリノミアルなどの標準的グラフ理論的不変量との関係を明確にすること。
• 特に平面グラフにおいて、この表現が彩色多項式の計算を簡略化することを示すこと。
• フローポリノミアルを介して、平面グラフの彩色多項式とその幾何的双対グラフの間の双対性を明らかにすること。

提案手法

• 本稿は、すべてのエッジ部分グラフ H ≤ G における和として、彩色多項式 C(G,k) の新しい公式を導出する。重みは F(H,k)/(1−k)^m(H) であり、(k−1)^m(G)/k^{m(G)−n(G)} でスケーリングされる。
• 重み関数 w(H,k) が、w(H,k) = k^{m(H)−n(H)} F(H,k) を満たすことを証明することで、これをフローポリノミアルと結びつける。
• 平面グラフの場合、幾何的双対性を用いて、F(H,k) = C(H*,k)/k が成り立つことを示し、C(G,k) の双対表現を得る。ここで H* は H の双対である。
• m(G) > 1 であるグラフに対して、(k−1)^2 を法として合同関係 C(G,k) ≡ (−1)^m C(G*,k) mod (k−1)^2 を確立する。
• 証明は、環 R_k 上の代数的構造を用いて、バランスの取れたフローと適切な彩色の間の対応を数えるものであり、双対グラフ上の彩色とフローの対応を利用する。
• オイラーの公式とエッジの双対性を用いて、部分グラフ H ≤ G を双対グラフ G* における縮約 L ≼ G* に写像し、公式の両形式間の変換を可能にする。

実験結果

リサーチクエスチョン

• RQ1 彩色多項式は、部分グラフのフローポリノミアルを用いてどのように表現できるか？
• RQ2 重み関数 w(H,k) とフローポリノミアル F(H,k) の間の正確な代数的関係は何か？
• RQ3 平面グラフの彩色多項式とその双対グラフの彩色多項式との関係は何か？
• RQ4 この表現を用いて、(k−1)^2 を法として彩色多項式を簡略化できるか？
• RQ5 イスタムスの有無などのグラフの構造的性質（例：イスタムスの存在）は、重み関数 w(H,k) の挙動にどのように影響するか？

主な発見

• 彩色多項式 C(G,k) は、C(G,k) = (k−1)^m(G)/k^{m(G)−n(G)} × ∑_{H≤G} F(H,k)/(1−k)^m(H) として正確に表現され、彩色多項式とフローポリノミアルの直接的な関係が確立される。
• 先行研究における重み関数 w(H,k) は、w(H,k) = k^{m(H)−n(H)} F(H,k) を満たす。これにより、イスタムスを含むグラフで 0 に消えるといった既知の性質が説明される。
• 平面グラフの場合、公式は C(G,k) = (k−1)^m(G)/k^{m(G)−n(G)+1} × ∑_{H≤G} C(H*,k)/(1−k)^m(H) に変換され、G とその双対 G* 間の双対性が明らかになる。
• m(G) > 1 のとき、C(G,k) ≡ (−1)^m C(G*,k) mod (k−1)^2 が成り立ち、双対グラフの彩色多項式間に強い合同関係があることが示される。
• この結果から、平面グラフ G がちょうど1つの適切な3色分け（色の名前を交換しても同一とみなす）を持つならば、その双対 G* も3色可能であることが示される（k=3 を代入することで確認可能）。
• G* の適切な彩色と G 上のバランスの取れたフローの間には、k の係数を除いて一対一対応が成立し、この対応は双対エッジの向きとスパニングツリーを用いて構成される。