유니터리 불변 행렬 다양체의 헤르미티안 거리 차수와 특이값 대칭성

초록

본 논문은 복소 행렬 다양체가 좌·우 유니터리 변환에 불변일 때, 그 헤르미티안 거리 차수(HDdeg)가 특이값의 절대 대칭 집합에 대한 실수 유클리드 거리 차수(R‑EDdeg)와 일치함을 증명한다. 일반적인 데이터 행렬에 대해 HDdeg는 특이값 슬라이스에서 얻은 임계점들을 그대로 끌어올린 것과 동일하며, 이를 통해 Hermitian 버전의 Eckart‑Young 정리를 비롯한 여러 예시를 도출한다. 또한, Bik–Draisma식 슬라이싱 정리를 Hermitian 상황에 맞게 확장한다.

상세 분석

논문은 먼저 복소 행렬 공간 (V=\mathbb C^{n\times t})를 실수 벡터 공간 (V_{\mathbb R}\cong\mathbb R^{2nt})으로 보고, 실수 내적 (q(A,B)=\operatorname{Re}\operatorname{Tr}(AB^{*}))를 사용한다. 이때 (q)는 Hermitian 내적의 실수 부분이므로, “Hermitian 거리”는 실제로 (V_{\mathbb R})에서의 Euclidean 거리와 동일하다. 따라서 HDdeg는 실수 영역에서의 EDdeg와 동등하게 정의된다.

핵심 아이디어는 유니터리 불변성이다. 행렬 다양체 (M\subset\mathbb C^{n\times t})가 (U(n)\times U(t)) 작용에 대해 불변이면, 모든 행렬은 SVD (A=U\Sigma V^{}) 로 표현될 수 있고, (\Sigma)의 대각 원소(특이값)만이 (M)에 대한 정보를 담는다. 저자는 이를 “절대 대칭 집합” (S\subset\mathbb R^{n}) 로 정형화한다. 구체적으로 (S=\sigma(M)={x\in\mathbb R^{n}\mid \operatorname{diag}(x)\in M})이며, (S)는 모든 부호와 순열에 대해 닫혀 있다. 반대로 (S)가 절대 대칭이면 (M=\sigma^{-1}(S)={U\operatorname{diag}(x)V^{}\mid x\in S,;U\in U(n),V\in U(t)}) 로 복원된다.

Theorem 23(핵심 정리)에서는 일반적인 데이터 행렬 (Y=U\operatorname{diag}(y)V^{})에 대해, HDdeg((M;Y))가 바로 (R)‑EDdeg((S;y))와 일치함을 보인다. 증명은 두 단계로 이루어진다. 첫째, (Y)의 특이값 벡터 (y)가 속한 챔버(ED‑discriminant의 보완 연결 성분)마다 실수 임계점 수가 일정함을 이용한다. 둘째, 임계점 조건 (\operatorname{Re}\operatorname{Tr}((Y-X)A^{})=0) 를 (U^{}X V) 로 좌우 변환하면, (A)가 (M)의 접공간에 속할 때 동일 조건이 (y)와 (S)에 대한 실수 내적 ((y-x)\perp T_{x}S) 로 변환된다. 따라서 (X=U\operatorname{diag}(x)V^{}) 형태의 모든 Hermitian 임계점은 (x)가 (S) 위의 Euclidean 임계점일 때 정확히 얻어진다.

또한, 저자는 Bik–Draisma식 “슬라이싱 정리”를 Hermitian 상황에 맞게 재구성한다. 유니터리 표현이 실수 내적에 대해 직교이므로, (M)을 대각 행렬 슬라이스 ({U\operatorname{diag}(x)V^{*}}) 로 제한해도 임계점 수가 변하지 않는다. 이 결과는 계산 복잡도를 크게 낮추어, 실제 예제(예 24, 25)에서 챔버별로 임계점 수가 어떻게 변하는지를 명시적으로 보여준다.

마지막으로, Theorem 5는 Hermitian 버전의 Eckart‑Young 정리를 제시한다. rank‑(k) 결정식 다양체에 대한 거리 최소화 문제에서, 최적 근사 행렬은 원 행렬의 SVD에서 상위 (k)개의 특이값을 그대로 유지하고 나머지를 0으로 만든 형태임을 증명한다. 특이값이 모두 서로 다를 경우, 임계점 수는 (\binom{r}{k}) 로 정확히 계산된다. 이는 기존 Euclidean 결과와 완전히 일치하지만, 실수‑복소 구분을 명확히 함으로써 Hermitian 최적화 문제에 바로 적용 가능함을 보여준다.

전반적으로 논문은 복소 행렬 다양체의 실수 거리 문제를 특이값 공간의 절대 대칭 집합으로 완전히 환원함으로써, 기존의 복잡한 복소 해석을 피하고 실수 기하학적 도구(EDdeg, 슬라이싱)만으로도 완전한 해를 제공한다는 점에서 이론적·실용적 의미가 크다.