[论文解读] Graph colouring and the total Betti number

Alexander Engström|arXiv (Cornell University)|Dec 29, 2014

Topological and Geometric Data Analysis参考文献 16被引用 3

一句话总结

该论文利用离散莫射理论和偏序集映射，基于图中顶点不相交圈的数量，建立了图的独立复形总贝蒂数的上界。研究表明，尽管拉马努金图具有高色数和对数阶围长，其小规模子图的总贝蒂数仍低于同规模的某些平面图，这意味着小规模子图无法通过贝蒂数检测高色数。

ABSTRACT

The total Betti number of the independence complex of a graph is an intriguing graph invariant. Kalai and Meshulam have raised the question on its relation to cycles and the chromatic number of a graph, and a recent conjecture on that theme was proved by Bonamy, Charbit and Thomasse. We show an upper bound on the total Betti number in terms of the number of vertex disjoint cycles in a graph. The main technique is discrete Morse theory and building poset maps. Ramanujan graphs with arbitrary chromatic number and girth log(n) is a classical construction. We show that any subgraph of them with less than n^0.003 vertices have smaller total Betti number than some planar graph of the same order, although it is part of a graph with high chromatic number.

研究动机与目标

• 理解图的色数与其独立复形总贝蒂数之间的关系。
• 探究子图中高总贝蒂数是否可作为色数的拓扑下界。
• 确定高色数图的小规模子图在多大程度上能表现出高贝蒂数。
• 比较拉马努金图与同阶平面图的贝蒂数增长特性。
• 基于图中的圈结构，建立总贝蒂数的定量上界。

提出的方法

• 利用离散莫射理论，通过独立复形上无环匹配的临界单元最小数量来界定总贝蒂数。
• 应用偏序集映射与匹配分解技术，递归分析图的独立复形。
• 采用冯斯改进版的欧拉-波萨定理证明，将圈结构与贝蒂数上界关联。
• 利用卢卡斯数的组合计数方法，推导出紧致的渐近上界。
• 分析具有高色数和对数阶围长的拉马努金图，将其子图贝蒂数与平面图进行比较。
• 构造显式的平面图（六边形二聚体晶格），其贝蒂数呈超多项式增长，作为比较基准。

实验结果

研究问题

• RQ1 图的独立复形总贝蒂数能否作为其色数的拓扑下界？
• RQ2 图中顶点不相交圈的数量在多大程度上限制了其独立复形的总贝蒂数？
• RQ3 具有高色数和对数阶围长的拉马努金图的子图，其总贝蒂数是否仍低于平面图？
• RQ4 在高围长图中，检测色数所需的最小子图大小是多少（通过贝蒂数增长）？
• RQ5 以 k 个顶点不相交圈表示的总贝蒂数上界是否紧致，能否在当前指数基础上进一步改进？

主要发现

• 对于最多有 k ≥ 2 个顶点不相交圈的图，总贝蒂数被限制在 (1+√5/2)^((2+o(1))k log k) 以内。
• 该上界在指数常数意义上是紧致的，通过使用 K₅ 的不相交并集构造得以证明。
• 具有色数 χ 且围长约 log n 的拉马努金图的子图，其总贝蒂数低于同规模的某些平面图。
• 具体而言，任何顶点数少于 (log n)/(3 log χ) · n^{0.003 / log χ} 的子图，其贝蒂数均低于对应的平面子图。
• 基于六边形二聚体晶格的平面图，其子图大小为 m 时，贝蒂数增长为 2^{(m−40√m)/36}。
• 结果表明，在高色数拉马努金图中，大小为 o(n^{0.003}) 的子图无法通过贝蒂数增长检测色数。