양자 행렬의 심플렉틱 스펙트럼과 블록 핀칭 사이의 약한 초우위 관계

본 논문은 2n × 2n 실양의 양의 정부호 행렬 \(A=\begin{bmatrix}E&F\\F^{T}&G\end{bmatrix}\)에 대해, 그 대각 블록만을 남긴 핀칭 행렬 \(E\oplus G\)와 원 행렬 \(A\) 사이의 심플렉틱 고유값 관계를 연구한다. 심플렉틱 고유값은 Williamson 정리(1936)에 의해 정의되며, 양의 정부호 행렬을 심플렉틱 변환 \(M\in SP_{2n}\)으로 대각화할 때 나타나는 양수 대각 원소들의 집합이다. 논문은 먼저 기본 개념을 정리하고, 심플렉틱 기저와 심플렉틱 그룹, 그리고 약한 초우위(\(\prec^{w}\)) 정의를 소개한다. 핵심 결과는 Lemma 3.1으로, \(d(E\oplus G)=\lambda\big((G^{1/2}EG^{1/2})^{1/2}\big)\)임을 증명한다. 이는 \(E\oplus G\)를 적절한 심플렉틱 변환으로 변형하면 블록 대각 형태 \((G^{1/2}EG^{1/2})\oplus I_n\)가 되며, 그 고유값이 바로 위 식과 일치함을 보이는 과정이다. 이 결과를 바탕으로 Theorem 3.2에서는 \(d(E\oplus G)\prec^{w}d(A)\)를 보인다. 증명은 다음과 같다. 먼저 \(G^{1/2}EG^{1/2}\)의 고유벡터 \(\{v_k\}\)를 이용해 \(u_k=\sqrt{d_k(E\oplus G)}\,G^{-1/2}v_k\)를 정의하고, 이를 이용해 \(E G u_k = d_k^2(E\oplus G) u_k\)임을 확인한다. 이어서 \(x_k=