矩阵迹不等式

• inequality of the trace of quatemionic matrix