## Abstract

A novel link between monotone metric tensors and actions of suitable extensions of the unitary group on the manifold of faithful quantum states is presented here by means of three illustrative examples related with the Bures–Helstrom metric tensor, the Wigner–Yanase metric tensor, and the Bogoliubov–Kubo–Mori metric tensor.

## Introduction

In this work, a preliminary analysis of the relation between monotone metric tensors on the manifold of faithful quantum states and group actions of suitable extensions of the unitary group is presented. In the context of Quantum Information Geometry of finite-dimensional systems with Hilbert space \(\mathcal {H}\), the unitary group \(\mathcal {U}(\mathcal {H})\) plays the role of universal symmetry group for the class of the so-called *monotone metric tensors* on the space \(\mathscr {S}_{+}\) of faithful states (invertible density operators \(\mathcal {H}\)) providing the quantum counterpart of the classical Fisher–Rao metric tensor [35, 40]. Specifically, the unitary group \(\mathcal {U}(\mathcal {H})\) acts on quantum states (and more generally on the whole space \(\mathscr {V}\) of Hermitian operators on \(\mathcal {H}\)) according to the standard action

where \(\rho \) is a quantum state and \({\mathbf {U}}\in \mathcal {U}(\mathcal {H})\), and \(\phi _{{\mathbf {U}}}\) represents an isometry of every monotone metric tensor \(\mathrm {G}\) because of the requirement of monotonicity under completely positive, trace-preserving maps representing the quantum version of classical coarse graining [35, 40]. From the infinitesimal point of view, the action \(\phi \) is described in terms of the fundamental vector fields on \(\mathscr {S}_{+}\) providing an anti-representation of the Lie algebra \(\mathfrak {u}(\mathcal {H})\) of the unitary group. These vector fields, denoted by \(\mathbb {X}_{{\mathbf {b}}}\) with \({\mathbf {b}}\) an Hermitian operator on \(\mathcal {H}\) (more on this in Sect. 2), are Killing vector fields for ** all** the monotone metric tensors because \(\mathcal {U}(\mathcal {H})\) acts by means of isometries.

Now, the Lie algebra \(\mathfrak {u}(\mathcal {H})\) is a Lie-subalgebra of the space \(\mathcal {B}(\mathcal {H})\) of bounded linear operators on \(\mathcal {H}\) endowed with the Lie product given by the commutator \([\cdot ,\cdot ]\) between linear operators. In particular, it turns out that \(\mathcal {B}(\mathcal {H})\) (endowed with \([\cdot ,\cdot ]\)) is isomorphic to the Lie algebra of the complexification of \(\mathcal {U}(\mathcal {H})\), namely to the Lie algebra of the Lie group \(\mathcal {GL}(\mathcal {H})\) consisting of invertible linear operators on \(\mathcal {H}\). Furthermore, it is known [9, 15, 26, 27] that \(\mathcal {GL}(\mathcal {H})\) acts on the manifold \(\mathscr {S}_{+}\), and more generally on the whole space of quantum states \(\mathscr {S}\), according to

where \({\mathrm {g}}\in \mathcal {GL}(\mathcal {H})\). Clearly, if \({\mathrm {g}}\in \mathcal {U}(\mathcal {H})\subset \mathcal {GL}(\mathcal {H})\), we obtain again the standard action \(\phi \) of \(\mathcal {U}(\mathcal {H})\) introduced above. The fundamental vector fields of \(\alpha \) provide an anti-representation of the Lie algebra of \(\mathcal {GL}(\mathcal {H})\) that “contains” the fundamental vector fields \(\mathbb {X}_{{\mathbf {b}}}\) of the action \(\phi \) of \(\mathcal {U}(\mathcal {H})\) together with some *complementary* vector fields, written as \(\mathbb {Y}_{{\mathbf {a}}}\) with \({\mathbf {a}}\) an Hermitian operator on \(\mathcal {H}\) (more on this in Sect. 2), which do not close a Lie algebra on their own.

These complementary vector fields were shown to be essential ingredients in the geometric formulation of the Gorini–Kossakowski–Lindblad–Sudarshan equation governing the dynamical evolution of open quantum systems [10, 13], while their role in the context of Quantum Information geometry is not completely clear. As will be noted in Sect. 2, the \(\mathbb {Y}_{{\mathbf {a}}}\) are essentially the Symmetrized Logarithmic Derivative introduced by Helstrom [30,31,32]. Moreover, it will also be shown that the \(\mathbb {Y}_{{\mathbf {a}}}\) are the gradient vector fields associated with the expectation value functions of quantum observables (Hermitian operators on \(\mathcal {H}\)) given by

by means of the monotone metric tensor \(\mathrm {G}_\mathrm{BH}\) known as the Bures–Helstrom metric tensor [7, 21, 22, 30, 47].

Reading this instance backward, we can say that the gradient vector fields associated with the \(f_{{\mathbf {a}}}\) by means of the Bures–Helstrom metric tensor, together with the \(\mathbb {X}_{{\mathbf {b}}}\), provide a representation of a Lie algebra “enlargement” of \(\mathfrak {u}(\mathcal {H})\), namely the Lie algebra of the complexification \(\mathcal {GL}(\mathcal {H})\) of \(\mathcal {U}(\mathcal {H})\), and this representation integrates to the group action \(\alpha \) of \(\mathcal {GL}(\mathcal {H})\) described above.

Since the Bures–Helstrom metric tensor \(\mathrm {G}_\mathrm{BH}\) is only one of the (infinitely many) possible quantum counterparts of the Fisher–Rao metric tensor, it is reasonable to ask if \(\mathrm {G}_\mathrm{BH}\) is the only metric tensor among the monotone ones for which such an instance is realized. Specifically, given a monotone metric tensor \(\mathrm {G}\) (Quantum Fisher–Rao metric tensor), the question is if the gradient vector fields that it is possible to associated with the expectation value functions, together with the universal Killing vector fields \(\mathbb {X}_{{\mathbf {b}}}\), provide a representation of a Lie algebra integrating to a group action. In the following sections, we will answer this question in the affirmative by providing explicit examples.

