Abstract
The seminal work of Kubo and Ando (Math Ann 246:205–224, 1979/80) 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 flavour. On the other hand, it is highly natural to take the geomeric 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 leads to a fixed point equation that characterizes the mean. The aim of this survey is to highlight those cases where the algebraic and the geometric approaches meet each other.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 An algebraic approach to operator menas
Although the paralell sum \(A: B =\left( A^{-1}+B^{-1} \right) ^{-1}\) of positive definite matrice was considered already in 1969 by Anderson and Duffin [2], who used this operation to study electrical networks, and the geometric mean \(A \# B= A^{\frac{1}{2}}\left( A^{-\frac{1}{2}} B A^{-\frac{1}{2}} \right) ^{\frac{1}{2}} A^{\frac{1}{2}}=B^{\frac{1}{2}}\left( B^{-\frac{1}{2}} A B^{-\frac{1}{2}} \right) ^{\frac{1}{2}} B^{\frac{1}{2}}\) was introduced by Pusz and Woronowicz in 1975 [23], the first systematic study of means of positive operators is due to Kubo and Ando from 1980 [17], who provided an axiomatic approach to operator means which proved extremely influential in the last decades. The binary operations characterized by their axioms are now called Kubo-Ando connections and means, and the study of these means is flourishing research field within operator theory with intimate connections to quantum information theory.
This first section is very brief introduction to the Kubo-Ando theory which, however, aims to cover the most important concepts and phenomena. First, we need to fix some notation. Let \(\mathcal {H}\) be a complex Hilbert space, either finite or infinite dimensional, and let \(\mathcal {B}(\mathcal {H})\) denote the set of all bounded linear operators on \(\mathcal {H}.\) Let \(\mathcal {B}(\mathcal {H})^{sa}, \, \mathcal {B}(\mathcal {H})^{+},\) and \(\mathcal {B}(\mathcal {H})^{++}\) stand for the set of all bounded self-adjoint, positive semidefinite, and positive definite (i.e., positive semidefinite and invertible) operators, respectively. The symbol I stands for the identity of \(\mathcal {B}(\mathcal {H}),\) and we consider the Löwner order induced by positivity on \(\mathcal {B}(\mathcal {H})^{sa},\) that is, by \(A \le B\) we mean that \(B-A\) is positive semidefinite, and \(A<B\) means that \(B-A\) is positive definite. The spectrum of \(X \in \mathcal {B}(\mathcal {H})\) is denoted by \(\textrm{spec}(X).\) The symbols \(\textbf{D}\) and \(\textbf{D}^2\) denote the first and second Fréchet derivatives, respectively.
Definition 1
(Operator connections and means) A binary operation
is called an operator connection if it satisfies the following three properties:
-
(P1) Monotonocity in both variables:
$$ \text {if } A \le A' \text { and } B \le B' \text { then } A \sigma B \le A' \sigma B' $$ -
(P2) Transformer inequality:
$$ C \left( A \sigma B \right) C \le (C A C) \sigma (C B C) \text { for all } A,B,C \in \mathcal {B}(\mathcal {H})^{+} $$ -
(P3) Continuity for decreasing sequences: if \(A_1\ge A_2 \ge A_3 \ge \dots \) and \(A_n \rightarrow A\) in the strong operator topology, and similarly, \(B_1\ge B_2 \ge B_3 \ge \dots \) and \(B_n \rightarrow B\) strongly, then
$$ \left( A_n \right) \sigma \left( B_n \right) \rightarrow A \sigma B \text { in the strong operator topology} $$
Furthermore, operator means are those operator connections that satisfy the
-
(P4) Normalization condition: \(I \sigma I=I\)
One of the most striking results of [17] is that there is one-by-one correspondence between operator connections and operator monotone functions mapping the positive half-line into itself. Namely, for every operator connection \(\sigma \) there is a unique operator monotone function \(f: (0, \infty ) \rightarrow (0,\infty )\) such that
The \(\sigma \leftrightarrow f\) correspondence described in (1) is in fact an affine order-isomorphism. It is instructive to take a look at those particular connections that have already been mentioned, and note that the parallel sum \(A:B=\left( A^{-1}+B^{-1} \right) ^{-1}\) corresponds to the operator monotone function \(f(x)=\frac{x}{x+1}\) while the geometric mean \(A \# B=A^{\frac{1}{2}}\left( A^{-\frac{1}{2}} B A^{-\frac{1}{2}} \right) ^{\frac{1}{2}} A^{\frac{1}{2}}\) corresponds to \(f(x)=\sqrt{x}.\)
Operator monotone functions mapping the positive half-line \((0, \infty )\) into itself admit a transparent integral-representation by Löwner’s theory. In [17], the following integral representation was considered:
where m is a positive Radon measure on the extended half-line \([0, \infty ].\) There is another integral-representation formula for operator monotone functions which may be even more convenient than (2). By a simple push-forward of m by the transformation \(T: [0, \infty ] \rightarrow [0,1]; \, t \mapsto \lambda :=\frac{t}{t+1},\) we get the following integral-representation of positive operator monotone functions on \((0, \infty ):\)
where \(\mu =T_{\#} m,\) that is, \(\mu (A)=m\left( T^{-1}(A) \right) \) for every Borel set \(A \subseteq [0,1].\) This representation is also well-known and appears — among others — in [10]. Note that if m is absolutely continuous with respect to the Lebesgue measure and \(\textrm{d}m(t)=\rho (t) \textrm{d}t,\) then the density of \(\mu =T_{\#} m\) is given by \(\textrm{d}\mu (\lambda )=\frac{1}{(1-\lambda )^2}\rho \left( \frac{\lambda }{1-\lambda } \right) \textrm{d}\lambda .\)
In particular, by (1) and (3), there is an affine isomorphism between operator connections and positive Radon measures on [0, 1]. We note that the normalization condition \(I \sigma I=I\) is satisfied if and only if \(\mu ([0,1])=1.\)
We denote by \(\mathcal {P}\left( [0,1] \right) \) the set of all Borel probability measures on [0, 1], and by \(c\left( \mu \right) :=\int _{[0,1]}\lambda \textrm{d}\mu (\lambda )\) the center of mass of \(\mu .\) There is a natural way to assign a weight parameter to a mean \(\sigma ,\) namely, \(W\left( \sigma \right) :=f'(1)=c\left( \mu \right) ,\) where f generates \(\sigma \) in the sense of (1) and \(\mu \) generates f in the sense of (3). This weight parameter will play an essential role later when we turn to the discussion of generalized Hellinger distances. Here we only mention that for the weighted arithmetic, geometric, and harmonic means generated by the functions
respectively, we have \(W\left( \sigma _{a_\lambda } \right) =W\left( \sigma _{g_\lambda } \right) =W\left( \sigma _{h_\lambda } \right) =\lambda .\) That is, this weight parameter coincides with the usual one in the most important special cases.
The convex order is a well-known relation between probability measures; for \(\mu , \nu \in \mathcal {P}\left( [0,1] \right) ,\) we say that \(\mu \preccurlyeq \nu \) if for all convex functions \(u: [0,1] \rightarrow \mathbb {R}\) we have \(\int _{[0,1]} u \, \textrm{d}\mu \le \int _{[0,1]} u \, \textrm{d}\nu .\) It is clear that for all \(\mu \in \mathcal {P}\left( [0,1] \right) \) with \(c\left( \mu \right) =\lambda \) we have \(\delta _\lambda \preccurlyeq \mu \preccurlyeq (1-\lambda )\delta _0 + \lambda \delta _1,\) where \(\delta _x\) denotes the Dirac mass concentrated on x. For any fixed \(x>0,\) the map \(\lambda \mapsto \frac{x}{(1-\lambda )x+\lambda }\)—which is the core of the integral representation (3) — is convex. Therefore, if \(\mu \preccurlyeq \nu ,\) then \(f_\mu (x)\le f_\nu (x)\) for all \(x>0,\) and hence \(A \sigma _{\mu } B \le A \sigma _{\nu } B\) for all \(A,B \in \mathcal {B}(\mathcal {H})^{++},\) where \(f_\mu \) denotes the generating function corresponding to \(\mu \) via (3) and \(\sigma _\mu \) denotes the operator mean corresponding to \(f_\mu \) via (1). Consequently, if \(\nu =\left( 1-c\left( \mu \right) \right) \delta _0 + c\left( \mu \right) \delta _1,\) then \(A \sigma _{\nu } B-A \sigma _{\mu } B\) is always positive, in particular, \(\textrm{tr}\left( A \sigma _{\nu } B-A \sigma _{\mu } B \right) \ge 0.\) This quantity is exactly the generalized quantum Hellinger divergence we will discuss in Sect. 2.3.
Let us turn to the description of two interesting involutive operations on operator connections. The adjoint of a conncetion \(\sigma \) is denoted by \(\sigma ^*\) and is defined by
for \(A,B \in \mathcal {B}(\mathcal {H})^{++}.\) If f is the generating function of \(\sigma \) in the sense of (1), then \(\sigma ^*\) is generated by \(f^*(x)=1/f(1/x).\) Note that taking the inverse on positive definite operators is an order-reversing operation, and hence \(f^*\) is operator monotone whenever f is so. Important examples of self-adjoint connections are the weighted geometric means generated by the power functions \([0, \infty ) \ni x \mapsto x^p\) for \(0\le p \le 1.\) The transpose of \(\sigma \) is denoted by \(\sigma ^t\) and is defined by
An important fact is that if \(\sigma \) is represented by f, then its transpose \(\sigma ^t\) is represented by xf(1/x). Therefore, a connection \(\sigma \) is symmetric if and only if its generator f satisfies \(f(x)=x f(1/x).\)
All in all, the Kubo-Ando theory is a beautiful and satisfactory theory of two-variable operator means. However, it leaves the problem multivariate operator means untouched. A clear advantage of the geometric approach to be presented in the next section is that it produces natural candidates for means of several positive operators. Apparently, a substantial part of the studies of Riemannian geometries on positive operators was motivated by the problem of finding appropriate multivariate counterparts of well-established bi-variate operator means.
2 A geometric approach to operator means
The notion of barycenter—or least squares mean—plays a central role in averaging procedures related to various topics in mathematics and mathematical physics. Given a metric space \(\left( X, d \right) \) and an m-tuple \(a_1, \dots , a_m\) in X with positive weights \(w_1, \dots , w_m\) such that \(\sum _{j=1}^m w_j=1,\) the barycenter is defined to be
The object defined above by (6) plays an important role in various areas of mathematics, and hence can be found under various names: it is sometimes called Fréchet mean or Karcher mean or Cartan mean. It is also called mean squared error estimator for the following reason: imagine that we want to determine an unknown element of the metric space \(\left( X,d \right) \) and we can perform imperfect measurements many times. If we measure \(a_j\) with relative frequency \(w_j,\) then an attractive estimation of the unknown object is (6) which minimizes the weighted mean squared error from the measured objects.
In the sequel, we review two distinguished metrics on the cone of positive definite operators on finite dimensional Hilbert spaces, namely the Riemannian trace metric and the Bures-Wasserstein metric. The focus of these review will be on the barycenters determined by these metrics.
2.1 The Riemannian trace metric
The convex Boltzmann entropy (or H-functional) of a random variable X with probability density \(\varrho \) is given by
This is a particularly important functional; for instance, the heat equation
can be seen as the gradient flow for the Boltzmann entropy as potential (or “energy”) in the differential structure induced by optimal transportation [11,12,13].
Let us restrict our attention to special random variables. A circularly-symmetric centered complex Gaussian distribution on \(\mathbb {C}^N\) is completely described by its covariance matrix \(\Sigma .\) The probability density of such a zero-mean complex Gaussian \(Z \sim \mathcal {N}_{\mathbb {C}}\left( 0, \Sigma \right) \) is given by
Consequently, the Boltzmann entropy of \(Z \sim \mathcal {N}_{\mathbb {C}}\left( 0, \Sigma \right) \) can be given in the following simple closed form:
where C(N) is an irrelevant constant depending only on the dimension N. So the Boltzmann entropy is a smooth convex functional on the sub-manifold of centered, circularly-symmetric, non-degenerate complex Gaussians. We identify this sub-manifold with the cone of positive definite \(N \times N\) matrices by the convenient identification of the random variable with its covariance matrix.
Direct computations shows that the Hessian (that is, the second derivative) of the Boltzmann entropy (8) on these appropriate Gaussians is given by
This is a collection of positive definite bilinear forms on the tangent spaces
that depends smoothly on the foot point A. Therefore, (9) is a Riemannian metric tensor field. The global metric induced by this Riemannian tensor field
is called the Riemannian trace metric (RTM).
A particularly nice feature of the Riemannian trace metric is that the geodesic curve connecting the points \(A,B \in \mathcal {B}(\mathcal {H})^{++}\) has the following simple closed form:
That is, the geodesic consists of the weighted geometric means where the weight parameter t runs from 0 to 1. Consequently, the derivative of the geodesic reads as
and the RTM has the following simple closed form:
The notation \(\left| \left| \cdot \right| \right| _2\) stands here and throughout this paper for the Hilbert-Schmidt norm \(\left| \left| X\right| \right| _2:=\sqrt{\textrm{tr}\left( X^*X \right) }.\)
Therefore, the barycenter (6) of the positive definite operators \(A_1, \dots , A_m \in \mathcal {B}(\mathcal {H})^{++}\) with probability weights \(w_1, \dots w_m\) is
One can use Karcher’s formula [14, Theorem 2.1] to compute the gradient of the objective function
and deduce that the barycenter (13)—which is more often called Karcher mean in this context—coincides with the unique positive definite solution of the Karcher equation
See [18] and [4] for alternative approaches on the derivation of the Karcher Eq. (15).
2.2 The Bures-Wasserstein metric
The classical optimal transport (OT) problem is to arrange the transportation of goods from producers to consumers in an optimal way, given the distribution of the sources and the needs (described by probability measures \(\mu \) and \(\nu \)), and the cost c(x, y) of transporting a unit of goods from x to y. Accordingly, a transport plan is modeled by a probability distribution \(\pi \) on the product of the initial and the target spaces, where \(\textrm{d}\pi (x,y)\) is the amount of goods to be transferred from x to y, and hence the marginals of \(\pi \) are \(\mu \) and \(\nu .\) So the optimal transport cost is the minimum of a convex optimization problem with linear loss function:
where \((\pi )_i\) denotes the ith marginal of \(\pi ,\) and X is the initial and Y is the target space.
OT costs (16) give rise to OT distances (Wasserstein distances) on measures for certain cost functions c(., .). A prominent example is the quadratic Wasserstein distance between probabilities on \(\mathbb {R}^n\) having finite second moment defined by
The above definition (17) of the 2-Wasserstein metric is static in nature. It refers only to the initial and final distributions of the mass to be transported. The dynamical theory of mass transport concerns on the contrary flows of measures connecting the initial and final states. The optimization problem is minimizing the total kinetic energy needed to perform the transport. More precisely, the task is to minimize the kinetic energy over flows of measures \(\left( \rho _t \right) _{t=0}^T\) connecting the initial and final distributions and time-depending velocity fields \(\left( v_t \right) _{t=0}^T\) governing the flows—we say that the velocity field \(\left( v_t \right) _{t=0}^T\) governs the flow \(\left( \rho _t \right) _{t=0}^T\) if they satisfy the linear transport equation (or continuity equation)
Accordingly, the formula for the minimal kinetic energy (MKE) needed to transform \(\mu \) to \(\nu ,\) if the total time allocated for the transport is T, reads as follows:
A seminal result of Benamou and Brenier [3] connects the static and the dynamic theory beautifully: the static 2-Wasserstein distance (17) and the minimal kinetic energy needed to perform the dynamics are essentially the same. More precisely, the Benamou-Brenier formula [3] tells us that the minimizing flow of measures in (19) is given by the displacement interpolation, and
Now, if we take another look at (19), keeping (20) in mind, we may observe that the 2-Wasserstein distance \(d_{\mathcal {W}_2}\) is given by a formula that looks very much like a Riemannian geodesic formula. And indeed, there is a Riemannian metric tensor field on the space of probabilities that gives rise to the 2-Wasserstein metric. The discussion of this Riemannian metric in general is beyond the scope of this survey—we will be interested only in the special case of centered Gaussian measures. We only mention that this line of research was pioneered by Otto [20] and we refer the interested reader to Subsection 8.1.2. of [25] for a detailed description of the theory. We must note, however, the groundbreaking discovery of Jordan et al. [11,12,13] who proved that the heat flow is the gradient flow of the Boltzmann entropy with respect to the 2-Wasserstein Riemannian metric on probability densities.
We shall restrict our attention to non-degenerate centered Gaussian measures on \(\mathbb {C}^n\) that we identify with their non-singular covariance matrices. If \(\mu \) is the law of the random variable \(X \sim \mathcal {N}_{\mathbb {C}}\left( 0, A \right) \) and \(\nu \) is the law of \(Y \sim \mathcal {N}_{\mathbb {C}}\left( 0, B \right) ,\) then the quadratic Wasserstein distance between \(\mu \) and \(\nu \) admits the following closed form that refers only to the covariance matrices [1, 24]:
The distance between the positive definite operators \(A,B \in \mathcal {B}(\mathcal {H})^{++}\) acting on the Hilbert space \(\mathcal {H}=\mathbb {C}^n\) that appears on the right-hand side of (21) has a quantum information theoretic interpretation, as well. In that context, the name Bures distance is used more frequently. We refer the reader to [8] for a thorough study of this Bures-Wasserstein distance given for \(A, B \in \mathcal {B}(\mathcal {H})^{++}\) by
We note furthermore that the isometries of the density spaces of \(C^*\)-algebras with respect to (22) have been determined by Molnár in [19]. The geodesic line segment in the Bures-Wasserstein metric connecting A with B has the following simple closed form [7, 8]:
where t runs from 0 to 1, and the square roots of the non-Hermitian operators are understood as follows: \((AB)^{\frac{1}{2}}=A^{\frac{1}{2}}\left( A^{\frac{1}{2}}BA^{\frac{1}{2}} \right) ^{\frac{1}{2}}A^{-\frac{1}{2}}\) and
The elements of the geodesic segment (23) are Bures-Wasserstein barycenters with appropriate weights [7], namely,
An attractive feature of the Bures-Wasserstein barycenter is that it is characterized by a rather simple fixed point equation: the unique minimizer of the functional
on the positive definite cone coincides with the unique positive definite solution of the operator equation
This striking result was first proved in [1] and a very transparent presentation of the proof can be found, e.g., in [8, Section 6].
2.3 Barycenters for generalized quantum Hellinger distances
As one can see in (22), the Bures-Wasserstein distance is the square root of the distance between the trace of the arithmetic mean of A and B and the trace of a certain geometric mean of the same operators. Therefore it is a non-commutative version of the Hellinger distance of probability vectors defined by
A thorough study of a variety of quantum Hellinger distances is presented in [5]. Somewhat later, generalized quantum Hellinger distances were introduced and studied with a strong emphasis on the characterization of the barycenter [21]. Very recently, a one-parameter family of distances including the Bures-Wasserstein distance and a certain Hellinger distance was proposed and studied in [16].
Given a Borel probability measure \(\mu \in \mathcal {P}([0,1]),\) the corresponding generalized quantum Hellinger divergence is given by
where \(c(\mu )=\int _{{0,1}} \lambda \textrm{d}\mu (\lambda )\) is the center of mass of \(\mu ,\) and \(\sigma _{f_\mu }\) is the Kubo-Ando mean generated by the operator monotone function \(f_\mu \) in the sense of (1) and \(f_\mu \) is determined by \(\mu \) in the sense of (3). We believe that the characterization of the barycenter of finitely many positive operators by a fixed point equation is instructive, especially as we did not present the proof of the analogous result for the Bures-Wasserstein metric. The following result and its proof appeared originally in [21].
Theorem 1
Let \(\mu \in \mathcal {P}{[0,1]}\) and let \(\phi _\mu \) be the generalized quantum Hellinger divergence generated by \(\mu \) given in (28). The barycenter of the positive definite operators \(A_1, \dots , A_m\) with positive weights \(w_1, \dots , w_m\) with respect to \(\phi _\mu ,\) i.e.,
coincides with the unique positive definite solution of the fixed point equation
where \(|\cdot |\) stands for the absolute value of an operator, that is, \(\left| Z \right| =\left( Z^*Z \right) ^{\frac{1}{2}}.\)
Proof
Assume that the positive definite operators \(A_1, \dots , A_m\) and the weights \(w_1, \dots w_m\) are given. By the strict concavity of \(f_\mu ,\) the function
is strictly convex on \(\mathcal {B}(\mathcal {H})^{++},\) see, e.g., [9, 2.10. Thm.]. Therefore, there is a unique solution \(X_0\) of (29), and it is necessarily a critical point of the function \(X \mapsto \sum _{j=1}^m w_j \phi _\mu \left( A_j, X \right) .\) That is, it satisfies
Easy computations give that
where for a positive definite operator A, the map \(F_{\mu ,A}: \mathcal {B}(\mathcal {H})^{++} \rightarrow \mathcal {B}(\mathcal {H})^{++}\) is defined by
By differentiating (3), we have
for \(X \in \mathcal {B}(\mathcal {H})^{++}, \, Y \in \mathcal {B}(\mathcal {H})^{sa}.\) Consequently,
By the linearity and the cyclic property of the trace, we get from (32) and (35) that (31) is equivalent to
This latter equation amounts to
Multiplying by \(\frac{1}{\sqrt{c(\mu )}}X^{1/2}\) from both left and right gives the desired operator Eq. (30). \(\square \)
3 Connections between the algebraic and the geometric approaches
This section is devoted to the phenomenon when the algebraic and the geometric approach to operator means meet each other, that is, when Kubo-Ando means admit barycentric interpretation.
It is well known that special Kubo-Ando operator means, namely, the arithmetic and the geometric means admit divergence center interpretations. The arithmetic mean \(A \nabla B=(A+B)/2\) is clearly the barycenter for the Euclidean metric on positive operators:
A much more interesting fact is that the geometric mean \(A\#B\) is the barycenter for the Riemannian trace metric \(d_{RTM}(X,Y)=\left| \left| \log {\left( X^{-\frac{1}{2}}Y X^{-\frac{1}{2}} \right) }\right| \right| _2,\) that is,
The barycentric representation (38) of the bivariate geometric mean opened the gate for the definition of the multivariate geometric mean as the barycenter with respect to the Riemannian trace metric. This definition was introduced by Moakher [18] and Bhatia-Holbrook [6]. A recent result in [22] tells us that every symmetric Kubo-Ando means admits a divergence center interpretation. Now we turn to the detailed explanation of this latter result, and we follow the presentation of [22].
Let \(\sigma : \, \mathcal {B}(\mathcal {H})^{++} \times \mathcal {B}(\mathcal {H})^{++} \rightarrow \mathcal {B}(\mathcal {H})^{++}\) be a symmetric Kubo-Ando operator mean, and let \(f_\sigma : \, (0, \infty ) \rightarrow (0,\infty )\) be the operator monotone function representing \(\sigma \) in the sense that
Clearly, \(f_\sigma (1)=1,\) and the symmetry of \(\sigma \) implies that \(f_\sigma (x)=x f_\sigma \left( \frac{1}{x} \right) \) for \(x>0,\) and hence \(f_\sigma '(1)=1/2\). We define
by
Obviously, \(g_\sigma (1)=0\), \(g_\sigma '(x)=1-\frac{1}{f_\sigma ^{-1}(x)},\) and \(g_\sigma '(1)=0\) as \(f_\sigma (1)=1\). Since \(f_\sigma \) is strictly monotone increasing, so is \(g_\sigma '\), and hence \(g_\sigma \) is strictly convex on its domain. Now we define the quantity
for positive definite operators \(A,B\in \mathcal {B}(\mathcal {H})^{++}\) such that the spectrum of \(A^{-1/2}BA^{-1/2}\) is contained in \(\textrm{ran}\left( f_\sigma \right) .\) We define \(\phi _\sigma (A,B):= +\infty \) if \(\textrm{spec} \left( A^{-1/2}BA^{-1/2} \right) \nsubseteq \textrm{ran}\left( f_\sigma \right) .\) It will be important in the sequel that by [9, 2.10. Thm.] the strict convexity of \(g_\sigma \) implies that \(X \mapsto \phi _\sigma (A,X)\) is strictly convex (whenever finite) for every \(\sigma \) and A. Now we are in the position to formalize the divergence center interpretation of symmetric Kubo-Ando means. The precise statement reads as follows.
Theorem 2
For any \(A,B\in \mathcal {B}(\mathcal {H})^{++},\)
That is, \(A\sigma B\) is a unique minimizer of the function \(X\mapsto \frac{1}{2}\left( \phi _\sigma (A,X)+\phi _\sigma \right. \left. (B,X)\right) \) on \(\mathcal {B}(\mathcal {H})^{++}\).
Proof
By the strict convexity of \(X\mapsto \frac{1}{2}\left( \phi _\sigma (A,X)+\phi _\sigma (B,X)\right) \) it is sufficient to show that \(A \sigma B\) is a critical point, and therefore a unique minimizer. First we compute the derivative
for all \(Y\in \mathcal {B}(\mathcal {H})^{sa}\). Since \(g_\sigma '(x)=1-(f_\sigma ^{-1}(x))^{-1}\), we get
for all \(Y\in \mathcal {B}(\mathcal {H})^{sa}\). Substituting \(X=A\sigma B=A^{1/2}f_\sigma (A^{-1/2}BA^{-1/2})A^{1/2}\) into the derivative above, the right hand side of (44) becomes
Since the operator mean \(\sigma \) is symmetric, that is
a similar computation for the derivative
at \(X=A\sigma B\) gives
for all \(Y\in \mathcal {B}(\mathcal {H})^{sa}\). Using (45) and (46) we get for the derivative
for all \(Y\in \mathcal {B}(\mathcal {H})^{sa}\). So we obtained that \(A \sigma B\) is a critical point and hence a unique minimizer of \(X\mapsto \frac{1}{2}\left( \phi _\sigma (A,X)+\phi _\sigma (B,X)\right) .\) \(\square \)
The above characterization of symmetric Kubo-Ando means as barycenters (Theorem 2) naturally leads to the idea of defining weighted and multivariate versions of Kubo-Ando means as minimizers of appropriate loss functions derived from the divergence \(\phi _\sigma .\) Given a symmetric Kubo-Ando mean \(\sigma ,\) a finite set of positive definite operators \(\textbf{A}=\left\{ A_1, \dots , A_m \right\} \subset \mathcal {B}(\mathcal {H})^{++},\) and a discrete probability distribution \(\textbf{w}=\left\{ w_1, \dots , w_m \right\} \subset (0,1]\) with \(\sum _{j=1}^m w_j=1\) we define the corresponding loss function \(Q_{\sigma , \textbf{A}, \textbf{w}}: \, \mathcal {B}(\mathcal {H})^{++} \rightarrow [0, \infty ]\) by
where \(\phi _\sigma \) is defined by (41).
However, in the weighted multivariate setting, when \(\textrm{ran}\left( f_\sigma \right) \) is smaller than the whole positive half-line \((0, \infty ),\) then some undesirable phenomena occur which are illustrated by the next example.
Consider the arithmetic mean generated by \(f_\nabla (x)=(1+x)/2\) with \(\textrm{ran}\left( f_\nabla \right) =\left( \frac{1}{2}, \infty \right) .\) Let \(A_1, A_2 \in \mathcal {B}(\mathcal {H})^{++}\) satisfy \( A_1 < \frac{1}{3} A_2.\) In this case, for any \(\alpha \in (0,1),\) the loss function \(Q_{\nabla , \left\{ A_1, A_2 \right\} , \left\{ 1-\alpha , \alpha \right\} } (X)\) is finite only if \(X>\frac{1}{2}A_2.\) So the barycenter of \(A_1\) and \(A_2\) with weights \(\left\{ 1-\alpha ,\alpha \right\} \) is separated from \(A_1\) for every \(\alpha \in (0,1),\) even for values very close to 0.
To exclude such phenomena, from now on, we assume that the range of \(f_\sigma \) is maximal, that is, \(\textrm{ran}\left( f_\sigma \right) =(0, \infty ),\) and hence \(g_\sigma (x)=\int _1^x\left( 1-\frac{1}{f_\sigma ^{-1}(t)}\right) \textrm{d}t\) is defined on the whole positive half-line \((0, \infty ).\) Consequently, \(\phi _\sigma \) is always finite, and hence so is \(Q_{\sigma , \textbf{A}, \textbf{w}}\) on the whole positive definite cone \(\mathcal {B}(\mathcal {H})^{++}.\)
Definition 2
Let \(\sigma : \, \mathcal {B}(\mathcal {H})^{++} \times \mathcal {B}(\mathcal {H})^{++} \rightarrow \mathcal {B}(\mathcal {H})^{++}\) be a symmetric Kubo-Ando operator mean such that \(f_\sigma : \, (0, \infty ) \rightarrow (0,\infty ),\) which is the operator monotone function representing \(\sigma \) in the sense of (39), is surjective. Let \(g_\sigma \) be defined as in (40), and \(\phi _\sigma \) be defined as in (41). We call the optimizer
the weighted barycenter of the operators \(\left\{ A_1, \dots , A_m \right\} \) with weights \(\left\{ w_1, \dots ,w_m \right\} \).
By Theorem 2, this barycenter may be considered as a weighted multivariate version of Kubo-Ando means. To find the barycenter \(\textbf{bc}\left( \sigma , \textbf{A}, \textbf{w}\right) ,\) we have to solve the critical point equation
for the strictly convex loss function \(Q_{\sigma , \textbf{A}, \textbf{w}},\) where the symbol
stands for the Fréchet derivative of \(Q_{\sigma , \textbf{A}, \textbf{w}}\) at the point \(X \in \mathcal {B}(\mathcal {H})^{++}.\) For any \(Y \in \mathcal {B}(\mathcal {H})^{sa}\) we have
that is, the equation to be solved is
By the definition of \(g_\sigma ,\) see (40), \(g_\sigma '(t)=1-\frac{1}{f_\sigma ^{-1}(t)}\) for \(t \in (0, \infty ),\) and hence the critical point of the loss function \(Q_{\sigma , \textbf{A}, \textbf{w}}\) is described by the equation
For \(\sigma =\#\) the generating function is \(f_{\#}(x)=\sqrt{x},\) and hence the inverse is \(f_{\#}^{-1}(t)=t^2.\) In this case, the critical point equation (51) describing the barycenter \(\textbf{bc}\left( \#, \textbf{A}, \textbf{w}\right) \) reads as follows:
Note that (52) may be considered as a generalized Riccati equation, and in the special case \(m=2, w_1=w_2=\frac{1}{2},\) the solution of (52) is the symmetric geometric mean \(A_1 \# A_2.\)
More generally, if \(m=2, w_1=1-\alpha ,\) and \(w_2=\alpha ,\) then (52) has the following form:
or equivalently
Recall that for positive definite A and B, the Riccati equation
has a unique positive definite solution, that is the geometric mean
We can observe that (53) is the Riccati equation for the weighted harmonic mean
and the weighted arithmetic mean \(A_1\nabla _{\alpha }A_2=(1-\alpha )A_1+\alpha A_2\), ie
Hence the solution of (53) is the geometric mean of the weighted harmonic and the weighted arithmetic mean
It means that in this case the weighted barycenter with respect to \(\phi _{\#}\) does not coincide with the weighted geometric mean, nevertheless
that is, \(\textbf{bc}\left( \#, \left\{ A_1, A_2 \right\} , \left\{ 1-\alpha , \alpha \right\} \right) \) is the Kubo-Ando mean of \(A_1\) and \(A_2\) with representing function
These means were widely investigated in [15].
We note that the critical point equation (52) can be rearranged as
This is the Ricatti equation for the weighted multivariate harmonic mean \(\left( \sum _{j=1}^m w_j A_j^{-1} \right) ^{-1}\) and arithmetic mean \(\sum _{j=1}^m w_j A_j,\) hence the barycenter \(\textbf{bc}\left( \#, \textbf{A}, \textbf{w}\right) \) coincides with the weighted \(\mathcal {A}\# \mathcal {H}\)-mean of Kim, Lawson, and Lim [15], that is,
References
Agueh, M., Carlier, G.: Barycenters in the Wasserstein space. SIAM J. Math. Anal. 43(2), 904–924 (2011). https://doi.org/10.1137/100805741
Anderson, W.N., Jr., Duffin, R.J.: Series and parallel addition of matrices. J. Math. Anal. Appl. 26, 576–594 (1969). https://doi.org/10.1016/0022-247X(69)90200-5
Benamou, J.-D., Brenier, Y.: A computational fluid mechanics solution to the Monge-Kantorovich mass transfer problem. Numer. Math. 84(3), 375–393 (2000). https://doi.org/10.1007/s002110050002
Bhatia, R.: Positive definite matrices, paperback Princeton Series in Applied Mathematics. Princeton University Press, Princeton, NJ (2007)
Bhatia, R., Gaubert, S., Jain, T.: Matrix versions of the Hellinger distance. Lett. Math. Phys. 109(8), 1777–1804 (2019). https://doi.org/10.1007/s11005-019-01156-0
Bhatia, R., Holbrook, J.: Riemannian geometry and matrix geometric means. Linear Algebra Appl. 413(2–3), 594–618 (2006). https://doi.org/10.1016/j.laa.2005.08.025
Bhatia, R., Jain, T., Lim, Y.: Inequalities for the Wasserstein mean of positive definite matrices. Linear Algebra Appl. 576, 108–123 (2019). https://doi.org/10.1016/j.laa.2018.03.017
Bhatia, R., Jain, T., Lim, Y.: On the Bures-Wasserstein distance between positive definite matrices. Expo. Math. 37(2), 165–191 (2019). https://doi.org/10.1016/j.exmath.2018.01.002
Carlen, E.: Trace inequalities and quantum entropy: an introductory course. In: Entropy and the quantum, volume 529 of Contemp. Math., pp. 73–140. Amer. Math. Soc., Providence, RI (2010). https://doi.org/10.1090/conm/529/10428
Hansen, F.: The fast track to Löwner’s theorem. Linear Algebra Appl. 438(11), 4557–4571 (2013). https://doi.org/10.1016/j.laa.2013.01.022
Jordan, R., Kinderlehrer, D., Otto, F.: Free energy and the Fokker-Planck equation. Phys. D 107(2–4), 265–271 (1997). https://doi.org/10.1016/S0167-2789(97)00093-6
Jordan, R., Kinderlehrer, D., Otto, F.: The route to stability through Fokker-Planck dynamics. In: Differential equations and applications (Hangzhou, 1996), pp. 108–126. Int. Press, Cambridge, MA, [1997]
Jordan, R., Kinderlehrer, D., Otto, F.: The variational formulation of the Fokker-Planck equation. SIAM J. Math. Anal. 29(1), 1–17 (1998). https://doi.org/10.1137/S0036141096303359
Karcher, H.: Riemannian center of mass and mollifier smoothing. Comm. Pure Appl. Math. 30(5), 509–541 (1977). https://doi.org/10.1002/cpa.3160300502
Kim, S., Lawson, J., Lim, Y.: The matrix geometric mean of parameterized, weighted arithmetic and harmonic means. Linear Algebra Appl. 435(9), 2114–2131 (2011). https://doi.org/10.1016/j.laa.2011.04.010
Komálovics, Á, Molnár, L.: On a parametric family of distance measures that includes the Hellinger and the Bures distances. J. Math. Anal. Appl.529(2):Paper No. 127226, 31 (2024). https://doi.org/10.1016/j.jmaa.2023.127226
Kubo, F., Ando, T.: Means of positive linear operators. Math. Ann. 246(3):205–224, 1979/80. https://doi.org/10.1007/BF01371042
Moakher, M.: A differential geometric approach to the geometric mean of symmetric positive-definite matrices. SIAM J. Matrix Anal. Appl. 26(3), 735–747 (2005). https://doi.org/10.1137/S0895479803436937
Molnár, L.: Bures isometries between density spaces of \(C^*\)-algebras. Linear Algebra Appl. 557, 22–33 (2018). https://doi.org/10.1016/j.laa.2018.07.008
Otto, F.: The geometry of dissipative evolution equations: the porous medium equation. Comm. Part. Differ. Equs. 26(1–2), 101–174 (2001). https://doi.org/10.1081/PDE-100002243
Pitrik, J., Virosztek, D.: Quantum Hellinger distances revisited. Lett. Math. Phys. 110(8), 2039–2052 (2020). https://doi.org/10.1007/s11005-020-01282-0
Pitrik, J., Virosztek, D.: A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means. Linear Algebra Appl. 609, 203–217 (2021). https://doi.org/10.1016/j.laa.2020.09.007
Pusz, W., Woronowicz, S.L.: Functional calculus for sesquilinear forms and the purification map. Rep. Math. Phys. 8(2), 159–170 (1975). https://doi.org/10.1016/0034-4877(75)90061-0
Takatsu, A.: Wasserstein geometry of Gaussian measures. Osaka J. Math. 48(4):1005–1026, (2011). URL: http://projecteuclid.org/euclid.ojm/1326291215
Villani, C.: Topics in optimal transportation, vol. 58 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI (2003). https://doi.org/10.1090/gsm/058
Acknowledgements
I am grateful to the anonymous reviewer for his/her valuable comments and recommendations.
Funding
Open access funding provided by HUN-REN Alfréd Rényi Institute of Mathematics.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no Conflict of interest.
Additional information
D. Virosztek is supported by the Momentum Program of the Hungarian Academy of Sciences under grant agreement no. LP2021-15/2021, and partially supported by the ERC Synergy Grant No. 810115.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Virosztek, D. Operator means, barycenters, and fixed point equations. Acta Sci. Math. (Szeged) (2024). https://doi.org/10.1007/s44146-024-00148-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s44146-024-00148-4