[논문 리뷰] Matrix Theory over the Complex Quaternion Algebra

Yongge Tian|ArXiv.org|2000. 04. 01.

Algebraic and Geometric AnalysisMathematics참고 문헌 7인용 수 22

한 줄 요약

이 논문은 고정된 가역 행렬 Q를 통해 복소수 허니온 행렬을 2×2 복소수 행렬 표현으로 연결하는 보편적인 유사성 분해 항등식을 수립한다. 이는 복소수 허니온 대수에서 일반화된 역행렬, 고유값, 행렬식, 기타 행렬 이론 개념을 일관되게 정의하는 데 기여한다. 주요 기여는 복소수 허니온 대수와 행렬 대수 사이의 보편적인 동형사상으로, 이는 고전적 행렬 이론을 비가환 허니온으로 확장하는 데 기여한다.

ABSTRACT

We present in this paper some fundamental tools for developing matrix analysis over the complex quaternion algebra. As applications, we consider generalized inverses, eigenvalues and eigenvectors, similarity, determinants of complex quaternion matrices, and so on.

연구 동기 및 목표

• 비가환적이며 표준 행렬 도구가 없는 복소수 허니온 대수에서 체계적인 행렬 이론을 개발하기 위해.
• 비가환성으로 인해 복소수 허니온 행렬에서 역행렬, 고유값, 행렬식 등의 행렬 연산을 정의하는 데 발생하는 기초적 과제를 해결하기 위해.
• 복소수 허니온을 2×2 복소수 행렬로 연결하는 보편적인 유사성 분해를 수립하여 고전적 행렬 이론 결과의 이행을 가능하게 하기 위해.
• 충실한 행렬 표현을 사용하여 복소수 허니온 행렬에 대한 중심 행렬식을 정의함으로써 곱셈성 및 항등성 성질을 보장하기 위해.
• 새로운 행렬식 정의를 통해 고전적 결과인 케일리-엄브리지 정리가 복소수 허니온 설정으로 확장될 수 있도록 하기 위해.

제안 방법

• 보편적인 유사성 분해를 도입: $ Q^{-1} \text{diag}(a, a) Q = \psi(a) $, 여기서 $ Q $ 는 $ \mathbb{Q} $ 위의 고정된 2×2 행렬이며 $ a $ 에 대해 독립적이고, $ \psi(a) $ 는 $ a \in \mathbb{Q} $ 의 표준 2×2 복소수 행렬 표현이다.
• 이 분해를 $ \mathbb{Q} $ 위의 $ m \times n $ 행렬로 확장하여 블록 대각 및 블록 행렬 구성 기법을 사용한다.
• 복소수 허니온 행렬 $ A \in \mathbb{Q}^{n \times n} $ 의 중심 행렬식을 $ |A|_c = |\Psi(A)| $ 로 정의하며, 이는 그 복소수 행렬 표현의 일반 행렬식이다.
• 보편적인 유사성 분해를 활용하여 복소수 허니온 설정에서 일반화된 역행렬, 고유값, 고유벡터의 성질을 도출한다.
• $ \mathbb{Q} $ 와 $ \mathbb{C}^{2 \times 2} $ 사이의 동형사상을 활용하여 표준 행렬 항등식(예: 케일리-엄브리지 정리)을 허니온 대수로 이행한다.
• 이 분해를 활용하여 복소수 허니온 프레임워크에서 유사성, 에르미트 수반, 노름을 정의하고 분석한다.

실험 결과

연구 질문

• RQ1 비가환적인 복소수 허니온 대수에서 역행렬, 고유값 등의 행렬 연산을 어떻게 일관되게 정의할 수 있는가?
• RQ2 행렬 요소에 의존하지 않고 복소수 허니온 행렬을 그 2×2 복소수 행렬 표현과 연결하는 보편적인 유사성 분해를 구성할 수 있는가?
• RQ3 곱셈성 및 항등성 성질을 유지하는 복소수 허니온 행렬에 대한 적절한 행렬식 정의는 무엇인가?
• RQ4 잘 정의된 행렬식을 사용하여 케일리-엄브리지 정리를 복소수 허니온 행렬로 어떻게 확장할 수 있는가?
• RQ5 복소수 허니온 행렬의 맥락에서 일반화된 역행렬, 유사성, 노름의 구조적 성질은 무엇인가?

주요 결과

• 보편적인 유사성 분해가 존재한다: $ Q^{-1} \text{diag}(a, a) Q = \psi(a) $, 여기서 $ Q $ 는 $ a $ 에 대해 독립적이며, $ \mathbb{Q} $ 와 $ \mathbb{C}^{2 \times 2} $ 사이의 표준 동형사상을 제공한다.
• 중심 행렬식 $ |A|_c = |\Psi(A)| $ 는 $ A \in \mathbb{Q}^{n \times n} $ 에 대한 자연스러운 행렬식으로 제안되며, $ |AB|_c = |A|_c |B|_c $ 와 $ |A|_c \neq 0 $ iff $ A $ 가 가역임을 만족한다.
• 케일리-엄브리지 정리는 복소수 허니온 행렬에 대해 성립한다: $ p_A(A) = 0 $, 여기서 $ p_A(\lambda) = |\lambda I_{2n} - \Psi(A)| $ 는 차수 $ 2n $ 의 복소수 다항식이다.
• 대각 행렬 $ A = \text{diag}(a_{11}, \dots, a_{nn}) $ 에 대해 중심 행렬식은 $ |A|_c = n(a_{11}) \cdots n(a_{nn}) $ 를 만족하며, 여기서 $ n(a) = a_0^2 + a_1^2 + a_2^2 + a_3^2 $ 이다.
• 복소수 $ \lambda \in \mathbb{C} $ 에 대해 중심 행렬식은 $ |\lambda A|_c = \lambda^{2n} |A|_c $ 를 만족하고, $ \mu \in \mathbb{Q} $ 에 대해 $ |\mu A|_c = n^2(\mu) |A|_c $ 를 만족하며, 여기서 $ n(\mu) $ 는 약한 노름이다.
• 중심 행렬식은 유사성에 대해 불변이다: $ A \sim B $ 이면 $ |A|_c = |B|_c $ 이며, 이는 동치 표현 간의 일관성을 보장한다.