Positive definite matrices with Hermitian blocks and their partial traces
Let H be a positive semi-definite matrix partitioned in β×β Hermitian blocks, H=[As,t], 1≤s,t,≤β. Then, for all symmetric norms, {equation*} \| H \| \le \| \sum_{s=1}^β A_{s,s} \|. {equation*} The proof uses a nice decomposition for positive matrices and unitary congruences with the generators of a Clifford algebra. A few corollaries are given, in particular the partial trace operation increases norms of separable states on a real Hilbert space, leading to a conjecture for usual complex Hilbert spaces.