[논문 리뷰] On sum of powers of Laplacian eigenvalues and Laplacian Estrada index of graphs

Bo Zhou|arXiv (Cornell University)|2011. 02. 06.

Graph theory and applications참고 문헌 26인용 수 29

한 줄 요약

이 논문은 그래프의 차수 시퀀스를 이용하여 라플라스 고유값의 거듭제곱 합 $ s_\alpha(G) $ 와 라플라스 에스트라다 지수 $ LEE(G) $ 에 대한 날카운 경계를 수립한다. 슈어-볼록성과 주조정 이론을 활용하여 연결 그래프에서 $ s_\alpha(G) $ 와 $ LEE(G) $ 가 별도 그래프 $ S_n $ 에서 최극값을 가짐을 증명하며, $ \alpha > 1 $, $ 0 < \alpha < 1 $, $ \alpha < 0 $ 의 경우에 대해 명시적인 부등식을 유도한다. 또한 $ s_{-1}(G) $ 분석의 부산물로 킬레프 지수에 대한 새로운 하한을 제공한다.

ABSTRACT

Let $G$ be a simple graph and $α$ a real number. The quantity $s_α(G)$ defined as the sum of the $α$-th power of the non-zero Laplacian eigenvalues of $G$ generalizes several concepts in the literature. The Laplacian Estrada index is a newly introduced graph invariant based on Laplacian eigenvalues. We establish bounds for $s_α$ and Laplacian Estrada index related to the degree sequences.

연구 동기 및 목표

• 연결 그래프의 차수 시퀀스를 기반으로 비영 고유값의 $ \alpha $ 승 거듭제곱 합인 $ s_\alpha(G) $ 에 대한 날카운 경계를 유도하는 것.
• 차수 시퀀스를 이용하여 라플라스 에스트라다 지수 $ LEE(G) $ 에 대한 새로운 하한 및 상한을 수립하는 것.
• 유도된 경계에서 등호가 성립하는 최극값 그래프(예: 별 그래프)를 규명하는 것.
• 라플라스 고유값 거듭제곱 합 $ s_{-1}(G) $ 의 분석을 통해 킬레프 지수에 대한 새로운 하한을 제공하는 것.

제안 방법

• 다양한 $ \alpha $ 범위에서 거듭제곱 함수 $ x^\alpha $ 의 슈어-볼록성 특성을 활용하여 기존의 주조정 이론 결과를 적용한다.
• 라플라스 고유값 시퀀스와 변환된 차수 시퀀스 $ (d_1+1, d_2, \dots, d_{n-1}, d_n-1) $ 간의 주조정 관계를 적용: $ (d_1+1, d_2, \dots, d_{n-1}, d_n-1) \preceq (\mu_1, \dots, \mu_n) $.
• 지수 함수의 테일러 급수 전개를 활용하여 라플라스 스펙트럼 모멘트 $ t_k(G) $ 와 라플라스 에스트라다 지수 $ LEE(G) = \sum_{k\geq 0} \frac{t_k(G)}{k!} $ 간의 관계를 설정한다.
• 특히 $ k \geq 1 $ 에서 $ s_k(G) = t_k(G) $ 이며, 차수 시퀀스를 기반으로 $ t_k(G) $ 에 대한 부등식을 도출한다.
• 산산술-기하 평균 부등식 및 기타 고전적 부등식을 적용하여 $ LEE(G) $ 와 $ LEE(G) + LEE(\overline{G}) $ 에 대한 경계를 유도한다.
• 등호 조건을 규명하기 위해 고유값과 차수 시퀀스가 동일한 그래프(예: $ G = S_n $ 또는 $ G = K_n $)의 특성화를 활용한다.

실험 결과

연구 질문

• RQ1 연결 그래프의 차수 시퀀스에 기반하여, 비영 라플라스 고유값의 $ \alpha $ 승 거듭제곱 합인 $ s_\alpha(G) $ 에 대한 가장 날카운 경계는 무엇인가요?
• RQ2 고정된 차수 시퀀스 하에서, 어떤 그래프 구조에서 라플라스 에스트라다 지수 $ LEE(G) $ 가 최소화되거나 최대화되나요?
• RQ3 $ s_{-1}(G) $ 에 대한 유도된 부등식을 활용하여 킬레프 지수를 하한으로 제시할 수 있나요?
• RQ4 특히 $ \alpha > 1 $, $ 0 < \alpha < 1 $, $ \alpha < 0 $ 의 경우에 대해 $ s_\alpha(G) $ 와 $ LEE(G) $ 의 경계는 어떻게 행동하나요?
• RQ5 유도된 경계에서 등호가 성립하는 최극값 그래프(예: 별, 완전, 클리크의 분리합집합 등)는 무엇인가요?

주요 결과

• 모든 $ \alpha > 1 $ 에 대해 $ s_\alpha(G) \geq (d_1+1)^\alpha + \sum_{i=2}^{n-1} d_i^\alpha + (d_n - 1)^\alpha $ 이며, 등호는 $ G = S_n $ 인 경우에만 성립한다.
• 모든 $ 0 < \alpha < 1 $ 에 대해 $ s_\alpha(G) \leq (d_1+1)^\alpha + \sum_{i=2}^{n-1} d_i^\alpha + (d_n - 1)^\alpha $ 이며, 등호는 $ G = S_n $ 인 경우에만 성립한다.
• 모든 $ \alpha < 0 $ 에 대해 $ s_\alpha(G) \geq (d_1+1)^\alpha + \sum_{i=2}^{n-2} d_i^\alpha + (d_{n-1} + d_n - 1)^\alpha $ 이며, 등호는 $ G = S_n $ 또는 $ G = K_3 $ 인 경우에만 성립한다.
• 라플라스 에스트라다 지수는 $ LEE(G) \geq e^{d_1+1} + \sum_{i=2}^{n-1} e^{d_i} + e^{d_n - 1} $ 를 만족하며, 등호는 $ G = S_n $ 인 경우에만 성립한다.
• $ k \geq 1 $ 에 대해 $ t_k(G) \geq \sum_{i=1}^n d_i (1 + d_i)^{k-1} $ 이며, $ k \geq 3 $ 에서 등호는 $ G $ 가 완전 부분그래프들의 정점 분리합집합인 경우에만 성립한다.
• 새로운 킬레프 지수 하한으로 $ Kf(G) \geq \frac{n}{(d_1+1)^{-1} + \sum_{i=2}^{n-1} d_i^{-1} + (d_n - 1)^{-1}} $ 이 도출되었으며, 이는 $ s_{-1}(G) $ 에서 유도되었다.