We prove some new properties of fidelity (transition probability) and
concurrence, the latter defined by straightforward extension of Wootters
notation. Choose a conjugation and consider the dependence of fidelity or of
concurrence on conjugated pairs of density operators. These functions turn out
to be concave or convex roofs. Optimal decompositions are constructed. Some
applications to two- and tripartite systems illustrate the general theorem.Comment: 10 pages, RevTex, Correction: Enlarged, reorganized version. More
explanation