[论文解读] Reducing Linear Hadwiger's Conjecture to Coloring Small Graphs

Michelle Delcourt, Luke Postle|arXiv (Cornell University)|Aug 3, 2021

Limits and Structures in Graph Theory被引用 8

一句话总结

本文通过证明任意 $K_t$-minor-free 圖的色數被限制為 $O(t(1 + f(G,t)))$，將 Linear Hadwiger's Conjecture 降低至小圖的著色問題，其中 $f(G,t)$ 衡量小規模 $K_a$-minor-free 子圖上的最大色密度。關鍵結果為 $K_t$-minor-free 圖是 $O(t\log\log t)$-可著色，顯著改善了先前的界，並顯示證明 Linear Hadwiger's Conjecture 可簡化為驗證大小為 $O(t\log^4 t)$ 的圖。

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 second 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. The first main result of this paper is that every graph with no $K_t$ minor is $O(t\log\log t)$-colorable. This is a corollary of our main technical result that the chromatic number of a $K_t$-minor-free graph is bounded by $O(t(1+f(G,t)))$ where $f(G,t)$ is the maximum of $\frac{χ(H)}{a}$ over all $a\ge \frac{t}{\sqrt{\log t}}$ and $K_a$-minor-free subgraphs $H$ of $G$ that are small (i.e. $O(a\log^4 a)$ vertices). This has a number of interesting corollaries. First as mentioned, using the current best-known bounds on coloring small $K_t$-minor-free graphs, we show that $K_t$-minor-free graphs are $O(t\log\log t)$-colorable. Second, it shows that proving Linear Hadwiger's Conjecture (that $K_t$-minor-free graphs are $O(t)$-colorable) reduces to proving it for small graphs. Third, we prove that $K_t$-minor-free graphs with clique number at most $\sqrt{\log t}/ (\log \log t)^2$ are $O(t)$-colorable. This implies our final corollary that Linear Hadwiger's Conjecture holds for $K_r$-free graphs for every fixed $r$. One key to proving the main theorem is a new standalone result that every $K_t$-minor-free graph of average degree $d=Ω(t)$ has a subgraph on $O(t \log^3 t)$ vertices with average degree $Ω(d)$.

研究动机与目标

• 解決長久以來關於 $K_t$-minor-free 圖色數有界性的問題，儘管數十年來研究持續進行，此問題仍處於開放狀態。
• 在 Kostochka 和 Thomason 所建立的 $O(t\sqrt{\log t})$ 界基礎上進一步改進，達成更緊緻的漸近界。
• 顯示證明 Linear Hadwiger’s Conjecture — 即 $K_t$-minor-free 圖是 $O(t)$-可著色 — 可簡化為證明其在大小為 $O(t\log^4 t)$ 的圖上成立。
• 建立 $K_t$-minor-free 圖在小團數情況下為 $O(t)$-可著色，將該猜想推廣至更廣泛的圖類。
• 透過區分色數可分與不可分兩種情形，提出分析 $K_t$-minor-free 圖的新結構框架。

提出的方法

• 本文提出一種新型結構分解方法，根據圖的色數是否『可分離』為較小組成部分而決定使用序列或遞迴構造。
• 關鍵技術創新：獨立證明顯示，每一個平均度 $d = \Omega(t)$ 的 $K_t$-minor-free 圖，皆包含一個大小為 $O(t\log^3 t)$ 個頂點的子圖，其平均度為 $\Omega(d)$，並保持高色密度。
• 定義函數 $f(G,t)$，其捕捉 $G$ 中所有滿足 $a \in [t/\sqrt{\log t}, t]$ 且 $v(H) \leq C a \log^4 a$ 的 $K_a$-minor-free 子圖 $H$ 的最大比值 $\chi(H)/a$，用以量化局部色密度。
• 基於 $C_{\text{rooted2}}$-連通子圖與 $K_a$-模型的遞迴論證，顯示高色數會導致存在 $K_{t'}$ 小型圖（$t' \geq t$），進而與 $K_t$-freeness 矛盾。
• 應用連結定理以特定頂點集合為根構造 $K_a$-模型，確保高局部色密度可導出全局小型圖包含。
• 證明若 $K_t$-minor-free 圖的色數超過 $C t (1 + f(G,t))$，則必包含 $K_{t'}$ 小型圖（$t' \geq t$），導致矛盾。

实验结果

研究问题

• RQ1 能否將 $K_t$-minor-free 圖的色數有界得比 $O(t\sqrt{\log t})$ 更緊緻？
• RQ2 證明 Linear Hadwiger’s Conjecture 是否可簡化為驗證大小為 $O(t\log^4 t)$ 的圖？
• RQ3 對於團數至多為 $\sqrt{\log t}/(\log\log t)^2$ 的 $K_t$-minor-free 圖，是否為 $O(t)$-可著色？
• RQ4 能否以 $O(t\log\log t)$ 界有界 $K_t$-minor-free 圖的色數，進而優於 $O(t\sqrt{\log t})$ 的界？
• RQ5 在何種條件下，小圖中高局部色密度會導致全局小型圖包含？

主要发现

• 每一個 $K_t$-minor-free 圖都是 $O(t\log\log t)$-可著色，改善了先前最佳已知界 $O(t\sqrt{\log t})$。
• 任意 $K_t$-minor-free 圖 $G$ 的色數被限制為 $O(t(1 + f(G,t)))$，其中 $f(G,t)$ 衡量小規模 $K_a$-minor-free 子圖上的最大色密度。
• Linear Hadwiger’s Conjecture 可簡化為證明其在大小不超過 $O(t\log^4 t)$ 的 $K_t$-minor-free 圖上成立，因為任何反例都將在該大小範圍內產生反例。
• 每一個團數至多為 $\sqrt{\log t}/(\log\log t)^2$ 的 $K_t$-minor-free 圖都是 $O(t)$-可著色，確認該猜想在該圖類中成立。
• 對於每個固定的 $r$，存在 $t_r$，使得對所有 $t \geq t_r$，每一個 $K_r$-free 的 $K_t$-minor-free 圖都是 $Ct$-可著色（$C$ 為絕對常數），將該猜想推廣至 $K_r$-free 圖。