[论文解读] Ringel's tree packing conjecture in quasirandom graphs

Peter Keevash, Katherine Staden|arXiv (Cornell University)|Apr 21, 2020

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

一句话总结

本文證明了環形樹打包猜想的一般化版本，顯示任何具有 $ n $ 個頂點和 $ rn $ 條邊的擬隨機圖，皆可分解為 $ n $ 個邊不相交的固定樹（具有 $ r $ 條邊）的複本。此結果在大 $ n $ 時確立了環形原始猜想，使用一種結合分割、邊著色與超圖匹配技術的新型嵌入演算法，於擬隨機設定下實現近似與精確分解。

ABSTRACT

We prove that any quasirandom graph with $n$ vertices and $rn$ edges can be decomposed into $n$ copies of any fixed tree with $r$ edges. The case of decomposing a complete graph establishes a conjecture of Ringel from 1963.

研究动机与目标

• 解決擬隨機圖中環形樹打包猜想的一般化形式。
• 在大 $ n $ 時確立環形原始猜想，即 $ K_{2n+1} $ 可分解為 $ 2n+1 $ 個邊不相交的任何具有 $ n $ 條邊的樹。
• 發展一個適用於環形猜想範疇以外的樹打包問題的靈活嵌入框架。
• 將機率與設計理論方法的應用範圍擴展至擬隨機主圖中大型樹的分解問題。

提出的方法

• 基於共同鄰居數量定義擬隨機性：若每個大小不超過 $ s $ 的頂點集合皆有 $ (1\pm\theta)d(G)^{|S|}n $ 個共同鄰居，則圖為 $ (\theta,s) $-典型。
• 採用遞迴嵌入演算法，透過分割與邊著色論證來配置高 degree 顶點，以管理結構上的不平衡。
• 應用一種新方法進行近似分解，透過在輔助超圖中使用匹配序列，逐步建立所需的樹打包。
• 整合機率集中不等式與 Chernoff 型不等式，以控制移動弧的數量，並確保在高概率下（whp）頂點度數偏移有界。
• 調整並延伸先前關於設計分解與哈密頓分解的研究技術，特別是 Keevash [18]、Montgomery 等 [26,27] 與 Allen 等 [5] 的工作。
• 利用具有受控弧移動的動態移動過程，透過 $ (\mu,1) $-支配與集中不等式，證明惡劣事件（任一頂點的過多弧移動）發生的機率可忽略。

实验结果

研究问题

• RQ1 環形樹打包猜想能否擴展至擬隨機圖，而不僅限於完全圖？
• RQ2 主圖需具備何種結構條件，才能實現對具有適當大小的固定樹的邊不相交精確分解？
• RQ3 機率與設計理論嵌入方法應如何調整，以處理最大度數無限大的大型樹？
• RQ4 當標準集中不等式因高 degree 顶點而失效時，需採用哪些新型演算法技術以達成精確分解？
• RQ5 針對擬隨機圖所發展的框架，能否推廣以解決更廣泛的樹打包問題，例如 Gyárfás 的猜想？

主要发现

• 本文證明，任何 $ (\xi,s) $-典型圖 $ G $，其在 $ n $ 個頂點上具有密度 $ p $ 和 $ rn $ 條邊，皆可分解為 $ n $ 個邊不相交的固定樹（具有 $ r $ 條邊）。
• 當 $ p=1 $ 時，此結果在大 $ n $ 時確立了環形猜想，確認 $ K_{2n+1} $ 可分解為 $ 2n+1 $ 個任何具有 $ n $ 條邊的樹的複本。
• 證明依賴於一種新嵌入演算法，透過結構化分割與邊著色，避開了傳統隨機嵌入方法常見的 $ O(n/\log n) $ 最大度數限制。
• 作者證明，任一頂點的移動弧數在高概率下受 $ p_{+}^{.7}n $ 限制，確保嵌入過程的穩定性。
• 該方法透過結合超圖匹配的近似分解與對頂點度數不平衡的精確控制，實現精確分解。
• 此框架具有足夠的通用性，可推測適用於其他樹打包問題，例如 Gyárfás 對於將 $ K_n $ 分解為大小為 $ 1 $ 至 $ n $ 的樹的猜想。