[논문 리뷰] Eigenvalues of rank one perturbations of unstructured matrices

André C. M. Ran, Michał Wojtylak|arXiv (Cornell University)|2011. 04. 04.

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

한 줄 요약

이 논문은 복소행렬 $ A $ 와 벡터 $ u,v $ 에 대해 랭크-일의 편항 $ A + \tau uv^T $ 의 고유값 역학을 분석하며, 일반적인 $ u,v $ 에 대해 복소평면 상의 고유값 곡선이 $ A $ 의 고유값 이외에는 만날 수 없다는 것을 보여준다. 핵심 결과는 $ \sigma(A) $ 외부에서 다중 고유값(즉, 곡선의 교차점)이 발생하는 것은 측도가 0인 집합에서만 일반적이라는 것이다. 이는 무작위 $ u,v $ 에 대해 시뮬레이션에서 교차가 관찰되지 않는 현상을 설명한다.

ABSTRACT

Let $A$ be a fixed complex matrix and let $u,v$ be two vectors. The eigenvalues of matrices $A+τuv^ op $ $(τ\in\mathbb{R})$ form a system of intersecting curves. The dependence of the intersections on the vectors $u,v$ is studied.

연구 동기 및 목표

• 실수 $ \tau \in \mathbb{R} $ 에 대해 고유값 곡선 $ \sigma(A + \tau uv^T) $ 의 일반적 행동을 이해하고, 특히 수치 시뮬레이션에서 $ \sigma(A) $ 외부에서 교차가 관찰되지 않는 이유를 밝히기.
• 실수 $ \tau $ 에 대해 $ \sigma(A) $ 외부에 다중 고유값을 가지는 $ (u,v) $ 쌍의 집합을 특성화하기.
• $ A + \tau uv^T $ 가 $ \sigma(A) $ 외부에서 다중 고유값을 가지는 경우가 일반적으로 희박하다(측도가 0임)는 것을 입증하여 시뮬레이션에서 관측된 교차 부재 현상을 설명하기.
• 소규모 $ \tau $ 에서의 분석을 초월하여 대체로 고유값 곡선의 거동를 분석하기 위해代수기하학과 결과식 이론을 활용하기.
• 복소수 $ \tau $ 에 대해 $ A + \tau uv^T $ 의 스펙트럼 구조를 완전히 기술하고, 이를 실수 $ \tau $ 에서의 결과로 이어가기.

제안 방법

• 논문은 두 다항식의 결과식을 사용하여 공통 근을 탐지함으로써, $ A + \tau uv^T $ 의 다중 고유값에 해당하는 점을 특성화함. 이는 교차점의 대수적 기술을 가능하게 한다.
• 다항식 $ f_{uv}(\lambda) $ 는 $ A $ 의 특성다항식 $ m(\lambda) $ 과 편항 $ p_{uv}(\lambda) = v^T(\lambda I - A)^{-1}u $ 의 조합으로 구성되며, 이의 영점은 잠재적 다중 고유값을 나타낸다.
• 다항식 $ f_{uv}(\lambda) $ 의 차수와 주계수를 분석함으로써, 일반적인 $ u,v $ 에 대해 $ f_{uv} $ 는 정확히 $ k = \max\{(r-1)(l-1), r(l-2)\} $ 개의 서로 다른 영점 $ \sigma(A) $ 외부에 가짐을 보여줌. 여기서 $ r $ 은 $ A $ 의 서로 다른 고유값의 수이고 $ l $ 은 가장 큰 재귀 블록의 크기임.
• 음함수정리(implicit function theorem)를 사용하여 고유값 $ \lambda_j(u,v) $ 가 $ \mathbb{C}^{2n} $ 의 조밀 열린 부분집합 $ V_0 \subset \mathbb{C}^{2n} $ 상에서 해석함수임을 보임으로써 매끄러운 의존성 분석이 가능해짐.
• $ A + \tau uv^T $ 가 어떤 실수 $ \tau $ 에 대해 다중 고유값을 가지는 $ (u,v) $ 쌍의 집합 $ V $ 는 해석함수의 유일성 원리(uniquness principle)를 이용해 유한 개의 측도 0 집합의 합집합에 포함됨을 보임.
• 비상수 해석함수임을 증명함으로써 $ v^T(\lambda_j - A)^{-1}u \in \mathbb{R} $ 는 $ \mathbb{C}^{2n} $ 에서 르베그 측도 0인 $ \mathbb{R} $ 의 역상임을 입증함.

실험 결과

연구 질문

• RQ1 실수 $ \tau \in \mathbb{R} $ 에 대해 고유값 곡선 $ \sigma(A + \tau uv^T) $ 의 일반적 행동은 어떠한가? 특히 교차 여부에 대해.
• RQ2 $ \mathbb{C}^{2n} $ 에서의 $ (u,v) $ 가 어떤 경우에 $ A + \tau uv^T $ 가 $ \sigma(A) $ 에 속하지 않는 다중 고유값을 가지며, 이러한 경우는 얼마나 흔한가?
• RQ3 행렬 $ A $ 의 재귀 블록 구조는 편입된 시스템에서 잠재적 다중 고유값의 수와 위치에 어떤 영향을 미치는가?
• RQ4 어떤 실수 $ \tau $ 에 대해 다중 고유값을 가지는 $ (u,v) $ 의 집합을 대수적 및 위상적으로 특성화할 수 있는가?
• RQ5 $ \mathbb{C}^{2n} $ 에서 이러한 $ (u,v) $ 쌍의 측도론적 흔함은 무엇이며, 이는 수치 실험에서의 교차 부재 현상을 설명하는가?

주요 결과

• 일반적인 $ u,v \in \mathbb{C}^n $ 에 대해, 모든 $ \tau \in \mathbb{R} \setminus \{0\} $ 에 대해 $ \sigma(A) $ 에 속하지 않는 $ A + \tau uv^T $ 의 고유값은 단순함을 보여주며, 이는 시뮬레이션에서 곡선의 교차가 관찰되지 않는 현상을 설명한다.
• $ A + \tau uv^T $ 가 어떤 실수 $ \tau $ 에 대해 $ \sigma(A) $ 외부에 다중 고유값을 가지는 $ (u,v) $ 쌍의 집합 $ V \subset \mathbb{C}^{2n} $ 는 닫혀 있으며, 내부가 없고, $ 4n $ 차원 르베그 측도가 0임.
• $ \sigma(A) $ 외부의 다중 고유값은 오직 $ v^T(\lambda_j - A)^{-1}u \in \mathbb{R} $ 일 때만 발생하며, 이 함수는 비상수 해석함수이므로 실수 역상은 측도가 0임.
• 잠재적 다중 고유값 위치의 수는 $ k = \max\{(r-1)(l-1), r(l-2)\} $ 이하로 유계임. 여기서 $ r $ 은 $ A $ 의 서로 다른 고유값의 수이고 $ l $ 은 가장 큰 재귀 블록의 크기임.
• 일반적인 $ u,v $ 에 대해 실수 $ \tau \in \mathbb{R} $ 에 대해 고유값 곡선 $ \sigma(A + \tau uv^T) $ 는 $ \sigma(A) $ 의 점들에서만 교차하며, 이러한 교차는 고립되어 있음.
• 분석 결과, 실수 $ \tau $ 에 대해 편입된 스펙트럼에서 일반적인 다중 고유값이 존재하지 않는다는 Hörmander–Mellin 결과는 일관됨을 보여줌.