[论文解读] Exact solution of the hypergraph Tur\'an problem for $k$-uniform linear paths

Zoltán Füredi, Tao Jiang+1 more|arXiv (Cornell University)|Aug 5, 2011

Limits and Structures in Graph Theory参考文献 11被引用 7

一句话总结

本文使用 delta-系统方法，为 $k$-均匀线性路径 $P^{(k)}_\ell$ 提供了超图 Turán 问题的精确解。对于 $k \geq 4$ 且足够大的 $n$，本文精确确定了 $\text{ex}_k(n, P^{(k)}_{2t+1})$ 和 $\text{ex}_k(n, P^{(k)}_{2t+2})$，表明极值族由所有与一个固定 $t$ 个顶点集合相交的 $k$-集合构成，或包含额外二项式项的微小变体。结果建立了稳定性，并可推广至相关极值超图问题。

ABSTRACT

A $k$-uniform linear path of length $\ell$, denoted by $P^{(k)}_\ell$, is a family of $k$-sets $\{F_1,..., F_\ell\}$ such that $|F_i\cap F_{i+1}|=1$ for each $i$ and $F_i\cap F_j=\emptyset$ whenever $|i-j|>1$. Given a $k$-uniform hypergraph $H$ and a positive integer $n$, the {\it $k$-uniform hypergraph Tur\'an number} of $H$, denoted by $\ex_k(n,H)$, is the maximum number of edges in a $k$-uniform hypergraph $\cF$ on $n$ vertices that does not contain $H$ as a subhypergraph. With an intensive use of the delta-system method, we determine $\ex_k(n,P^{(k)}_\ell)$ exactly for all fixed $\ell\geq 1, k\geq 4$, and sufficiently large $n$. We show that $$\ex_k(n,P^{(k)}_{2t+1})={n-1\choose k-1}+{n-2\choose k-1}+...+{n-t\choose k-1}.$$ The only extremal family consists of all the $k$-sets in $[n]$ that meet some fixed set of $t$ vertices. We also show that $$\ex(n, P^{(k)}_{2t+2})={n-1\choose k-1}+{n-2\choose k-1}+...+{n-t\choose k-1}+{n-t-2\choose k-2},$$ and describe the unique extremal family. Stability results on these bounds and some related results are also established.

研究动机与目标

• 确定 $k$-均匀线性路径 $P^{(k)}_\ell$ 的精确 Turán 数 $\text{ex}_k(n, P^{(k)}_\ell)$。
• 刻画在奇数长度和偶数长度路径下实现 Turán 数的唯一极值族结构。
• 在小扰动下，建立这些极值族的稳定性结果。
• 将 delta-系统方法扩展至解决一类更广泛的超图 Turán 问题，而不仅限于特定的小型超图。

提出的方法

• 应用 delta-系统方法分析 $k$-集合的相交族，并控制极值超图中的交集。
• 使用概率方法和期望论证，界定避免 $P^{(k)}_\ell$ 的超图中边数的上界。
• 构建辅助核图以建模边交集，并模拟完全二部图 $K_{t+1,q}$ 的爆破结构。
• 反证法证明：若一个超图避免 $P^{(k)}_\ell$，则必须包含 $K_{t+1,q}$ 的爆破结构，除非该族具有特定结构。
• 利用极值集合论和打包定理（如 Rödl 关于近乎最优打包的定理）推导上下界。
• 通过超图的结构分解与已知极值构型比较，进行稳定性分析。

实验结果

研究问题

• RQ1 对于 $k$-均匀线性路径的奇数长度 $\ell = 2t+1$，$\text{ex}_k(n, P^{(k)}_{2t+1})$ 的精确值是什么？
• RQ2 与奇数长度路径相比，偶数长度路径 $\ell = 2t+2$ 的极值族结构如何变化？
• RQ3 delta-系统方法能否扩展至求解无限族稀疏超图的精确 Turán 问题？
• RQ4 在小边扰动下，避免 $P^{(k)}_\ell$ 的极值族的稳定性行为如何？
• RQ5 线性路径的 Turán 数与其它超图爆破结构（如 $[K_{t+1,q}]^{(k)}$）相比如何？

主要发现

• 对于 $k \geq 4$ 且足够大的 $n$，有 $\text{ex}_k(n, P^{(k)}_{2t+1}) = \sum_{i=1}^t \binom{n-i}{k-1}$，且唯一极值族由所有与固定 $t$ 个顶点集合相交的 $k$-集合构成。
• 对于偶数长度路径，有 $\text{ex}_k(n, P^{(k)}_{2t+2}) = \sum_{i=1}^t \binom{n-i}{k-1} + \binom{n-t-2}{k-2}$，且唯一极值族包括所有与固定 $t$-集合相交的 $k$-集合，以及所有在剩余 $n-t-2$ 个顶点中包含固定 $(k-2)$-集合的 $k$-集合。
• 极值族具有稳定性：任何接近极值大小的超图在结构上必须与已知的极值构造相似。
• 该方法给出了一个通用上界：$\text{ex}_k(n, \{P^{(k)}_\ell, [K_{t+1,q}]^{(k)}\}) \leq t\binom{n-1}{k-1} + O(n^{k-2 + \frac{2}{k-1}})$，对任意 $\ell$ 和 $q$ 成立。
• 结果可推广至线性树的 Turán 问题，其界依赖于参数 $\sigma(T)$，并提示类似方法可能适用于其它图的 $k$-爆破结构。
• 本文证明了 $P^{(k)}_\ell$ 的精确 Turán 数在 $k\ell = O(\log \log n)$ 时成立，并猜想其可扩展至更大的 $\ell$，可能达 $O(n)$。