[論文レビュー] Stability versions of Erd\H{o}s-Ko-Rado type theorems, via isoperimetry

David Ellis, Nathan Keller+1 more|arXiv (Cornell University)|Apr 7, 2016

Limits and Structures in Graph Theory参考文献 57被引用数 17

ひとこと要約

本稿は、Erd\'os-Ko-Rado (EKR) 型の定理のタイトな安定性版を導出するための新しい等周的アプローチを開発した。この手法により、極値の交差族に近いサイズを持つ集合族は、標準的な極値族（例えばディクテーター族やt-アンビラ族）と構造的にも近いことが示された。この方法は、ハイパーグリッド上の偏り付きエッジ等周不等式を活用し、元のEKR定理を再証明することなく、正確なEKR結果を強い安定性境界に昇格させる。

ABSTRACT

Erd\\H{o}s-Ko-Rado (EKR) type theorems yield upper bounds on the sizes of families of sets, subject to various intersection requirements on the sets in the family. Stability versions of such theorems assert that if the size of a family is close to the maximum possible size, then the family itself must be close (in some appropriate sense) to a maximum-sized family. In this paper, we present an approach to obtaining stability versions of EKR-type theorems, via isoperimetric inequalities for subsets of the hypercube. Our approach is rather general, and allows the leveraging of a wide variety of exact EKR-type results into strong stability versions of these results, without going into the proofs of the original results. We use this approach to obtain tight stability versions of the EKR theorem itself and of the Ahlswede-Khachatrian theorem on $t$-intersecting families of $k$-element subsets of $\\{1,2,\\ldots.n\\}$ (for $k < \\frac{n}{t+1}$), and to show that, somewhat surprisingly, all these results hold when the intersection requirement is replaced by a much weaker requirement. Other examples include stability versions of Frankl's recent result on the Erd\\H{o}s matching conjecture, the Ellis-Filmus-Friedgut proof of the Simonovits-S\\'{o}s conjecture, and various EKR-type results on $r$-wise (cross)-$t$-intersecting families.

研究の動機と目的

• 等周不等式を用いて、EKR型の定理の強い安定性版を導出する一般的手法を開発すること。
• EKR型の定理が定める最大許容サイズに近いサイズを持つ集合族が、ディクテーター族やt-アンビラ族などの標準的な極値族と構造的に近いことの証明。
• 標準的な交差条件を超えて、より弱い交差要件や、極値に非常に近いがそれほどではない測度を持つ族に対しても安定性結果を拡張すること。
• ウィルソンの定理、アールシュワイド＝カハチャトリアンの定理、Erd\'osのマッチング予想といった重要な結果に対して、鋭いタイトな安定性境界を提供すること。
• より複雑な極値族（例えば、完全なアールシュワイド＝カハチャトリアン定理に現れるもの）に対する鋭い安定性結果の同定と、その到達への道筋の提案。

提案手法

• ハイパーグリッド上の偏り付きエッジ等周不等式を用いて、交差制約下での集合族の構造を分析する。
• 反復的に極値族への近似を改善することで、弱い安定性境界を強いものに昇格させるブートストラップ的議論を用いる。
• EKR型問題の極値族が、偏り付きエッジ等周不等式の等号を達成する集合に対応することが多いという事実を活用する。
• 双対安定性定理を導入し、Erd\'osのマッチング予想のような問題に応用する。測度論的安定性を積空間上の非一様測度で用いる。
• このフレームワークにより、元の正確なEKR型定理を再導出することなく、安定性版への結果の移行が可能になる。
• 本手法は、t-交差族、三角形を交差とするグラフ族、Erd\'osのマッチング条件を満たす族など、さまざまな設定に適用可能。

実験結果

リサーチクエスチョン

• RQ1 ハイパーグリッド上の等周不等式を用いて、元の正確な結果を再証明することなく、EKR型の定理の強い安定性版を導出できるか？
• RQ2 どの程度サイズが極値の境界に近いかつければ、ディクテーター族やt-アンビラ族のような標準的な極値族と構造的に近いと保証できるか？
• RQ3 交差条件が弱められた場合、例えば特定の小さな交差を避けることだけを要件とする場合にも、この手法を拡張できるか？
• RQ4 Erd\'osのマッチング予想における鋭い安定性閾値は何か？そして、この等周的枠組みで捉えることができるか？
• RQ5 t-アンビラ族ではない、より複雑な極値族（例えば、完全なアールシュワイド＝カハチャトリアン定理に現れるもの）に対しても、この手法を適応可能か？

主な発見

• 本稿は、n ≥ (t+1)(k−t+1) のとき、t-交差族に対するウィルソンの定理のタイトな安定性版を確立し、極値境界に近いサイズの族はt-アンビラ族に近い構造を持つことを示した。
• シモンビーヴィチ＝ソスの予想について、強い安定性結果を証明した。測度が最大に近い族は、非一様測度下でディクテーター族に近い構造を持つ。
• k-一様超グラフ族に対する三角形を交差とする族について、鋭い安定性結果を得た。これは、既存の境界を改善した。
• Erd\'osのマッチング予想に対して、マッチング数がsであるという条件下で、タイトな安定性版を提供した。極値サイズに近い族は、標準的な極値族に近い構造を持つ。
• 著者らは、安定性境界が鋭いと予想し、具体的な極値族（例えば、サイズtの固定集合と小さな摂動を加えた族）が境界に達することを示唆した。
• このアプローチは一般性に富み、極値族が偏り付きエッジ等周不等式の等号を達成する限り、任意の正確なEKR型定理から強い安定性結果を導出可能である。