Every symmetric positive-definite 2n × 2n matrix M is symplectically congruent to a diagonal form diag(D, D), where D = diag(ν₁, …, νₙ) and the νᵢ are the positive imaginary parts of the eigenvalues of JM (Williamson 1936). The νᵢ are…
Every symmetric positive-definite 2n × 2n matrix M is symplectically congruent to a diagonal form diag(D, D), where D = diag(ν₁, …, νₙ) and the νᵢ are the positive imaginary parts of the eigenvalues of JM (Williamson 1936). The νᵢ are…