Current browse context:
math.FA
Change to browse by:
References & Citations
Mathematics > Functional Analysis
Title: Hanner's Inequality For Positive Semidefinite Matrices
(Submitted on 15 Oct 2021 (v1), last revised 18 May 2022 (this version, v3))
Abstract: We prove an analogous Hanner's Inequality of $L^p$ spaces for positive semidefinite matrices. Let $||X||_p=\text{Tr}[(X^\ast X)^{p/2}]^{1/p}$ denote the $p$-Schatten norm of a matrix $X\in M_{n\times n}(\mathbb{C})$. We show that the inequality $||X+Y||_p^p+||X-Y||_p^p\geq (||X||_p+||Y||_p)^p+(|||X||_p-||Y||_p|)^p$ holds for $1\leq p\leq 2$ and reverses for $p\geq 2$ when $X,Y\in M_{n\times n}(\mathbb{C})^+$. This was previously known in the $1<p\leq 4/3$, $p=2$, and $p\geq 4$ cases, or with additional special assumptions. We outline these previous methods, and comment on their failure to extend to the general case. We further show that there is equality if and only if $Y=cX$, which is analogous to the equality case in $L^p$. With the general inequality, it is confirmed that the unit ball in $C^{p}_+$ has the same moduli of smoothness and convexity as the unit ball in $L^p$.
Submission history
From: Victoria Chayes [view email][v1] Fri, 15 Oct 2021 18:41:08 GMT (26kb)
[v2] Mon, 25 Oct 2021 20:26:38 GMT (27kb)
[v3] Wed, 18 May 2022 14:06:49 GMT (0kb,I)
Link back to: arXiv, form interface, contact.