[논문 리뷰] The Laplacian eigenvalues of graphs: a survey

Xiao‐Dong Zhang|arXiv (Cornell University)|2011. 11. 12.

Graph theory and applications참고 문헌 85인용 수 48

한 줄 요약

이 종합적 서베이는 그래프의 라플라시안 고유값에 대해 도로 수열, 독립수, 연결성 등의 그래프 불변량으로부터 유도된 상한과 하한에 중점을 두고 있다. 새로운 미발표 결과와 열린 문제들을 제시하며, 특히 도로 수열에 의한 고유값의 주도성과 이중 확률 행렬 및 대수적 연결성에 관한 추측을 다룬다.

ABSTRACT

The Laplacian matrix of a simple graph is the difference of the diagonal matrix of vertex degree and the (0,1) adjacency matrix. In the past decades, the Laplacian spectrum has received much more and more attention, since it has been applied to several fields, such as randomized algorithms, combinatorial optimization problems and machine learning. This paper is primarily a survey of various aspects of the eigenvalues of the Laplacian matrix of a graph for the past teens. In addition, some new unpublished results and questions are concluded. Emphasis is given on classifications of the upper and lower bounds for the Laplacian eigenvalues of graphs (including some special graphs, such as trees, bipartite graphs, triangular-free graphs, cubic graphs, etc.) as a function of other graph invariants, such as degree sequence, the average 2-degree, diameter, the maximal independence number, the maximal matching number, vertex connectivity, the domination number, the number of the spanning trees, etc.

연구 동기 및 목표

• 최근 20년간 그래프의 라플라시안 행렬 스펙트럴 이론의 발전을 서베이하기 위해.
• 도로 수열, 지름, 연결성 등의 핵심 그래프 불변량을 기반으로 라플라시안 고유값에 대한 상한과 하한을 분류하고 분석하기 위해.
• 특히 이중 확률 행렬과 대수적 연결성 간의 관계에 관한 새로운 미발표 결과와 열린 질문들을 제시하기 위해.
• 특히 라플라시안 고유값의 주도성에 관한 추측, 특히 라플라시안 고유값이 켄정 도로 수열을 주도한다는 추측을 조사하기 위해.
• 특수 그래프 클래스, 즉 트리, 이분 그래프, 정규 그래프에 대한 이러한 스펙트럴 경계의 함의를 탐색하기 위해.

제안 방법

• 라플라시안 행렬 $ L(G) = D(G) - A(G) $ 와 그 이차형식 $ x^T L(G) x = \sum_{(i,j)\in E}(x_i - x_j)^2 $ 을 포함한 행렬 이론 도구를 활용한다.
• 주도성 이론을 적용하여 라플라시안 고유값 수열과 도로 수열 및 그 켄정을 비교한다.
• M-행렬 이론과 그래프 구조 분석을 활용하여 고유값 경계에 대한 부분 결과를 증명한다.
• 행렬-나무 정리와 키르히호프의 공식을 활용하여 $ \tau(G) = \frac{1}{n} \prod_{i=1}^{n-1} \lambda_i $ 를 통해 신장 트리의 수를 세는 데 이용한다.
• 이중 확률 행렬 $ \Omega(G) = (I + L(G))^{-1} $ 과 그 최소 원소를 분석하여 대수적 연결성을 연구한다.
• 조합적 라플라시안 연산자와 단체 복합체 일반화를 활용하여 고유값 주도성에 관한 추측을 확장한다.

실험 결과

연구 질문

• RQ1 도로 수열 및 기타 불변량에 대해 알려진 가장 날카로운 상한과 하한은 무엇인가?
• RQ2 Conjecture 7.2에서 제안한 바와 같이, 라플라시안 고유값 수열이 켄정 도로 수열을 주도하는가?
• RQ3 정점 수와 이중 확률 행렬의 최소 원소에 대해 대수적 연결성 $ \lambda_{n-1}(G) $ 의 최선의 하한은 무엇인가?
• RQ4 Merris의 이중 확률 행렬과 대수적 연결성에 관한 추측, 특히 Conjecture 6.8과 Conjecture 6.9는 성립하는가?
• RQ5 특히 임계 그래프와 정규 그래프에 있어서 고유값 주도성 추측에서 등호가 성립하는 조건은 무엇인가?

주요 결과

• Conjecture 7.1은 $ (\lambda_1, \dots, \lambda_{n-1}) \succeq (d_1+1, d_2, \dots, d_n-1) $ 를 주장하며, 이는 M-행렬 이론을 사용하여 Grone에 의해 확인되었다.
• Conjecture 7.2는 $ (\lambda_1, \dots, \lambda_{n-1}) \preceq (d_1^*, \dots, d_n^*) $ 를 주장하며, 아직 증명되지 않았지만 정규 그래프, 거의 정규 그래프, 트리에 대해서는 증거로 뒷받침된다.
• 도로 반정규 그래프 $ E_n $ 에 대해 $ \omega(E_n) = \frac{1}{2(n+1)} $ 라는 추측은 Berman과 Zhang이 2000년에 확인하였다.
• 최근 Zhang과 Wu는 트리의 이중 확률 행렬 최소 원소에 대해 날카로운 경계를 확보하였으며, 이를 통해 Conjecture 6.8를 반증하는 데에 사용되었다.
• 트리에 대해서는 Stephen(2004)가 Conjecture 7.2가 성립함을 증명하였으며, 이는 일반적인 타당성에 강력한 증거를 제공한다.
• 행렬-나무 정리는 $ \tau(G) = \frac{1}{n} \prod_{i=1}^{n-1} \lambda_i $ 를 확인하여, 신장 트리의 수와 비영 고유값의 곱 사이의 관계를 밝혀낸다.