[論文レビュー] 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) $ を確立すること。
• 二重数え上げと辺の交差に関する議論から導かれる再帰的不等式を用いて、$ f_r(n,v,e) $ を $ T_r(n,R,e) $ の項で評価すること。
• 加法的数論の道具、特に解のない集合と等差数列を用いて、スパース制約下で高い辺数を達成する $ r $-グラフを構成すること。
• $ R = er - v $ と定義した再帰的枠組み $ T_r(n,R,e) $ を導入し、Lemma 7.1 の繰り返し適用によって解析を簡素化し、境界を導出すること。
• $ l \in [r] $ に対して $ f_r(n,v,e) \leq f_r(n,v-r+l,e-1) + \binom{n}{l}/\binom{r}{l} $ を証明し、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 $ のすべての $ r $ に対して、上界 $ f_r(n, er - (e-1)k + 1, e) = o(n^k) $ が成り立つかどうか。
• RQ2 $ e > 3 $ の場合に、$ f_r(n, er - (e-1)k + 1, e) = n^{k-o(1)} $ を達成する構成が存在するか。
• 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-一様超グラフ $ \mathcal{H}_M $ の構成により、$ f_3(n,9,6) > n^{2-o(1)} $ が示された。これは $ e=6 $ の場合の予想を支持する。