[论文解读] Between 2- and 3-colorability

Alan Frieze, Wesley Pegden|arXiv (Cornell University)|Apr 19, 2014

Limits and Structures in Graph Theory参考文献 3被引用 1

一句话总结

本文研究了在 $p = c/n$ 条件下，Erdős–Rényi 随机图 $G_{n,p}$ 到奇圈 $C_{2\ell+1}$ 的图同态的存在性，特别关注 $c \in (1, 4]$ 的情形。研究发现，当 $c = 1 + \varepsilon$ 且 $\varepsilon > 0$ 很小时，若图的奇圈长至少为 $2\ell+1$，则 $G_{n,c/n}$ 几乎必然存在到 $C_{2\ell+1}$ 的同态；但当 $c = 4$ 时，$G_{n,4/n}$ 不存在到 $C_5$ 的同态，这意味着某些 3-可染色的随机图在圆染色意义下并非 2.5-可染色。主要贡献在于揭示了稀疏随机图中圆染色数行为的精确阈值。

ABSTRACT

We consider the question of the existence of homomorphisms between $G_{n,p}$ and odd cycles when $p=c/n,\,1

研究动机与目标

• 通过分析到奇圈 $C_{2\ell+1}$ 的同态，理解 3-可染色随机图在色数之外的更精细结构约束。
• 确定在 $c \in (1, c_3)$ 范围内，圆染色数 $\chi_c(G_{n,c/n})$ 的阈值行为，特别是当 $c \approx 4$ 时的情形。
• 解决 $G_{n,c/n}$ 在 $c = 4$ 时是否存在到 $C_5$ 的同态问题，这对理解 2.5-可染色性的极限至关重要。
• 利用一阶矩方法与计算机辅助界，提供关于 $c = 4$ 时同态不存在性的严格数值证据。

提出的方法

• 使用一阶矩方法来界定到 $C_{2\ell+1}$ 的同态存在的概率，通过划分顶点集来分析此类同态的期望数量。
• 应用关于圈分离与 $G_{n,p}$ 的 2-核的结构引理，以控制局部图性质并指导同态的构造。
• 采用顶点的递归划分方案，将顶点划分为集合 $V_0, \dots, V_4$，以建模到 $C_5$ 的同态，同时对边密度和邻域分布施加约束。
• 通过函数 $b(c, \alpha_0, \dots, \alpha_4)$ 导出同态概率的指数上界，该函数综合了顶点划分与边约束的贡献。
• 通过数值分析结合严格的导数界，验证在细网格上 $b(4, \alpha_0, \dots, \alpha_3)$ 的最大值小于 0.949，从而表明到 $C_5$ 的同态概率趋于零。
• 应用对数微分与区间分析来界定 $b$ 的偏导数，确保基于网格的数值计算能对函数提供严格上界。

实验结果

研究问题

• RQ1 当 $c = 1 + \varepsilon$ 时，若图的奇圈长大于等于 $2\ell+1$，$G_{n,c/n}$ 几乎必然存在到 $C_{2\ell+1}$ 的同态吗？
• RQ2 是否存在阈值 $c_\ell$，使得当 $c > c_\ell$ 时，$G_{n,c/n}$ 几乎必然不存在到 $C_{2\ell+1}$ 的同态？
• RQ3 $G_{n,4/n}$ 是否存在到 $C_5$ 的同态？这对它的圆染色数有何含义？
• RQ4 数值方法能否严格确认 $G_{n,4/n}$ 中 $C_5$-同态的期望数量为次常数？
• RQ5 在 $c \in (1, c_3)$ 范围内，$G_{n,c/n}$ 的圆染色数是否在 $[2,3]$ 上稠密，还是存在可能取值的间隙？

主要发现

• 对任意 $\ell > 1$，存在 $\varepsilon > 0$，使得当 $G_{n,1+\varepsilon/n}$ 的奇圈长大于等于 $2\ell+1$ 时，其几乎必然存在到 $C_{2\ell+1}$ 的同态。
• 当 $c > 2.774$ 时，存在 $\ell_c$，使得当 $\ell \geq \ell_c$ 时，$G_{n,c/n}$ 几乎必然不存在到 $C_{2\ell+1}$ 的同态。
• 以高概率，$G_{n,4/n}$ 不存在到 $C_5$ 的同态，因此 $\chi_c(G_{n,4/n}) \geq 2.5$。
• 圆染色数 $\chi_c(G_{n,4/n})$ 严格小于 3，因此 $2.5 \leq \chi_c(G_{n,4/n}) < 3$。
• 当 $n \to \infty$ 时，$G_{n,1+\varepsilon/n}$ 存在到 $C_{2\ell+1}$ 的同态的概率收敛于 $e^{-\varphi_\ell(c)} - e^{-\varphi_{\ell+1}(c)}$，其中 $\varphi_\ell(c) = \sum_{i=1}^{\ell-1} \frac{c^{2i+1}}{2(2i+1)}$。
• 数值验证表明，函数 $b(4, \alpha_0, \dots, \alpha_3)$ 在相关定义域上的最大值小于 0.949，从而表明 $G_{n,4/n}$ 中 $C_5$-同态的期望数量为 $o(1)$。