Integral representation formula for generalized normal derivations

For generalized normal derivations, acting on the space of all bounded Hilbert space operators, the following integral representation formulas hold:

 

and

 

whenever is a Hilbert-Schmidt class operator and is a Lipschitz class function on Applying this formula, we extend the Fuglede-Putnam theorem concerning commutativity modulo Hilbert-Schmidt class, as well as trace inequalities for covariance matrices of Muir and Wong. Some new monotone matrix functions and norm inequalities are also derived.

     

Interpolated Young and Heinz inequalities

In this article, we interpolate the well-known Young’s inequality for numbers and matrices, when equipped with the Hilbert–Schmidt norm, then present the corresponding interpolations of recent refinements in the literature. As an application of these interpolated versions, we study the monotonicity these interpolations obey.     

Interpolating inequalities related to a recent result of Audenaert

Audenaert recently obtained an inequality for unitarily invariant norms that interpolates between the arithmetic–geometric mean inequality and the Cauchy–Schwarz inequality for matrices. A refined version of Audenaert’s inequality for the Hilbert–Schmidt norm is given. Other interpolating inequalities for unitarily invariant norms are also presented.     

Jensen matrix inequalities and direct sums

Let A, X and Y be n-by-n complex matrices such that A is positive semi-definite and X, Y are contractions. We prove that if f is an increasing convex function on [0, ∞) such that f(0) ≤ 0, then the eigenvalues of f(|X*AY|) are dominated by those of X*f(A)X⊕Y* f(A)Y. Several related results are considered.     

A remark on normal derivations of Hilbert-Schmidt type

LetB (H) denote the algebra of operators on the separable Hilbert spaceH. LetC ₂ denote the (Hilbert) space of Hilbert-Schmidt operators onH, with norm .₂ defined by S ₂ ² =(S,S)=tr(SS ^*). GivenA, B B (H), define the derivationC (A, B):B(H)B(H) byC(A, B)X=AX-XB. We show that C(A,B)X+S ₂ ² =C(A,B)X ₂ ² +S ₂ ² holds for allXB(H) and for everySC ₂ such thatC(A, B)S=0 if and only if reducesA, ker S reducesB, andA | S and B| ker S are unitarily equivalent normal operators. We also show that ifA, BB(H) are contractions andR(A, B)B(H)B(H) is defined byR(A, B)X=AXB-X, thenSC ₂ andR(A, B)S=0 imply R(A,B)X+S ₂ ² =R(A,B)X ₂ ² +S ₂ ² for allXB(H).     

Operator-norm inequalities and interpolated trace inequalities

In this article, we investigate some operator-norm inequalities related to some conjectures posed by Hayajneh and Kittaneh that are related to questions of Bourin regarding a special type of inequalities referred to as subadditivity inequalities. While some inequalities are meant to answer these conjectures, other inequalities present reverse-type inequalities for these conjectures. Then, we present some new trace inequalities related to Heinz means inequality and use these inequalities to prove some variants of the aforementioned conjectures.     

关于矩阵方程X+A*X-1A=P的解及其扰动分析

考虑非线性矩阵方程X＋A^＊（X^-1）A=P其中A是n阶非奇异复矩阵,P是n阶Hermite正定矩阵．本文给出了Hermite正定解和最大解的存在性以及获得最大解的一阶扰动界,改进了文[5,6]中的部分结论．     

Hadamard积和酉不变范数不等式

设Ｍｎ，ｍ是ｎ×ｍ复矩阵空间，Ｍｎ≡Ｍｎ，ｎ．对于Ｈｅｒｍｉｔｅ阵Ｇ，Ｈ∈Ｍｎ，ＧＨ表示Ｇ－Ｈ半正定．记Ａ和Ｂ的Ｈａｄａｍａｒｄ积为ＡＢ．本文证明了若Ａ，Ｂ∈Ｍｎ正定，而Ｘ，Ｙ∈Ｍｎ，ｍ任意，则（ＸＡ－１Ｘ）（ＹＢ－１Ｙ）（ＸＹ）（ＡＢ）－１（ＸＹ），ＸＡ－１Ｘ＋ＹＢ－１Ｙ（Ｘ＋Ｙ）（Ａ＋Ｂ）－１（Ｘ＋Ｙ）．这推广和统一了一些现存的结果．设‖·‖为任意酉不变范数，Ｉ是单位矩阵．本文还证明了对于Ｘ∈Ｍｎ，ｍ和Ａ∈Ｍｎ，Ｂ∈Ｍｍ，若ＡＩ，ＢＩ，则函数ｆ（ｐ）＝‖ＡｐＸ＋ＸＢｐ‖在［０，∞）上单调递增．     

