[论文解读] A Rainbow Dirac's Theorem

Matthew Coulson, Guillem Perarnau|arXiv (Cornell University)|Sep 17, 2018

Limits and Structures in Graph Theory参考文献 28被引用 6

一句话总结

本文通過證明任何最小度至少為 n/2 的 Dirac 圖（即 Dirac 圖）若其邊著色滿足 μn 界限制（每種顏色至多出現 μn 次），則當 μ > 0 足夠小時，必包含一個彩虹哈密頓圈，從而建立了一個 Dirac 定理的彩虹類比。證明結合了強健擴張技術與非對稱 Lovász 局部引理，解決了關於稀疏圖中彩虹哈密頓圈存在性的最小度門檻這一長期懸而未決的問題。

ABSTRACT

A famous theorem of Dirac states that any graph on $n$ vertices with minimum degree at least $n/2$ has a Hamilton cycle. Such graphs are called Dirac graphs. Strengthening this result, we show the existence of rainbow Hamilton cycles in $μn$-bounded colourings of Dirac graphs for sufficiently small $μ>0$.

研究动机与目标

• 確定圖中彩虹哈密頓圈出現的確切最小度門檻。
• 將 Dirac 的經典定理推廣至彩虹設定，其中圈內所有邊的顏色必須互不相同。
• 解決線性有界著色（每種顏色最多 μn 條邊）是否足以在 Dirac 圖中保證彩虹哈密頓圈的存在。
• 透過證明當 μ > 1/8 時存在某些 Dirac 圖不具彩虹哈密頓圈，從而證明該界是緊緻的。
• 建立一個適用於強健擴張圖與極值圖結構的統一框架。

提出的方法

• 將 Dirac 圖分為兩類：強健擴張圖或極值圖（接近兩個團或完全二分圖）。
• 針對極值圖，先預嵌入一個部分彩虹匹配，再利用非對稱 Lovász 局部引理將其擴展為完整的彩虹哈密頓圈。
• 針對強健擴張圖，應用近期提出的彩虹爆破引理來嵌入彩虹圈。
• 使用一個關鍵引理，使部分圈嵌入的初始段可被固定，且對圖的其餘部分影響可忽略。
• 透過分情況分析結合結果，證明在 μn 界限制著色下彩虹哈密頓圈的存在性。
• 構造一個爆破實例與候選圖，以滿足彩虹爆破引理所需的正則性條件。

实验结果

研究问题

• RQ1 在邊著色受限制的圖中，彩虹哈密頓圈出現的最小度門檻為何？
• RQ2 能否將 Dirac 定理推廣至彩虹設定，且著色類別為線性有界？
• RQ3 μ ≤ 1/8 對於 Dirac 圖中彩虹哈密頓圈的存在性是否為緊緻界？
• RQ4 該結果能否透過 BERGE 圈推廣至超圖？
• RQ5 在彩虹圈嵌入的背景下，擴張性質與極值結構如何相互作用？

主要发现

• 存在 μ > 0 和 n₀ ∈ ℕ，使得每一個在 n ≥ n₀ 個頂點上的 Dirac 圖，若其邊著色滿足 μn 界限制，則必包含一個彩虹哈密頓圈。
• 界 μ ≤ 1/8 是緊緻的：對每一個 μ > 1/8 及足夠大的 n，存在一個 μn 界限制著色的 Dirac 圖，其不包含彩虹哈密頓圈。
• 該結果可推廣至超圖中的 BERGE 哈密頓圈：若一個 r-均勻超圖的最小頂點度大於 (n/2 - 1) 選取 r-1，且 r = o(√n)，則其包含一個 BERGE 哈密頓圈。
• 證明依賴於將 Dirac 圖分類為強健擴張圖或極值結構，並對每一類使用量身定做的組合工具。
• 利用非對稱 Lovász 局部引理與彩虹爆破引理，即使在線性著色限制下也能構造出彩虹圈。
• 關鍵技術創新在於提出一個部分嵌入引理，允許固定圈的初始小段，而不破壞整體構造。