Norm inequalities for partitioned operators and an application (Q1263796): Difference between revisions

Let T be a Hilbert space operator in the Schatten p-class partitioned into an \(n\times n\) block matrix \([T_{ij}]\). The following inequalities relating the p-norm of T and \(T_{ij}\) are proved: \[ n^{4/p- 2}\sum_{i,j}\| T_{ij}\|^ 2_ p\leq \| T\|^ 2_ p\leq \sum_{i,j}\| T_{ij}\|^ 2_ p,\quad n^{2-p}\| T\|^ p_ p\leq \sum_{i,j}\| T_{ij}\|^ p_ p\leq \| T\|^ p_ p, \] for \(2\leq p<\infty\). For \(1\leq p\leq 2\) these inequalities are reversed. As a consequence we give an elementary proof of the fact that the Schatten ideals for \(1\leq p\leq 2\) have the Radon-Riesz property; viz., if a sequence \(A_ n\) converges weakly to A in the Schatten ideal \({\mathcal I}_ p\) and \(\| A_ n\|_ p\to \| A\|_ p\) then \(\| A_ n-A\|_ p\to 0.\) Analogues of these results are valid for a larger class of unitarily invariant norms called Q-norms and their duals introduced in \textit{R. Bhatia}, Commun. Math. Phys. 111, 33-39 (1987; Zbl 0632.47005) and studied further in several papers including the first author and \textit{J. A. R. Holbrook}, Math. Ann. 28, 7-12 (1988).