Suatu matriks kompleks Mn berukuran nxn pada pemetaan linier ∅ ∶ X→X+(tr X )I pada Mn Diduga jika[■(A&X@x^*&B)] semi definit postip untuk A , X , B ∈M_n maka 2s_(j ) (∅(X) ) ≤ s_j (∅(A+B) ,j= 1 ,….,ndan s_j ...