[论文解读] A counterexample to a conjecture of Lov\'asz on the $\chi$-coloring complex

Shlomo Hoory, Nathan Linial|arXiv (Cornell University)|May 17, 2004

Topological and Geometric Data Analysis被引用 1

一句话总结

本文推翻了Björner与Lovász提出的猜想，即当$ \chi $为图$ G $的色数时，通过将仅在一个顶点上不同的$ \chi $-染色连接起来所形成的图$ G' $必定不连通。作者构造了一个特定的反例图$ G $，其$ G' $是连通的，从而否定了该猜想，并表明即使色数较高，$ \chi $-染色复形也可能是连通的。

ABSTRACT

Associated with every graph $G$ of chromatic number $\chi$ is another graph $G'$. The vertex set of $G'$ consists of all $\chi$-colorings of $G$, and two $\chi$-colorings are adjacent when they differ on exactly one vertex. According to a conjecture of Bjorner and Lovasz, this graph $G'$ must be disconnected. In this note we give a counterexample to this conjecture.

研究动机与目标

• 研究图$ G $相关的$ \chi $-染色复形的拓扑结构，特别是其连通性。
• 检验Björner与Lovász长期存在的猜想的有效性，该猜想断言：对于任意色数为$ \chi $的图$ G $，其$ \chi $-染色图$ G' $必定不连通。
• 确定当$ \chi \geq 3 $时，$ G' $——即通过单个顶点差异连接的$ \chi $-染色构成的图——是否可能连通。

提出的方法

• 构造一个特定的有限图$ G $，其色数$ \chi \geq 3 $，以用于检验该猜想。
• 定义图$ G' $，其顶点为$ G $的所有合法$ \chi $-染色，边连接那些仅在一个顶点上不同的染色。
• 通过检查$ G' $中任意两个$ \chi $-染色之间是否存在路径，结合组合与图论推理，分析$ G' $的连通性。
• 通过显式构造任意两个$ \chi $-染色之间的路径，证明$ G' $是连通的，从而与猜想相矛盾。

实验结果

研究问题

• RQ1 Björner与Lovász的猜想是否成立，即对于色数为$ \chi $的图$ G $，其$ \chi $-染色图$ G' $是否必定不连通？
• RQ2 当$ \chi \geq 3 $时，是否存在一个图$ G $，使得其$ \chi $-染色图$ G' $是连通的？
• RQ3 图$ G $的何种结构特性使得$ G' $在猜想预测其不连通的情况下仍能保持连通？

主要发现

• Björner与Lovász提出的关于$ \chi $-染色图$ G' $必定不连通的猜想是错误的。
• 构造了一个特定的反例图$ G $，其$ \chi $-染色图$ G' $是连通的。
• 该构造表明，即使$ \chi \geq 3 $，$ G' $也可能是连通的，这与猜想的预期相悖。
• 通过显式证明$ G' $中任意两个$ \chi $-染色之间存在路径，确立了$ G' $的连通性。