[论文解读] Triangles in H-free graphs

Noga Alon, Clara Shikhelman|arXiv (Cornell University)|Sep 15, 2014

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

一句话总结

本文研究了在 n 个顶点的 H-自由图中三角形（K₃）的最大数量，引入了函数 ex(n, K₃, H)。通过组合方法、概率方法和谱方法，建立了关键结果：当 H 的 2-核心为友谊图时，ex(n, K₃, H) ≤ c(H)n；当 H 为完全二部图 Kₛ,ₜ 且 t ≥ (s−1)!+1 时，ex(n, K₃, H) = Θ(n³⁻³ᐟˢ)；当 H 为 C₅-自由图时，ex(n, K₃, H) = (1+o(1))√3/2 n² —— 这些结果改进了先前的界限。

ABSTRACT

For two graphs T and H and for an integer n, let ex(n, T,H) denote the maximum possible number of copies of T in an H-free graph on n vertices. The study of this function when T = K2 is a single edge is the main subject of extremal graph theory. In the present paper we investigate the general function, focusing on the case T = K3, which reveals several interesting phenomena. Three representative results are: (i) ex(n,K3, H) ≤ c(H)n iff the 2-core of H is a friendship graph, (ii) For any fixed s ≥ 2 and t ≥ (s− 1)! + 1, ex(n,K3,Ks,t) = Θ(n3−3/s), and (iii) ex(n,K3, C5) ≤ (1 + o(1)) √ 3 2 n . The last statement improves (slightly) an estimate of Bollobas and Győri. The proofs combine combinatorial and probabilistic arguments with simple spectral techniques.

研究动机与目标

• 将极值图论的研究从经典的边数最大化问题（T=K₂）扩展到在 H-自由图中最大化三角形数（T=K₃）。
• 确定 ex(n, K₃, H)（即 n 个顶点的 H-自由图中三角形的最大数量）的渐近行为。
• 识别决定 ex(n, K₃, H) 增长速率的 H 的结构条件，特别关注 H 的 2-核心的作用。
• 通过谱方法和概率技术改进现有界限，例如对 ex(n, K₃, C₅) 的估计。

提出的方法

• 结合极值组合学与概率构造，推导 ex(n, K₃, H) 的上下界。
• 应用谱图论技术分析 H-自由图的结构，以限制三角形密度。
• 利用 H 的 2-核心对 ex(n, K₃, H) 线性增长的情况进行分类。
• 采用双重计数和 Turán 型论证，分析避免特定子图（如 Kₛ,ₜ 和 C₅）的图中三角形的数量。
• 利用已知的极值结果，并通过概率和谱工具加以改进，以获得更紧的渐近估计。
• 分析 H 的 2-核心中友谊图的结构，以推导三角形数量的线性界限。

实验结果

研究问题

• RQ1 在何种 H 的结构条件下，ex(n, K₃, H) 关于 n 线性增长？
• RQ2 对于固定的 s ≥ 2 且 t ≥ (s−1)!+1，ex(n, K₃, Kₛ,ₜ) 的精确渐近增长速率为何？
• RQ3 C₅-自由图中的三角形数量的渐近行为如何？能否改进现有界限？
• RQ4 H 的谱性质在多大程度上影响 H-自由图中三角形的最大数量？
• RQ5 组合方法与谱方法在多大程度上可统一，以对各类 H 推导 ex(n, K₃, H) 的紧致界限？

主要发现

• 当且仅当 H 的 2-核心为友谊图时，ex(n, K₃, H) ≤ c(H)n，这确立了线性增长的结构性阈值。
• 对于任意固定的 s ≥ 2 且 t ≥ (s−1)!+1，有 ex(n, K₃, Kₛ,ₜ) = Θ(n³⁻³ᐟˢ)，揭示了 s 的精确多项式依赖关系。
• ex(n, K₃, C₅) ≤ (1 + o(1)) √3/2 n²，改进了 Bollobás 和 Győri 的先前估计。
• 谱方法在收紧界限方面起到了关键作用，尤其是在 C₅-自由情况下。
• 组合结构与概率构造之间的相互作用使得在多种 H 的情形下均能推导出紧致的渐近估计。
• 结果表明，ex(n, K₃, H) 的增长速率由 H 的局部结构决定，特别是其 2-核心和二部子图。