[论文解读] Minimum Number of k-Cliques in Graphs with Bounded Independence Number

Oleg Pikhurko, Emil R. Vaughan|arXiv (Cornell University)|Mar 20, 2012

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

一句话总结

该论文通过旗代数与半定规划方法，确定了独立数小于 $ l $ 的 $ n $ 阶图中 $ k $-团的渐近最小数量，解决了 $ k=3 $ 且 $ 4 \leq l \leq 7 $，以及 $ l=3 $ 且 $ 4 \leq k \leq 7 $ 的情形，建立了精确的渐近密度 $ c_{k,l} $，表明在此类情况下图论型构造（Turán 型）是最优的，并证明极值图不总是拉姆齐图的展开形式，从而挑战了先前的猜想。

ABSTRACT

Erdos asked in 1962 about the value of f(n,k,l), the minimum number of k-cliques in a graph of order n and independence number less than l. The case (k,l)=(3,3) was solved by Lorden. Here we solve the problem (for all large n) when (k,l) is (3,4), (3,5), (3,6), (3,7), (4,3), (5,3), (6,3), and (7,3). Independently, Das, Huang, Ma, Naves, and Sudakov did the cases (k,l)=(3,4) and (4,3).

研究动机与目标

• 确定 Erdős 于 1962 年提出的问题中，独立数小于 $ l $ 的 $ n $ 阶图中 $ k $-团的渐近最小数量。
• 对所有充分大的 $ n $，解决 $ f(n,k,l) $ 的极值函数在 $ k=3 $、$ 4\leq l\leq 7 $，以及 $ l=3 $、$ 4\leq k\leq 7 $ 情形下的未决情况。
• 验证 $ f(n,k,l) $ 的极值图是否总是极值拉姆齐图的展开形式，从而挑战 Das 等人提出的猜想。

提出的方法

• 使用旗代数与半定规划（SDP）推导并验证子图密度上的不等式。
• 通过开源软件 Flagmatic 应用旗代数框架，计算数值界并将其转化为严格证明。
• 分析候选极值图中合法集合的梯度，以证明稳定性和最优性。
• 将极值图构造为特定基图的均匀展开：当 $ k=3 $ 时为 $ \overline{K}_{l-1} $，当 $ k=4,5 $ 时为 $ C_5 $，当 $ k=6,7 $ 时为克莱布什图的补图 $ \overline{L} $。
• 应用稳定性论证与反证法，表明任何对极值构造的偏离都会增加 $ k $-团的数量。
• 通过验证所有合法集合的梯度均严格大于目标密度 $ c_{k,l} $，确认所构造的图是严格极值配置。

实验结果

研究问题

• RQ1 对于 $ k=3 $ 且 $ 4\leq l\leq 7 $ 的情形，$ n $ 个顶点且独立数小于 $ l $ 的图中 $ k $-团的渐近最小数量是多少？
• RQ2 当 $ k=3 $ 且 $ l\in\{4,5,6,7\} $ 时，$ \overline{K}_{l-1} $ 的均匀展开是否在最小化 $ k $-团数量方面是最优的？
• RQ3 当 $ l=3 $ 且 $ k\in\{4,5,6,7\} $ 时，$ k $-团的最小数量是否由 $ 5 $-圈 $ C_5 $ 或克莱布什图的补图的展开实现？
• RQ4 $ f(n,k,l) $ 的极值图是否总是可作为极值拉姆齐图的展开形式，如 Das 等人所猜想的那样？
• RQ5 基于 8 个顶点的 $ (3,4) $-拉姆齐图的构造，对于 $ f(n,4,4) $ 是否渐近最优？

主要发现

• 当 $ 4 \leq l \leq 7 $ 时，$ k $-团的渐近密度为 $ c_{3,l} = (l-1)^{-2} $，由 $ \overline{K}_{l-1} $ 的均匀展开实现。
• 当 $ k=4 $ 时，$ c_{4,3} = 3/25 $，由 $ 5 $-圈 $ C_5 $ 的均匀展开实现，与 Nikiforov 的结果一致。
• 当 $ k=5 $ 时，$ c_{5,3} = 31/625 $，同样由 $ C_5 $ 展开实现，且该界通过旗代数方法严格证明。
• 当 $ k=6 $ 时，$ c_{6,3} = 19211/1048576 $；当 $ k=7 $ 时，$ c_{7,3} = 98491/16777216 $，二者均由克莱布什图的补图 $ \overline{L} $ 实现。
• 当 $ k=6,7 $ 且 $ l=3 $ 时，极值图并非任何极值拉姆齐图的展开形式，从而推翻了 Das 等人提出的猜想。
• 对 $ c_{4,4} $ 的一个猜想上界为 $ (-11 + 14 \cdot 2^{1/3})/192 $，该界源自一个 8 个顶点的 $ (3,4) $-拉姆齐图，Flagmatic 的数值证据表明其具有最优性。