[论文解读] Sparse hypergraphs: new bounds and constructions

Gennian Ge, Chong Shangguan|arXiv (Cornell University)|Jun 11, 2017

Limits and Structures in Graph Theory参考文献 27被引用 7

一句话总结

本文通過證明布朗-艾爾德什-索斯猜想在所有固定整數 $ r \geq k+1 \geq e \geq 3 $ 條件下的上界部分，為稀疏超圖建立了新界限，並利用加法組合數學技術提出了新構造，實現了 $ r \geq 3 $、$ k=2 $、$ e=4,5,7,8 $ 時的猜想下界，突破了文獻中此前的限制。

ABSTRACT

Let $f_r(n,v,e)$ denote the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices, in which the union of any $e$ distinct edges contains at least $v+1$ vertices. The study of $f_r(n,v,e)$ was initiated by Brown, Erd{ő}s and S{ó}s more than forty years ago. In the literature, the following conjecture is well known. Conjecture: $n^{k-o(1)}k\ge 2$ and $e\ge 3$ as $n ightarrow\infty$. For $r=3, e=3, k=2$, the bound $n^{2-o(1)}

研究动机与目标

• 證明布朗-艾爾德什-索斯猜想在 $ r \geq k+1 \geq e \geq 3 $ 條件下的上界部分。
• 構造新的稀疏超圖，使其在 $ r \geq 3 $、$ k=2 $、$ e=4,5,7,8 $ 時達到猜想的下界。
• 將極值超圖理論的理解推廣至此前僅知 $ e=3 $ 或 $ r=3 $ 的情況之外。
• 展示超圖去除引理可用於推導 $ f_r(n,v,e) $ 的一般上界。

提出的方法

• 應用超圖去除引理，證明當 $ r \geq k+1 \geq e \geq 3 $ 時，上界 $ f_r(n, er - (e-1)k + 1, e) = o(n^k) $ 成立。
• 利用雙重計數與邊交集論證推導出的遞歸不等式，以 $ T_r(n,R,e) $ 表示 $ f_r(n,v,e) $ 的上界。
• 透過加法數論工具（特別是無解集合與等差數列）構造 $ r $-圖，以在稀疏性約束下實現高邊數。
• 定義遞歸框架 $ T_r(n,R,e) $，其中 $ R = er - v $，以簡化分析，並透過迭代應用引理 7.1 衍生界限。
• 證明不等式 $ f_r(n,v,e) \leq f_r(n,v-r+l,e-1) + \binom{n}{l}/\binom{r}{l} $ 對所有 $ l \in [r] $ 成立，從而實現圖論Turán問題的遞歸分解。
• 利用 $ r $-部超圖的結構與由線性形式 $ (y, y+m, y+2m) $ 定義的邊集，構造出 $ \mathcal{G}_r(9,6) $-自由超圖，其邊數達 $ n^{2-o(1)} $。

实验结果

研究问题

• RQ1 對於所有 $ r \geq k+1 \geq e \geq 3 $，上界 $ f_r(n, er - (e-1)k + 1, e) = o(n^k) $ 是否成立？
• RQ2 能否找到構造使得 $ f_r(n, er - (e-1)k + 1, e) = n^{k-o(1)} $ 對 $ e > 3 $ 成立？
• RQ3 是否存在超越Ruzsa-Szemerédi (6,3)-定理的新方法，以構造具有超線性邊數的稀疏超圖？
• RQ4 超圖去除引理能否系統性地應用於推導 $ f_r(n,v,e) $ 的一般上界？

主要发现

• 證明了對所有固定整數 $ r \geq k+1 \geq e \geq 3 $，上界 $ f_r(n, er - (e-1)k + 1, e) = o(n^k) $ 成立，從而確認了布朗-艾爾德什-索斯猜想在該範圍內的上半部分。
• 對於 $ r \geq 3 $、$ k=2 $、$ e=4,5,7,8 $，本文構造出邊數為 $ n^{2-o(1)} $ 的 $ r $-圖，且為 $ \mathcal{G}_r(v,e) $-自由，達到了猜想的下界。
• 這些構造是文獻中首次實現 $ e > 3 $ 時匹配猜想下界的構造，突破了以往所有已知構造僅限於 $ e=3 $ 或 $ r=3 $ 的限制。
• 建立了遞歸不等式 $ f_r(n,v,e) \leq f_r(n,v-r+l,e-1) + \binom{n}{l}/\binom{r}{l} $，並用於推導緊緻的漸近上界。
• 本文改進了先前結果，如 $ f_r(n, er - (e-1)k + \lfloor \log_2 e \rfloor, e) = o(n^k) $，證明該界限在 $ v = er - (e-1)k + 1 $ 時仍成立，與猜想完全一致。
• 構造出具有 $ n \cdot r(n,\star) $ 條邊的 3-部 3-uniform 超圖 $ \mathcal{H}_M $，意味著 $ f_3(n,9,6) > n^{2-o(1)} $，支持了 $ e=6 $ 時的猜想。