Dynkin 그래프 Aₙ의 Q‑워크 행렬 스미스 정규형 완전 분석

초록

본 논문은 Dynkin 그래프 Aₙ에 대한 Q‑워크 행렬 W_Q(Aₙ)의 정확한 계수를 구하고, 그 스미스 정규형을
(\operatorname{diag}(1,\underbrace{2,2,\dots ,2}_{\lceil n/2\rceil-1},0,\dots ,0)) 로 명시한다. 핵심 결과는 (\operatorname{rank}W_Q(Aₙ)=\lceil n/2\rceil)이며, 이를 위해 균등 분할과 고유값 분석을 활용한다.

상세 분석

논문은 먼저 Q‑워크 행렬 (W_Q(G)={e,;Qe,;Q^2e,\dots ,Q^{n-1}e}) 를 정의하고, 여기서 (Q(G)=A(G)+D(G)) 는 그래프 (G) 의 부호 없는 라플라시안이다. Dynkin 그래프 (A_n) 은 단순히 선형 체인 형태이므로 정점 번호를 (1\sim n) 으로 두면 인접 행렬 (A) 와 차수 행렬 (D) 가 명시적으로 주어진다.

핵심 아이디어는 “균등 분할(equitable partition)”을 이용해 (W_Q(A_n)) 를 차원 (r=\lceil n/2\rceil) 인 작은 행렬로 축소하는 것이다. 짝수 (n) 일 때는 (\Pi_1={{1,n},{2,n-1},\dots}) 로, 홀수 (n) 일 때는 (\Pi_2) 로 정의하고, 각각의 특성 행렬 (C_i) 와 축소된 라플라시안 (B_i) 를 얻는다. Lemma 2.2 에서 (W_Q(A_n)=W(B_i+D(A_n))) 임을 보이며, 여기서 (D(A_n)) 는 차수 행렬의 (r\times r) 부분이다.

다음 단계는 (M_i:=B_i+D(A_n)) 의 전치 행렬 (M_i^{\mathsf T}) 의 고유값과 고유벡터를 구하는 것이다. Proposition 3.1 에서는 (\lambda_k=2-2\cos\alpha_k) ((\alpha_k=\frac{2k-1}{2r}\pi)) 와 복잡한 형태의 고유벡터 (v_k) 를 제시한다. Lemma 3.2‑3.3 은 이 고유벡터들의 내적 (\prod_{k=1}^r e^{\mathsf T}v_k) 를 계산해 (\pm2^{r-1}) 를 얻고, 따라서 (\operatorname{rank}W(M_i)=r) 임을 증명한다.

행렬식은 Lemma 2.3 (대각화 가능한 행렬의 워크 행렬 행렬식 공식) 과 Lemma 3.4 (Vandermonde 형태의 행렬식) 를 결합해 (\det W(M_i)=2^{,r-1}) 로 얻는다. 이 값이 2의 거듭제곱이므로, Smith 정규형의 불변인자들은 (1,2,2,\dots ,2) (총 (r) 개) 이고, 나머지는 영이 된다.

짝수와 홀수 경우를 각각 3.1, 3.2 절에서 상세히 전개한다. 특히, 홀수 (n) 에서는 (\Pi_2) 로부터 얻은 (B_2) 가 약간 다른 구조를 가지지만, 동일한 고유값 식과 동일한 행렬식 결과가 나오므로 결론이 일관된다.

마지막으로 예시 (n=3,10) 을 통해 실제 행렬을 제시하고, 계산된 SNF 가 이론과 일치함을 확인한다. 논문은 기존에 Dₙ, (\tilde D_n) 등에 대한 결과가 있던 것을 확장하여, 가장 기본적인 Aₙ 계열에 대한 완전한 SNF 를 제공한다는 점에서 의미가 크다. 또한, Q‑워크 행렬의 랭크와 행렬식이 그래프의 대칭성(균등 분할)과 직접 연결된다는 통찰을 제공한다.