[논문 리뷰] Consimilarity of Split Quaternion Matrices and a Solution of the Split Quaternion Matrix Equation X-AX_B=C

Hidayet Hüda Kösal, Mahmut Akyiğit외 1명|arXiv (Cornell University)|2014. 06. 27.

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

한 줄 요약

이 논문은 분할 허문수 행렬에 대해 공유기호를 도입하여, 코고이겐밸류와 코고이겐벡터를 정의하고, 실수 표현을 통해 행렬 방정식 $X - A\widetilde{X}B = C$를 해결한다. 주요 기여는 실수 표현 $\phi_A$를 사용하여 명시적인 폐형 해를 유도한 것으로, 표준 실수 행렬 기법을 통해 분할 허문수 행렬 방정식을 체계적으로 해결할 수 있게 한다.

ABSTRACT

In this paper, the consimilarity of complex matrices is generalized for the split quaternions. In this regard, coneigenvalue and coneigenvector are defined for split quaternion matrices. Also, the existence of solution to the split quaternion matrix equation X-AXB = C is characterized and the solution of the equation in the explicit form are derived via its real representation.

연구 동기 및 목표

• 복소수 행렬에서의 공유기호 개념을 분할 허문수 행렬으로 일반화하기.
• 분할 허문수 행렬에 대한 코고이겐밸류와 코고이겐벡터를 정의하고 특성화하기.
• 분할 허문수 행렬 방정식 $X - A\widetilde{X}B = C$의 해가 존재하는 데 필요한 필수 및 충분 조건을 설정하기.
• 실수 표현 기법을 사용하여 행렬 방정식의 명시적 폐형 해를 도출하기.

제안 방법

• 비영인 $p$에 대해 $a = \overline{p} b p^{-1}$ 이면 $a \overset{c}{\sim} b$ 라 정의함으로써 분할 허문수에 대한 공유기호를 도입.
• 행렬 방정식 $A\widetilde{x} = x\lambda$ 를 통해 분할 허문수 행렬의 코고이겐밸류와 코고이겐벡터를 정의하고, 실수 표현 $\phi_A$의 고유값과 연결.
• 실수 표현 $\phi_A$ 를 사용하여 분할 허문수 행렬 방정식 $X - A\widetilde{X}B = C$ 를 실수 행렬 방정식 $Y - \phi_A Y \phi_B = \phi_C$ 로 변환.
• 실수 행렬 방정식의 해인 $Y$ 를 이용하여 $X$ 의 명시적 해 공식을 유도: $X = \frac{1}{16}(I_m\; iI_m\; jI_m\; kI_m) \cdot (Y - Q_m^{-1}Y Q_n + R_m^{-1}Y R_n - S_m^{-1}Y S_n) \cdot \begin{pmatrix} I_n \\ iI_n \\ jI_n \\ -kI_n \end{pmatrix}$.
• 실수 표현 $\phi_X = Y'$ 가 실수 행렬 방정식의 해임을 보여, 유도된 $X$ 가 원래의 분할 허문수 방정식을 만족함을 검증.
• 실수 표현 사상에 의해 분할 허문수 방정식의 해와 실수 행렬 방정식의 해 사이의 동치성을 확립.

실험 결과

연구 질문

• RQ1 분할 허문수 행렬에 대한 공유기호의 적절한 일반화는 무엇이며, 이를 공액과 노름 보존과 어떻게 연결할 수 있는가?
• RQ2 분할 허문수 행렬에 대해 코고이겐밸류와 코고이겐벡터는 어떻게 정의할 수 있으며, 실수 표현 $\phi_A$ 의 고유값과의 관계는 무엇인가?
• RQ3 분할 허문수 행렬 방정식 $X - A\widetilde{X}B = C$ 가 해를 갖는 조건은 무엇인가?
• RQ4 실수 표현으로부터 $X$ 의 폐형 해를 유도할 수 있는가?

주요 결과

• 분할 허문수 행렬 $A$ 의 실수 표현 $\phi_A$ 는 대수적 구조를 유지하는 $4m \times 4m$ 실수 행렬이며, 분할 허문수 방정식을 실수 행렬 방정식으로 변환할 수 있게 한다.
• 분할 허문수 행렬 방정식 $X - A\widetilde{X}B = C$ 는 해당 실수 행렬 방정식 $Y - \phi_A Y \phi_B = \phi_C$ 가 해를 갖는 것과 동치로 해가 존재한다.
• 분할 허문수 방정식의 해 $X$ 는 명시적으로 $X = \frac{1}{16}(I_m\; iI_m\; jI_m\; kI_m) \cdot (Y - Q_m^{-1}Y Q_n + R_m^{-1}Y R_n - S_m^{-1}Y S_n) \cdot \begin{pmatrix} I_n \\ iI_n \\ jI_n \\ -kI_n \end{pmatrix}$ 로 주어지며, 여기서 $Y$ 는 실수 행렬 방정식의 해이다.
• 해 $X$ 의 실수 표현 $\phi_X$ 는 $Y' = \frac{1}{4}(Y - Q_m^{-1}Y Q_n + R_m^{-1}Y R_n - S_m^{-1}Y S_n)$ 로 주어지며, 이는 실수 행렬 방정식의 해이다.
• 행렬 $A$ 의 코고이겐밸류는 정확히 $\phi_A$ 의 복소수 고유값과 일치한다. 즉, $\widetilde{\sigma}_r(A) \cap \mathbb{C} = \sigma(\phi_A)$.
• 해 공식은 $\phi_X = Y'$ 를 보장하여, 도출된 $X$ 가 원래의 분할 허문수 방정식을 만족함을 확인한다.