We give some characterizations of self-adjointness and symmetricity of operator monotone functions by using the Barbour transform and show that there are many non-symmetric operator means between the harmonic mean ! and the arithmetic mean Indeed, we show that there exists a non-symmetric operator mean between any two symmetric operator means. .
A bounded operator acting on a Hilbert space is said to be positive if for all We denote this by . Let . be the set of all positive operators on and let be the set of all positive invertible operators on .
A real-valued function on is operator monotone if whenever bounded operators , satisfy , Functions . and are typical operator monotone functions. Let be the set of positive operator monotone functions on and .
In Reference 6, Kubo and Ando developed an axiomatic theory for operator connections and operator means for pairs of positive operators. That is, a binary operation on the class of positive operators, is called a connection if the following requirements are fulfilled: ,
and imply .
If and then ,.
A mean is a connection with normalization condition
Kubo and Ando showed that there exists an affine order-isomorphism from the class of operator connections onto the class of positive operator monotone functions, .
This theory has found a number of applications in operator theory. In particular, Petz Reference 9 connected the theory of monotone metrics with Kubo and Ando’s operator connections. He proved that an operator monotone function satisfying the functional equation
is related to a Morozova–Chentsov function which gives a monotone metric on the Riemannian manifold of invertible density matrices.
It is well known that if is operator monotone, the transpose the adjoint , and the dual , are also operator monotone (Reference 6) and we call symmetric if and self-adjoint if It is shown in .Reference 6 that if is symmetric with then the corresponding operator mean exists between the harmonic mean ,! and the arithmetic mean that is, ,.
In this note, we characterize symmetric functions and self-adjoint functions using Barbour transform defined by and characterize the class of non-symmetric operator functions and the class of operator connections , which satisfy or We show the existence of non-symmetric operator means between any pair of symmetric means. .
2. Barbour transform
In Reference 7, for any strictly positive continuous functions on the Barbour path , was introduced by
and its basic properties are elucidated. In Reference 1, Barbour examined a function which is an approximation of the power function We will denote a Barbour path . such that , , by the triple .
The transform defined by plays an important role in the analysis of and we call this transform the Barbour transform.
Note that for ,.
For we can define the inverse map , of the Barbour transform by
then Moreover, for . and we can define the inverse map , of the transform by .
By a simple calculation, we have the following relations.
We next show some properties of the Barbour transform concerning the usual order relation for operator means.
In the following section, we show that the Barbour transform is a powerful tool for finding examples of non-self-adjoint operator means.
3. Self-adjoint means
In Reference 6, Kubo and Ando asked whether there exist self-adjoint operator means besides the trivial means , the weighted geometric means corresponding to the operator monotone functions , Later, Hansen ( .Reference 3) gave an integral form for a strictly positive self-adjoint operator monotone function based on an exponential map.
Using the Barbour transform, we characterize the self-adjointness in and give concrete examples in this section.
The above result shows that we can construct a self-adjoint mean by using a symmetric mean.
4. Symmetric means and non-symmetric means
4.1. Symmetric means
Symmetric means have been discussed many times in the literature Reference 4Reference 5Reference 6Reference 8. In contrast to self-adjoint means, many examples of symmetric means are known and appear in the quantum information literature Reference 9.
4.2. Non-symmetric means between ! and
It is well known that a symmetric operator mean must be between ! and To show that the converse is not true, we present an algorithm for constructing a non-symmetric mean . such that .
Hence, we have the following result.
4.3. Non-symmetric means between symmetric means
In this section, we show the existence of non-symmetric operator means between any pair of symmetric means.
To prove the above theorem, we need the following lemma.