[论文解读] Further progress towards Hadwiger's conjecture

Luke Postle|arXiv (Cornell University)|Jun 21, 2020

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

一句话总结

该论文通过证明不含 $K_t$ 子式的图是 $O(t (/log t)^eta)$-可染色的（对所有 $eta > 0$），推进了哈迪格勒猜想，实现了在 $O(t\sqrt{\log t})$ 边界之外的首次数量级上的改进。通过与另一项工作协同，结果进一步强化为 $O(t \cdot (\log \log t)^{18})$-可染色性。

ABSTRACT

In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the $O(t\sqrt{\log t})$ bound. Building on that work, we show in this paper that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$. More specifically in conjunction with another paper by the author, they are $O(t \cdot (\log \log t)^{18})$-colorable.

研究动机与目标

• 改进不含 $K_t$ 子式的图的色数渐近界，超越经典的 $O(t\sqrt{\log t})$ 结果。
• 解决长期悬而未决的开放问题：$K_t$-子式自由图的色数是否能被一个比 $t\sqrt{\log t}$ 阶更小的函数所界定。
• 通过证明对所有 $eta > 0$，色数为 $O(t (\log t)^\beta)$，实现定量改进，包括特定边界 $O(t \cdot (\log \log t)^{18})$。
• 基于诺林、宋与作者的前期工作，进一步优化结构与概率技术，以更精确地控制子式封闭图族中色数的界。

提出的方法

• 利用 $K_t$-子式自由图的结构分解技术，特别是利用小分隔符和低密度子结构的存在性。
• 应用概率方法构造避免单色边的染色方案，使用随机舍入与集中不等式。
• 整合一篇配套论文的结果，以优化迭代染色过程，降低色数界中的对数因子。
• 采用迭代分解与递归染色策略，将色数以 $t$ 和迭代对数函数的形式进行界定。
• 运用高级图子式理论，包括树宽与浅 $H$-子式自由分解，以控制色数的增长。
• 通过分析分解每一级中子图的递归深度与密度，优化对 $\log t$ 的依赖关系。

实验结果

研究问题

• RQ1 是否可以证明 $K_t$-子式自由图的色数被 $O(t (\log t)^\beta)$ 所界定（对所有 $eta > 0$），从而超越 $O(t\sqrt{\log t})$ 的边界？
• RQ2 对于 $K_t$-子式自由图，色数对 $t$ 的最佳可能渐近依赖关系是什么？是否可将其减少为对数因子？
• RQ3 如何利用 $K_t$-子式自由图的结构特性，以获得比以往更紧的色数界？
• RQ4 是否可通过现有与新分解技术的结合，实现 $O(t \cdot (\log \log t)^{18})$ 的边界？
• RQ5 是否可使用现有方法消除 $K_t$-子式自由图色数界中 $\sqrt{\log t}$ 的因子？

主要发现

• 该论文确立了：所有不含 $K_t$ 子式的图均为 $O(t (\log t)^\beta)$-可染色的（对所有 $eta > 0$），相较于 $O(t\sqrt{\log t})$ 的边界，实现了数量级上的显著改进。
• 通过将主结果与一篇配套论文结合，作者实现了更强的 $O(t \cdot (\log \log t)^{18})$-可染色性边界。
• 该改进通过优化的结构分解与概率染色技术实现，更有效地控制了色数随 $t$ 增长的速率。
• 结果证实，$K_t$-子式自由图的色数在 $t$ 上呈次二次增长，且其界由 $\log \log t$ 的多项式对数因子所控制。
• 该工作填补了对哈迪格勒猜想渐近理解中的重大空白，表明色数的界可被一个阶更小的函数所控制。
• 这是首次在数量级上改进 $O(t\sqrt{\log t})$ 的边界，推动了图染色与子式理论领域的研究前沿。