[论文解读] Tight paths in convex geometric hypergraphs

Zoltán F uredi, Tao Jiang+3 more|arXiv (Cornell University)|Feb 21, 2020

Limits and Structures in Graph Theory参考文献 10被引用 16

一句话总结

该论文通过引入基于凸几何超图的新方法，首次建立了均匀超图中紧致路径的Turán数的非平凡上界。研究证明，不含紧致k-路径的n阶r-超图的极值边数在渐近意义上被界定为：当r为偶数时为$\frac{k-1}{2}\binom{n}{r-1}$，当r为奇数时为$\frac{1}{2}\left(k + \left\lfloor\frac{k-1}{r}\right\rfloor\right)\binom{n}{r-1}$，解决了极值组合学中长期悬而未决的问题，并推广了凸几何设定下关于路径与匹配的经典结果。

ABSTRACT

In this paper, we prove a theorem on tight paths in convex geometric hypergraphs, which is asymptotically sharp in infinitely many cases. Our geometric theorem is a common generalization of early results of Hopf and Pannwitz [12], Sutherland [19], Kupitz and Perles [16] for convex geometric graphs, as well as the classical Erdős-Gallai Theorem [6] for graphs. As a consequence, we obtain the first substantial improvement on the Turán problem for tight paths in uniform hypergraphs.

研究动机与目标

• 解决均匀超图中紧致路径的Turán问题，尽管相关极值问题已有显著进展，但该问题已悬而未决数十年。
• 将凸几何图中关于路径与匹配的经典极值结果（如Erdős-Gallai、Hopf-Pannwitz与Perles的结果）推广至凸几何超图的设定。
• 为分析凸几何超图中的极值问题（特别是Zigzag路径及其边极值函数）开发一种新方法。
• 为所有k与r提供紧致k-路径在r-均匀超图中Turán数$\mathrm{ex}(n, P_k^r)$的首个渐近紧致上界。
• 证明凸几何超图中极值函数的极限存在，并在关键情形（特别是当$k \equiv 1 \pmod{r}$时）确定其值。

提出的方法

• 通过循环顶点排序与基于线段的边分解，引入凸几何超图的新极值框架，以分析路径包含性。
• 将凸几何超图中的Zigzag路径定义为在凸包上交替顺序排列的顶点序列，将2-均匀的k-Zigzag推广至更高均匀度。
• 使用提升构造：给定一个超图$H$，通过与一组新顶点$X$的乘积构造新超图$H^+$，以保持路径结构与边数不变。
• 应用关键不等式：对于$H^+$中的$\ell$-路径，有$|H^+| \leq \frac{\ell - 1}{2} |\partial H^+|$，该不等式源自凸几何超图的极值界。
• 通过归纳法与顶点度平均化，利用其链超图$H_v$来界定$H$中的边数，从而将问题简化为低均匀度情形。
• 通过划分顶点集与设计Steiner系统，构造极值例子，以证明在特定情形（特别是当$k \equiv 1 \pmod{r}$时）边界的紧致性。

实验结果

研究问题

• RQ1 在避免紧致k-路径的n阶r-均匀超图中，其边数的渐近极值数是多少？
• RQ2 经典Erdős-Gallai定理在图中关于路径的结果能否推广至均匀超图中的紧致路径？
• RQ3 在无k-Zigzag路径的凸几何r-图中，最多可有多少条边？其与紧致路径的Turán数有何关联？
• RQ4 是否存在与$\mathrm{ex}(n, P_k^r)$上界相匹配的极值构造？在何种情况下这些构造是紧致的？
• RQ5 凸几何超图的极值函数如何渐近表现？极限$z(k,r)$与$p(k,r)$是否存在？

主要发现

• 该论文首次为所有$k \geq 1$与$r \geq 2$建立了$\mathrm{ex}(n, P_k^r)$的非平凡上界，且对所有$n$成立，其表达式依r的奇偶性而异。
• 当r为偶数时，上界为$\mathrm{ex}(n, P_k^r) \leq \frac{k-1}{2} \binom{n}{r-1}$，且在$k \equiv 1 \pmod{r}$时渐近紧致。
• 当r为奇数时，上界为$\mathrm{ex}(n, P_k^r) \leq \frac{1}{2}\left(k + \left\lfloor\frac{k-1}{r}\right\rfloor\right) \binom{n}{r-1}$，且在无穷多情形下渐近紧致。
• 作者证明了$\lim_{n \to \infty} \frac{\mathrm{ex}(n, P_k^r)}{\binom{n}{r-1}}$存在，且当r为偶数且$k \equiv 1 \pmod{r}$时，其值等于$\frac{k-1}{2}$。
• 通过引入$\sqrt{a} + \sqrt{b}$项的改进上界，对奇数r的情形进行了优化，得到$\mathrm{ex}(n, P_k^r) \leq \frac{1}{r}(\sqrt{a} + \sqrt{b})^2 \binom{n}{r-1}$，其中$a = \lfloor(k-1)/r\rfloor$，$b = (r-1)(k-1-a)/2$。
• 论文构造了不含紧致k-路径且边数为$\Theta(n^{r-1})$的极值r-图，证明当$k \equiv 1 \pmod{r}$且r为偶数时，边界渐近紧致。