It will be proved in Sect. 3 that the \(\mathbb {X}_{{\mathbf {b}}}\) together with the gradient vector fields, say \(\mathbb {W}_{{\mathbf {a}}}\), associated with the functions \(f_{{\mathbf {a}}}\) by means of the monotone metric tensor \(\mathrm {G}_{\mathrm{WY}}\) known as the Wigner–Yanase metric tensor [24, 25, 28, 29] provide an anti-representation of the Lie algebra of \(\mathcal {GL}(\mathcal {H})\) integrating to the action \(\varTheta \) of \(\mathcal {GL}(\mathcal {H})\) given by

This action is clearly different from \(\alpha \), but reduces to \(\phi \) if unitary elements are considered. The action \(\varTheta \) can be extended to the whole space of states \(\mathscr {S}\), and it is easy to see that the orbits of this action are precisely the manifolds of quantum states with fixed rank, in analogy with what happens for the action \(\alpha \). In particular, \(\varTheta \) preserves the manifold \(\mathscr {S}_{1}\cong {\mathbb {C}}{\mathbb {P}}(\mathcal {H})\) of pure (rank-1) quantum states, and, since every pure state \(\rho _{p}\) satisfies \(\rho _{p}^{2}=\rho _{p}\), it is easy to check that

for every \({\mathrm {g}}\in \mathcal {GL}(\mathcal {H})\), and every pure state \(\rho _{p}\), while, in general, \(\alpha \) is different from \(\varTheta \) on mixed states.

The fact that both actions \(\alpha \) and \(\varTheta \) can be extended to (and agree on) the space \(\mathscr {S}_{1}\cong {\mathbb {C}}{\mathbb {P}}(\mathcal {H})\) of pure quantum states is particularly interesting when it is noted that both the Bures–Helstrom metric tensor and the Wigner–Yanase metric tensor belong to the particular subset of monotone metric tensors admitting what is known as a “radial limit” to the space of pure quantum states [41] which is (proportional to) the metric tensor on \(\mathscr {S}_{1}\cong {\mathbb {C}}{\mathbb {P}}(\mathcal {H})\) given by the Fubini–Study metric tensor. This may suggest that the “radial limit” of the monotone metric has something to do with the extension of the associated group action to the pure quantum states (if the group action exists, of course).

In support to this intuition, it will be shown in Sect. 4 that there is at least one monotone metric tensor which does not admit a “radial limit” and whose associated group action does not extend to the space of pure states. Curiously, this monotone metric tensor is associated with the action of an enlargement of \(\mathcal {U}(\mathcal {H})\) different from \(\mathcal {GL}(\mathcal {H})\), and connected with a structure of Lie algebra on \(\mathcal {B}(\mathcal {H})\) which is different from the standard one given by the commutator. Specifically, the space \(\mathcal {B}(\mathcal {H})\) may be endowed with a structure of Lie algebra which is isomorphic to the Lie algebra of the cotangent Lie group \(T^{*}\mathcal {U}(\mathcal {H})\cong \mathcal {U}(\mathcal {H})\rtimes _{Ad^{*}}\mathscr {V}\) of the unitary group [2, 3]. Here, \(\mathscr {V}\) denote the space of Hermitian operators on \(\mathcal {H}\), and \(Ad^{*}\) is the co-adjoint action of \(\mathcal {U}(\mathcal {H})\) on \(\mathscr {V}\) when the latter is identified with the dual of the Lie algebra \(\mathfrak {u}(\mathcal {H})\) (more on this in Sect. 4). Up to now, and at the best of the author’s knowledge, the role of \(T^{*}\mathcal {U}(\mathcal {H})\) in Quantum Information Geometry is yet to be properly understood, and, as a preliminary step in this direction, in Sect. 4, it is proved that \(T^{*}\mathcal {U}(\mathcal {H})\) acts on \(\mathscr {S}_{+}\) by means of the action \(\varXi \) given by

This action reduces to the standard action \(\phi \) when restricted to the unitary group \(\mathcal {U}(\mathcal {H})\). Moreover, it will be proved that the \(\mathbb {X}_{{\mathbf {b}}}\) together with the gradient vector fields associated with the \(f_{{\mathbf {a}}}\) by means of the monotone metric tensor \(\mathrm {G}_{\mathrm{BKM}}\) known as the Bogoliubov–Kubo–Mori metric tensor [23, 36, 37, 39, 42], and denoted by \(\mathbb {Z}_{{\mathbf {a}}}\), are the fundamental vector fields for the action \(\varXi \). The explicit expression of \(\varXi \) given above cannot be extended outside the space \(\mathscr {S}_{+}\) of faithful quantum states because the logarithm of a non-faithful (non-invertible) quantum state is not defined. One may argue that this is not enough to conclude that \(\varXi \) does not extend to the space of pure states because the expression of \(\varXi \) given above may suitably change when a non-faithful state is considered. However, since the tangent vector at \(\rho \) associated with the vector field \(\mathbb {Z}_{{\mathbf {a}}}\) is given by

if we take \(\rho \) to be a pure state, then \(\rho =|\psi \rangle \langle \psi |\) for some normalized vector in \(\mathcal {H}\), \(\rho ^{\lambda }=\rho ^{1-\lambda }\), and it is easy to check that \(\mathbb {Z}_{{\mathbf {a}}}(\rho )={\mathbf {0}}\). This means that the infinitesimal version of the action \(\varXi \) does not extend properly to the space of pure quantum states.

In Sect. 5, a brief discussion elucidates the future developments that may be followed starting from the results presented here. In particular, it will be argued that the unitary invariance satisfied by every monotone metric tensor \(\mathrm {G}\) is powerful enough to impose a particular constraint on the possible Lie algebra enlargement of \(\mathfrak {u}(\mathcal {H})\) which could be linked to \(\mathrm {G}\) in the way described above.

Finally, a note on the methodology followed in the rest of the work. For the sake of simplicity, the case of not-normalized quantum states will be considered first, and the case of normalized states will be discussed after. This will reduce to the minimum the complexity of the computations involved because the normalized case always requires the introduction of a suitable denominator factor that brings in some additional computational complexity without, however, changing the conceptual scheme of things.

