[论文解读] Tur\'an Numbers for Forests of Paths in Hypergraphs

Neal Bushaw, Nathan Kettle|arXiv (Cornell University)|Mar 20, 2013

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

一句话总结

本文针对足够大的 n，精确确定了 r-均匀超图中松散路径与线性路径森林的 Turán 数。通过将先前关于单条路径的研究成果扩展至多条不相交路径的森林，本文利用结构化的极值超图与双重计数论证，精确确定了极值数，证明了极值构造的最优性，并刻画了在不包含指定长度的 k 条不相交路径时的最大边数。

ABSTRACT

The Tur\\'an number of an r-uniform hypergraph H is the maximum number of edges in any r-graph on n vertices which does not contain H as a subgraph. Let P_l^(r) denote the family of r-uniform loose paths on l edges, F(k,l) denote the family of hypergraphs consisting of k disjoint paths from P_l^(r), and P'_l^(r) denote an r-uniform linear path on l edges. We determine precisely ex_r(n;F(k,l)) and ex_r(n;k*P'_l^(r)), as well as the Tur\\'an numbers for forests of paths of differing lengths (whether these paths are loose or linear) when n is appropriately large dependent on k,l,r, for r>=3. Our results build on recent results of F\\"uredi, Jiang, and Seiver who determined the extremal numbers for individual paths, and provide more hypergraphs whose Turan numbers are exactly determined.

研究动机与目标

• 将 Füredi、Jiang 和 Seiver 关于单条路径的结果推广至 r-均匀超图中多条不相交路径的森林。
• 在 n 足够大时，精确确定 r-均匀超图中 k 条不相交松散路径与 k 条不相交线性路径的 Turán 数。
• 刻画在不包含禁止路径森林的前提下实现最大边数的极值超图结构。
• 将极值图论中关于单条路径的结果推广至超图中整个路径森林族。

提出的方法

• 构造极值超图，其中所有边共享一个大小为 t 的顶点集合，并额外添加与该集合不相交的边，以在避免 k 条不相交路径的前提下最大化边数。
• 使用双重计数论证来限制潜在路径构造的数量，重点关注可作为路径起点或终点的顶点。
• 定义并分析集合 A_R、B 和 U，以追踪共同邻居与共享边结构，这些结构可促成路径的形成。
• 应用指示函数与渐近计数方法，证明若边数过多，则必然形成 k 条不相交路径，从而证明极值性。
• 通过调整固定顶点集合与边分布，将极值构造推广至路径长度不同的路径森林。
• 利用已知的线性路径与环的极值结构，推断其结构相似性，并将结果推广至路径森林。

实验结果

研究问题

• RQ1 当 n 足够大时，r-均匀超图中 k 条不相交松散路径的 Turán 数确切是多少？
• RQ2 当禁止子图从松散路径变为 k 条不相交线性路径森林时，极值数如何变化？
• RQ3 能否将单条路径的极值超图结构推广至长度各异的路径森林？
• RQ4 避免 k 个给定路径族的不相交副本时，极值超图具有哪些结构特性？
• RQ5 是否存在一类广义超图，其极值数可通过类似构造精确确定？

主要发现

• 对于足够大的 n，k 条每条含 ℓ 条边的不相交松散路径的 Turán 数 ex_r(n; F(k,l)) 被精确确定，其极值超图由包含一个固定 t 个顶点集合的所有边，加上额外不相交的边构成。
• k 条每条含 ℓ 条边的不相交线性路径的极值数 ex_r(n; k·L_ℓ^(r)) 被精确确定，其极值构造为所有与固定 t 元顶点集相交的边，外加避开该集合的额外边。
• 对于包含混合长度（松散或线性）路径的路径森林，当 n 足够大时，其极值数被精确确定，采用基于共享顶点集的广义极值构造。
• 实现最大边数的极值超图在同构意义下唯一，其特征为所有边共享一个大小为 t 的核心顶点集合。
• 结果表明，路径森林的极值函数渐近紧致，与通过双重计数和共同邻居分析推导出的上界完全一致。
• 本文证明，路径森林的极值结构与单条路径的极值结构一致，确认了在禁止子图族中结构的一致性。