[논문 리뷰] Upper bound for the Laplacian eigenvalues of a graph

Miriam Farber, Ido Kaminer|arXiv (Cornell University)|2011. 06. 03.

Graph theory and applications참고 문헌 5인용 수 3

한 줄 요약

이 논문은 무게 없는 그래프와 가중치가 있는 그래프의 라플라스 고유값에 대해 새로운 상한을 설정하며, 여부가 $K_m + (n-m)K_1$가 아니면 $\lambda_{m+1}(G) \leq d_m(G) + m - 1$임을 보여준다. 이 상한은 스펙트럼 이중성과 차수 순서 분석을 통해 유도되며, 정규화와 게르쇼르린 유형 고유값 추정을 통해 가중치가 있는 그래프로 확장되어, 특정 경우에 이전 결과보다 더 날카로운 간격 제약 조건을 제공한다.

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)$-번째로 작은 라플라스 고유값에 대한 새로운 상한을 그 차수 순서에 기반해 유도하기.
• 모든 간선 가중치를 최대 가중치 $a$로 정규화하고 보완 그래프의 구조를 분석하여 상한을 가중치가 있는 그래프로 확장하기.
• 새로운 상한을 기존의 하한 및 상한과 비교하여, 특히 브라우어-헤머스와 그론-머리스의 결과와 비교하기.
• 특히 추가된 간선이 있는 별 모양 그래프에서 상한에 등호가 성립하는 조건을 규명하기.

제안 방법

• 보완 그래프 $\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 그래프와 그 보완 간의 스펙트럼 이중성은 라플라스 행렬에 대한 새로운 고유값 부등식을 유도하는 데 사용될 수 있는가?

주요 결과

• 조건 $\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)$ 에 대해 등호가 성립한다.
• 이중성과 부분그래프의 차수 분석을 통한 기존 고유값 상한의 일반화에 성공하였으며, 라플라스 고유값을 유계로 제한하는 체계적인 프레임워크를 제공한다.