[論文レビュー] 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.

研究の動機と目的

• 連結グラフの距離符号なしラプラシアン行列の固有値半径の鋭い上界と下界を確立すること。
• 固有値半径の鋭い境界に関する以前に発表された結果に、その鋭さの条件に欠陥があることを是正すること。
• 頂点の伝送値と第二距離次数の系列を用いて、標準的な符号なしラプラシアン行列のスペクトル境界を距離に基づく類似物へ拡張すること。
• 頂点の伝送値や距離の和といったグラフ不変量を用いて、距離符号なしラプラシアン固有値半径の計算可能なタイトな境界を提供すること。

提案手法

• 非負で非可約な行列の固有値半径に関する3つの一般定理を導出し、行和と行列の摂動特性に注目する。
• これらの定理を符号なしラプラシアン行列に適用し、既知の境界を回復・是正し、以前に引用された結果に存在する欠陥を特定する。
• 距離符号なしラプラシアン行列 $\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 $ の固有値半径が、局所的なグラフ不変量（頂点の伝送値と第二距離次数）によってきわめてよく制御されることを示しており、全固有値を計算せずに効率的な推定が可能であることを示している。