On symplectic eigenvalues of positive definite matrices

Rajendra Bhatia, Tanvi Jain

If $A$ is a $2n\times 2n$ real positive definite matrix, then there exists a symplectic matrix $M$ such that $M^TAM = \left [ \begin{array}{cc} D & O \\ O & D \end{array} \right ]…