From joint convexity of quantum relative entropy to a concavity theorem of Lieb

Joel A. Tropp
2012 Proceedings of the American Mathematical Society  
This note provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum information theory, the joint convexity of quantum relative entropy, as well as a recent argument due to Carlen and Lieb.
doi:10.1090/s0002-9939-2011-11141-9 fatcat:l2lvne7yavcnfncta7gvc4nsve