[论文解读] Coloring graphs with forbidden bipartite subgraphs

James Anderson, Anton Bernshteyn+1 more|arXiv (Cornell University)|Jul 12, 2021

Limits and Structures in Graph Theory参考文献 11被引用 4

一句话总结

该论文证明了对于任意二分图 $F$，任何最大度为 $\Delta$ 的 $F$-自由图 $G$ 的色数 $\chi(G)$ 最多为 $(1+o(1))\Delta/\log\Delta$，优于以往依赖于 $F$ 结构的界。该结果可推广至 DP-染色，确立了一个与所禁止的二分子图无关的统一常数因子。

ABSTRACT

A conjecture of Alon, Krivelevich, and Sudakov states that, for any graph $F$, there is a constant $c_F > 0$ such that if $G$ is an $F$-free graph of maximum degree $Δ$, then $χ(G) \leq c_F Δ/ \logΔ$. Alon, Krivelevich, and Sudakov verified this conjecture for a class of graphs $F$ that includes all bipartite graphs. Moreover, it follows from recent work by Davies, Kang, Pirot, and Sereni that if $G$ is $K_{t,t}$-free, then $χ(G) \leq (t + o(1)) Δ/ \logΔ$ as $Δ o \infty$. We improve this bound to $(1+o(1)) Δ/\log Δ$, making the constant factor independent of $t$. We further extend our result to the DP-coloring setting (also known as correspondence coloring), introduced by Dvořák and Postle.

研究动机与目标

• 解决 Alon、Krivelevich 和 Sudakov 关于 $F$-自由图在最大度 $\Delta$ 下色数的猜想。
• 弥合已知上界与猜想的最优界 $c_F \Delta / \log \Delta$ 之间的差距，该界针对二分禁止子图 $F$。
• 统一常数因子对 $F$ 的依赖关系，表明其可简化为 $1+o(1)$，且与 $F$ 无关。
• 将结果推广至更一般的 DP-染色（对应染色）框架，该框架推广了列表染色。

提出的方法

• 使用一种带有迭代颜色减少的随机染色过程，通过分支过程建模可用颜色的存活。
• 应用修改后的熵方法和概率分析，以界定每一轮中每个顶点的可用颜色期望数量。
• 采用 DP-覆盖形式化方法来建模对应染色，其中相邻顶点之间的颜色匹配由边特定的匹配关系定义。
• 引入一系列颜色集合 $\ell_i$ 和 $d_i$，分别表示可用颜色和未染色顶点，追踪其在迭代过程中的演化。
• 使用集中不等式和指数衰减估计，表明可用颜色的数量增长速度快于未染色顶点的数量。
• 应用一个关键引理，证明存在一个阶段 $i^\star$，使得可用颜色数超过未染色顶点数的八倍，从而能够完成染色。

实验结果

研究问题

• RQ1 能否使 $F$-自由图色数界中的常数因子独立于所禁止的二分图 $F$？
• RQ2 猜想的界 $\chi(G) \leq (1+o(1))\Delta / \log \Delta$ 是否对所有二分图 $F$ 成立，即使当 $F = K_{t,t}$ 且 $t$ 很大时？
• RQ3 该结果能否超越普通染色，推广至更一般的 DP-染色模型？
• RQ4 在最大度较大的 $F$-自由图中，渐近色数界中可实现的最小常数因子是多少？
• RQ5 该界 $\chi(G) \leq (1+o(1))\Delta / \log \Delta$ 是否对 $F$-自由图是紧的，特别是在随机正则图或高圈长图的背景下？

主要发现

• 对于任意二分图 $F$，任何最大度为 $\Delta$ 的 $F$-自由图 $G$ 满足 $\chi(G) \leq (1+\varepsilon)\Delta / \log \Delta$，当 $\Delta$ 足够大时，且常数因子与 $F$ 无关。
• 界 $\chi(G) \leq (1+o(1))\Delta / \log \Delta$ 在渐近意义下是最优的，最多相差一个因子 2，与随机 $\Delta$-正则图的下界一致。
• 该结果可推广至 DP-染色：每个 $F$-自由图都存在一种 DP-染色，其颜色数不超过 $(1+o(1))\Delta / \log \Delta$。
• 证明表明，在迭代染色步骤中，可用颜色数的增长足够快，确保在某个阶段 $i^\star$，有 $\ell_{i^\star} \geq 8d_{i^\star}$，从而能够完成染色。
• 分析表明，颜色的存活概率呈指数衰减，但初始颜色数足够大，足以克服这种衰减，并维持可用颜色的超线性增长。
• 最终界与随机图的破碎阈值以及 $\Delta$-正则树中 i.i.d. 独立集阈值一致，表明进一步改进将极其困难。