[论文解读] 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

一句话总结

本文引入了超图的 juntas 近似方法，以解决涉及禁止超图扩张的极值问题，包括 Erd\'os-Chv\'{a}tal 单纯形猜想。证明了当 $ n $ 足够大时，不含 $ d $-单纯形的 $ k $-均匀族的最大大小为 $ \binom{n-1}{k-1} $，从而对所有 $ d $ 和 $ k $ 确认了该猜想在 $ n > n_0(d) $ 时成立。

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 单纯形猜想。
• 开发一种解决涉及禁止扩张的超图中 Tur\'{a}n 型问题的一般方法。
• 证明 $ H^+ $-自由超图本质上包含于 juntas 中，从而将复杂的极值问题简化为小集合上的简单问题。
• 将解扩展到超出单纯形的广泛禁止配置类，包括匹配和交集问题。
• 提供一个统一的框架，结合 juntas 近似与阴影理论，用于处理极值超图问题。

提出的方法

• 应用 juntas 近似方法，表明任何 $ H^+ $-自由超图本质上包含于一个顶点数很少的 $ H^+ $-自由 juntas 中。
• 利用“公平”集合和条件测度的概念，分析大族的结构。
• 运用交叉相交定理和阴影理论，限制子集上族的测度。
• 应用“数独步骤”论证，迭代消除不包含关键顶点的族切片，证明其包含于星形中。
• 基于族及其切片的密度，使用自举论证来改进边界。
• 利用 juntas 方法将问题简化为常数大小的核心，从而实现归纳和测度论分析。

实验结果

研究问题

• RQ1 在 $ n $ 个顶点上，不含 $ d $-单纯形的 $ k $-均匀超图的最大大小是多少？
• RQ2 juntas 近似方法能否用于解决超图扩张的 Tur\'{a}n 型问题？
• RQ3 Erd\'os-Chv\'{a}tal 单纯形猜想在哪些参数下成立？能否对所有 $ d $ 和 $ k $ 证明？
• RQ4 如何通过 juntas 近似 $ H^+ $-自由族的结构，以简化极值分析？
• RQ5 在何种条件下，不含 $ d $-单纯形的大族必然包含于一个星形中？

主要发现

• 对于所有 $ d $ 和 $ k $，只要 $ n > n_0(d) $，Erd\'os-Chv\'{a}tal 单纯形猜想即被证明，最大大小为 $ \binom{n-1}{k-1} $。
• juntas 近似方法成功地将 $ H^+ $-自由超图问题简化为有界顶点数的 juntas，从而实现结构分析。
• 当 $ k \leq \frac{d-1}{d}n $ 时，对所有 $ n > n_0(d) $，该猜想成立，极值大小为 $ \binom{n-1}{k-1} $。
• 该方法证明了任何 $ H^+ $-自由族本质上包含于一个 $ H^+ $-自由 juntas 中，且该 juntas 仅依赖于 $ O_d(1) $ 个顶点。
• “数独步骤”论证表明，若一族避开某些切片，则其必包含于一个星形中，从而完成了单纯形情形的证明。
• 本文在同一框架下解决了 Frankl-F\"{u}redi 的“特殊单纯形”问题和 Erd\'os-S\'{o}s 的“禁止一个交集”问题作为特例。