[論文レビュー] Two problems of P. Erdős on matchings in set families.

Péter Frankl, Andrey Kupavskii|arXiv (Cornell University)|Jul 20, 2016

Limits and Structures in Graph Theory被引用数 3

ひとこと要約

この論文は、 extremal combinatorics における長年の問題を解決し、$ s $ 個の集合族が $ q $-依存であるような $[n]$ 上の集合族のサイズの合計の最大値を特定することで、Kleitman の定理を一般化している。$ n \geq sk + (s-1)(k-1) $ および $ k \geq 3 $ の範囲で、反ラマジー数 $ ar(n,k,s) $ を正確に決定できる、Erd\'os のマッチング予想に対するハイルトン＝ミルナー型の安定性結果を確立している。

ABSTRACT

The families $\mathcal F_1,\ldots, \mathcal F_s\subset 2^{[n]}$ are called extit{$q$-dependent} if there are no pairwise disjoint $F_i\in \mathcal F_i, i=1,\ldots, s,$ satisfying $|F_1\cup\ldots\cup F_s|\le q.$ We determine $\max |\mathcal F_1|+\ldots +|\mathcal F_s| $ for extit{all} values $n\ge q,s\ge 2$. The result provides a far-reaching generalization of an important classical result of Kleitman. The uniform case $\mathcal F_1 = \ldots = \mathcal F_s\subset {[n]\choose k}$ of this problem is the so-called Erd\H os Matching Conjecture. After more than 50 years its full solution is still not in sight. In the present paper we provide a Hilton-Milner-type stability theorem for it in a relatively wide range, in particular, for $n\ge (2+o(1))sk$ with $o(1)$ depending on $s$. This is a considerable improvement of a result due to Bollob\'as, Daykin and Erd\H os. We apply our results to advance in an anti-Ramsey-type problem, proposed by \Ozkahya and Young. They asked for the minimum number $ar(n,k,s)$ of colors in the coloring of the $k$-element subsets of $[n]$ that do not contain a extit{rainbow matching} of size $s$, that is, $s$ sets of different colors that are pairwise disjoint. We prove a stability result for the problem, which allows to determine $ar(n,k,s)$ for all $k\ge 3$ and $n\ge sk+(s-1)(k-1).$ Some other consequences of our results are presented as well.

研究の動機と目的

• すべての $ n \geq q, s \geq 2 $ に対して、$[n]$ 上の $ s $ 個の集合族が $ q $-依存であるような場合の、サイズの合計の最大値を特定すること。
• $ n \geq (2+o(1))sk $ の範囲で、一様な Erd\'os マッチング予想に対するハイルトン＝ミルナー型の安定性結果を提供すること。
• $ k $-集合に大小 $ s $ のランダムマッチングを避けるために必要な最小の色数 $ ar(n,k,s) $ を特定することにより、反ラマジー型の問題を解決すること。
• 構造的制約を伴う extremal set systems における安定性手法の適用範囲を拡張すること。

提案手法

• $ s $ 個の互いに素な集合の組で、その和集合のサイズが $ q $ 以下であるような集合族を特徴付けるために、$ q $-依存性の概念を導入すること。
• q-依存性の下での極値的集合族を分析するための新しい安定性フレームワークを用い、Kleitman の古典的結果を一般化すること。
• すべての族が $ { [n] \choose k } $ の部分集合である一様な場合に、Erd\'os マッチング予想に対して近似的に最良の境界を証明すること。
• 色クラスの構造的制約とランダムマッチングの不在の関係を結びつけることで、$ q $-依存性と反ラマジー問題との関係を確立すること。
• 二重数え上げと extremal set-theoretic 不等式を用いて、$ q $-依存性の下での最大族サイズに対するタイトな境界を導出すること。
• $ n \geq sk + (s-1)(k-1) $ および $ k \geq 3 $ の範囲で、安定性結果を用いて $ ar(n,k,s) $ の正確な値を特定すること。

実験結果

リサーチクエスチョン

• RQ1 すべての $ n \geq q $ および $ s \geq 2 $ に対して、$ q $-依存である $ s $ 個の集合族のサイズの合計の最大値は何か？
• RQ2 パラメータの広い範囲で、Erd\'os マッチング予想に対するハイルトン＝ミルナー型の安定性定理をどのように確立できるか？
• RQ3 $[n]$ の $ k $-要素部分集合を色分けする際に、サイズ $ s $ のランダムマッチングを避けるために必要な最小の色数 $ ar(n,k,s) $ は何か？
• RQ4 $ q $-依存族に対する安定性フレームワークを用いて、反ラマジー型の問題を解けるか？
• RQ5 小さな和集合を伴う互いに素な集合の組が存在しないようにするための、集合族に必要な構造的制約は何か？

主な発見

• すべての $ n \geq q $、$ s \geq 2 $ に対して、$ q $-依存族のサイズの合計 $ \sum_{i=1}^s |\mathcal{F}_i| $ の最大値が正確に特定され、Kleitman の定理が一般化された。
• $ n \geq (2+o(1))sk $ の範囲で、Erd\'os マッチング予想に対するハイルトン＝ミルナー型の安定性結果が確立され、Bollob\'as や Daykin や Erd\'os による以前の境界が著しく改善された。
• $ k \geq 3 $ および $ n \geq sk + (s-1)(k-1) $ のすべての $ n $ に対して、反ラマジー数 $ ar(n,k,s) $ が正確に特定され、\'Ozkahya と Young が提起した問題が解決された。
• 安定性フレームワークにより、$ q $-依存性の下での極値的構成が正確に特定され、近似的に最良の族には構造的剛性が明らかになった。
• 結果は、$ q $-依存性条件を介して、Erd\'os マッチング予想と反ラマジー問題を統一的に扱うアプローチを提供する。
• 小さな和集合を伴う互いに素な集合の組を避ける族のサイズに対するタイトな境界が得られ、ランダムマッチング回避への応用が可能になった。