 Trace-norm variational principle for Hermitian operators

A Hermitian operator satisfies $\Vert X{\Vert }_1={\max }_{-I\le T\le I}\mathrm{Tr}(XT)$. Each diagonal entry of $T$ in an eigenbasis of $X$ lies between minus one and one, giving the upper bound ${\sum }_i|{\lambda }_i|$. The sign operator of $X$ attains it. The substitution $T=2E-I$ converts this formula to optimization over binary POVM effects and proves the Holevo–Helstrom theorem.