[論文レビュー] More results on the distance (signless) Laplacian eigenvalues of graphs

Jie Xue, Huiqiu Lin+2 more|arXiv (Cornell University)|May 21, 2017

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

ひとこと要約

本稿は、クリーク数 ω を用いて連結グラフの距離ラプラシアン固有値半径に関する新たな下界を確立し、∂₁ᴸ(G) ≥ n + ⌈n/ω⌉ を証明する。さらに、与えられた n と ω に対して距離固有値半径を最大にする一意的な極値グラフを同定し、Aouchiche と Hansen が提起した単一サイクルグラフにおける距離符号なしラプラシアン固有値半径に関する予想を確認する。その結果、n ≥ 6 頂点のすべての単一サイクルグラフの中で、Ki_{n,3} が最大値を達成することが示された。

ABSTRACT

Let $G$ be a connected graph with vertex set $V(G)$ and edge set $E(G)$. Let $Tr(G)$ be the diagonal matrix of vertex transmissions of $G$ and $D(G)$ be the distance matrix of $G$. The distance Laplacian matrix of $G$ is defined as $\mathcal{L}(G)=Tr(G)-D(G)$. The distance signless Laplacian matrix of $G$ is defined as $\mathcal{Q}(G)=Tr(G)+D(G)$. In this paper, we give a lower bound on the distance Laplacian spectral radius in terms of $D_1$, as a consequence, we show that $\partial_1^L(G)\geq n+\lceil\frac{n}ω ceil$ where $ω$ is the clique number of $G$. Furthermore, we give some graft transformations, by using them, we characterize the extremal graph attains the maximum distance spectral radius in terms of $n$ and $ω$. Moreover, we also give bounds on the distance signless Laplacian eigenvalues of $G$, and give a confirmation on a conjecture due to Aouchiche and Hansen.

研究の動機と目的

• クリーク数 ω(G) を用いて距離ラプラシアン固有値半径 ∂₁ᴸ(G) の新たな下界を確立し、∂₁ᴸ(G) ≥ n + ⌈n/ω⌉ を証明すること。
• 与えられた n と ω に対して距離固有値半径を最大にする一意のグラフを同定すること。
• Aouchiche と Hansen が提起した、単一サイクルグラフにおける距離符号なしラプラシアン固有値半径の極値グラフに関する予想を確認すること。
• 距離符号なしラプラシアン固有値半径を維持または増加させるグラフト変換を考案し、極値グラフの同定を可能にする。
• 距離符号なしラプラシアン固有値にタイトな境界を確立し、その極値構造を分析すること。

提案手法

• 頂点伝送量の対角行列を表す Tr(G) を用いて、距離ラプラシアン行列 L(G) = Tr(G) - D(G) と距離符号なしラプラシアン行列 Q(G) = Tr(G) + D(G) を定義する。
• レイリー商と固有ベクトル解析を用いたスペクトルグラフ理論的手法を適用し、∂₁ᴸ(G) および ∂₁Q(G) の境界を導出する。
• 距離固有値半径を増加させる特定の辺の追加または削除を伴うグラフト変換を用い、Ki_{n,3} や T* などのグラフを比較・順序付けする。
• 明示的計算と不等式解析（例：二乗項の和）を用い、特に Ki_{n,3} と U^{4}_{n₁,n₂} のような単一サイクルグラフの ∂₁Q(G) 値を比較する。
• 既知のウィーナー指数 W(G) および伝送和の結果を活用し、関係式 ∂₁Q(G) ≥ 4W(G)/n を用いて ∂₁Q(G) の下界を導出する。
• 単一サイクルグラフにおけるサイクル長 k に基づく場合分け（k=3, k=4, k≥5）を用い、Ki_{n,3} の極値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 クリーク数 ω(G) を用いて、距離ラプラシアン固有値半径 ∂₁ᴸ(G) の最良の可能な下界は何か？
• RQ2 n 頂点とクリーク数 ω を持つすべての連結グラフの中で、距離固有値半径を最大にするグラフは何か？
• RQ3 n ≥ 6 の場合、Ki_{n,3} は距離符号なしラプラシアン固有値半径 ∂₁Q(G) を最大にする唯一の単一サイクルグラフか？
• RQ4 グラフト変換は距離符号なしラプラシアン固有値半径にどのように影響し、極値グラフの同定に利用可能か？
• RQ5 Aouchiche と Hansen が提起した ∂₁Q(G) の極値単一サイクルグラフに関する予想は、スペクトル的および構造的手段を用いて確認可能か？

主な発見

• 本稿は、クリーク数が ω である任意の連結グラフ G に対して、距離ラプラシアン固有値半径が ∂₁ᴸ(G) ≥ n + ⌈n/ω⌉ を満たすことを証明した。
• 与えられた n と ω に対して距離固有値半径を最大にする極値グラフは、K_ω と P_{n−ω} が辺で接続されたグラフ K_ω^{n−ω} であることが示された。
• n ≥ 6 頂点の単一サイクルグラフにおいて、距離符号なしラプラシアン固有値半径 ∂₁Q(G) は Ki_{n,3} によって一意に最大化され、Aouchiche と Hansen の予想が確認された。
• 明示的計算により、すべての n ≥ 14 に対して ∂₁Q(Ki_{n,3}) > ∂₁Q(T*) が成り立ち、数値的検証により 7 ≤ n ≤ 13 の範囲でも同様であることが確認された。
• 本稿は、すべての n ≥ 7 に対して ∂₁Q(U⁴_{n₁,n₂}) < ∂₁Q(U³_{n₁,n₂}) を確立し、サイクル内に次数 3 の頂点を持つグラフが、2 つの隣接する高次元頂点を持つグラフよりも固有値半径が大きいことを示した。
• ウィーナー指数と不等式 ∂₁Q(G) ≥ 4W(G)/n を用い、n ≥ 7 のすべての n に対して ∂₁Q(C_n) < ∂₁Q(Ki_{n,3}) が成り立つことを示し、Ki_{n,3} が固有値半径において厳密に優位であることを導いた。