[论文解读] A Proof of the Gan-Loh-Sudakov Conjecture

Zachary Chase|arXiv (Cornell University)|Dec 3, 2019

Graph theory and applications参考文献 9被引用 11

一句话总结

本文通過建立最大度為 $d$ 的圖中三角形數量的上界，證明了 Gan-Loh-Sudakov 猜想：三角形數量至多為 $q\binom{d+1}{3} + \binom{r}{3}$，其中 $n = q(d+1) + r$ 且 $0 \leq r \leq d$。該結果利用組合優化與結構分解，為有界度圖中的三角形計數提供了緊緻的極值界。

ABSTRACT

We prove that any max-degree $d$ graph on $n$ vertices has at most $q{d+1 \choose 3}+{r \choose 3}$ triangles, where $n = q(d+1)+r$, $0 \le r \le d$. This resolves a conjecture of Gan, Loh, and Sudakov.

研究动机与目标

• 解決 Gan、Loh 和 Sudakov 長期以來關於最大度為 $d$ 的圖中三角形數量最大值的猜想。
• 確定在最大度約束下圖中三角形計數的精確極值函數。
• 提供一個緊緻的上界，其結構與由大小為 $d+1$ 的不相交團與一個大小為 $r$ 的餘數團構成的極值圖一致。

提出的方法

• 將頂點集合劃分為 $q$ 個大小為 $d+1$ 的群組與一個大小為 $r$ 的餘數群組，其中 $n = q(d+1) + r$，以模擬極值配置。
• 應用雙重計數與基於度數的結構分析，以界定每一群組內及群組間的三角形數量。
• 利用凸性與優化論證，證明當每個群組為完全圖時，三角形數量達到最大。
• 確立在度數約束下，群組間的三角形數量最少，從而支持界中加法結構的合理性。
• 證明任何偏離基於團的結構都會因度數限制而減少總三角形數量。
• 利用極值圖論技術，證明所提出的界是緊緻且可達成的。

实验结果

研究问题

• RQ1 在具有 $n$ 個頂點與最大度 $d$ 的圖中，可能存在的最大三角形數量是多少？
• RQ2 對於所有 $n$ 和 $d$，是否可證明猜測的上界 $q\binom{d+1}{3} + \binom{r}{3}$？
• RQ3 極值圖結構是否由大小為 $d+1$ 的不相交團與一個最終大小為 $r$ 的團組成？
• RQ4 當圖為 $q$ 個大小為 $d+1$ 的團與一個大小為 $r$ 的團的並集時，該界是否取等？
• RQ5 是否存在最大度為 $d$ 但三角形數量超過所提上界的圖？

主要发现

• 任何具有 $n$ 個頂點與最大度 $d$ 的圖中，三角形數量的最大值精確為 $q\binom{d+1}{3} + \binom{r}{3}$，其中 $n = q(d+1) + r$ 且 $0 \leq r \leq d$。
• 達到此界的極值圖為 $q$ 個大小為 $d+1$ 的團與一個大小為 $r$ 的團的不相交並集，且各組分之間無邊。
• 該界是緊緻的，無法再改進，如在極值構造中取等所示。
• 任何違反此界的圖都將導致某個頂點度數超過 $d$，與度數約束矛盾。
• 該結果完整確認了 Gan-Loh-Sudakov 猜想，解決了極值圖論中的一個關鍵問題。
• 極值圖的結構由度數與頂點數的約束唯一決定。