## Bures–Helstrom metric tensor

Let \(\mathscr {P}_{+}\subset \mathcal {B}(\mathcal {H})\) be the set of strictly positive operators on \(\mathcal {H}\). Elements in \(\mathscr {P}_{+}\) can be interpreted as not-normalized quantum states, and they form an homogeneous space of the general linear group \(\mathcal {GL}(\mathcal {H})\) with respect to the action [15, 26, 27]

The Lie algebra of \(\mathcal {GL}(\mathcal {H})\) is the whole algebra \(\mathcal {B}(\mathcal {H})\) of bounded linear operators on \(\mathcal {H}\) endowed with the canonical commutator operator. Since every element in \(\mathcal {B}(\mathcal {H})\) can be uniquely written as the sum of an Hermitian element \({\mathbf {a}}\) and a skew-Hermitian element \(i{\mathbf {b}}\), where \({\mathbf {b}}\) is self-adjoint, the fundamental vector fields of \(\alpha \) are indexed by couples \(({\mathbf {a}},{\mathbf {b}})\). These vector fields are written as \({\widetilde{\varGamma }}_{{{\mathbf {a}}}{{\mathbf {b}}}}\). Considering the smooth curve

the tangent vector \({\widetilde{\varGamma }}_{{{\mathbf {a}}}{{\mathbf {b}}}}(\rho )\) at \(\rho \) can easily be computed to be

We may decompose \(\varGamma _{{{\mathbf {a}}}{{\mathbf {b}}}}\) according to

where the vector fields \(\mathcal {Y}_{{\mathbf {a}}}\) and \(\mathbb {X}_{{\mathbf {b}}}\) are such that

The vector fields \(\mathbb {X}_{{\mathbf {b}}}\) provide an anti-representation of the Lie algebra \(\mathfrak {u}(\mathcal {H})\) of the unitary group \(\mathcal {U}(\mathcal {H})\) [15, 26, 27] integrating to the action \(\phi \) of \(\mathcal {U}(\mathcal {H})\) mentioned in the introduction and given by Eq. (1). On the other hand, the vector fields \(\mathcal {Y}_{{\mathbf {a}}}\) do not close a Lie algebra, and may be thought of as complementary vector fields that are needed in order to enlarge the anti-representation of \(\mathfrak {u}(\mathcal {H})\) to an anti-representation of the Lie algebra of the complexification \(\mathcal {GL}(\mathcal {H})\) of \(\mathcal {U}(\mathcal {H})\). Moreover, it is worth noting that the tangent vector \(\mathcal {Y}_{{\mathbf {a}}}(\rho )\) provides a geometrical version of the Symmetric Logarithmic Derivative at \(\rho \) widely used in quantum estimation theory and metrology [30,31,32, 38, 44, 46].

It will now be proved that the vector field \(\mathcal {Y}_{{\mathbf {a}}}\) is the gradient vector field associated with the function \(f_{{\mathbf {a}}}\) given by

by means of the Bures–Helstrom metric tensor \(\mathrm {G}_\mathrm{BH}\) on \(\mathscr {P}_{+}\). The Bures–Helstrom metric tensor \(\mathrm {G}_\mathrm{BH}\) [7, 21, 22, 30, 47] may be extracted from the Bures distance

according to the general procedure used in (Classical and Quantum) Information Geometry and given by

where *X* and *Y* are arbitrary vector fields, and \(\gamma ^{X}_{\rho }(t)\) and \(\gamma ^{Y}_{\rho }(s)\) their integral curves starting at \(\rho \).

### Remark 1

Note that, in the literature, the Bures–Helstrom metric tensor \(\mathrm {G}_\mathrm{BH}\) is also called “Quantum Fisher Metric” [8, 33, 43, 50, 51], while the Bures metric tensor \(\mathrm {G}_{B}\) is usually defined to be the metric tensor associated with half the distance function in Eq. (14), and it holds \(\mathrm {G}_\mathrm{BH}=4\mathrm {G}_{B}\). Moreover, what will be proved below for the Bures–Helstrom metric tensor \(\mathrm {G}_\mathrm{BH}\) holds also for the Bures metric tensor \(\mathrm {G}_{B}\) provided we replace \(\mathrm {d}_{B}^{2}\) with \(\frac{1}{2}\mathrm {d}_{B}^{2}\), and \({\mathbf {a}}\) with \(2{\mathbf {a}}\) in all the expressions. The choice made here of using \(\mathrm {G}_\mathrm{BH}\) instead of \(\mathrm {G}_{B}\) is essentially due to the fact that \(\mathrm {G}_\mathrm{BH}\) may be thought of as the “natural” counterpart of the Fisher–Rao metric tensor in the context of (finite-dimensional) von Neumann algebras as explained in [20].

To actually prove that \(\mathcal {Y}_{{\mathbf {a}}}\) is the gradient vector field associated with \(f_{{\mathbf {a}}}\) by means of \(\mathrm {G}_\mathrm{BH}\), we have to prove that

where *X* is an arbitrary vector field and \(\mathcal {L}_{X}\) denote the Lie derivative with respect to *X*. We start computing

To perform the computation, we define the strictly positive operator \({\mathbf {C}}_{s,t}\), depending parametrically on *s* and *t*, given by

Then, we perform a series expansion for \(\sqrt{{\mathbf {C}}_{s,t}} \) around the identity matrix \(\mathbb {I}\) obtaining

Using the Leibniz rule and the cyclicity of the trace, the expression for the series expansion of the derivative of a function, and the Leibniz rule again, we obtain

Now, we recall the equality [45]

where we introduced the superoperator \(\mathcal {A}_{\sqrt{\rho }}({\mathbf {b}})\,=\,\sqrt{\rho }\,{\mathbf {b}} + {\mathbf {b}}\sqrt{\rho }\). Accordingly, using the Leibniz rule and Eq. (21), we have

which implies

and we also have

Inserting Eq. (24) into Eq. (20), recalling that

and exploiting again the cyclicity of the trace, we obtain

