[论文解读] The Junta Method for Hypergraphs and Chv\'atal's Simplex Conjecture

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

Limits and Structures in Graph Theory参考文献 31被引用 10

一句话总结

本文提出了一种新颖的‘junta近似方法’，用于极值超图理论，将复杂的$H^+$-自由超图问题简化为由少量顶点定义的junta问题。该方法解决了Chvátal的单纯形猜想及其他在极值组合学中长期存在的问题，适用于所有$C < k < n/C$的情形，证明了不含$H$的扩展副本的极大$k$-均匀超图在渐近意义上由junta实现。

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 open problems such as the Erd\H{o}s matching conjecture, the Erd\H{o}s-S\'os `forbidding one intersection' problem, the Frankl-F\uredi `special simplex' problem, etc. 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 all the aforementioned problems. We apply our method to the 1974 Chv\'atal's simplex conjecture, which asserts that for any $d n_0(d)$.

研究动机与目标

• 解决极值超图理论中长期存在的开放问题，如Erd'os匹配猜想和Frankl-F'uredi的'特殊单纯形'问题。
• 为确定在$n$个顶点上避免固定超图$H$的扩展副本$H^+$的$k$-均匀超图的最大大小，提供一个通用框架。
• 完整证明Chv'atal于1974年提出的单纯形猜想，该猜想涉及不含$d$维单纯形的$k$-均匀超图的最大大小。
• 将该方法扩展至一大类超图$H$，包括经典极值问题中的核心情形。
• 证明极值超图本质上包含于一个‘junta’中——即由少量顶点定义的超图——从而简化问题结构。

提出的方法

• junta近似方法通过证明任意$H^+$-自由的$k$-均匀超图在结构上接近于一个$H^+$-自由的junta，将$H^+$-自由超图的研究简化为分析junta。
• 该方法利用布尔函数分析中的技术，特别是影响和限制论证，将任意超图近似为低复杂度的junta。
• 采用稳定性论证：若一个超图是$H^+$-自由且规模较大，则其必须接近于另一个$H^+$-自由的junta。
• 该方法使用‘随机限制’技术，将超图投影到一个小型顶点集上，以高概率保持$H^+$-自由性。
• 该方法被应用于一大类$H$，包括对应于Erd'os匹配猜想和Frankl-F'uredi问题的情形。
• 通过求解由此产生的junta上的极值问题完成求解，由于定义顶点数较少，该问题显著简化。

实验结果

研究问题

• RQ1 在$n$个顶点上，不含固定超图$H$的扩展副本$H^+$的$k$-均匀超图的最大大小是多少？
• RQ2 junta近似方法是否可用于解决所有$C < k < n/C$范围内的Chv'atal单纯形猜想？
• RQ3 对于哪些类别的超图$H$，极值$H^+$-自由超图的结构可简化为junta？
• RQ4 在边密度和结构上，任意$H^+$-自由超图与一个$H^+ among$-自由junta有多接近？
• RQ5 当$k$随$n$增长时，$H^+$-自由$k$-均匀超图的极值函数的渐近行为如何？

主要发现

• 本文为所有$C < k < n/C$的情形（其中$C$是依赖于$H$的常数）完整解决了$H^+$-自由$k$-均匀超图的极值问题。
• 完整证明了Chv'atal的单纯形猜想，表明不含$d$-单纯形的极大$k$-均匀超图在$k > C$且$k < n/C$时由junta实现。
• 证明了极值超图在渐近意义上包含于由$O(1)$个顶点定义的junta中，意味着其结构由常数个坐标决定。
• 该方法证实，$H^+$-自由超图的极值函数在渐近意义上等于同参数下$H^+$-自由junta的最大大小。
• 对于一大类$H$（包括Erd'os匹配猜想和Frankl-F'uredi的'特殊单纯形'问题），极值大小通过junta方法得以确定。
• 该方法得出紧致的渐近界，表明极值超图不仅接近于junta，而且在极限意义下在结构上等价。