[논문 리뷰] Unitary equivalence of a matrix to its transpose

Stephan Ramon Garcia, James E. Tener|arXiv (Cornell University)|2009. 08. 14.

Matrix Theory and Algorithms참고 문헌 32인용 수 28

한 줄 요약

이 논문은 전치와 유니타리 유사인 복소행렬(이하 UET)에 대한 완전한 캐논ical 분해를 제공한다. 이에 따르면, 이러한 행렬은 기약 복소대칭행렬, 기약 스키프해밀토니안 행렬, 또는 $ A \oplus A^t $ 형태의 블록으로의 직합과 유니타리 유사임을 증명한다. 주요 결과는 'UET이면 복소대칭행렬과 유니타리 유사이다'는 난이도 있는 추론이 $ 7 \times 7 $ 이하의 행렬에서는 성립하지만, $ 8 \times 8 $ 이상에서는 성립하지 않으며, 이는 기약 복소대칭행렬과 유니타리 유사가 아닌 UET 행렬이 존재하기 때문이다.

ABSTRACT

Motivated by a problem of Halmos, we obtain a canonical decomposition for complex matrices which are unitarily equivalent to their transpose (UET). Surprisingly, the naive assertion that a matrix is UET if and only if it is unitarily equivalent to a complex symmetric matrix (i.e., $T = T^t$) holds for matrices 7x7 and smaller, but fails for matrices 8x8 and larger.

연구 동기 및 목표

• 모든 복소행렬이 전치와 유니타리 유사인가에 대한 할무스의 미해결 문제를 해결하기 위해.
• 특히 UET이 복소대칭행렬과의 유니타리 유사성(UECSM)을 유도하는지 여부를 포함해, 행렬이 UET가 되는 정확한 조건을 규명하기 위해.
• UET 행렬을 세 가지 다른 유형의 기약 성분으로 완전한 캐논ical 분해를 제공하기 위해.
• UET ⇒ UECSM 추론이 실패하는 최소 크기를 규명하여 $ 8\times8 $에서 명확한 임계점이 됨을 밝히기 위해.
• 형태 $ \phi(T) = U T^t U^* $ 의 선형 변환의 고정점을 분류하기 위해. 이는 선형 유지자 이론에서 핵심적인 역할을 한다.

제안 방법

• UET 행렬의 캐논ical 형식을 유도하기 위해, 식 $ T = U T^t U^* $ 에서 유도된 식 $ T Q = Q T^t $ 를 만족하는 유니타리 행렬 $ Q $ 의 구조를 분석한다.
• 유니타리 행렬 $ Q $ 를 대칭, 반대칭, 쌍으로 이루어진 블록으로 분해하여, 이에 대응하는 $ T $ 를 세 유형으로 분류한다: 복소대칭, 스키프해밀토니안, $ A \oplus A^t $ 블록.
• 블록 행렬 분석을 적용하여 $ T $ 가 $ Q $ 의 분해에 대해 블록 대각행렬이어야 하며, 이로 인해 세 가지 성분 유형이 유도됨을 보인다.
• 유니타리 유사성에 의한 복소대칭행렬(UECSM) 및 스키프해밀토니안 행렬(UESHM)에 관한 결과를 활용하며, $ Q_{+} $, $ Q_{-} $, $ X_i $, $ Y_i $ 블록의 스펙트럼 및 구조적 성질을 이용한다.
• 기약성과 정규교환자 성질을 이용하여 세 유형이 유니타리 유사성에 의해 분리되어 있음을 보여, 이로 인해 단일한 분해가 보장됨을 증명한다.
• 차원 수 계산과 명시적 구성 기법을 통해 $ 8\times8 $ 이하에서 UET가 UECSM를 유도하지 않는다는 것을 보이며, 이는 $ A $ 가 기약이면서 UECSM나 UESHM가 아닌 $ A \oplus A^t $ 블록의 존재에 기반한다.

실험 결과

연구 질문

• RQ1 모든 복소행렬이 전치와 유니타리 유사한가?
• RQ2 UET는 복소대칭행렬과의 유니타리 유사성(UECSM)을 유도하는가?
• RQ3 UET 행렬의 기약 성분으로의 완전한 캐논ical 분해는 무엇인가?
• RQ4 UET ⇒ UECSM 추론이 실패하는 행렬의 크기는 어느 정도인가?
• RQ5 UET 행렬의 유니타리 궤도는 무엇이며, 어떻게 서로 다른 구조적 유형으로 분해되는가?

주요 결과

• 행렬 $ T \in M_n(\mathbb{C}) $ 는 기껏해야 기약 복소대칭행렬, 기약 스키프해밀토니안 행렬, 또는 $ A \oplus A^t $ 형태의 블록으로의 직합과 유니타리 유사일 때에만 UET이다. 여기서 $ A $ 는 기약이며, UECSM나 UESHM가 아니다.
• 'UET ⇒ UECSM' 추론은 크기가 $ n \leq 7 $ 인 경우 성립하지만, $ n \geq 8 $ 인 경우 실패하며, $ 8\times8 $ 이 최소 반례 크기이다.
• 기약 UET 행렬은 UECSM 또는 UESHM 둘 중 하나이다. 이는 추론 2.1에 의해 보여진다.
• $ A \oplus A^t $ 형태의 블록은 UET이지만, $ A $ 가 스스로 UECSM가 아니면 UECSM가 아니다. 이러한 블록이 기약이 되려면 $ A $ 가 기약이면서도 전치와 유니타리 유사가 아니어야 한다.
• 세 가지 유형의 UET 행렬(복소대칭, 스키프해밀토니안, $ A \oplus A^t $)은 상호 배타적인 유니타리 궤도를 가지며, 이는 분해가 유니타리 유사성에 대해 유일함을 보장한다.
• UECSM가 아닌 UET 행렬의 최소 크기는 $ 8\times8 $ 이며, 이러한 행렬은 존재한다. 이는 $ d \geq 4 $ 인 기약 $ A \in M_d(\mathbb{C}) $ 가 존재하기 때문이며, 이에 따라 $ d \geq 4 $ 이면 $ 2d \times 2d $ 크기의 유형 III 블록이 존재하며, $ 2d \geq 8 $ 이므로 가능하다.