[论文解读] Turan Problems and Shadows I: Paths and Cycles

Alexandr Kostochka, Dhruv Mubayi+1 more|arXiv (Cornell University)|Aug 19, 2013

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

一句话总结

本文解决了当 $r \geq 3$，$k \geq 4$，且 $(k,r) \neq (4,3)$ 时，$r$-均匀的 $k$-路径和 $k$-环的图论极值问题，为避免这些结构的 $n$-顶点 $r$-图提供了边数的精确渐近公式。该研究提出了一种新颖的从 $r$-图的阴影中进行随机抽样的技术，克服了先前工作中使用的 $\Delta$-系统方法的局限性，并对大 $n$ 时所有极值超图进行了刻画。关键结果为 $\mathrm{ex}_r(n,P_k) = \binom{n}{r} - \binom{n - \lfloor (k-1)/2 \rfloor}{r} + \delta_k$，其中当 $k$ 为奇数时 $\delta_k = 0$，当 $k$ 为偶数时 $\delta_k = \binom{n - \lfloor (k-1)/2 \rfloor - 2}{r-2}$。

ABSTRACT

A $k$-path is a hypergraph P_k = e_1,e_2,...,e_k such that |e_i \cap e_j| = 1 if |j - i| = 1 and e_i \cap e_j is empty otherwise. A k-cycle is a hypergraph C_k = e_1,e_2,.. ,e_k obtained from a (k-1)-path e_1,e_2,...,e_{k-1} by adding an edge e_k that shares one vertex with e_1, another vertex with e_{k-1} and is disjoint from the other edges. Let ex_r(n,G) be the maximum number of edges in an r-graph with n vertices not containing a given r-graph G. We determine ex_r(n, P_k) and ex_r(n, C_k) exactly for all k \ge 4 and r \ge 3 and $n$ sufficiently large and also characterize the extremal examples. The case k = 3 was settled by Frankl and Füredi. This work is the next step in a long line of research beginning with conjectures of Erd\H os and Sós from the early 1970's. In particular, we extend the work (and settle a recent conjecture) of Füredi, Jiang and Seiver who solved this problem for P_k when r \ge 4 and of Füredi and Jiang who solved it for C_k when r \ge 5. They used the delta system method, while we use a novel approach which involves random sampling from the shadow of an r-graph.

研究动机与目标

• 确定当 $r \geq 3$，$k \geq 4$，且 $n$ 足够大时，$r$-均匀 $k$-路径和 $k$-环的精确图论数 $\mathrm{ex}_r(n, G)$。
• 解决 Füredi、Jiang 和 Seiver 关于 $3$-均匀超图中 $k$-路径极值函数的猜想。
• 将先前使用 $\Delta$-系统方法的研究结果扩展到 $r = 3$ 和 $r = 4$ 的情形，这些情形此前尚未解决。
• 开发并应用一种基于从 $r$-图的阴影中进行随机抽样的新方法，以分析极值结构。

提出的方法

• 提出一种基于从 $r$-图的阴影中进行随机抽样的新颖技术，以分析避免 $k$-路径和 $k$-环的极值超图。
• 利用霍尔型组合引理推导阴影的结构性质，从而约束原始 $r$-图的结构。
• 基于与固定集合 $D$ 的交集大小，定义并分析阴影层级 $B^r_i$，并使用双重计数方法来界定边数。
• 通过证明在极值超图中，任意两条边相对于核心集合 $D$ 不能同时具有小交集和非平凡对称差，来强化标准极值条件，以避免形成禁止的路径或环。
• 应用稳定性论证，表明任何接近极值边数的超图在结构上必须接近已知的极值构造。
• 对特殊情况 $(k,r) = (4,3)$ 单独处理，因其结构独特，需采用定制化的计数与交集论证。

实验结果

研究问题

• RQ1 当 $r = 3$ 或 $r = 4$ 且 $k \geq 4$ 时，$r$-均匀 $k$-路径的精确图论数 $\mathrm{ex}_r(n, P_k)$ 是什么？
• RQ2 避免 $k$-路径和 $k$-环的 $r$-图的极值结构如何依赖于 $k$ 的奇偶性？
• RQ3 能否绕过 $\Delta$-系统方法，以解决 $3$-和 $4$-均匀超图中 $k$-路径和 $k$-环的极值问题？
• RQ4 当 $k$ 为偶数且 $r = 3$ 时，避免 $k$-环的极值 $r$-图的结构是什么？
• RQ5 从 $r$-图的阴影中进行随机抽样如何导致关于原始超图结构的结论？

主要发现

• 当 $r \geq 3$，$k \geq 4$，且 $n$ 足够大时，$\mathrm{ex}_r(n, P_k) = \binom{n}{r} - \binom{n - \lfloor (k-1)/2 \rfloor}{r} + \delta_k$，其中当 $k$ 为奇数时 $\delta_k = 0$，当 $k$ 为偶数时 $\delta_k = \binom{n - \lfloor (k-1)/2 \rfloor - 2}{r-2}$。
• $k$-路径的极值 $r$-图被唯一刻画：当 $k$ 为奇数时为 $S_L^r(n)$，当 $k$ 为偶数时为 $S_L^r(n) \cup F$，其中 $F$ 是在 $n - \lfloor (k-1)/2 \rfloor$ 个顶点上关于 $\{P_2, 2P_1\}$ 的极值图。
• 对于 $k$-环，与 $k$-路径相同的极值公式成立，但当 $(k,r) = (4,3)$ 时例外，此时极值数为 $\binom{n}{3} - \binom{n-1}{3} + \lfloor (n-1)/3 \rfloor$，且极值结构唯一。
• 情况 $(k,r) = (4,3)$ 被单独解决，由于在 $3$-均匀超图中不存在 $P_2$-自由的极值构造，因此需要不同的论证。
• 作者建立了关于最小 $k$-环的稳定性结果，表明任何接近极值边数的 $r$-图在结构上必须接近极值构造。
• 从 $r$-图的阴影中进行随机抽样的新方法成功克服了 $\Delta$-系统方法的局限性，使得此前未解决的 $r = 3$ 和 $r = 4$ 的情形得以解决。