복소 행렬의 별동형동형 일반형

초록

이 논문은 복소 (n\times n) 행렬에 대해 두 종류의 동형관계, 즉 전치에 의한 동형(congruence)과 켤레 전치에 의한 별동형(*‑congruence)에서 “가장 흔히 나타나는” 정규형을 규정한다. 전치 동형에서는 하나의 일반형만이 전체 공간의 열린 조밀 부분을 차지하는 반면, 별동형에서는 (\lfloor n/2\rfloor+1)개의 서로 다른 일반형이 존재함을 보인다. 이를 위해 새로운 “번들(bundle)” 개념을 도입하고, 팔린드롬 펜슬과 코네크(Kronecker) 정규형과의 연계도 분석한다.

상세 분석

논문은 먼저 복소 (n\times n) 행렬 집합 (\mathbb C^{n\times n}) 에 대해 전치 동형(congruence)과 별동형(‑congruence)의 궤도(orbit)를 연구한다. 전치 동형은 (P^{\top}AP=B) 형태의 변환으로 정의되며, 별동형은 (P^{}AP=B) 로 정의된다. 기존 문헌에서 제시된 “congruence canonical form”(CFC)과 “*‑congruence canonical form”(∗CFC)는 각각 세 종류의 블록(​Type 0, Type I, Type II)으로 이루어진 직접합으로 표현된다. 여기서 Type I 블록은 단위 복소수 (\alpha) ( (|\alpha|=1) )와 연관되고, Type II 블록은 (|\mu|>1) 혹은 (\mu=e^{i\theta})와 연관된다.

저자는 “번들(bundle)”이라는 개념을 도입한다. 번들은 같은 CFC(또는 ∗CFC)를 공유하되, 블록에 등장하는 파라미터 (\alpha,\mu)의 값만 달라지는 행렬들의 집합이며, 같은 번들 안의 모든 궤도는 차원이 동일하도록 정의한다. 이는 고전적인 고유값‑Jordan 블록 기반의 similarity 번들과 직접적인 유사성을 갖는다.

주요 결과는 두 부분으로 나뉜다. (a) 전치 동형에 대해서는 하나의 열린 번들만이 전체 공간을 조밀하게 차지한다는 사실을 증명한다. 즉, 거의 모든 행렬이 동일한 CFC, 즉 “generic congruence canonical form”에 속한다. 이 일반형은 (n)이 짝수인지 홀수인지에 따라 약간 다른 블록 구성을 갖지만, 본질적으로는 Type 0 (J_k(0))와 Type I (\Gamma_k) 블록, 그리고 (|\mu|>1) 혹은 (\mu=e^{i\theta})인 Type II (H_{2k}(\mu)) 블록들의 직접합으로 이루어진다.

(b) 별동형에 대해서는 (\lfloor n/2\rfloor+1)개의 서로 다른 열린 번들이 존재한다는 것이 핵심이다. 각 번들은 (\ell=0,1,\dots,\lfloor n/2\rfloor)에 대응하며, (\ell)는 일반형에 포함되는 단위 고유값(즉, (|\alpha|=1)인 Type I 블록)의 개수를 의미한다. 따라서 별동형에서는 행렬이 가질 수 있는 단위 고유값의 개수가 0, 2, … (짝수 (n)인 경우) 혹은 1, 3, … (홀수 (n)인 경우)까지 다양해질 수 있음을 보인다. 이는 별동형 펜슬 (A+\lambda A^{*}) 의 팔린드롬 구조와 직접 연결되며, 펜슬이 가질 수 있는 단위 고유값의 수가 바로 번들의 수와 일치한다.

또한 저자는 기존 연구(