Orthosymplectic diagonalization in Williamson's theorem

Hemant K. Mishra

In this paper, we provide an algebraic condition on any $2n\times 2n$ real symmetric positive definite matrix which is necessary and sufficient for the matrix to be diagonalized b…