埃尔米特矩阵
An formula_19 Hermitian matrix formula_1 is positive definite if it satisfies the following trace inequalities: