[論文レビュー] 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

ひとこと要約

この論文は、LoとMarkströmの予想を解決し、3部超グラフにおける$K^{-}_{4}$-ファクターの正確な最小コードグラード閾値を特定した。吸収法とKeevashおよびMycroftによるほぼ完全マッチングに関する結果を用いて、十分に大きな$n \in 4\mathbb{N}$に対して、$n$個の頂点を持つ3部超グラフで最小コードグラードが$n/2 - 1$以上である場合、$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$であるという予想を解決すること。
• 境界$n/2 - 1$がタイトであることを示すために、このコードグラードに達するが$K^{-}_{4}$-ファクターを含まない極値超グラフの構成を行うこと。

提案手法

• 超グラフのグローバル構造を扱うために吸収法を用い、小さな吸収集合を除去した後でも大きなマッチングを完成させられることを保証する。
• 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 吸収法は、ほぼ完全マッチングに関する結果と効果的に組み合わせられ、超グラフにおける正確なタイリング閾値を解消できるか？

主な発見

• 3部超グラフにおける$K^{-}_{4}$-ファクターの正確な最小コードグラード閾値は、すべての十分に大きな$n \in 4\mathbb{N}$に対して$n/2 - 1$である。
• 境界$n/2 - 1$は最良であることが示され、コードグラードが$n/2 - 2$であるが$K^{-}_{4}$-ファクターを含まない超グラフの極値構成によって裏付けられている。
• 証明により、$n$個の頂点を持つ3部超グラフで$\delta_2(H) \geq n/2 - 1$かつ$n \in 4\mathbb{N}$、$n \geq n_0$を満たす場合、$K^{-}_{4}$-ファクターを含むことが保証される。
• 吸収集合の構成により、少数の頂点を除去した後でも$K^{-}_{4}$-ファクターを完成させられることを保証する。
• 構造的配置を区別し、適切なタイリング議論を適用することで、極値的・非極値的両ケースを効果的に処理した。
• 結果として、LoとMarkströmの予想が大きな超グラフに対して確認され、以前は漸近的境界しか得られていなかった部分で、鋭い閾値が得られた。