[论文解读] 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$。該上界透過譜對偶性與度序列分析推導得出，並透過歸一化與 Gersgorin 型特徵值估計方法推廣至加權圖，進而於某些情況下提供比先前結果更緊緻的特徵值區間約束。

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)$ 個最小拉普拉斯特徵值的新上界。
• 透過邊權歸一化與補圖結構分析，將上界推廣至加權圖。
• 將新上界與現有上下界比較，特別是與 Brouwer-Haemers 及 Grone-Merris 的結果比較。
• 描述新上界等號成立的條件，特別是在加入邊的星型圖中。

提出的方法

• 利用補圖 $\bar{G}$ 的譜對偶性與恆等式 $\lambda_i(\bar{G}) = n - \lambda_{n-i+2}(G)$，建立 $G$ 與 $\bar{G}$ 特徵值之間的關聯。
• 應用 Brouwer-Haemers 對 $\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}$ 應用相同的對偶性與特徵值估計技術。
• 利用 Gersgorin 圓定理，對 Rayleigh 商中的二次型 $\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 加權圖的拉普拉斯特徵值如何與最大邊權及高degree頂點子圖結構相關？
• RQ3 所推導的上界在何種條件下會變為緊緻？與已知下界相比如何？
• RQ4 圖與其補圖之間的譜對偶性能否用來推導拉普拉斯矩陣的新特徵值不等式？

主要发现

• 只要 $\bar{G} \neq K_m + (n-m)K_1$，上界 $\lambda_{m+1}(G) \leq d_m(G) + m - 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)$ 是緊緻的，等號成立。
• 該方法成功將已知特徵值界透過對偶性與子圖度分析推廣，提供系統性框架以約束拉普拉斯特徵值。