[论文解读] Examples of topologically highly chromatic graphs with locally small chromatic number

Ilya I. Bogdanov|arXiv (Cornell University)|Nov 12, 2013

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

一句话总结

本文构建了具有拓扑高色数但局部色数小的图族，证明了Kierstead、Szemerédi与Trotter所提出界限的精确性。通过在邻域复形上使用一种新颖的连接构造，该图实现了色数至少 $ n(c-1)+1 $，且每个半径为 $ r $ 的球形区域均可 $ c $-着色，图的顶点数恰好为 $ \frac{(2rc+1)^n - 1}{2r} $，从而确认了此类极值图的预测增长速率。

ABSTRACT

Kierstead, Szemerédi, and Trotter showed that a graph with at most $\lfloor r/(2n) floor^n$ vertices such that each ball of radius $r$ in it is $c$-colorable should have chromatic number at most $n(c-1)+1$. We show that this estimate is sharp in $r$. Namely, for every $n$, $r$, and $c$ we construct a graph $G$ containing $O((2rc)^{n-1}c)$ vertices such that $χ(G)\geq n(c-1)+1$, although each ball of radius $r$ in $G$ is $c$-colorable. The core idea is the construction of a graph whose neighborhood complex is homotopy equivalent to the join of neighborhood complexes of two given graphs.

研究动机与目标

• 解决Kierstead、Szemerédi与Trotter关于局部与全局色数关系界限精确性的猜想。
• 显式构造色数 $ \geq n(c-1)+1 $ 的图，同时确保每个半径 $ r $ 的球形区域均可 $ c $-着色。
• 展示满足此类性质的图的最小顶点数随 $ \Theta(r^{n-1}) $ 增长，确认在色数模 $ c-1 $ 余 1 时的预测临界行为。

提出的方法

• 构造使用广义连接操作 $ G_{n-1} *_{2r} K_c $，其中 $ G_{n-1} $ 递归构建，$ K_c $ 为 $ c $ 个顶点的完全图。
• 证明邻域复形 $ \mathsf{N}(G_n) $ 同伦等价于 $ \mathsf{N}(G_{n-1}) $ 与 $ \mathsf{N}(K_c) $ 的连接，即 $ S^{n(c-1)-1} $。
• 利用拓扑工具，包括Nerve引理及几何实现的性质，证明所构造图的邻域复形具有所需的同伦类型。
• 证明过程对 $ n $ 进行归纳，从 $ n=1 $ 时的 $ K_c $ 开始，递归构建 $ G_n $，且顶点数满足 $ |G_n| = \frac{(2rc+1)^n - 1}{2r} $。
• 通过归纳构造保持局部色数，确保 $ \ell\chi_r(G_n) \leq c $。
• 利用邻域复形的拓扑连通性，结合Lovász的色数拓扑下界，推导出色数的下界。

实验结果

研究问题

• RQ1 对于满足 $ |V| \leq \lfloor r/(2n) \rfloor^n $ 且 $ \ell\chi_r(G) \leq c $ 的图，界限 $ \chi(G) \leq n(c-1)+1 $ 在参数 $ r $ 上是否精确？
• RQ2 能否对每个 $ n $、$ r $ 和 $ c $，构造一个图，满足 $ \chi(G) \geq n(c-1)+1 $、$ \ell\chi_r(G) \leq c $，且顶点数为 $ O((2rc)^{n-1}c) $？
• RQ3 对于满足 $ \chi(G) = N $ 且 $ \ell\chi_r(G) \leq c $ 的图，其最小顶点数是否随 $ r^{\lfloor(N-1)/(c-1)\rfloor} $ 增长，表明在 $ N \equiv 1 \pmod{c-1} $ 处存在相变？

主要发现

• 本文对每个 $ n $、$ r $ 和 $ c \geq 3 $，构造了图 $ G_n $，其顶点数恰好为 $ \frac{(2rc+1)^n - 1}{2r} $，且色数至少为 $ n(c-1)+1 $。
• 在 $ G_n $ 中，每个半径为 $ r $ 的球形区域均可 $ c $-着色，因此 $ \ell\chi_r(G_n) \leq c $，满足局部约束条件。
• 邻域复形 $ \mathsf{N}(G_n) $ 同伦等价于 $ S^{n(c-1)-1} $，通过拓扑方法可推出色数下界。
• 构造是递归的：$ G_n = G_{n-1} *_{2r} K_c $，从 $ G_1 = K_c $ 开始，且顶点数公式通过归纳法验证。
• 结果确认了Kierstead-Szemerédi-Trotter界限在参数 $ r $ 上的精确性，表明顶点数增长速率是紧致的。
• 该例子表明色数可在模 $ c-1 $ 余 1 的值处发生跃迁，揭示了极值图论中的离散相变。