[論文レビュー] Structure and Supersaturation for Intersecting Families

József Balogh, Shagnik Das+3 more|arXiv (Cornell University)|Feb 22, 2018

Limits and Structures in Graph Theory被引用数 6

ひとこと要約

本稿は、置換の族およびk一様集合の族における過剰飽和を調査し、族のサイズが極値閾値をわずかに上回る場合、辞書式順序の初期セグメントが不交差ペアの数を最小化することを証明する。このような族は小さな超極値追加において最適であり、極値集合論におけるℓ-ボールに関するBollobás–Leader予想に対して反例を提示する。

ABSTRACT

The extremal problems regarding the maximum possible size of intersecting families of various combinatorial objects have been extensively studied. In this paper, we investigate supersaturation extensions, which in this context ask for the minimum number of disjoint pairs that must appear in families larger than the extremal threshold. We study the minimum number of disjoint pairs in families of permutations and in $k$-uniform set families, and determine the structure of the optimal families. Our main tool is a removal lemma for disjoint pairs. We also determine the typical structure of $k$-uniform set families without matchings of size $s$ when $n \ge 2sk + 38s^4$, and show that almost all $k$-uniform intersecting families on vertex set $[n]$ are trivial when $n\ge (2+o(1))k$.

研究の動機と目的

• 族のサイズが極値交わる族のサイズをわずかに上回る場合、置換族およびk一様集合族における不交差ペアの最小数を特定すること。
• これらの設定において不交差ペアを最小化する族の構造を同定すること。
• k一様集合族における過剰飽和に関して、Bollobás–Leader予想がℓ-ボールに関して成り立つかどうかを調査すること。
• 大きなマッチングを含まないk一様交わる族の典型的な構造を特定すること。

提案手法

• 不交差ペアに関する除去補題を主な技術的道具として、不交差ペアが少ない族の構造的安定性を分析する。
• 置換族における不交差ペア数の最小化候補として、辞書式族T(n,s)を定義し、その分析を行う。
• ℓ-ボールなどの明示的族を構成し、それらの不交差ペア数を比較することで、Bollobás–Leader予想に反論する。
• 二重数え上げおよび包含除算法を用いて、族とスターファミリー間の不交差ペア数を評価する。
• 二項係数の漸近的推定および境界を用いて、過剰飽和領域における誤差項を制御する。
• n=3k−1に対して、辞書式初期セグメントより少ない不交差ペア数を持つ反例族Fを構成し、k≥5の場合に予想を反証する。

実験結果

リサーチクエスチョン

• RQ1 極値交わる族のサイズをわずかに上回る置換族において、不交差ペアの最小数は何か？
• RQ2 k一様集合族において、族のサイズがErdős–Ko–Rado閾値を上回るとき、不交差ペア数を最小化する構造は何か？
• RQ3 BollobásとLeaderが予想したように、k一様族における過剰飽和問題において、常に辞書式初期セグメントが最適であるか？
• RQ4 nが十分に大きいとき、サイズsのマッチングを含まないk一様交わる族の典型的な構造は何か？
• RQ5 ℓ-ボールが過剰飽和において最適であるというBollobás–Leader予想は、証明可能か、反証可能か？

主な発見

• サイズs=(k+ε)(n−1)! で |ε|≤ck−3 かつ k≤cn1/2 を満たす置換族に対して、辞書式族T(n,s)が不交差ペア数を最小化する。
• サイズs=binom(n−1,k−1)+t のk一様集合族において、不交差ペア数は少なくとも t⋅binom(n−k−1,k−1) に達し、これは辞書式族L(n,k,s)によって達成される。
• n=3k−1 に対して、Bollobás–Leader予想に対する反例が構成され、辞書式初期セグメントが過剰飽和において最適でないことが示された。
• スターファミリーの集合を、別の交わる族からの集合に置き換えることで構成した族Fは、辞書式族よりも少ない不交差ペア数を持つ。
• k≥5 かつ n=3k−1 の場合、数値的証拠により1-ボールは構成族Fよりも多くの不交差ペア数を持つことが示され、予想に反する。
• n≥(2+o(1))k のとき、[n] 上のほとんどすべてのk一様交わる族は自明であり、1つのスターファミリーに含まれる。