[論文レビュー] Asymptotics for the Tur\'an number of Berge-$K_{2,t}$

Dániel Gerbner, Abhishek Methuku+1 more|arXiv (Cornell University)|May 11, 2017

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

ひとこと要約

本稿は3-一様超グラフにおけるBerge-$K_{2,t}$の漸近的Turán数を決定し、$t \geq 7$に対して$ex_3(n, K_{2,t}) = (1+o(1))\frac{1}{6}(t-1)^{3/2}n^{3/2}$を示している。また、$C_2$および$K_{2,t}$の両方を避ける線形3-一様超グラフの漸近的Turán数についても確立し、$ex_3(n, \{C_2, K_{2,t}\}) = (1+o_t(1))\frac{1}{6}\sqrt{t-1}\cdot n^{3/2}$を示している。確率論的および極値的組合せ論的手法、特に超グラフマッチングとTurán型の境界を用いている。

ABSTRACT

Let $F$ be a graph. A hypergraph is called Berge-$F$ if it can be obtained by replacing each edge of $F$ by a hyperedge containing it. Let $\\mathcal{F}$ be a family of graphs. The Tur\\'an number of Berge-$\\mathcal{F}$ is the maximum possible number of edges in an $r$-uniform hypergraph on $n$ vertices containing no Berge-$F$ as a subhypergraph (for every $F \\in \\mathcal{F}$) and is denoted by $ex_r(n,\\mathcal{F})$. We determine the asymptotics for the Tur\\'an number of Berge-$K_{2,t}$ by showing $$ex_3(n,K_{2,t})=\\frac{1}{6}(t-1)^{3/2} \\cdot n^{3/2}(1+o(1))$$ for any given $t \\ge 7$. We study the analogous question for linear hypergraphs and show that $$ex_3(n,\\{C_2, K_{2,t}\\}) = \\frac{1}{6}\\sqrt{t-1} \\cdot n^{3/2}(1+o_{t}(1)).$$ We also prove general upper and lower bounds on the Tur\\'an numbers of a class of graphs including $ex_r(n, K_{2,t})$, $ex_r(n,\\{C_2, K_{2,t}\\})$, and $ex_r(n, C_{2k})$ for $r \\ge 3$. Our bounds improve results of Gerbner and Palmer, F\\"uredi and \\"Ozkahya, Timmons, and provide a new proof of a result of Jiang and Ma.

研究の動機と目的

• 3-一様超グラフにおけるBerge-$K_{2,t}$のTurán数の漸近的挙動を特定すること。
• 線形3-一様超グラフが$C_2$および$K_{2,t}$の両方を避ける場合のTurán数の鋭い漸近的評価を確立すること。
• $r$-一様Berge超グラフに対する境界を一般化すること。これには$ex_r(n, K_{2,t})$、$ex_r(n, \{C_2, K_{2,t}\})$、および$r \geq 3$に対する$ex_r(n, C_{2k})$が含まれる。
• GerbnerとPalmer、FürediとÖzkahya、Timmons、JiangとMaによる先行研究を改善すること。

提案手法

• グラフ$G$の辺を頂点とする3-一様超グラフ${\mathcal{H}}$を構築し、超辺を$G$内の三角形に対応させることで、Berge-$K_{2,t}$構成をモデル化する。
• 三角形数を数える手法を用い、${\mathcal{H}}$の超辺数を$G$内の三角形数に関連づけ、線形性と有界次数を保証する。
• Alon, Kim, および Spencerの超グラフマッチングに関する定理を適用し、変更された超グラフ${\mathcal{H}}'$にほとんどすべての頂点をカバーする大きなマッチング$M'$を特定する。
• 辺に重複のない三角形のマッチングから構築されたBerge-$K_{2,t}$-フリーな線形超グラフを用いて、$ex_3(n, \{C_2, K_{2,t}\})$の下界を確立する。
• 極値的グラフ理論およびTurán型の境界を用い、$G$から導かれる補助グラフにおけるクリーク数と独立集合数を制御することで、超グラフが禁止されたBerge部分超グラフを避けることを保証する。
• 次数および密度制約を含む確率論的および組合せ論的技法を用いて、$r$-一様Berge超グラフに対する一般の上界および下界を証明する。

実験結果

リサーチクエスチョン

• RQ1 $t \geq 7$における$ex_3(n, K_{2,t})$の漸近的成長率は何か？
• RQ2 線形3-一様超グラフが$C_2$および$K_{2,t}$の両方を避ける場合、Turán数はどのように漸近的に振る舞うか？
• RQ3 $r$-一様超グラフに対して$ex_r(n, K_{2,t})$、$ex_r(n, \{C_2, K_{2,t}\})$、および$ex_r(n, C_{2k})$の境界を一般化できるか？
• RQ4 GerbnerとPalmer、FürediとÖzkahya、Timmons、JiangとMaによる先行結果と比較して、新しい境界はどのように異なるか？

主な発見

• $t \geq 7$に対して、3-一様超グラフにおけるBerge-$K_{2,t}$のTurán数は$ex_3(n, K_{2,t}) = (1+o(1))\frac{1}{6}(t-1)^{3/2}n^{3/2}$を満たす。
• 線形3-一様超グラフにおいて、$C_2$および$K_{2,t}$の両方を避けるTurán数は$ex_3(n, \{C_2, K_{2,t}\}) = (1+o_t(1))\frac{1}{6}\sqrt{t-1}\cdot n^{3/2}$である。
• 下界の構成は、$O(n^{3/2})$本の辺を持つグラフ$G$における辺に重複のない三角形のマッチングを用いており、2つの三角形が辺を共有しないことを保証する。
• 証明は、超グラフマッチングに関する定理を活用し、変更された超グラフにおいて、すべての頂点のうち$O(n^{3/2} \cdot \ln^{3/2}(t-1)/\sqrt{t-1})$個を除くすべての頂点をカバーするマッチングが保証されることを示している。
• GerbnerとPalmer、FürediとÖzkahya、Timmons、JiangとMaによる先行研究の境界を改善しており、JiangとMaの結果の別証明を提供している。
• 漸近的境界は低次の項を除いてタイトであり、すべての$t \geq 7$に対して成り立ち、$t = 3,4,5,6$に対しても同様の漸近的性質が成り立つ可能性があると予想されている。