[论文解读] Turán numbers of hypergraph trees

Zoltán Füredi, Tao Jiang|arXiv (Cornell University)|May 13, 2015

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

一句话总结

本文建立了广义 $r$-均匀超图树的渐近 Turán 数，证明对于可嵌入 $2$-可约 $r$-树的 $r$-图 $\mathcal{H}$，有 $\mathrm{ex}(n,\mathcal{H}) = (\sigma - 1)\binom{n}{r-1} + o(n^{r-1})$ 成立，其中 $\sigma$ 为交叉切割数。该结果通过近极值图的结构稳定性证明，将极值超图理论的研究成果拓展至 Erd\'os-Ko-Rado 区域之外。

ABSTRACT

An $r$-graph is an $r$-uniform hypergraph tree (or $r$-tree) if its edges can be ordered as $E_1,\ldots, E_m$ such that $\forall i&gt;1 \, \exists α(i)<i></i>

研究动机与目标

• 确定可嵌入 $2$-可约 $r$-树的 $r$-图 $\mathcal{H}$ 的 Turán 数 $\mathrm{ex}(n,\mathcal{H})$。
• 将极值超图已知结果拓展至经典 Erd\'os-Ko-Rado 设置之外，尤其在 $\Theta(n^{r-1})$ 范畴内。
• 建立近极值 $r$-图的结构稳定性，从而为子族获得精确的 Turán 数结果。
• 阐明交叉切割数 $\sigma(\mathcal{H})$ 在此类超图中对 Turán 数的控制作用。

提出的方法

• 通过一种树定义边序，其中每条新边与之前边的并集恰好相交于一条父边，来定义 $r$-树。
• 将交叉切割数 $\sigma(\mathcal{H})$ 定义为与 $\mathcal{H}$ 每条边恰好相交一次的顶点集的最小大小。
• 基于近极值 $r$-图的结构，使用稳定性论证，限制避开固定 $(\sigma-1)$-集的边数。
• 将超图分层分解为 $\mathcal{F}_A$、$\mathcal{B}$ 和 $\mathcal{C}$，其中 $\mathcal{B}$ 由与固定 $r$-集至多共享一个顶点的边组成。
• 使用阴影算子 $\partial_{r-1}$ 和 $\partial_{r-2}$，将 $\mathcal{B}$ 中的边数与 $r$-均匀及 $(r-1)$-均匀超图关联，利用已知的极值界。
• 证明 $\mathcal{H}_w$（在高阶顶点 $w$ 处的星形组件）无法嵌入 $\mathcal{C}$，从而导出 $|\mathcal{C}|$ 的递归界。

实验结果

研究问题

• RQ1 对于可嵌入 $2$-可约 $r$-树的 $r$-图 $\mathcal{H}$，其渐近 Turán 数 $\mathrm{ex}(n,\mathcal{H})$ 是什么？
• RQ2 交叉切割数 $\sigma(\mathcal{H})$ 如何决定此类超图中的极值边数？
• RQ3 能否建立近极值 $r$-图的结构稳定性，以推导出子族的精确 Turán 数？
• RQ4 对 $2$-可约 $r$-树的 Turán 数与 Kalai 猜想及 Erd\'os-Ko-Rado 定理相比如何？

主要发现

• 对于所有交叉切割数为 $\sigma$ 的可嵌入 $2$-可约 $r$-树的 $r$-图 $\mathcal{H}$，其 Turán 数满足 $\mathrm{ex}(n,\mathcal{H}) = (\sigma - 1)\binom{n}{r-1} + o(n^{r-1})$。
• 达到该界限的极值 $r$-图具有结构稳定性，即它们接近于在 $\sigma - 1$ 个顶点上的完全 $(r-1)$-均匀超图的爆破。
• 通过将边集分解为 $\mathcal{F}_A$、$\mathcal{B}$ 和 $\mathcal{C}$，建立了不等式 $\mathrm{ex}(n,\mathcal{H}) \leq \binom{n}{r} - \binom{n - \sigma + 1}{r}$，其中 $\mathcal{C}$ 避免星形组件 $\mathcal{H}_w$。
• 该结果推广了先前关于可约及可嵌入超图树的研究成果，尤其适用于 $r \geq 4$。
• 利用近极值图的结构稳定性，为某些子族导出了精确的 Turán 数。
• 本文表明，$2$-可约 $r$-树位于一个由交叉切割数主导 Turán 数的区域，而非顶点数，这与 Kalai 猜想形成对比。