[论文解读] The spectral radius of graphs with no intersecting triangles

Sebastian M. Cioabă, Lihua Feng+2 more|arXiv (Cornell University)|Nov 29, 2019

Graph theory and applications参考文献 25被引用 9

一句话总结

本文确定了在所有排除 $ k $-扇图（$ k $ 个共享一个公共顶点的三角形）的 $ n $-顶点图中，谱半径最大的极值图，证明当 $ n $ 足够大时，此类极值图恰好是 Turán 型问题 $ \mathrm{ex}(n, F_k) $ 的极值图。该结果建立了经典极值图论的谱对应，表明在 $ F_k $-自由约束下，谱半径的最大值恰好由已知的边数最多的极值图实现。

ABSTRACT

A graph on $2k+1$ vertices consisting of $k$ triangles which intersect in exactly one common vertex is called a $k$-fan and denoted by $F_k$. This paper aims to determine the graphs of order $n$ that have the maximum (adjacency) spectral radius among all graphs containing no $F_k$, for $n$ sufficiently large.

研究动机与目标

• 确定在所有 $ F_k $-自由图中，阶为 $ n $ 的图中邻接谱半径最大的图，其中 $ F_k $ 为 $ k $-扇图（$ k $ 个共享一个公共顶点的三角形）。
• 为 $ F_k $-自由图的经典 Turán 型极值问题建立谱对应。
• 证明当 $ n $ 足够大时，实现最大谱半径的图恰好是满足 $ F_k $-自由条件下边数最多的极值图 $ G_n^i $。
• 通过将谱半径最大化与 Turán 型极值边数联系起来，弥合谱图论与极值图论之间的鸿沟。
• 利用特征值交错性与三角形移除引理分析在 $ F_k $-自由约束下谱半径最大的图的结构。

提出的方法

• 使用 Rayleigh 商比较候选图 $ G $ 与具有 $ \mathrm{ex}(n, F_k) $ 条边的极值 $ F_k $-自由图 $ H $ 的谱半径。
• 在 $ H $ 的最大割上构造一个向量 $ \mathbf{x} $，并应用特征值交错性来界定谱半径差。
• 定义边集 $ E_+ = E(H) \setminus E(G) $ 和 $ E_- = E(G) \setminus E(H) $，并在假设 $ e(G) < \mathrm{ex}(n, F_k) $ 下使用不等式 $ |E_+| \geq |E_-| + 1 $。
• 应用 $ |E_-| < 2k^2 $ 的上界，并利用 Rayleigh 商中交叉项贡献的衰减性，证明当 $ n $ 足够大时 $ \lambda_1(H) > \lambda_1(G) $。
• 利用三角形移除引理来支持对图 $ G $ 的结构假设，从而允许使用均衡划分与多项式特征值界。
• 通过证明 $ \lambda_1(H) > \lambda_1(G) $ 导出矛盾，从而推出 $ e(G) = \mathrm{ex}(n, F_k) $，因此 $ G \in \mathrm{Ex}(n, F_k) $。

实验结果

研究问题

• RQ1 对于足够大的 $ n $，哪些阶为 $ n $ 的 $ F_k $-自由图能实现最大的邻接谱半径？
• RQ2 在 $ F_k $-自由图中，边数极值问题 $ \mathrm{ex}(n, F_k) $ 的极值图是否也是谱半径的极值图？
• RQ3 是否只有在边数达到最大值时，$ F_k $-自由图的谱半径才能被最大化？
• RQ4 当 $ e(G) < \mathrm{ex}(n, F_k) $ 时，谱半径在小规模边扰动下的行为如何？能否利用此行为导出矛盾？
• RQ5 三角形移除引理在分析 $ F_k $-自由图的谱极值结构中起到什么作用？

主要发现

• 当 $ n $ 足够大时，任何谱半径最大的 $ F_k $-自由图 $ G $ 必须恰好有 $ \mathrm{ex}(n, F_k) $ 条边。
• 在 $ F_k $-自由条件下边数最多的极值图 $ G_n^i $（$ i=1,2 $）恰好也是谱半径最大的图。
• 若 $ e(G) < \mathrm{ex}(n, F_k) $，则图 $ G $ 的谱半径严格小于任意具有 $ \mathrm{ex}(n, F_k) $ 条边的 $ F_k $-自由图 $ H $ 的谱半径，从而在 $ n $ 足够大时导致矛盾。
• 证明依赖于通过边集差 $ E_+ $ 与 $ E_- $ 来界定 Rayleigh 商差，表明当 $ e(G) < \mathrm{ex}(n, F_k) $ 时 $ \lambda_1(H) > \lambda_1(G) $。
• 分析利用三角形移除引理控制结构偏差，确保仅极值图能实现最大谱半径。
• 该结果在 $ n > 232k^2 $ 时成立，尽管由于使用了三角形移除引理，具体阈值未被量化。