[论文解读] 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

一句话总结

本文通过无环定向与堆理论，为色多项式及其导数在负整数处的取值建立了组合解释。它通过证明 $(-1)^{n-i}\chi_G^{(i)}(-j)$ 计数了具有无环定向的 $i+j$ 个互不相交的非空顶点子集的 $n$ 元组，其中前 $i$ 个子集在其最小顶点处具有唯一的源点，从而推广了斯坦利与格林-扎斯拉夫斯基的经典结果，提供了一个基于堆的生成函数的统一框架。

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.

研究动机与目标

• 推广色多项式在负整数处的组合互反性结果。
• 通过基于无环定向与顶点划分的统一框架，统一斯坦利与格林-扎斯拉夫斯基的解释。
• 利用对称函数理论，将这些解释扩展到色对称函数层面。
• 基于堆理论与生成函数，提出一种受盖斯尔工作启发的新证明技术。
• 建立色多项式互反定理的对称函数精化，从而实现多色化与带符号着色的组合解释。

提出的方法

• 作者通过图 $G^{\mathbf{m}}$ 的无环定向定义 $G$-堆，其中每个顶点 $i$ 有 $m_i$ 个副本。
• 他们利用堆理论通过生成函数编码合法着色与无环定向，特别是乘积 $\prod_{i=1}^\infty T(z_i \mathbf{x})$。
• 关键恒等式将色对称函数 $X_G(\mathbf{z})$ 与不相交顶点划分 $U \uplus V = [n]$ 关联起来，其中 $G[U]$ 上有无环定向，$G[V]$ 上有无下降的着色。
• 他们推导出涉及 $X_G(\mathbf{y} - \mathbf{z})$ 的生成函数恒等式，统一了带符号着色与无环定向的结果。
• 该方法依赖于对称函数中的对偶性与富比尼代换，特别是使用 $\omega_{\mathbf{z}}$ 将 $X_G(\mathbf{y}+\mathbf{z})$ 与 $X_G(\mathbf{y}-\mathbf{z})$ 关联起来。
• 证明技术根植于部分交换幺半群的组合学，并扩展了盖斯尔对堆计数的方法。

实验结果

研究问题

• RQ1 如何对任意非负整数 $i,j$，组合解释色多项式 $\chi_G^{(i)}(-j)$ 在负整数处的取值？
• RQ2 斯坦利与格林-扎斯拉夫斯基的互反结果能否在单一组合框架下统一？
• RQ3 在色对称函数 $X_G(\mathbf{z})$ 层次上，是否存在色多项式互反性的对称函数精化？
• RQ4 堆理论方法与生成函数如何实现对合法着色与无环定向的统一处理？
• RQ5 能否从同一框架中推导出多色化与带符号着色的解释？

主要发现

• 取值 $(-1)^{n-i}\chi_G^{(i)}(-j)$ 计数了 $i+j$ 个互不相交的非空顶点子集 $V_1,\dots,V_{i+j}$ 的 $n$ 元组，每个子集 $V_k$ 配备其诱导子图 $G[V_k]$ 的无环定向 $\gamma_k$，且前 $i$ 个子集在其最小顶点处具有唯一的源点。
• 当 $i=0$ 时，该结果恢复了格林与扎斯拉夫斯基对 $\chi_G(-j)$ 的解释：即 $G$ 的具有 $j$ 个源点的无环定向数。
• 当 $j=0$ 时，它恢复了斯坦利的结果：$(-1)^n\chi_G^{(i)}(0)$ 计数了在最小顶点处具有 $i$ 个源点的无环定向数。
• 色对称函数 $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})$ 是一个归一化后的色对称函数，且其互反结果同样适用于该形式。