Maps on positive cones in operator algebras preserving power means

In this paper we consider power means of positive Hilbert space operators both in the conventional and in the Kubo-Ando senses. We describe the corresponding isomorphisms (bijective transformations respecting those means as binary operations) on positive definite cones and on positive semidefinite cones in operator algebras. We also investigate the question when those two sorts of power means can be transformed into each other.


INTRODUCTION AND STATEMENTS OF THE RESULTS
Let p be a nonzero real number. The pth power mean M p (t , s) of the positive real numbers t , s is defined by (1) M p (t , s) = t p + s p 2 1 p and it is one of the most fundamental kinds of means for numbers. Means of positive (definite or semidefinite) matrices or Hilbert space operators are also very important concepts having wide range of applications. Formula (1) above can easily be extended to that setting at least in the positive definite case. In fact, using functional calculus, formally the same definition works fine, we just write positive definite matrices or operators, or positive definite elements A, B of a C * -algebra in the place of the numbers t , s in (1): The so obtained concept that can be called the conventional pth power mean is, though very natural, not really satisfactory for the purposes of matrix theory and operator theory. Indeed, the main disadvantage is that it is not monotone in its variables with respect to the usual, Löwner order, which comes from the concept of positive semidefiniteness. The 'proper' definition of the power mean in the case where p ∈] − 1, 1[, p = 0 is the following one: Let us explain this in a bit more details.
Probably the most important notion of means for positive semidefinite matrices or Hilbert operators is due to Kubo and Ando [6]. Very briefly, it can be summarized as follows. Let  (c) C (AσB)C ≤ (C AC )σ(C BC ); (d) if A n ↓ A and B n ↓ B strongly, then A n σB n ↓ AσB strongly (the sign ↓ refers to monotone decreasing convergence in the usual (Löwner) order among self-adjoint operators).
Convex combination among Kubo-Ando means is defined in the straightforward, natural way. The celebrated result, Theorem 3.2 in [6] says that, for infinite dimensional H, there is an affine isomorphism from the class of all Kubo Observe that the theorem above implies that Kubo-Ando means do not depend on the underlying Hilbert spaces, they only depend on certain (very special) real functions. By property (d) we obtain that formula (2) extends to any invertible A ∈ B(H) + and arbitrary B ∈ B(H) + . The most distinguished Kubo-Ando means are naturally the arithmetic mean with representing function t → (1 + t )/2, the harmonic mean with representing function t → (2t )/(1 + t ) and the geometric mean with representing function t → t , t > 0. For invertible A, B ∈ B(H) + , those means of A, B are in turn the following operators Below, whenever we write σ, f , we always mean that σ is a Kubo-Ando mean and f is its representing operator monotone function. We know from the deep theory of operator monotone functions that each such f has a holomorphic extension to the complex upper half plane. The transpose σ ′ of the Kubo-Ando mean σ is the mean satisfying Aσ ′ B = BσA, A, B ∈ B(H) + . Its representing function is t → t f (1/t ), t > 0. The Kubo-Ando mean σ is called symmetric if σ ′ = σ. The adjoint σ * of σ is the Kubo-Ando mean satisfying Aσ * B = (A −1 σB −1 ) −1 for all invertible A, B ∈ B(H) + . Its representing function is t → 1/ f (1/t ), t > 0. Clearly, the arithmetic, harmonic and geometric means are symmetric Kubo-Ando means and the former two are the adjoints of each other.
In what follows, we introduce some notation. If A is a C * -algebra (in this paper all C * -algebras are assumed to be unital), then A + stands for the set of all positive semidefinite elements of A , i.e. elements which are self-adjoint and have nonnegative spectrum. It is called the positive semidefinite cone of A . The subset A ++ of A + containing the positive definite elements, i.e. the invertible elements in A + , is called the positive definite cone of A .
As already referred to above, for any nonzero p, we define the conventional pth power mean m p on A ++ by the formula The Kubo-Ando pth power mean m p corresponds to the operator monotone function In fact, it is known that for the operator monotonicity of this function we need to assume that p ∈] − 1, 1[, see Theorem 4 in [3]. So, for such p, we define It can be easily seen that for commuting A, B ∈ A ++ we have (4) Am p B = Am p B.
In this paper we discuss maps respecting the operation of power means. Similar studies were made for the arithmetic and harmonic means in [10] and for the geometric mean in [9] on the positive semidefinite cone B(H) + . Related results concerning the positive definite cones in C *algebras were presented in [15]. Propositions 1 and 2 in [15] describe all bijective maps between positive definite cones in C * -algebras which preserve either the arithmetic or the harmonic mean, while Theorem 4 in [15] gives the precise structure of continuous bijective maps between the positive definite cones in von Neumann factors which preserve the geometric mean. The results which we present here are similar to those in the sense that also here it turns out that the transformations under considerations are closely related to the so-called Jordan *-isomorphisms between the underlying algebras.
Real functions respecting means of real numbers were considered in a number of papers under the name 'mean affine functions'. We mention only a few of them: [2], [8], [18]. The concept appears also in the fundamental book [1] on functional equations, see page 251. The problems we consider here are clearly related to those investigations but our setting here is much more complicated.
In our first three results we deal with power mean respecting maps in the context of C *algebras. As for the conventional power mean, we have the following description of the corresponding maps. The concept of Jordan *-isomorphisms (or, in other words, C * -isomorphisms) that appears here is of fundamental importance in the theory of operator algebras for many reasons. In a certain sense they are the most important sorts of isomorphisms between those structures. The bijective map J : A → B between * -algebras A and B is called a Jordan *-isomorphism if it is linear, preserves the Jordan product, i.e., and preserves also the *-operation, i.e., The point of the theorem above is that, as it shows, if a bijective map between the positive definite cones of C * -algebras preserves a conventional power mean, then it is necessarily closely related to a bijective linear transformation between the underlying algebras which is a kind of multiplicative (with respect to the Jordan product).
In the next result we obtain a description of the Kubo-Ando power mean preserving bijections of positive definite cones. However, here we need to assume the continuity of the transformations.
It is interesting to observe that, for p = ±1, the groups of (continuous) automorphisms of the operations m p and m p are different, which implies that the operations themselves are also quite different in general. But on the positive definite cones in commutative C * -algebras, the conventional and Kubo-Ando power means obviously coincide. We will prove that the converse is also true. In fact, we will show the much stronger result that if one positive definite cone equipped with the conventional power mean is isomorphic (via a continuous bijection) to another positive definite cone equipped with the Kubo-Ando power mean, then the underlying algebras are necessarily commutative. The precise statement reads as follows.
Theorem 3. Let p ∈] − 1, 1[ be a nonzero real number and let A , B be C * -algebras. Assume that φ : A ++ → B ++ is a continuous bijective map such that Then the algebras A , B are necessarily commutative.
We now turn to the case of positive semidefinite cones. In the remaining results, let H be a complex Hilbert space. Since m p is a Kubo-Ando mean, Am p B is defined for any pairs of elements of B(H) + . As for the conventional power mean m p , it is no problem to define it on B(H) + when p is positive. But how to define it for negative p? We can handle the case −1 ≤ p < 0 as follows. Observe that with q = −p, for positive invertible A, B ∈ B(H) + we have If A, B ∈ B(H) + are arbitrary and A n , B n ∈ B(H) + are invertible, they form norm bounded sequences for which A n ↓ A, B n ↓ B in the strong operator topology, then we have the same type of convergence for the qth powers. Indeed, this follows from the operator monotonicity of the function t → t q and from the fact that any continuous bounded real function is strongly continuous (see 4.3.2. Theorem in [17]). By the property (d) of Kubo-Ando means, we deduce q strongly (however, monotonicity is no longer guaranteed since the exponent 1/q is greater than or equal to 1, and the power function with exponent greater than 1 is well-known to be not operator monotone). Therefore, for −1 ≤ p < 0, it is natural to define (5) We can now formulate our result concerning maps on the positive semidefinite cone B(H) + which preserve the conventional power mean. We highlight the fact that neither in relation with m p , nor in relation with m p do we assume the continuity of the transformations under consideration. This is a serious difference between the cases of the positive definite and semidefinite cones (see the former two results).
Then there is an invertible bounded either linear or conjugate linear operator T : H → H such that φ is of the form The next result concerns the Kubo-Ando power mean.

Theorem 5. Let p ∈ [−1, 1] be a nonzero real number, φ : B(H) + → B(H) + be a bijective map such that
Then there is an invertible bounded either linear or conjugate linear operator T : H → H such that φ is of the form Conversely, every map φ : Finally, concerning the existence of a map transforming the conventional power mean to the Kubo-Ando power mean, we have the following statement.

PROOFS
In this section we present the proofs of our results. We begin with verifying the statements concerning power mean preservers on the positive definite cones of C * -algebras. But first let us summarize some of the basic properties of Jordan *-isomorphisms between C * -algebras that we will need in what follows.
Let A , B be C * -algebras and J : A → B be a Jordan *-isomorphism. It is apparent that J is a linear order isomorphism between the self-adjoint parts of A and B. Moreover, J is an isometry see, e.g., [7]. Next, J satisfies and hence (11) J (X n ) = J (X ) n , X ∈ A holds for every nonnegative integer n, see 6.3.2 Lemma in [19]. In particular, J is unital meaning that J sends the identity to the identity. By Proposition 1.3 in [20], J preserves invertibility, namely we have for every invertible element X ∈ A . It follows that J preserves the spectrum and, using continuous function calculus, from (11) we deduce that holds for any self-adjoint element X ∈ A and continuous real function f on the spectrum of X . It then follows that J maps A ++ onto B ++ and J is an isomorphism between A ++ and B ++ with respect to any Kubo-Ando means. After this, we start with the easy proof of our first result.
Proof of Theorem 1. Assume first that p = 1. In that case the result is exactly Proposition 1 in [15]. If p = 1, then consider the map ψ : It is easy to see that ψ is a bijective map between the positive definite cones A ++ and B ++ which preserves the arithmetic mean. By the first part of the proof we obtain the desired conclusion (in fact, we also need to use the fact that any Jordan *-isomorphism respects any real powers of positive definite elements, see the last one among the above listed properties of Jordan *-isomorphisms).
The proof of the analogous result concerning the Kubo-Ando power mean is much more complicated. In fact, before presenting it we need some more preparations. Firstly, although we have already used this concept implicitly above, recall the definition of the usual order among self- has spectrum contained in the open interval ]0, 1[. Secondly, we need to recall the notion of the Thompson metric d T which is defined on the positive definite cone A ++ of the C * -algebra A as follows: It is easy to see (cf. [11]) that d T can also be rewritten as The structure of surjective Thompson isometries between positive definite cones of C * -algebras is known, it was described in our paper [5]. Theorem 9 in [5] says that for given C * -algebras A , B and surjective map φ : A ++ → B ++ we have that φ is a surjective Thompson isometry (i.e., a surjective isometry with respect to the metric d T ) if and only if there are a central projection P in B and a Jordan *-isomorphism J : A → B such that φ is of the form Here and in what follows, by a projection we mean a self-adjoint idempotent element which is called central if it commutes with any other element of the algebra. Finally, we need a property called transfer property of Kubo-Ando means, which is related to the inequality (c) in the introduction. Namely, it is known that for an arbitrary Hilbert space H and for any Kubo-Ando mean σ, we have (14) T (AσB)T * = (T AT * )σ(T BT * ), A, B ∈ B(H) + for every invertible bounded either linear or conjugate linear operator T on H.
After this preparation, we can present the proof of our second theorem.
Proof of Theorem 2. Assume that φ : A ++ → B ++ is a continuous bijective map which satisfies We can and do assume that p is positive. Indeed, it is easy to see that holds for any A, B ∈ A ++ and then one can verify that the continuous bijective map ψ : We show that for any sequence (B n ) in A ++ such that B n → 0 in norm, we have that φ(B n ) → 0 in norm. Assume that B n → 0 in norm. Then, by the formula (3), for any A ∈ A ++ we have Am p B n → A/2 1 p , and hence we obtain that It follows that (φ(B n )) is a sequence in B ++ with the property that for every X ∈ B ++ , the sequence (X m p φ(B n )) is norm convergent in B. Choosing X = I , it follows again from (3) that (φ(B n )) is norm convergent, let its limit be C ∈ B + . We have that Since, by the monotonicity of Kubo-Ando means (see (b) in the introduction), X m p C ≥ 0m p C = C /2 1 p for every X ∈ B ++ , we deduce that meaning that C is majorized by all elements of B ++ . This implies that C = 0, hence we infer that φ(B n ) → 0 in norm. From we obtain that φ respects the multiplication of elements by the constant (1/2) 1 p . Assume that, for some given positive numbers α, β, the equalities φ(α  (4)), we easily compute This gives us that holds for all A ∈ A ++ . From this observation we can easily deduce that φ(r 1 p A) = r 1 p φ(A) holds for any positive rational number r and element A ∈ A ++ . By the continuity of φ, this implies that φ is positive homogeneous.
We next prove that φ : A ++ → B ++ is a strict order isomorphism meaning that for any A, B ∈ A ++ we have In order to show this, observe that for any given A, B ∈ A ++ there exists an X ∈ A ++ such that Indeed, using the transfer property and aplying trivial algebraic manipulations, This latter inequality is equivalent to A < B. To see this, one may need to refer to the well-known fact that the spectrum of A ). Using the above characterization of strict order, it follows that φ is a strict order isomorphism.
Next, it is clear that holds for any A, B ∈ A ++ . It then follows from the positive homogeneity of φ and from the property that φ is a strict order isomorphism that φ is a positive homogeneous Thompson isometry from A ++ onto B ++ . By the structure (13)  As for the converse statement, we argue as follows. By the above listed properties of Jordan *isomorphisms, every such transformation is a continuous bijective map between positive definite cones which preserves all Kubo-Ando means and, by the transfer property, the same is true for any map B → T BT * , B ∈ B ++ with T ∈ B invertible. The composition of two mean preserving maps is again mean preserving and hence we obtain the desired converse statement.
For the proof of Theorem 3, recall that for any A, B ∈ A ++ we have A < B if and only if the spectrum of B − 1 2 AB − 1 2 is contained in the open unit interval ]0, 1[. One can see that A < B implies that T AT * < T BT * for any invertible T ∈ A . Indeed, this follows from the fact that (T BT * ) − 1 2 (T AT * )(T BT * ) − 1 2 is unitarily similar to B − 1 2 AB − 1 2 (see the argument given in the first half of page 323 in [14]).
Proof of Theorem 3. Let p ∈] − 1, 1[ and assume that the continuous bijective map φ : In the first few steps of the proof we can closely follow the argument given in the proof of Theorem 2. Indeed, we may assume just like there that p is positive. Next we can show in a very similar way that for any sequence (B n ) in A ++ which converges to 0 in norm, we have φ(B n ) → 0 in norm and also that φ(A/2 1 p ) = φ(A)/2 1 p holds for all A ∈ A ++ . After this, just as in the mentioned proof, we can verify that φ is positive homogeneous.
In the last part we observe that the equality Am p X = B/2 for any A, B ∈ A ++ and positive real number t . From this we obtain for the Thompson distances that see the definition of Thompson metric given in (12). This means that ψ is a dilation (or, in other words, homothety) between the positive definite cones A ++ and B ++ . We proved in Theorem 18 in [16] that the existence of a non-isometric dilation between the positive definite cones of C *algebras implies that the underlying algebras are necessarily commutative. This completes the proof of the statement.
We now turn to the proofs of our results concerning maps on the positive semidefinite cone of a full operator algebra over a Hilbert space.  −1 ψ(B), A, B ∈ B(H The structures of those maps are known. By the Theorem and Proposition in [10], we have in both cases that there is an invertible bounded either linear or conjugate linear operator T : H → H such that ψ(A) = T AT * , A ∈ B(H) + . This completes the proof of the necessity part of the statement.
The sufficiency follows immediately from the transfer property of the Kubo-Ando means m 1 and m −1 .
To prove Theorem 5, we need some auxiliary results that we present below. Lemma 7. Assume that 0 < p ≤ 1. which B ′ ≤ C . We assert that then there exists X ∈ B(H) + such that B ′ m p X = C /2 1 p . In fact, by the transfer property, the solvability of this latter equation is equivalent to that of The statement in (iii) now follows.
Assume next that −1 ≤ p < 0. Then, denoting q = −p, the generating function of the symmetric Kubo-Ando mean m p is the function , t > 0.
Since this f has limit 0 at 0, several important observations from the paper [13] can be applied. For the next lemma whose statements follow from those observation in [13], we need to recall the following quantity which was originally introduced in [4] under the name 'strength along a ray'. Let A ∈ B(H) + , consider a unit vector ϕ in H and denote by P ϕ the rank-one projection onto the subspace generated by ϕ (recall that a rank-one operator is a bounded linear operator whose range is one-dimensional). The quantity is called the strength of A along the ray represented by ϕ. For curiosity, we mention that there is a nice and very useful formula for this quantity proved in [4]: else.
(The symbol rng denotes the range of operators, and A −1/2 stands for the inverse of A 1/2 on its range.) After this, our next lemma reads as follows. (

v) If A ∈ B(H) + is arbitrary and P ∈ B(H) + is a rank-one projection, then
Proof. To see (i), observe that 0m p X = X m p 0 = 0 holds for all X ∈ B(H) + (this follows from the property lim t→0 f (t ) = 0 mentioned three paragraphs before the formulation of the lemma). Conversely, if Am p X = A for all X ∈ B(H) + , then choosing X = 0, we have A = Am p 0 = 0. The statements in (ii)-(v) are particular cases of the statements in Lemmas 2.5, 2.2, 2.7, 2.6 in [13], respectively.
We are now in a position to prove Theorem 5.
Proof of Theorem 5. To begin with, first observe that the converse statement in the theorem, i.e., the fact that any map of the form A → T AT * on B(H) + (where T is an invertible bounded either linear or conjugate linear operator on H) satisfies (8), follows from the transfer property of Kubo-Ando means, see (14). Let now φ : B(H) + → B(H) + be a bijective map such that First suppose that the number p is positive. By (ii) in Lemma 7, we obtain that φ(0) = 0. It follows that It follows that on the set of all projections on H, the map φ preserves the range inclusion in both directions implying that it is an order automorphism. Consequently, φ (and also φ −1 ) sends rankone projections to rank-one projections and then we can infer that it sends rank-one elements in B(H) + to rank-one elements (again by the range inclusion preserving property). Referring to the fact that the positive semidefinite rank-one operators are exactly the nonnegative scalar multiples of rank-one projections, we also easily obtain that for a given rank-one projection P , there is a bijective function g of the nonnegative reals such that In what follows we prove that g is necessarily the identity. For any positive real numbers t , s, we use the transfer property and (v) in Lemma 8 to compute (15) (t P )m p (sP ) = s t s P m p P = s We therefore obtain the equality Denoting and then that Denoting for any positive real numbers t , s. Since k is a bijection of the positive half-line (which follows from the same property of g ), we deduce that k is a constant multiple of the identity (cf. Theorem 1). By g (1) = 1 we thus obtain that k is the identity and this implies that g is also the identity, which was our claim.
We can now verify that φ is an order automorphism of B(H) + . Indeed, from [4] we know that for any A, B ∈ B(H) + , the inequality A ≤ B holds if and only if λ(A, P ) ≤ λ(B, P ) holds for all rank-one projections P ∈ B(H) + . The equation φ(Am p P ) = φ(A)m p φ(P ) implies the identity from which we easily obtain that λ(A, P ) ≤ λ(B, P ) if and only if λ(φ(A), φ(P )) ≤ λ(φ(B), φ(P )). We thus infer that φ is an order isomorphism of B(H) + . The structure of those maps was determined in [12]. It follows from the results there, that we have an invertible bounded either linear or conjugate linear operator T on H such that φ(A) = T AT * , A ∈ B(H) + . This completes the proof of our theorem.
Finally, we present the proof of the last result of the paper.
Proof of Theorem 6. Contrary to the assertion, assume that φ : B(H) + → B(H) + is a bijective map such that Here, q = −p. After this, following the second part of the proof of Theorem 5, we infer that φ(I ) is invertible and hence the map φ(I ) − 1 2 φ(.)φ(I ) − 1 2 also satisfies (17), moreover it sends I to I . Therefore, we can clearly assume that the original transformation φ already has this additional property. It then follows that φ sends projections to projections and we can continue following the argument in the proof of Theorem 5 till the point that for any rank-one projection P on H, there is a bijective function g of the nonnegative reals such that φ(t P ) = g (t )φ(P ), t ≥ 0 holds. Observe that for commuting A, B ∈ B(H) + , we have Am p B = Am p B. In fact, for invertible A, B this is easy to check and then we can apply the continuity property of Kubo-Ando means (see the explanation in the introduction of m p for negative p presented before the formulation of Theorem 4). Therefore, the same computation as from (15) to (16) applies and we obtain that g is the identity.
We close the paper with the following open problems. It would be interesting to clarify if the continuity assumptions in Theorems 2 and 3 can be dropped. Furthermore, it seems a really nontrivial problem to investigate how the statements in Theorems 4-6 survive in general C * -algebras. Finally, we find it also interesting for p = ±1 to consider the problem if there is any nontrivial homomorphism from B(H) + equipped with the operation m p into B(H) + equipped with m p (Theorem 6 asserts that there is no such isomorphism).