[论文解读] Extremal results for Berge-hypergraphs

Dániel Gerbner, Cory Palmer|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|May 29, 2015

Limits and Structures in Graph Theory参考文献 8被引用 4

一句话总结

本文建立了Berge-超图的极值界限，引入了Kővári-Sós-Turán定理的超图推广。研究证明，对于边大小至少为 $ s+t $ 的 $ K_{s,t} $-自由超图，边大小之和为 $ O(n^{2-1/s}) $，与极值图论结果一致。该工作还为 $ C_4 $-自由超图提供了紧致界限，表明 $ \sum(|h|-3) = \Theta(n^{3/2}) $，并扩展了关于Berge-周长和线性超图的结果。

ABSTRACT

Let $G$ be a graph and $\mathcal{H}$ be a hypergraph both on the same vertex set. We say that a hypergraph $\mathcal{H}$ is a \emph{Berge}-$G$ if there is a bijection $f : E(G) ightarrow E(\mathcal{H})$ such that for $e \in E(G)$ we have $e \subset f(e)$. This generalizes the established definitions of "Berge path" and "Berge cycle" to general graphs. For a fixed graph $G$ we examine the maximum possible size (i.e.\ the sum of the cardinality of each edge) of a hypergraph with no Berge-$G$ as a subhypergraph. In the present paper we prove general bounds for this maximum when $G$ is an arbitrary graph. We also consider the specific case when $G$ is a complete bipartite graph and prove an analogue of the K\H ovári-Sós-Turán theorem.

研究动机与目标

• 通过Berge-$ G $构造将极值图论推广至超图，其中超边包含基图 $ G $ 的边。
• 确定避免包含Berge-$ G $子超图的超图中边大小之和的最大可能值。
• 将Kővári-Sós-Turán定理推广至超图，特别是针对完全二部图 $ K_{s,t} $。
• 利用参数 $ \sum(|h|-3) $ 为 $ C_4 $-自由超图建立紧致界限，该参数用于衡量边大小超过3的部分。
• 研究周长和线性在极值超图理论中的作用，尤其关注禁止Berge-环的情形。

提出的方法

• 将Berge-$ G $超图定义为：图 $ G $ 的每条边均通过从 $ E(G) $ 到 $ E(\mathcal{H}) $ 的双射包含于一个超边中。
• 使用边大小之和 $ \sum_{v \in V(\mathcal{H})} d(v) = \sum_{h \in \mathcal{H}} |h| $ 作为极值参数，尤其适用于非均匀超图。
• 证明当边足够大（$ \geq |V(F)| $）时，对一般图 $ F $，$ F $-自由超图的上界为 $ O(n^2) $。
• 建立Kővári-Sós-Turán定理的超图类比：对于边大小 $ \geq s+t $ 的 $ K_{s,t} $-自由超图，边大小之和为 $ O(n^{2-1/s}) $。
• 通过已知极值图（如Lazebnik和Verstra€te的结果）的顶点复制构造极值例子，证明下界为 $ \Omega(n^{2-1/s}) $。
• 使用参数 $ \sum(|h|-3) $ 精化 $ C_4 $-自由超图的界限，证明其紧致上界为 $ \Theta(n^{3/2}) $。

实验结果

研究问题

• RQ1 对于一般图 $ G $，避免包含Berge-$ G $子超图的超图中，边大小之和的最大可能值是多少？
• RQ2 Kővári-Sós-Turán定理对 $ K_{s,t} $-自由图是否可推广至超图？其极值边大小之和界限为何？
• RQ3 $ C_4 $-自由超图中 $ \sum(|h|-3) $ 的极值行为如何？其与极值图论有何关联？
• RQ4 Berge-周长约束（特别是对3-均匀超图）如何影响超图的极值界限？
• RQ5 线性性（即 $ C_2 $-自由性）在将超图极值问题与图极值问题关联中起何作用？

主要发现

• 对于任意图 $ F $，若 $ F $-自由超图的边大小至少为 $ |V(F)| $，则其边大小之和为 $ O(n^2) $，且该界是紧致的。
• 对于边大小至少为 $ s+t $ 的 $ K_{s,t} $-自由超图，其边大小之和为 $ O(n^{2-1/s}) $，且该界是紧致的，与图论中的极值数一致。
• 存在一个边大小为 $ s+t $ 的 $ K_{s,t} $-自由超图，其边大小之和为 $ \Omega(\mathrm{ex}(n,K_{s,t})) $，表明该界是精确的。
• 对于 $ C_4 $-自由超图，$ \sum(|h|-3) $ 的上界为 $ \frac{\sqrt{6}}{2}n^{3/2} + O(n) $，且存在构造可达到 $ \frac{1}{3\sqrt{3}}n^{3/2} + o(n^{3/2}) $，优于先前的界限。
• 边大小为3的超图若Berge-周长至少为5，则其超边数满足 $ |\mathcal{H}| \leq \frac{1}{3} \mathrm{ex}(n, C_4, C_5, \dots, C_{g-1}) $，将超图极值数与图极值数联系起来。
• 通过将3-均匀 $ C_4 $-自由超图的顶点复制构造9-均匀 $ C_4 $-自由超图，验证了 $ \sum(|h|-3) $ 的下界。