[论文解读] Almost all cancellative triple systems are tripartite

József Balogh, Dhruv Mubayi|ArXiv.org|Oct 15, 2009

Limits and Structures in Graph Theory参考文献 15被引用 6

一句话总结

本文证明了几乎所有可约三元系统——即避免配置 $F_5 = \{123,124,345\}$ 的3-均匀超图——是三部图，意味着其顶点可被划分为三个部分，使得每条边恰好包含每个部分的一个顶点。通过使用强超图正则性引理和稳定性定理，作者表明，此类 $F_5$-自由超图的数量在渐近意义上主要由三部图主导，从而确认了当 $n$ 足够大时，可约三元系统在结构上几乎完全是三部图。该结果改进了早期的极值界，并将关于超图中禁止配置的结果加以拓展。

ABSTRACT

A triple system is cancellative if no three of its distinct edges satisfy $A \cup B=A \cup C$. It is tripartite if it has a vertex partition into three parts such that every edge has exactly one point in each part. It is easy to see that every tripartite triple system is cancellative. We prove that almost all cancellative triple systems with vertex set [n] are tripartite. This sharpens a theorem of Nagle and Rodl on the number of cancellative triple systems. It also extends recent work of Person and Schacht who proved a similar result for triple systems without the Fano configuration. Our proof uses the hypergraph regularity lemma of Frankl and Rodl, and a stability theorem for cancellative triple systems due to Keevash and the second author.

研究动机与目标

• 刻画在 $n$ 个顶点上 $F_5$-自由3-均匀超图的渐近结构。
• 证明几乎所有可约三元系统都是三部图，从而解决极值组合学中的一个结构性问题。
• 在Nagle和Rödl的一般界基础上进行改进，表明 $F_5$-自由超图的对数数量在三部图计数附近被紧密集中。
• 通过强超图正则性引理，将稳定性方法推广至非线性超图。

提出的方法

• 应用Frankl和Rödl的强超图正则性引理，分析含有禁止配置的稠密超图。
• 利用Keevash和Mubayi关于可约三元系统的稳定性定理，将问题简化为接近三部图结构的超图。
• 定义‘坏’边（在划分中不跨部分的边）的概念，并通过密度条件和禁止配置的避免来控制其数量。
• 对 $n$ 进行逐步归纳，移除坏边的顶点，并利用 $F_5$-自由性约束来计数有效扩展。
• 通过控制与非跨部分构型中顶点相关的边集，使用基于熵的边选择界来限制扩展方式的数量。
• 结合划分选择、边扩展和坏边构型的界，证明非三部图的 $F_5$-自由超图在数量上可忽略不计。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，几乎所有 $F_5$-自由3-均匀超图是否都是三部图？
• RQ2 可约三元系统的结构能否在渐近意义上被刻画为三部图？
• RQ3 $F_5$-自由超图的数量与三部图的数量相比如何？
• RQ4 尽管超图是非线性的，强超图正则性引理是否能有效用于刻画 $F_5$-自由超图的结构？

主要发现

• 几乎所有 $[n]$ 上的 $F_5$-自由3-图都是三部图，其数量满足 $|\text{Forb}(n,F_5)| < \left(1 + 2^{Cn - \frac{2n^2}{45}}\right)T(n)$，其中 $C$ 为某常数。
• $F_5$-自由超图集合的对数大小为 $\log_2|\text{Forb}(n,F_5)| = s(n) + n\log_2 3 + \Theta(\log n)$，其中 $s(n) \sim \frac{n^3}{27}$ 为三部3-图中边数的最大值。
• 与三部图数量相比，非三部图的 $F_5$-自由超图数量在渐近意义上可忽略不计，因为误差项 $2^{Cn - \frac{2n^2}{45}}$ 相对于 $T(n)$ 衰减。
• 该结果确认了可约三元系统在结构上几乎完全是三部图，扩展了关于超图中禁止配置的早期结果。
• 证明表明，具有少量非跨边（即接近三部图）的 $F_5$-自由超图主导了极值计数，且此类超图仅在为三部图时才不罕见。