[논문 리뷰] Eigenvalues and Singular Values of Dual Quaternion Matrices

Liqun Qi, Ziyan Luo|arXiv (Cornell University)|2021. 11. 24.

Control and Dynamics of Mobile RobotsEngineering참고 문헌 6인용 수 20

한 줄 요약

이 논문은 이중 헤르미트 수학적 행렬의 스펙트럼 이론을 수립하며, 오른쪽 및 왼쪽 고유값을 도입하고, 이중 헤르미트 수학적 행렬의 고유값이 모두 이중 수임을 증명한다. 이러한 행렬에 대해 유니터리 분해를 제시하고, 일반적인 이중 헤르미트 수학적 행렬에 대해 특이값 분해(SVD)를 도입하며, 특이값이 비음이 아닌 이중 수임을 보이고, 양의 특이값과 그 표준 부분을 통해 질량과 주목할 만한 질량을 정의한다.

ABSTRACT

The poses of $m$ robotics in $n$ time points may be represented by an $m imes n$ dual quaternion matrix. In this paper, we study the spectral theory of dual quaternion matrices. We introduce right and left eigenvalues for square dual quaternion matrices. If a right eigenvalue is a dual number, then it is also a left eigenvalue. In this case, this dual number is called an eigenvalue of that dual quaternion matrix. We show that the right eigenvalues of a dual quaternion Hermitian matrix are dual numbers. Thus, they are eigenvalues. An $n imes n$ dual quaternion Hermitian matrix is shown to have exactly $n$ eigenvalues. It is positive semidefinite, or positive definite, if and only if all of its eigenvalues are nonnegative, or positive and appreciable, dual numbers, respectively. We present a unitary decomposition of a dual quaternion Hermitian matrix, and the singular value decomposition for a general dual quaternion matrix. The singular values of a dual quaternion matrix are nonnegative dual numbers.

연구 동기 및 목표

• 로봇의 자세를 시간에 따라 표현하는 데 사용되는 이중 헤르미트 수학적 행렬에 대한 종합적인 스펙트럼 이론을 개발하기 위해.
• 정사각형 이중 헤르미트 수학적 행렬에 대해 오른쪽 및 왼쪽 고유값을 정의하고 분석하며, 특히 헤르미트 수학적 행렬에 초점을 맞추기 위해.
• 이중 헤르미트 수학적 행렬에 대해 유니터리 분해를 수립하고, 정확히 n개의 고유값을 가짐을 증명하기 위해.
• 일반적인 이중 헤르미트 수학적 행렬에 대해 특이값 분해(SVD)를 유도하고, 특이값을 기반으로 질량과 주목할 만한 질량을 정의하기 위해.
• 실수, 복소수 또는 헤르미트 수학적 행렬에 비해 아직 성숙하지 못한 이중 헤르미트 수학적 행렬 이론의 기초적 빈도를 메우기 위해.

제안 방법

• 정사각형 이중 헤르미트 수학적 행렬에 대해 오른쪽 및 왼쪽 고유값을 도입하고, 오른쪽 고유값이 이중 수일 경우에 그 고유값이 동시에 왼쪽 고유값이 됨을 보임.
• 이중 헤르미트 수학적 행렬의 오른쪽 고유값의 표준 부분이 그 행렬의 표준 부분의 오른쪽 고유값임을 증명함.
• 이중 헤르미트 수학적 행렬의 모든 오른쪽 고유값이 이중 수임을 입증하고, 이는 유효한 고유값이며, 표준 부분과 무한소 부분을 위한 공식을 유도함.
• 이중 헤르미트 수학적 행렬에 대해 유니터리 분해를 수립하고, 행렬이 대각화 가능하며 정확히 n개의 고유값을 가짐을 보임.
• 형태 $ A^*A $의 양의 준정부호 이중 헤르미트 수학적 행렬을 '완벽한 헤르미트 수학적 행렬'로 정의하고, 유니터리 분해 $ M = U \tilde{\boldsymbol{\nu}}^2 U^* $를 갖는다고 명시함.
• 일반적인 $ m \times n $ 이중 헤르미트 수학적 행렬 $ B $의 SVD를 $ B = \hat{V} \Sigma_t \hat{U}^* $로 구성하며, $ \Sigma_t $는 비음이 아닌 이중 수로 이루어진 블록 대각 행렬임.

실험 결과

연구 질문

• RQ1 이중 헤르미트 수학적 행렬의 오른쪽 고유값이 왼쪽 고유값이 되는 조건은 무엇이며, 언제 진정된 고유값이라 부르는가?
• RQ2 이중 헤르미트 수학적 행렬은 유니터리 대각화가 가능한가? 그리고 몇 개인가?
• RQ3 행렬 $ A^*A $가 유니터리 분해 $ U \Sigma^2 U^* $를 갖는 조건은 무엇이며, 이는 왜 SVD에 필수적인가?
• RQ4 특이값을 기반으로 이중 헤르미트 수학적 행렬의 질량과 주목할 만한 질량을 어떻게 정의하고 계산할 수 있는가?
• RQ5 모든 성분이 단위 이중 헤르미트 수학적 수인 이중 헤르미트 수학적 행렬의 구조적 및 대수적 성질은 무엇인가?

주요 결과

• $ n \times n $ 이중 헤르미트 수학적 행렬은 정확히 $ n $개의 고유값을 가지며, 이 모든 고유값은 이중 수이다.
• 이중 헤르미트 수학적 행렬이 양의 준정부호(또는 양의 정부호)임은 정확히 그 모든 고유값이 비음이 아닌(또는 양이며 주목할 만한) 이중 수임과 동치이다.
• 이중 헤르미트 수학적 행렬의 특이값은 비음이 아닌 이중 수이며, 일반적인 이중 헤르미트 수학적 행렬의 SVD는 $ B = \hat{V} \Sigma_t \hat{U}^* $ 형태로 존재한다. 여기서 $ \Sigma_t $는 비음이 아닌 이중 수로 이루어진 블록 대각 행렬이다.
• 이중 헤르미트 수학적 행렬 $ B $의 주목할 만한 질량은 그 표준 부분 $ B_{\text{st}} $의 질량과 같으며, $ B $의 질량은 주목할 만한 질량보다 크거나 같게 된다.
• 부분적으로 유니터리 행렬(즉, $ P^*P = I_n $)인 $ P \in \mathbb{DQ}^{m \times n} $은 질량과 주목할 만한 질량이 모두 $ n $과 같다.
• 임의의 이중 헤르미트 수학적 행렬 $ A $에 대해 $ A^*A $는 '완벽한 헤르미트 수학적 행렬'이며, 이는 유니터리 분해 $ A^*A = U \Sigma^2 U^* $의 존재를 보장한다. 이는 SVD 수립에 필수적이다.