[논문 리뷰] An informal introduction to perturbations of matrices determined up to similarity or congruence

Lena Klimenko, Vladimir V. Sergeichuk|arXiv (Cornell University)|2013. 11. 04.

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

한 줄 요약

이 논문은 유사성, 동치, *동치 변환 하에서 복소 행렬에 대한 섭동 이론에 대한 비형식적이지만 엄밀한 서베이를 제공한다. 최소 전개형(miniversal deformations)을 도입하여, 섭동에 대해 연속적으로 의존하고 주어진 동치 관계 하에서 인접한 모든 행렬을 포괄하는 정규형을 제시함으로써, 조르당 표준형과 같이 불연속적인 표준형의 안정적인 대안을 제공한다.

ABSTRACT

The reductions of a square complex matrix A to its canonical forms under transformations of similarity, congruence, or *congruence are unstable operations: these canonical forms and reduction transformations depend discontinuously on the entries of A. We survey results about their behavior under perturbations of A and about normal forms of all matrices A+E in a neighborhood of A with respect to similarity, congruence, or *congruence. These normal forms are called miniversal deformations of A; they are not uniquely determined by A+E, but they are simple and depend continuously on the entries of E.

연구 동기 및 목표

• 작은 행렬 섭동 하에서 불안정한 표준형(예: 조르당 표준형)의 문제를 해결하기 위해, 행렬 원소에 대해 불연속적으로 의존하는 특성.
• 유사성, 동치, *동치 하에서 표준형의 연속적이고 안정적인 대안으로 최소 전개형을 도입하기 위해.
• 해스 도표(폐쇄 그래프)를 사용하여 행렬의 유사성, 동치, *동치 클래스 간의 폐쇄 관계를 특성화하기 위해.
• 블록 행렬에 독립적인 매개변수를 사용하여 최소 전개형을 계산하고 그 구조를 분석하는 구축 가능한 방법을 제공하기 위해.
• 아르놀트의 최소 전개형 이론을 유사성에서 동치와 *동치로 확장하여, 명시적인 표준형 분류 및 폐쇄 관계를 포함하기 위해.

제안 방법

• 블록 대각 행렬 구조의 비대각 블록에 최소한의 독립 매개변수(별표)를 추가하여, 유사성 하에서 조르당 행렬의 최소 전개형을 구성한다.
• 섭동 $X$ 에 대해 매끄럽게 의존하는 해석적 변환 $\mathcal{S}(X)$ 를 사용하여 $J+X$ 를 최소 전개형 $J+\mathcal{D}$ 로 감소시키며, 연속성을 확보한다.
• 최소 전개형에 필요한 독립 매개변수의 최소 수를 결정하기 위해 계수의 개념을 사용한다.
• 블록 형태 $\begin{bmatrix} \lambda & 0 \\ 0 & 0 \end{bmatrix}$ 와 $\begin{bmatrix} 0 & \tau \\ \tau & i\tau \end{bmatrix}$ 를 사용하여 동치 및 *동치의 표준 행렬을 분류함으로써 프레임워크를 확장한다. 여기서 매개변수들은 실수이며 비음수이다.
• 유사성 및 *동치 클래스 간 포함 관계를 보여주는 폐쇄 그래프(해스 도표)를 구성한다. 여기서 방향성 경로는 폐쇄 관계를 나타낸다.
• 내적의 허수부가 음수가 아님 등의 기하학적 및 대수적 기준을 사용하여 폐쇄 그래프에서 표준형 간 화살표 존재 여부를 결정한다.

실험 결과

연구 질문

• RQ1 어떻게 주어진 행렬 근처의 행렬에 대해 섭동에 대해 연속적으로 의존하는 정규형을 구성할 수 있는가? 이는 조르당 표준형의 불연속성 문제를 피하기 위함이다.
• RQ2 유사성, 동치, 또는 *동치 하에서 주어진 행렬에 가까운 모든 행렬을 표현하기 위해 필요한 최소한의 독립 매개변수의 수는 얼마인가?
• RQ3 유사성, 동치, 또는 *동치 하에서 어떤 행렬 클래스들이 주어진 행렬의 섭동에 의해 임의로 가까이 다가갈 수 있는가?
• RQ4 행렬 동치 클래스 간의 폐쇄 관계를 체계적으로 표현하고 특성화할 수 있는가?
• RQ5 *동치 하에서 한 표준형이 다른 표준형의 폐쇄에 포함되기 위한 구조적 및 매개변수 조건은 무엇인가?

주요 결과

• 유사성 하에서의 최소 전개형은 $J+\mathcal{D}$ 로 구성되며, 비대각 블록의 별표들이 독립적인 복소수 매개변수로 대체되고, 이러한 매개변수의 수는 유사성 클래스의 계수와 같다.
• 조르당 행렬 $J$ 에 대해, 충분히 작은 모든 섭동 $J+X$ 는 해석적 유사성 변환을 통해 최소 전개형 $J+\mathcal{D}$ 로 감소시킬 수 있으며, 이는 $X$ 에 대해 연속적인 의존성을 보장한다.
• $n\times n$ 행렬의 유사성 클래스에 대한 폐쇄 그래프는 해스 도표이며, $J' \preccurlyeq J$ 라면 $J'$ 가 $J$ 의 유사성 클래스의 폐쇄에 포함됨을 나타낸다. 예를 들어, $J_2(\lambda)\oplus J_2(\lambda) \to J_3(\lambda)\oplus J_1(\lambda)$ 또는 $J_4(\lambda)$ 와 같은 전이가 작은 섭동 하에서 발생한다.
• *동치 하에서 표준형은 블록 $\begin{bmatrix} \lambda & 0 \\ 0 & 0 \end{bmatrix}$ 와 $\begin{bmatrix} 0 & \tau \\ \tau & i\tau \end{bmatrix}$ 의 직합이며, 폐쇄 관계는 실수 비음수 조합과 허수부 조건에 의해 결정된다.
• *동치 클래스의 폐쇄는, 폐쇄 그래프에서 $N$ 에서 $M$ 으로의 방향 경로가 존재하는 모든 *동치 클래스의 행렬 $N$ 의 합집합이다.
• $2\times 2$ *동치 클래스의 폐쇄 그래프는 무한하며, 각 정점(영 행렬 제외)은 복소수 또는 실수 매개변수로 매개변수화된 비가산적인 행렬 집합을 나타낸다. 화살표 존재 여부는 매개변수에 대한 대수적 조건(예: $\operatorname{Im}(\lambda \bar{\tau}) \geq 0$)에 의해 결정된다.