Sums and products of symplectic eigenvalues
arXiv:2108.10741
Abstract
For every real positive definite matrix there exists a real symplectic matrix such that $M^TAM=\diag(D,D),$ where is the positive diagonal matrix with diagonal entries The numbers are called the symplectic eigenvalues of We derive analogues of Wielandt's extremal principle and multiplicative Lidskii's inequalities for symplectic eigenvalues.