On square roots of isometries

Abstract

In various normed spaces we answer the question of when a given isometry is a square of some isometry. In particular, we consider (real and complex) matrix spaces equipped with unitarily invariant norms and unitary congruence invariant norms, as well as some infinite dimensional spaces illustrating the difference between finite and infinite dimensions.     

Subadditivity of eigenvalue sums

Let be a nonnegative concave function on with , and let be matrices. Then it is known that , where is the trace norm. We extend this result to all unitarily invariant norms and prove some inequalities of eigenvalue sums.

     

On the existence of unitarily invariant norm under some conditions

Let r ₁, …, r _m be positive real numbers and A ₁, …, A _m be n × n matrices with complex entries. In this article, we present a necessary and sufficient condition for the existence of a unitarily invariant norm ‖·‖, such that ‖A _i ‖ = r _i , for i = 1, …, m. Then we identify the greatest unitarily invariant norm which satisfies this condition. Using this, we get an approximation of unitarily invariant norms. Although the minimum unitarily invariant norm which satisfies this condition does not exist in general, we find conditions over A _i s and r _i s which are sufficient for the existence of such a norm. Finally, we get a characterization of unitarily invariant norms.     

Some remarks on the perturbation of polar decompositions for rectangular matrices

In this article we focus on perturbation bounds of unitary polar factors in polar decompositions for rectangular matrices. First we present two absolute perturbation bounds in unitarily invariant norms and in spectral norm, respectively, for any rectangular complex matrices, which improve recent results of Li and Sun (SIAM J. Matrix Anal. Appl. 2003; 25 :362–372). Secondly, a new absolute bound for complex matrices of full rank is given. When ‖A ? Ã‖₂ ? ‖A ? Ã‖_F, our bound for complex matrices is the same as in real case. Finally, some asymptotic bounds given by Mathias (SIAM J. Matrix Anal. Appl. 1993; 14 :588–593) for both real and complex square matrices are generalized. Copyright © 2005 John Wiley & Sons, Ltd.     

Inner derivations and norm equality

We characterize when the norm of the sum of two bounded operators on a Hilbert space is equal to the sum of their norms.

     

ON MATRIX UNITARILY INVARIANT NORM CONDITION NUMBER

1.IntroductionSince1984,severalchinesemathematicianshaveobtailledmanyresultsboutmatrixoperatornormcondition.umbe.[ll'12'18].Twokindsmatrixconditionnllmbers[9]are:(1)IfAECoxsisnonsingular,thellunlberK.(A)~IIAll.llA--'if.iscalledtheor--normconditionnumberof…     

A note on depth-first derivations

It is shown that the depth-first Szilard language associated with the depth-first derivations of a context-free grammar is ans-language.This work was supported by the Academy of Finland.     

酉不变范数下极分解的扰动界

设A是m×n(m≥n)且秩为n的复矩阵.存在m×n矩阵Q满足Q*Q=I和n×n正定矩阵H使得A=QH,此分解称为A的极分解.本文给出了在任意酉不变范数下正定极因子H的扰动界,改进文[1,11]的结果;另外也首次提供了乘法扰动下酉极因子Q在任意酉不变范数下的扰动界.     

Unitarily invariant norm and $Q$-norm estimations for the Moore--Penrose inverse of multiplicative perturbations of matrices

Let $B$ be a multiplicative perturbation of $A\in\mathbb{C}^{m\times n}$ given by $B=D_1^* A D_2$, where $D_1\in\mathbb{C}^{m\times m}$ and $D_2\in\mathbb{C}^{n\times n}$ are both nonsingular. New upper bounds for $\Vert B^\dag-A^\dag\Vert_U$ and $\Vert B^\dag-A^\dag\Vert_Q$ are derived, where $A^\dag,B^\dag$ are the Moore-Penrose inverses of $A$ and $B$, and $\Vert \cdot\Vert_U,\Vert \cdot\Vert_Q$ are any unitarily invariant norm and $Q$-norm, respectively. Numerical examples are provided to illustrate the sharpness of the obtained upper bounds.