To perform the last derivative with respect to *s*, we exploit the identity [45]

which becomes

because of Eq. (25). Inserting Eqs. (28) and (23) into Eq. (26), and exploiting once again the cyclicity of the trace, we arrive at the final expression

On the other hand, the Lie derivative \(\mathcal {L}_{X}f_{{\mathbf {a}}}\) is easily seen to be

so that we have

and thus \(\mathcal {Y}_{{\mathbf {a}}}\) is actually the gradient vector field associated with \(f_{{\mathbf {a}}}\) by means of the Bures–Helstrom metric tensor \(\mathrm {G}_\mathrm{BH}\).

### Normalized states

The normalized case is easily obtained from the not-normalized one. Indeed, let \(\mathscr {S}_{+}\) denote the manifold of faithful, normalized quantum states. This is the submanifold of \(\mathscr {P}_{+}\) determined by the (affine) constraint \(\textit{Tr}\rho =1\) for every \(\rho \in \mathscr {S}_{+}\). It is easily seen that the action \(\alpha \) given in Eq. (8) does not preserve \(\mathscr {S}_{+}\) unless we restrict to the unitary group, which means that the \(\mathbb {X}_{{\mathbf {b}}}\)’s are tangent to \(\mathscr {S}_{+}\). However, it is possible to deform the action \({\widetilde{\alpha }}\) to an action \(\alpha \) preserving \(\mathscr {S}_{+}\) by setting [9, 10, 15, 27]

Then, we may proceed following the steps outlined before, thus obtaining the fundamental vector fields

where the \(\mathbb {X}_{{\mathbf {b}}}\)’s are the vector fields generating the standard action of the unitary group, and the \(\mathbb {Y}_{{\mathbf {a}}}\)’s are given by

The Bures–Helstrom metric tensor on \(\mathscr {S}_{+}\) is the metric tensor associated with the pullback to \(\mathscr {S}_{+}\) (with respect to the canonical immersion) of the Bures distance in Eq. (14). With an evident abuse of notation, we denote by \(\mathrm {d}_{B}^{2}\) the pullback to \(\mathscr {S}_{+}\) of the Bures distance given by

and by \(\mathrm {G}_\mathrm{BH}\) the associated metric tensor on \(\mathscr {S}_{+}\).

Then, the computations performed in the case of not-normalized states may be easily adapted to prove that

for every vector field *X* on \(\mathscr {S}_{+}\), and where \(f_{{\mathbf {a}}} \) is the pullback to \(\mathscr {S}_{+}\) of the smooth function \(f_{{\mathbf {a}}}\) on \(\mathscr {P}_{+}\), with another evident abuse of notation. From this, we conclude that every vector field \(\mathbb {Y}_{{\mathbf {a}}}\) is the gradient vector field associated with the smooth function \(f_{{\mathbf {a}}}\) by means of the Bures–Helstrom metric tensor \(\mathrm {G}_\mathrm{BH}\).

## Wigner–Yanase metric tensor

Let us consider the diffeomorphism \(\varphi :\mathscr {P}_{+}\longrightarrow \mathscr {P}_{+}\) given by

and its inverse

By means of this diffeomorphism, we may define another action \({\widetilde{\varTheta }}\) of \(\mathcal {GL}(\mathcal {H})\) on \(\mathscr {P}_{+}\) given by

where we have set \({\widetilde{\alpha }}_{{\mathrm {g}}}(\rho )={\widetilde{\alpha }}({\mathrm {g}},\rho )\) with \({\widetilde{\alpha }}\) the action given in Eq. (8). Clearly, \({\widetilde{\varTheta }}\) is different from \({\widetilde{\alpha }}\) in general, but, if we take \({\mathrm {g}}={\mathbf {U}}\) in the unitary group, we have

Following the steps outlined in the previous section, it is easy to show that the fundamental vector fields \({\widetilde{\varPsi }}_{{{\mathbf {a}}}{{\mathbf {b}}}}\) of \({\widetilde{\varTheta }}\) decompose as

where the \(\mathbb {X}_{{\mathbf {b}}}\)’s are the vector fields generating the standard action of the unitary group, and the \(\mathcal {W}_{{\mathbf {a}}}\)’s are given by

Furthermore, note that \(\mathcal {W}_{{\mathbf {a}}}=\varphi _{*}^{-1}\mathcal {Y}_{{\mathbf {a}}}\), that is, \(\mathcal {W}_{{\mathbf {a}}}\) is the pushforward of \(\mathcal {Y}_{{\mathbf {a}}}\) by means of \(\varphi ^{-1}\) (see proposition 4.2.4 in [1]).

We will now prove that every \(\mathcal {W}_{{\mathbf {a}}}\) is the gradient vector field associated with the smooth function \(f_{{\mathbf {a}}}\) by means of the Wigner–Yanase metric tensor \(\mathrm {G}_{\mathrm{WY}}\) [24, 25, 28, 29]. The Wigner–Yanase metric tensor \(\mathrm {G}_{\mathrm{WY}}\) is the metric tensor associated with the Wigner–Yanase skew information

### Remark 2

Note that, in the literature, the Wigner–Yanase metric tensor \(\mathrm {G}_{\mathrm{WY}}\) is usually defined as the metric tensor associated with twice the divergence function in Eq. (43), and what will be proved below can be easily adapted provided we replace \(S_{\mathrm{WY}}\) with \(2S_{\mathrm{WY}}\), and \({\mathbf {a}}\) with \(\frac{1}{2}{\mathbf {a}}\) in all the expressions. The choice made here leads to the fact that the vector fields \(\mathcal {W}_{{\mathbf {a}}}\) are the pushforward of the vector fields \(\mathcal {Y}_{{\mathbf {a}}}\) by means of \(\varphi ^{-1}\) (and similarly for the normalized ones in the following subsection).

Just as we did for the Bures–Helstrom metric tensor in Sect. 2, we have to show that

where *X* is an arbitrary vector field and \(\mathcal {L}_{X}\) denote the Lie derivative with respect to *X*. Therefore, we must compute

From Eq. (42), we immediately conclude that

