[논문 리뷰] Minimax principle for right eigenvalues of dual quaternion matrices and their generalized inverses

Ling Chen, Liqun Qi외 1명|arXiv (Cornell University)|2022. 03. 07.

Optical measurement and interference techniques인용 수 4

한 줄 요약

이 논문은 이중 허미트 행렬의 오른쪽 고유값에 대한 최대최소 원리를 수립하고, 특이값 분해 및 새로 유도된 코시-슈바르츠 부등식을 이용하여 이중 허밀토니안 행렬에 대한 일반화된 역행렬을 개발한다. 주요 기여는 {1}, {3}, {4}-유형 일반화된 역행렬을 구조적 행렬 조건을 통해 완전히 특성화한 것으로, 3차원 운동 모델링 및 다중 에이전트 제어 시스템에서 스펙트럼 및 역행렬 분석을 가능하게 한다.

ABSTRACT

Dual quaternions can represent rigid body motion in 3D spaces, and have found wide applications in robotics, 3D motion modelling and control, and computer graphics. In this paper, we introduce three different right linear independency for a set of dual quaternion vectors, and study some related basic properties for the set of dual quaternion vectors and dual quaternion matrices. We present a minimax principle for right eigenvalues of dual quaternion Hermitian matrices. Based upon a newly established Cauchy-Schwarz inequality for dual quaternion vectors and singular value decomposition of dual quaternion matrices, we propose an important inequality for singular values of dual quaternion matrices. We finally introduce the concept of generalized inverse of dual quaternion matrices, and present the necessary and sufficient conditions for a dual quaternion matrix to be one of four types of generalized inverses of another dual quaternion matrix.

연구 동기 및 목표

• 이중 허밀토니안 벡터에 대한 오른쪽 선형 독립성의 세 가지 서로 다른 개념을 체계화하여, 이중 허밀토니안 행렬 시스템의 구조적 분석을 가능하게 한다.
• 비가환 대수로의 고전적 스펙트럼 이론 확장을 위해 이중 허밀토니안 행렬의 고유값에 대한 최대최소 원리를 수립한다.
• 특이값 분해와 새로운 코시-슈바르츠 부등식을 이용하여 팬-호프만 부등식의 이중 허밀토니안 행렬 버전을 유도한다.
• 특히 {1}, {3}, {4}-역행렬에 대해 무어-펜로즈 유형의 일반화된 역행렬을 정의하고 특성화한다.
• 행렬 분해 기반의 구조적 조건에 기초하여, 한 이중 허밀토니안 행렬이 다른 이중 허밀토니안 행렬의 일반화된 역행렬이 되기 위한 필요 및 충분 조건을 제공한다.

제안 방법

• 이중 허밀토니안 벡터에 대한 오른쪽 선형 독립성의 세 정의를 도입하여, 행렬 질량과 벡터 공간 구조에 미치는 영향을 분석한다.
• 이중 허밀토니안 벡터에 대한 새로운 코시-슈바르츠 부등식을 유도하여 내적과 특이값을 제한하는 데 필수적이다.
• 이중 허밀토니안 행렬의 특이값 분해(SVD)를 적용하여 특이값에 대한 팬-호프만 유형의 부등식을 수립한다.
• 분할 행렬 분해 $ A = A_{\rm st} + A_{\rm I}\epsilon $ 를 이용한 일반화된 역행렬의 매개변수 형태를 제안한다. 여기서 $ A_{\rm st} $ 와 $ A_{\rm I} $ 는 실수 행렬이다.
• 무어-펜로즈 역행렬 조건을 만족하기 위한 필요 및 충분 조건을 $ A_{\rm st}^\dagger $ 와 허밀토니안 조건을 포함한 행렬 방정식을 통해 유도한다. 이는 {1}, {3}, {4}-역행렬 여부를 판단하는 데 기초가 된다.
• 모든 비영 특이값이 유의미한 경우, 명시적 SVD 기반 역행렬 공식을 통해 무어-펜로즈 일반화된 역행렬의 존재성과 구조를 검증한다.

실험 결과

연구 질문

• RQ1 이중 허밀토니안 벡터 집합에 대해 오른쪽 선형 독립성을 일관되게 정의할 수 있는 방법은 무엇이며, 이는 행렬 질량과 벡터 공간 구조에 어떤 영향을 미치는가?
• RQ2 이중 허밀토니안 행렬의 고유값에 대한 최대최소 특성은 무엇이며, 이는 고전적 변분 원리에 어떻게 확장되는가?
• RQ3 이중 허밀토니안 행렬의 특이값에 대해 팬-호프만 유형의 부등식을 수립할 수 있는가? 그 형태는 어떠한가?
• RQ4 한 이중 허밀토니안 행렬이 다른 이중 허밀토니안 행렬의 {1}, {3}, 또는 {4}-일반화된 역행렬이 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ5 무어-펜로즈 일반화된 역행렬이 이중 허밀토니안 행렬에 대해 존재하는 조건는 무엇이며, 그 명시적 형태는 어떠한가?

주요 결과

• 이중 허밀토니안 허밀토니안 행렬의 고유값에 대한 최대최소 원리가 수립되었으며, 이는 고전적 레일리-리츠 변분 원리를 이중 허밀토니안 환경으로 일반화한 것이다.
• 비가환 환경에서 내적과 특이값 분석을 가능하게 하는, 이중 허밀토니안 벡터에 대한 새로운 코시-슈바르츠 부등식이 도출되었다.
• 특이값 분해와 새로운 코시-슈바르츠 부등식을 이용하여 이중 허밀토니안 행렬의 특이값에 대한 부등식이 증명되었으며, 이는 복소수 행렬의 팬-호프만 부등식과 유사하다.
• 행렬 $ X $ 가 $ A $ 의 {1}-일반화된 역행렬이 되기 위한 필요 및 충분 조건은 $ (I_m - A_{\rm st}A_{\rm st}^\dagger)A_{\rm I}(I_n - A_{\rm st}^\dagger A_{\rm st}) = O $ 이다. 이는 표준 역행렬 조건을 보장한다.
• 행렬 $ X $ 가 {3}-일반화된 역행렬이 되기 위해서는 $ (I_m - A_{\rm st}A_{\rm st}^\dagger)A_{\rm I}A_{\rm st}^\dagger = (A_{\rm st}^*)^\dagger A_{\rm I}^*(I_m - A_{\rm st}A_{\rm st}^\dagger) $ 가 성립해야 하며, 이는 $ AX $ 가 허밀토니안임을 보장한다.
• 행렬 $ X $ 가 {4}-일반화된 역행렬이 되기 위해서는 $ A_{\rm st}^\dagger A_{\rm I}(I_n - A_{\rm st}^\dagger A_{\rm st}) = (I_n - A_{\rm st}^\dagger A_{\rm st}) A_{\rm I}^* (A_{\rm st}^*)^\dagger $ 가 만족되어야 하며, 이는 $ XA $ 가 허밀토니안임을 보장한다.