エルミート行列
An formula_19 Hermitian matrix formula_1 is positive definite if it satisfies the following trace inequalities: