[논문 리뷰] A note on the Joint Spectral Radius

Antonio Cicone|arXiv (Cornell University)|2015. 01. 01.

Matrix Theory and Algorithms참고 문헌 64인용 수 5

한 줄 요약

이 논문은 연관 스펙트럼 반경(JSR)과 그 다양한 일반화에 대한 종합적인 개요를 제공하며, 정의, 성질, 이론적 과제를 분석한다. JSR는 동적 시스템의 안정성 분석에서 핵심적이지만, 그 계산은 일반적으로 결정 불가능하며, 특히 유리수 행렬의 경우 더욱 그렇다. 그러나 유한성 성질과 극한 노름은 특정 경우에 계산 가능한 길을 제공하며, 일반적인 유리수 행렬에 대해서는 핵심 추측이 여전히 열려 있다.

ABSTRACT

A brief summary on the properties of the so called Joint Spectral Radius

연구 동기 및 목표

• 유한 행렬 집합에 대한 스펙트럼 반경의 다수의 일반화를 체계화하고 명확히 하기.
• 연관 스펙트럼 반경 계산과 관련된 이론적 및 계산적 과제를 검토하기.
• 유한성 성질이 성립하는 조건을 조사하여 JSR의 효과적 계산을 가능하게 하기.
• 특히 최근의 추측과 반례를 고려할 때, 유리수 및 부호 행렬에 대해 JSR의 결정 가능성을 평가하기.

제안 방법

• 연관, 공통, 일반화, 행렬 집합의 스펙트럼 반경 등의 스펙트럼 반경의 다양한 일반화를 분류하고 비교하기.
• 불가분성, 비결함성, 유한성 등의 성질을 통해 행렬 집합을 분석하여 JSR 계산 가능성에 영향을 미치는 요소 분석하기.
• 극한 노름—조각별 해석적, 대수적, 다면체 노름—을 통해 JSR를 계산하거나 경계를 정하는 도구로 조사하기.
• 상삼각화 가능, 가환 리 대수, 유리수 또는 이진수 요소를 가진 행렬 등의 특수 행렬 클래스에 대한 JSR 계산 관련 기존 결과 검토하기.
• 효율적 유한성 추측에 대한 반례 제시: 스펙트럼을 최대화하는 곱의 길이가 유한한 유리수 행렬일지라도 임의로 클 수 있음을 보여주기.
• 블론델과 저너스의 정리가 모든 유리수 행렬에 대해 유한성 성질이 성립함을 의미하는 바를 평가하기. 이 정리는 이진수 및 부호 행렬에 대해서도 성립함을 시사한다.

실험 결과

연구 질문

• RQ1 행렬 집합에 대한 스펙트럼 반경의 구체적인 일반화는 무엇이며, 상호 간의 관계는 어떻게 되는가?
• RQ2 언제 어떤 조건에서 연관 스펙트럼 반경을 효과적으로 계산할 수 있으며, 그 계산에 대한 이론적 장벽은 무엇인가?
• RQ3 모든 유한한 유리수 행렬 집합에 대해 유한성 성질이 성립하는가? 이는 알고리즘적 결정 가능성에 어떤 의미를 갖는가?
• RQ4 극한 노름을 통해 연관 스펙트럼 반경을 계산할 수 있는가? 어떤 행렬 클래스가 이러한 노름을 허용하는가?
• RQ5 효율적 유한성 추측의 부정이 JSR의 계산 복잡성에 대해 어떤 의미를 갖는가?

주요 결과

• 유계 또는 유한한 행렬 집합에 대해 연관 스펙트럼 반경은 잘 정의되고 유일하다. 여러 일반화가 존재하나, 이는 영향을 미치지 않는다.
• 효율적 유한성 추측은 잘못된 것으로 밝혀졌다: 스펙트럼을 최대화하는 곱(s.m.p.)의 길이는 유한한 유리수 행렬일지라도 임의로 클 수 있다.
• 동시에 상삼각화 가능한 행렬, 가환 리 대수, 또는 극한 조각별 해석적 또는 대수적 노름을 갖는 행렬의 경우 유한성 성질이 성립한다.
• 비음성 유리수 행렬의 경우, 블론델과 저너스의 정리에 따라 유한성 성질이 성립하는 것과 동치이며, 이는 모든 이진수 행렬 쌍에 대해 성립함을 의미한다.
• 모든 부호 행렬(요소가 {−1,0,+1}에 속함) 쌍이 유한성 성질을 만족한다는 추측은 아직 증명되지 않았지만, 2×2 행렬에 대한 결과들에 의해 지지된다.
• 일반적으로 연관 스펙트럼 반경은 알고리즘적으로 결정 불가능하며, 유리수 행렬의 경우에도 마찬가지이다. 그러나 유한성 성질이 성립할 경우 결정 가능해진다.