Related papers: Some Matrix Rearrangement Inequalities

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})$, and $\sigma(X)$ the singular values with $\uparrow$ $\downarrow$ indicating its increasing or decreasing…

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…

We conjecture the following so-called norm compression inequality for $2\times N$ partitioned block matrices and the Schatten $p$-norms: for $p\ge 2$, $$ ||({array}{cccc} A_1 & A_2 & ... & A_N B_1 & B_2 & >... & B_N {array})||_p \le…

We examine a number of known inequalities for $L^p$ functions with reverse representations for $s<1$ with complex matrices under the $p$-norms $||X||_p=\text{Tr}[(X^\ast X)^{p/2}]^{1/p}$, and similarly defined quasinorm or antinorm…

We introduce the notion of a regular mapping on a non-commutative $L_p$-space associated to a hyperfinite von Neumann algebra for $1\le p\le \infty$. This is a non-commutative generalization of the notion of regular or order bounded map on…

In 2006 Carbery raised a question about an improvement on the na\"ive norm inequality $\|f+g\|_p^p \leq 2^{p-1}(\|f\|_p^p + \|g\|_p^p)$ for two functions in $L^p$ of any measure space. When $f=g$ this is an equality, but when the supports…

Let $p>1$ and $1/p+1/q=1$. Consider H\"older's inequality $$ \|ab^*\|_1\le \|a\|_p\|b\|_q $$ for the $p$-norms of some trace ($a,b$ are matrices, compact operators, elements of a finite $C^*$-algebra or a semi-finite von Neumann algebra).…

Given two symmetric and positive semidefinite square matrices $A, B$, is it true that any matrix given as the product of $m$ copies of $A$ and $n$ copies of $B$ in a particular sequence must be dominated in the spectral norm by the ordered…

The following theorem is the main result of this note. Theorem 1. Let $(E, \|\cdot\|_E) $ be a rearrangement invariant Banach function space on the interval $[0, 1]$. If $E$ is isometric to $\L_p [0, 1]$ for some $1\le p<\infty$, then $E$…

In this paper we develop a general theoretical tool for the establishment of the boundedness of notoriously difficult operators (such as potentials) on certain specific types of rearrangement-invariant function spaces from analogous…

Several unitarily invariant norm inequalities and numerical radius inequalities for Hilbert space operators are studied. We investigate some necessary and sufficient conditions for the parallelism of two bounded operators. For a finite rank…

Let $p,q$ be coprime integers such that $|p|+|q|>2$. We characterize the matrices $A\in\mathcal{M}_n(\mathbb{C})$ such that $A^p$ and $A^q$ are similar. If $A$ is invertible, we prove that $A$ is a polynomial in $A^p$ and $A^q$. To achieve…

We offer a new proof of uniform convexity inequalities for the Finsler manifold of nonpositive curvature taken on the space of positive-semidefinite matrices with the weighted matrix geometric mean defining the geodesic between two points.…

In this paper, we present some extensions of interpolation between the arithmetic-geometric means inequality. Among other inequalities, it is shown that if $A, B, X$ are $n\times n$ matrices, then \begin{align*}…

Matrix weights satisfying a Muckenhoupt $A_p$-condition relative to a family of anisotropic balls in $\mathbb{R}^d$ defined by a pseudo-metric are studied. It is shown that such matrix weights satisfy a doubling condition and a reverse…

By analyzing an optimization problem over orthogonal matrices, we prove a generalization of the Hardy-Littlewood-P\'olya rearrangement inequality to positive definite matrices. The inequality is then extended to rectangular matrices. Using…

The Polya-Szeg\H{o} inequality in $\mathbb{R}^n$ states that, given a non-negative function $f:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$, its spherically symmetric decreasing rearrangement $f^*:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$ is…

We prove a basic inequality involving anticommutators in noncommutative $L_p$-spaces. We use it to complete our study of the noncommutative Mazur maps from $L_p$ to $L_q$ showing that they are Lipschitz on balls when $0<q<p<\infty$.

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…

We study an elementary inequality supporting the classical Hermite-Hadamard inequality in the matrix setting. This leads to a number of interesting matrix inequalities such new Schatten p-norm estimates and new majorization