[论文解读] Generalized Tur\'an problems for small graphs

Dániel Gerbner|arXiv (Cornell University)|Jun 29, 2020

Limits and Structures in Graph Theory参考文献 23被引用 7

一句话总结

该论文解决了所有至多四个顶点的图 H 和 F 的广义 Turán 问题，确定了在 n 个顶点的 F-自由图中 H 的最大副本数。通过渐进归纳法与结构极值图论，该研究为几乎所有情况建立了精确的渐近结果，关键贡献包括识别出极值图（如 Turán 图、友谊图和完全二分图），并将其与开放问题（如 Ruzsa-Szemerédi 定理）相联系。

ABSTRACT

For graphs $H$ and $F$, the generalized Tur\\'an number $ex(n,H,F)$ is the largest number of copies of $H$ in an $F$-free graph on $n$ vertices. We consider this problem when both $H$ and $F$ have at most four vertices. We give sharp results in almost all cases, and connect the remaining cases to well-known unsolved problems. Our main new contribution is applying the progressive induction method of Simonovits for generalized Tur\\'an problems.

研究动机与目标

• 系统确定所有至多四个顶点的图 H 和 F 的广义 Turán 数 ex(n, H, F)。
• 当 F 被禁止且 H 被计数时，为足够大的 n 建立 ex(n, H, F) 的精确渐近结果。
• 识别出在 F-自由图中使 H 的副本数最大的极值图，包括 Turán 图、友谊图和完全二分图。
• 将未解决的情况与极值组合学中的重大开放问题（如 Ruzsa-Szemerédi 问题）相联系。
• 应用并扩展 Simonovits 的渐进归纳法，以解决广义 Turán 问题。

提出的方法

• 将 Simonovits 的渐进归纳法应用于广义极值图论，将子图计数而非仅边数的技巧推广。
• 使用结构图分解分析避免 F 且最大化 H 副本数的极值图。
• 利用已知的 Turán 图 T_{r}(n)、友谊图 F(n) 和完全 k-分图结果，构建极值构造。
• 通过双重计数和边-邻域论证建立界限，尤其针对 C₄-自由图中的 H = P₄, K₃, M₂ 和 S₄。
• 通过从 H 或 F 中移除孤立顶点来简化涉及孤立顶点的问题，因为它们不影响广义 Turán 数。
• 利用 ex(n, H, F) = ex(n, H', F) 的事实，其中 H' 是从 H 中移除孤立顶点后的图，从而将分析简化为无孤立顶点的图。

实验结果

研究问题

• RQ1 对于所有至多四个顶点的图对 H 和 F，n 个顶点的 F-自由图中 H 的最大副本数是多少？
• RQ2 哪些极值图在 F-自由图中实现了 H 的最大副本数？它们如何依赖于 H 和 F？
• RQ3 对于哪些图对 (H, F)，极值图是 Turán 图、友谊图或完全二分图？
• RQ4 ex(n, H, F) 的渐近行为如何与经典的 Turán 函数 ex(n, F) 相关联？
• RQ5 ex(n, H, F) 的哪些情况仍为开放问题？它们与极值组合学中深层未解决问题有何关联？

主要发现

• 除两对 (H, F) 外，该论文为所有其他情况建立了 ex(n, H, F) 在大 n 下的精确渐近行为，结果总结在一张 10×10 表格中。
• 当 F = K₄ 时，ex(n, H, F) 的极值图通常是 Turán 图 T₃(n)；当 F 为三角形或星图时，极值图通常为完全二分图。
• 在 K₃-自由图中计数 S₄ 时，极值图为星图 Sₙ，它是友谊图 F(n) 的子图。
• 对于 C₄-自由图，P₄、K₃ 和 M₂ 的副本数由 ex(n, C₄) 渐近确定，表明计数这些子图的难度与求解 C₄ 的经典 Turán 问题相当。
• 友谊图 F(n) 为 ex(n, S₄, C₄) 提供了极值构造，并且在 ex(n, P₄, C₄) 和 ex(n, M₂, C₄) 的下界构造中也发挥了作用。
• 仍有两个情况为开放问题：ex(n, H, F) 中 H = T₁ 且 F = B₂，以及 ex(n, H, F) 中 H = C₄ 且 F = T₁，两者均与 Ruzsa-Szemerédi 定理密切相关，仍是主要开放问题。