[論文レビュー] The Junta Method for Hypergraphs and the Erd\H{o}s-Chv\'{a}tal Simplex Conjecture

Nathan Keller, Noam Lifshitz|arXiv (Cornell University)|Jul 9, 2017

Limits and Structures in Graph Theory参考文献 66被引用数 16

ひとこと要約

この論文は、禁止されたハイパーグラフ拡張を含む極値問題を解消するためのジャンタ近似法をハイパーグラフに導入する。特に、Erd\'os-Chv\'{a}tal単体予想を解決する。十分に大きな $ n $ に対して、$ d $-単体を含まない $ k $-一様族の最大サイズは $ \binom{n-1}{k-1} $ であると証明し、$ n > n_0(d) $ のとき、すべての $ d $ と $ k $ に対して予想が正当化される。

ABSTRACT

Numerous problems in extremal hypergraph theory ask to determine the maximal size of a $k$-uniform hypergraph on $n$ vertices that does not contain an `enlarged' copy $H^+$ of a fixed hypergraph $H$. These include well-known problems such as the Erd\H{o}s-S\'{o}s `forbidding one intersection' problem and the Frankl-F\"{u}redi `special simplex' problem. We present a general approach to such problems, using a `junta approximation method' that originates from analysis of Boolean functions. We prove that any $H^+$-free hypergraph is essentially contained in a `junta' -- a hypergraph determined by a small number of vertices -- that is also $H^+$-free, which effectively reduces the extremal problem to an easier problem on juntas. Using this approach, we obtain, for all $C<k<n/C$, a complete solution of the extremal problem for a large class of $H$'s, which includes the aforementioned problems, and solves them for a large new set of parameters. We apply our method also to the 1974 Erd\H{o}s-Chv\'{a}tal simplex conjecture, which asserts that for any $d < k \leq \frac{d}{d+1}n$, the maximal size of a $k$-uniform family that does not contain a $d$-simplex (i.e., $d+1$ sets with empty intersection such that any $d$ of them intersect) is ${{n-1}\choose{k-1}}$. We prove the conjecture for all $d$ and $k$, provided $n>n_0(d)$.

研究の動機と目的

• $ d $-単体を含まない $ k $-一様族の最大サイズに関するErd\'os-Chv\'{a}tal単体予想を解決すること。
• 禁止された拡張を含むハイパーグラフにおけるツーラン型問題を解くための一般化された手法を開発すること。
• $ H^+ $-自由ハイパーグラフが本質的にジャンタに含まれることを確立し、複雑な極値問題を小さな集合上の単純な問題に還元すること。
• 単体にとどまらず、マッチングやインターセクション問題を含む広範な禁止構成に対して、解を拡張すること。
• ジャンタ近似とシャドウ理論を統合したフレームワークを用いて、極値ハイパーグラフ問題を統一的に扱うこと。

提案手法

• ジャンタ近似法を適用し、任意の $ H^+ $-自由ハイパーグラフが、少数の頂点を持つ $ H^+ $-自由ジャンタに本質的に含まれることを示す。
• 「フェア」な集合と条件付き測度の概念を用いて、大規模な族の構造を分析する。
• クロスインターセクション定理とシャドウ理論を用いて、部分集合に制限された族の測度を評価する。
• 「スウドクステップ」の議論を適用し、重要な頂点を含まないスライスを段階的に除去することで、族がスターに含まれることを証明する。
• 族の密度とそのスライスに基づくブートストラップ的議論を用いて、境界を精緻化する。
• ジャンタ法を活用して問題を定数サイズのコアに還元し、帰納的および測度論的解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 $ n $ 頂点上の $ k $-一様ハイパーグラフで、$ d $-単体を含まない最大サイズは何か？
• RQ2 ジャンタ近似法は、ハイパーグラフ拡張に関するツーラン型問題を解くために用いることができるか？
• RQ3 Erd\'os-Chv\'{a}tal単体予想が成り立つパラメータは何か？すべての $ d $ と $ k $ に対して証明可能か？
• RQ4 $ H^+ $-自由族の構造は、どの程度ジャンタによって近似可能か？極値解析を単純化するにはどうすればよいか？
• RQ5 大規模な族が $ d $-単体を含まない場合、どのような条件下で本質的にスターに含まれるのか？

主な発見

• Erd\'os-Chv\'{a}tal単体予想は、すべての $ d $ と $ k $ に対して、$ n > n_0(d) $ のとき証明され、最大サイズは $ \binom{n-1}{k-1} $ である。
• ジャンタ近似法により、$ H^+ $-自由ハイパーグラフ問題が、頂点数が限られたジャンタに還元され、構造的解析が可能になった。
• $ k \leq \frac{d-1}{d}n $ の場合、すべての $ n > n_0(d) $ に対して予想が成り立ち、極値サイズは $ \binom{n-1}{k-1} $ であることが確認された。
• この方法により、任意の $ H^+ $-自由族が、$ O_d(1) $ 個の頂点に依存する $ H^+ $-自由ジャンタに本質的に含まれることが示された。
• 「スウドクステップ」の議論により、特定のスライスを避ける族はスターに含まれることを証明し、単体の場合の証明が完成した。
• 本論文は、Frankl-F\"{u}redi の「特別な単体」問題と、Erd\'os-S\'{o}s の「1つのインターセクションを禁止する」問題を、同じ枠組みの中で特殊ケースとして解決した。