We improve the existing Ando-Hiai inequalities for operator means and present new ones for operator perspectives in several ways. We also provide the operator perspective version of the Lie-Trotter formula and consider the extension problem of operator perspectives to non-invertible positive operators.
In this paper, we introduce the concept of operator geometrically convex functions for positive linear operators and prove some Hermite-Hadamard type inequalities for these functions. As applications, we obtain trace inequalities for operators which give some refinements of previous results.
Let $mathbb{P}$ be the complete metric space consisting of positive invertible operators on an infinite-dimensional Hilbert space with the Thompson metric. We introduce the notion of operator means of probability measures on $mathbb{P}$, in parallel with Kubo and Andos definition of two-variable operator means, and show that every operator mean is contractive for the $infty$-Wasserstein distance. By means of a fixed point method we consider deformation of such operator means, and show that the deformation of any operator mean becomes again an operator mean in our sense. Based on this deformation procedure we prove a number of properties and inequalities for operator means of probability measures.
In this paper, the notion of operator means in the setting of JB-algebras is introduced and their properties are studied. Many identities and inequalities are established, most of them have origins from operators on Hilbert space but they have different forms and connotations, and their proofs require techniques in JB-algebras.
This article - a part of a multipaper project investigating arithmetic mean ideals - investigates the codimension of commutator spaces [I, B(H)] of operator ideals on a separable Hilbert space, i.e., ``How many traces can an ideal support? We conjecture that the codimension can be only zero, one, or infinity. Using the arithmetic mean (am) operations on ideals introduced by Dykema, Figiel, Weiss, and Wodzicki, and the analogous am operations at infinity that we develop in this article, the conjecture is proven for all ideals not contained in the largest am-infinity stable ideal and not containing the smallest am-stable ideal. It is also proven for all soft-edged ideals (i.e., I= IK(H)) and all soft-complemented ideals (i.e., I= I/K(H)), which include many classical operator ideals. In the process, we prove that an ideal of trace class operators supports a unique trace (up to scalar multiples) if and only if it is am-infinity stable and that, for a principal ideal, am-infinity stability is equivalent to regularity at infinity of the sequence of s-numbers of the generator. Furthermore, we apply trace extension methods to two problems on elementary operators studied by V. Shulman and to Fuglede-Putnam type problems of the second author.
In this article, we first study, in the framework of operator theory, Pusz and Woronowiczs functional calculus for pairs of bounded positive operators on Hilbert spaces associated with a homogeneous two-variable function on $[0,infty)^2$. Our construction has special features that functions on $[0,infty)^2$ are assumed only locally bounded from below and that the functional calculus is allowed to take extended semibounded self-adjoint operators. To analyze convexity properties of the functional calculus, we extend the notion of operator convexity for real functions to that for functions with values in $(-infty,infty]$. Based on the first part, we generalize the concept of operator convex perspectives to pairs of (not necessarily invertible) bounded positive operators associated with any operator convex function on $(0,infty)$. We then develop theory of such operator convex perspectives, regarded as an operator convex counterpart of Kubo and Andos theory of operator means. Among other results, integral expressions and axiomatization are discussed for our operator perspectives.