[论文解读] The Coloring Ideal and Coloring Complex of a Graph

Einar Steingrı́msson|ArXiv.org|Apr 5, 2001

Graph Labeling and Dimension Problems参考文献 6被引用 6

一句话总结

本文引入了图 G 的着色理想与着色复形，构造了在 d 个原子的布尔代数的序复形的 Stanley-Reisner 环中的一个单项式理想 K。K 中的单项式与 G 的正常着色之间存在一一对应关系，且 K 的 Hilbert 多项式等于 G 的色多项式。关键结果是着色复形 Δ_G 的欧拉示性数等于 G 的无环定向数。

ABSTRACT

Let $G$ be a simple graph on $d$ vertices. We define a monomial ideal $K$ in the Stanley-Reisner ring $A$ of the order complex of the Boolean algebra on $d$ atoms. The monomials in $K$ are in one-to-one correspondence with the proper colorings of $G$. In particular, the Hilbert polynomial of $K$ equals the chromatic polynomial of $G$. The ideal $K$ is generated by square-free monomials, so $A/K$ is the Stanley-Reisner ring of a simplicial complex $C$. The $h$-vector of $C$ is a certain transformation of the tail $T(n)= n^d-k(n)$ of the chromatic polynomial $k$ of $G$. The combinatorial structure of the complex $C$ is described explicitly and it is shown that the Euler characteristic of $C$ equals the number of acyclic orientations of $G$.

研究动机与目标

• 在 d 个原子的布尔代数的序复形的 Stanley-Reisner 环中定义一个单项式理想 K，使得 K 中的单项式与图 G 的正常着色一一对应。
• 证明 K 的 Hilbert 多项式等于图 G 的色多项式，从而建立代数与组合之间的直接联系。
• 描述作为 A/K 的 Stanley-Reisner 复形的单纯复形 C = Δ_G 的组合结构，并将其 h-向量与色多项式的尾部关联起来。
• 证明着色复形 Δ_G 的欧拉示性数等于 G 的无环定向数，揭示了着色与定向不变量之间的深刻联系。
• 证明着色复形能够区分具有相同色多项式和对称色函数但非同构的图，而 Stanley 的色对称函数则无法做到。

提出的方法

• 将着色理想 K 定义为 d 个原子的布尔代数的序复形的 Stanley-Reisner 环 A 中的一个单项式理想。
• 通过基于排列的构造方法定义切割与 G-序列，从而诱导顶点集到稳定集的有序划分。
• 根据顶点在排列顺序中位于有序块内的最长路径长度，为每个顶点分配路径长度 ℓ(k)。
• 通过路径长度增加或长度相等时的字典序条件来定义切割，确保稳定集块的形成。
• 将着色复形 Δ_G 构造为 A/K 的 Stanley-Reisner 复形，其中 K 由对应于正常着色的单项式生成。
• 对尾部 T_G(n) = n^d - χ_G(n) 应用 W-变换，以关联 Δ_G 的 h-向量与色多项式系数。

实验结果

研究问题

• RQ1 能否在 Stanley-Reisner 环中构造一个单项式理想，使其 Hilbert 多项式与图 G 的色多项式相匹配？
• RQ2 着色复形 Δ_G 的 h-向量如何与色多项式 χ_G(n) 的系数相关联？
• RQ3 着色复形 Δ_G 的欧拉示性数是否编码了已知的图不变量，例如无环定向数？
• RQ4 着色复形能否区分具有相同色多项式和对称色函数但非同构的图？
• RQ5 着色复形是否为可壳化复形，这是否意味着其对应环是 Cohen-Macaulay 环？

主要发现

• 着色理想 K 的 Hilbert 多项式等于图 G 的色多项式 χ_G(n)。
• 着色复形 Δ_G 的 h-向量是尾部 T_G(n) = n^d - χ_G(n) 的变换，将代数不变量与色数据联系起来。
• Δ_G 的欧拉示性数等于 G 的无环定向数，该结论通过 W-变换及 Stanley 关于 χ_G(-1) 的定理得到证明。
• 着色复形能够区分两个在五阶顶点上非同构但具有相同色多项式和对称色函数的图，而 Stanley 的色对称函数则无法做到。
• Δ_G 的单体数为 E·(d−1)!，其中 E 为 G 的边数，该结果由 T_G(n) 的 W-变换的首项系数导出。
• 着色理想 K 由无平方因子的单项式生成，且商环 A/K 是单纯复形 Δ_G 的 Stanley-Reisner 环，该复形被明确描述。