[论文解读] $F$-factors in hypergraphs via absorption

Allan Lo, Klas Markström|arXiv (Cornell University)|May 17, 2011

Limits and Structures in Graph Theory参考文献 15被引用 21

一句话总结

该论文将吸收法推广至 $k$-均匀超图中的 $F$-因子，建立了 $k$-图中 $F$-因子的渐近最小 $l$-度阈值。它渐近地确定了 $t^3_1(n,K_3^3(m))$ 和 $t^3_2(n,K_t^3)$，并证明了 $t^3_2(n,K_4^3) = (3/4 + o(1))n$，解决了 Pikhurko 提出的问题，同时为 $k \geq 6$ 且 $t \geq (3+\sqrt{5})k/2$ 的情况提供了 $t^k_{k-1}(n,K_t^k)$ 的界。该方法将 R"{o}dl、Ruci{\i}nski 和 Szemer{\'e}di 的吸收技术扩展至一般 $F$-因子，使得若干超图中 $F$-因子问题的精确阈值得以确定。

ABSTRACT

Given integers $ n \ge k >l \ge 1 $ and a $k$-graph $F$ with $|V(F)|$ divisible by $n$, define $t_l^k(n,F)$ to be the smallest integer $d$ such that every $k$-graph $H$ of order $n$ with minimum $l$-degree $δ_l(H) \ge d $ contains an $F$-factor. A classical theorem of Hajnal and Szemerédi implies that $t^2_1(n,K_t) = (1-1/t)n$ for integers $t$. For $k \ge 3$, $t^k_{k-1}(n,K_k^k)$ (the $δ_{k-1}(H)$ threshold for perfect matchings) has been determined by Kühn and Osthus (asymptotically) and Rödl, Ruciński and Szemerédi (exactly) for large $n$. In this paper, we generalise the absorption technique of Rödl, Ruciński and Szemerédi to $F$-factors. We determine the asymptotic values of $t^k_1(n,K_k^k(m))$ for $k = 3,4$ and $m \ge 1$. In addition, we show that for $t>k = 3$ and $γ>0$, $ t^3_{2}(n,K_t^3) \le (1- \frac{2}{t^2-3t+4} + γ) n$ provided $n$ is large and $t | n$. We also bound $t^3_{2}(n,K_t^3)$ from below. In particular, we deduce that $t^3_2(n,K_4^3) = (3/4+o(1))n$ answering a question of Pikhurko. In addition, we prove that $t^k_{k-1}(n,K_t^k) \le (1- \binom{t-1}{k-1}^{-1} + γ)n$ for $γ>0$, $k \ge 6$ and $t \ge (3+ \sqrt5)k/2$ provided $n$ is large and $t | n$.

研究动机与目标

• 将吸收技术从完美匹配推广至 $k$-均匀超图中的一般 $F$-因子。
• 确定当 $F$ 为完全 $k$-图 $K_t^k$ 时，$k$-图中 $F$-因子的渐近最小 $l$-度阈值 $t^k_l(n,F)$。
• 解决 Pikhurko 关于 $t^3_2(n,K_4^3)$ 精确值的问题，证明其为 $ (3/4 + o(1))n $。
• 在 $k \geq 6$ 且 $t \geq (3+\sqrt{5})k/2$ 的情况下，为 $t^k_{k-1}(n,K_t^k)$ 提供上下界，确立渐近阈值。

提出的方法

• 引入了 $(F,i,\eta)$-接近性和 $(F,i,\eta)$-闭包的广义概念，以将吸收框架扩展至 $F$-因子。
• 调整吸收技术，将寻找 $F$-因子的问题转化为寻找覆盖除 $\varepsilon n$ 个顶点外的几乎所有 $F$-因子的问题。
• 利用概率和极值组合论证，表明可通过有界数量的顶点吸收线性数量的 $F$-因子。
• 通过 $K_{t-1}^k$-拷贝构造桥梁，生成部分 $F$-因子的多个扩展，从而实现吸收。
• 基于 $K_{t-1}^k$-拷贝数量及其关联集合的计数论证，确保吸收所需的充分连通性。
• 利用正规化方法和稳定性论证，控制高最小 $l$-度超图的结构。

实验结果

研究问题

• RQ1 对于 $m \geq 1$，$t^3_1(n,K_3^3(m))$ 的渐近值是什么？
• RQ2 在 3-均匀超图中，$K_t^3$-因子的最小 2-度阈值 $t^3_2(n,K_t^3)$ 是多少，其随 $t$ 如何变化？
• RQ3 吸收法能否超越完美匹配，推广至任意 $F$ 的 $k$-图中的 $F$-因子？
• RQ4 是否 $t^3_2(n,K_4^3) = (3/4 + o(1))n$，从而解决 Pikhurko 提出的问题？
• RQ5 当 $k \geq 6$ 且 $t$ 足够大时，$k$-均匀超图中 $t^k_{k-1}(n,K_t^k)$ 的渐近阈值是什么？

主要发现

• 对所有 $m \geq 1$，确定了 $t^3_1(n,K_3^3(m))$ 的渐近值，扩展了关于 3-图中 $F$-因子的已知结果。
• 证明了 $t^3_2(n,K_4^3) = (3/4 + o(1))n$，解决了 Pikhurko 的问题。
• 对于 $t > k = 3$ 且 $\gamma > 0$，当 $t|n$ 且 $n$ 足够大时，有 $t^3_2(n,K_t^3) \leq \left(1 - \frac{2}{t^2 - 3t + 4} + \gamma\right)n$，提供了紧致的上界。
• 对于 $k \geq 6$ 且 $t \geq (3+\sqrt{5})k/2$，当 $t|n$ 且 $n$ 足够大时，有 $t^k_{k-1}(n,K_t^k) \leq \left(1 - \binom{t-1}{k-1}^{-1} + \gamma\right)n$，确立了通用的渐近阈值。
• 为 $t^3_2(n,K_t^3)$ 提供了下界，证实了在 $t=4$ 情况下上界的紧致性。
• 成功地将吸收法推广至 $k$-图中的 $F$-因子，使得多个 $F$-因子问题的渐近阈值得以确定。