English

A new matrix inequality involving partial traces

Functional Analysis 2021-12-23 v3

Abstract

Let AA be an m×mm\times m positive semidefinite block matrix with each block being nn-square. We write tr1\mathrm{tr}_1 and tr2\mathrm{tr}_2 for the first and second partial trace, respectively. In this paper, we prove the following inequality (trA)Imn(tr2A)In±(Im(tr1A)A). (\mathrm{tr} A)I_{mn} - (\mathrm{tr}_2 A) \otimes I_n \ge \pm \bigl( I_m\otimes (\mathrm{tr}_1 A) -A\bigr). This inequality is not only a generalization of Ando's result [ILAS Conference (2014)] and Lin [Canad. Math. Bull. 59 (2016) 585--591], but it also could be regarded as a complement of a recent result of Choi [Linear Multilinear Algebra 66 (2018) 1619--1625]. Additionally, some new partial traces inequalities for positive semidefinite block matrices are also included.

Keywords

Cite

@article{arxiv.2002.09649,
  title  = {A new matrix inequality involving partial traces},
  author = {Yongtao Li and Weijun Liu and Yang Huang},
  journal= {arXiv preprint arXiv:2002.09649},
  year   = {2021}
}

Comments

11 pages. This is the final version. We added Corollary 2.6, which is an equivalent form of Theorem 2.5. In addition, we added an appendix, which provided an alternative proof of Theorem 2.2. The first author would like to express his hearty gratitude to Prof. Minghua Lin and Prof. Xiaohui Fu for detailed comments and constant encouragement

R2 v1 2026-06-23T13:50:12.643Z