Algorithmic definition of means acting on positive numbers and operators

By means of a fixed point method we discuss the deformation of operator means and multivariate means of positive definite matrices/operators. It is shown that the deformation of an operator mean becomes again an operator mean. The means deformed by the weighted power means are particularly examined.

In this paper we study the problem of extending means to means of higher order. We show how higher order means can be inductively defined and established in general metric spaces, in particular, in convex metric spaces. As a particular application, we consider the positive operators on a Hilbert space under the Thompson metric and show that the operator logarithmic mean admits extensions of all higher orders, thus providing a positive solution to a problem of Petz and Temesi.

We begin the study of how to extend few variable means to several variable ones and how to shrink means of several variables to less variables. With the help of one of the techniques we show that it is enough to check an inequality between two quasi-arithmetic means in 2-variables and that simply implies the inequality in m-variables. The technique has some relation to Markov chains. This method can be applied to symmetrization and compounding means as well.

The seminal work of Kubo and Ando from 1980 provided us with an axiomatic approach to means of positive operators. As most of their axioms are algebraic in nature, this approach has a clear algebraic flavor. On the other hand, it is highly natural to take the geometric viewpoint and consider a distance (understood in a broad sense) on the cone of positive operators, and define the mean of positive operators by an appropriate notion of the center of mass. This strategy often l...

The dominant method for defining multivariate operator means is to express them as fix-points under a contraction with respect to the Thompson metric. Although this method is powerful, it crucially depends on monotonicity. We are developing a technique to prove the existence of multivariate operator means that are not necessarily monotone. This gives rise to an entire new class of non-monotonic multivariate operator means.

In this paper we present some characterizations for quasi-arithmetic operator means (among them the arithmetic and harmonic means) on the positive definite cone of the full algebra of Hilbert space operators, and also for the Kubo-Ando geometric mean on the positive definite cone of a general non-commutative $C^*$-algebra.

In this article we consider means of positive bounded linear operators on a Hilbert space. We present a complete theory that provides a framework which extends the theory of the Karcher mean, its approximating matrix power means, and a large part of Kubo-Ando theory to arbitrary many variables, in fact, to the case of probability measures with bounded support on the cone of positive definite operators. This framework characterizes each operator mean extrinsically as unique so...

An axiomatic theory of operator connections and operator means was investigated by Kubo and Ando in 1980. A connection is a binary operation for positive operators satisfying the monotonicity, the transformer inequality and the joint-continuity from above. In this paper, we show that the joint-continuity assumption can be relaxed to some conditions which are weaker than the separate-continuity. This provides an easier way for checking whether a given binary opertion is a conn...

Suppose that $X,Y$ are positive random variable and $m$ a numerical (commutative) mean. We prove that the inequality ${\rm E} (m(X,Y)) \leq m({\rm E} (X), {\rm E} (Y))$ holds if and only if the mean is generated by a concave function. With due changes we also prove that the same inequality holds for all operator means in the Kubo-Ando setting. The case of the harmonic mean was proved by C.R. Rao and B.L.S. Prakasa Rao.

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 Ando's 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 me...