[论文解读] On the chromatic number of random regular graphs

Amin Coja‐Oghlan, Charilaos Efthymiou+1 more|arXiv (Cornell University)|Aug 20, 2013

Limits and Structures in Graph Theory参考文献 26被引用 6

一句话总结

该论文为随机 $d$-正则图 $G(n,d)$ 的色数确立了一个精确的阈值，证明当 $k$ 较大时，存在一个临界度 $d_{k-\text{col}}$，使得当 $d < d_{k-\text{col}}$ 时，$G(n,d)$ 几乎必然（w.h.p.）是 $k$-可染色的，而当 $d > d_{k-\text{col}}$ 时则几乎必然不可 $k$-可染色。该结果通过二阶矩方法和对双随机矩阵多面体（Birkhoff polytope）上的优化，解决了随机图论中长期悬而未决的问题。

ABSTRACT

Let G(n,d) be the random d-regular graph on n vertices. For any integer k exceeding a certain constant k_0 we identify a number d_{k-col} such that G(n,d) is k-colorable w.h.p. if dd_{k-col}.

研究动机与目标

• 解决概率组合学中一个核心的开放问题：随机 $d$-正则图 $G(n,d)$ 的色数问题。
• 识别出一个精确的阈值度 $d_{k-\text{col}}$，该值几乎必然地将 $G(n,d)$ 的 $k$-可染色性与非 $k$-可染色性分离开来。
• 通过为几乎所有 $d$ 提供完整的刻画，扩展了以往仅对一小部分度数 $d$ 精确定义色数的研究成果。

提出的方法

• 在平衡 $k$-染色数上应用二阶矩方法，以建立 $k$-可染色性的非零概率。
• 将二阶矩问题重新表述为在双随机矩阵多面体（Birkhoff polytope）上的非凸优化问题。
• 应用熵最大化和概率界来控制染色数的方差。
• 通过精细分析边配置和集合分解，控制罕见坏事件的概率。
• 对稀疏配置使用并集界和集中不等式，以控制尾部概率。
• 引入一个趋于零的序列 $\varepsilon_k \to 0$，以收紧阈值区间，从而对大的 $k$ 精确确定 $d_{k-\text{col}}$。

实验结果

研究问题

• RQ1 对于哪些度数 $d$，随机 $d$-正则图 $G(n,d)$ 几乎必然地是 $k$-可染色的？
• RQ2 是否存在一个精确的阈值 $d_{k-\text{col}}$，使得随着 $d$ 增大，$G(n,d)$ 从 $k$-可染色转变为非 $k$-可染色？
• RQ3 能否对几乎所有 $d$ 精确确定 $G(n,d)$ 的色数，而不仅限于此前已知的有限范围？

主要发现

• 对于任意 $k \geq k_0$，存在一个阈值 $d_{k-\text{col}}$，使得当 $d < d_{k-\text{col}}$ 时，$G(n,d)$ 几乎必然可 $k$-染色；当 $d > d_{k-\text{col}}$ 时则几乎必然不可 $k$-染色，从而解决了长期悬而未决的猜想。
• 该阈值位于 $d_{k-\text{col}} = (2k-1)\ln k - 1 + \varepsilon_k$，其中趋于零的误差项 $\varepsilon_k \to 0$ 当 $k \to \infty$，且阈值区间的长度约为 $0.386 + 2\varepsilon_k$。
• 当 $k$ 足够大时，色数 $\chi(G(n,d))$ 对除有限多个 $d$ 外的所有 $d$ 都被精确确定，扩展了以往仅覆盖 $\Theta(\ln k)$ 大小区间 $d$ 的结果。
• 该方法证明了当 $k$ 足够大时，有 $d_{(k+1)-\text{col}} - d_{k-\text{col}} > 2\ln k$，表明相邻阈值之间存在超线性间隙。
• 成功地将二阶矩方法应用于平衡 $k$-染色数，通过在 Birkhoff 多面体上的优化实现了方差控制。
• 论文证明了对所有 $d \geq d_0$ 且 $d$ 不等于任何 $d_{k-\text{col}}$ 的情况，有 $\chi(G(n,d)) = \mathcal{F}(d)$ 几乎必然成立，其中 $\mathcal{F}$ 定义为满足 $d < d_{k-\text{col}}$ 的最大 $k$。