[論文レビュー] The minimum number of disjoint pairs in set systems and related problems

Shagnik Das, Wenying Gan+1 more|arXiv (Cornell University)|May 29, 2013

Limits and Structures in Graph Theory参考文献 12被引用数 4

ひとこと要約

この論文は、Erd\'os-Ko-Radoの境界を上回るk-一様集合系における互いに素なペアの最小数を特定することで、極値組合せ論における長年の問題を解決する。辞書式順序と分数的集合系を用いて、著者たちは小規模な集合系についてBollob\'asとLeaderの予想を確認し、t-交差する集合系およびq-マッチング自由系へと結果を拡張する。極値閾値を超えた禁止構成の正確な境界を提供することで、古典的な極値定理を定量的に強化する。

ABSTRACT

Let F be a set system on [n] with all sets having k elements and every pair of sets intersecting. The celebrated theorem of Erdos-Ko-Rado from 1961 says that any such system has size at most ${n-1 \choose k-1}$. A natural question, which was asked by Ahlswede in 1980, is how many disjoint pairs must appear in a set system of larger size. Except for the case k=2, solved by Ahlswede and Katona, this problem has remained open for the last three decades. In this paper, we determine the minimum number of disjoint pairs in small k-uniform families, thus confirming a conjecture of Bollobas and Leader in these cases. Moreover, we obtain similar results for two well-known extensions of the Erdos-Ko-Rado theorem, determining the minimum number of matchings of size q and the minimum number of t-disjoint pairs that appear in set systems larger than the corresponding extremal bounds. In the latter case, this provides a partial solution to a problem of Kleitman and West.

研究の動機と目的

• Erd\'os-Ko-Radoの極値境界を超えるk-一様集合系における、互いに素なペアの最小数に関するAhlswedeの1980年の問いを解決すること。
• k-集合の辞書式順序の初期セグメントが、小規模な集合系において互いに素なペアを最小化することを確認するBollob\'as-Leaderの予想を検証すること。
• 解析をt-交差する集合系およびq-マッチング自由族へと拡張し、禁止構成の定量的境界を提供すること。
• KleitmanとWestが提起した、極値境界を超える集合系におけるt-互いに素なペアに関する問題に対する部分的解決を提供すること。

提案手法

• 辞書式順序を用いて候補となる極値集合系を構成し、初期セグメントが互いに素なペアを最小化することを証明する。
• 分数的集合系の技術を用いて、離散的問題を連続的最適化フレームワークに緩和する。
• 二重数え上げと二項係数の恒等式を用いて、候補構成におけるt-交差ペアの数を計算する。
• 二項係数の漸近展開を用いて、辞書式集合系とスターベース構成との間でt-交差ペアの数を比較する。
• Kneserグラフのスペクトル的および構造的性質を活用して、極値的構成における独立集合および辺数を分析する。
• 望ましくないペアの正確な数を計算するために、テレスコピング和と包含除算法を用いた詳細な組合せ的解析を行う。

実験結果

リサーチクエスチョン

• RQ1 サイズ s > \binom{n-1}{k-1} であるk-一様集合系において、互いに素なペアの最小数は何か？
• RQ2 k-要素部分集合の辞書式順序の初期セグメントは、小規模な集合系において互いに素なペアを最小化するのに最適か？
• RQ3 極値t-交差境界を超えるk-一様族において、t-交差ペアは最低何個以上存在しなければならないか？
• RQ4 極値q-マッチング自由境界を超えるk-一様族において、q-マッチングの最小数は何か？
• RQ5 k ≥ 3 の場合、スターや辞書式順序を超えた極値系の構造はどのように特徴づけられるか？

主な発見

• サイズ s > \binom{n-1}{k-1} である小規模なk-一様集合系において、辞書式初期セグメントが互いに素なペアの数を最小化する。これはBollob\'as-Leaderの予想を確認する。
• このような系における互いに素なペアの最小数は、漸近的に \frac{1}{2}\left(1 - \frac{k(k+2)}{n}\right)s^2 で下から抑えられ、スペクトル的手法によってそのタイトネスが示された。
• t-交差する集合系において、辞書式構成におけるt-交差ペアの数は、スターベース構成よりも正の量だけ多く、r ≥ 3 のとき漸近的に \frac{1}{4}(r+1)r(r-1)(r-2)\binom{n-t}{k-t-1}^2 に達する。
• r 個の完全なt-スターよりも1つ多い (r+1)番目のスターベースの部分的構成が、与えられたサイズのすべての集合系の中でt-交差ペアの数を最小にする。
• KleitmanとWestの問題に対して、極値t-交差境界を超える集合系におけるt-互いに素なペアの最小数を特定することで、部分的解決を提供する。
• 結果として、Erd\'os-Ko-Rado定理およびその拡張に対する定量的強化が確立され、極値閾値を超えると、禁止構成の予測可能な数が生じることを示した。