[论文解读] The maximum spectral radius of C_4-free graphs of given order and size

Vladimir Nikiforov|ArXiv.org|Dec 8, 2007

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

一句话总结

该论文证明了对于边数 $m \geq 9$ 的 $C_4$-自由图，其谱半径 $\mu$ 满足 $\mu^2 \leq m$，且等号成立当且仅当图是一棵星图。该结果通过显式引入边数，改进了以往仅依赖于顶点数的谱半径界，填补了小边数时的空白，并通过在 $C_4$-自由约束下最大化谱半径，刻画了极值图。此外，论文还证明了若 $\mu > \sqrt{m}$，则图中必含 $C_4$，且等号仅在星图或特定的 $S_{9,1}$ 图中成立（当 $m \geq 9$ 时）。该研究通过将谱半径与禁止子图约束及边数直接关联，推进了谱极值图论的发展。

ABSTRACT

Let G be a graph of n vertices and m edges, and let G has no cycles of length 4. We give upper bounds on the adjacency spectral radius of G in terms of n and m.

研究动机与目标

• 确定给定阶数 $n$ 和大小 $m$ 的 $C_4$-自由图的最大可能谱半径 $\mu$。
• 通过将边数 $m$ 显式纳入极值不等式，改进以往仅依赖于 $n$ 的谱半径界。
• 刻画在新界中取等号的极值图，证明当 $m \geq 9$ 时星图为最优。
• 解决 $\mu^2 \leq m$ 不等式在 $m \leq 8$ 时失效的问题，识别出唯一非星图的极值例外 $S_{9,1}$。

提出的方法

• 利用瑞利商和特征向量分析，比较在边增减操作下图的谱半径。
• 应用引理5：若某顶点增加一个邻居，且二次型随之增加，则谱半径严格增大。
• 对边数 $m$ 进行归纳，假设 $\mu > \sqrt{m}$ 会导致出现 $C_4$，除非图是星图或 $S_{9,1}$。
• 通过顶点度数和邻域交集分析 $C_4$-自由图的结构，特别关注度数为2和3的顶点。
• 通过求解三次方程 $x^3 - x^2 - (n-1)x + n - 1 - 2k = 0$ 推导出 $S_{n,k}$ 图的谱半径，并利用该结果检验 $\mu > \sqrt{m}$。
• 采用反证法结合结构分解：假设无 $C_4$，则度数与邻域约束将迫使图呈现与谱半径假设矛盾的结构。

实验结果

研究问题

• RQ1 对于 $m \geq 9$，$C_4$-自由图的谱半径 $\mu$ 的最大值是多少？
• RQ2 $\mu^2 \leq m$ 是否对所有 $m \geq 9$ 的 $C_4$-自由图成立？等号在何时成立？
• RQ3 为何 $\mu^2 \leq m$ 在 $4 \leq m \leq 8$ 时失效？在该范围内是否存在例外图取代星图成为极值图？
• RQ4 条件 $\mu > \sqrt{m}$ 是否可保证图中存在 $C_4$？其例外情况是什么？
• RQ5 对于 $m \geq 9$，是否存在除星图外的其他 $C_4$-自由图使得 $\mu = \sqrt{m}$？

主要发现

• 当 $m \geq 9$ 时，$C_4$-自由图的最大谱半径满足 $\mu^2 \leq m$，且等号成立当且仅当图为星图。
• $\mu^2 \leq m$ 在 $4 \leq m \leq 8$ 时失效，这由 $S_{n,1}$ 图的存在性所证明，其满足 $\mu > \sqrt{m}$。
• 图 $S_{9,1}$（即在独立集中添加一条边的星图）满足 $\mu > \sqrt{9} = 3$，表明在 $m = 9$ 时非星图的该界不成立。
• 若 $\mu > \sqrt{m}$，则图中必含 $C_4$，除非图是星图或 $S_{9,1}$（含孤立点）。
• 当 $m \geq 9$ 时，唯一满足 $\mu \geq \sqrt{m}$ 的 $C_4$-自由图为星图或含孤立点的 $S_{9,1}$ 图，证明了该界的紧致性。
• $S_{n,k}$ 图的谱半径是三次方程 $x^3 - x^2 - (n-1)x + n - 1 - 2k = 0$ 的最大实根，该结果被用于验证图的极值性。