[论文解读] Graphs with large chromatic number induce $3k$-cycles

Marthe Bonamy, Pierre Charbit+1 more|arXiv (Cornell University)|Aug 10, 2014

Advanced Combinatorial Mathematics被引用 11

一句话总结

本文证明了不含长度被3整除的诱导环（三重0环）的图具有有界色数，解决了Kalai与Meshulam猜想的第一个情形。通过结构图论与独立集复形的拓扑性质，作者表明此类图不可能具有任意大的色数，依赖于路径三重分析与分层图分解中的邻域约束，通过反证法实现。

ABSTRACT

Answering a question of Kalai and Meshulam, we prove that graphs without induced cycles of length $3k$ have bounded chromatic number. This implies the very first case of a much broader question asserting that every graph with large chromatic number induces a graph $H$ such that the sum of the Betti numbers of the independence complex of $H$ is also large.

研究动机与目标

• 为解决Kalai与Meshulam猜想中色数与独立集复形贝蒂数之和之间的联系的首个非平凡情形。
• 表明具有大色数的图必然诱导出长度被3整除的环，意味着其独立集复形具有非平凡的拓扑结构。
• 确立三重图——即排除长度被3整除的诱导环的图——具有有界色数，即使其团数可能很大。
• 通过分层分解（X₀至X₄）与基于三重的路径分析，建立结构框架，以在高色数图中导出矛盾。

提出的方法

• 使用分层图分解（X₀, X₁, X₂, X₃, X₄）分析具有大色数图的邻域结构与路径三重性。
• 应用三重分析（路径长度模3的余数）检测诱导路径系统中的矛盾，尤其在X₂与X₃层中。
• 基于事实6使用反证法：若两条诱导路径连接相同端点，则其三重性不能分别为1与2。
• 分析层间私有邻居与邻居包含关系（如x→y或y→x），以防止出现禁止的三重性诱导环。
• 采用极值选择（如被同一顶点共同支配的最近顶点对）推导结构约束并强制产生矛盾。
• 应用独立集复形的拓扑直觉：三重1或2的环具有贝蒂数1，而三重0的环具有贝蒂数2，与Kalai-Meshulam猜想相联系。

实验结果

研究问题

• RQ1 每个具有大色数的图是否必然诱导出长度被3整除的诱导环？
• RQ2 若无诱导3k-环，是否能强制色数有界？
• RQ3 环长的三重性（模3）是否是独立集复形拓扑复杂性的关键不变量？
• RQ4 分层图分解中邻居集的结构约束是否能阻止高色数？
• RQ5 在首个非平凡情形下，Kalai-Meshulam猜想是否成立，即诱导子图必须具有大的贝蒂数之和？

主要发现

• 不含长度被3整除的诱导环（三重0环）的图具有有界色数，解决了Kalai-Meshulam猜想的第一个情形。
• 证明表明，任何具有大色数的图必须包含长度被3整除的诱导环，否则在分层邻域中的路径三重冲突将导致矛盾。
• 在不含诱导3k-环的图中，若某条X₀中的诱导路径长度的三重性为1或2，则其不可能被X₁中私有邻居最小支配，因为X₂或X₃中会出现三重冲突。
• 若X₀中存在一个7个顶点的诱导奇环，则除非X₁中某顶点支配两个三重-1距离的顶点，否则将导致矛盾，而该情况又会强制产生9-或12-环的矛盾。
• 最终矛盾源于在X₁与X₂中构造9-环或12-环，违反了X₃中的三重约束，从而证明了色数有界。
• 该结果意味着，在任意高色数图中，其某个诱导子图H的独立集复形的贝蒂数之和必须很大，支持了更广泛的Kalai-Meshulam猜想。