[논문 리뷰] The finite-step realizability of the joint spectral radius of a pair of $d imes d$ matrices one of which being rank-one

Xiongping Dai|arXiv (Cornell University)|2011. 06. 05.

graph theory and CDMA systems인용 수 5

한 줄 요약

이 논문은 임의의 실수 $d \times d$ 행렬 쌍 중 하나가 랭크 1인 경우, 그들의 연합 스펙트럴 반경이 유한 시간 내에 최대화됨을 증명하며, 이는 스펙트럴 유한성 성질을 확립한다. 증명은 랭크 1의 변화에 대한 구조적 분석과 행렬 곱의 스펙트럴 행동을 기반으로 하며, 다각형 노름이나 유리수 성질의 가정 없이도 이러한 행렬 쌍에 대해 안정성이 알고리즘적으로 결정 가능하다는 것을 보여준다.

ABSTRACT

We study the finite-step realizability of the joint/generalized spectral radius of a pair of real $d imes d$ matrices, one of which has rank 1. Then we prove that there always exists a finite-length word for which there holds the spectral finiteness property for the set of matrices under consideration. This implies that stability is algorithmically decidable in our case.

연구 동기 및 목표

• 한 행렬이 랭크 1인 $d \times d$ 실수 행렬 쌍에 대해 스펙트럴 유한성 성질을 확립하기.
• 연합 스펙트럴 반경이 이 쌍의 행렬들로부터 유한한 곱의 스펙트럴 반경으로서 실현될 수 있는지 확인하기.
• 다각형 노름이나 유리수 행렬 가정 없이도 구조적 증명을 제공하기.
• 이러한 행렬 쌍에 대해 관련된 스위치 선형 시스템의 지수 안정성이 알고리즘적으로 결정 가능한지 보여주기.

제안 방법

• 유한 길이의 단어 $(i_1, \dots, i_\ell) \in \{1,2\}^\ell$ 에 대해 행렬 곱 $\mathrm{S}_{i_1} \cdots \mathrm{S}_{i_\ell}$ 의 스펙트럴 반경을 분석한다.
• 한 행렬이 랭크 1라는 사실을 이용해 행렬 곱의 구조를 단순화하고 그들의 스펙트럴 반경을 분석한다.
• Berger-Wang 공식을 적용하여 일반화된 스펙트럴 반경 $\rho(\boldsymbol{S})$ 와 연합 스펙트럴 반경 $\hat{\rho}(\boldsymbol{S})$ 를 동치로 취급한다.
• 유한 길이의 곱에 대한 연속성과 최대화 논증을 통해 최대값이 어떤 유한한 $\ell$ 에서 도달됨을 보여준다.
• 최적의 곱 길이가 유계이면서 계산 가능하며, 무한한 탐색을 피함을 보여준다.
• 다각형 노름을 회피하고 랭크 1 변화의 직접적 스펙트럴 분석에 의존한다.

실험 결과

연구 질문

• RQ1 랭크 1 행렬을 포함하는 $d \times d$ 행렬 쌍의 일반화된 스펙트럴 반경이 행렬의 유한한 곱의 스펙트럴 반경으로서 도달되는가?
• RQ2 이러한 행렬 쌍에 대해 연합 스펙트럴 반경이 유한 단계 내에 실현될 수 있으며, 이는 안정성의 알고리즘적 결정 가능성을 보장하는가?
• RQ3 행렬이 대칭적이거나 교환 가능하거나 유리수일 필요 없이 스펙트럴 유한성 성질이 여전히 성립하는가?
• RQ4 랭크 1 행렬의 구조는 행렬 곱에서 스펙트럴 반경의 성장에 어떻게 제약을 둔다?
• RQ5 다각형 노름이나 유리수 성질의 가정 없이도 유한단계 실현 가능성을 증명할 수 있는가?

주요 결과

• 한 행렬이 랭크 1인 모든 $d \times d$ 실수 행렬 쌍에 대해 스펙트럴 유한성 성질이 성립한다.
• 유한 길이의 단어 $(i_1^*, \dots, i_\ell^*)$ 가 존재하여 $\sqrt[\ell]{\rho(\mathrm{S}_{i_1^*} \cdots \mathrm{S}_{i_\ell^*})} = \sup_{n \geq 1} \left\{ \max_{(i_1,\dots,i_n) \in \{1,2\}^n} \sqrt[n]{\rho(\mathrm{S}_{i_1} \cdots \mathrm{S}_{i_n})} \right\}$ 를 만족하며, 이는 유한단계 실현 가능성을 증명한다.
• 행렬의 대칭성, 교환 가능성, 유리수 성질을 요구하지 않아도 결과가 성립한다.
• 이전의 접근과 달리 다각형 노름을 사용하지 않는다.
• 이러한 행렬 쌍에 대해 연합 스펙트럴 반경은 알고리즘적으로 결정 가능하다.
• 최적의 곱 길이는 매개변수 변화에 따라 증가할 수 있으며(예: $\ell_\varepsilon \to \infty$ as $\varepsilon \to 0$), 그러나 고정된 $\varepsilon > 0$ 에서는 여전히 유한하다.