[论文解读] Exact minimum codegree threshold for $K^- _4$-factors

Jie Han, Allan Lo+2 more|arXiv (Cornell University)|Sep 8, 2015

Limits and Structures in Graph Theory参考文献 14被引用 3

一句话总结

该论文通过利用吸收法和Keevash与Mycroft关于几乎完美匹配的结果，解决了Lo和Markström的猜想，确定了3-均匀超图中$K^{-}_{4}$-因子的精确最小共度阈值。对于足够大的$n \in 4\mathbb{N}$，每个在$n$个顶点上且最小共度至少为$n/2 - 1$的3-均匀超图都包含一个$K^{-}_{4}$-因子，且该界限是紧的。

ABSTRACT

Given hypergraphs $F$ and $H$, an $F$-factor in $H$ is a set of vertex-disjoint copies of $F$ which cover all the vertices in $H$. Let $K^- _4$ denote the $3$-uniform hypergraph with $4$ vertices and $3$ edges. We show that for sufficiently large $n\in 4 \mathbb N$, every $3$-uniform hypergraph $H$ on $n$ vertices with minimum codegree at least $n/2-1$ contains a $K^- _4$-factor. Our bound on the minimum codegree here is best-possible. It resolves a conjecture of Lo and Markström for large hypergraphs, who earlier proved an asymptotically exact version of this result. Our proof makes use of the absorbing method as well as a result of Keevash and Mycroft concerning almost perfect matchings in hypergraphs.

研究动机与目标

• 确定在足够大的$n \in 4\mathbb{N}$时，保证3-均匀超图中存在$K^{-}_{4}$-因子的精确最小共度阈值。
• 解决Lo和Markström的猜想，即对于足够大的$n$，有$\delta(n, K^{-}_{4}) = n/2 - 1$。
• 通过构造达到该共度但不包含$K^{-}_{4}$-因子的极值超图，证明界限$n/2 - 1$的紧致性。

提出的方法

• 采用吸收法处理超图的整体结构，确保在移除一个小型吸收集合后，仍能完成大规模匹配。
• 应用Keevash与Mycroft关于超图中几乎完美匹配的结果，在非极值情形下构造一个近乎完美的$K^{-}_{4}$-铺砌。
• 将顶点集划分为两部分$A$和$B$，以分析超图的结构，并识别极值与非极值配置。
• 结合度条件与结构分析，验证每个顶点相对于$K^{-}_{4}$的爆破结构都是‘良好’的，从而实现最终的铺砌。
• 定义并分析$K^{-}_{4}$副本的类型（例如，类型$(1,3)$），以确保可选择互不相交的铺砌组件而无重叠。
• 通过基于‘良好’顶点性质的局部正则性论证，证明剩余顶点所诱导的最终超图具有$K^{-}_{4}$-因子。

实验结果

研究问题

• RQ1 对于足够大的$n \in 4\mathbb{N}$，保证3-均匀超图中存在$K^{-}_{4}$-因子的精确最小共度阈值是什么？
• RQ2 最小共度的界限$n/2 - 1$是否紧致，还是可以进一步改进？
• RQ3 吸收法能否与几乎完美匹配的结果有效结合，以解决超图中精确铺砌阈值的问题？

主要发现

• 对于所有足够大的$n \in 4\mathbb{N}$，3-均匀超图中$K^{-}_{4}$-因子的精确最小共度阈值为$n/2 - 1$。
• 通过极值构造证明了界限$n/2 - 1$是最佳可能的：当共度为$n/2 - 2$时，存在不包含$K^{-}_{4}$-因子的超图。
• 证明表明，对于所有满足$n \in 4\mathbb{N}$且$n \geq n_0$的3-均匀超图$H$，若其最小共度$\delta_2(H) \geq n/2 - 1$，则必然包含一个$K^{-}_{4}$-因子。
• 吸收集合的构造确保即使在移除少量顶点后，仍可完成$K^{-}_{4}$-因子的构建。
• 该方法通过区分结构配置并应用针对性的铺砌论证，成功处理了极值与非极值情形。
• 该结果证实了Lo和Markström对大超图的猜想，提供了此前仅知渐近界情况下的精确阈值。