[论文解读] Counting substructures III: quadruple systems

Dhruv Mubayi|ArXiv.org|May 28, 2009

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

一句话总结

本文建立了在超出极值Turán数少量边数的4-图中，特定4-均匀超图（即2-、3-和4-书以及扩展三角形）的副本数的渐近最优下界。利用超图去除引理和Turán问题的稳定性结果，证明此类超图至少包含Θ(n³)个禁止子结构的副本，从而改进了以往仅保证存在一个副本的结果。

ABSTRACT

For various quadruple systems F, we give asymptotically sharp lower bounds on the number of copies of F in a quadruple system with a prescribed number of vertices and edges. Our results extend those of Furedi, Keevash, Pikhurko, Simonovits and Sudakov who proved under the same conditions that there is one copy of $F$. Our proofs use the hypergraph removal Lemma and stability results for the corresponding Turan problem proved by the above authors.

研究动机与目标

• 确定当4-图超出极值Turán数少量边数时，特定4-均匀超图（书P₂、P₃、P₄和扩展三角形C₃）的副本数的渐近最优下界。
• 将先前仅保证存在至少一个禁止子结构副本的结果加以拓展。
• 应用超图去除引理和稳定性定理，推导出极值超图理论中子结构计数的定量下界。
• 刻画在极值超图中增加少量边后，必须出现的每种禁止子结构的最小副本数。

提出的方法

• 利用超图去除引理，该引理指出：若一个超图中包含的禁止子结构副本很少，则通过删除少量边即可消除所有副本。
• 应用Turán问题的稳定性定理，识别出唯一能最大化边数而不含禁止子结构的极值超图（T⁴(n)、D⁴(n)、B⁴(n)）。
• 采用双重计数和基于度数的论证方法，估算在边数略多于极值数的超图中Pₗ和C₃等子结构的副本数。
• 分析超图中顶点的度数和边的分布，将边划分为良好和不良集合，以在子结构副本数较少的假设下导出矛盾。
• 通过在残差超图的边集与一个匹配之间构造二分图，证明某些顶点对在残差图中的度数必须很高，从而在子结构副本数过低时导致矛盾。
• 对边的划分和对的交集进行分类讨论，以界定涉及主超图和残差超图边的C₃副本数。

实验结果

研究问题

• RQ1 当4-图的边数为ex(n,F) + q（q较小）时，4-均匀超图F的副本数最小是多少？
• RQ2 超图去除引理如何帮助将定性存在性结果转化为子结构计数的定量下界？
• RQ3 能否利用极值4-图的稳定性结果，推导出当边数略微超过Turán阈值时，F的副本数的渐近最优下界？
• RQ4 对于哪些4-图F，极值超图在同构意义下唯一？这种唯一性如何实现添加边后对子结构的精确计数？
• RQ5 在刚好超过Turán阈值的超图中，F的副本数的精确渐近增长速率是什么？

主要发现

• 对于P₂、P₃、P₄和C₃这四类4-图，当4-图的边数为ex(n,F) + q（q较小）时，其副本数至少为Θ(n³)，从而建立了渐近最优下界。
• 在极值超图H(n,F)上添加一条边所形成的超图中，F的最小副本数c(n,F)为Θ(n³)，且对P₂、P₃和P₄给出了显式的低阶项。
• 证明表明，若一个4-图的边数仅略多于ex(n,F)，则其必须包含Ω(n³)个F的副本，这与副本数较少的假设通过度数和计数论证产生矛盾。
• 若子结构副本数过低，则残差超图中存在一个顶点的度数为Ω(n³)是必要的，从而导致矛盾。
• 该论证依赖于残差超图中每条边与主超图中的边组合时，能产生大量C₃副本，从而强制残差图中边数较多。
• 通过证明残差超图中某个顶点的度数必须为Ω(n³)，导出矛盾，从而违反了残差结构较小的稳定性假设。