[論文レビュー] Combinatorial reciprocity for the chromatic polynomial and the chromatic symmetric function

Olivier Bernardi, Philippe Nadeau|arXiv (Cornell University)|Apr 2, 2019

Advanced Combinatorial Mathematics参考文献 13被引用数 8

ひとこと要約

本稿は、有向無閉路向きとヒープ理論を用いて、彩色多項式およびその微分の負整数における評価の組合せ的解釈を確立する。Stanley や Greene–Zaslavsky の古典的結果を一般化し、$(-1)^{n-i}\chi_G^{(i)}(-j)$ が、最初の $i$ 個の部分集合が最小頂点に唯一の出発点を持つ、互いに素な頂点部分集合の $i+j$ 重組み合わせを数えることを示す。ヒープに基づく母関数を用いることで、統一的な枠組みを提供する。

ABSTRACT

Let G be a graph, and let $\\chi$G be its chromatic polynomial. For any non-negative integers i, j, we give an interpretation for the evaluation $\\chi$ (i) G (--j) in terms of acyclic orientations. This recovers the classical interpretations due to Stanley and to Green and Zaslavsky respectively in the cases i = 0 and j = 0. We also give symmetric function refinements of our interpretations, and some extensions. The proofs use heap theory in the spirit of a 1999 paper of Gessel.

研究の動機と目的

• 彩色多項式の負整数における評価に関する古典的組合せ的逆数性結果を一般化すること。
• 有向無閉路向きと頂点分割に基づく共通の枠組みを用いて、Stanley の解釈と Greene–Zaslavsky の解釈を統一すること。
• 対称関数論を用いて、彩色対称関数レベルまでこれらの解釈を拡張すること。
• Gessel の研究にインspされ、ヒープ理論と母関数に基づく新しい証明技法を提供すること。
• 対称関数の微細化を用いた逆数定理の確立により、多色彩色および符号付き彩色の解釈を可能にすること。

提案手法

• 著者らは、各頂点 $i$ が $m_i$ 個のコピーを持つ、グラフ $G^{\mathbf{m}}$ の上に上げたグラフの有向無閉路向きを用いて、$G$-ヒープを定義する。
• ヒープ理論を用いて、適切な彩色と有向無閉路向きを母関数、特に積 $\prod_{i=1}^\infty T(z_i \mathbf{x})$ で符号化する。
• 鍵となる恒等式は、彩色対称関数 $X_G(\mathbf{z})$ を、$G[U]$ に有向無閉路向き、$G[V]$ に降下のない彩色を持つ、互いに素な頂点分割 $U \uplus V = [n]$ における和に結びつける。
• 符号付き彩色と有向無閉路向きの両方の結果を統合する、$X_G(\mathbf{y} - \mathbf{z})$ を含む母関数の恒等式を導出する。
• この手法は、特に $\omega_{\mathbf{z}}$ を用いて $X_G(\mathbf{y}+\mathbf{z})$ と $X_G(\mathbf{y}-\mathbf{z})$ を関係付ける、対称関数における双対性とプレシスティック置換に依存している。
• 証明技法は、部分的に可換モノイドの組合せ論に根ざしており、Gessel のアプローチをヒープの列挙に拡張する。

実験結果

リサーチクエスチョン

• RQ1 任意の非負整数 $i,j$ に対して、彩色多項式 $\chi_G^{(i)}(-j)$ の負整数における評価を、どのように組合せ的に解釈できるか？
• RQ2 Stanley の結果と Greene–Zaslavsky の逆数性結果を、一つの組合せ的枠組みで統一できるか？
• RQ3 彩色対称関数 $X_G(\mathbf{z})$ のレベルにおいて、彩色多項式の逆数性の対称関数的微細化は存在するか？
• RQ4 ヒープ理論的アプローチと母関数は、適切な彩色と有向無閉路向きの均一な取り扱いを可能にするか？
• RQ5 多色彩色と符号付き彩色の解釈は、同じ枠組みから導出可能か？

主な発見

• 評価 $(-1)^{n-i}\chi_G^{(i)}(-j)$ は、$[n]$ を被覆する $i+j$ 個の互いに素で空でない頂点部分集合 $V_1,\dots,V_{i+j}$ の組を数え、それぞれに $G[V_k]$ の有向無閉路向き $\gamma_k$ が付与され、最初の $i$ 個の部分集合が最小頂点に唯一の出発点を持つ。
• 特に $i=0$ の場合、結果は Greene と Zaslavsky が $\chi_G(-j)$ を $j$ 個の出発点を持つ $G$ の有向無閉路向きの数として解釈した結果を回復する。
• 特に $j=0$ の場合、$(-1)^n\chi_G^{(i)}(0)$ が最小頂点に出発点を持つ $i$ 個の出発点を持つ有向無閉路向きの数を数えるという Stanley の結果を回復する。
• 彩色対称関数 $X_G(\mathbf{y} - \mathbf{z})$ は、有向無閉路向き $\gamma$ と $\gamma$-降下のない彩色 $f$ の和として表され、色は $\mathbb{Z} \setminus \{0\}$ に属し、負の色は隣接しない。
• 恒等式 $X_G(\mathbf{y} - \mathbf{z}) = \sum_{(\gamma,f)} \prod_i y_i^{|f^{-1}(-i)|} z_i^{|f^{-1}(i)|}$ は、既存の結果を一般化し、符号付き彩色と有向無閉路向きの両方を含む。
• この枠組みは多色彩色へも拡張可能である：$X_{G,\mathbf{m}}(\mathbf{z}) = [\mathbf{x}^\mathbf{m}] \prod_{i=1}^\infty T(z_i \mathbf{x})$ は正規化を除いて彩色対称関数であり、同様に逆数性の結果が成り立つ。