[논문 리뷰] Decomposing Real Square Matrices via Unitary Diagonalization

Théo Trouillon, Christopher R. Dance외 2명|arXiv (Cornell University)|2016. 05. 23.

Blind Source Separation Techniques참고 문헌 9인용 수 4

한 줄 요약

이 논문은 임의의 실수 정사각행렬을 유니터리 대각화된 복소행렬의 실수부로 표현하는 새로운 분해 방법을 제안한다. 이는 비대칭 행렬에 대해 저질서, 유일한 벡터 표현을 가능하게 하며, 핵심 기여는 모든 실수 정사각행렬이 정규행렬의 실수부임을 증명한 것이다. 이는 유니터리 대각화를 가능하게 하며, 기계학습 및 부호 랭크 근사에의 적용을 가능하게 한다.

ABSTRACT

Diagonalization, or eigenvalue decomposition, is very useful in many areas of applied mathematics, including signal processing and quantum physics. Matrix decomposition is also a useful tool for approximating matrices as the product of a matrix and its transpose, which relates to unitary diagonalization. As stated by the spectral theorem, only normal matrices are unitarily diagonalizable. However we show that all real square matrices are the real part of some unitarily diagonalizable matrix.

연구 동기 및 목표

• 대칭행렬만 직교 대각화될 수 있다는 한계를 해결함으로써, 기계학습에서의 고유한 벡터 표현을 제한한다.
• 복소수 유니터리 대각화를 사용하여 비대칭 실수 정사각행렬의 저질서 분해를 가능하게 한다.
• 복소수 공간에서의 저차원 유니터리 대각화를 통한 부호행렬 표현을 위한 이론적 기반을 제공한다.
• 행렬의 부호 랭크가 최대 부호 랭크의 두 배 이내인 유니터리 대각화와 대응됨을 보여준다.
• 복소수 켤레 및 유니터리 변환을 활용하여 대칭행렬과 정규행렬을 초월한 행렬 분해를 일반화한다.

제안 방법

• 임의의 실수 정사각행렬 $ A $ 에 대해 복소행렬 $ X = A + iA^T $ 를 정의하며, 이는 정규행렬임을 증명한다.
• 스펙트럼 정리를 사용하여 $ X = S\Lambda S^* $ 로 유니터리 대각화한다. 여기서 $ S $ 는 유니터리 행렬이고 $ \Lambda $ 는 대각행렬이다.
• 실수부를 통해 $ A $ 를 복구한다: $ A = \mathrm{Re}(S\Lambda S^*) $ 로 하여 임의의 실수 정사각행렬의 분해를 가능하게 한다.
• 질서 $ k $ 의 실수행렬 $ A $ 에 대해, $ 2k $ 차원의 유니터리 대각화로도 $ A $ 를 재구성할 수 있음을 증명한다.
• 부호행렬에 이 프레임워크를 적용하기 위해, 부호 랭크 $ k $ 인 임의의 부호행렬이 $ 2k $ 차원의 유니터리 대각화로 재구성될 수 있음을 보여준다.
• 실수행렬을 부호행렬로 매핑하는 부호 함수를 사용하여, 이 분해가 부호 랭크와 같은 복잡도 측도와 연결됨을 밝힌다.

실험 결과

연구 질문

• RQ1 모든 실수 정사각행렬이 유니터리 대각화 가능한 복소행렬의 실수부로 표현될 수 있는가?
• RQ2 질서 $ k $ 의 실수 정사각행렬을 재구성하기 위해 필요한 최소 차원의 유니터리 대각화는 얼마인가?
• RQ3 부호 랭크 $ k $ 인 부호행렬이 최대 $ 2k $ 차원의 유니터리 대각화로 재구성될 수 있는가?
• RQ4 비대칭행렬을 복소수 대각화를 통해 고유하고 저질서의 벡터 임베딩으로 표현할 수 있는가?
• RQ5 왜 유니터리 대각화의 질서가 행렬의 질서를 초과하는가? 그 구조적 이유는 무엇인가?

주요 결과

• 모든 실수 정사각행렬 $ A \in \mathbb{R}^{n \times n} $ 는 어떤 유니터리 행렬 $ S $ 와 대각행렬 $ \Lambda $ 에 대해 $ A = \mathrm{Re}(S\Lambda S^*) $ 로 표현될 수 있으며, 이는 그러한 분해의 존재를 증명한다.
• 복소행렬 $ X = A + iA^T $ 는 정규행렬이며, 이는 유니터리 대각화를 보장하고, 그 실수부는 $ A $ 이다.
• 질서 $ k $ 의 실수행렬 $ A $ 에 대해 $ 2k $ 차원의 유니터리 대각화로도 $ A $ 를 재구성할 수 있으며, 이는 필요한 차원에 대한 날카로운 상한을 설정한다.
• 부호 랭크 $ k $ 인 임의의 부호행렬 $ Y \in \{-1,1\}^{n \times n} $ 는 $ Y = \mathrm{sign}(\mathrm{Re}(S\Lambda S^*)) $ 로 $ 2k $ 차원의 유니터리 대각화를 통해 재구성될 수 있다.
• 이 분해는 유일하지 않지만, 비정규 또는 비대칭 행렬에 대해서도 의미 있는 저질서 표현을 포착한다.
• 대각성분의 부호 패턴이 일관되지 않은 질서 1 부호행렬의 예시는 질서 1 유니터리 대각화가 존재하지 않음을 보여주며, 이는 일부 경우에서 $ 2k $ 상한이 날카로운 것을 증명한다.