A Jensen inequality for partial traces and applications to partially semiclassical limits - Carlen, Eric A.; Frank, Rupert L.; Larson, Simon (Letters in Mathematical Physics, 2025)