[論文レビュー] Minimum codegree threshold for $C_6^3$-factors in $3$-uniform Hypergraphs

Wei Gao, Jie Han|arXiv (Cornell University)|Aug 21, 2015

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

ひとこと要約

この論文は、3-一様超グラフにおける $C_6^3$-ファクターの正確な最小コードグラード閾値を確立する。$n$ 頂点からなる十分に大きな 3-グラフで、最小コードグラードが $n/3$ 以上であるならば、$C_6^3$-ファクター—つまり、頂点に交わりのない $C_6^3$ のコピーからなるスパニング部分超グラフ—を含む。この結果は、Rödl と Ruciński の予想を正確に解決し、$n/3$ が最適であることを示す構成により、タイトであることが示される。

ABSTRACT

Let $C_6^3$ be the 3-uniform hypergraph on $\{1,\dots, 6\}$ with edges $123, 345,561$, which can be seen as the triangle in 3-uniform hypergraphs. For sufficiently large $n$ divisible by 6, we show that every $n$-vertex 3-uniform hypergraph $H$ with minimum codegree at least $n/3$ contains a $C_6^3$-factor, i.e., a spanning subhypergraph consisting of vertex-disjoint copies of $C_6^3$. The minimum codegree condition is best possible. This improves the asymptotical result obtained by Mycroft and answers a question of Rödl and Ruciński exactly.

研究の動機と目的

• 3-一様超グラフにおける $C_6^3$-ファクターの存在のための正確な最小コードグラード閾値を特定すること。
• Rödl と Ruciński が提起した、3-グラフにおける $C_6^3$-ファクターの正確な閾値に関する問いを解明すること。
• Mycroft の漸近的結果を改善し、十分に大きな $n$ で 6 の倍数である場合に正確な閾値 $n/3$ を提供すること。
• コードグラードが $n/3$ である閾値が最適であることを、$n/3$ 未満のコードグラードを持つ超グラフが $C_6^3$-ファクターを含まない構成により証明すること。

提案手法

• 証明は、第二著者によって開発された最近のバージョンである、ラティスに基づく吸収法を用いる。
• ほとんど完全なタイリング補題を用いて、頂点の小さな例外的集合を除くすべての頂点をカバーする。
• 超グラフが通常の擬似ランダムな振る舞いから逸脱するような状況を扱うために、極値的ケースの解析を行う。
• 特定の次数条件の下での頂点集合の閉包性質に依存して、吸収集合を構成する。
• 洗練された次数正則性の議論により、例外的集合を吸収した後、残りの頂点が $C_6^3$ のコピーでタイル張り可能であることを保証する。
• この方法は、グローバルな構造制御とローカルな埋め込み技術を組み合わせ、所望の $C_6^3$-ファクターを構成する。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな $n$（6 の倍数）で、$n$ 頂点からなる 3-一様超グラフ $H$ に対して、$\delta_2(H)$ の正確な最小コードグラード閾値は何か？ これは $C_6^3$-ファクターの存在を保証する。
• RQ2 Mycroft の結果から得られる漸近的閾値 $n/3$ はタイトか？ それとも正確な閾値に改善可能か？
• RQ3 ラティスに基づく吸収法は、$C_6^3$-ファクターのような非部品超グラフタイリング問題に効果的に適用可能か？
• RQ4 コードグラードが $n/3 - 1$ であるが $C_6^3$-ファクターを含まない超グラフの構成により、閾値 $n/3$ の最適性が確認されるか？
• RQ5 この結果は、6 の倍数でない次数の超グラフや、他のロoseサイクルへの拡張が可能か？

主な発見

• 十分に大きな $n$（6 の倍数）に対して、$n$ 頂点からなる 3-一様超グラフにおける $C_6^3$-ファクターの最小コードグラード閾値は正確に $n/3$ である。
• 閾値 $n/3$ が最適であることが、コードグラードが $n/3 - 1$ の超グラフが $C_6^3$-ファクターを含まない構成により示された。
• この結果は、Mycroft の漸近的閾値 $(1/3 + o(1))n$ を正確な閾値に改善し、Rödl と Ruciński の未解決問題を解決した。
• 証明は、$C_6^3$ のコピーの超グラフ内への埋め込みを精密に制御できるラティスに基づく吸収法を用いている。
• ほとんど完全なタイリング補題により、$o(n)$ 個の頂点を除くすべての頂点が $C_6^3$ のコピーでカバー可能であり、吸収法によりタイリングが完成する。
• 極値的超グラフの構成により、各 $C_6^3$ のコピーがサイズ $n/3 - 1$ の集合から少なくとも 2 個の頂点を含まなければならないことが示され、ファクターの不可能性が裏付けられる。