[论文解读] Hypergraph Coloring Complexes

Felix Breuer, Aaron Dall+1 more|arXiv (Cornell University)|Apr 4, 2011

Topological and Geometric Data Analysis参考文献 14被引用 4

一句话总结

本文将图着色复形推广至超图，引入三种等价解释：组合解释、基于超平面排列的几何解释，以及通过内部-外部多面体的Ehrhart理论解释。研究发现，与图着色复形不同，超图着色复形并非Cohen-Macaulay，非可划分，且其h-向量可能含负数；然而，本文给出了f-向量与h-向量的界，从而导出对超图色多项式的新的界，并构造了一个连通的超图着色复形，其同伦类型不与球面的楔和同伦等价。

ABSTRACT

The aim of this paper is to generalize the notion of the coloring complex of a graph to hypergraphs. We present three different interpretations of those complexes -- a purely combinatorial one and two geometric ones. It is shown, that most of the properties, which are known to be true for coloring complexes of graphs, break down in this more general setting, e.g., Cohen-Macaulayness and partitionabilty. Nevertheless, we are able to provide bounds for the $f$- and $h$-vectors of those complexes which yield new bounds on chromatic polynomials of hypergraphs. Moreover, it is shown that the coloring complex of a hypergraph has a wedge decomposition, though we conjecture that in general this decomposition is not homotopy equivalent to a wedge of spheres. In addition, we can completely characterize those hypergraphs whose coloring complex is connected.

研究动机与目标

• 将着色复形的概念从图推广至超图，推广代数组合学中的一个基本构造。
• 建立超图着色复形的三种等价解释：组合解释、通过子空间排列的几何解释，以及通过内部-外部多面体的Ehrhart理论解释。
• 研究图着色复形的关键拓扑与代数性质（如Cohen-Macaulay性、可划分性、同伦类型为球面楔和）是否可推广至超图情形。
• 推导超图着色复形的f-向量与h-向量的界，从而导出对超图色多项式的新的界。
• 刻画超图着色复形连通的条件，并构造反例以否定“连通复形同伦等价于球面楔和”这一猜想。

提出的方法

• 从组合角度定义超图着色复形Δ_H为超边集合上的单纯复形，其中面对应于具有非空交集的超边集合。
• 通过R^n中的子空间排列实现Δ_H的几何实现，推广图着色复形的超平面排列解释。
• 利用内部-外部多面体与Ehrhart理论重新解释Δ_H，通过生成函数恒等式将Δ_H的h-向量与色多项式χ_H(k)联系起来：(1/z)∑_{k≥0}(k^n − χ_H(k))z^k = (h_0 + h_1 z + … + h_{n−m} z^{n−m}) / (1−z)^n。
• 使用Wedge引理推导Δ_H的楔分解，尽管其分量是球面与依赖于超图结构的序复形的连通和。
• 在Sage中应用计算代数拓扑方法计算上同调群与杯积，展示H^3(Δ_H; ℤ) = ℤ^9中存在非平凡杯积。
• 根据超图的边结构刻画Δ_H的连通性，表明连通分支对应于具有相同交集模式的边集。

实验结果

研究问题

• RQ1 图着色复形的拓扑性质（如Cohen-Macaulay性、可划分性、同伦类型为球面楔和）是否可推广至超图着色复形？
• RQ2 能否推导出超图着色复形的f-与h-向量的界？这些界是否能导出对超图色多项式的新的界？
• RQ3 超图着色复形连通的精确条件是什么？
• RQ4 是否存在连通的超图着色复形，其同伦类型不与球面楔和同伦等价？
• RQ5 通过子空间排列与内部-外部多面体的几何与代数解释，如何与组合定义关联？

主要发现

• 超图着色复形一般并非Cohen-Macaulay、不可划分，也非纯复形，其h-向量可能包含负数项。
• 超图着色复形的f-与h-向量有界，这些界可导出对超图色多项式的新的上界与下界。
• 通过Wedge引理，超图H的着色复形Δ_H具有楔分解，但其分量并非单个球面，而是依赖于子超图的复杂序复形的连通和。
• 连通的超图着色复形可能不与球面楔和同伦等价；具体而言，对于具有9个顶点与9条边的超图H，有H^1(Δ_H; ℤ) = ℤ^2与H^3(Δ_H; ℤ) = ℤ^9，且存在非平凡杯积。
• 具有n个顶点与最大边大小m的超图H的色多项式χ_H(k)通过生成函数恒等式与Δ_H的h-向量相关联，其中涉及(1−z)^{-n}。
• Δ_H的连通性可被刻画：Δ_H连通当且仅当其边集可被划分为连通分量，使得同一分量内的边在该分量中具有共同的交集模式。