All Questions

Let $H$ be a Hilbert space, $T_+(H)$ the set of positive self-adjoint trace-class operators on $H$, and $f : T_+(H) \to [0,m]$ a non-negative, bounded, convex functional. I don't necessarily know that ...

Let $X_{AB}$ be an operator acting on the tensor-product Hilbert space $\mathcal{H}_A \otimes \mathcal{H}_B$. Suppose that $X_{AB}$ is block positive, meaning that (in Dirac notation) $\langle \psi |...