[论文解读] Some sharp bounds on the distance signless Laplacian spectral radius of graphs

Wenxi Hong, Lihua You|arXiv (Cornell University)|Aug 15, 2013

Graph theory and applications参考文献 3被引用 3

一句话总结

本文利用谱图理论，为连通图的距离符号无符号拉普拉斯谱半径建立了精确的上界和下界。通过推导非负不可约矩阵的一般界并将其应用于距离符号无符号拉普拉斯矩阵，作者基于顶点传输值和第二距离度数，提供了紧致的谱半径估计，纠正了先前在标准符号无符号拉普拉斯谱半径已有界中被忽略的缺陷。

ABSTRACT

M. Aouchiche and P. Hansen proposed the distance Laplacian and the distance signless Laplacian of a connected graph [Two Laplacians for the distance matrix of a graph, LAA 439 (2013) 21{33]. In this paper, we obtain three theorems on the sharp upper bounds of the spectral radius of a nonnegative matrix, then apply these theorems to signless Laplacian matrices and the distance signless Laplacian matrices to obtain some sharp bounds on the spectral radius, respectively. We also proposed a known result about the sharp bound of the signless Laplacian spectral radius has a defect.

研究动机与目标

• 为连通图的距离符号无符号拉普拉斯矩阵的谱半径建立精确的上界和下界。
• 纠正先前发表的关于符号无符号拉普拉斯谱半径结果中的缺陷，该缺陷存在于其紧致性条件中。
• 通过利用顶点传输和第二距离度数序列，将标准符号无符号拉普拉斯矩阵的谱界推广到基于距离的类比形式。
• 利用图不变量（如顶点传输和距离和）提供可计算的、紧致的关于距离符号无符号拉普拉斯谱半径的界。

提出的方法

• 推导非负不可约矩阵谱半径的三个一般定理，重点在于行和与矩阵扰动性质。
• 将这些定理应用于符号无符号拉普拉斯矩阵，以恢复并修正已知界，识别出先前引用结果中的缺陷。
• 引入距离符号无符号拉普拉斯矩阵 $\mathcal{D}^Q = \mathrm{Tr}(G) + \mathcal{D}(G)$，其中 $\mathrm{Tr}(G)$ 为顶点传输的对角矩阵。
• 利用Perron–Frobenius定理，确保最大特征值 $\delta_1^Q(G)$ 是单重的且为正，并具有正特征向量。
• 通过相似变换建立界：$\mathrm{Tr}(G)^{-1}\mathcal{D}^Q\mathrm{Tr}(G)$，其行和为 $\mathcal{D}_i + \frac{T_i}{\mathcal{D}_i}$。
• 基于平方矩阵 $ (\mathcal{D}^Q)^2 $ 推导界，其行和为 $ 2T_i + 2\mathcal{D}_i^2 $，从而导出涉及 $ \sqrt{2T_i + 2\mathcal{D}_i^2} $ 的界。

实验结果

研究问题

• RQ1 在图不变量的术语下，距离符号无符号拉普拉斯谱半径的最紧致上界和下界是什么？
• RQ2 如何将非负矩阵谱半径的一般界特化，以获得距离符号无符号拉普拉斯矩阵的精确结果？
• RQ3 先前声称的关于标准符号无符号拉普拉斯谱半径的紧致界中存在什么缺陷，如何修正？
• RQ4 在何种图条件下，$\delta_1^Q(G)$ 的推导界达到等式？
• RQ5 能否仅使用顶点传输和第二距离度数序列来界定 $\mathcal{D}^Q$ 的谱半径？

主要发现

• 本文证明了 $ \delta_1^Q(G) \leq \max\left\{ \mathcal{D}_i + \frac{T_i}{\mathcal{D}_i} \right\} $ 且 $ \delta_1^Q(G) \geq \min\left\{ \mathcal{D}_i + \frac{T_i}{\mathcal{D}_i} \right\} $，当且仅当所有值 $ \mathcal{D}_i + \frac{T_i}{\mathcal{D}_i} $ 相等时取等。
• 先前引用的关于符号无符号拉普拉斯谱半径的紧致界被证明存在缺陷，原因在于其等式条件无效，本文提供了修正版本。
• 建立了界 $ \delta_1^Q(G) \leq \max\left\{ \sqrt{2T_i + 2\mathcal{D}_i^2} \right\} $，当且仅当所有顶点的 $ T_i + \mathcal{D}_i^2 $ 为常数，或 $ (\mathcal{D}^Q)^2 $ 满足特定可约性条件时取等。
• 对于完全图 $ K_n $，距离符号无符号拉普拉斯谱半径恰好为 $ 2n - 2 $，该值可作为已知下界。
• 所推导界中的等式条件被完整刻画：对于 $ \mathcal{D}_i + \frac{T_i}{\mathcal{D}_i} $ 界，等式成立当且仅当所有此类值相等；对于 $ \sqrt{2T_i + 2\mathcal{D}_i^2} $ 界，等式成立取决于图的特定结构条件或矩阵的可约性。
• 作者证明了 $ \mathcal{D}^Q $ 的谱半径由局部图不变量——顶点传输和第二距离度数——紧密控制，从而可在无需完整特征值计算的情况下实现高效估计。