and recalling Eq. (21) we obtain

where we introduced the superoperator \(\mathcal {A}_{\sqrt{\rho }}({\mathbf {b}})\,=\,\sqrt{\rho }\,{\mathbf {b}} + {\mathbf {b}}\sqrt{\rho }\). Consequently, we get

Therefore, recalling Eq. (30), we conclude that

holds for all vector fields *X* as desired.

### Normalized states

To tackle the normalized case, we mimick what has been done for the Bures–Helstrom metric tensor in Sect. 2. Specifically, we define a normalized version of the action \({\widetilde{\varTheta }}\), given by

Then, the fundamental vector fields \(\varPsi _{{{\mathbf {a}}}{{\mathbf {b}}}} \) of \(\varTheta \) are easily computed to be

where the \(\mathbb {X}_{{\mathbf {b}}}\)’s are the vector fields generating the standard action of the unitary group, and the \(\mathbb {W}_{{\mathbf {a}}} \)’s are given by

Then, the Wigner–Yanase metric tensor on \(\mathscr {S}_{+}\) is associated with the pullback to \(\mathscr {S}_{+}\) (with respect to the canonical immersion) of the Wigner–Yanase skew information given in Eq. (43). With an evident abuse of notation, we denote by \(S_{\mathrm{WY}}\) the pullback to \(\mathscr {S}_{+}\) of the Wigner–Yanase skew information given by

and by \(\mathrm {G}_{\mathrm{WY}}\) the associated metric tensor on \(\mathscr {S}_{+}\).

Just as for the Bures–Helstrom metric tensor, the computations performed in the not-normalized case may be easily adapted to prove that

for every vector field *X* on \(\mathscr {S}_{+}\), and where, with an evident abuse of notation, \(f_{{\mathbf {a}}} \) is the pullback to \(\mathscr {S}_{+}\) of the smooth function \(f_{{\mathbf {a}}}\) on \(\mathscr {P}_{+}\). From this, we conclude that every vector field \(\mathbb {W}_{{\mathbf {a}}} \) is the gradient vector field associated with the smooth function \(f_{{\mathbf {a}}} \) by means of the Wigner–Yanase metric tensor \(\mathrm {G}_{\mathrm{WY}}\).

## Bogoliubov–Kubo–Mori metric tensor

The manifold \(\mathscr {P}_{+}\) is an open subset of the vector space \(\mathscr {V}\) of Hermitian (self-adjoint) linear operators on \(\mathcal {H}\). Moreover, every \({\mathbf {h}}\in \mathscr {V}\) gives rise to an element in \(\mathscr {P}_{+}\) by means of \(\mathrm {e}^{{\mathbf {h}}}\), and every \(\rho \in \mathscr {P}_{+}\) gives rise to an element in \(\mathscr {V}\) by means of \(\ln (\rho )\). Essentially, the map \(\psi :\mathscr {P}_{+}\rightarrow \mathscr {V}\) given by

is a diffeomorphism with inverse

Following what we have done for the Wigner–Yanase metric tensor, we can use \(\psi \) to transport every group action on \(\mathscr {V}\) to a group action on \(\mathscr {P}_{+}\). In particular, \(\mathscr {V}\) is a real Euclidean space with respect to the (restriction of) the Hilbert–Schmidt product

Therefore, the Euclidean group acts on \(\mathscr {V}\) as

where *R* is an element of the orthogonal group and \({\mathbf {a}}\in \mathscr {V}\).

Quite interestingly, the unitary group may be realized as a subgroup of the orthogonal group of \(\mathscr {V}\) according to

Indeed, it is easy to check that \(R_{{\mathbf {U}}}\) preserves the Euclidean product

Consequently, the group \(\mathcal {U}(\mathcal {H})\rtimes _{R} \mathscr {V}\) acts on \(\mathscr {P}_{+}\) according to

Now, if we consider \({\mathbf {a}}={\mathbf {0}}\), we have

and thus we obtain again the standard action \(\phi \) of the unitary group on \(\mathscr {P}_{+}\). The fundamental vector fields \({\widetilde{\varUpsilon }}_{ab}\) of \({\widetilde{\varXi }}\) decompose as

where the \(\mathbb {X}_{{\mathbf {b}}}\)’s are the vector fields generating the standard action of the unitary group, and the \(\mathcal {Z}_{{\mathbf {a}}}\)’s are given by

where we used the well-known equality [45]

which is valid for every smooth curve *A*(*t*) inside \(\mathcal {B}(\mathcal {H})\) (remember that the canonical immersion of \(\mathscr {P}_{+}\) inside \(\mathcal {B}(\mathcal {H})\) is smooth).

### Remark 3

The Lie group \(\mathcal {U}(\mathcal {H})\rtimes _{R} \mathscr {V}\) is diffeomorphic to the cotangent bundle of the unitary group. Indeed, if *G* is any Lie group, the cotangent space \(T^{*}G\cong G\times \mathfrak {g}^{*}\) is endowed with the structure of Lie group [2, 3] according to

where \(Ad^{*}\) is the dual of the adjoint action of *G* on its Lie algebra \(\mathfrak {g}\). The resulting Lie group is also denoted by \(G\rtimes _{Ad^{*}}\mathfrak {g}^{*}\) to emphasize the fact that the group structure is associated with a semidirect product. Now, when \(G=\mathcal {U}(\mathcal {H})\), its Lie algebra \(\mathfrak {g}\) is given by skew-adjoint operators on \(\mathcal {H}\) according to

where \({\mathbf {b}}\) is an Hermitian operator. Then, we can identify the dual space \(\mathfrak {g}^{*}\) with the vector space \(\mathscr {V}\) of Hermitian operators by means of the pairing

Consequently, the coadjoint action reads

where we used Eq. (59) in the last equality, and we conclude that \(\mathcal {U}(\mathcal {H})\rtimes _{R} \mathscr {V}\) is actually diffeomorphic to the Lie group \(T^{*}\mathcal {U}(\mathcal {H})\equiv \mathcal {U}(\mathcal {H})\rtimes _{Ad^{*}}\mathfrak {g}^{*}\) as claimed.

