[论文解读] Sidon sets and $C_4$-saturated graphs

David Fernando Daza Urbano, Carlos A. Trujillo+1 more|arXiv (Cornell University)|Oct 11, 2018

Limits and Structures in Graph Theory参考文献 19被引用 5

一句话总结

本文通過證明Singer類型的Sidon集的和圖可產生一個$C_4$-自由圖，從而建立Sidon集與$C_4$-飽和圖之間的聯繫，該圖實現了極值圖論中的Turán數$ex(q^2+q+1, C_4)$，並證明在該圖中添加任意一條邊會產生至少$\sqrt{n} + o(\sqrt{n})$個$C_4$，從而驗證了Erdős與Simonovits針對此類圖的猜想。

ABSTRACT

The problem of determining the Turán number of $C_4$ is a well studied problem that dates back to a paper of Erdös from 1938. It is known that Sidon sets can be used to construct $C_4$-free graphs. If $\A$ is a Sidon set in the abelian group $X$, the sum graph $G_{X, \A}$ with vertex set $X$ and edges set $E=\{\{x, y\}:x eq y, x+y\in \A\}$ is $C_4$-free. Using the sum graph of a Sidon set of type Singer we verify a conjecture of Erdös and Simonovits concerning the number of copies of $C_4$ in a graph with $ex(q^2+q+1, C_4)+1$ edges. Further, we give a sufficient condition for the sum graph of a Sidon set to be $C_4$-saturated and describe new $C_4$-saturated graphs.

研究动机与目标

• 探討極值圖論中Sidon集與$C_4$-飽和圖之間的關係。
• 驗證Erdős-Simonovits關於在具有$ex(n, C_4) + 1$條邊的圖中$C_4$數量最小值的猜想。
• 描述Sidon集的和圖為$C_4$-飽和圖的條件，特別是與集合最大性的關係。
• 利用Bose-Chowla、Singer、Ruzsa類型Sidon集及笛卡兒積構造新的$C_4$-飽和圖族。

提出的方法

• 從阿貝爾群$X$中的Sidon集$\mathcal{A}$構造和圖$G_{X,\mathcal{A}}$，其中若$x+y \in \mathcal{A}$，則在$\{x,y\}$之間連邊。
• 利用Singer類型Sidon集的零缺陷性質，確保$\mathcal{A} - \mathcal{A} = X$，從而實現密集的邊覆蓋。
• 定義集合$T(z)$為圖$G_{X,\mathcal{A}}$中從$2z$到$-z$的三路徑數量，用以限制添加邊後形成的$C_4$數量。
• 證明若對所有$z \notin \mathcal{A}$都有$|T(z)| \geq 4$，則$G_{X,\mathcal{A}}$為$C_4$-飽和圖。
• 應用關於Sidon集構造的定理（如Singer、Bose-Chowla、Ruzsa等），生成具體的$C_4$-飽和圖並計算其$C_4$重數。
• 利用組合界與模運算（如在$\mathbb{F}_p$上）估算$|T(z)|$，從而推導出$C_4$數量的定量下界。

实验结果

研究问题

• RQ1 Singer類型Sidon集在$\mathbb{Z}_{q^2+q+1}$中的和圖是否實現了極值Turán數$ex(q^2+q+1, C_4)$？
• RQ2 能否利用Sidon集構造驗證Erdős-Simonovits關於$ex(n, C_4)+1$條邊圖中$C_4$重數的猜想？
• RQ3 Sidon集的和圖為$C_4$-飽和圖的必要與充分條件為何？
• RQ4 在Sidon集的和圖中添加一條邊會產生多少個$C_4$？
• RQ5 Sidon集的最大性與其對應和圖的$C_4$-飽和性之間的關係為何？

主要发现

• 在$\mathbb{Z}_{q^2+q+1}$中，Singer類型Sidon集的和圖在$q > 13$（$q$為素數冪）時實現了$ex(q^2+q+1, C_4)$條邊，且為$C_4$-自由圖。
• 在該和圖中添加任意一條邊會產生至少$q - 2 = \sqrt{|X|} + o(\sqrt{|X|})$個$C_4$，從而驗證了此類圖的Erdős-Simonovits猜想。
• 和圖$G_{X,\mathcal{A}}$為$C_4$-飽和圖，當且僅當Sidon集$\mathcal{A}$為最大集。
• 對於Bose-Chowla、Singer、Ruzsa類型及笛卡兒積構造的Sidon集，當$\mathcal{A} = \mathcal{I}_\alpha$時，添加一條邊至$G_{X,\mathcal{A}}$會產生至少$p - 8$個$C_4$。
• 添加邊所形成的$C_4$數量下界為$|T(z)| - 3$，其中$|T(z)| = |\mathcal{A}| = \sqrt{|X|} - \delta$，且$z \notin \mathcal{A}$。
• 透過Sidon集構造$C_4$-飽和圖，可產生一類新的極值圖，其$C_4$重數具有明確的下界保證。