[논문 리뷰] A note on the nonzero spectrum of irreducible matrices

Shmuel Friedland|arXiv (Cornell University)|2009. 10. 19.

Matrix Theory and Algorithms참고 문헌 9인용 수 4

한 줄 요약

이 논문은 프리미티브 비음이 아닌 행렬의 비영 스펙트럼에 대한 Boyle-Handelman 정리의 결과를 비음이 아닌 행렬의 더 넓은 범주인 비가역 비음이 아닌 행렬로 확장한다. 이는 비영 복소수 다중집합이 비가역 비음이 아닌 행렬의 비영 스펙트럼으로 실현 가능할 조건이 Frobenius 다중집합 조건과 추적 부등식 (1.1) 및 (1.3)을 동시에 만족할 때에 한하여 성립함을 증명한다. 또한 스펙트럼 데이터에 Möbius 역행렬을 적용하여 Kim-Ormes-Roush 정리를 정수 계수 비가역 행렬로 일반화한다.

ABSTRACT

In this note we extend the necessary and sufficient conditions of Boyle-Handleman 1991 and Kim-Ormes-Roush 2000 for a nonzero eigenvalue multiset of primitive matrices over $\R_+$ and $\Z_+$, respectively, to irreducible matrices.

연구 동기 및 목표

• 프리미티브 비음이 아닌 행렬의 비영 스펙트럼에 대한 Boyle-Handelman의 필요 및 충분 조건을 더 넓은 비가역 비음이 아닌 행렬의 범주로 일반화하는 것.
• 비가역 비음이 아닌 행렬에 의해 실현 가능한 비영 고유값 다중집합의 특성화를 Frobenius 다중집합 조건과 추적 부등식을 통해 수립하는 것.
• 스펙트럼 데이터에 Möbius 역행렬을 통합하여 정수 계수 비음이 아닌 행렬에 대한 Kim-Ormes-Roush 정리를 비가역 경우로 확장하는 것.
• 비가역 행렬의 스펙트럼 구조—특히 스펙트럼 반지름 원 위의 고유값의 순환적 구조—가 특정 대칭성과 양성 제약 조건을 만족해야 한다는 것을 증명하는 것.

제안 방법

• 스펙트럼 반지름과 대칭성 특성을 분석하기 위해 생성함수 접근법을 활용한다. $ f_{\bar{\Lambda}}(z) = \sum_{i=1}^n \frac{1}{1 - \lambda_i z} $ 를 사용한다.
• 모든 $ k $ 에 대해 $ s_k(\Lambda) = \mathrm{tr}(A^k) \geq 0 $ 이고, 비음성 및 비가역성 제약 조건을 강화하기 위해 $ s_{km}(\Lambda) \geq \frac{1}{n^{k-1}} (s_m(\Lambda))^k $ 조건을 적용한다.
• 크기가 $ pM \times pM $ 인 블록 콘테이너 행렬 $ A $ 를 구성한다. 여기서 $ B \in \mathbb{R}_+^{M \times M} $ 는 스펙트럼 $ \Lambda_1 $ 을 가지는 프리미티브 행렬이며, $ A $ 는 $ p $-시프트 블록과 하단 왼쪽 모서리에 $ B $ 를 포함한다.
• 비가역 비음이 아닌 행렬이 $ \zeta \Lambda = \Lambda $ 를 만족하도록 보장하기 위해 Frobenius 정리를 적용한다. 여기서 $ \zeta = e^{2\pi i / p} $ 이고 $ p = \#\Lambda(\rho(\Lambda)) $ 이다.
• 스펙트럼 추적과 관련된 그래프의 최소 순환 수를 연결하기 위해 $ t_k(\Lambda) = \sum_{d|k} \mu(k/d) s_d(\Lambda) \geq 0 $ 를 통한 Möbius 역행렬을 사용한다. 이를 통해 정수 계수 행렬을 특성화한다.
• 일반적인 경우 $ \Lambda(\rho(\Lambda)) = \{ \rho(\Lambda), \zeta\rho(\Lambda), \dots, \zeta^{p-1}\rho(\Lambda) \} $ 는 $ z \mapsto z^p $ 사상으로 프리미티브 경우로 환원한다. 이 사상은 $ \Lambda $ 를 Frobenius 집합 $ \Lambda_1 $ 의 $ p $ 개 복제본의 합집합으로 매핑한다.

실험 결과

연구 질문

• RQ1 비가역 비음이 아닌 행렬의 비영 스펙트럼을 특성화하는 조건은 무엇인가? 이는 프리미티브 행렬에 대한 Boyle-Handelman 결과를 일반화한 것이다.
• RQ2 정수 계수 비음이 아닌 행렬에 대한 Kim-Ormes-Roush 정리는 비가역 경우로 어떻게 확장될 수 있는가?
• RQ3 비가역 비음이 아닌 행렬에 의해 실현 가능한 비영 복소수 다중집합이 만족해야 할 스펙트럼 대칭성과 추적 조건은 무엇인가?
• RQ4 스펙트럼 반지름 원 위의 고유값 순환적 구조는 비가역 설정에서 실현 가능성에 어떻게 영향을 미치는가?
• RQ5 Möbius 역행렬은 정수 계수 비가역 행렬을 스펙트럼 데이터를 통해 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 비영 복소수 다중집합 $ \Lambda \subset \mathbb{C} \setminus \{0\} $ 이 비가역 비음이 아닌 행렬의 비영 스펙트럼으로 실현 가능할 조건은 Frobenius 집합이면서 추적 부등식 (1.1)과 (1.3)을 모두 만족할 때에 한하여 성립한다.
• 스펙트럼 반지름 $ \rho(\Lambda) $ 는 $ \Lambda $ 에 속해야 하며, 스펙트럼 원 위의 고유값은 $ |z| = \rho(\Lambda) $ 원 위에 등간격으로 배열되어야 하며, $ \zeta = e^{2\pi i / p} $ 에 의한 곱셈에 의한 순환 궤도를 이룬다.
• 정수 계수 비가역 행렬의 경우, 스펙트럼 다항식 $ \prod_{\lambda \in \Lambda} (z - \lambda) $ 의 계수는 정수여야 하며, Möbius 변환된 추적 $ t_k(\Lambda) = \sum_{d|k} \mu(k/d) s_d(\Lambda) $ 는 음이 아닌 정수여야 한다.
• 비가역 행렬이 $ \Lambda $ 를 실현하도록 구성하는 데에는 크기가 $ pM \times pM $ 인 블록 콘테이너 행렬 $ A $ 를 사용한다. 여기서 $ B \in \mathbb{R}_+^{M \times M} $ 는 스펙트럼 $ \Lambda_1 $ 을 가지는 프리미티브 행렬이며, $ A $ 는 하단 왼쪽 블록에 $ B $ 를 포함하고 $ p $-사이클을 형성한다.
• 스펙트럼 추적의 양성 조건을 강화하는 조건 $ s_{km}(\Lambda) \geq \frac{1}{n^{k-1}} (s_m(\Lambda))^k $ 는 비가역 경우에서 Frobenius 구조와 함께 필수적이고 충분한 조건이 된다.
• 만약 $ \Lambda(\rho(\Lambda)) $ 의 크기가 $ p > 1 $ 이면, 스펙트럼 $ \Lambda $ 는 $ z \mapsto z^p $ 를 통해 Frobenius 집합 $ \Lambda_1 $ 의 $ p $ 개 복제본의 합집합으로 매핑되며, 이는 Boyle-Handelman 조건을 만족하므로 프리미티브 행렬에 대응한다.