[論文レビュー] Structure and properties of large intersecting families

Andrey Kupavskii|arXiv (Cornell University)|Oct 1, 2018

Limits and Structures in Graph Theory参考文献 27被引用数 6

ひとこと要約

本稿は、星型からの距離（多様性）と集合族のサイズの間の正確なトレードオフを定量化することにより、$k$-集合の大きな交差族に対する決定的な安定性結果を確立する。クルスカル–カトーナの定理や洗練された二部グラフスイッチングのテクニックを用いて、$n > Ck$ のとき、被覆数が3以上の最大の交差族は、$
\mathcal{C}_3(n,k)$ に同型であることを証明し、極値集合論における長年の問題を解決するとともに、フランクルの定理を有界な多様性およびクロス交差族へと拡張する。

ABSTRACT

We say that a family of $k$-subsets of an $n$-element set is intersecting if any two of its sets intersect. In this paper we study properties and structure of large intersecting families. We prove a conclusive version of Frankl's theorem on intersecting families with bounded maximal degree. This theorem, along with its generalizations to cross-intersecting families, strengthens the results obtained by Frankl, Frankl and Tokushige, Kupavskii and Zakharov and others. We study the structure of large intersecting families, obtaining some very general structural theorems which extend the results of Han and Kohayakawa, as well as Kostochka and Mubayi. We also obtain an extension of some classic problems on intersecting families introduced in the 70s. We extend an old result of Frankl, in which he determined the size and structure of the largest intersecting family of $k$-sets with covering number $3$ for $n>n_0(k)$. We obtain the same result for $n>Ck$, where $C$ is an absolute constant. Finally, we obtain a similar extension for the following problem of Erd\H os, Rothschild and Szémeredi: what is the largest intersecting family, in which no element is contained in more than a $c$-proportion of the sets, for different values of $c$.

研究の動機と目的

• $n > Ck$ のとき、被覆数が3以上の $k$-集合の交差族の最大サイズを正確に特定すること。ここで $C$ は絶対定数である。
• フランクルの定理の、最大次数が有界な交差族に対する決定的バージョンを確立し、フランクル、フランクル–トクシジエ、クパフスキー–ザハロフの結果を拡張すること。
• クラシカルなエルデシュ–コ–ラドおよびハイルトン–ミルナーの定理を越えて、大規模な交差族の構造的結果を、重み付きおよびクロス交差のバージョンを含め一般化すること。
• $n > Ck$ 条件の下で、どの要素も集合の $c$-割合を超えて出現しないような族に関して、エルデシュ–ロスチルド–ツェーメリの問題を解決すること。

提案手法

• シャドウ構造の分析と交差族に対する極値境界の導出のため、クルスカル–カトーナの定理を適用する。
• 以前の研究で導入され、ここでは拡張された二部グラフスイッチングのテクニックを用い、族を変換し、交差性を保ちつつサイズを増加させる。
• 星型族からの逸脱度を測るための主要パラメータとして、$\gamma(\mathcal{F}) = |\mathcal{F}| - \Delta(\mathcal{F})$ を導入・分析する。
• ジャンタ近似法を用いて、極値族が特定の構成 $\mathcal{D}_{3/7}$ に同型でなければならないことを示し、その後それが最適であることを証明する。
• $\gamma(\mathcal{F}) \leq \binom{n-5}{k-4}$ かつ $\tau(\mathcal{F}) \geq 3$ を満たす任意の族 $\mathcal{F}$ に対して $|\mathcal{F}| \leq |\mathcal{C}_3(n,k)|$ が成り立ち、等号成立は $\mathcal{F}$ が $\mathcal{C}_3(n,k)$ に同型である場合に限ることを証明する。
• 様々なケース分析と構造的議論を用いて、最適族 $\mathcal{C}_3(n,k)$ からの任意の逸脱はスイッチングにより是正可能であり、最適でない限りサイズは厳密に増加することを示す。

実験結果

リサーチクエスチョン

• RQ1 $n > Ck$ のとき、被覆数が3以上の $k$-集合の交差族の最大サイズは何か？
• RQ2 交差族のサイズは、その多様性 $\gamma(\mathcal{F})$ に対してどのように正確に依存するか？
• RQ3 ハイルトン–ミルナーおよびフランクル型の定理は、等号成立ケースや重み付きバージョンを含め、強化可能か？
• RQ4 異なる $c$ 値に対して、どの要素も集合の $c$-割合を超えて出現しないような最大の交差族は何か？
• RQ5 $k$-集合の交差族に対して、多様性 $\gamma(\mathcal{F})$ の最大値は何か？

主な発見

• $n > Ck$ のとき、被覆数が3以上の最大の交差族は $\mathcal{C}_3(n,k)$ に同型であり、そのサイズは $\binom{n-1}{k-1} + \binom{n-4}{n-k-1} - \binom{n-4}{k-1}$ に等しい。
• $\tau(\mathcal{F}) \geq 3$ を満たす極値交差族の多様性 $\gamma(\mathcal{F})$ は $\binom{n-5}{k-4}$ で上から抑えられ、サイズが等号成立するのは $\mathcal{F}$ が $\mathcal{C}_3(n,k)$ に同型である場合に限る。
• 本稿はフランクルの定理の決定的バージョンを証明し、$n > 2k \geq 8$ のとき、$u \geq 4$ に対して $\gamma(\mathcal{F}) > \binom{n-u-1}{n-k-1}$ ならば、$|\mathcal{F}|$ はフランクルの元の境界よりも厳密に小さい式で抑えられることを示している。
• 結果は重み付き族およびクロス交差族へと拡張され、フランクル、フランクル–トクシジエ、クパフスキー–ザハロフの先行結果を強化する。
• 本稿は $n > Ck$ の下でエルデシュ–ロスチルド–ツェーメリ問題を解決し、要素の次数が有界な最大族が $\mathcal{C}_3(n,k)$ に同型であることを示している。
• $n > Ck$ のとき $\gamma(\mathcal{F}) \leq \binom{n-3}{k-2}$ が成り立ち、この境界はタイトであり、$n \geq 5k$ でも成り立つという予想を支持する。