エルミート行列
Let formula_1 be an formula_19 Hermitian matrix. This implies all its eigenvalues are real.