[논문 리뷰] A logarithmic minimization property of the unitary polar factor in the spectral norm and the Frobenius matrix norm

Patrizio Neff, Yuji Nakatsukasa외 1명|arXiv (Cornell University)|2013. 02. 13.

Matrix Theory and Algorithms참고 문헌 41인용 수 20

한 줄 요약

이 논문은 모든 $ n $ 에 대해 스펙트럴 노름에서, $ n = 2,3 $ 에 대해 프로베니우스 노름에서, 임의의 가역 행렬 $ Z \in \mathbb{C}^{n \times n} $ 에 대해 극분해 $ Z = U_p H $ 의 유니터리 극요소 $ Q = U_p $ 가 유니터리 행렬 $ Q $ 에 대해 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 과 그 에르미트 부분 $ \|\operatorname{sym}_*(\operatorname{Log}(Q^*Z))\|^2 $ 의 최소화를 이루며, 이는 노름 최소화를 넘는 기하학적 최적성, 즉 지오데식 최적성을 드러낸다.

ABSTRACT

The unitary polar factor $Q=U$ in the polar decomposition of the matrix $Z=UH$ is the minimizer for both $\| \mathrm{Log}(Q^* Z)\|^2$ and its Hermitian part $\| \mathrm{sym Log}(Q^* Z)\|^2$ over both $\mathbb{R}$ and $\mathbb{C}$, for any given invertible matrix $Z$ in $\mathbb{C}^{n imes n}$ and any matrix logarithm $\mathrm{Log}$, not necessarily the principal logarithm $\mathrm{log}$. We prove this for the spectral matrix norm in any dimension and for the Frobenius matrix norm in two and three dimensions. The result shows that the unitary polar factor is the nearest orthogonal matrix to $Z$ not only in the normwise sense, but also in a geodesic distance. The derivation is based on Bhatia's generalization of Bernstein's trace inequality for the matrix exponential and a new sum of squared logarithms inequality.

연구 동기 및 목표

• 표준 노름 최소화를 넘는 유니터리 극요소의 새로운 로그 최소화 성질을 확립하기 위해.
• 행렬 $ Z $ 에 대한 가장 가까운 유니터리 행렬로서의 극요소의 알려진 최적성 결과를, 행렬 로그를 활용한 지오데식 거리 프레임워크로 확장하기 위해.
• 모든 스펙트럴 및 프로베니우스 노름에서 $ U_p $ 가 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 과 $ \|\operatorname{sym}_*(\operatorname{Log}(Q^*Z))\|^2 $ 의 최소화를 이루는 것을 증명하기 위해.
• 스칼라의 로그 최소화를 행렬으로 일반화하여, 극요소가 모든 유니터리 변환에서 최소 로그 편차를 달성함을 보여주기 위해.
• 새로운 제곱 로그 합 부등식을 제시하고, Bhatia의 추적 부등식을 적용하여 저차원에서 결과를 증명하기 위해.

제안 방법

• 저자들은 행렬 지수에 대한 Bhatia의 Bernstein 추적 부등식 일반화를 사용하여, 유니터리 변형 하에서 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 의 행동을 분석한다.
• 2×2 및 3×3 행렬에 대한 새로운 제곱 로그 합 부등식을 유도하며, 이는 프로베니우스 노름 최적성 증명에 필수적이다.
• 스펙트럴 노름의 경우, 모든 $ n $ 에 대해 성립하며, $ Z^*Z $ 를 대각화하고 고유값과 회전 행렬을 통해 로그 편차를 분석함으로써 증명된다.
• 프로베니우스 노름의 경우, $ n=2,3 $ 에서는 유니터리 불변성과 행렬 로그 및 그 에르미트 부분의 성질을 활용하여 증명된다.
• 표현을 통해 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 를 $ Z $ 의 특이값에 대해 기술하고, 회전을 통한 $ Q $ 에 대한 최소화를 수행한다.
• 핵심 단계는 함수 $ g(\xi) = \frac{\operatorname{arcosh}(\xi)^2}{\xi^2 - 1} $ 의 단조 감소성을 이용하여 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 의 하한이 정확히 $ Q = U_p $ 일 때 도달됨을 보이는 것이다.

실험 결과

연구 질문

• RQ1 모든 $ n $ 에 대해 스펙트럴 노름에서, 임의의 가역 $ Z \in \mathbb{C}^{n \times n} $ 에 대해 유니터리 행렬 $ Q $ 전역에서 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 이 $ U_p $ 에 의해 최소화되는가?
• RQ2 에르미트 부분 $ \|\operatorname{sym}_*(\operatorname{Log}(Q^*Z))\|^2 $ 에 대해서도 동일한 성질이 성립하며, $ n=2,3 $ 에서 프로베니우스 노름에서도 성립하는가?
• RQ3 스칼라의 로그 최소화 항등식 $ \min_{\vartheta \in (-\pi,\pi]} |\operatorname{Log}_{\mathbb{C}}(e^{-i\vartheta}z)|^2 = |\log|z||^2 $ 은 행렬로 일반화될 수 있는가?
• RQ4 행렬 로그와 그 에르미트 부분은 유니터리 군 상의 지오데식 거리를 기술하는 데 어떤 역할을 하는가?
• RQ5 새로운 제곱 로그 합 부등식은 저차원 행렬 리 군에서 극요소의 최적성과 어떻게 관련이 있는가?

주요 결과

• 모든 $ n $ 에 대해 스펙트럴 노름에서, 유니터리 행렬 $ Q $ 전역에서 $ U_p $ 가 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 의 최소화를 이루며, 고전적인 가장 가까운 유니터리 행렬 결과를 로그 지오데식 의미로 일반화한다.
• $ n=2 $ 및 $ n=3 $ 에서 프로베니우스 노름에서 $ U_p $ 가 $ \|\operatorname{sym}_*(\operatorname{Log}(Q^*Z))\|^2 $ 의 최소화를 이루며, 이는 노름 최소화를 넘는 더 깊은 최적성을 보여준다.
• 프로베니우스 노름 최소화는 새로운 제곱 로그 합 부등식을 통해 증명되며, 이는 $ Z^*Z $ 의 고유값에 대해 $ \|\operatorname{Log}(Q^*Z)\|_F^2 $ 의 최소값을 유계화한다.
• $ \|\operatorname{Log}(Q^*Z)\|_F^2 $ 의 하한은 $ Q = U_p $ 일 때 도달되며, 이때 최소값은 고유값이 $ \lambda, \lambda^{-1} $ 인 2×2 행렬에 대해 $ 2(\log \lambda)^2 $ 와 같다.
• 함수 $ g(\xi) = \frac{\operatorname{arcosh}(\xi)^2}{\xi^2 - 1} $ 는 $ [1, \infty) $ 에서 엄밀히 감소하므로, 최소값은 가능한 최대 $ \xi = \frac{\operatorname{tr}(D)}{2} $ 에서 도달하며, 이는 $ Q = U_p $ 에 해당한다.
• 결과는 스칼라 항등식 $ \min_{\vartheta} |\operatorname{Log}(e^{-i\vartheta}z)|^2 = |\log|z||^2 $ 을 행렬로 일반화하며, 극요소가 모든 유니터리 변환에서 최소 로그 편차를 달성함을 보여준다.