[논문 리뷰] Eigenvalues and Singular Value Decomposition of Dual Complex Matrices

Liqun Qi, Ziyan Luo|arXiv (Cornell University)|2021. 10. 05.

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

한 줄 요약

이 논문은 이중 복소수 행렬에 대해 오른쪽 고유값과 오른쪽 부분고유값을 도입하며, $n\times n$ 이중 복소수 에르미트 행렬이 정확히 $n$개의 실수 오른쪽 고유값과 부분고유값을 가짐을 증명한다. 이러한 행렬에 대한 완전한 스펙트럼 이론을 수립하고 일반적인 이중 복소수 행렬에 대한 특이값 분해(SVD)를 유도하며, 비가환성과 영약수 문제를 구조적 대수적 분해를 통해 다루어 이중 허니우온 행렬로의 결과 확장을 이룬다.

ABSTRACT

We introduce right eigenvalues and subeigenvalues for square dual complex matrices. An $n imes n$ dual complex Hermitian matrix has exactly $n$ right eigenvalues and subeigenvalues, which are all real. The Hermitian matrix is positive semi-definite or definite if and only if all of its right eigenvalues and subeigenvalues are nonnegative or positive, respectively. A Hermitian matrix can be diagonalized if and only if it has no right subeigenvalues. Then we present the singular value decomposition for general dual complex matrices. The results are further extended to dual quaternion matrices.

연구 동기 및 목표

• 이중 복소수 행렬에 대한 포괄적인 스펙트럼 이론을 수립하여 이중 수의 비가환성과 영약수 성질을 다루는 것.
• $n\times n$ 이중 복소수 에르미트 행렬에 대해 오른쪽 고유값과 오른쪽 부분고유값을 정의하고 특성화하는 것.
• 에르미트 행렬의 스펙트럼 성질에 기반하여 일반적인 이중 복소수 행렬에 대한 특이값 분해(SVD)를 수립하는 것.
• 비가환 곱셈과 허니우온의 구조를 고려하여 결과를 이중 허니우온 행렬로 확장하는 것.
• 기하대수학, 로봇공학, 컴퓨터 그래픽스 등에 적용 가능한 이중 행렬 분석의 기초 프레임워크를 마련하는 것.

제안 방법

• 이중 복소수를 $q = q_0 + q_1\mathbf{i} + q_2\epsilon\mathbf{j} + q_3\epsilon\mathbf{k}$ 로 정의하며, $\epsilon^2 = 0$ 이고, 이를 바탕으로 행렬 연산을 정의한다.
• 오른쪽 고유값을 $A\mathbf{x} = \mathbf{x}\lambda$ 의 방정식을 통해 정의하며, 여기서 $\lambda$ 는 이중 복소수이다. 이때 $\lambda$ 의 표준 부분이 $A_{\text{st}}$ 의 복소 고유값과 일치함을 보인다.
• 관련된 직교 오른쪽 부분고유벡터와 영이 아닌 켤레 매개변수를 가진 오른쪽 부분고유값을 도입하여 고유값의 중복도를 일반화한다.
• 이중 복소수 에르미트 행렬의 오른쪽 고유값과 부분고유값이 모두 실수이며, 이러한 행렬이 정확히 $n$개의 그러한 값을 가짐을 증명한다.
• 에르미트 행렬의 스펙트럼 성질을 이용하여 일반적인 이중 복소수 행렬에 대한 특이값 분해(SVD)를 도출한다.
• 비가환 허니우온 곱셈과 오른쪽 고유값 이론을 고려하여 틀을 적응시켜 이중 허니우온 행렬로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 비가환성과 영약수 성질을 지닌 이중 복소수 행렬에 대해 오른쪽 고유값과 부분고유값은 어떻게 정의할 수 있는가?
• RQ2 $n\times n$ 이중 복소수 에르미트 행렬은 어떤 스펙트럼 성질을 가지며, 이는 행렬의 표준 부분과 무한소 부분과 어떻게 관련되는가?
• RQ3 스펙트럼 분해에 기반하여 일반적인 이중 복소수 행렬에 대해 특이값 분해를 구성할 수 있는가?
• RQ4 비가환성의 특성을 고려할 때, 이중 복소수 행렬의 스펙트럼 성질은 어떻게 이중 허니우온 행렬으로 확장되는가?
• RQ5 오른쪽 고유값과 부분고유값의 관점에서 이중 복소수 에르미트 행렬의 대각화 가능성과 양의 정부호성은 어떤 조건을 만족해야 하는가?

주요 결과

• $n\times n$ 이중 복소수 에르미트 행렬은 정확히 $n$개의 오른쪽 고유값과 부분고유값을 가지며, 이들은 모두 실수이다.
• 행렬이 양의 준정부호(정부호)임과 동시에 모든 오른쪽 고유값과 부분고유값이 음이 아닌(양의) 값임은 필수적이고 충분한 조건이다.
• 행렬이 대각화 가능함과 동시에 오른쪽 부분고유값이 존재하지 않음, 즉 모든 고유값이 단순함과 동치이다.
• 일반적인 이중 복소수 행렬에 대한 특이값 분해는 에르미트 행렬의 스펙트럼 성질에 기반하며, $p$개의 영이 아닌 특이값과 $l-p$개의 영인 특이값을 가진다.
• 이중 복소수 행렬의 오른쪽 고유값의 표준 부분은 정확히 그 행렬의 표준 부분의 복소 고유값과 일치한다.
• 이중 허니우온 행렬로의 확장은 비가환 곱셈을 다루고 허니우온 행렬의 오른쪽 고유값 이론에 의존하며, $n\times n$ 허니우온 행렬은 $2n$개의 오른쪽 고유값을 가진다.