[论文解读] The Tur\'an number of Berge-K_4 in triple systems

András Gyárfás|arXiv (Cornell University)|Jul 30, 2018

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

一句话总结

本文确定了三元超图（三元系）中 Berge-$K_4$ 的精确图兰数，证明了当 $n \geq 6$ 时，Berge-$K_4$-自由三元系中三元组的最大数量由平衡的完全三部三元超图实现。证明采用归纳法与顶点子集的迹分析，表明任何超过此界限的超图必然包含 Berge-$K_4$ 结构，从而对所有 $n \geq 6$ 精确确立了极值函数。

ABSTRACT

A Berge-$K_4$ in a triple system is a configuration with four vertices $v_1,v_2,v_3,v_4$ and six distinct triples $\\{e_{ij}: 1\\le i< j \\le 4\\}$ such that $\\{v_i,v_j\\}\\subset e_{ij}$ for every $1\\le i<j\\le 4$. We denote by $\\cal{B}$ the set of Berge-$K_4$ configurations. A triple system is $\\cal{B}$-free if it does not contain any member of $\\cal{B}$. We prove that the maximum number of triples in a $\\cal{B}$-free triple system on $n\\ge 6$ points is obtained by the balanced complete $3$-partite triple system: all triples $\\{abc: a\\in A, b\\in B, c\\in C\\}$ where $A,B,C$ is a partition of $n$ points with $$\\left\\lfloor{n\\over 3}\ ight\ floor=|A|\\le |B|\\le |C|=\\left\\lceil{n\\over 3}\ ight\ ceil.$$

研究动机与目标

• 确定 $n$ 个顶点的 Berge-$K_4$-自由三元超图的精确图兰数 $\mathrm{ex}_3(n, \mathcal{B}(K_4))$。
• 证明当 $n \geq 6$ 时，平衡完全三部三元超图实现了三元组数量的最大值。
• 证明即使仅禁止最大 Berge-$K_4$（即 $K_4$ 的展开）时，极值构造仍保持最优。
• 解决 Berge-$K_4$ 结构的精确极值函数，将先前的渐近结果推广为精确值。
• 通过迹多重图与度约束的自包含归纳证明，排除 Berge-$K_4$ 结构的存在。

提出的方法

• 证明基于对 $n$ 的归纳法，假设结论对 $n-1$ 成立，若 $n$ 个顶点的 $\mathcal{B}$-自由三元系包含超过 $f(n)$ 个三元组，则导出矛盾。
• 分析超图 $H_n$ 在子集 $A \subset V(H_n)$ 上的迹多重图 $G(A)$，其中边与环分别表示与 $A$ 有单个或两个顶点相交的三元组。
• 利用图兰定理对迹图进行边界估计，将 $\mathrm{ex}(m, K_4) = \lfloor m^2/3 \rfloor$ 应用于迹图的子图。
• 运用度约束：若最小度超过 $f(n) - f(n-1)$，则结构中必含 Berge-$K_4$，导致矛盾。
• 根据一对顶点的迹中匹配大小分情况讨论，排除可能嵌入 Berge-$K_4$ 的配置。
• 对小规模 $n$（特别是 $n=6$）进行案例分析，验证基础情形，表明 $f(6)+1 = 10$ 个三元组会强制出现 Berge-$K_4$ 结构。

实验结果

研究问题

• RQ1 在 $n$ 个顶点的 Berge-$K_4$-自由三元超图中，三元组的最大精确数量是多少？
• RQ2 当 $n \geq 6$ 时，平衡完全三部三元超图是否在所有 Berge-$K_4$-自由超图中实现了三元组数量的最大值？
• RQ3 即使仅禁止最大 Berge-$K_4$（即 $K_4$ 在 10 个顶点上的展开），是否仍可精确确定极值函数？
• RQ4 极值构造是否唯一？是否存在多个非同构的 Berge-$K_4$-自由超图达到最大值？
• RQ5 能否通过归纳法与迹分析，无需依赖渐近界，来确立 Berge-$K_4$ 的图兰数？

主要发现

• 对所有 $n \geq 6$，图兰数 $\mathrm{ex}_3(n, \mathcal{B}(K_4))$ 精确为 $f(n) = \left\lfloor \frac{n}{3} \right\rfloor \left\lfloor \frac{n+1}{3} \right\rfloor \left\lfloor \frac{n+2}{3} \right\rfloor$。
• 平衡完全三部三元超图实现了该最大值，且当 $n \geq 6$ 时是唯一的极值构造。
• 即使仅禁止最大 Berge-$K_4$（即 $K_4$ 的展开，共 10 个顶点），对 $n \geq 6$，极值数仍为 $f(n)$。
• 基础情形 $n=6$ 通过穷举案例分析验证，表明 10 个三元组会强制出现 Berge-$K_4$ 结构。
• 证明无需禁止所有 Berge-$K_4$ 结构；仅禁止最大结构即可，表明存在非唯一的极小禁止族。
• 该结果将 Pikhurko 和 Mubayi 的先前渐近界精确化，由渐近等价关系提升为精确等式。