[论文解读] Halfway to Hadwiger's Conjecture

Luke Postle|arXiv (Cornell University)|Nov 4, 2019

Limits and Structures in Graph Theory参考文献 5被引用 8

一句话总结

该论文改进了不含 $K_t$-子式图的色数上界，证明其为 $O(t(\log t)^\beta)$-可染色，其中 $\beta > \frac{1}{4}$，通过加强对图密度和染色技术的分析，进一步推进了哈迪格猜想的进展。

ABSTRACT

In 1943, Hadwiger conjectured that every $K_t$-minor-free graph 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. Very recently, Norin and Song proved that every graph with no $K_t$ minor is $O(t(\log t)^{0.354})$-colorable. Improving on the second part of their argument, we prove that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> \frac{1}{4}$.

研究动机与目标

• 改进不含 $K_t$-子式图的色数上界，向哈迪格猜想更进一步。
• 优化诺林与宋最近建立的 $O(t(\log t)^{0.354})$-可染色上界。
• 扩展 $O(t(\log t)^\beta)$-可染色性成立的 $\beta$ 范围，特别是证明其对所有 $\beta > \frac{1}{4}$ 成立。
• 通过图密度与分解的先进技术，加强对不含 $K_t$-子式图的结构分析。

提出的方法

• 利用诺林与宋的最新结果：不含 $K_t$-子式图的平均度为 $O(t\sqrt{\log t})$。
• 应用更精细的概率与极值图论技术，对色数进行更紧密的上界估计。
• 通过迭代分解与基于密度的论证，控制染色上界的增长。
• 通过分析子式自由性与图扩张之间的相互作用，优化 $\log t$ 项的指数。
• 引入一种新颖的加权与平均化方案，改善色数上界中 $\log t$ 项的依赖关系。
• 将有界扩张与浅层染色方法扩展，以获得对数因子更紧的指数。

实验结果

研究问题

• RQ1 是否可以将不含 $K_t$-子式图的色数上界中 $\log t$ 项的指数降低至 $0.354$ 以下？
• RQ2 是否能够实现对所有 $\beta > \frac{1}{4}$ 的 $O(t(\log t)^\beta)$-可染色性，即使并非所有 $\beta > 0$ 均成立？
• RQ3 不含 $K_t$-子式图的哪些结构特性使得此类改进的染色上界成为可能？
• RQ4 新方法相较于诺林与宋所用分析的改进之处在哪里？

主要发现

• 本文证明，每个不含 $K_t$-子式图均为 $O(t(\log t)^\beta)$-可染色，其中 $\beta > \frac{1}{4}$，优于先前的 $O(t(\log t)^{0.354})$ 上界。
• 该结果标志着向哈迪格猜想迈出了重要一步，该猜想认为不含 $K_t$-子式图应为 $(t-1)$-可染色。
• 改进的上界是通过对图密度与分解的精细分析实现的，尤其体现在诺林与宋论证的第二阶段。
• 该方法成功降低了色数上界中对数项的指数，证明了将指数降至 $0.354$ 以下的可行性。
• 结果表明，$O(t\sqrt{\log t})$ 的平均度上界足以导出比以往已知更小对数因子的染色上界。