New trace norm inequalities for 2 2 blocks of diagonal matrices

DOI10.1016/J.LAA.2004.03.006MaRDI QIDQ1887607zbMATH OpenOpenAlexFDO

Authors Christopher King, Michael H. Nathanson

Publication date 22 November 2004

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0312194

zbMATH Keywords

noncommutative Hanner's inequalitysingular valuestrace norm

Mathematics Subject Classification ID

Miscellaneous inequalities involving matrices (15A45) Norms of matrices, numerical range, applications of functional analysis to matrix theory (15A60)

Abstract: Several new trace norm inequalities are established for 2n x 2n block matrices, in the special case where the four n x n blocks are diagonal. Some of the inequalities are non-commutative analogs of Hanner's inequality, others describe the behavior of the trace norm under re-ordering of diagonal entries of the blocks.

Review text

The matrix version of Hanner's inequality was proven for all \(p\geq1\) by \textit{K. Ball, E. A. Carlen} and \textit{E. H. Lieb} in [Invent. Math. 115, No. 3, 463--482 (1994; Zbl 0803.47037)]. It states that given \(n\times n\) complex-valued matrices \(X\) and \(Y\) with \(X+Y\) and \(X-Y\) positive semidefinite, then for \(1\leq p\leq2\) \[ \| X+Y\| _p^p+\| X-Y\| _p^p\geq(\| X\| _p+\| Y\| _p)^p+\left| \,\| X\| _p-\| Y\| _p\,\right| ^p \] with the reverse inequality holding for \(p\geq2\). The matrix version of Hanner's inequality can be expressed as \[ \left\| \begin{pmatrix} X&Y\\Y&X\end{pmatrix}\right\| _p \geq\left\| \begin{pmatrix}\| X\| _p&\| Y\| _p\\ \| Y\| _p&\| X\| _p\end{pmatrix}\right\|_p . \] The authors take this expression as the starting point to look out for generalizations. The first author showed in [Commun. Math. Phys. 242, No. 3, 531--545 (2003; Zbl 1049.15013)] that the inequality generalizes in the obvious way to positive semidefinite matrices of the form \(\left(\begin{smallmatrix} X&Y\\Y^*&Z\end{smallmatrix}\right)\). In the paper under review, the authors remove the condition of positive semidefiniteness under the additional assumption that the blocks are diagonal. Concretely, they prove that if \(A,B,C,D\) are \(n\times n\) diagonal matrices, then \[ \left\| \begin{pmatrix} A&B\\ C&D\end{pmatrix}\right\| _p \geq\left\| \begin{pmatrix}| A| &| B| \\ | C| &| D| \end{pmatrix}\right\| _p \geq\left\| \begin{pmatrix}\| A\| _p&\| B\| _p\\ \| C\| _p&\| D\| _p\end{pmatrix}\right\|_p \] if \(1\leq p\leq2\), with the inequalities reversed if \(p\geq2\). They also prove that in the case where the matrix is positive semidefinite and \(1\leq p\leq2\), the smallest (resp. biggest when \(p\geq2\)) possible value of the middle term of their inequality is achieved when its singular values are ordered in decreasing order along the respective diagonals.

Recommendations

• Norm inequalities related to Clarkson inequalities
• Matrix Young inequalities for the Hilbert-Schmidt norm
• scientific article; zbMATH DE number 1145309
• Inequalities with weights for powers of generalized inverses. II
• A matrix trace inequality
• An extension of Harnack type determinantal inequality
• On some inequalities related to positive block matrices
• Inequalities involving powers of generalized inverses
• Remarks on some norm inequalities for positive semidefinite matrices and questions of Bourin

Cites work

• CLARKSON INEQUALITIES WITH SEVERAL OPERATORS
• scientific article; zbMATH DE number 3442634 (Why is no real title available?)
• Inequalities for trace norms of \(2\times 2\) block matrices.
• Norm inequalities for partitioned operators and an application
• On the uniform convexity of L^p and l^p
• Sharp uniform convexity and smoothness inequalities for trace norms

Cited in

(16)

• Inequalities for trace norms of \(2\times 2\) block matrices.
• New norm equalities and inequalities for Hankel operator matrices
• Norm equalities and inequalities for three circulant operator matrices
• On \(\mathbb{A}\)-numerical radius equalities and inequalities for certain operator matrices
• On norm compression inequalities for partitioned block tensors
• On a norm compression inequality for \(2\times N\) partitioned block matrices
• Norm estimates of -circulant operator matrices and isomorphic operators for -circulant algebra
• Equalities and inequalities for norms of block imaginary circulant operator matrices
• Spectral radius inequalities for operator matrices with commuting entries
• New multiplicativity results for qubit maps
• Matrix rearrangement inequalities revisited
• A matrix subadditivity inequality for symmetric norms
• MATRIX SUBADDITIVITY INEQUALITIES AND BLOCK-MATRICES
• New \(\mathbb{A}\)-numerical radius equalities and inequalities for certain operator matrices and applications
• Generalized numerical radius inequalities for certain operator matrices
• Norm equalities and inequalities for operator matrices

This page was built for publication: New trace norm inequalities for \(2\times 2\) blocks of diagonal matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887607)