“…Furthermore, if A = [A i,j ] m i,j=1 ∈ M m (M n ) is positive semidefinite, it is easy to see that both tr 1 A and tr 2 A are also positive semidefinite; see, e.g., [38, p. 237] or [39,Theorem 2.1]. Over the years, various results involving partial transpose and partial traces have been obtained in the literature, e.g., [3,9,11,13,24]. We introduce the background and recent progress briefly.…”