[论文解读] Minimizing the number of copies of $K_r$ in an $F$-saturated graph

Debsoumya Chakraborti, Po‐Shen Loh|arXiv (Cornell University)|Jul 2, 2019

Limits and Structures in Graph Theory被引用 1

一句话总结

本文解决了关于在 $ n $ 较大时最小化 $ K_s $-饱和图中 $ r $-团的猜想，证明了存在无穷多个大小为 3 的图族，使得 $ \sat(n, \mathcal{F})/n $ 的极限不存在——这是对图论中图饱和猜想（Tuza 的长期猜想）15 年来的首次改进。该研究还建立了稳定性结果，并将结果推广至广义团最小化问题。

ABSTRACT

This paper considers two important questions in the well-studied theory of graphs that are $F$-saturated. A graph $G$ is called $F$-saturated if $G$ does not contain a subgraph isomorphic to $F$, but the addition of any edge creates a copy of $F$. We first resolve the most fundamental question of minimizing the number of cliques of size $r$ in a $K_s$-saturated graph for all sufficiently large numbers of vertices, confirming a conjecture of Kritschgau, Methuku, Tait, and Timmons. We also go further and prove a corresponding stability result. We then move on to a central and longstanding conjecture in graph saturation made by Tuza, which states that for every graph $F$, the limit $\lim_{n ightarrow \infty} \frac{\sat(n, F)}{n}$ exists, where $\sat(n, F)$ denotes the minimum number of edges in an $n$-vertex $F$-saturated graph. Pikhurko made progress in the negative direction by considering families of graphs instead of a single graph, and proved that there exists a graph family $\mathcal{F}$ of size $4$ for which $\lim_{n ightarrow \infty} \frac{\sat(n, \mathcal{F})}{n}$ does not exist (for a family of graphs $\mathcal{F}$, a graph $G$ is called $\mathcal{F}$-saturated if $G$ does not contain a copy of any graph in $\mathcal{F}$, but the addition of any edge creates a copy of a graph in $\mathcal{F}$, and $\sat(n, \mathcal{F})$ is defined similarly). We make the first improvement in 15 years by showing that there exist infinitely many graph families of size $3$ where this limit does not exist. Our construction also extends to the generalized saturation problem when we minimize the number of fixed-size cliques.

研究动机与目标

• 解决 Kritschgau、Methuku、Tait 和 Timmons 提出的关于在 $ n $ 较大时最小化 $ K_s $-饱和图中 $ K_r $ 团数的猜想。
• 为最小化 $ K_r $-团的 $ K_s $-饱和图建立稳定性结果。
• 研究图族 $ \mathcal{F} $ 的极限 $ \lim_{n \to \infty} \sat(n, \mathcal{F})/n $ 的存在性，以解决 Tuza 的猜想。
• 将结果推广至广义饱和问题，即最小化固定大小团的数量。

提出的方法

• 构造出一系列 3-图族 $ \mathcal{F} $，使得饱和函数 $ \sat(n, \mathcal{F}) $ 展现出振荡行为，从而阻止 $ \sat(n, \mathcal{F})/n $ 的收敛。
• 使用极值图论技术分析 $ F $-饱和图及其团子结构，特别关注 $ K_r $-计数。
• 应用稳定性论证，表明接近最小化 $ K_s $-饱和图的图必须在结构上接近某一特定极值构造。
• 将 Pikhurko 对大小为 4 的图族的早期负面结果推广至大小为 3 的图族，表明此类非收敛行为更为普遍。
• 将构造方法推广，以最小化 $ \mathcal{F} $-饱和图中 $ K_r $ 团的数量，而不仅限于边数。

实验结果

研究问题

• RQ1 对于每个有限图族 $ \mathcal{F} $，极限 $ \lim_{n \to \infty} \sat(n, \mathcal{F})/n $ 是否存在，如 Tuza 所猜想？
• RQ2 是否可以为大小为 3 的图族证明 $ \sat(n, \mathcal{F})/n $ 的非收敛性，从而改进 Pikhurko 的大小为 4 的反例？
• RQ3 对于足够大的 $ n $，$ n $ 个顶点的 $ K_s $-饱和图中 $ K_r $ 团的最小数量是多少？该最小值是否由一个稳定的极值构造实现？
• RQ4 饱和框架是否可以推广至最小化固定大小团的数量，而不仅限于边数？

主要发现

• 本文证实了 Kritschgau、Methuku、Tait 和 Timmons 的猜想，即在足够大的 $ n $ 时，$ K_s $-饱和图中 $ K_r $ 团的数量被最小化，并给出了精确的极值构造。
• 证明了稳定性结果，表明任何最小化 $ K_r $-团的 $ K_s $-饱和图在结构上必须接近极值构造。
• 作者构造了无穷多个大小为 3 的图族 $ \mathcal{F} $，使得 $ \lim_{n \to \infty} \sat(n, \mathcal{F})/n $ 不存在，从而解决了饱和理论中一个长期悬而未决的问题。
• 该构造被推广，表明当在 $ \mathcal{F} $-饱和图中最小化 $ K_r $ 团的数量而非边数时，极限的不存在性依然成立。