[论文解读] Hypergraphs with few Berge paths of fixed length between vertices

Zhiyang He, Michael Tait|arXiv (Cornell University)|Jul 26, 2018

Limits and Structures in Graph Theory参考文献 24被引用 3

一句话总结

本文将极值图论中的经典偶环问题推广至超图，研究在任意顶点对之间不存在超过 $t$ 条固定长度 $k$ 的 Berge 路径的 $r$-均匀超图中，最大超边数。通过概率方法与代数几何工具，作者证明当 $t$ 足够大时，极值边数为 $\Theta(n^{1+1/k})$，将图论中的已知结果推广至超图，并确认了 Berge-$\Theta_{k,t}$-自由超图的极值函数阶的正确性。

ABSTRACT

In this paper we study the maximum number of hyperedges which may be in an $r$-uniform hypergraph under the restriction that no pair of vertices has more than $t$ Berge paths of length $k$ between them. When $r=t=2$, this is the even-cycle problem asking for $\mathrm{ex}(n, C_{2k})$. We extend results of Füredi and Simonovits and of Conlon, who studied the problem when $r=2$. In particular, we show that for fixed $k$ and $r$, there is a constant $t$ such that the maximum number of edges can be determined in order of magnitude.

研究动机与目标

• 将图论中关于偶环 ($C_{2k}$) 的 Turán 型问题推广至 $r$-均匀超图，通过禁止顶点对之间存在多条固定长度的 Berge 路径。
• 确定在任意顶点对之间不存在超过 $t$ 条长度为 $k$ 的 Berge 路径的 $r$-均匀超图中，其极值超边数。
• 对固定的 $k$ 和 $r$，确定极值函数 $\mathrm{ex}_r(n, \Theta_{k,t}^B)$ 的阶，并证明当 $t$ 足够大时该阶是紧的。

提出的方法

• 采用有限域上随机多项式的概率构造方法，生成具有受控顶点对之间路径数的超图。
• 利用代数几何工具，包括代数簇和多项式系统，控制可能模拟有效 Berge 路径的退化路径与非简单路径的数量。
• 应用 Schwartz-Zippel 引理与马尔可夫不等式，证明以高概率构造的超图包含 $\Omega_{k,r}(n^{1+1/k})$ 条边，且不包含 $\Theta_{k,t}^B$ 子超图，当 $t$ 足够大时成立。
• 利用受 Győri 和 Lemons 启发的约化引理，将 $r$-均匀超图与 $2$-均匀图关联，从而将已知的图论界推广至超图。
• 将 $S_\sigma$ 定义为具有固定超边索引序列的长度为 $k$ 的有效 Berge 路径集合，并利用相关代数簇的复杂度界控制路径计数。
• 应用切比雪夫不等式，证明边数集中在其期望值附近，从而保证存在具有所需极值性质的超图。

实验结果

研究问题

• RQ1 在任意顶点对之间不存在超过 $t$ 条长度为 $k$ 的 Berge 路径的 $r$-均匀超图中，其最大超边数是多少？
• RQ2 当 $t$ 足够大时，对固定的 $k$ 和 $r$，极值函数 $\mathrm{ex}_r(n, \Theta_{k,t}^B)$ 是否以 $\Theta(n^{1+1/k})$ 的阶增长？
• RQ3 极值边数如何依赖于超图的均匀度 $r$ 与允许的路径数 $t$？
• RQ4 能否确定禁止顶点对之间存在多条 Berge 路径的超图中，极值函数的阶，从而推广偶环问题？
• RQ5 当 $t$ 较大时，极值函数对 $t$ 的依赖关系如何？与图的情形相比有何异同？

主要发现

• 对固定的 $k$ 和 $r$，存在常数 $c_{r,k,t}$，使得 $\mathrm{ex}_r(n, \Theta_{k,t}^B) \leq c_{r,k,t} n^{1+1/k}$，将 Füredi–Simonovits 界推广至超图。
• 当 $t$ 相对于 $k$ 和 $r$ 足够大时，极值函数满足 $\mathrm{ex}_r(n, \Theta_{k,t}^B) = \Omega_{k,r}(n^{1+1/k})$，表明该阶是紧的。
• 构造方法使用 $\mathbb{F}_q$ 上的随机多项式，在 $n = rN$ 个顶点上生成 $r$-均匀超图，其边数为 $\Omega(N^{1+1/k})$，且不包含 $\Theta_{k,C_{k,r}+1}^B$ 子超图。
• 在随机构造中，任意顶点对之间的 Berge 路径数量被限制在 $C_{k,r}$ 以内，该界用于证明以高概率无顶点对超过此路径数。
• 该方法依赖代数几何控制退化路径，并应用 Schwartz-Zippel 引理，确保有效路径数保持有界。
• 边数的方差被证明为 $O(\mathbb{E}[X])$，因此由切比雪夫不等式，边数集中在其期望值附近，从而保证存在边数为 $\Omega(n^{1+1/k})$ 且具有所需禁止子结构性质的超图。