[论文解读] On the chromatic number of almost s-stable Kneser graphs

Peng‐An Chen|arXiv (Cornell University)|Nov 17, 2017

Topological and Geometric Data Analysis参考文献 25被引用 7

一句话总结

本文通过一种新颖的方法，为几乎 $s$-稳定 Kneser 图的色数建立了拓扑下界，证明了对于所有 $s \geq 2$ 和 $n \geq sk$，色数等于 $n - s(k-1)$。此外，证明了任意正常着色中必须包含一个完全多色的完全二分图子图 $K_{\lceil t/2 \rceil, \lfloor t/2 \rfloor}$，其中 $t = n - s(k-1)$，从而将局部色数的下界强化为 $\lceil t/2 \rceil + 1$。该结果改进了 Simonyi 和 Tardos 以及 Meunier 的先前成果。

ABSTRACT

In 2011, Meunier conjectured that for positive integers $n,k,r,s$ with $ k\geq 2$, $r\geq 2$, and $n\geq \max (\{r,s\})k$, the chromatic number of $s$ -stable $r$-uniform Kneser hypergraphs is equal to $\left\lceil \frac{n-\max (\{r,s\})(k-1)}{r-1} ight ceil $. It is a strengthened version of the conjecture proposed by Ziegler (2002), and Alon, Drewnowski and Łuczak (2009). The problem about the chromatic number of almost $s$-stable $r$ -uniform Kneser hypergraphs has also been introduced by Meunier (2011). For the $r=2$ case of the Meunier conjecture, Jonsson (2012) provided a purely combinatorial proof to confirm the conjecture for $s\geq 4$ and $n$ sufficiently large, and by Chen (2015) for even $s$ and any $n$. The case $ s=3$ is completely open, even the chromatic number of the usual almost $s$ -stable Kneser graphs. In this paper, we obtain a topological lower bound for the chromatic number of almost $s$-stable $r$-uniform Kneser hypergraphs via a different approach. For the case $r=2$, we conclude that the chromatic number of almost $s$-stable Kneser graphs is equal to $n-s(k-1)$ for all $s\geq 2$. Set $t=n-s(k-1)$. We show that any proper coloring of an almost $s$-stable Kneser graph must contain a completely multicolored complete bipartite subgraph $K_{\left\lceil \frac{t}{2} ight ceil \left\lfloor \frac{t}{2} ight floor }$. It follows that the local chromatic number of almost $s$ -stable Kneser graphs is at least $\left\lceil \frac{t}{2} ight ceil +1$. It is a strengthened result of Simonyi and Tardos (2007), and Meunier's (2014) lower bound for almost $s$-stable Kneser graphs.

研究动机与目标

• 为 $r=2$ 的几乎 $s$-稳定 $r$-均匀 Kneser 超图的色数问题解决 Meunier 的猜想。
• 通过新方法为几乎 $s$-稳定 Kneser 图的色数提供一个拓扑下界。
• 加强这些图的局部色数的现有下界。
• 确认对于所有 $s \geq 2$ 和 $n \geq sk$，色数公式 $n - s(k-1)$ 成立，解决了 $s=3$ 的开放情况。

提出的方法

• 在带符号集合上引入一种新颖的对径标记函数 $\lambda$，以应用正八面体扇形引理。
• 根据 $X^+$ 或 $X^-$ 中几乎 $s$-稳定子集的最大颜色定义 $\lambda(X)$，符号表示所在侧。
• 利用正八面体扇形引理，提取出一组带符号集合 $X_1 \leq \cdots \leq X_n$，其标记交替变化。
• 从 $X_n^+$ 和 $X_n^-$ 的颜色类中构造一个完全二分图子图 $K_{\lceil t/2 \rceil, \lfloor t/2 \rfloor}$，确保其不相交。
• 应用该标记和组合结构，推导出局部色数的下界。
• 通过证明任意正常着色中均存在一个完全多色的完全二分图子图，确立了色数为 $n - s(k-1)$。

实验结果

研究问题

• RQ1 对于 $s \geq 2$，几乎 $s$-稳定 Kneser 图的色数是多少？
• RQ2 拓扑方法能否为这些图的局部色数提供强于先前结果的下界？
• RQ3 任意正常着色是否必须包含一个大小为 $K_{\lceil t/2 \rceil, \lfloor t/2 \rfloor}$ 的完全多色完全二分图子图，其中 $t = n - s(k-1)$？
• RQ4 几乎 $s$-稳定 Kneser 图的色数与 $s$-稳定图和标准 Kneser 图相比如何？
• RQ5 Meunier 关于 $s$-稳定 $r$-均匀 Kneser 超图色数的猜想在 $r=2$ 时是否成立？

主要发现

• 对于所有 $s \geq 2$ 和 $n \geq sk$，几乎 $s$-稳定 Kneser 图的色数恰好为 $n - s(k-1)$，确认了 $r=2$ 时 Meunier 的猜想。
• 任意正常着色中，几乎 $s$-稳定 Kneser 图必须包含一个完全多色的完全二分图子图 $K_{\lceil t/2 \rceil, \lfloor t/2 \rfloor}$，其中 $t = n - s(k-1)$。
• 几乎 $s$-稳定 Kneser 图的局部色数至少为 $\lceil t/2 \rceil + 1$，其中 $t = n - s(k-1)$，优于 Simonyi 和 Tardos（2007）以及 Meunier（2014）的结果。
• 该结果适用于所有 $s \geq 2$，包括此前未解决的 $s=3$ 情况，填补了文献中的长期空白。
• 该证明方法基于一种新标记和正八面体扇形引理，为代数拓扑方法提供了一种组合替代方案。
• 该方法成功推广至 $r=2$ 情况，并为更高一致度的推广提供了可扩展的框架。