[论文解读] Stability and Tur\'an numbers of a class of hypergraphs via Lagrangians

Axel Brandt, David Irwin+1 more|arXiv (Cornell University)|Oct 12, 2015

Limits and Structures in Graph Theory参考文献 9被引用 4

一句话总结

本文通过利用拉格朗日优化与对称化技术，精确确定了广义一类超图——即嵌入超图 $F$ 的扩展团 $H^F_p$——的图论极值数。对于足够大的 $n$，证明了 $\mathrm{ex}(n, H^F_p) = |T_r(n, p-1)|$，其中 $T_r(n, p-1)$ 为平衡的完全 $(p-1)$-部 $r$-超图，并进一步展示了接近极值图的结构稳定性。

ABSTRACT

Given a family of $r$-uniform hypergraphs ${\\cal F}$ (or $r$-graphs for brevity), the Tur\\'an number $ex(n,{\\cal F})$ of ${\\cal F}$ is the maximum number of edges in an $r$-graph on $n$ vertices that does not contain any member of ${\\cal F}$. A pair $\\{u,v\\}$ is covered in a hypergraph $G$ if some edge of $G$ contains $\\{u,v\\}$. Given an $r$-graph $F$ and a positive integer $p\\geq n(F)$, let $H^F_p$ denote the $r$-graph obtained as follows. Label the vertices of $F$ as $v_1,\\ldots, v_{n(F)}$. Add new vertices $v_{n(F)+1},\\ldots, v_p$. For each pair of vertices $v_i,v_j$ not covered in $F$, add a set $B_{i,j}$ of $r-2$ new vertices and the edge $\\{v_i,v_j\\}\\cup B_{i,j}$, where the $B_{i,j}$'s are pairwise disjoint over all such pairs $\\{i,j\\}$. We call $H^F_p$ the expanded $p$-clique with an embedded $F$. For a relatively large family of $F$, we show that for all sufficiently large $n$, $ex(n,H^F_p)=|T_r(n,p-1)|$, where $T_r(n,p-1)$ is the balanced complete $(p-1)$-partite $r$-graph on $n$ vertices. We also establish structural stability of near extremal graphs. Our results generalize or strengthen several earlier results and provide a class of hypergraphs for which the Tur\\'an number is exactly determined (for large $n$).

研究动机与目标

• 确定一类称为扩展 $p$-团并嵌入 $F$ 的 $r$-均匀超图 $H^F_p$ 的精确图论极值数 $\mathrm{ex}(n, H^F_p)$。
• 建立接近达到图论极值数的超图的结构稳定性，表明其与平衡的完全 $r$-部超图接近。
• 推广并强化关于可消去超图、广义三角形及扩展团的图论极值数的早期结果。
• 将拉格朗日优化与对称化技术应用于超图极值问题，将图论中的方法扩展至超图。
• 通过在 $F$-自由超图背景下应用 $k$-顶点树条件，解决 $r$-均匀超图的 Erd\'os-S{\o}s} 猜想的若干情形。

提出的方法

• 将 $H^F_p$ 定义为在 $F$ 中未被覆盖的每对顶点处添加 $r-2$ 个新顶点，以形成新边的扩展 $p$-团。
• 利用拉格朗日优化方法，通过权重分配和 $r$-均匀拉格朗日函数 $p_G(\tilde{x})$，界定 $F$-自由 $r$-图的最大边密度。
• 应用对称化与稳定性技术，证明任何边数接近最大值的 $H^F_p$-自由 $r$-图，其结构必接近于平衡的完全 $(p-1)$-部 $r$-超图。
• 利用归纳法与子图拉格朗日函数的递归界，特别关注满足 Erd\'os-S{\o}s} 猜想的 $k$-顶点树 $T$ 的 $T$-自由 $r$-图。
• 引入一种基于阈值的算法（算法 8.1），通过迭代优化顶点划分，识别出一个大的 $k+r-3$-部子图。
• 证明任何边密度接近 $\frac{(k+r-3)_r}{(k+r-3)^r}$ 的 $H^F_p$-自由 $r$-图，在移除至多 $\varepsilon n$ 个顶点后，必为 $\varepsilon$-接近于一个 $(k+r-3)$-部图。

实验结果

研究问题

• RQ1 对于哪些 $r$-均匀超图 $H^F_p$ 的类，可对所有足够大的 $n$ 精确确定图论极值数 $\mathrm{ex}(n, H^F_p)$？
• RQ2 拉格朗日方法能否扩展至经典图论极值问题以外的超图，以证明稳定性结果？
• RQ3 在嵌入超图 $F$ 的何种条件下，$H^F_p$ 的图论极值数等于平衡完全 $(p-1)$-部 $r$-超图的大小？
• RQ4 接近极值的 $H^F_p$-自由 $r$-图在结构上必须多接近于完全 $(p-1)$-部 $r$-超图？
• RQ5 这些结果在多大程度上推广了关于可消去超图、广义三角形及扩展团的已知结果？

主要发现

• 对所有足够大的 $n$，有 $\mathrm{ex}(n, H^F_p) = |T_r(n, p-1)|$，其中 $T_r(n, p-1)$ 为平衡的完全 $(p-1)$-部 $r$-超图。
• 达到该图论极值数的极值超图恰好是平衡的完全 $(p-1)$-部 $r$-超图。
• 结构稳定性成立：任何边数在 $\delta \binom{n}{r}$ 范围内接近图论极值数的 $H^F_p$-自由 $r$-图，在移除至多 $\varepsilon n$ 个顶点后，必为 $\varepsilon$-接近于一个 $(p-1)$-部图。
• 结果推广了关于可消去 $3$-图（Bollobás）、广义三角形（Frankl-Füredi）及 $r$-部超图（Pikhurko, Norin-Yepremyan）的早期发现。
• 通过拉格朗日方法与对称化技术，成功将该方法扩展至 $r \geq 3$，为一大类超图提供了精确图论极值数的统一框架。
• 证明依赖于对 $r$-均匀超图中 $k$-顶点树的 Erd\'os-S{\o}s} 猜想的递归应用，表明 $F$-自由图若具有高拉格朗日值，则其邻接结构中必包含大的 $k$-顶点树。