[論文レビュー] $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)$の漸近的値を特定し、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)$の境界を提供する。この手法は、$R\text{{"{o}}}$dl, Ruci{\'{e}}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$-因子へ拡張するための一般化された$(F,i,\eta)$-近接性および$(F,i,\eta)$-閉性の概念を導入する。
• 吸収技法を適応し、$\varepsilon n$個の頂点を除くすべての頂点をカバーするほぼ$F$-因子を見つける問題に、$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 Pikhurkoが提起した問い、$t^3_2(n,K_4^3) = (3/4 + o(1))n$は正しいか？
• RQ5 $(k \geq 6$および$t$が十分に大きいときの)$k$-一様超グラフにおける漸近的閾値$t^k_{k-1}(n,K_t^k)$は何か？

主な発見

• $m \geq 1$のすべての$m$に対して、$t^3_1(n,K_3^3(m))$の漸近的値が特定され、3-グラフにおける$F$-因子に関する既知の結果が拡張される。
• $t^3_2(n,K_4^3) = (3/4 + o(1))n$であることが示され、Pikhurkoの問いが解決される。
• $k = 3$および$t > k = 3$、$\gamma > 0$のとき、十分大きな$n$に対して$t|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$のとき、十分大きな$n$に対して$t|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$-因子問題の漸近的閾値の決定が可能になる。