2000 character limit reached
Yet Another Proof of the Joint Convexity of Relative Entropy (2112.13763v3)
Published 27 Dec 2021 in quant-ph, cs.IT, math-ph, math.FA, math.IT, and math.MP
Abstract: The joint convexity of the map $(X,A) \mapsto X* A{-1} X$, an integral representation of operator convex functions, and an observation of Ando are used to obtain a simple proof of both the joint convexity of relative entropy and a trace convexity result of Lieb. The latter was the key ingredient in the original proof of the strong subadditivity of quantum entropy.