We will now prove that every \(\mathcal {Z}_{{\mathbf {a}}}\) is the gradient vector field associated with the smooth function \(f_{{\mathbf {a}}}\) by means of the Bogoliubov–Kubo–Mori metric tensor \(\mathrm {G}_{\mathrm{BKM}}\) [23, 36, 37, 39, 42]. The Bogoliubov–Kubo–Mori metric tensor \(\mathrm {G}_{\mathrm{BKM}}\) is the metric tensor associated with the von Neumann–Umegaki relative entropy [5, 48, 49]

Just as we did for the Bures–Helstrom metric tensor and for the Wigner–Yanase metric tensor, we have to show that

where *X* is an arbitrary vector field and \(\mathcal {L}_{X}\) denote the Lie derivative with respect to *X*. Therefore, we compute

where we used the definition of \(S_{vNU}\) given in Eq. (70), and the equality

stemming from Eq. (64). Recalling Eq. (30), we conclude that

holds for all vector fields *X* as desired.

### Normalized states

Once again, the normalized case follows from the not-normalized one. Indeed, we just need to define the normalized action \(\varXi \) of \(T^{*}\mathcal {U}(\mathcal {H})\) on \(\mathscr {S}_{+}\) given by

Then, the fundamental vector fields \(\varUpsilon _{{{\mathbf {a}}}{{\mathbf {b}}}} \) of \(\varXi \) are easily computed to be

where the \(\mathbb {X}_{{\mathbf {b}}}\)’s are the vector fields generating the standard action of the unitary group, and the \(\mathbb {Z}_{{\mathbf {a}}} \)’s are given by

### Remark 4

It is worth mentioning the recent work [4] where the finite transformations associated with the vector fields \(\mathbb {Z}_{{\mathbf {a}}}\) are exploited in the definition of a Hilbert space structure on \(\mathscr {S}_{+}\).

Then, the Bogoliubov–Kubo–Mori metric tensor on \(\mathscr {S}_{+}\) is associated with the pullback to \(\mathscr {S}_{+}\) (with respect to the canonical immersion) of the von Neumann–Umegaki relative entropy given in Eq. (70). With an evident abuse of notation, we denote by \(S_{vNU}\) the pullback to \(\mathscr {S}_{+}\) of the von Neumann–Umegaki relative entropy given by

and by \(\mathrm {G}_{\mathrm{BKM}}\) the associated metric tensor on \(\mathscr {S}_{+}\).

Once again, the computations performed in the not-normalized case may be easily adapted to prove that

for every vector field *X* on \(\mathscr {S}_{+}\), and where, with an evident abuse of notation, \(f_{{\mathbf {a}}} \) is the pullback to \(\mathscr {S}_{+}\) of the smooth function \(f_{{\mathbf {a}}}\) on \(\mathscr {P}_{+}\). From this, we conclude that every vector field \(\mathbb {Z}_{{\mathbf {a}}} \) is the gradient vector field associated with the smooth function \(f_{{\mathbf {a}}} \) by means of the Bogoliubov–Kubo–Mori metric tensor \(\mathrm {G}_{\mathrm{BKM}}\).

## Conclusions

The results of this work should be interpreted as a preliminary step toward a more general analysis aimed at characterizing those monotone metric tensors on the manifold of faithful quantum states that are linked with group actions in the sense explained in the previous sections. Indeed, the fact that three of the most used metric tensors in Quantum Information Geometry like the Bures–Helstrom metric tensor, the Wigner–Yanase metric tensor, and the Bogoliubov–Kubo–Mori metric tensor are related with group actions seems to point at a more profound connection which is yet to be discovered. However, it is not yet known if this link is just a mathematical curiosity, or if it has to do with some geometrical aspects of the monotonicity property usually required in Quantum Information Theory.

At this purpose, it is not hard to see that the requirement of unitary invariance encoded in the monotonicity property has a direct effect on the possible group actions considered as will be now explained. It is clear that the Lie algebra of the suitable extension of \(\mathcal {U}(\mathcal {H})\) we can hope to link to a given monotone metric tensor \(\mathrm {G}\) must be isomorphic, as a vector space, to \(\mathfrak {u}(\mathcal {H})\times \mathscr {V}\). Indeed, besides the fundamental vector fields \(\mathbb {X}_{{\mathbf {b}}}\) of the action of \(\mathcal {U}(\mathcal {H})\) and associated with elements in \(\mathfrak {u}(\mathcal {H})\), we have the *complementary* vector fields that must be the gradient vector fields associated with the expectation value functions \(f_{{\mathbf {a}}}\) by means of \(\mathrm {G}\), and the latters are clearly labelled by elements in the space \(\mathscr {V}\) of Hermitian operators on \(\mathcal {H}\). Let us write these vector fields generically as \(\mathbb {V}_{{\mathbf {a}}}\). By assumption, we must have

for every vector field *X* on \(\mathscr {S}_{+}\). Then, we evaluate the Lie derivative of the function \(f_{{\mathbf {c}}}\) with respect to the commutator \([\mathbb {X}_{{\mathbf {b}}},\mathbb {V}_{{\mathbf {a}}}]\) to obtain

where, in the second equality, we used the fact that

The unitary invariance of \(\mathrm {G}\) implies that \(\mathcal {L}_{\mathbb {X}_{{\mathbf {b}}}}\mathrm {G}=0\), so that

from which we conclude that

Since the differentials of the \(f_{{\mathbf {a}}}\) form a basis of the module of one-forms on \(\mathscr {S}_{+}\), and since the \(\mathbb {V}_{{\mathbf {a}}}\) are the gradient vector fields associated with the \(f_{{\mathbf {a}}}\), we have that the \(\mathbb {V}_{{\mathbf {a}}}\) form a basis of the module of vector fields on \(\mathscr {S}_{+}\), and thus the previous equation implies

