[논문 리뷰] Spectrum of Laplacians for Graphs with Self-Loops

Behçet Açıkmeşe|arXiv (Cornell University)|2015. 05. 29.

Graph theory and applications참고 문헌 15인용 수 6

한 줄 요약

이 논문은 가상으로 연결된 그래프와 자기순환을 포함한 무향 그래프의 라플라시안 행렬에 대한 스펙트럼 분석을 제안한다. 자기순환을 가진 그래프의 라플라시안 고유값은 루프가 없는 그래프로의 리프팅 변환을 통해 얻어진 그래프의 양의 스펙트럼 내에 포함되며, 이는 $2d(\text{G}^o) + 1$로 유계임을 증명한다. 이는 분산 제어 시스템에서의 안정성 분석에 기여한다.

ABSTRACT

This note introduces a result on the location of eigenvalues, i.e., the spectrum, of the Laplacian for a family of undirected graphs with self-loops. We extend on the known results for the spectrum of undirected graphs without self-loops or multiple edges. For this purpose, we introduce a new concept of pseudo-connected graphs and apply a lifting of the graph with self-loops to a graph without self-loops, which is then used to quantify the spectrum of the Laplacian for the graph with self-loops.

연구 동기 및 목표

• 루프가 없는 그래프에서의 라플라시안 행렬에 대한 스펙트럼 경계를 자기순환을 포함한 그래프로 확장하기 위해.
• 모든 연결 성분이 적어도 하나의 자기순환을 포함하는 그래프의 개념인 '가상으로 연결된 그래프'를 정의하고 체계화하기 위해.
• 자기순환을 포함한 그래프를 크기가 $2N+1$ 정점인 루프가 없는 그래프로 매핑하는 리프팅 기법을 개발하기 위해.
• 원래 그래프의 라플라시안 고유값이 리프팅된 그래프의 스펙트럼 내에 포함됨을 확립하기 위해.
• 분산 제어 및 추정 시스템에서의 안정성 분석에 유용한 정량적 스펙트럼 경계를 제공하기 위해.

제안 방법

• 가상으로 연결된 그래프의 개념을 도입: 무향이며 루프가 없는 그래프에서 각 연결 성분이 적어도 하나의 자기순환을 포함하는 그래프.
• 총 $2N+1$ 개의 정점을 가진 리프팅 그래프 $\hat{\mathbf{G}}$를 정의: $\mathbf{G}$의 각 정점 $i$에 대해 $i$와 $i+N+1$을 포함하며, 중심 정점 $N+1$을 추가한다.
• 자기순환을 위한 선택 행렬 $S$와 $\mathbf{G}^o$의 간선을 나타내는 $E^o$를 사용하여 리프팅 그래프의 간선-정점 인cidenc 행렬 $\hat{E}$를 구성한다.
• 리프팅 그래프의 라플라시안을 $\mathcal{L}(\hat{\mathbf{G}}) = \hat{E}^T \hat{E}$로 유도하며, 이는 원래 간선 블록과 중심 정점과의 연결 블록을 포함한다.
• 고유벡터 $[v \; 0 \; -v]^T$를 통해 $\mathcal{L}(\mathbf{G})$의 임의의 고유값 $\psi$가 $\mathcal{L}(\hat{\mathbf{G}})$의 고유값이 됨을 증명한다.
• 불등식 $\mathcal{L}(\mathbf{G}) \leq \mathcal{L}(\mathbf{G}^o) + I$를 이용해 $\max\sigma(\mathcal{L}(\mathbf{G})) \leq 2d(\mathbf{G}^o) + 1$을 유도한다.

실험 결과

연구 질문

• RQ1 자기순환은 그래프 라플라시안의 고유값 분포에 어떻게 영향을 미치는가?
• RQ2 자기순환을 포함한 그래프의 라플라시안이 정의된 양의 정부호가 되기 위한 구조적 조건은 무엇인가?
• RQ3 루프가 없는 그래프로의 변환을 통해 자기순환을 포함한 라플라시안의 스펙트럼을 유계로 둘 수 있는가?
• RQ4 자기순환을 포함한 그래프의 고유값과 루프가 없는 리프팅 그래프의 고유값 간의 관계는 무엇인가?
• RQ5 라플라시안에 대한 스펙트럼 경계는 어떻게 분산 제어 시스템에서의 안정성 분석에 활용될 수 있는가?

주요 결과

• 모든 자기순환을 포함한 무향 그래프의 라플라시안은 그래프가 가상으로 연결되어 있을 때이고 그때에만 정의된 양의 정부호가 된다.
• 자기순환을 포함한 그래프의 $\mathcal{L}(\mathbf{G})$의 모든 고유값은 리프팅된 그래프 $\hat{\mathbf{G}}$의 스펙트럼에 포함되며, 즉 $\sigma(\mathcal{L}(\mathbf{G})) \subseteq \sigma(\mathcal{L}(\hat{\mathbf{G}}))$이다.
• 가상으로 연결된 그래프의 경우, $\mathcal{L}(\mathbf{G})$의 고유값은 리프팅된 그래프 $\hat{\mathbf{G}}$의 양의 스펙트럼에 포함되며, 즉 $\sigma(\mathcal{L}(\mathbf{G})) \subseteq \sigma_+(\mathcal{L}(\hat{\mathbf{G}}))$이다.
• 라플라시안 $\mathcal{L}(\mathbf{G})$의 최대 고유값은 $2d(\mathbf{G}^o) + 1$로 상한이 둔다. 여기서 $d(\mathbf{G}^o)$는 루프가 없는 부분그래프 $\mathbf{G}^o$의 최대 차수이다.
• 리프팅 구조는 고유값 포함성을 유지하며, 루프가 없는 그래프에 대한 기존의 경계를 활용한 스펙트럼 분석을 가능하게 한다.
• 이 결과는 자기순환을 포함한 시스템로 분산 관측기의 안정성 증명을 확장하기 위한 이론적 기초를 제공한다.