[논문 리뷰] Randić energy and Randić eigenvalues

Xueliang Li, Jianfeng Wang|arXiv (Cornell University)|2014. 04. 22.

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

한 줄 요약

이 논문은 그래프 G의 정규화된 무부호 라플라스 고유값과 그 분할 그래프 S(G)의 레인디치 에너지 사이의 연결 고리를 설정하며, S(G)의 레인디치 에너지가 G의 무부호 라플라스 행렬 고유값에 의해 결정됨을 증명한다. 또한 연결 그래프가 정확히 k개의 서로 다른 레인디치 고유값을 갖는 데 필요한 필수조건과 충분조건을 제시하며, k=2와 k=3의 경우 페르로-프로베니우스 벡터와 행렬 소거 다항식을 사용하여 명시적인 특성화를 제공한다.

ABSTRACT

Let $G$ be a graph of order $n$, and $d_i$ the degree of a vertex $v_i$ of $G$. The Randić matrix ${\bf R}=(r_{ij})$ of $G$ is defined by $r_{ij} = 1 / \sqrt{d_jd_j}$ if the vertices $v_i$ and $v_j$ are adjacent in $G$ and $r_{ij}=0$ otherwise. The normalized signless Laplacian matrix $\mathcal{Q}$ is defined as $\mathcal{Q} =I+\bf{R}$, where $I$ is the identity matrix. The Randić energy is the sum of absolute values of the eigenvalues of $\bf{R}$. In this paper, we find a relation between the normalized signless Laplacian eigenvalues of $G$ and the Randić energy of its subdivided graph $S(G)$. We also give a necessary and sufficient condition for a graph to have exactly $k$ and distinct Randić eigenvalues.

연구 동기 및 목표

• 그래프 G의 정규화된 무부호 라플라스 고유값과 그 분할 그래프 S(G)의 레인디치 에너지 사이의 스펙트럼적 관계를 수립하는 것.
• 연결 그래프가 정확히 k개의 서로 다른 레인디치 고유값을 갖는 데 필요한 필수조건과 충분조건을 결정하는 것.
• 행렬 대수학과 스펙트럼 성질을 사용하여 정확히 두 개와 세 개의 서로 다른 레인디치 고유값을 갖는 그래프를 특성화하는 것.
• 최소 다항식과 페르로-프로베니우스 이론을 통해 레인디치 고유값의 다중성과 구조에 대한 이해를 확장하는 것.

제안 방법

• 블록 행렬 분해와 슈어 보조정리 공식을 사용하여 분할 그래프 S(G)의 레인디치 행렬에 대한 행렬식 항등식을 유도하는 것.
• 항등식 $ \phi_{\mathbf{R}}(S(G),\lambda) = \frac{\lambda^{m-n}}{2^n} \phi_{\mathcal{Q}}(G, 2\lambda^2) $ 를 사용하여 S(G)의 레인디치 다항식과 G의 정규화된 무부호 라플라스 다항식을 연결하는 것.
• 연결 그래프에서 레인디치 행렬의 최대 고유값이 1이며 중복도가 1임을 보장하기 위해 페르로-프로베니우스 정리를 적용하는 것.
• 레인디치 행렬 $ \mathbf{R} $ 의 최소 다항식을 사용하여, k개의 서로 다른 고유값이 있을 경우 그것이 $ (\lambda - 1)(\lambda - \rho_2)\cdots(\lambda - \rho_k) $ 로 표현됨을 보여주는 것.
• 행렬 방정식 $ \prod_{i=2}^{k}(\mathbf{R} - \rho_i I) = c \alpha \alpha^T $ 를 유도하는 것. 여기서 $ c = \frac{\prod_{i=2}^{k}(1 - \rho_i)}{2m} $ 이며, 고유값과 페르로 벡터 $ \alpha $ 를 연결하는 것.
• 행렬 방정식의 대각선 및 비대각선 성분을 분석하여 정확히 k개의 서로 다른 레인디치 고유값을 갖는 그래프에 대한 차수와 공통 이웃 조건을 도출하는 것.

실험 결과

연구 질문

• RQ1 분할 그래프 S(G)의 레인디치 고유값은 그래프 G의 정규화된 무부호 라플라스 고유값과 어떻게 관련이 있는가?
• RQ2 연결 그래프가 정확히 k개의 서로 다른 레인디치 고유값을 갖는 데 필요한 스펙트럼 조건은 무엇인가?
• RQ3 정확히 두 개의 서로 다른 레인디치 고유값을 갖는 그래프에 대해 어떤 구조적 제약 조건이 발생하는가?
• RQ4 정확히 세 개의 서로 다른 레인디치 고유값을 갖는 그래프를 특성화하는 차수와 공통 이웃 조건은 무엇인가?
• RQ5 레인디치 행렬의 최소 다항식을 사용하여 주어진 수의 서로 다른 고유값을 갖는 그래프를 특성화할 수 있는가?

주요 결과

• 분할 그래프 S(G)의 레인디치 에너지는 정규화된 무부호 라플라스 행렬 $ \mathcal{Q}(G) $ 의 고유값에 의해 완전히 결정되며, 관계식 $ \phi_{\mathbf{R}}(S(G),\lambda) = \frac{\lambda^{m-n}}{2^n} \phi_{\mathcal{Q}}(G, 2\lambda^2) $ 를 통해 이루어진다.
• 연결 그래프가 정확히 두 개의 서로 다른 레인디치 고유값을 갖는 것은 오직 그것이 완전 그래프일 때에만 가능하며, 고유값 $ 1 $ 과 $ -\frac{1}{n-1} $ 을 행렬 방정식에 대입하고 모든 정점에 대해 $ d_i = n-1 $ 이라는 조건을 유도함으로써 이를 입증한다.
• 정확히 세 개의 서로 다른 레인디치 고유값 $ 1, \rho_2, \rho_3 $ 을 갖는 그래프의 경우, 다음 조건들이 성립해야 한다: $ \sum_{v_j \sim u_i} \frac{1}{d_j} = c d_i^2 - \rho_2 \rho_3 d_i $, $ \delta_{ij} = c d_i d_j + \rho_2 + \rho_3 $, $ \sigma_{ij} = c d_i d_j $, 여기서 $ c = \frac{(1 - \rho_2)(1 - \rho_3)}{2m} $ 이다.
• 정규 연결 그래프가 정확히 세 개의 서로 다른 레인디치 고유값을 갖는 것은 오직 그것이 강한 정규 그래프일 때에만 가능하며, 이는 차수와 공통 이웃 조건이 강한 정규성 매개변수로 축소되기 때문이다.
• 레인디치 행렬 $ \mathbf{R} $ 의 최소 다항식은 k개의 서로 다른 고유값이 있을 경우 $ (\lambda - 1)(\lambda - \rho_2)\cdots(\lambda - \rho_k) $ 로 표현되며, 이 다항식은 $ \mathbf{R} $ 를 소거한다.
• 행렬 방정식 $ \prod_{i=2}^{k}(\mathbf{R} - \rho_i I) = c \alpha \alpha^T $ 는 $ c = \frac{\prod_{i=2}^{k}(1 - \rho_i)}{2m} $ 일 때 성립하며, 이는 k개의 서로 다른 레인디치 고유값을 갖는 그래프에 대한 완전한 대수적 특성화를 제공한다.