エルミート行列
(formula_44) If formula_25 occurs as the diagonal of a Hermitian matrix with eigenvalues formula_46, then formula_47 also occurs as the diagonal of some Hermitian matrix with the same set of eigenvalues, for any transposition formula_48 in formula_10. One may prove that in the following manner.