[论文解读] 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-uniform超圖中$C_6^3$-因子的精確最小共度數門檻，證明了每一個足夠大的$n$-頂點3-圖，若其最小共度數至少為$n/3$，則包含一個$C_6^3$-因子——即由頂點互不相交的3-uniform鬆弛三角形$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-Uniform超圖中$C_6^3$-因子存在的精確最小共度數門檻。
• 解決Rödl與Ruciński針對3-圖中$C_6^3$-因子的精確門檻所提出的問題。
• 透過為足夠大的$n$（且$6$整除$n$）提供精確門檻$n/3$，改進Mycroft的漸近結果。
• 透過構造一個極值例子，證明門檻$n/3$為最佳可能。

提出的方法

• 證明採用基於格的吸收法，此方法為第二作者近期發展的吸收法變體。
• 使用近乎完美鋪砌引理，以覆蓋除一個小異常頂點集合外的所有頂點。
• 透過極值情形分析，處理超圖偏離典型偽隨機行為之配置。
• 吸收集合的構造依賴於頂點集合在特定度數條件下的封閉性。
• 透過細緻的度數正則性論證，確保在吸收異常集合後，剩餘頂點可被$C_6^3$複本鋪砌。
• 該方法結合全局結構控制與局部嵌入技術，以構造所需的$C_6^3$-因子。

实验结果

研究问题

• RQ1 對於足夠大且被6整除的$n$，3-Uniform超圖$H$上$C_6^3$-因子存在的精確最小共度數門檻$\delta_2(H)$為何？
• RQ2 Mycroft結果中的漸近門檻$n/3$是否緊緻？或可進一步提升為精確門檻？
• RQ3 基於格的吸收法能否有效應用於非分區超圖鋪砌問題，如$C_6^3$-因子？
• RQ4 是否存在一個共度數為$n/3 - 1$的超圖構造，其不包含$C_6^3$-因子，從而確認門檻$n/3$的最優性？
• RQ5 此結果能否推廣至$6$不整除$n$的超圖，或推廣至其他3-圖中的鬆弛環？

主要发现

• 對於足夠大且被6整除的$n$，3-Uniform超圖中$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$的集合中至少兩個頂點，因此無法形成因子。