[論文レビュー] The Erd\H{o}s Matching Conjecture and concentration inequalities

Péter Frankl, Andrey Kupavskii|arXiv (Cornell University)|Jun 22, 2018

Limits and Structures in Graph Theory参考文献 49被引用数 29

ひとこと要約

この論文は、$ n \geq \frac{5}{3}sk - \frac{2}{3}s $ および十分に大きな $ s $ に対して、Erdős のマッチング予想を証明し、$ s+1 $ 個の互いに素な $ k $-集合を含まない最大の族のサイズが $ \binom{n}{k} - \binom{n-s}{k} $ であることを確立している。証明は濃度不等式とシャドウに基づく技法を用いて、ランダムマッチングとの交差サイズを制限し、従来の範囲を著しく拡張し、大きな $ s $ に対して普遍的な境界を与える。

ABSTRACT

More than 50 years ago, Erd\\H os asked the following question: what is the maximum size of a family $\\mathcal F$ of $k$-element subsets of an $n$-element set if it has no $s+1$ pairwise disjoint sets? This question attracted a lot of attention recently, in particular, due to its connection to various combinatorial, probabilistic and theoretical computer science problems. Improving the previous best bound due to the first author, we prove that $|\\mathcal F|\\le {n\\choose k}-{n-s\\choose k}$, provided $n\\ge \\frac 53sk -\\frac 23 s$ and $s$ is sufficiently large. We derive several corollaries concerning Dirac thresholds and deviations of sums of random variables. We also obtain several related results.

研究の動機と目的

• 互いに素な $ s+1 $ 個の $ k $-集合を含まない $ n $ 頂点上の $ k $-一様族の最大サイズを特定する長年の Erdős のマッチング予想に取り組む。
• 特に、$ (k+1)s < n < (2s+1)k - s $ の範囲で、予想が未解決であった領域において、その有効範囲を従来の結果を上回って拡張する。
• 家族とランダムマッチングとの交差を分析するための新しい濃度不等式フレームワークを構築し、極値的族のサイズに対するより強い境界を得る。
• Theorem 1 をブラックボックスとして用い、$ \gamma \geq 4/3 $ の場合に、$ m(n,k,s) $ の普遍的な境界を改善する。
• Diracの閾値、確率変数の和の偏差境界、確率的組合せ論および理論計算科学への応用との関連を探索する。

提案手法

• 論文は、$ k $-一様族 $ \mathcal{F} $ とランダムマッチングとの交差が、弱い条件下で期待値のまわりに集中することを示す、革新的な濃度不等式アプローチを用いる。
• 主な技術には、マッチング数と交差構造を保ちながら族を単純化するためのシフトとシャドウ理論が含まれる。
• Theorem 1 の証明は、すべての $ s $-集合 $ T $ に対して $ \mathcal{F}(\bar{T}) $ の最小サイズとして定義される $ s $-多様性 $ \gamma_s(\mathcal{F}) $ を用いて族の多様性を制限し、多様性が高い族は必然的に大きくなければならないことを示す。
• Theorem 2 では、Theorem 1 をブラックボックスとして応用し、$ \gamma \in (1, 5/3] $ および $ n \geq \gamma sk - (\gamma-1)s $ の範囲で、$ m(n,k,s) $ の普遍的な上界を導出する。
• 最大次数とコードグレードが制御された補助ハイパーグラフを構築し、マッチング分割定理を適用して期待交差サイズを導出する。
• 技術的補題として濃度と多様性に関するものがあり、付録に証明されており、主結果はランダムマッチングとの交差集中に基づく安定性議論に依存する。

実験結果

リサーチクエスチョン

• RQ1 $ n \geq \frac{5}{3}sk - \frac{2}{3}s $ および大きな $ s $ の場合、$ s+1 $ 個の互いに素な集合を含まない $ k $-一様族の最大サイズは何か？
• RQ2 濃度不等式を用いて、極値的族とランダムマッチングとの交差をどのように制限できるか。これは Erdős のマッチング予想にどのような含意を持つのか？
• RQ3 $ m(n,k,s) $ の最適な普遍的上界は何か。これは $ s\binom{n-1}{k-1} $ や $ \binom{k(s+1)-1}{k} $ といった従来の境界と比較してどうなるか？
• RQ4 マッチング数 $ \nu(\mathcal{F}) \leq s $ の族 $ \mathcal{F} $ の $ s $-多様性を、Erdős のマッチング予想がより広い $ n $ の範囲で成立することを示す形でどのように境界づけられるか？
• RQ5 濃度法の結果が、予想のレインボー版や、ランダム制限下での密度変化といった関連問題に与える影響は何か？

主な発見

• Erdős のマッチング予想は、$ n \geq \frac{5}{3}sk - \frac{2}{3}s $ および $ s \geq s_0 $（$ s_0 $ は絶対定数）の範囲で成立し、パrameter の新たな重要な範囲で予想が確認された。
• この範囲では、マッチング数が最大 $ s $ である $ k $-一様族の最大サイズは $ \binom{n}{k} - \binom{n-s}{k} $ であり、固定された $ s $-集合と交差するすべての $ k $-集合の族のサイズと一致する。
• 新しい普遍的上界が得られた：$ \gamma \in (1, 5/3] $ の場合、$ m(n,k,s) \leq \binom{n}{k} - \frac{\gamma-1}{2} \cdot \frac{5k-2}{\gamma k - (\gamma-1)} \binom{n-s}{k} $ であり、$ \gamma \geq 4/3 $ の場合、従来の境界を改善する。
• 濃度法の応用により、$ n > 3esk $ および大きな $ s $ の場合に、Erdős のマッチング予想のレインボー版が得られ、結果の範囲が拡張された。
• この方法により、ランダム制限下での一様族の密度変化に関する新しい濃度結果が得られ、交差族における異なる交差の理解が進展した。