A Jensen inequality for partial traces and applications to partially semiclassical limits

Eric A. Carlen, Rupert L. Frank, Simon Larson

We prove a matrix inequality for convex functions of a Hermitian matrix on a bipartite space. As an application we reprove and extend some theorems about eigenvalue asymptotics of…