This means that the commutator between the \(\mathbb {X}_{{\mathbf {b}}}\) and the *complementary* vector fields is fixed by the requirement of unitary invariance. Therefore, the Lie algebra structure on \(\mathfrak {u}(\mathcal {H})\times \mathscr {V}\) must fulfill this additional constraint. Taking into account that \(\mathfrak {u}(\mathcal {H})\) must be realized as a Lie subalgebra of \(\mathfrak {u}(\mathcal {H})\times \mathscr {V}\), we conclude that the freedom we have in choosing the enlargement of \(\mathfrak {u}(\mathcal {H})\) is only in the Lie product between elements in the complementary space \(\mathscr {V}\). In particular, for the Lie algebra of \(\mathcal {GL}(\mathcal {H})\) considered in Sects. 2 and 3, this bracket gives back an element in \(\mathfrak {u}(\mathcal {H})\), while, for the Lie algebra of \(T^{*}\mathcal {U}(\mathcal {H})\) considered in Sect. 4, this bracket vanishes identically. A classification of the possible extensions of the Lie algebra \(\mathfrak {u}(\mathcal {H})\) satisfying the constraints found above will certainly give a hint on what type of group actions one can hope to link to monotone metric tensors. According to [2, 3], the groups \(\mathcal {GL}(\mathcal {H})\) and \(T^{*}\mathcal {U}(\mathcal {H})\) are symplectomorphic and Morita-equivalent, and each of them is a so-called group double of \(\mathcal {U}(\mathcal {H})\). This leads to conjecture that the appropriate enlargements may be looked for in the context of the double metric-Lie algebras containing \(\mathfrak {u}(\mathcal {H})\) as a subalgebra. The emergence of a group double of \(\mathcal {U}(\mathcal {H})\) in both situations we discussed seems to suggest that we may deal with the Non-Commutative Extension of Information Geometry by using the whole machinery introduced by Drinfeld to deal with Poisson-Lie groups (see again [2, 3] and references therein).

From another point of view, the case of monotone metric tensors obtained from the quantum Tsallis relative entropies [34] and from the \(\alpha -z\)-relative Rény relative entropies [6, 14] is currently being investigated using the methodology developed in Sect. 3.

Finally, it should be noted that it is possible to reformulate the results contained in this work no more in terms of quantum states on \(\mathcal {H}\), but in terms of the more general notion of states on an arbitrary finite-dimensional von Neumann algebra. This would help to give a unifying picture for the classical and quantum case, and would be necessary in order to extend this information geometrical considerations also to the recent groupoidal approach to quantum theories developed in [11, 12, 16,17,18,19].

## References

- 1.
R. Abraham, J.E. Marsden, T. Ratiu,

*Manifolds, Tensor Analysis, and Applications*, 2nd edn. (Springer, New York, 1988) - 2.
D. Alekseevsky, J. Grabowski, J. Marmo, P. Michor, Poisson structures on the cotangent bundle of a Lie group. J. Math. Phys.

**35**(9), 4909–49027 (1994) - 3.
D. Alekseevsky, J. Grabowski, J. Marmo, P. Michor, Poisson structures on double Lie groups. J. Geom. Phys.

**26**(3–4), 340–379 (1998) - 4.
A. Andai, A. Lovas, Quantum Aitchison geometry. arXiv:2003.08582 [math-ph] (2020)

- 5.
H. Araki, Relative entropy of states of von Neumann algebras. Publ. RIMS Kyoto Univ.

**11**, 809–833 (1976) - 6.
K.M.R. Audenaert, N. Datta, \(\alpha \)-z-relative Renyi entropies. Journal of Mathematical Physics

**56**(2), 022202–16 (2015) - 7.
I. Bengtsson, K. Życzkowski,

*Geometry of Quantum States: An Introduction to Quantum Entanglement*(Cambridge University Press, New York, 2006) - 8.
S.L. Braunstein, C.M. Caves, Statistical distance and the geometry of quantum states. Phys. Rev. Lett.

**72**(22), 3439–3443 (1994) - 9.
D. Chruściński, F.M. Ciaglia, A. Ibort, G. Marmo, F. Ventriglia, Stratified manifold of quantum states, actions of the complex special linear group. Ann. Phys.

**400**, 221–245 (2019) - 10.
F.M. Ciaglia, F. Di Cosmo, A. Ibort, M. Laudato, G. Marmo, Dynamical vector fields on the manifold of quantum states. Open Syst. Inf. Dyn.

**24**(3), 1740003–38 (2017) - 11.
F.M. Ciaglia, F. Di Cosmo, A. Ibort, G. Marmo, Schwinger’s picture of quantum mechanics. Int. J. Geom. Methods Mod. Phys.

**17**(04), 2050054 (14) (2020) - 12.
F.M. Ciaglia, F. Di Cosmo, A. Ibort, G. Marmo, Schwinger’s picture of quantum mechanics IV: composition and independence. Int. J. Geom. Methods Mod. Phys.

**17**(04), 2050058 (34) (2020) - 13.
F.M. Ciaglia, F. Di Cosmo, M. Laudato, G. Marmo, Differential calculus on manifolds with boundary. Appl. Int. J. Geom. Methods Mod. Phys.

**14**(8), 1740003–39 (2017) - 14.
F.M. Ciaglia, F. Di Cosmo, M. Laudato, G. Marmo, G. Mele, F. Ventriglia, P. Vitale, A pedagogical intrinsic approach to relative entropies as potential functions of quantum metrics: the q-z family. Ann. Phys.

**395**, 238–274 (2018) - 15.
F.M. Ciaglia, A. Ibort, J. Jost, G. Marmo, Manifolds of classical probability distributions and quantum density operators in infinite dimensions. Inf. Geom.

**2**(2), 231–271 (2019) - 16.
F.M. Ciaglia, A. Ibort, G. Marmo, A gentle introduction to Schwinger’s formulation of quantum mechanics: the groupoid picture. Mod. Phys. Lett. A

**33**(20), 1850122–8 (2018) - 17.
F.M. Ciaglia, A. Ibort, G. Marmo, Schwinger’s picture of quantum mechanics I: groupoids. Int. J. Geom. Methods Mod. Phys.

**16**(08), 1950119 (31) (2019) - 18.
F.M. Ciaglia, A. Ibort, G. Marmo, Schwinger’s picture of quantum mechanics II: algebras and observables. Int. J. Geom. Methods Mod. Phys.

