[论文解读] On the circular chromatic number of a subgraph of the Kneser graph

Bart Litjens, Sven Polak+2 more|arXiv (Cornell University)|Mar 12, 2018

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

一句话总结

本文证明了 r-稳定交错图 $\mathrm{IG}_{n,k}^{(r)}$ 的圆染色数恰好为 $n/k$，这意味着其染色数为 $\lceil n/k \rceil$。作者通过构造到圆 clique $K_{n/k}$ 的图同态证明了这一点，同时确定了独立数为 $\binom{n-(r-1)k-1}{k-1}$，并证明了圆 clique 数也为 $n/k$，从而强化了关于 Kneser 型图的先前结果。

ABSTRACT

Let $n,k,r$ be positive integers with $n \geq rk$ and $r \geq 2$. Consider a circle $C$ with~$n$ points~$1,\ldots,n$ in clockwise order. The $r$-stable \emph{interlacing graph} $ ext{IG}_{n,k}^{(r)}$ is the graph with vertices corresponding to $k$-subsets $S$ of $\{1,...,n\}$ such that any two distinct points in~$S$ have distance at least~$r$ around the circle, and edges between~$k$-subsets $P$ and $Q$ if they \emph{interlace}: after removing the points in~$P$ from $C$, the points in~$Q$ are in different connected components. In this paper we prove that the circular chromatic number of $ ext{IG}_{n,k}^{(r)}$ is equal to $ n/k $ (hence the chromatic number is $\lceil n/k ceil$) and that its circular clique number is also $ n/k $. Furthermore, we show that its independence number is $\binom{n-(r-1)k-1}{k-1}$, thereby strengthening a result by Talbot.

研究动机与目标

• 确定 r-稳定交错图 $\mathrm{IG}_{n,k}^{(r)}$ 的圆染色数，该图是具有几何与组合约束的 Kneser 图的子图。
• 确立 $\mathrm{IG}_{n,k}^{(r)}$ 的染色数为 $\lceil n/k \rceil$，扩展了关于 Kneser 图与 Schrijver 图的已知结果。
• 计算 $\mathrm{IG}_{n,k}^{(r)}$ 的独立数，对这一结构化子图的 Erd\'s-Ko-Rado 界进行精细化。
• 证明 $\mathrm{IG}_{n,k}^{(r)}$ 的圆 clique 数也为 $n/k$，表明圆染色数界的紧致性。

提出的方法

• 通过顶点标记 $P^j \mapsto \overline{jk}$，利用循环群结构，构造从 $\mathrm{IG}_{n,k}^{(r)}$ 到圆 clique $K_{n/k}$ 的图同态。
• 将 r-稳定 k-多边形定义为 $[n]$ 中的 k-子集，其中任意两点之间至少有 $r-1$ 个元素。
• 使用交错条件：若移除一个 k-多边形后，圆被分割为若干弧，每段弧恰好包含另一个 k-多边形的一个点，则两个 k-多边形相邻。
• 应用分数部分 $\{x\} = x - \lfloor x \rfloor$ 的性质，分析多边形之间的位置关系，并验证同态中的邻接性。
• 证明非交错对恰好映射到 $K_{n/k}$ 中距离小于 $k$ 的顶点，从而确保同态保持边关系。
• 使用组合计数与区间分析，验证所有必要的交错对均被正确映射，尤其针对区间 $[1, \lfloor(i+1)n/k\rfloor - \lceil in/n\rceil - 1]$ 中的 $s=1$ 和最大 $s$ 情况。

实验结果

研究问题

• RQ1 r-稳定交错图 $\mathrm{IG}_{n,k}^{(r)}$ 的圆染色数是多少？
• RQ2 $\mathrm{IG}_{n,k}^{(r)}$ 的独立数与 Kneser 图 $\mathrm{KG}_{n,k}$ 的独立数相比如何？能否精确计算？
• RQ3 $\mathrm{IG}_{n,k}^{(r)}$ 的圆 clique 数是否等于其圆染色数，从而表明界的紧致性？
• RQ4 能否利用循环对称性与多边形位置关系，显式构造从 $\mathrm{IG}_{n,k}^{(r)}$ 到 $K_{n/k}$ 的图同态？

主要发现

• r-稳定交错图 $\mathrm{IG}_{n,k}^{(r)}$ 的圆染色数恰好为 $n/k$，这意味着其染色数为 $\lceil n/k \rceil$。
• $\mathrm{IG}_{n,k}^{(r)}$ 的独立数为 $\binom{n-(r-1)k-1}{k-1}$，为该 r-稳定情形下的独立集提供了紧致上界。
• $\mathrm{IG}_{n,k}^{(r)}$ 的圆 clique 数也为 $n/k$，表明 $K_{n/k}$ 是映射到该图的最小圆 clique。
• 从 $\mathrm{IG}_{n,k}^{(r)}$ 到 $K_{n/k}$ 的图同态通过循环标记 $P^j \mapsto \overline{jk}$ 显式构造，并利用分数部分分析证明其保持邻接性。
• 证明表明，仅非交错对映射到 $K_{n/k}$ 中距离小于 $k$ 的顶点，从而确认同态定义良好。
• 该构造在 $\gcd(n,k) = 1$ 条件下成立，且通过约化到互素情形，可推广至一般 $n,k$ 情况。