If A1, . . . , Am are positive semidefinite n n matrices, and if p1, . . . , pm are positive real numbers such that then
where |X| denotes and tr(X) denotes the trace of X. Moreover, equality holds in either of these inequalities if and only if . This result will be shown to hold as well in unital C*-algebras that have a faithful tracial state.
Mendeley saves you time finding and organizing research
Choose a citation style from the tabs below