Title: Ruminations on Matrix Convexity and the Strong Subadditivity of Quantum Entropy
Abstract:

In the context of matrix-valued functions, M to F(M), the second-derivative test of convexity is practically approachable in only few special cases.  Still, by Loewner’s theorem on matrix-monotone and its extension by Kraus to matrix convex-functions F, these few cases essentially cover the range of matrix convexity.  We demonstrate that such relatively simple means allow to establish the celebrated Lieb-Ruskai `73 theorem on the strong sub-additivity of quantum entropy. 
(Joint work with Giorgio Cipolloni.)

link: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=ece5cf51-3893-4a10-89f3-b26b008f96be