Positive definite matrices with Hermitian blocks and their partial traces
Jean-Christophe Bourin, Eunyoung Lee, Minghua Lin · arXiv (Cornell University) · 2012
Let $H$ be a positive semi-definite matrix partitioned in $β\times β$ Hermitian blocks, $H=[A_{s,t}]$, $1\le s,t,\le β$. 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.