[論文レビュー] Upper bound for the Laplacian eigenvalues of a graph

Miriam Farber, Ido Kaminer|arXiv (Cornell University)|Jun 3, 2011

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

ひとこと要約

本稿では、重みなしおよび重み付きグラフのラプラシアン固有値に対する新しい上界を確立し、補グラフ $\bar{G}$ が $K_m + (n-m)K_1$ でない場合に、重みなしグラフに対して $\lambda_{m+1}(G) \leq d_m(G) + m - 1$ が成り立つことを示している。この上界はスペクトル双対性と次数列解析を用いて導出され、正規化およびゲルシュゴリン型固有値推定を介して重み付きグラフへと拡張されており、特定のグラフクラスにおいては従来の結果よりも tighter な区間制約を提供する。

ABSTRACT

In this note we give a new upper bound for the Laplacian eigenvalues of an unweighted graph. Let $G$ be a simple graph on $n$ vertices. Let $d_{m}(G)$ and $λ_{m+1}(G)$ be the $m$-th smallest degree of $G$ and the $m+1$-th smallest Laplacian eigenvalue of $G$ respectively. Then $ λ_{m+1}(G)\leq d_{m}(G)+m-1 $ for $\bar{G} eq K_{m}+(n-m)K_1 $. We also introduce upper and lower bound for the Laplacian eigenvalues of weighted graphs, and compare it with the special case of unweighted graphs.

研究の動機と目的

• グラフの次数列に基づいて、重みなしグラフの $(m+1)$ 番目に小さいラプラシアン固有値に対する新しい上界を導出すること。
• エッジ重みを正規化し、補グラフの構造を分析することによって、上界を重み付きグラフへと拡張すること。
• 新しい上界を、ブローヴァー＝ハエマーおよびグラウン＝マーリスの既存の下界・上界と比較すること。
• 特にスターモチーフのグラフに辺を追加した場合に、導出された上界が等号をとる条件を同定すること。

提案手法

• 補グラフ $\bar{G}$ を用いたスペクトル双対性と恒等式 $\lambda_i(\bar{G}) = n - \lambda_{n-i+2}(G)$ を用いて、$G$ と $\bar{G}$ の固有値を関連付ける。
• 双対性を介して、$\lambda_{n-m+1}(\bar{G})$ に対するブローヴァー＝ハエマーの下界を適用し、$\lambda_{m+1}(G)$ に対する下界を導出する。
• 条件 $\bar{G} \neq K_m + (n-m)K_1$ の下で、鍵となる不等式 $\lambda_{m+1}(G) \leq d_m(G) + m - 1$ を確立する。
• 重み付きグラフの場合、エッジ重みを最大重み $a$ で正規化し、正規化されたグラフ $\hat{G}$ に対して同じ双対性および固有値推定手法を適用する。
• ゲルシュゴリン円定理を用いて、下位固有値の下界を求めるためのリーマン商における二次形式 $\langle A(G_{l_m})g, g \rangle / \langle g, g \rangle \leq \Delta(G_{l_m})$ を評価する。
• 補グラフ $\bar{\hat{G}}$ の $m$ 個の最大次数頂点に誘導される部分グラフ $H$ を分析することにより、重み付きグラフの上界 $\lambda_{m+1}(G) \leq d_m(G) + m a - \delta(G_{S_m})$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 次数列を用いて、重みなしグラフの $(m+1)$ 番目のラプラシアン固有値に対する、最もタイトな上界は何か？
• RQ2 重み付きグラフのラプラシアン固有値は、最大エッジ重みおよび高次度頂点部分グラフの構造とどのように関係するか？
• RQ3 導出された上界がタイトになる条件は何か？ また、既知の下界と比較してどうなるか？
• RQ4 グラフとその補グラフの間のスペクトル双対性を用いて、ラプラシアン行列の新しい固有値不等式を導出できるか？

主な発見

• 重みなしグラフに対して、上界 $\lambda_{m+1}(G) \leq d_m(G) + m - 1$ は、$\bar{G} \neq K_m + (n-m)K_1$ である限り成り立ち、従来の上界に対して顕著な改善をもたらす。
• 重み付きグラフの場合、上界は $\lambda_{m+1}(G) \leq d_m(G) + m a - \delta(G_{S_m})$ であり、$a$ は最大エッジ重み、$\delta(G_{S_m})$ は $m$ 個の最大次数頂点に誘導される部分グラフの最小次数である。
• 重みなしの場合、等号は $d_m(G) = d_{m-1}(G) + n - 3$ のとき成立し、次数列に特定の構造的条件が課される。
• 重みなしの場合、$d_m(G) - n + m + 1 \leq \lambda_m(G) \leq d_{m-1}(G) + m - 2$ という導出された上界は、一般の重み付きケースの $d_m(G) - n + m \leq \lambda_m(G) \leq d_{m-1}(G) + m - 1$ よりもタイトである。
• スターモチーフ $K_{1,n-1}$ に辺を追加したグラフで、$d_{n-1}(G) = 2$ となる場合、$\lambda_n(G)$ に対して上界が鋭い（等号成立）。
• 双対性および部分グラフの次数解析を用いたこの手法は、既知の固有値上界を体系的に一般化し、ラプラシアン固有値をバインドするための包括的フレームワークを提供する。