Rearrange asThus is similar to . Similar matrices have the same characteristic polynomial by part (a), and transposition also preserves it:Therefore . This is the underlying algebraic source of the reciprocal spectrum of a symplectic matrix.
For , factor the matrix inside the determinant:The second line uses ; the third uses the even matrix size; the last uses part (i). ConsequentlyIn other words, the characteristic polynomial equals its reciprocal polynomial.
Let , and suppose with . The reciprocal identity gives, for ,Near the factor is nonzero. Also has a simple zero there. HenceThis proves equality of the algebraic multiplicities, not merely that the inverse is another eigenvalue. Invertibility excludes zero eigenvalues throughout.
The fixed points of reciprocal root pairing are and , so part (iii) alone does not establish their parity. Use the polynomial identity itself.
Write , where and allow if one is not a root. After substituting in and canceling away from , obtainLetting yields , so is even.
Similarly write with . This time cancellation gives . Letting yields , so is even. ThusThe conclusion includes multiplicity zero. It is a consequence of the reciprocal identity in even degree, which is stronger at these fixed points than just pairing the roots.
Articles by others on the same topic
There are currently no matching articles.