[论文解读] Further Progress towards the List and Odd Versions of Hadwiger's Conjecture

Luke Postle|arXiv (Cornell University)|Oct 12, 2020

Advanced Graph Theory Research参考文献 21被引用 7

一句话总结

该论文建立了不含完全图因子的图的列表染色数与奇染色数的改进上界，证明了任意不含 $K_t$ 因子的图均为 $O(t cdot ( log log t)^6)$-列表可染色，且在奇因子设定下也具有 $O(t cdot ( log log t)^6)$-可染色性。该结果拓展了先前的研究，消除了 $\beta > 1/4$ 的限制，首次在列表与奇染色版本的 Hadwiger 猜想中实现了 $O(t cdot ( log log t)^6)$ 的界。

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 previously showed that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$. More specifically, they are $O(t \cdot (\log \log t)^{6})$-colorable. In this paper, we extend that work to the list and odd generalizations of Hadwiger's conjecture.

研究动机与目标

• 通过改进不含 $K_t$ 因子图的渐近染色数上界，解决 Hadwiger 猜想的列表与奇版本。
• 通过实现对数因子的改进，弥合已知的 $O(t\sqrt{\nlog t})$ 上界与猜想的线性上界 $O(t)$ 之间的差距。
• 将近期关于不含 $K_t$ 因子图的染色数研究进展推广至更一般的列表与奇因子设定。
• 证明 $O(t \cdot (\nlog \nlog t)^6)$ 的界在列表与奇染色变体中均一致成立，从而确认了线性 Hadwiger 猜想的猜想加强形式。

提出的方法

• 基于 $m$-色可分性与 $m$-编织子图的结构分解技术，分析闭因子族的性质。
• 应用迭代连通定理（定理 3.11 与定理 4.4），在高度连通子图中构造 $K_{a'}$-模型与路径连通结构。
• 在列表染色假设下，利用奇偶编织结构，强制在二部图扩张中实现可染色性。
• 通过递归构造具有受控大小与连通性的子图 $J_i'$，使用 $a' = (2/3)^{T+1}t$ 与 $b' = b + 2a'$ 以维持归纳界。
• 应用定理 3.15 提取一个 $C_{\text{rooted2}}t$-连通子图 $H$，其具有足够大的列表赋值 $L'$，确保不可染色性蕴含因子包含性。
• 依赖极大性论证与矛盾法，通过构造 $K_t$-因子在子图无法 $L$-染色时成立。

实验结果

研究问题

• RQ1 不含 $K_t$ 因子图的 $O(t(\nlog t)^\beta)$-列表染色界是否可推广至所有 $\beta > 0$，包括 $\beta \to 0$？
• RQ2 Hadwiger 猜想的奇因子版本是否也允许类似的 $O(t(\nlog t)^\beta)$-染色界，对所有 $\beta > 0$ 成立？
• RQ3 能否同时在列表与奇染色变体中实现 $O(t \cdot (\nlog \nlog t)^6)$-染色界？
• RQ4 是否存在一种结构表征（通过 $m$-编织或奇偶编织子图），使得在不可染色假设下可构造出 $K_t$ 因子？
• RQ5 在不依赖 $\beta > 1/4$ 的前提下，是否可在列表与奇染色设定中将 $O(t\sqrt{\nlog t})$ 的界改进为 $O(t \cdot (\nlog \nlog t)^6)$？

主要发现

• 任意不含 $K_t$ 因子的图均为 $O(t \cdot (\nlog \nlog t)^6)$-列表可染色，以最优渐近形式解决了线性 Hadwiger 猜想的列表版本。
• 该界同样适用于奇染色版本：任意不含奇 $K_t$ 因子的图均为 $O(t \cdot (\nlog \nlog t)^6)$-可染色。
• 该结果在先前 $\beta > 1/4$ 时的 $O(t(\nlog t)^\beta)$ 上界基础上实现改进，将其推广至所有 $\beta > 0$，首次在两种设定中实现了 $O(t \cdot (\nlog \nlog t)^6)$ 的界。
• 证明依赖于在高度连通子图中构造 $K_{a'}$-模型与路径连通结构，通过反复应用连通定理与 $m$-编织结构。
• 在所有列表均为完整列表（即 $L(v) = [k]$）的假设下，构造可生成二部图 $K_t$ 因子，从而确认奇偶编织结构蕴含奇因子包含性。
• 关键技术突破在于采用递归子图分解，通过缩小参数 $a'$ 与 $b'$，确保不可染色性通过反证法推出 $K_t$-因子的存在性。