**16**(09), 1950136 (32) (2019) - 19.
F.M. Ciaglia, A. Ibort, G. Marmo, Schwinger’s picture of quantum mechanics III: the statistical interpretation. J. Geom. Methods Mod. Phys. (2019). https://doi.org/10.1142/S0219887819501652

- 20.
F.M. Ciaglia, J. Jost, L. Schwachhöfer, From the Jordan product to Riemannian geometries on classical and quantum states. Entropy

**22**(6), (2020) - 21.
J. Dittmann, On the Riemannian geometry of finite dimensional mixed states. Semin. Sophus Lie

**3**, 73–87 (1993) - 22.
J. Dittmann, On the Riemannian metric on the space of density matrices. Rep. Math. Phys.

**36**(3), 309–315 (1995) - 23.
D. Felice, S. Mancini, N. Ay, Canonical divergence for measuring classical and quantum complexity. Entropy

**21**(4), 435 (2019) - 24.
P. Gibilisco, T. Isola, A characterization of Wigner–Yanase skew information among statistically monotone metrics. Inf. Dimens. Anal. Quantum Probab. Relat. Top.

**4**(4), 553–557 (2001) - 25.
P. Gibilisco, T. Isola, Wigner-Yanase information on quantum state space: the geometric approach. J. Math. Phys.

**44**(9), 3752–3762 (2003) - 26.
J. Grabowski, M. Kuś, G. Marmo, Geometry of quantum systems: density states and entanglement. J. Phys. A Math. Gen.

**38**(47), 10217–10244 (2005) - 27.
J. Grabowski, M. Kuś, G. Marmo, Symmetries, group actions, and entanglement. Open Syst. Inf. Dyn.

**13**(04), 343–362 (2006) - 28.
H. Hasegawa, Dual geometry of the Wigner–Yanase–Dyson information content. Infinite Dimens. Anal. Quantum Prob. Relat. Top.

**6**(3), 413–430 (2003) - 29.
H. Hasegawa, D. Petz,

*Non-commutative Extension of Information Geometry II*(Springer, New York, 1997), pp. 109–118 - 30.
C.W. Helstrom, Minimum mean-squared error of estimates in quantum statistics. Phys. Lett. A

**25**(2), 101–102 (1967) - 31.
C.W. Helstrom, The minimum variance of estimates in quantum signal detection. IEEE Trans. Inf. Theory

**14**(2), 234–242 (1968) - 32.
C.W. Helstrom, Quantum detection and estimation theory. J. Stat. Phys.

**1**(2), 231–252 (1969) - 33.
J. Liu, H. Yuan, X.-M. Lu, X. Wang, Quantum Fisher information matrix and multiparameter estimation. J. Phys. A Math. Theor.

**53**(2), 023001–69 (2020) - 34.
V.I. Man’ko, G. Marmo, F. Ventriglia, P. Vitale, Metric on the space of quantum states from relative entropy. Tomographic reconstruction. J. Phys. A Math. Theor.

**50**(33), 335302 (2017) - 35.
E.A. Morozowa, N.N. Cencov, Markov invariant geometry on state manifolds. J. Sov. Math.

**56**(5), 2648–2669 (1991) - 36.
J. Naudts, Quantum statistical manifolds. Entropy

**20**(6), 472 (2018) - 37.
J. Naudts, A. Verbeure, R. Weder, Linear Response Theory and the KMS Condition. Commun. Math. Phys.

**44**, 87–99 (1975) - 38.
M.G.A. Paris, Quantum estimation for quantum technology. Int. J. Quantum Inf.

**7**(1), 125–137 (2009) - 39.
D. Petz, Geometry of canonical correlation on the state space of a quantum system. J. Math. Phys.

**35**(2), 780–795 (1993) - 40.
D. Petz, Monotone metrics on matrix spaces. Linear Algebra Appl.

**244**, 81–96 (1996) - 41.
D. Petz, C. Sudar, Geometries of quantum states. J. Math. Phys.

**37**, 2662–2673 (1996) - 42.
D. Petz, G. Toth, The Bogoliubov inner product in quantum statistics. Lett. Math. Phys.

**27**, 205–216 (1993) - 43.
L. Seveso, F. Albarelli, M.G. Genoni, M.G.A. Paris, On the discontinuity of the quantum Fisher information for quantum statistical models with parameter dependent rank. J. Phys. A Math. Theor.

**53**(2), 02LT01–13 (2019) - 44.
J. Suzuki, Information geometrical characterization of quantum statistical models in quantum estimation theory. Entropy

**21**(7), 703 (2019) - 45.
M. Suzuki, Quantum analysis: non-commutative differential and integral calculi. Commun. Math. Phys.

**183**, 339–363 (1997) - 46.
G. Tóth, I. Apellaniz, Quantum metrology from a quantum information science perspective. J. Phys. A Math. Theor.

**47**(42), 424006–39 (2014) - 47.
A. Uhlmann,

*The Metric of Bures and the Geometric Phase*(Kluwer Academic Publishers, Berlin, 1992), pp. 267–274 - 48.
H. Umegaki, Conditional expectation in an operator algebra IV: entropy and information. Kodai Math. Semin. Rep.

**14**(2), 59–85 (1962) - 49.
J. von Neumann,

*Mathematical Foundations of Quantum Mechanics*(Princeton University Press, Princeton, NJ, 1955) - 50.
D. Šafránek, Discontinuities of the quantum Fisher information and the Bures metric. Phys. Rev. A

**95**, 052320–13 (2017) - 51.
D. Šafránek, Simple expression for the quantum Fisher information matrix. Phys. Rev. A

**97**, 042322–06 (2018)

## Acknowledgements

Open access funding provided by Projekt DEAL.

## Author information

### Affiliations

### Corresponding author

## 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

Ciaglia, F.M. Quantum states, groups and monotone metric tensors.
*Eur. Phys. J. Plus* **135, **530 (2020). https://doi.org/10.1140/epjp/s13360-020-00537-y

Received:

Accepted:

Published: