[论文解读] Maxima of the Q-index: forbidden 4-cycle and 5-cycle

Maria Aguieiras A. de Freitas, Vladimir Nikiforov+1 more|arXiv (Cornell University)|Aug 7, 2013

Graph theory and applications参考文献 11被引用 5

一句话总结

本文研究了禁止4-圈和5-圈的图的最大无符号拉普拉斯谱半径（Q-指数）。结果表明，当 $ n \geq 4 $ 时，若图中不含4-圈，则其Q-指数严格由友谊图 $ F_n $ 实现；若不含5-圈，则由连图 $ S_{n,2} $ 实现，且仅当图为此类极值图时等号成立。这些结果为禁止圈问题建立了紧致的谱极值界，凸显了其与经典边极值理论的关键差异。

ABSTRACT

This paper gives tight upper bounds on the largest eigenvalue q(G) of the signless Laplacian of graphs with no 4-cycle and no 5-cycle. If n is odd, let F_{n} be the friendship graph of order n; if n is even, let F_{n} be F_{n-1} with an edge hanged to its center. It is shown that if G is a graph of order n, with no 4-cycle, then q(G)

研究动机与目标

• 确定阶为 $ n $ 且不含4-圈的图的最大Q-指数（即无符号拉普拉斯矩阵的最大特征值）。
• 确定阶为 $ n $ 且不含5-圈的图的最大Q-指数。
• 证明极值图是唯一的，并对应于特定构造：不含4-圈的图为 $ F_n $，不含5-圈的图为 $ S_{n,2} $。
• 将Q-指数的谱极值结果与经典边极值理论及谱半径极值结果进行对比。
• 提出并支持关于更长奇圈与偶圈的Q-指数极值图的猜想。

提出的方法

• 证明采用谱图论与特征值交错理论，特别分析了实现最大Q-指数的顶点邻域结构。
• 应用Erdős–Gallai定理约束不含 $ P_4 $ 的子图的结构，表明此类子图必为不相交三角形的并。
• 该方法通过度数约束与函数 $ f(x) = x + (n-3)/x $ 的凸性分析，对顶点邻域与图其余部分之间的边数进行上界估计。
• 通过瑞利商与无符号拉普拉斯矩阵的迹，推导出涉及Q-指数的不等式。
• 证明采用反证法：假设存在图 $ G $ 满足 $ q(G) \neq q(F_n) $ 或 $ q(G) \neq q(S_{n,2}) $，将导致与推导出的Q-指数上界矛盾。
• 利用已知的极值图构造：当 $ n $ 为奇数时，$ F_n $ 为三角形共享一个公共顶点的友谊图；当 $ n $ 为偶数时，为 $ F_{n-1} $ 在中心添加一条边构成。

实验结果

研究问题

• RQ1 阶为 $ n $ 且不含4-圈的图的最大Q-指数是多少？由哪个图实现？
• RQ2 阶为 $ n $ 且不含5-圈的图的最大Q-指数是多少？由哪个图实现？
• RQ3 Q-指数在禁止圈条件下的极值行为与邻接谱半径及边极值函数的极值行为有何异同？
• RQ4 在禁止圈约束下，Q-指数极值图是否唯一？
• RQ5 能否以类似方式刻画更长偶圈与奇圈的极值图？

主要发现

• 当 $ n \geq 4 $ 时，若图 $ G $ 不含4-圈，则 $ q(G) < q(F_n) $，除非 $ G = F_n $，其中 $ F_n $ 为友谊图。
• 当 $ n \geq 6 $ 时，若图 $ G $ 不含5-圈，则 $ q(G) < q(S_{n,2}) $，除非 $ G = S_{n,2} $，其中 $ S_{n,2} $ 为 $ K_2 $ 与大小为 $ n-2 $ 的独立集的连图。
• 友谊图 $ F_n $ 在所有 $ C_4 $-自由图中实现最大Q-指数，$ S_{n,2} $ 在所有 $ C_5 $-自由图中实现最大Q-指数。
• 在禁止圈约束下，Q-指数的极值图在结构上与经典极值图论中的极值图显著不同，尤其不同于边极大的构造。
• 结果表明，Q-指数极值问题与其邻接谱半径对应问题之间存在显著差异，尤其在禁止偶圈时表现尤为突出。
• 本文提出两个猜想：对于奇圈 $ C_{2k+1} $，极值图为 $ S_{n,k} $；对于偶圈 $ C_{2k+2} $，极值图为 $ S_{n,k}^+ $，即在 $ S_{n,k} $ 上添加一条边所得的图。