self-adjoint bounded linear operator; trace inequality; convex
function; quantum f-divergence