[论文解读] General lemmas for Berge-Tur\'an hypergraph problems.

Dániel Gerbner, Abhishek Methuku+1 more|arXiv (Cornell University)|Aug 31, 2018

Limits and Structures in Graph Theory参考文献 25被引用 20

一句话总结

本文提出了关于Berge-Turán超图问题的两个通用引理，为$ r $-一致Berge-$ F $-自由超图中最大超边数提供了统一的框架。这些引理使得对各种图$ F $（包括路径、环、theta图、$ K_{2,t} $、团和树）的超图极值函数边界得到改进或新结果，特别在$ r=3 $且$ k \geq 6 $或$ n $充分大时，给出了精确结果。

ABSTRACT

For a graph $F$, a hypergraph $\\mathcal{H}$ is a Berge copy of $F$ (or a Berge-$F$ in short), if there is a bijection $f : E(F) \ ightarrow E(\\mathcal{H})$ such that for each $e \\in E(F)$ we have $e \\subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain a Berge copy of $F$. We denote the maximum number of hyperedges in an $n$-vertex $r$-uniform Berge-$F$-free hypergraph by $\\mathrm{ex}_r(n,\ extrm{Berge-}F).$ In this paper we prove two general lemmas concerning the maximum size of a Berge-$F$-free hypergraph and use them to establish new results and improve several old results. In particular, we give bounds on $\\mathrm{ex}_r(n,\ extrm{Berge-}F)$ when $F$ is a path (reproving a result of Gy\\H{o}ri, Katona and Lemons), a cycle (extending a result of F\\"uredi and \\"Ozkahya), a theta graph (improving a result of He and Tait), or a $K_{2,t}$ (extending a result of Gerbner, Methuku and Vizer). We also establish new bounds when $F$ is a clique (which implies extensions of results by Maherani and Shahsiah and by Gy\\'arf\\'as) and when $F$ is a general tree.

研究动机与目标

• 开发通用引理，统一并加强现有Berge-Turán超图问题的研究方法。
• 改进或重新证明已知的$ \mathrm{ex}_r(n,\text{Berge-}F) $边界，针对包括路径、环和树在内的多种图$ F $。
• 为$ \mathrm{ex}_r(n,\text{Berge-}K_k) $建立精确或紧致的渐近边界，尤其针对$ r=3 $且$ k \geq 4 $的情况。
• 明确阈值$ n_0(k,r) $，即在此之后，Turán超图$ T_r(n,k-1) $在Berge-$ K_k $-自由超图中实现最大超边数。

提出的方法

• 引入一种红蓝边着色模型来表示Berge-$ F $-自由超图，其中红色边代表图边，蓝色边代表潜在的超边扩展。
• 定义函数$ g_r(G) = e(G_{\text{red}}) + \mathcal{N}(K_r, G_{\text{blue}}) $，该函数通过对应的$ F $-自由红蓝图$ G $，对任意Berge-$ F $-自由超图的大小提供上界。
• 证明引理2：任意$ r $-一致Berge-$ F $-自由超图$ \mathcal{H} $可与一个$ F $-自由红蓝图$ G $相关联，使得$ |\mathcal{H}| \leq g_r(G) $。
• 利用定理19，通过对$ F $-自由红蓝图$ G $最大化$ g_r(G) $，来界定$ \mathrm{ex}_r(n,\text{Berge-}F) $，从而获得极值边界。
• 通过归纳法和Turán型极值结果，证明当$ k > r+2 $时，Turán图$ T_2(n,k-1) $最大化$ g_r(G) $，从而推出$ \mathrm{ex}_r(n,\text{Berge-}K_k) = |T_r(n,k-1)| $。
• 通过案例分析和已知的极值图论，确定$ \mathrm{ex}_3(n,\text{Berge-}K_k) $在小$ n $和$ k $下的精确值，包括$ n=5, k=5 $和$ n=5, k=4 $。

实验结果

研究问题

• RQ1 对于给定图$ F $，$ r $-一致Berge-$ F $-自由超图中最大超边数是多少？
• RQ2 如何利用通用引理统一并改进现有对$ \mathrm{ex}_r(n,\text{Berge-}F) $的边界？
• RQ3 在哪些$ n $和$ k $值下，Turán超图$ T_r(n,k-1) $对Berge-$ K_k $-自由超图是最优的？
• RQ4 当$ n $较小时，特别是$ n < k $时，$ \mathrm{ex}_3(n,\text{Berge-}K_k) $的精确值是多少？
• RQ5 红蓝图$ G $的结构如何与Berge-$ F $-自由超图的极值大小相关联？

主要发现

• 函数$ g_r(G) = e(G_{\text{red}}) + \mathcal{N}(K_r, G_{\text{blue}}) $为$ \mathrm{ex}_r(n,\text{Berge-}F) $提供了上界，当$ G $为$ F $-自由时可能取等。
• 当$ k > r+2 $时，Turán超图$ T_r(n,k-1) $对所有$ n $均实现$ r $-一致Berge-$ K_k $-自由超图中最大超边数。
• 当$ r=3 $时，对所有$ n $和$ k \geq 4 $，$ \mathrm{ex}_3(n,\text{Berge-}K_k) $的精确值已确定，其中$ \mathrm{ex}_3(5,\text{Berge-}K_5) = 9 $，且$ \mathrm{ex}_3(5,\text{Berge-}K_4) = 5 $。
• 当$ n < k $时，$ \mathrm{ex}_r(n,\text{Berge-}K_k) = \binom{n}{r} $，因为$ n $个顶点上的完全$ r $-一致超图是Berge-$ K_k $-自由的。
• 当$ k = r+1 $或$ k = r+2 $时，对于小$ n $（如$ n = k $），Turán超图$ T_r(n,k-1) $并非最优，此时完全超图拥有更多超边。
• 阈值$ n_0(k,r) $（即在此之后$ T_r(n,k-1) $对Berge-$ K_k $-自由超图最优）的上界为$ r + \log r + O(1) $，当$ k = r+2 $时成立。