Related papers: Two trace inequalities for operator functions

This is a conitunation of [1] and [2]. We prove that if function $f$ belongs to the class $\Lambda_{\omega} \overset{\text{def}}{=} \{f: \omega_{f}(\delta)\leq \text{const} \omega(\delta)\} $ for an arbitrary modulus of continuity $\omega$,…

We introduce the non-commutative $f$-divergence functional $\Theta(\widetilde{A},\widetilde{B}):=\int_TB_t^{\frac{1}{2}}f\left(B_t^{-\frac{1}{2}} A_tB_t^{-\frac{1}{2}}\right)B_t^{\frac{1}{2}}d\mu(t)$ for an operator convex function $f$,…

Matrix extension of a scalar function of a single variable is well-studied in literature. Of particular interest is the trace of such functions. It is known that for diagonalizable matrices, $M$, the function $g(M) = \text{Tr}(f(M)) =…

By a result of Lundquist-Barrett, it follows that the rank of a positive semi-definite matrix is less than or equal to the sum of the ranks of its principal diagonal submatrices when written in block form. In this article, we take a general…

The Golden-Thompson trace inequality which states that $Tr\, e^{H+K} \leq Tr\, e^H e^K$ has proved to be very useful in quantum statistical mechanics. Golden used it to show that the classical free energy is less than the quantum one. Here…

We prove that if A and B are bounded self-adjoint operators such that A-B belongs to the trace class, then |A| -|B| belongs to the principal ideal L_{1,\infty} in the algebra L(H) of all bounded operators on an infinite-dimensional Hilbert…

Let $M$ denote the centered Hardy--Littlewood operator on $\mathbb{R}$. We prove that \[ {\rm Var} (Mf)\le {\rm Var} (f) - \frac12\big| |f(\infty)|-|f(-\infty)|\big| \] for piecewise constant functions $f$ with nonzero and zero values…

Let $H_1$ and $H_2$ be selfadjoint operators or relations (multivalued operators) acting on a separable Hilbert space and assume that the inequality $H_1 \leq H_2$ holds. Then the validity of the inequalities $-H_1^{-1} \leq -H_2^{-1}$ and…

In this paper we initiate the study of real operator monotonicity for functions of tuples of operators, which are multivariate structured maps with a functional calculus called free functions that preserve the order between real parts (or…

We will show that for any two bounded linear operators $X,Y$ on a Hilbert space ${\frak H}$, if they satisfy the triangle equality $|X+Y|=|X|+|Y|$, there exists a partial isometry $U$ on ${\frak H}$ such that $X=U|X|$ and $Y=U|Y|$. This is…

Some rearrangement inequalities for symmetric norms on matrices are given as well as related results for operator convex functions.

We refine Epstein's method to prove joint concavity/convexity of matrix trace functions of the extended Lieb type $Tr{\Phi(A^p)^{1/2}\Psi(B^q)\Phi(A^p)^{1/2}}^s$, where $\Phi$ and $\Psi$ are positive linear maps. By the same method combined…

We give a simple definition of a spectral shift function for pairs of nonpositive operators on Banach spaces and prove trace formulas of Lifshitz-Kre\u{\i}n type for a perturbation of an operator monotonic (negative complete Bernstein)…

For any positive invertible matrix $A$ and any normal matrix $B$ in $M_{n}({\Bbb C})$, we investigate whether the inequality $ ||A\sharp (B^{*}A^{-1}B)||\geq ||B|| $ is true or not, where $\sharp$ denotes the geometric mean and $||\cdot||$…

Let $A$ be a $C^{*}$ algebra and $T: A\rightarrow A$ be a linear map which satisfies the functional equation $\begin{cases}T(x)T(y)=T^{2}(xy)\\T(x^{*})=T(x)^{*} \end{cases}$ We prove that under each of the following conditions, $T$ must be…

Let $A,\;B$ be the positive semidefinite matrices. A matrix version of the famous Powers-St{\o}rmer's inequality $$2Tr(A^\alpha B^{1-\alpha})\geq Tr(A+B-|A-B|),\;\;\;0\leq\alpha\leq 1,$$ was proven by Audenaert et. al. We establish a…

With techniques borrowed from quantum information theory, we develop a method to systematically obtain operator inequalities and identities in several matrix variables. These take the form of trace polynomials: polynomial-like expressions…

We establish what we consider to be the definitive versions of Jensen's operator inequality and Jensen's trace inequality for functions defined on an interval. This is accomplished by the introduction of genuine non-commutative convex…

In this paper we study traces of an integral operator on two orthogonal subspaces of a $L^2$ space. One of the two traces is shown to be zero. Also, we prove that the trace of the operator on the second subspace is nonnegative. Hence, the…

We prove boundary inequalities in arbitrary bounded Lipschitz domains on the trace space of Sobolev spaces. For that, we make use of the trace operator, its Moore-Penrose inverse, and of a special inner product. We show that our trace…