[논문 리뷰] Eigenvalues, Smith normal form and determinantal ideals

Aida Abiad, Carlos A. Alfaro외 2명|arXiv (Cornell University)|2019. 10. 28.

Graph theory and applications참고 문헌 43인용 수 4

한 줄 요약

이 논문은 그래프와 관련된 정수 행렬의 고유값, 스미스 표준형(SNF), 그리고 행렬식 이상의 이론적 연결 고리를 새롭게 설정한다. 고유값이 k번째 단일변수 정수 행렬식 이상의 다양체에 속해 있을 경우, 그 고유값은 SNF의 k번째 불변성 인자로 나누어진다는 것을 증명하며, 러샨의 결과를 일반화한다. 주요 기여는 동일한 단일변수 행렬식 이상을 공유하는 그래프인 '동행렬식 그래프'를 특성화한 것으로, 이는 스펙트럼 이론과 불변성 인자 이론을 통합하는 프레임워크를 제공하며, 완전 그래프와 별 그래프는 거리 라플라시안 행렬의 SNF에 의해 유일하게 결정됨을 보여준다.

ABSTRACT

Determinantal ideals of graphs generalize, among others, the spectrum and the Smith normal form (SNF) of integer matrices associated to graphs. In this work we investigate the relationship of the spectrum and the SNF with the determinantal ideals. We show that an eigenvalue divides the $k$-th invariant factor of its SNF if the eigenvalue belongs to a variety of the $k$-th univariate integer determinantal ideal of the matrix. This result has as a corollary a theorem of Rushanan. We also study graphs having the same determinantal ideals with at most one indeterminate; the socalled codeterminantal graphs, which generalize the concepts of cospectral and coinvariant graphs. We establish a necessary and sufficient condition for graphs to be codeterminantal on $\mathbb{R}[x]$, and we present some computational results on codeterminantal graphs up to 9 vertices. Finally, we show that complete graphs and star graphs are determined by the SNF of its distance Laplacian matrix.

연구 동기 및 목표

• 그래프와 관련된 정수 행렬의 고유값, 스미스 표준형(SNF), 그리고 행렬식 이상 간의 관계를 조사하는 것.
• 동일한 단일변수 행렬식 이상을 공유하는 그래프인 '동행렬식 그래프'를 도입함으로써, 동스펙트럼 및 동불변성 그래프 개념을 일반화하는 것.
• ℝ[x]에서 두 그래프가 동행렬식이 되는 데 필요한 필수 및 필요충분 조건을 제공하고, 이러한 그래프가 동시에 동스펙트럼 또는 동불변성일 경우를 특성화하는 것.
• 특히 ℤ[x]에서의 단일변수 이상을 중심으로, 9개 이하 정점까지의 그래프를 식별하는 데 있어 다양한 행렬식 이상의 구별 능력을 평가하는 것.
• 완전 그래프와 별 그래프가 거리 라플라시안 행렬의 SNF에 의해 유일하게 결정됨을 증명하는 것.

제안 방법

• 논문은 그래프 G에 관련된 정수 행렬 M(G)의 xI − M(G)의 k-소수를 생성하는 ℤ[x]에서의 단일변수 행렬식 이상을 사용한다.
• 특히 ℤ[x]와 ℝ[x]에서 이상의 다양체와 고유값 간의 연결 고리를 분석하기 위해 대수기하학과 그로버 기저 이론을 적용한다.
• 모든 연결 그래프를 9개 이하 정점까지 계산적으로 열거하여 SNF, 스펙트럼, 행렬식 이상을 계산하고, 구별 능력을 비교한다.
• 스펙트럼에 의해 결정되는 그래프일 경우, 그 그래프는 ℤ[x]에서의 단일변수 행렬식 이상에 의해도 결정됨을 증명하며, 이는 Inℤ(Mx)가 det(Mx)에 의해 생성된다는 사실을 활용한다.
• 거리 라플라시안 행렬의 스미스 표준형을 활용하여 완전 그래프와 별 그래ph를 특성화하며, 그들의 SNF가 이를 유일하게 식별함을 보여준다.
• 행렬식 이상과 불변성 인자 이론을 포함한 교환대수 이론의 결과를 적용하여 고유값과 불변성 인자 간의 나눗셈 관계를 도출한다.

실험 결과

연구 질문

• RQ1 행렬의 고유값이 그 스미스 표준형의 k번째 불변성 인자를 나누는 조건은 무엇인가?
• RQ2 두 그래프가 ℝ[x]에서 동행렬식이 되는 데 필요한 필수 및 필요충분 조건은 무엇인가?
• RQ3 동행렬식 그래프는 동스펙트럼 그래프 및 동불변성 그래프와 어떻게 관련이 있는가?
• RQ4 어느 행렬식 이상이 비이sov레임 그래프를 식별하는 데 가장 효과적인가, 특히 소규모 그래프에서의 경우?
• RQ5 완전 그래프와 별 그래프는 거리 라플라시안 행렬의 스미스 표준형에 의해 유일하게 결정되는가?

주요 결과

• 고유값이 k번째 단일변수 정수 행렬식 이상의 다양체에 속해 있을 경우, 그 고유값은 SNF의 k번째 불변성 인자를 나누며, 이는 러샨의 정리의 일반화이다.
• ℝ[x]에서의 동행렬식 그래프는 그들의 단일변수 행렬식 이상의 구조에 기반한 필요 및 충분 조건으로 특성화된다.
• 모든 연구된 이상 중에서 ℤ[x]에서의 단일변수 행렬식 이상이 가장 효과적이며, 이는 스펙트럼 정보와 SNF 정보를 통합하기 때문이다.
• 인접행렬, 라플라시안, 거리행렬, 거리 라플라시안 행렬을 고려했을 때, 거리 라플라시안 행렬의 SNF가 9개 이하 정점까지의 그래프를 식별하는 데 가장 뛰어난 성능을 보였다.
• 완전 그래프와 별 그래프는 거리 라플라시안 행렬의 SNF에 의해 유일하게 결정되며, 이는 ℤ[n,m]에서의 2소수 이상의 그로버 기저 분석을 통해 입증되었다.
• 스펙트럼에 의해 결정되는 그래프일 경우, ℤ[x]에서의 단일변수 행렬식 이상에 의해도 결정되며, 이는 마지막 이상이 행렬식에 의해 생성되기 때문이다.