Hilbert-Schmidt operators; convex functions; Jensen's inequality; trace inequalities for matrices; trace class operators