  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 by an orthosymplectic matrix in the sense of
Williamson's theorem.
