From the Jordan Product to Riemannian Geometries on Classical and Quantum States

Abstract

The Jordan product on the self-adjoint part of a finite-dimensional $C^{*}$-algebra $\mathcal{A}$ is shown to give rise to Riemannian metric tensors on suitable manifolds of states on $\mathcal{A}$, and the covariant derivative, the geodesics, the Riemann tensor, and the sectional curvature of all these metric tensors are explicitly computed. In particular, it is proved that the Fisher–Rao metric tensor is recovered in the Abelian case, that the Fubini–Study metric tensor is recovered when we consider pure states on the algebra $\mathcal{B}\left(\mathcal{H}\right)$ of linear operators on a finite-dimensional Hilbert space $\mathcal{H}$, and that the Bures–Helstrom metric tensors is recovered when we consider faithful states on $\mathcal{B}\left(\mathcal{H}\right)$. Moreover, an alternative derivation of these Riemannian metric tensors in terms of the GNS construction associated to a state is presented. In the case of pure and faithful states on $\mathcal{B}\left(\mathcal{H}\right)$, this alternative geometrical description clarifies the analogy between the Fubini–Study and the Bures–Helstrom metric tensor.

1. Introduction

The study of geometrical structures on the space of classical and quantum states is a well-developed and constantly growing subject. In the context of classical probability theory, it is almost impossible to overestimate the impact of the Fisher–Rao metric tensor ${\mathrm{G}}_{FR}$ introduced by Rao in [1] based on the Fisher information matrix introduced in [2] (see also [3,4,5,6,7]). From the theoretical point of view, this metric tensor on the space of probability measures is characterized by a universality property, that is, it is the only Riemannian metric tensor (up to a constant number) that is equivariant with respect to the family of Markov morphisms between probability spaces (see [6,8,9,10,11] for more detailed discussions and for the proofs of this statement in various contexts). In the quantum context, that is, when probability distributions are “replaced” by density operators on the Hilbert space of the system, the situation becomes more involved because, as Petz showed in [12] finishing the work started by Cencov and Morozowa in [13], there is an infinite number of metric tensors on the manifold of (invertible) density operators satisfying the quantum version of the equivariance property of the Fisher–Rao metric tensor, namely, the equivariance with respect to the class of completely-positive, trace-preserving maps. Furthermore, much has been discovered (and is still being discovered), on the link between these metric tensors and families of quantum relative entropies (see [14,15,16,17,18]). Quite interestingly, but not completely surprising, all these metric tensors reduce to the Fisher–Rao metric tensor if a suitable classical limit is performed.

From a purely theoretical point of view, there is no need to restrict our attention to geometrical structures on quantum states associated with covariant tensor fields as in the case of metric tensors discussed above. Indeed, in [19,20,21,22,23,24,25], the associative product of the algebra $\mathcal{B}\left(\mathcal{H}\right)$ of linear operators on the finite-dimensional Hilbert space $\mathcal{H}$ associated with a quantum system has been suitably exploited to define two contravariant tensor fields on the space of self-adjoint operators on $\mathcal{H}$, and these tensor fields have been used to give a geometrical description of the Gorini–Kossakowski–Lindblad–Sudarshan (GKLS) equation describing the dynamical evolution of open quantum systems (see [19,21,22,24,26,27,28]). These two tensor fields, named $\mathsf{\Lambda }$ and $\mathcal{R}$, are associated with the antisymmetric part (the Lie product) and the symmetric part (the Jordan product) of the associative product in $\mathcal{B}\left(\mathcal{H}\right)$, respectively. In particular, the tensor field $\mathsf{\Lambda }$ turns out to be the Poisson tensor associated with the coadjoint action of the unitary group $\mathcal{U}\left(\mathcal{H}\right)$ on the space of self-adjoint operators on $\mathcal{H}$, when the latter is thought of as the dual space of the Lie algebra $\mathfrak{u}\left(\mathcal{H}\right)$. Consequently, it makes sense to study the symplectic foliation associated with $\mathsf{\Lambda }$, and it turns out that the symplectic leaves of $\mathsf{\Lambda }$ passing through quantum states are the manifolds of isospectral density operators, in particular, the leaf passing through a pure state is diffeomorphic to the complex projective space of the Hilbert space $\mathcal{H}$ of the system. From the point of view of open quantum dynamics, the manifolds of isospectral quantum states are not “big enough” in the sense that the dynamical evolution associated with the GKLS equation will cross these manifolds transversally unless it coincides with the unitary evolution of a closed system. Furthermore, from the point of view of quantum information theory, the manifold on which the metric tensors appearing in Petz’s classification are defined is the manifold of invertible quantum states, which is the union of all the manifolds of isospectral quantum states with maximal rank. Consequently, the geometry of $\mathsf{\Lambda }$ is not enough to capture all the relevant features of quantum states.

In [29,30,31], it has been shown that the relevant manifolds of quantum states may be described as submanifolds of homogeneous spaces of the group $\mathcal{GL}\left(\mathcal{H}\right)$ of invertible operators on $\mathcal{H}$. Specifically, if $\xi$ denotes a self-adjoint operator on $\mathcal{H}$, the group $\mathcal{GL}\left(\mathcal{H}\right)$ acts on the space of self-adjoint operators according to the map $\xi \mapsto \mathrm{g}\xi {\mathrm{g}}^{†}$, where † denotes the adjoint operator on $\mathcal{B}\left(\mathcal{H}\right)$. This action does not preserve the spectrum, and in particular the trace, of $\xi$ unless $\mathrm{g}$ is unitary, however, it preserves the positivity of $\xi$ in the sense that $\mathrm{g}\xi {\mathrm{g}}^{†}$ is positive semi-definite if $\xi$ is positive semi-definite, and it preserves the rank of $\xi$. Furthermore, the orbit of $\mathcal{GL}\left(\mathcal{H}\right)$ through a positive semi-definite operator turns out to be a submanifold of the space of self-adjoint operators on $\mathcal{H}$, which is a homogeneous space of $\mathcal{GL}\left(\mathcal{H}\right)$ consisting of all the positive semi-definite operators with the same rank. Then, on each of these orbits, it is possible to select all those elements with unit trace and prove that this set is actually a submanifold of the orbit which, by construction, consists of all the quantum states with fixed rank. In particular, we have two extreme cases: the manifold of pure quantum states consisiting of quantum states with rank equal to 1; the manifold of invertible quantum states consisting of quantum states with maximal rank. The manifold of quantum states with maximal rank thus obtained coincides with the manifold of invertible quantum states on which Petz’s metric tensors are defined. Furthermore, it is possible to link the tensor fields $\mathsf{\Lambda }$ and $\mathcal{R}$ with the action of $\mathcal{GL}\left(\mathcal{H}\right)$ by showing that the vector fields associated with linear functions by means of $\mathsf{\Lambda }$ and $\mathcal{R}$ provide the representation of the Lie algebra of $\mathcal{GL}\left(\mathcal{H}\right)$ integrating to the action of $\mathcal{GL}\left(\mathcal{H}\right)$ described above (see [20,22]).

In this work, we show that the orbits of $\mathcal{GL}\left(\mathcal{H}\right)$ through positive semi-definite operators behave, with respect to $\mathcal{R}$, as the symplectic leaves (e.g., the manifolds of isospectral states) behave for the Poisson tensor $\mathsf{\Lambda }$. Specifically, we show that $\mathcal{R}$ is invertible on each of these orbits and its inverse gives rise to a Riemannian metric tensor the geometry of which we characterize by computing the covariant derivative, the geodesics, the Riemann tensor, and the sectional curvature. Then, we study the Riemannian geometries on the manifolds of quantum states with the same rank arising from the fact that each of these manifolds is a submanifold of a given orbit of $\mathcal{GL}\left(\mathcal{H}\right)$ through positive semi-definite operators.

To be more precise, in Section 2, we review the geometrical aspects of the space of states of a finite-dimensional $C^{*}$-algebra that we will need in the rest of the work. In Section 3 and Section 4, we actually prove the aforementioned results not only in the case of the quantum states associated with the algebra $\mathcal{B}\left(\mathcal{H}\right)$, but in the more general case of states of a finite-dimensional $C^{*}$-algebra $\mathcal{A}$. This framework allows us to deal with classical and quantum states with the same formalism because the states of a finite-dimensional, Abelian $C^{*}$-algebra $\mathcal{A}$ are in one-to-one correspondence with the probability distributions on a finite-outcome space. Furthermore, it nicely fits into the recently developed groupoidal approach to quantum theories developed in [32,33,34,35,36,37].

Then, in Section 6, we will take inspiration from Uhlmann’s geometric construction of the Bures–Helstrom metric tensor (see [38,39,40,41,42,43,44,45,46,47]) to show that the Riemannian geometries on the states associated with the Jordan product may be realized as “projected shadows” of the Riemannian geometries of suitable spheres in suitable Hilbert spaces by means of the GNS construction.

The geometrical picture that will eventually emerge from the present work is that the Jordan product derived from the associative product in $\mathcal{A}$ generates Riemann metric tensors on the manifolds of states on $\mathcal{A}$ that are associated with the action of the group $\mathcal{G}$ of invertible elements in $\mathcal{A}$. In particular, in Section 5, Section 7, and Section 8 respectively, these Riemannian metric tensors are shown to coincide with the Fisher–Rao metric tensor when $\mathcal{A}$ is Abelian, with the Fubini–Study metric tensor when $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$ and we consider the manifold of pure quantum states (rank-one projectors in $\mathcal{B}\left(\mathcal{H}\right)$), and with the Bures–Helstrom metric tensor when $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$ and we consider the manifold of invertible quantum states. Consequently, with the help of some imagination, we may interpret all these seemingly different metric tensors as being different faces of the same object, namely, the contravariant tensor $\mathcal{R}$ determined by the Jordan product. Section 9 contains some concluding remarks.

2. Geometrical Aspects of Positive Linear Functionals and States

Let $\mathcal{A}$ be a finite-dimensional, unital $C^{*}$-algebra in which the involution is denoted by † and unit by $\mathbb{I}$. We refer to [48,49,50] for the basic definitions concerning $C^{*}$-algebras. Let ${\mathcal{A}}_{sa}$ be the self-adjoint part of $\mathcal{A}$. The associative product of $\mathcal{A}$ gives rise to a commutative product $\{,\}$ and to a non-commutative product $\left[\right[,\left]\right]$ on ${\mathcal{A}}_{sa}$ by setting

$$\begin{array}{cc}\hfill \{\mathbf{a},\mathbf{b}\}& :=\frac{1}{2}\left(\mathbf{ab}+\mathbf{ba}\right)\hfill \\ \hfill \left[\right[\mathbf{a},\mathbf{b}\left]\right]& :=\frac{1}{2ı}\left(\mathbf{ab}-\mathbf{ba}\right),\hfill \end{array}$$

(1)

where ı is the imaginary unit. Note that both $\{,\}$ and $\left[\right[,\left]\right]$ are non-associative, and $\left[\right[,\left]\right]$ satisfies the Jacobi identity. These two products make ${\mathcal{A}}_{sa}$ into a Banach–Lie–Jordan algebra (see [51,52,53,54,55,56]). In particular, $\left[\right[\mathbf{a},·\left]\right]$ defines a derivation of $\{,\}$ for every $\mathbf{a}\in {\mathcal{A}}_{sa}$. Furthermore, since the Lie product $\left[\right[,\left]\right]$ makes ${\mathcal{A}}_{sa}$ into a Banach–Lie algebra, it is possible to show that there is a Banach–Lie group $\mathcal{U}$ of which $({\mathcal{A}}_{sa},\left[[,]\right])$ is the Banach–Lie algebra. The group $\mathcal{U}$ is just the group of unitary elements in $\mathcal{A}$, and is a subgroup of the Banach–Lie group $\mathcal{G}$ of invertible elements in $\mathcal{A}$ (see [57]).

Let $\mathcal{V}$ be the self-adjoint part of the Banach dual ${\mathcal{A}}^{*}$ of $\mathcal{A}$, that is, the set of all the linear functionals $\xi$ on $\mathcal{A}$ such that

$$\xi \left({\mathbf{a}}^{†}\right)=\overline{\xi \left(\mathbf{a}\right)}\forall \mathbf{a}\in \mathcal{A},$$

(2)

where $\overline{·}$ denotes complex conjugation. A linear functional $\omega \in \mathcal{V}\subset {\mathcal{A}}^{*}$ is called positive if

$$\omega \left({\mathbf{aa}}^{†}\right)\ge 0\forall \mathbf{a}\in \mathcal{A}.$$

(3)

A positive linear functional $\omega$ is called faithful if

$$\omega \left({\mathbf{aa}}^{†}\right)=0⟺\mathbf{a}=\mathbf{0}.$$

(4)

The space of positive linear functionals on $\mathcal{A}$ (excluding the null functional) is denoted by $\mathcal{P}$, while ${\mathcal{P}}_{+}$ denotes the space of faithful, positive linear functionals, which is an open submanifold of $\mathcal{V}$.

For future reference, we need to briefly recall the so-called Gelfand–Naimark–Segal (GNS) construction associated with a positive linear functional $\omega$ (see [48,50,58] for more details). Given $\omega$, we define the set

$$N_{\omega }:=\left\{\mathbf{a}\in \mathcal{A}\left|\omega \right({\mathbf{a}}^{†}\mathbf{a})=0\right\}.$$

(5)

This is a left ideal in $\mathcal{A}$ called the Gel’fand ideal of $\omega$. Then, we consider the bilinear form on $\mathcal{A}$ given by

$${(\mathbf{a},\mathbf{b})}_{\omega }:=\omega \left({\mathbf{a}}^{†}\mathbf{b}\right).$$

(6)

It is easily seen that ${(,)}_{\omega }$ is a pre-inner product that descends to the quotient

$$H_{\omega }=\mathcal{A}/N_{\omega }.$$

(7)

By completing $H_{\omega }$ with respect to ${(,)}_{\omega }$, we obtain a complex Hilbert space ${\mathcal{H}}_{\omega }$ the elements of which are written as ${\psi }_{\mathbf{a}}$ to emphasize that they are associated with (equivalence classes of) elements of $\mathcal{A}$. The Hilbert space product on ${\mathcal{H}}_{\omega }$ is written as $\langle ,\rangle$, and there is a representation ${\mathrm{r}}_{\omega }$ of $\mathcal{A}$ in $\mathcal{B}\left({\mathcal{H}}_{\omega }\right)$ given by

$$\left({\mathrm{r}}_{\omega }\left(\mathbf{a}\right)\right)\left({\psi }_{\mathbf{b}}\right):={\psi }_{\mathbf{a}\mathbf{b}}.$$

(8)

The vector ${\psi }_{\mathbb{I}}$ is cyclic with respect to ${\mathrm{r}}_{\omega }$ and separating for the commutant of ${\mathrm{r}}_{\omega }\left(\mathcal{A}\right)$ in $\mathcal{B}\left({\mathcal{H}}_{\omega }\right)$ (see prop. 2.5.3 of [49]). Moreover, every vector in ${\mathcal{H}}_{\omega }$ gives rise to a positive linear functional on $\mathcal{A}$ by means of

$${\omega }_{\mathbf{a}}\left(\mathbf{b}\right):=\langle {\psi }_{\mathbf{a}}|{\mathrm{r}}_{\omega }\left(\mathbf{b}\right)|{\psi }_{\mathbf{a}}\rangle .$$

(9)

If $\omega$ is faithful, then $N_{\omega }=\left\{\mathbf{0}\right\}$ and $H_{\omega }=\mathcal{A}$. Therefore, in the finite-dimensional case, ${\mathcal{H}}_{\omega }$ coincides with $\mathcal{A}$ and ${\mathrm{r}}_{\omega }$ becomes the left regular representation $\mathbf{a}\mapsto L_{\mathbf{a}}$ of $\mathcal{A}$ on itself.

Proposition 1.

Let ω be a positive linear functional on $\mathcal{A}$, and let $\mathbf{a}\in \mathcal{A}$ be an element of the Gel’fand ideal $N_{\omega }$ (see Equation (5)). Then, we have

$$\omega \left({\mathbf{a}}^{†}\mathbf{b}\right)=\omega \left(\mathbf{b}\mathbf{a}\right)=0$$

(10)

for all $\mathbf{b}\in {\mathcal{A}}_{sa}$.

Proof. 

We just need to apply the Cauchy–Schwarz inequality (see prop. 2.3.10.b of [49]) to the positive-semidefinite sesquilinear form defined by $\omega$ in Equation (6). Specifically, we have

$${\left|{(\mathbf{a},\mathbf{b})}_{\omega }\right|}^2={\left|\omega \left({\mathbf{a}}^{†}\mathbf{b}\right)\right|}^2\le \omega \left({\mathbf{a}}^{†}\mathbf{a}\right)\omega \left({\mathbf{b}}^2\right)=0,$$

(11)

where, in the last equality, we used the fact that $\mathbf{a}$ is in $N_{\omega }$.

The space $\mathcal{P}$ is not a smooth manifold in the usual sense of differential geometry (see [59,60] for the appropriate definition of smooth manifold). However, there is a linear left action $\alpha$ of the Lie group $\mathcal{G}$ of invertible elements in $\mathcal{A}$ on the space $\mathcal{V}$ given by (see [29,30,31])

$$\alpha (\mathrm{g},\xi )\equiv {\xi }_{\mathrm{g}}:{\xi }_{\mathrm{g}}\left(\mathbf{a}\right):=\xi \left({\mathrm{g}}^{†}\mathbf{a}\mathrm{g}\right)\forall \mathbf{a}\in {\mathcal{A}}_{sa}.$$

(12)

This action preserves $\mathcal{P}$, and every orbit of $\alpha$ is a smooth submanifold of $\mathcal{V}$. That is, even though $\mathcal{P}$ itself does not have a smooth structure, it is stratified by the orbits of this action all of which are homogeneous spaces and hence smooth manifolds; in fact, the manifold structure of these homogeneous spaces coincides with that induced by the inclusion into $\mathcal{V}$ as the action of $\mathcal{G}$ is defined on all of $\mathcal{V}$. The top stratum, i.e., that of maximal dimension, is easily seen to be the space ${\mathcal{P}}_{+}$ of faithful, positive linear functionals.

Recall that every $\mathbf{a}\in {\mathcal{A}}_{sa}$ may be identified with a real-valued, linear function on $\mathcal{V}$, that we denote by $l_{\mathbf{a}}$, by means of the expression

$$l_{\mathbf{a}}\left(\xi \right):=\xi \left(\mathbf{a}\right).$$

(13)

Since $\mathcal{V}$ is a finite-dimensional Banach space, the map $\mathbf{a}\mapsto l_{\mathbf{a}}$ is an isomorphism between ${\mathcal{A}}_{sa}$ and ${\mathcal{V}}^{*}={\mathcal{A}}_{sa}^{**}$, and thus the differential of the linear functions on $\mathcal{V}$ associated with elements in ${\mathcal{A}}_{sa}$ generate the cotangent space $T_{\xi }^{*}\mathcal{V}$ at each $\xi$.

Now, given $\mathbf{a}\in {\mathcal{A}}_{sa}$, we introduce the vector fields $X_{\mathbf{a}}$ and $Y_{\mathbf{a}}$ given by

$$\begin{array}{cc}\hfill X_{\mathbf{a}}\left(l_{\mathbf{b}}\right)& =l_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\hfill \\ \hfill Y_{\mathbf{a}}\left(l_{\mathbf{b}}\right)& =l_{\{\mathbf{a},\mathbf{b}\}}.\hfill \end{array}$$

(14)

For reasons that will be clear later, we call $Y_{\mathbf{a}}$ a gradient vector field, and $X_{\mathbf{a}}$ a Hamiltonian vector field. Next, we define the vector field

$${\mathbf{V}}_{\mathbf{a}\mathbf{b}}:=Y_{\mathbf{a}}+X_{\mathbf{b}}.$$

(15)

A direct computation based on Equation (14) shows that the Lie bracket $[,]$ between ${\mathbf{V}}_{\mathbf{a}\mathbf{b}}$ and ${\mathbf{V}}_{\mathbf{c}\mathbf{d}}$ reads

$$\left[{\mathbf{V}}_{\mathbf{a}\mathbf{b}},{\mathbf{V}}_{\mathbf{c}\mathbf{d}}\right]=Y_{\left[\right[\mathbf{a},\mathbf{d}\left]\right]+\left[\right[\mathbf{b},\mathbf{c}\left]\right]}+X_{\left[\right[\mathbf{c},\mathbf{a}\left]\right]+\left[\right[\mathbf{b},\mathbf{d}\left]\right]}.$$

(16)

In particular, it follows that the Hamiltonian vector fields ${\left\{X_{\mathbf{a}}\right\}}_{\mathbf{a}\in {\mathcal{A}}_{sa}}$ provide an anti-representation of the Lie algebra $\mathfrak{u}$ of the unitary group $\mathcal{U}$ of $\mathcal{A}$. According to what will be proved below, the left action of $\mathcal{U}$ generated by the Hamiltonian vector fields is just $\alpha$ restricted to $\mathcal{U}$.

We will now prove that the vector fields ${\mathbf{V}}_{\mathbf{a}\mathbf{b}}$ are the fundamental vector fields of the action $\alpha$. Specifically, we consider an element $\mathrm{g}\in \mathcal{G}$, and write it as

$$\mathrm{g}={\mathrm{e}}^{\frac{1}{2}(\mathbf{a}+ı\mathbf{b})}$$

(17)

with $\mathbf{a},\mathbf{b}\in {\mathcal{A}}_{sa}$. This is always possible because $\mathcal{A}={\mathcal{A}}_{sa}\oplus ı{\mathcal{A}}_{sa}$, where ı is the imaginary unit, is the Lie algebra of the Lie group $\mathcal{G}$ of invertible elements in $\mathcal{A}$. Then, we may consider the smooth curve

$$\mathrm{g}\left(t\right)={\mathrm{e}}^{\frac{t}{2}(\mathbf{a}+ı\mathbf{b})}$$

(18)

starting at $\mathrm{g}\left(0\right)=\mathbb{I}$, and compute the fundamental vector field F of the action $\alpha$ associated with $\mathrm{g}\left(t\right)$. This vector field is defined as the infinitesimal generator of the one-parameter group of diffeomorphisms of $\mathcal{V}$ generated by $\mathrm{g}\left(t\right)$ by means of $\alpha$ (see [59] (p. 331)). Specifically, it is

$$\begin{array}{cc}\hfill \langle \mathrm{d}{l}_{\mathbf{c}}\left(\omega \right),F\left(\xi \right)\rangle & =\frac{\mathrm{d}}{\mathrm{d}t}{\left(l_{\mathbf{c}}\left(\alpha \left(\mathrm{g}\right(t),\xi )\right)\right)}_{t=0}=\hfill \\ & =\frac{\mathrm{d}}{\mathrm{d}t}{\left(\xi \left({\mathrm{e}}^{\frac{t}{2}(\mathbf{a}-ı\mathbf{b})}\mathbf{c}{\mathrm{e}}^{\frac{t}{2}(\mathbf{a}+ı\mathbf{b})}\right)\right)}_{t=0}=\hfill \\ & =\xi \left(\{\mathbf{a},\mathbf{c}\}+\left[\right[\mathbf{b},\mathbf{c}\left]\right]\right),\hfill \end{array}$$

(19)

for all $\xi \in \mathcal{V}$. Comparing Equation (19) with Equations (15) and (14), we conclude that $F={\mathbf{V}}_{\mathbf{a}\mathbf{b}}$ as claimed.

Let us fix an orbit $\mathcal{O}\subset \mathcal{P}$ of $\mathcal{G}$. The tangent space $T_{\omega }\mathcal{O}$ is thus identified with the subspace of $\mathcal{V}\cong T_{\omega }\mathcal{V}$ written as

$$T_{\omega }\mathcal{O}\cong \left\{{\omega }_{\mathbf{a}\mathbf{b}}\in \mathcal{V}|{\omega }_{\mathbf{a}\mathbf{b}}\left(\mathbf{c}\right)=\omega (\{\mathbf{a},\mathbf{c}\}+\left[[\mathbf{b},\mathbf{c}]\right])\forall \mathbf{c}\in {\mathcal{A}}_{sa}\right\}.$$

(20)

In this work, the symbol ≅ denotes the identification of two different sets. Then, the cotangent space $T_{\omega }^{*}\mathcal{O}$ is isomorphic with $T_{\omega }^{*}\mathcal{V}/Ann\left(T_{\omega }\mathcal{O}\right)$ where $Ann\left(T_{\omega }\mathcal{O}\right)$ is the annihilator of $T_{\omega }\mathcal{O}$ inside $T_{\omega }^{*}\mathcal{V}$. From the practical point of view, we define the functions

$$l_{\mathbf{b}}^{+}:=i^{*}{l}_{\mathbf{b}}$$

(21)

for every $\mathbf{b}\in {\mathcal{A}}_{sa}$, where i is the canonical immersion of the orbit $\mathcal{O}\subset \mathcal{P}$ in $\mathcal{V}$, and we obtain that the cotangent vector $\mathrm{d}{l}_{\mathbf{b}}^{+}\left(\omega \right)$ at every $\omega \in \mathcal{O}$ is identified with $\mathbf{b}$. Clearly, since the set ${\left\{\mathrm{d}{l}_{\mathbf{b}}\left(\xi \right)\right\}}_{\mathbf{b}\in {\mathcal{A}}_{sa}}$ is an overcomplete basis for $T_{\xi }^{*}\mathcal{V}$ for every $\xi \in \mathcal{V}$, we have that the set ${\left\{\mathrm{d}{l}_{\mathbf{b}}^{+}\left(\omega \right)\right\}}_{\mathbf{b}\in {\mathcal{A}}_{sa}}$ is an overcomplete basis for $T_{\omega }^{*}\mathcal{O}$ for every $\omega \in \mathcal{O}$.

Now, we will pass from positive linear functional, to states. A positive linear functional $\rho$ is called a state if

$$\rho \left(\mathbb{I}\right)=1,$$

(22)

where $\mathbb{I}$ is the identity element in $\mathcal{A}$. The space of states $\mathcal{S}$ is the convex body in $\mathcal{P}$ which is the intersection of $\mathcal{P}$ with the affine hyperplane determined as the inverse image of 1 through the linear function $l_{\mathbb{I}}$, with $\mathbb{I}\in \mathcal{A}$ being the identity element. Consequently, if $\mathcal{O}$ is an orbit of $\mathcal{G}$ in $\mathcal{P}$ through $\omega$, we may consider the inverse image of 1 through the function $l_{\mathbb{I}}^{+}$ and obtain a smooth manifold, denoted by ${\mathcal{O}}_1$, of states as a closed submanifold of $\mathcal{O}$. Clearly, we may do that for every orbit $\mathcal{O}$ in $\mathcal{P}$, and thus we obtain a stratification of $\mathcal{S}$ into the disjoint union of smooth manifolds, where the top stratum, denoted by ${\mathcal{S}}_{+}$, is the space of faithful states. Note that some of these manifolds can be degenerate, i.e., points. In particular, this happens when $\mathcal{A}$ is Abelian and ${\mathcal{O}}_1$ contains a pure state (recall that pure states are the extremal points of $\mathcal{S}$). In the following, whenever we consider a manifold ${\mathcal{O}}_1$ of states, we will always implicitly assume that ${\mathcal{O}}_1$ is not a single point.

Concerning pure states, it is worth mentioning that, according to [61], the functional representation of a commutative $C^{*}$-algebra in terms of complex-valued functions on the space of pure states may be extended to any noncommutative $C^{*}$-algebra by looking at the space of pure states as a bundle of Kähler manifolds, and using the Kähler metric to define a noncommutative product between complex-valued functions on the pure states.

We will now see how the group $\mathcal{G}$ acts on every ${\mathcal{O}}_1$ making it a homogeneous space. To this scope, we first note that, if $\rho$ is a state sitting inside $\mathcal{O}\subset \mathcal{P}$, then $\alpha (\mathrm{g},\rho )$ is in general not a state. From the infinitesimal point of view, this is related to the fact that the gradient vector fields on $\mathcal{O}$ do not preserve ${\mathcal{O}}_1$ because $Y_{\mathbf{a}}\left(l_{\mathbb{I}}^{+}\right)$ in general does not vanish. However, if we set

$$\widetilde{Y_{\mathbf{a}}}:=Y_{\mathbf{a}}-l_{\mathbf{a}}^{+}{Y}_{\mathbb{I}},$$

(23)

then $\widetilde{Y_{\mathbf{a}}}\left(l_{\mathbb{I}}^{+}\right)=Y_{\mathbf{a}}\left(l_{\mathbb{I}}^{+}\right)-l_{\mathbf{a}}^{+}{Y}_{\mathbb{I}}\left(l_{\mathbb{I}}^{+}\right)=0$, and thus $\widetilde{Y_{\mathbf{a}}}$ is tangent to ${\mathcal{O}}_1$. This means that there is a vector field ${\mathbb{Y}}_{\mathbf{a}}$ on ${\mathcal{O}}_1$ which is $i_{1+}$-related to $\widetilde{Y_{\mathbf{a}}}$, where $i_{1+}:{\mathcal{O}}_1⟶\mathcal{O}$ is the canonical immersion map given by identification. Furthermore, every Hamiltonian vector field $X_{\mathbf{a}}$ is tangent to ${\mathcal{O}}_1$, and we denote by ${\mathbb{X}}_{\mathbf{a}}$ the vector field on ${\mathcal{O}}_1$ which is $i_{1+}$-related with $X_{\mathbf{a}}$. For reasons that will be clear later, we call ${\mathbb{Y}}_{\mathbf{a}}$ a gradient vector field, and ${\mathbb{X}}_{\mathbf{a}}$ a Hamiltonian vector field.

Now, we define the vector fields ${\left\{{\mathrm{Y}}_{\mathbf{a}\mathbf{b}}\right\}}_{\mathbf{a},\mathbf{b}\in {\mathcal{A}}_{sa}}$ by means of

$${\mathrm{Y}}_{\mathbf{a}\mathbf{b}}:={\mathbb{Y}}_{\mathbf{a}}+{\mathbb{X}}_{\mathbf{b}}.$$

(24)

Quite interestingly, a direct computation shows that

$$\left[\widetilde{Y_{\mathbf{a}}}+X_{\mathbf{b}},\widetilde{Y_{\mathbf{c}}}+X_{\mathbf{d}}\right]={\tilde{Y}}_{\left[\right[\mathbf{a},\mathbf{d}\left]\right]+\left[\right[\mathbf{b},\mathbf{c}\left]\right]}+X_{\left[\right[\mathbf{c},\mathbf{a}\left]\right]+\left[\right[\mathbf{b},\mathbf{d}\left]\right]},$$

(25)

which means that we also have

$$\left[{\mathrm{Y}}_{\mathbf{a}\mathbf{b}},{\mathrm{Y}}_{\mathbf{c}\mathbf{d}}\right]={\mathbb{Y}}_{\left[\right[\mathbf{a},\mathbf{d}\left]\right]+\left[\right[\mathbf{b},\mathbf{c}\left]\right]}+{\mathbb{X}}_{\left[\right[\mathbf{c},\mathbf{a}\left]\right]+\left[\right[\mathbf{b},\mathbf{d}\left]\right]}.$$

(26)

Comparing Equation (26) with Equation (16), we conclude that the vector fields ${\left\{{\mathrm{Y}}_{\mathbf{a}\mathbf{b}}\right\}}_{\mathbf{a},\mathbf{b}\in {\mathcal{A}}_{sa}}$ provide a representation of the Lie algebra $\mathfrak{g}$ of $\mathcal{G}$ which is tangent to ${\mathcal{O}}_1$. Furthermore, if we define the map $\mathsf{\Phi }:{\mathcal{O}}_1⟶{\mathcal{O}}_1$ given by (see also [29,30,31])

$$\mathsf{\Phi }(\mathrm{g},\rho )\equiv {\rho }_{\mathrm{g}}:{\rho }_{\mathrm{g}}\left(\mathbf{a}\right):=\frac{\left(\alpha \right(\mathrm{g},\rho \left)\right)\left(\mathbf{a}\right)}{\left(\alpha \right(\mathrm{g},\rho \left)\right)\left(\mathbb{I}\right)}=\frac{\rho \left({\mathrm{g}}^{†}\mathbf{a}\mathrm{g}\right)}{\rho \left({\mathrm{g}}^{†}\mathrm{g}\right)}\forall \mathbf{a}\in {\mathcal{A}}_{sa},$$

(27)

it is not hard to show that it is a left action of $\mathcal{G}$ on ${\mathcal{O}}_1$ which is transitive (essentially because $\alpha$ is transitive on $\mathcal{O}$). In particular, the space ${\mathcal{S}}_{+}$ of faithful states is an orbit of $\mathcal{G}$. The flow of the vector field ${\mathrm{Y}}_{\mathbf{a}\mathbf{b}}$ is just $\mathsf{\Phi }\left(\mathrm{g}\right(t),\rho )$, where $\mathrm{g}\left(t\right)$ is defined as in Equation (18), and thus the fundamental vector fields of $\mathsf{\Phi }$ are precisely the ${\mathrm{Y}}_{\mathbf{a}\mathbf{b}}$’s.

Note that the map $\mathsf{\Phi }$ is well-defined because the denominator term is always strictly positive since $\mathrm{g}$ is an invertible element. However, note that $\mathsf{\Phi }$ does not preserve the convex structure of $\mathcal{S}$, that is, we have

$$\mathsf{\Phi }(\mathrm{g},\lambda {\rho }_1+(1-\lambda ){\rho }_2)\ne \lambda \mathsf{\Phi }(\mathrm{g},{\rho }_1)+(1-\lambda )\mathsf{\Phi }(\mathrm{g},{\rho }_2)$$

(28)

in general.

Let us now fix the orbit ${\mathcal{O}}_1\subset \mathcal{S}$. Defining the function

$${\mathit{e}}_{\mathbf{a}}:=i_{1+}^{*}{l}_{\mathbf{a}}^{+}=i_{1+}^{*}{i}^{*}{l}_{\mathbf{a}}$$

(29)

for every $\mathbf{a}\in {\mathcal{A}}_{sa}$, it is immediate to check that

$$\begin{array}{cc}\hfill {\mathbb{X}}_{\mathbf{a}}\left({\mathit{e}}_{\mathbf{b}}\right)& ={\mathit{e}}_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\hfill \\ \hfill {\mathbb{Y}}_{\mathbf{a}}\left({\mathit{e}}_{\mathbf{b}}\right)& ={\mathit{e}}_{\{\mathbf{a},\mathbf{b}\}}-{\mathit{e}}_{\mathbf{a}}{\mathit{e}}_{\mathbf{b}}.\hfill \end{array}$$

(30)

The tangent space at $\rho \in {\mathcal{O}}_1$ is identified with the subspace of $\mathcal{V}\cong T_{\rho }\mathcal{V}$ written as

$$T_{\rho }{\mathcal{O}}_1\cong \left\{{\rho }_{\mathbf{a}\mathbf{b}}\in \mathcal{V}|{\rho }_{\mathbf{a}\mathbf{b}}\left(\mathbf{c}\right)=\rho (\{\mathbf{a},\mathbf{c}\}+\left[[\mathbf{b},\mathbf{c}]\right])-\rho \left(\mathbf{a}\right)\rho \left(\mathbf{c}\right)\forall \mathbf{c}\in {\mathcal{A}}_{sa}\right\},$$

(31)

while the cotangent space $T_{\rho }^{*}{\mathcal{O}}_1$ is isomorphic with $T_{\rho }^{*}\mathcal{V}/Ann\left(T_{\rho }{\mathcal{O}}_1\right)$ where $Ann\left(T_{\rho }{\mathcal{O}}_1\right)$ is the annihilator of $T_{\rho }{\mathcal{O}}_1$ inside $T_{\rho }^{*}\mathcal{V}$. From the practical point of view, given $\rho \in {\mathcal{O}}_1$, just as it happens for the orbit $\mathcal{O}\subset \mathcal{P}$, we obtain that the cotangent vector $\mathrm{d}{\mathit{e}}_{\mathbf{b}}\left(\rho \right)$ is identified with $\mathbf{b}$. Clearly, since the set ${\left\{\mathrm{d}{l}_{\mathbf{a}}\left(\xi \right)\right\}}_{\mathbf{a}\in {\mathcal{A}}_{sa}}$ is an overcomplete basis for $T_{\xi }^{*}\mathcal{V}$ for every $\xi \in \mathcal{V}$, we have that the set ${\left\{\mathrm{d}{\mathit{e}}_{\mathbf{b}}\left(\rho \right)\right\}}_{\mathbf{b}\in {\mathcal{A}}_{sa}}$ is an overcomplete basis for $T_{\rho }^{*}{\mathcal{O}}_1$ for every $\rho \in {\mathcal{O}}_1$.

Remark 1.

An identification similar to that given in Equation (31) (with $\mathbf{b}=0$) may be found also in [5], under the name of e-representation, and in [62] for faithful states. However, in these works, the authors consider only the case $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$ (with $\dim \left(\mathcal{H}\right)<\infty$) so that they identify the space of faithful states ${\mathcal{S}}_{+}$ with the space of faithful density operators in $\mathcal{B}\left(\mathcal{H}\right)$ by means of the isomorphism between $\mathcal{B}\left(\mathcal{H}\right)$ and its dual induced by the trace on $\mathcal{H}$, and no mention is made of the gradient and Hamiltonian vector fields nor of the associated action of $\mathcal{G}$ on ${\mathcal{S}}_{+}$. On the other hand, here we want to stress that the identification of $T_{\rho }{\mathcal{O}}_1$ with a linear subspace of $\mathcal{V}$ given by Equation (31) works for every orbit ${\mathcal{O}}_1\subset \mathcal{S}$ and it is part of the “internal geometry” of the space of states of $\mathcal{A}$.

3. From the Jordan Product to Riemannian Geometries

We will now exploit the Jordan–Lie-algebra structure of ${\mathcal{A}}_{sa}$ introduced above to obtain geometric tensor fields on $\mathcal{V}$, specifically, we obtain a symmetric, contravariant bivector field $\mathcal{R}$ associated with the Jordan product $\{,\}$, and a Poisson bivector field $\mathsf{\Lambda }$ associated with the Lie product $\left[\right[,\left]\right]$ on ${\mathcal{A}}_{sa}$. This is the generalization to a generic (finite-dimensional) $C^{*}$-algebra $\mathcal{A}$ of what is done in [19,20,21,22,23,24,25] for the specific case $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$ for a finite-dimensional Hilbert space $\mathcal{H}$. Then, we will show how the manifolds of positive linear functionals introduced in the previous section may be interpreted as a sort of analogs of symplectic leaves for the symmetric tensor $\mathcal{R}$ in a sense that will be specified later. This will allow us to define Riemannian geometries on the orbits of $\mathcal{G}$ in $\mathcal{P}$ that will be studied in some detail.

In order to define $\mathcal{R}$ and $\mathsf{\Lambda }$, we recall that the differentials of the linear functions $l_{\mathbf{a}}$ with $\mathbf{a}\in {\mathcal{A}}_{sa}$ generate the cotangent space $T_{\xi }^{*}\mathcal{V}$ at every $\xi \in \mathcal{V}$, so that we may set

$$\left(\mathcal{R}(\mathrm{d}{l}_{\mathbf{a}},\mathrm{d}{l}_{\mathbf{b}})\right)\left(\xi \right):=l_{\{\mathbf{a},\mathbf{b}\}}\left(\xi \right)=\xi \left(\{\mathbf{a},\mathbf{b}\}\right),$$

(32)

$$\left(\mathsf{\Lambda }(\mathrm{d}{l}_{\mathbf{a}},\mathrm{d}{l}_{\mathbf{b}})\right)\left(\xi \right):=l_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\left(\xi \right)=\xi \left(\left[[\mathbf{a},\mathbf{b}]\right]\right),$$

(33)

and extend these objects by linearity obtaining two contravariant tensor fields

$$\left(\mathcal{R}(\mathrm{d}{f}_1,\mathrm{d}{f}_2)\right)\left(\xi \right):=\xi \left(\{\mathrm{d}{f}_1\left(\xi \right),\mathrm{d}{f}_2\left(\xi \right)\}\right),$$

(34)

$$\left(\mathsf{\Lambda }(\mathrm{d}{f}_1,\mathrm{d}{f}_2)\right)\left(\xi \right):=\xi \left(\left[[\mathrm{d}{f}_1\left(\xi \right),\mathrm{d}{f}_2\left(\xi \right)]\right]\right).$$

(35)

The antisymmetry of $\left[\right[,\left]\right]$ implies that $\mathsf{\Lambda }$ is antisymmetric, while the symmetricity of $\{,\}$ implies that $\mathcal{R}$ is symmetric. Moreover, note that both tensors have non-constant rank, and $\mathsf{\Lambda }=0$ if $\mathcal{A}$ is Abelian.

If $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$ for some finite-dimensional Hilbert space $\mathcal{H}$, it is a matter of direct inspection to show that tensor fields $\mathcal{R}$ and $\mathsf{\Lambda }$ defined above coincide with those introduced in [19,20,21,22,23,24,25].

The Lie algebra of the unitary group $\mathcal{U}$ may be identified with the space ${\mathcal{A}}_{sa}$ of self-adjoint elements in $\mathcal{A}$ (see Equation (17)), and thus $\mathsf{\Lambda }$ may be interpreted as the Kostant–Kirillov–Souriau Poisson tensor associated with the coadjoint action of the unitary group $\mathcal{U}$. Since $\mathsf{\Lambda }$ is a Poisson tensor, we may introduce the Hamiltonian vector field $X_f$ associated with a smooth function f on $\mathcal{V}$ by means of $\mathsf{\Lambda }$ by setting

$$X_f:=\mathsf{\Lambda }(\mathrm{d}f,·).$$

(36)

In particular, it is immediate to check that the Hamiltonian vector field associated with the linear function $l_{\mathbf{a}}$ (with $\mathbf{a}\in {\mathcal{A}}_{sa}$) coincides with the fundamental vector field $X_{\mathbf{a}}={\mathbf{V}}_{\mathbf{0}\mathbf{a}}$ for $\alpha$ introduced in the previous section. Analogously, we may (improperly) define the gradient vector field $Y_f$ associated with a smooth function f on $\mathcal{V}$ by means of $\mathcal{R}$ by setting

$$Y_f:=\mathcal{R}(\mathrm{d}f,·).$$

(37)

Again, it is immediate to check that the gradient vector field associated with the linear function $l_{\mathbf{a}}$ (with $\mathbf{a}\in {\mathcal{A}}_{sa}$) coincides with the fundamental vector field $Y_{\mathbf{a}}={\mathbf{V}}_{\mathbf{a}\mathbf{0}}$ for $\alpha$ introduced in the previous section. This gives an intimate connection between the tensor field $\mathsf{\Lambda }$ and $\mathcal{R}$ and the action $\alpha$ of $\mathcal{G}$ on $\mathcal{V}$. In particular, the Hamiltonian vector fields ${\mathbb{X}}_{\mathbf{a}}$ generate the action of the unitary group $\mathcal{U}\subset \mathcal{G}$ and the orbits of this action, which are embedded, compact submanifolds of $\mathcal{V}$ because $\mathcal{U}$ is a compact group (only in finite dimensions), are the leaves of the symplectic foliation associated with the Poisson tensor $\mathsf{\Lambda }$. When $\mathcal{A}$ coincides with the $C^{*}$-algebra $\mathcal{B}\left(\mathcal{H}\right)$ of linear operators on the finite-dimensional, complex Hilbert space $\mathcal{H}$, it is not hard to see that the orbit through $\xi \in \mathcal{V}$ is in one-to-one correspondence with the set of self-adjoint operators on $\mathcal{H}$ that are isospectral with the self-adjoint operator $\tilde{\xi }$, which is uniquely associated to $\xi$ by means of the isomorphism between ${\mathcal{A}}_{sa}$ and $\mathcal{V}$ induced by the trace on $\mathcal{H}$. When $\mathcal{A}$ is Abelian, then $\mathsf{\Lambda }=0$ and the action of $\mathcal{U}$ on $\mathcal{V}$ is trivial.

The orbits of $\mathcal{U}$ are such that the Poisson tensor $\mathsf{\Lambda }$ is invertible on them and thus gives rise to a symplectic form on every orbit. We may try to obtain a similar construction for the tensor field $\mathcal{R}$, that is, we may try to find suitable submanifolds of $\mathcal{V}$ on which $\mathcal{R}$ is invertible. In a certain sense, we are looking for analogs, for $\mathcal{R}$, of what would be the symplectic leaves of $\mathsf{\Lambda }$.

Quite interestingly, we will see that every orbit $\mathcal{O}$ of positive linear functionals provides an example of such an analog of a symplectic leaf. In particular, we will see that the inverse $\mathrm{G}$ of $\mathcal{R}$ on $\mathcal{O}$ determines a Riemannian metric tensor, and compute its associated covariant derivative, sectional curvature, and Riemann tensor. Then, we will study the Riemannian geometry on the orbit ${\mathcal{O}}_1\subset \mathcal{O}$ of states arising from the canonical immersion $i_{1+}:{\mathcal{O}}_1⟶\mathcal{O}$ given by the identification map.

Let us fix the orbit $\mathcal{O}\subset \mathcal{P}$. It is an immersed submanifold of $\mathcal{V}$, consequently, the set ${\left\{\mathrm{d}{l}_{\mathbf{a}}^{+}\left(\omega \right)\right\}}_{\mathbf{a}\in {\mathcal{A}}_{sa}}$, where $l_{\mathbf{a}}^{+}=i^{*}{l}_{\mathbf{a}}$, is an overcomplete basis for the cotangent space $T_{\omega }\mathcal{O}$. Therefore, we may define the symmetric, $(0,2)$ tensor field R on $\mathcal{O}$ by setting

$$\left(R(\mathrm{d}{l}_{\mathbf{a}}^{+},\mathrm{d}{l}_{\mathbf{b}}^{+})\right)\left(\omega \right):=\omega \left(\{\mathbf{a},\mathbf{b}\}\right),$$

(38)

and then extend by linearity just as we did for the definition of $\mathcal{R}$. By construction, we have that

$$R\left(i^{*}{\theta }_1,i^{*}{\theta }_2\right)=i^{*}\left(\mathcal{R}({\theta }_1,{\theta }_2)\right)$$

(39)

for all 1-forms ${\theta }_1,{\theta }_2$ on $\mathcal{V}$. The tensor R may be thought of as the restriction of $\mathcal{R}$ to $\mathcal{O}$.

Proposition 2.

The contravariant tensor R is symmetric, invertible and positive.

Proof. 

By definition of R, a cotangent vector $\mathrm{d}{l}_{\mathbf{c}}^{+}\left(\omega \right)$ at $\omega \in \mathcal{O}$ is such that

$$R_{\omega }(\mathrm{d}{l}_{\mathbf{c}}^{+}\left(\omega \right),\mathrm{d}{l}_{\mathbf{c}}^{+}\left(\omega \right))=\omega \left({\mathbf{c}}^2\right)\ge 0$$

(40)

because $\omega$ is a positive linear functional. Recalling the definition of the GNS ideal $N_{\omega }$ of $\omega$ given in Equation (5), and recalling that $\mathbf{c}$ is self-adjoint, it is immediate to see that the equality in the previous equation holds if and only if $\mathrm{d}{l}_{\mathbf{c}}^{+}\left(\omega \right)=\mathbf{c}\in N_{\omega }\cap {\mathcal{A}}_{sa}\forall \omega \in \mathcal{O}$. Moreover, given any tangent vector $v_{\omega }$ at $\omega \in \mathcal{O}$, we may find a fundamental vector field ${\mathbf{V}}_{\mathbf{a}\mathbf{b}}$ such that $v_{\omega }={\mathbf{V}}_{\mathbf{a}\mathbf{b}}\left(\omega \right)$ because $\mathcal{O}$ is a homogeneous space for $\mathcal{G}$. Therefore, we have

$$\langle \mathrm{d}{l}_{\mathbf{c}}^{+}\left(\omega \right),v_{\omega }\rangle =\langle \mathrm{d}{l}_{\mathbf{c}}^{+}\left(\omega \right),{\mathbf{V}}_{\mathbf{a}\mathbf{b}}\left(\omega \right)\rangle =\omega \left(\{\mathbf{a},\mathbf{c}\}\right)+\omega \left(\left[[\mathbf{b},\mathbf{c}]\right]\right)=0,$$

(41)

where the last equality follows from the fact that $\mathbf{c}$ is in $N_{\omega }$ and from Proposition 1. Then, since the tangent vector $v_{\omega }$ was arbitrary, we conclude that the cotangent vector $\mathrm{d}{l}_{\mathbf{c}}^{+}\left(\omega \right)$ must be the zero cotangent vector, and thus it follows that R is positive and invertible on $\mathcal{O}\subset \mathcal{P}$.

Because of Proposition 2, the covariant tensor

$$\mathrm{G}:=R^{-1}$$

(42)

is a Riemannian metric tensor on the orbit $\mathcal{O}\subset \mathcal{P}$. We can immediately compute the gradient vector field $W_{\mathbf{a}}$ associated with the function $l_{\mathbf{a}}^{+}$ by means of $\mathrm{G}$. In order to characterize $W_{\mathbf{a}}$, it is sufficient to obtain its action on all the functions $l_{\mathbf{b}}^{+}$ with $\mathbf{b}\in {\mathcal{A}}_{sa}$ because the set ${\left\{\mathrm{d}{l}_{\mathbf{b}}^{+}\left(\omega \right)\right\}}_{\mathbf{b}\in {\mathcal{A}}_{sa}}$ is an overcomplete basis for $T_{\omega }^{*}\mathcal{O}$ for every $\omega \in \mathcal{O}$. By definition of gradient vector field, we have

$$W_{\mathbf{a}}\left(l_{\mathbf{b}}^{+}\right)=R(\mathrm{d}{l}_{\mathbf{a}}^{+},\mathrm{d}{l}_{\mathbf{b}}^{+})=i_{+}^{*}\left(\mathcal{R}(\mathrm{d}{l}_{\mathbf{a}},\mathrm{d}{l}_{\mathbf{b}})\right)=i_{+}^{*}\left(Y_{\mathbf{a}}\left(l_{\mathbf{b}}\right)\right),$$

(43)

from which we obtain that

$$W_{\mathbf{a}}=Y_{\mathbf{a}}$$

(44)

with $Y_{\mathbf{a}}$ the fundamental vector field ${\mathbf{V}}_{\mathbf{a}\mathbf{0}}$ of the action $\alpha$ of $\mathcal{G}$. Consequently, we have

$$\mathrm{G}(Y_{\mathbf{a}},Y_{\mathbf{b}})=l_{\{\mathbf{a},\mathbf{b}\}}^{+},$$

(45)

and the fact that $Y_{\mathbf{a}}$ is the gradient vector field associated with $l_{\mathbf{a}}^{+}$ by means of $\mathrm{G}$ explains why we already called it a gradient vector field when we defined it in Section 2. Furthermore, since the set ${\left\{\mathrm{d}{l}_{\mathbf{b}}^{+}\left(\omega \right)\right\}}_{\mathbf{b}\in {\mathcal{A}}_{sa}}$ is an overcomplete basis for $T_{\omega }^{*}\mathcal{O}$ for every $\omega \in \mathcal{O}$, the set ${\left\{Y_{\mathbf{b}}\left(\omega \right)\right\}}_{\mathbf{b}\in {\mathcal{A}}_{sa}}$ is an overcomplete basis for $T_{\omega }\mathcal{O}$ for every $\omega \in \mathcal{O}$.

By directly applying the definition of a gradient vector field, we have

$$\mathrm{G}(Y_{\mathbf{a}},X_{\mathbf{b}})=\mathrm{d}{l}_{\mathbf{a}}^{+}\left(X_{\mathbf{b}}\right)=X_{\mathbf{b}}{l}_{\mathbf{a}}^{+}=l_{\left[\right[\mathbf{b},\mathbf{a}\left]\right]}^{+}.$$

(46)

Furthermore, we have

$$\begin{array}{cc}\hfill X_{\mathbf{a}}\left(\mathrm{G}(Y_{\mathbf{b}},Y_{\mathbf{c}})\right)& =\left({\mathcal{L}}_{X_{\mathbf{a}}}\mathrm{G}\right)(Y_{\mathbf{b}},Y_{\mathbf{c}})+\mathrm{G}\left([X_{\mathbf{a}},Y_{\mathbf{b}}],Y_{\mathbf{c}}\right)+\mathrm{G}\left(Y_{\mathbf{b}},[X_{\mathbf{a}},Y_{\mathbf{c}}]\right)=\hfill \\ & =\left({\mathcal{L}}_{X_{\mathbf{a}}}\mathrm{G}\right)(Y_{\mathbf{b}},Y_{\mathbf{c}})+\mathrm{G}\left(Y_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]},Y_{\mathbf{c}}\right)+\mathrm{G}\left(Y_{\mathbf{b}},Y_{\left[\right[\mathbf{a},\mathbf{c}\left]\right]}\right)=\hfill \\ & =\left({\mathcal{L}}_{X_{\mathbf{a}}}\mathrm{G}\right)(Y_{\mathbf{b}},Y_{\mathbf{c}})+l_{\left\{\right[[\mathbf{a},\mathbf{b}]],\mathbf{c}\}}^{+}+l_{\{\mathbf{b},[[\mathbf{a},\mathbf{c}]\left]\right\}}^{+}\hfill \end{array}$$

(47)

where ${\mathcal{L}}_{X_{\mathbf{a}}}$ denotes the Lie derivative (see [59,60]), and where we used Equations (45) and (16). However, it also holds

$$X_{\mathbf{a}}\left(\mathrm{G}(Y_{\mathbf{b}},Y_{\mathbf{c}})\right)=X_{\mathbf{a}}{l}_{\{\mathbf{b},\mathbf{c}\}}^{+}=l_{\left\{\right[[\mathbf{a},\mathbf{b}]],\mathbf{c}\}}^{+}+l_{\{\mathbf{b},[[\mathbf{a},\mathbf{c}]\left]\right\}}^{+},$$

(48)

where we used Equation (45), the first equality in Equation (14), and the fact that the Lie product is a derivation of the Jordan product. Therefore, comparing the previous two equations, and recalling that the Jordan product is symmetric, we obtain

$${\mathcal{L}}_{X_{\mathbf{a}}}\mathrm{G}=0$$

(49)

for all $\mathbf{a}\in {\mathcal{A}}_{sa}$. This means that the metric $\mathrm{G}$ is invariant under the action of the unitary group $\mathcal{U}$ defined by the Hamiltonian vector fields associated with the functions $l_{\mathbf{a}}^{+}$ with $\mathbf{a}\in {\mathcal{A}}_{sa}$.

Regarding the evaluation of $\mathrm{G}$ on Hamiltonian vector fields, we can say the following. First of all, we note that the set ${\left\{Y_{\mathbf{b}}\left(\omega \right)\right\}}_{\mathbf{b}\in {\mathcal{A}}_{sa}}$ is an overcomplete basis for $T_{\omega }\mathcal{O}$ for every $\omega \in \mathcal{O}$, therefore, given the Hamiltonian vector field $X_{\mathbf{b}}$, we can express the tangent vector $X_{\mathbf{b}}\left(\omega \right)$ in terms of gradient tangent vectors, that is, we have

$$X_{\mathbf{b}}\left(\omega \right)=Y_{B_{\omega }^{\mathbf{b}}}\left(\omega \right),$$

(50)

where $B_{\omega }^{\mathbf{b}}$ is an element of ${\mathcal{A}}_{sa}$ that depends on both $\mathbf{b}$ and $\omega$. Specifically, $B_{\omega }^{\mathbf{b}}$ is the element in ${\mathcal{A}}_{sa}$ such that

$$\omega \left(\left[[\mathbf{b},\mathbf{c}]\right]\right)=\omega \left(\{B_{\omega }^{\mathbf{b}},\mathbf{c}\}\right)$$

(51)

for all $\mathbf{c}\in {\mathcal{A}}_{sa}$. In general, $B_{\omega }^{\mathbf{b}}$ is not unique, but it is defined up to an element in the isotropy algebra ${\mathfrak{g}}_{\omega }$ of $\omega$. However, since the gradient tangent vector $Y_{\mathbf{a}}\left(\omega \right)$ vanishes for every $\mathbf{a}\in {\mathcal{A}}_{sa}\cap {\mathfrak{g}}_{\omega }$, we conclude that the non-uniqueness of $B_{\omega }^{\mathbf{b}}$ does not affect $Y_{B_{\omega }^{\mathbf{b}}}\left(\omega \right)$. Consequently, we may write

$$\begin{array}{cc}\hfill \left(\mathrm{G}(X_{\mathbf{a}},X_{\mathbf{b}})\right)\left(\omega \right)& ={\mathrm{G}}_{\omega }\left(X_{\mathbf{a}}\left(\omega \right),X_{\mathbf{b}}\left(\omega \right)\right)=\hfill \\ & ={\mathrm{G}}_{\omega }\left(X_{\mathbf{a}}\left(\omega \right),Y_{B_{\omega }^{\mathbf{b}}}\left(\omega \right)\right)=\hfill \\ & =l_{\left[[\mathbf{a},B_{\omega }^{\mathbf{b}}]\right]}^{+}\left(\omega \right)=\omega \left(\left[[\mathbf{a},B_{\omega }^{\mathbf{b}}]\right]\right).\hfill \end{array}$$

(52)

Note that, unlike Equations (45) and (46), Equation (52) expresses a pointwise relation.

Now, we will compute the covariant derivative associated with the metric $\mathrm{G}$. By applying the Koszul formula (see [60] (thm. 4.3.1)), we obtain

$$\begin{array}{cc}\hfill {\nabla }_{Y_{\mathbf{a}}}{Y}_{\mathbf{b}}\left(l_{\mathbf{c}}^{+}\right)& =\mathrm{G}({\nabla }_{Y_{\mathbf{a}}}{Y}_{\mathbf{b}},Y_{\mathbf{c}})=\hfill \\ & =\frac{1}{2}\left(Y_{\mathbf{a}}\left(\mathrm{G}(Y_{\mathbf{b}},Y_{\mathbf{c}})\right)+Y_{\mathbf{b}}\left(\mathrm{G}(Y_{\mathbf{a}},Y_{\mathbf{c}})\right)-Y_{\mathbf{c}}\left(\mathrm{G}(Y_{\mathbf{a}},Y_{\mathbf{b}})\right)+\right.\hfill \\ & \left.+\mathrm{G}\left([Y_{\mathbf{a}},Y_{\mathbf{b}}],Y_{\mathbf{c}}\right)-\mathrm{G}\left([Y_{\mathbf{a}},Y_{\mathbf{c}}],Y_{\mathbf{b}}\right)-\mathrm{G}\left([Y_{\mathbf{b}},Y_{\mathbf{c}}],Y_{\mathbf{a}}\right)\right)=\hfill \\ & =\frac{1}{2}\left(l_{\{\mathbf{a},\{\mathbf{b},\mathbf{c}\left\}\right\}}^{+}+l_{\{\mathbf{b},\{\mathbf{a},\mathbf{c}\left\}\right\}}^{+}-l_{\{\mathbf{c},\{\mathbf{a},\mathbf{b}\left\}\right\}}^{+}+l_{\left[\right[\left[\right[\mathbf{b},\mathbf{a}\left]\right],\mathbf{c}\left]\right]}^{+}-l_{\left[\right[\left[\right[\mathbf{c},\mathbf{a}\left]\right],\mathbf{b}\left]\right]}^{+}-l_{\left[\right[\left[\right[\mathbf{c},\mathbf{b}\left]\right],\mathbf{a}\left]\right]}^{+}\right),\hfill \end{array}$$

(53)

where we used Equations (46) and (48). Expanding the Lie and Jordan products according to Equation (1), some tedious but simple manipulations show that

$$\{\mathbf{a},\{\mathbf{b},\mathbf{c}\left\}\right\}+\{\mathbf{b},\{\mathbf{a},\mathbf{c}\left\}\right\}-\left[\right[\left[\right[\mathbf{c},\mathbf{a}\left]\right],\mathbf{b}\left]\right]-\left[\right[\left[\right[\mathbf{c},\mathbf{b}\left]\right],\mathbf{a}\left]\right]=2\left\{\right\{\mathbf{a},\mathbf{b}\},\mathbf{c}\},$$

(54)

from which it follows that

$$\begin{array}{cc}\hfill {\nabla }_{Y_{\mathbf{a}}}{Y}_{\mathbf{b}}\left(l_{\mathbf{c}}^{+}\right)& =\frac{1}{2}\left(l_{\{\mathbf{c},\{\mathbf{a},\mathbf{b}\left\}\right\}}^{+}+l_{\left[\right[\left[\right[\mathbf{b},\mathbf{a}\left]\right],\mathbf{c}\left]\right]}^{+}\right)=\hfill \\ & =\frac{1}{2}\left(Y_{\{\mathbf{a},\mathbf{b}\}}\left(l_{\mathbf{c}}^{+}\right)-X_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\left(l_{\mathbf{c}}^{+}\right)\right),\hfill \end{array}$$

(55)

where we used Equation (14). Eventually, we may write the covariant derivative of a gradient vector field with respect to another gradient vector field as

$${\nabla }_{Y_{\mathbf{a}}}{Y}_{\mathbf{b}}=\frac{1}{2}\left(Y_{\{\mathbf{a},\mathbf{b}\}}-X_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\right)$$

(56)

At this point, we may compute the Riemann curvature tensor of $\mathrm{G}$ as

$$\begin{array}{cc}\hfill \mathrm{G}\left(R_{\mathrm{G}}(Y_{\mathbf{a}},Y_{\mathbf{b}})Y_{\mathbf{c}},Y_{\mathbf{d}}\right)& =\mathrm{G}\left({\nabla }_{Y_{\mathbf{a}}}{\nabla }_{Y_{\mathbf{b}}}{Y}_{\mathbf{c}},Y_{\mathbf{d}}\right)-\mathrm{G}\left({\nabla }_{Y_{\mathbf{b}}}{\nabla }_{Y_{\mathbf{a}}}{Y}_{\mathbf{c}},Y_{\mathbf{d}}\right)-\mathrm{G}\left({\nabla }_{[Y_{\mathbf{a}},Y_{\mathbf{b}}]}{Y}_{\mathbf{c}},Y_{\mathbf{d}}\right).\hfill \end{array}$$

(57)

A direct application of Equation (56) gives

$$\begin{array}{cc}\hfill {\nabla }_{Y_{\mathbf{a}}}{\nabla }_{Y_{\mathbf{b}}}{Y}_{\mathbf{c}}& =\frac{1}{4}\left(Y_{\{\mathbf{a},\{\mathbf{b},\mathbf{c}\left\}\right\}}-X_{\left[\right[\mathbf{a},\{\mathbf{b},\mathbf{c}\}\left]\right]}-2{\nabla }_{Y_{\mathbf{a}}}{X}_{\left[\right[\mathbf{b},\mathbf{c}\left]\right]}\right)\hfill \\ \hfill {\nabla }_{Y_{\mathbf{b}}}{\nabla }_{Y_{\mathbf{a}}}{Y}_{\mathbf{c}}& =\frac{1}{4}\left(Y_{\{\mathbf{b},\{\mathbf{a},\mathbf{c}\left\}\right\}}-X_{\left[\right[\mathbf{b},\{\mathbf{a},\mathbf{c}\}\left]\right]}-2{\nabla }_{Y_{\mathbf{b}}}{X}_{\left[\right[\mathbf{a},\mathbf{c}\left]\right]}\right)\hfill \\ \hfill {\nabla }_{[Y_{\mathbf{a}},Y_{\mathbf{b}}]}{Y}_{\mathbf{c}}& ={\nabla }_{X_{\left[\right[\mathbf{b},\mathbf{a}\left]\right]}}{Y}_{\mathbf{c}}={\nabla }_{Y_{\mathbf{c}}}{X}_{\left[\right[\mathbf{b},\mathbf{a}\left]\right]}+Y_{\left[\right[\left[\right[\mathbf{b},\mathbf{a}\left]\right],\mathbf{c}\left]\right]},\hfill \end{array}$$

(58)

and thus

$$\begin{array}{cc}\hfill \mathrm{G}\left(R_{\mathrm{G}}(Y_{\mathbf{a}},Y_{\mathbf{b}})Y_{\mathbf{c}},Y_{\mathbf{d}}\right)& =\frac{1}{4}\mathrm{G}\left(X_{\left[\right[\mathbf{b},\{\mathbf{a},\mathbf{c}\}\left]\right]}-X_{\left[\right[\mathbf{a},\{\mathbf{b},\mathbf{c}\}\left]\right]}-Y_{\{\mathbf{b},\{\mathbf{a},\mathbf{c}\left\}\right\}}+X_{\left[\right[\mathbf{b},\{\mathbf{a},\mathbf{c}\}\left]\right]}+2Y_{\left[\right[\left[\right[\mathbf{a},\mathbf{b}\left]\right],\mathbf{c}\left]\right]},Y_{\mathbf{d}}\right)+\hfill \\ & +\frac{1}{2}\mathrm{G}\left({\nabla }_{Y_{\mathbf{b}}}{X}_{\left[\right[\mathbf{a},\mathbf{c}\left]\right]}-{\nabla }_{Y_{\mathbf{a}}}{X}_{\left[\right[\mathbf{b},\mathbf{c}\left]\right]}+2{\nabla }_{Y_{\mathbf{c}}}{X}_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]},Y_{\mathbf{d}}\right).\hfill \end{array}$$

(59)

In order to compute the scalar products in the last line of the previous equation, we start noting that, since ∇ is compatible with $\mathrm{G}$, we have

$$Y_{\mathbf{a}}\left(\mathrm{G}(X_{\mathbf{b}},Y_{\mathbf{c}})\right)=\mathrm{G}\left({\nabla }_{Y_{\mathbf{a}}}{X}_{\mathbf{b}},Y_{\mathbf{c}}\right)+\mathrm{G}\left(X_{\mathbf{b}},{\nabla }_{Y_{\mathbf{a}}}{Y}_{\mathbf{c}}\right)$$

(60)

for every $Y_{\mathbf{a}},X_{\mathbf{b}},Y_{\mathbf{c}}$, which implies

$$\begin{array}{cc}\hfill \mathrm{G}\left({\nabla }_{Y_{\mathbf{a}}}{X}_{\mathbf{b}},Y_{\mathbf{c}}\right)& =l_{\{\mathbf{a},[[\mathbf{b},\mathbf{c}]\left]\right\}}^{+}-\frac{1}{2}\mathrm{G}\left(X_{\mathbf{b}},Y_{\{\mathbf{a},\mathbf{c}\}}\right)+\frac{1}{2}\mathrm{G}\left(X_{\mathbf{b}},X_{\left[\right[\mathbf{a},\mathbf{c}\left]\right]}\right)=\hfill \\ & =\frac{1}{2}{l}_{\{\mathbf{a},[[\mathbf{b},\mathbf{c}]\left]\right\}}^{+}-\frac{1}{2}{l}_{\{\mathbf{c},[[\mathbf{b},\mathbf{a}]\left]\right\}}^{+}+\frac{1}{2}\mathrm{G}\left(X_{\mathbf{b}},X_{\left[\right[\mathbf{a},\mathbf{c}\left]\right]}\right)=\hfill \\ & =\frac{1}{2}\mathrm{G}\left(Y_{\left[\right[\mathbf{b},\mathbf{c}\left]\right]},Y_{\mathbf{a}}\right)-\frac{1}{2}\mathrm{G}\left(Y_{\left[\right[\mathbf{b},\mathbf{a}\left]\right]},Y_{\mathbf{c}}\right)+\frac{1}{2}\mathrm{G}\left(X_{\mathbf{b}},X_{\left[\right[\mathbf{a},\mathbf{c}\left]\right]}\right).\hfill \end{array}$$

(61)

Therefore, after exploiting Equation (61) to rewrite the scalar products in the last line of Equation (59), and after a simple manipulation involving the Jacobi identity for the Lie product $\left[\right[,\left]\right]$ (see [53]), we obtain

$$\begin{array}{cc}\hfill \mathrm{G}\left(R_{\mathrm{G}}(Y_{\mathbf{a}},Y_{\mathbf{b}})Y_{\mathbf{c}},Y_{\mathbf{d}}\right)& =\frac{1}{4}\mathrm{G}\left(X_{\left[\right[\mathbf{b},\{\mathbf{a},\mathbf{c}\}\left]\right]},Y_{\mathbf{d}}\right)-\frac{1}{4}\mathrm{G}\left(X_{\left[\right[\mathbf{a},\{\mathbf{b},\mathbf{c}\}\left]\right]},Y_{\mathbf{d}}\right)-\frac{1}{4}\mathrm{G}\left(Y_{\{\mathbf{b},\{\mathbf{a},\mathbf{c}\left\}\right\}},Y_{\mathbf{d}}\right)+\hfill \\ & +\frac{1}{4}\mathrm{G}\left(X_{\left[\right[\mathbf{b},\{\mathbf{a},\mathbf{c}\}\left]\right]},Y_{\mathbf{d}}\right)+\frac{1}{4}\mathrm{G}\left(Y_{\left[\right[\left[\right[\mathbf{a},\mathbf{b}\left]\right],\mathbf{c}\left]\right]},Y_{\mathbf{d}}\right)+\frac{1}{4}\mathrm{G}\left(Y_{\left[\right[\left[\right[\mathbf{a},\mathbf{c}\left]\right],\mathbf{d}\left]\right]},Y_{\mathbf{b}}\right)+\hfill \\ & +\frac{1}{2}\mathrm{G}\left(Y_{\left[\right[\left[\right[\mathbf{a},\mathbf{b}\left]\right],\mathbf{d}\left]\right]},Y_{\mathbf{c}}\right)-\frac{1}{4}\mathrm{G}\left(Y_{\left[\right[\left[\right[\mathbf{b},\mathbf{c}\left]\right],\mathbf{d}\left]\right]},Y_{\mathbf{a}}\right)+\hfill \\ & +\frac{1}{2}\mathrm{G}(X_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]},X_{\left[\right[\mathbf{c},\mathbf{d}\left]\right]})+\frac{1}{4}\mathrm{G}(X_{\left[\right[\mathbf{a},\mathbf{c}\left]\right]},X_{\left[\right[\mathbf{b},\mathbf{d}\left]\right]})-\frac{1}{4}\mathrm{G}(X_{\left[\right[\mathbf{b},\mathbf{c}\left]\right]},X_{\left[\right[\mathbf{a},\mathbf{d}\left]\right]})\hfill \end{array}$$

(62)

Now, a tedious but straightforward computation based on the expansion of all the Jordan and Lie products according to Equation (1) shows that

$$\begin{array}{cc}\hfill \mathrm{G}(R_{\mathrm{G}}(Y_{\mathbf{a}},Y_{\mathbf{b}})Y_{\mathbf{c}},Y_{\mathbf{d}})& =\frac{1}{4}\mathrm{G}\left(Y_{\left[\right[\mathbf{a},\mathbf{d}\left]\right]},Y_{\left[\right[\mathbf{b},\mathbf{c}\left]\right]}\right)-\frac{1}{4}\mathrm{G}\left(Y_{\left[\right[\mathbf{a},\mathbf{c}\left]\right]},Y_{\left[\right[\mathbf{b},\mathbf{d}\left]\right]}\right)-\frac{1}{2}\mathrm{G}\left(Y_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]},Y_{\left[\right[\mathbf{c},\mathbf{d}\left]\right]}\right)+\hfill \\ & +\frac{1}{2}\mathrm{G}(X_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]},X_{\left[\right[\mathbf{c},\mathbf{d}\left]\right]})+\frac{1}{4}\mathrm{G}(X_{\left[\right[\mathbf{a},\mathbf{c}\left]\right]},X_{\left[\right[\mathbf{b},\mathbf{d}\left]\right]})-\frac{1}{4}\mathrm{G}(X_{\left[\right[\mathbf{b},\mathbf{c}\left]\right]},X_{\left[\right[\mathbf{a},\mathbf{d}\left]\right]})\hfill \end{array}$$

(63)

Now, the sectional curvature $K_{\mathrm{G}}$ of $\mathrm{G}$ (see [60] for the definition) reads

$$\begin{array}{cc}\hfill K_{\mathrm{G}}(Y_{\mathbf{a}},Y_{\mathbf{b}})& =\frac{1}{\mathbf{N}}\mathrm{G}\left(R_{\mathrm{G}}(Y_{\mathbf{a}},Y_{\mathbf{b}})Y_{\mathbf{b}},Y_{\mathbf{a}}\right),\hfill \end{array}$$

(64)

where

$$\mathbf{N}:=\mathrm{G}(Y_{\mathbf{a}},Y_{\mathbf{a}})\mathrm{G}(Y_{\mathbf{b}},Y_{\mathbf{b}})-{\left(\mathrm{G}\left(Y_{\mathbf{a}},Y_{\mathbf{b}}\right)\right)}^2=l_{a^2}^{+}{l}_{b^2}^{+}-{\left(l_{\{\mathbf{a},\mathbf{b}\}}^{+}\right)}^2,$$

(65)

and thus we obtain

$$K_{\mathrm{G}}(Y_{\mathbf{a}},Y_{\mathbf{b}})=\frac{3}{4\mathbf{N}}\left(\mathrm{G}\left(Y_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]},Y_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\right)-\mathrm{G}\left(X_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]},X_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\right)\right).$$

(66)

Note that, when $\mathcal{A}$ is Abelian, both the sectional curvature $K_{\mathrm{G}}$ and the Riemann curvature $R_{\mathrm{G}}$ identically vanish for every orbit $\mathcal{O}$.

4. Riemannian Metrics on Manifolds of States

Since we have the Riemannian metric $\mathrm{G}$ on the orbit $\mathcal{O}\subset \mathcal{P}$, we may consider the orbit ${\mathcal{O}}_1\subset \mathcal{O}$ and pull back $\mathrm{G}$ to ${\mathcal{O}}_1$ by means of the immersion map $i_{1+}$ obtaining the Riemannian metric tensor

$${\mathrm{G}}_1:=i_{1+}^{*}\mathrm{G}.$$

(67)

In the following, we will see that this metric tensor determined by the Jordan product “becomes” the Fisher–Rao metric tensor, the Fubini–Study metric tensor, or the Bures–Helstrom metric tensor when we make suitable choices for the explicit form of $\mathcal{A}$ and $\mathcal{O}$.

Recalling the definition of the vector fields ${\mathbb{Y}}_{\mathbf{a}}$ and ${\mathbb{X}}_{\mathbf{a}}$ given in Section 2 below Equation (23), we immediately obtain

$$\begin{array}{cc}\hfill {\mathrm{G}}_1({\mathbb{Y}}_{\mathbf{a}},{\mathbb{Y}}_{\mathbf{b}})& =i_{1+}^{*}\left(\mathrm{G}({\tilde{Y}}_{\mathbf{a}},{\tilde{Y}}_{\mathbf{b}})\right)={\mathit{e}}_{\{\mathbf{a},\mathbf{b}\}}-{\mathit{e}}_{\mathbf{a}}{\mathit{e}}_{\mathbf{b}}\hfill \\ \hfill {\mathrm{G}}_1\left({\mathbb{Y}}_{\mathbf{a}},{\mathbb{X}}_{\mathbf{b}}\right)& =i_{1+}^{*}\left(\mathrm{G}({\tilde{Y}}_{\mathbf{a}},X_{\mathbf{b}})\right)={\mathit{e}}_{\left[\right[\mathbf{b},\mathbf{a}\left]\right]}\hfill \\ \hfill \left(G_1({\mathbb{X}}_{\mathbf{a}},{\mathbb{X}}_{\mathbf{b}})\right)\left(\rho \right)& =\left(i_{1+}^{*}\left(\mathrm{G}(X_{\mathbf{a}},X_{\mathbf{b}})\right)\right)\left(\rho \right)={\mathit{e}}_{\left[[\mathbf{a},B_{\rho }^{\mathbf{b}}]\right]}\left(\rho \right)=\rho \left(\left[[\mathbf{a},B_{\rho }^{\mathbf{b}}]\right]\right).\hfill \end{array}$$

(68)

The set ${\left\{{\mathbb{Y}}_{\mathbf{b}}\left(\rho \right)\right\}}_{\mathbf{b}\in {\mathcal{A}}_{sa}}$ is an overcomplete basis for $T_{\rho }{\mathcal{O}}_1$ for every $\rho \in {\mathcal{O}}_1$, and from the first line of Equation (68) and the second relation in Equation (30), we have that

$$\mathrm{d}{\mathit{e}}_{\mathbf{a}}=G_1({\mathbb{Y}}_{\mathbf{a}},·),$$

(69)

which means that ${\mathbb{Y}}_{\mathbf{a}}$ is the gradient vector field associated with ${\mathit{e}}_{\mathbf{a}}$ by means of the Riemannian metric $G_1$, and this explains why we already called them gradient vector fields in Section 2.

By adapting the proof used for $\mathrm{G}$, we may prove that the Hamiltonian vector fields preserve ${\mathrm{G}}_1$, that is, we may prove that

$${\mathcal{L}}_{{\mathbb{X}}_{\mathbf{a}}}{\mathrm{G}}_1=0$$

(70)

for all $\mathbf{a}\in {\mathcal{A}}_{sa}$. We therefore conclude that ${\mathrm{G}}_1$ is invariant with respect to the action of the unitary group $\mathcal{U}$ on ${\mathcal{O}}_1$ obtained by restricting $\mathsf{\Phi }$ to $\mathcal{U}\subset \mathcal{G}$.

Now, we will compute the covariant derivative ${\nabla }^1$ associated with ${\mathrm{G}}_1$. By applying the Koszul formula (see [60] (thm. 4.3.1)) and proceeding as we did in obtaining Equation (56), we obtain

$${\nabla }_{{\mathbb{Y}}_{\mathbf{a}}}^1{\mathbb{Y}}_{\mathbf{b}}=\frac{1}{2}\left({\mathbb{Y}}_{\{\mathbf{a},\mathbf{b}\}}-{\mathit{e}}_{\mathbf{a}}{\mathbb{Y}}_{\mathbf{b}}-{\mathit{e}}_{\mathbf{b}}{\mathbb{Y}}_{\mathbf{a}}-{\mathbb{X}}_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\right).$$

(71)

By definition of ${\mathrm{G}}_1$, the canonical immersion $i_{1+}:{\mathcal{O}}_1⟶\mathcal{O}$ is a Riemannian immersion between $({\mathcal{O}}_1,{\mathrm{G}}_1)$ and $(\mathcal{O},\mathrm{G})$. Consequently, recalling that ${\mathbb{Y}}_{\mathbf{a}}$ is $i_{1+}$-related with $\widetilde{Y_{\mathbf{a}}}$, we have (see [63] (thm. 1.72))

$$\tilde{{\nabla }_{{\mathbb{Y}}_{\mathbf{a}}}^1{\mathbb{Y}}_{\mathbf{b}}}={\nabla }_{\widetilde{Y_{\mathbf{a}}}}\widetilde{Y_{\mathbf{b}}}+\mathsf{\Pi }(\widetilde{Y_{\mathbf{a}}},\widetilde{Y_{\mathbf{b}}}),$$

(72)

where $\tilde{{\nabla }_{{\mathbb{Y}}_{\mathbf{a}}}{\mathbb{Y}}_{\mathbf{b}}}$ is a vector field on $\mathcal{O}$ which is $i_{1+}$-related with ${\nabla }_{{\mathbb{Y}}_{\mathbf{a}}}{\mathbb{Y}}_{\mathbf{b}}$, and $\mathsf{\Pi }$ is the second fundamental form of ${\mathcal{O}}_1$ in $\mathcal{O}$. From Equations (23) and (71), it immediately follows that

$$\tilde{{\nabla }_{{\mathbb{Y}}_{\mathbf{a}}}^1{\mathbb{Y}}_{\mathbf{b}}}=\frac{1}{2}\left({\tilde{Y}}_{\{\mathbf{a},\mathbf{b}\}}-l_{\mathbf{a}}^{+}\widetilde{Y_{\mathbf{b}}}-l_{\mathbf{b}}^{+}\widetilde{Y_{\mathbf{a}}}-X_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\right),$$

(73)

while, from Equations (23) and (56), it immediately follows that

$${\nabla }_{\widetilde{Y_{\mathbf{a}}}}\widetilde{Y_{\mathbf{b}}}=\frac{1}{2}\left({\tilde{Y}}_{\{\mathbf{a},\mathbf{b}\}}-l_{\mathbf{a}}^{+}\widetilde{Y_{\mathbf{b}}}-l_{\mathbf{b}}^{+}\widetilde{Y_{\mathbf{a}}}-\left(l_{\{\mathbf{a},\mathbf{b}\}}^{+}-l_{\mathbf{a}}^{+}{l}_{\mathbf{b}}^{+}\right)Y_{\mathbb{I}}-X_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\right),$$

(74)

so that

$$\mathsf{\Pi }(\widetilde{Y_{\mathbf{a}}},\widetilde{Y_{\mathbf{b}}})=\tilde{{\nabla }_{{\mathbb{Y}}_{\mathbf{a}}}^1{\mathbb{Y}}_{\mathbf{b}}}-{\nabla }_{\widetilde{Y_{\mathbf{a}}}}\widetilde{Y_{\mathbf{b}}}=\frac{1}{2}\left(l_{\{\mathbf{a},\mathbf{b}\}}^{+}-l_{\mathbf{a}}^{+}{l}_{\mathbf{b}}^{+}\right)Y_{\mathbb{I}}.$$

(75)

This means that ${\mathcal{O}}_1$ is not a totally geodesic submanifold of $\mathcal{O}$. Then, concerning the Riemann curvature tensor $R_{{\mathrm{G}}_1}$ associated with ${\mathrm{G}}_1$, we have the standard formula

$${\mathrm{G}}_1\left(R_{{\mathrm{G}}_1}({\mathbb{Y}}_{\mathbf{a}},{\mathbb{Y}}_{\mathbf{b}}){\mathbb{Y}}_{\mathbf{c}},{\mathbb{Y}}_{\mathbf{d}}\right)=i_{1+}^{*}\left(\mathrm{G}\left(R_{\mathrm{G}}(\widetilde{Y_{\mathbf{a}}},\widetilde{Y_{\mathbf{b}}})\widetilde{Y_{\mathbf{c}}},\widetilde{Y_{\mathbf{d}}}\right)+\mathrm{G}\left(\mathsf{\Pi }(\widetilde{Y_{\mathbf{a}}},\widetilde{Y_{\mathbf{d}}}),\mathsf{\Pi }(\widetilde{Y_{\mathbf{b}}},\widetilde{Y_{\mathbf{c}}})\right)-\mathrm{G}\left(\mathsf{\Pi }(\widetilde{Y_{\mathbf{a}}},\widetilde{Y_{\mathbf{c}}}),\mathsf{\Pi }(\widetilde{Y_{\mathbf{b}}},\widetilde{Y_{\mathbf{d}}})\right)\right),$$

which becomes

$$\begin{array}{cc}\hfill {\mathrm{G}}_1\left(R_{{\mathrm{G}}_1}({\mathbb{Y}}_{\mathbf{a}},{\mathbb{Y}}_{\mathbf{b}}){\mathbb{Y}}_{\mathbf{c}},{\mathbb{Y}}_{\mathbf{d}}\right)& =i_{1+}^{*}\left(\mathrm{G}\left(R_{\mathrm{G}}(Y_{\mathbf{a}},Y_{\mathbf{b}})Y_{\mathbf{c}},Y_{\mathbf{d}}\right)\right)+\frac{{\mathbf{N}}_1^{abcd}}{4},\hfill \end{array}$$

(76)

where

$${\mathbf{N}}_1^{abcd}={\mathrm{G}}_1({\mathbb{Y}}_{\mathbf{a}},{\mathbb{Y}}_{\mathbf{d}}){\mathrm{G}}_1({\mathbb{Y}}_{\mathbf{b}},{\mathbb{Y}}_{\mathbf{c}})-{\mathrm{G}}_1({\mathbb{Y}}_{\mathbf{a}},{\mathbb{Y}}_{\mathbf{c}}){\mathrm{G}}_1({\mathbb{Y}}_{\mathbf{b}},{\mathbb{Y}}_{\mathbf{d}}).$$

(77)

From this, it is immediate to conclude that, unlike what happens for positive linear functionals, the Riemann curvature tensor of ${\mathcal{O}}_1$ does not vanish when $\mathcal{A}$ is Abelian. On the other hand, setting ${\mathbf{N}}_1:={\mathbf{N}}_1^{abba}$, the sectional curvature $K_{G_1}$ of ${\mathrm{G}}_1$ is easily computed to be

$$\begin{array}{cc}\hfill K_{G_1}({\mathbb{Y}}_{\mathbf{a}},{\mathbb{Y}}_{\mathbf{b}})& =\frac{{\mathrm{G}}_1\left(R_{{\mathrm{G}}_1}({\mathbb{Y}}_{\mathbf{a}},{\mathbb{Y}}_{\mathbf{b}}){\mathbb{Y}}_{\mathbf{b}},{\mathbb{Y}}_{\mathbf{a}}\right)}{{\mathbf{N}}_1}=\hfill \\ & =\frac{1}{4}+\frac{3}{4{\mathbf{N}}_1}\left({\mathrm{G}}_1\left({\mathbb{Y}}_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]},{\mathbb{Y}}_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\right)+{\left({\mathit{e}}_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\right)}^2-{\mathrm{G}}_1\left({\mathbb{X}}_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]},{\mathbb{X}}_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}\right)\right),\hfill \end{array}$$

(78)

and we see that the sectional curvature of every ${\mathcal{O}}_1$ is constant and equal to $\frac{1}{4}$ when $\mathcal{A}$ is Abelian.

5. The Fisher–Rao Metric Tensor

Here, we will study the case in which $\mathcal{A}$ is Abelian, and provide a link between the Riemannian metric tensor ${\mathrm{G}}_1$ and the Fisher–Rao metric tensor ${\mathrm{G}}_{FR}$. First of all, we may consider the Abelian $C^{*}$-algebra $\mathcal{A}={\mathbb{C}}^n$ (with $n<\infty$) endowed with component-wise algebraic operations without loss of generality because, up to isomorphism, this is the unique finite-dimensional, Abelian $C^{*}$-algebra. Then, we take the canonical basis ${\left\{e^j\right\}}_{j=1,...,n}$ in ${\mathbb{C}}^n$, so that every $\mathbf{a}\in \mathcal{A}$ can be written as

$$\mathbf{a}=a_j{e}^j$$

(79)

with $a_j\in \mathbb{C}$ for all $j=1,...,n$. In particular, $\mathbf{a}$ is a self-adjoint element if and only if $a_j$ is real for all $j=1,...,n$. By considering the dual basis ${\left\{e_j\right\}}_{j=1,...,n}$ of ${\left\{e^j\right\}}_{j=1,...,n}$, we introduce its associated Cartesian coordinate system ${\left\{p^j\right\}}_{j=1,...,n}$ on $\mathcal{V}$, and it is immediate to check that $\mathcal{V}$ may be identified with ${\mathbb{R}}^n$, the cone $\mathcal{P}$ may be identified with the positive orthant ${\mathbb{P}}^n$ in ${\mathbb{R}}^n$ (without the zero), and the space of states $\mathcal{S}$ may be identified with the standard n-simplex ${∆}^n$ in ${\mathbb{R}}^n$.

Concerning the orbits of $\mathcal{G}$, we first fix a reference element ${\omega }_{*}\in \mathcal{P}$ such that $p^j\left({\omega }_{*}\right)\ne 0$ only for a subset $J_{*}\subseteq 2^{\{1,...,n\}}$, and then note that the orbit $\mathcal{O}$ of $\mathcal{G}$ through ${\omega }_{*}\in \mathcal{P}$ is given by all those positive linear functionals $\omega$ such that $p^j\left(\omega \right)\ne 0$ if and only if $j\in J_{*}$. In particular, every orbit $\mathcal{O}$ may be identified with the open interior of the positive cone in ${\mathbb{R}}^m$ with $m=\mathrm{card}\left(J_{*}\right)$ (cardinality of $J_{*}$).

Similarly, if we fix a reference state ${\rho }_{*}\in \mathcal{S}$ such that $p^j\left({\rho }_{*}\right)\ne 0$ only for a subset $J_{*}\subseteq 2^{\{1,...,n\}}$ (i.e., a probability vector supported on $J_{*}$), we have that the orbit ${\mathcal{O}}_1$ of $\mathcal{G}$ through ${\rho }_{*}\in \mathcal{S}$ is given by all those states $\rho$ such that $p^j\left(\rho \right)\ne 0$ if and only if $j\in J_{*}$. In particular, every orbit ${\mathcal{O}}_1$ may be identified with the open interior of the m-simplex in ${\mathbb{R}}^m$ with $m=\mathrm{card}\left(J_{*}\right)$.

The linear function $l_{\mathbf{a}}$ associated with $\mathbf{a}\in {\mathcal{A}}_{sa}$ reads

$$l_{\mathbf{a}}=a_j{p}^j,$$

(80)

and we have that

$$l_{\left[\right[\mathbf{a},\mathbf{b}\left]\right]}=0\forall \mathbf{a},\mathbf{b}\in {\mathcal{A}}_{sa}$$

(81)

because $\mathcal{A}$ is Abelian, and

$$l_{\{\mathbf{a},\mathbf{b}\}}=\sum _{j=1}^n{a}_j{b}_j{p}^j$$

(82)

because $\mathcal{A}$ is Abelian and its product operation is defined component-wise. This means that the tensor field $\mathsf{\Lambda }$ vanishes, while the tensor field $\mathcal{R}$ may be written as

$$\mathcal{R}=\sum _{j=1}^n{p}^j\frac{\partial }{\partial p^j}\otimes \frac{\partial }{\partial p^j}.$$

(83)

It is then clear that the “inverse” $\mathrm{G}$ of $\mathcal{R}$ on the orbit $\mathcal{O}$ may be written as

$$\mathrm{G}=\sum _{j\in J_{*}}\frac{1}{p^j}\mathrm{d}{p}^j\otimes \mathrm{d}{p}^j,$$

(84)

and the pullback tensor

$${\mathrm{G}}_1=i_{1+}^{*}\mathrm{G},$$

(85)

on ${\mathcal{O}}_1$ coincides with the canonical Fisher–Rao metric tensor ${\mathrm{G}}_{FR}$ (see [5] (sec. 2.2)) on ${\mathcal{O}}_1$ when the latter is considered as the open interior of the m-simplex in ${\mathbb{R}}^m$ with $m=\mathrm{card}\left(J_{*}\right)$.

Quite provocatively, we may say that the Fisher–Rao metric tensor is a built-in feature of the $C^{*}$-algebraic approach to classical probability theory on finite sample spaces, and that, in this context, the natural object to start with is the contravariant tensor field $\mathcal{R}$ from which the Fisher–Rao metric tensor (a covariant tensor field) may be recovered as explained above.

6. From the Gelfand-Naimark-Segal Construction to Riemannian Geometries

In this section, we will take inspiration from the reduction procedure adopted to define the Fubini–Study metric tensor on the manifold of pure quantum states (see [64,65]), as well as from Uhlmann’s purification procedure adopted to define the Bures–Helstrom metric tensor on the manifold of faithful quantum states (see [44,45,46,47,66,67]), to give a more appealing geometrical picture of the metric tensors on the manifolds of states on $\mathcal{A}$ introduced in the previous section. Essentially, we will build a geometrical picture that is somehow dual to the one presented before. Indeed, in Section 4, the Riemannian manifold $({\mathcal{O}}_1,{\mathrm{G}}_1)$ was thought of as the source of a Riemannian immersion into the Riemannian manifold $(\mathcal{O},\mathrm{G})$, while here, the Riemannian manifold $({\mathcal{O}}_1,{\mathrm{G}}_1)$ will be shown to be the target of a Riemannian submersion from an open submanifold of a suitably big sphere.

In order to develop our ideas, we need to briefly recall some aspects of the geometry of a complex Hilbert space $\mathcal{H}$ as a real Kähler manifold (see [64,68,69]). First of all, every complex Hilbert space $\mathcal{H}$ may always be thought of as a real, smooth Hilbert manifold (much of what we will say applies also to infinite-dimensional Hilbert spaces, but we will confine the discussion to the finite-dimensional case). Indeed, we may always consider the realification ${\mathcal{H}}_{\mathbb{R}}$ as the model space. The realification ${\mathcal{H}}_{\mathbb{R}}$ is obtained by restricting linear combinations of elements in $\mathcal{H}$ to have only real coefficients, and by defining a real Hilbert product as the real part of the complex Hilbert product on $\mathcal{H}$. In the following, we will write $\mathcal{H}$ to denote both the complex Hilbert space and the real, smooth Hilbert manifold modeled on ${\mathcal{H}}_{\mathbb{R}}$. This should not induce confusion since the context will always clarify which is the mathematical aspect of $\mathcal{H}$ we are referring to. The tangent space $T_{\psi }\mathcal{H}$ at $\psi \in \mathcal{H}$ may be identified with $\mathcal{H}$ itself because $\mathcal{H}$ is a vector manifold. Consequently, we may set

$$\mathsf{\Omega }(X_{\psi },Y_{\psi }):=\frac{2}{ı}\left(\langle X_{\psi },Y_{\psi }\rangle -\langle Y_{\psi },X_{\psi }\rangle \right),$$

(86)

and

$$\mathcal{E}(X_{\psi },Y_{\psi }):=2\left(\langle X_{\psi },Y_{\psi }\rangle +\langle Y_{\psi },X_{\psi }\rangle \right),$$

(87)

so that a direct computation shows that $\mathsf{\Omega }$ is a symplectic form and that $\mathcal{E}$ is a Riemannian metric tensor.

Now, let us fix a state $\rho$. We denote by $\mathcal{H}$ the GNS Hilbert space associated with $\rho$, by ${\psi }_{\mathbb{I}}$ the GNS vector associated with $\rho$, and with $\mathrm{r}$ the GNS representation of $\mathcal{A}$ in $\mathcal{B}\left(\mathcal{H}\right)$. Every vector ${\psi }_{\mathbf{a}}\in \mathcal{H}$ gives rise to a positive linear functional on $\mathcal{A}$ given by

$${\omega }_{{\psi }_{\mathbf{a}}}\left(\mathbf{c}\right):=\langle {\psi }_{\mathbf{a}}\left|\mathrm{r}\left(\mathbf{c}\right)\right|{\psi }_{\mathbf{a}}\rangle ,$$

(88)

in particular, if the vector is normalized, the associated positive linear functional is a state.

For every ${\psi }_{\mathbf{a}}\in {\mathcal{H}}_0=\mathcal{H}-\left\{\mathbf{0}\right\}$ we set

$$\widehat{{\psi }_{\mathbf{a}}}=\frac{{\psi }_{\mathbf{a}}}{\sqrt{\langle {\psi }_{\mathbf{a}}|{\psi }_{\mathbf{a}}\rangle }}$$

(89)

so that $\widehat{{\psi }_{\mathbf{a}}}$ is automatically on the unit sphere ${\mathrm{S}}_1$ in $\mathcal{H}$, and every element in ${\mathrm{S}}_1$ may be written as $\widehat{{\psi }_{\mathbf{a}}}$ for some ${\psi }_{\mathbf{a}}$ with $\mathbf{a}\notin N_{\rho }$. Note that the condition $\langle {\psi }_{\mathbf{a}}|{\psi }_{\mathbf{a}}\rangle =\rho \left({\mathbf{a}}^{†}\mathbf{a}\right)=0$ means that $\mathbf{a}$ is in the ideal $N_{\rho }$, which means that ${\psi }_{\mathbf{a}}$ is the null vector in $\mathcal{H}$. Then, the map $\pi :{\mathrm{S}}_1⟶\mathcal{S}$ given by

$$\widehat{{\psi }_{\mathbf{a}}}\mapsto \pi \left(\widehat{{\psi }_{\mathbf{a}}}\right):={\rho }_{\widehat{{\psi }_{\mathbf{a}}}}$$

(90)

is easily seen to be continuous with respect to the topology underlying the standard differential structure of ${\mathrm{S}}_1$ and the weak* topology on $\mathcal{S}$ (which in the finite-dimensional case coincides with the norm topology). Furthermore, the image of ${\mathrm{S}}_1$ through $\pi$ consists of all those states ${\rho }_{\widehat{{\psi }_{\mathbf{a}}}}$ acting as

$${\rho }_{\widehat{{\psi }_{\mathbf{a}}}}\left(\mathbf{c}\right)=\frac{\rho \left({\mathbf{a}}^{†}\mathbf{c}\mathbf{a}\right)}{\rho \left({\mathbf{a}}^{†}\mathbf{a}\right)}.$$

(91)

In particular, from this last equation we immediately see that the smooth homogeneous space ${\mathcal{O}}_1$ containing $\rho$ is in the image of ${\mathrm{S}}_1$ through $\pi$.

Now, in the finite-dimensional case, the Hilbert space $\mathcal{H}$ is just the quotient $\mathcal{A}/N_{\rho }$, where $N_{\rho }$ is the Gel’fand ideal associated with $\rho$. There is a natural projection map $\mathrm{pr}:\mathcal{A}⟶\mathcal{H}$, and this projection map is an open map because $\mathcal{H}=\mathcal{A}/N_{\rho }$ is the quotient by a group action. Consequently, the space

$$\mathcal{H}\left(\mathcal{G}\right):=\left\{\psi \in \mathcal{H}:\exists \mathrm{g}\in \mathcal{G}|\psi =\mathrm{pr}(\mathrm{g})\right\}$$

(92)

is open in $\mathcal{H}$ because it is the image $\mathrm{pr}\left(\mathcal{G}\right)$ of the open set $\mathcal{G}\subset \mathcal{A}$, and if we set

$${\mathrm{S}}_1\left(\mathcal{G}\right):=\mathcal{H}\left(\mathcal{G}\right)\cap {\mathrm{S}}_1,$$

(93)

we immediately conclude that ${\mathrm{S}}_1\left(\mathcal{G}\right)$ is an open submanifold of the unit sphere ${\mathrm{S}}_1$, and that, essentially by definition, every $\psi \in {\mathrm{S}}_1\left(\mathcal{G}\right)$ is such that there exists an invertible element $\mathrm{g}\in \mathcal{G}$ such that $\psi =\mathrm{pr}\left(\mathrm{g}\right)=\widehat{{\psi }_{\mathrm{g}}}$. This means that the image $\pi \left({\mathrm{S}}_1\left(\mathcal{G}\right)\right)$ in $\mathcal{S}$ through the map $\pi$ defined in Equation (90) coincides with the orbit ${\mathcal{O}}_1\subset \mathcal{S}$ and vice versa. This is analogous to the correspondence between the positive octant of the sphere and the unit simplex, as exploited in [9].

We note that there is a left action $\beta$ of $\mathcal{G}$ on the sphere ${\mathrm{S}}_1$ given by

$$(\mathrm{g},\widehat{{\psi }_{\mathbf{c}}})\mapsto \beta (\mathrm{g},\widehat{{\psi }_{\mathbf{c}}})=\frac{\left(\mathrm{r}\left(\mathrm{g}\right)\right)\left({\psi }_{\mathbf{c}}\right)}{\sqrt{\langle {\psi }_{\mathbf{c}}\left|\mathrm{r}\left({\mathrm{g}}^{†}\mathrm{g}\right)\right|{\psi }_{\mathbf{c}}\rangle }}\equiv \widehat{\left(\mathrm{r}\left(\mathrm{g}\right)\right)\left({\psi }_{\mathbf{c}}\right)}.$$

(94)

This action is smooth, and its fundamental vector fields ${\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}$ are easily seen to be

$${\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}\left(\widehat{{\psi }_{\mathbf{c}}}\right)=\frac{1}{2}\left(\mathrm{r}\left(\mathbf{a}\right)+ı\mathrm{r}\left(\mathbf{b}\right)\right)\left(\widehat{{\psi }_{\mathbf{c}}}\right)-\frac{1}{2}\langle \widehat{{\psi }_{\mathbf{c}}}|\mathrm{r}\left(\mathbf{a}\right)|\widehat{{\psi }_{\mathbf{c}}}\rangle \widehat{{\psi }_{\mathbf{c}}},$$

(95)

where we implicitly assumed that $\mathrm{g}={\mathrm{e}}^{\frac{1}{2}(\mathbf{a}+ı\mathbf{b})}$ with $\mathbf{a},\mathbf{b}\in {\mathcal{A}}_{sa}$. Essentially by definition, this action preserves the open submanifold ${\mathrm{S}}_1\left(\mathcal{G}\right)$ of the unit sphere, and it is actually transitive on it as can be checked by direct inspection. Consequently, the vector fields ${\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}$ provide an overcomplete basis for the tangent space at each $\widehat{{\psi }_{\mathrm{g}}}\in {\mathrm{S}}_1\left(\mathcal{G}\right)$.

Proposition 3.

The map $\pi :{\mathrm{S}}_1\left(\mathcal{G}\right)⟶{\mathcal{O}}_1$ obtained by restricting the map π of Equation (90) is a submersion.

Proof. 

To prove the proposition, we will show that

$$T_{\widehat{{\psi }_{\mathrm{g}}}}\pi \left({\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}\left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)={\mathrm{Y}}_{\mathbf{a}\mathbf{b}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right),$$

(96)

where ${\mathrm{Y}}_{\mathbf{a}\mathbf{b}}$ is the fundamental vector field of the (transitive) action $\mathsf{\Phi }$ of $\mathcal{G}$ on ${\mathcal{O}}_1$ (see Equation (24)), which proves that $T_{\widehat{{\psi }_{\mathrm{g}}}}\pi$ is surjective for every $\widehat{{\psi }_{\mathrm{g}}}\in {\mathrm{S}}_1\left(\mathcal{G}\right)$. The proof of Equation (96) is obtained by noting that

$${\pi }^{*}{\mathit{e}}_{\mathbf{c}}\left(\widehat{{\psi }_{\mathrm{g}}}\right)={\mathit{e}}_{\mathbf{c}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)={\rho }_{\widehat{{\psi }_{\mathrm{g}}}}\left(\mathbf{c}\right)=\frac{\langle {\psi }_{\mathrm{g}}\left|\mathrm{r}\left(\mathbf{c}\right)\right|{\psi }_{\mathrm{g}}\rangle }{\langle {\psi }_{\mathrm{g}}|{\psi }_{\mathrm{g}}\rangle }=\langle \widehat{{\psi }_{\mathrm{g}}}|\mathrm{r}\left(\mathbf{c}\right)|\widehat{{\psi }_{\mathrm{g}}}\rangle ,$$

(97)

and then directly computing

$$\begin{array}{cc}\hfill \frac{\mathrm{d}}{\mathrm{d}t}{\left({\pi }^{*}{\mathit{e}}_{\mathbf{c}}\left({\mathrm{Fl}}_t^{{\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}}\left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)\right)}_{t=0}& =\frac{\mathrm{d}}{\mathrm{d}t}{\left(\frac{\langle {\psi }_{\mathrm{g}}\left|\mathrm{r}\left({\mathrm{e}}^{\frac{t}{2}(\mathbf{a}-ı\mathbf{b})}\right)\mathrm{r}\left(\mathbf{c}\right)\mathrm{r}\left({\mathrm{e}}^{\frac{t}{2}(\mathbf{a}+ı\mathbf{b})}\right)\right|{\psi }_{\mathrm{g}}\rangle }{\langle {\psi }_{\mathrm{g}}\left|\mathrm{r}\left({\mathrm{e}}^{\frac{t}{2}(\mathbf{a}-ı\mathbf{b})}\right)\mathrm{r}\left({\mathrm{e}}^{\frac{t}{2}(\mathbf{a}+ı\mathbf{b})}\right)\right|{\psi }_{\mathrm{g}}\rangle }\right)}_{t=0}=\hfill \\ & =\frac{\langle {\psi }_{\mathrm{g}}\left|\mathrm{r}\left(\{\mathbf{a},\mathbf{c}\}+\left[\right[\mathbf{b},\mathbf{c}\left]\right]\right)\right|{\psi }_{\mathrm{g}}\rangle }{\langle {\psi }_{\mathrm{g}}|{\psi }_{\mathrm{g}}\rangle }-\frac{\langle {\psi }_{\mathrm{g}}\left|\mathrm{r}\left(\mathbf{c}\right)\right|{\psi }_{\mathrm{g}}\rangle }{\langle {\psi }_{\mathrm{g}}|{\psi }_{\mathrm{g}}\rangle }\frac{\langle {\psi }_{\mathrm{g}}\left|\mathrm{r}\left(\mathbf{a}\right)\right|{\psi }_{\mathrm{g}}\rangle }{\langle {\psi }_{\mathrm{g}}|{\psi }_{\mathrm{g}}\rangle }=\hfill \\ & ={\mathit{e}}_{\{\mathbf{a},\mathbf{c}\}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)+{\mathit{e}}_{\left[\right[\mathbf{b},\mathbf{c}\left]\right]}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)-{\mathit{e}}_{\mathbf{a}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right){\mathit{e}}_{\mathbf{c}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right).\hfill \end{array}$$

(98)

□

Remark 2.

From this proposition, we conclude that every ${\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}$ is π-related with the fundamental vector field ${\mathrm{Y}}_{\mathbf{a}\mathbf{b}}={\mathbb{Y}}_{\mathbf{a}}+{\mathbb{X}}_{\mathbf{b}}$ of the action Φ of $\mathcal{G}$ on ${\mathcal{O}}_1$ given in Equation (27), and thus the action of $\mathcal{G}$ on ${\mathcal{O}}_1$ may be seen as the projected shadow of the action of $\mathcal{G}$ on ${\mathrm{S}}_1\left(\mathcal{G}\right)$. In particular, the same is true for the action of the unitary group $\mathcal{U}$ on ${\mathcal{O}}_1$. Furthermore, the validity of Equation (96) implies that the kernel of $T_{\widehat{{\psi }_{\mathrm{g}}}}\pi$ coincides with the isotropy algebra ${\mathfrak{g}}_{\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)}^{\mathsf{\Phi }}$ of the action Φ at $\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)$. This is consistent with the fact that the equality

$$\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)=\pi \left(\widehat{{\psi }_{\mathrm{h}}}\right)$$

(99)

is equivalent to

$$\mathrm{h}=\mathrm{k}\mathrm{g}$$

(100)

with $\mathrm{k}$ in the isotropy subgroup ${\mathcal{G}}_{\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)}$ of $\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\in {\mathcal{O}}_1\subset \mathcal{S}$ with respect to Φ, as can easily be checked.

On the unit sphere ${\mathrm{S}}_1$ there is the action of another relevant Lie group, namely, the Lie group ${\mathcal{U}}^{\prime }\subset \mathcal{B}\left(\mathcal{H}\right)$, which consists of unitary elements in the commutant ${\mathcal{A}}^{\prime }$ of $\mathrm{r}\left(\mathcal{A}\right)$ in $\mathcal{B}\left(\mathcal{H}\right)$. The action of ${\mathcal{U}}^{\prime }$ on ${\mathrm{S}}_1$ is just the restriction of its natural action on $\mathcal{H}$, and this action is proper because both ${\mathcal{U}}^{\prime }$ and ${\mathrm{S}}_1$ are compact (in the finite-dimensional case). The fundamental vector fields of this action will be denoted by ${\mathsf{\Xi }}_{\mathbf{b}}$, where $\mathbf{B}\in {\mathcal{A}}^{\prime }\subset \mathcal{B}\left(\mathcal{H}\right)$ is skew-adjoint (i.e., ${\mathbf{B}}^{†}=-\mathbf{B}$), and it is possible to prove that every ${\mathsf{\Xi }}_{\mathbf{b}}$ commutes with every ${\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}$. Indeed, the flow ${\mathrm{Fl}}_t^{{\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}}$ of ${\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}$ on $\widehat{{\psi }_{\mathbf{c}}}$ is given by (see [59] for the definition of the flow of a vector field)

$${\mathrm{Fl}}_t^{{\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}}\left(\widehat{{\psi }_{\mathbf{c}}}\right)=\frac{\left(\mathrm{r}\left({\mathrm{g}}_t\right)\right)\left({\psi }_{\mathbf{c}}\right)}{\sqrt{\langle {\psi }_{\mathbf{c}}\left|\mathrm{r}\left({\mathrm{g}}_t^{†}{\mathrm{g}}_t\right)\right|{\psi }_{\mathbf{c}}\rangle }}$$

(101)

with ${\mathrm{g}}_t={\mathrm{e}}^{\frac{t}{2}(\mathbf{a}+ı\mathbf{b})}$ (see Equation (94)), while the flow ${\mathrm{Fl}}_t^{{\mathsf{\Xi }}_{\mathbf{b}}}$ of ${\mathsf{\Xi }}_{\mathbf{b}}$ on $\widehat{{\psi }_{\mathbf{c}}}$, by definition, is just

$${\mathrm{Fl}}_t^{{\mathsf{\Xi }}_{\mathbf{b}}}\left(\widehat{{\psi }_{\mathbf{c}}}\right)=U_t^{\prime }\left(\widehat{{\psi }_{\mathbf{c}}}\right)$$

(102)

with $U_t^{\prime }={\mathrm{e}}^{t\mathbf{B}}$, and, since $U_t^{\prime }\in {\mathcal{A}}^{\prime }$, it immediately follows that the flows of these vector fields commute, i.e., the vector fields themselves commute.

Proposition 4.

The group ${\mathcal{U}}^{\prime }$ acts freely and properly on ${\mathrm{S}}_1\left(\mathcal{G}\right)$, and there is a diffeomorphism between the quotient space $M={\mathrm{S}}_1\left(\mathcal{G}\right)/{\mathcal{U}}^{\prime }$ endowed with the canonical smooth structure coming from the free and proper action and the smooth manifold ${\mathcal{O}}_1$ endowed with the smooth structure recalled in Section 2.

Proof. 

First of all, a direct computation shows that

$$\pi \left(U^{\prime }\left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)=\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)$$

(103)

for every $U^{\prime }\in {\mathcal{U}}^{\prime }$ and every $\widehat{{\psi }_{\mathrm{g}}}\in {\mathrm{S}}_1\left(\mathcal{G}\right)$, and thus the action of ${\mathcal{U}}^{\prime }$ preserves ${\mathrm{S}}_1\left(\mathcal{G}\right)$ because ${\mathrm{S}}_1\left(\mathcal{G}\right)$ is the preimage of ${\mathcal{O}}_1$ through $\pi$. Then, we note that the action of ${\mathcal{U}}^{\prime }$ in ${\mathrm{S}}_1\left(\mathcal{G}\right)$ is proper for the group being compact. To show that it is free, note that, by construction of the GNS representation, the vector ${\psi }_{\mathbb{I}}$ is cyclic for $\mathrm{r}\left(\mathcal{A}\right)$, and it is separating for ${\mathcal{A}}^{\prime }$ because of a standard result (see [49] (prop. 2.5.3)). Consequently, if ${\mathbf{a}}^{\prime }\in {\mathcal{A}}^{\prime }$ is such that

$${\mathbf{a}}^{\prime }\left({\psi }_{\mathbb{I}}\right)=\mathbf{0},$$

(104)

then ${\mathbf{a}}^{\prime }$ is the zero element in $\mathcal{B}\left(\mathcal{H}\right)$. This means that the isotropy group ${\mathcal{U}}_{{\psi }_{\mathbb{I}}}^{\prime }$ of ${\psi }_{\mathbb{I}}$ with respect to the action of ${\mathcal{U}}^{\prime }\subset {\mathcal{A}}^{\prime }$ is the trivial group consisting only of the identity operator on $\mathcal{H}$. Furthermore, the isotropy group ${\mathcal{U}}_{{\psi }_{\mathrm{g}}}^{\prime }$ of every ${\psi }_{\mathrm{g}}\in {\mathrm{S}}_1\left(\mathcal{G}\right)$ is the trivial subgroup. Indeed, every ${\psi }_{\mathrm{g}}\in {\mathrm{S}}_1\left(\mathcal{G}\right)$ is cyclic for $\mathrm{r}\left(\mathcal{A}\right)$ because

$${\psi }_{\mathbf{c}}=\left(\mathrm{r}\left(\mathbf{c}{\mathrm{g}}^{-1}\right)\right)\left({\psi }_{\mathrm{g}}\right)\forall {\psi }_{\mathbf{c}}\in \mathcal{H},$$

(105)

and thus ${\psi }_{\mathrm{g}}$ is separating for ${\mathcal{A}}^{\prime }$ (see [49] (prop. 2.5.3)) and we may proceed as before. From this, we have that the quotient space $M={\mathrm{S}}_1\left(\mathcal{G}\right)/{\mathcal{U}}^{\prime }$ is a smooth manifold.

The group $\mathcal{G}$ acts on M by means of the projection of the action $\beta$ on ${\mathrm{S}}_1\left(\mathcal{G}\right)$ introduced before because the fundamental vector fields ${\mathsf{\Psi }}_{\mathbf{a}\mathbf{b}}$ generating $\beta$ commute with the fundamental vector fields ${\mathsf{\Xi }}_{\mathbf{b}}$ generating the action of ${\mathcal{U}}^{\prime }$ giving rise to M. Furthermore, this action is transitive on M because $\beta$ is transitive on ${\mathrm{S}}_1\left(\mathcal{G}\right)$. We denote this action by $\tilde{\mathsf{\Phi }}$, and we have

$$\widetilde{{\mathsf{\Phi }}_{\mathrm{h}}}\left(\left[\widehat{{\psi }_{\mathrm{g}}}\right]\right)=\left[{\beta }_{\mathrm{h}}\left(\widehat{{\psi }_{\mathrm{g}}}\right)\right].$$

(106)

From this it follows that $\mathrm{h}$ is in the isotropy group of $\left[\widehat{{\psi }_{\mathrm{g}}}\right]$ with respect to $\tilde{\mathsf{\Phi }}$ if and only if (recall that the isotropy subgroup of $\left[\widehat{{\psi }_{\mathrm{g}}}\right]$ with respect to $\tilde{\mathsf{\Phi }}$ is the set of all group elements in ${\mathcal{U}}^{\prime }$ leaving $\left[\widehat{{\psi }_{\mathrm{g}}}\right]$ unaltered)

$$\left[{\beta }_{\mathrm{h}}\left(\widehat{{\psi }_{\mathrm{g}}}\right)\right]=\left[\widehat{{\psi }_{\mathrm{g}}}\right],$$

(107)

that is, if and only if there exists a unitary element $U_{\mathrm{h}}^{\prime }$ such that

$${\beta }_{\mathrm{h}}\left(\widehat{{\psi }_{\mathrm{g}}}\right)=U_{\mathrm{h}}^{\prime }\left(\widehat{{\psi }_{\mathrm{g}}}\right).$$

(108)

Clearly, this means that

$$\pi \left({\beta }_{\mathrm{h}}\left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)=\pi \left(U_{\mathrm{h}}^{\prime }\left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)=\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right),$$

(109)

and thus $\mathrm{h}$ is in the isotropy subgroup ${\mathcal{G}}_{\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)}$ of $\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\in {\mathcal{O}}_1\subset \mathcal{S}$ with respect to $\mathsf{\Phi }$ (see Remark 2). Therefore, $\left[\widehat{{\psi }_{\mathrm{g}}}\right]\in M$ and $\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\in {\mathcal{O}}_1$ have the same isotropy group for every $\widehat{{\psi }_{\mathrm{g}}}\in {\mathrm{S}}_1\left(\mathcal{G}\right)$, and this implies that there is a diffeomorphism between M endowed with the differential structure and the $\mathcal{G}$-action coming from the quotient procedure on ${\mathrm{S}}_1\left(\mathcal{G}\right)$ and the manifold ${\mathcal{O}}_1\subset \mathcal{S}$ endowed with the smooth structure and the $\mathcal{G}$-action recalled in Section 2.

Note, however, that this diffeomorphism does not extend to the boundaries where it is only a homeomorphism. □

At this point, we consider the metric tensor g on ${\mathrm{S}}_1\left(\mathcal{G}\right)$ which is the pullback of the Euclidean tensor $\mathcal{E}$ on $\mathcal{H}$ by means of the canonical immersion of ${\mathrm{S}}_1\left(\mathcal{G}\right)$ into $\mathcal{H}$ given by the identification map, and we will prove that the projection map $\pi :{\mathrm{S}}_1\left(\mathcal{G}\right)⟶{\mathcal{O}}_1$ is a Riemannian submersion between $({\mathrm{S}}_1\left(\mathcal{G}\right),g)$ and $({\mathcal{O}}_1,{\mathrm{G}}_1)$. First of all, we note that the vector fields ${\mathsf{\Xi }}_{\mathbf{b}}$ generating the action of ${\mathcal{U}}^{\prime }$ on ${\mathrm{S}}_1\left(\mathcal{G}\right)$ span the kernel of $\pi$ because of Proposition 4. Then, a direct computation shows that

$$g({\mathsf{\Psi }}_{\mathbf{a}\mathbf{0}},{\mathsf{\Xi }}_{\mathbf{b}})=0$$

(110)

for every $\mathbf{a}\in {\mathcal{A}}_{sa}$ and every $\mathbf{B}$ in the Lie algebra of ${\mathcal{U}}^{\prime }$. Indeed, we have

$$g_{\widehat{{\psi }_{\mathrm{g}}}}\left({\mathsf{\Psi }}_{\mathbf{a}\mathbf{0}}\left(\widehat{{\psi }_{\mathrm{g}}}\right),{\mathsf{\Xi }}_{\mathbf{b}}\left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)=2\left(\langle \widehat{{\psi }_{\mathrm{g}}}\left|r\left(\mathbf{a}\right)\mathbf{B}\right|\widehat{{\psi }_{\mathrm{g}}}\rangle +\langle \widehat{{\psi }_{\mathrm{g}}}|{\mathbf{B}}^{†}\mathrm{r}\left(\mathbf{a}\right)|\widehat{{\psi }_{\mathrm{g}}}\rangle \right)=0$$

(111)

because $\mathbf{B}$ is skew-adjoint and commutes with $\mathrm{r}\left(\mathbf{a}\right)$. This means that the linear span of the ${\mathsf{\Psi }}_{\mathbf{a}\mathbf{0}}$’s is in the orthogonal complement of the vertical distribution. However, $\pi$ being a submersion, we have

$$\dim \left({\mathrm{S}}_1\left(\mathcal{G}\right)\right)=\dim \left({\mathcal{O}}_1\right)+\dim \left({\mathcal{U}}^{\prime }\right),$$

(112)

and since the ${\mathsf{\Psi }}_{\mathbf{a}\mathbf{0}}$’s are $\pi$-related with the gradient vector fields ${\mathbb{Y}}_{\mathbf{a}}$ (see Remark 2), and these vector fields provide an overcomplete basis of tangent vectors at each point in ${\mathcal{O}}_1$, we conclude that the linear span of the ${\mathsf{\Psi }}_{\mathbf{a}\mathbf{0}}$’s generates the whole orthogonal complement of the vertical distribution at each point in ${\mathrm{S}}_1\left(\mathcal{G}\right)$. What is left to prove is that

$$g\left({\mathsf{\Psi }}_{\mathbf{a}\mathbf{0}},{\mathsf{\Psi }}_{b0}\right)={\mathrm{G}}_1\left({\mathbb{Y}}_{\mathbf{a}},{\mathbb{Y}}_{\mathbf{b}}\right)$$

(113)

for all $\mathbf{a},\mathbf{b}\in {\mathcal{A}}_{sa}$. For this purpose, recalling first Equation (95), then Equation (97), and then Equation (68), we have

$$\begin{array}{cc}\hfill g_{\widehat{{\psi }_{\mathrm{g}}}}\left({\mathsf{\Psi }}_{\mathbf{a}\mathbf{0}}\left(\widehat{{\psi }_{\mathrm{g}}}\right),{\mathsf{\Psi }}_{b0}\left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)& =\frac{1}{2}\left(\langle \widehat{{\psi }_{\mathrm{g}}}|r\left(\mathbf{a}\right)\mathrm{r}\left(\mathbf{b}\right)+r\left(\mathbf{b}\right)\mathrm{r}\left(\mathbf{a}\right)|\widehat{{\psi }_{\mathrm{g}}}\rangle \right)-\langle \widehat{{\psi }_{\mathrm{g}}}\left|\mathrm{r}\left(\mathbf{a}\right)\right|\widehat{{\psi }_{\mathrm{g}}}\rangle \langle \widehat{{\psi }_{\mathrm{g}}}\left|\mathrm{r}\left(\mathbf{b}\right)\right|\widehat{{\psi }_{\mathrm{g}}}\rangle =\hfill \\ & ={\rho }_{\widehat{{\psi }_{\mathrm{g}}}}\left(\{\mathbf{a},\mathbf{b}\}\right)-{\rho }_{\widehat{{\psi }_{\mathrm{g}}}}\left(\mathbf{a}\right){\rho }_{\widehat{{\psi }_{\mathrm{g}}}}\left(\mathbf{b}\right)=\hfill \\ & ={\mathit{e}}_{\{\mathbf{a},\mathbf{b}\}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)-{\mathit{e}}_{\mathbf{a}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right){\mathit{e}}_{\mathbf{b}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)=\hfill \\ & ={\left({\mathrm{G}}_1\right)}_{\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)}\left({\mathbb{Y}}_{\mathbf{a}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right),{\mathbb{Y}}_{\mathbf{b}}\left(\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)\right)\right),\hfill \end{array}$$

(114)

which proves the validity of Equation (113), which implies that $\pi$ is a Riemannian submersion between $({\mathrm{S}}_1\left(\mathcal{G}\right),g)$ and $({\mathcal{O}}_1,{\mathrm{G}}_1)$ as claimed.

The fact that $\pi$ is a Riemannian submersion implies that every geodesic of ${\mathrm{G}}_1$ on ${\mathcal{O}}_1$ may be written as the projection of a geodesic of g on ${\mathrm{S}}_1\left(\mathcal{G}\right)$ having initial tangent vector in the horizontal distribution. Therefore, since ${\mathrm{S}}_1\left(\mathcal{G}\right)$ is an open submanifold of the unit sphere in $\mathcal{H}$, and since g is the restriction of four times the round metric on ${\mathrm{S}}_1$, we have that the explicit expression of the geodesic $\gamma$ of g on ${\mathrm{S}}_1\left(\mathcal{G}\right)$ starting at $\widehat{{\psi }_{\mathrm{g}}}$ with initial (constant) tangent vector $\varphi \ne \mathbf{0}$ is given by

$$\gamma \left(t\right)=cos\left(\left|\varphi \right|t\right)\widehat{{\psi }_{\mathrm{g}}}+sin\left(\left|\varphi \right|t\right)\frac{\varphi }{\left|\varphi \right|},$$

(115)

where ${\left|\varphi \right|}^2=\langle \varphi |\varphi \rangle$. The tangent vector $\varphi$ is horizontal if and only if there exists $\mathbf{a}\in {\mathcal{A}}_{sa}$ such that $\varphi ={\mathsf{\Psi }}_{\mathbf{a}\mathbf{0}}\left(\widehat{{\psi }_{\mathrm{g}}}\right)$, and it is different from the null vector if and only if $\mathbf{a}$ is not in the Gel’fand ideal generated by ${\rho }_{\widehat{{\psi }_{\mathrm{g}}}}=\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)$. Therefore, assuming $\mathbf{a}$ not to be in the Gel’fand ideal generated by ${\rho }_{\widehat{{\psi }_{\mathrm{g}}}}=\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)$, a direct computation shows that the geodesic $\sigma$ starting at ${\rho }_{\mathrm{g}}\in {\mathcal{O}}_1$ with initial tangent vector ${\mathbb{Y}}_{\mathbf{a}}\left({\rho }_{\mathrm{g}}\right)$ reads

$$\sigma \left(t\right)={cos}^2\left({\mathbf{N}}_{\mathrm{g},a}t\right){\rho }_{\mathrm{g}}+\frac{{sin}^2\left({\mathbf{N}}_{\mathrm{g},a}t\right)}{{\mathbf{N}}_{\mathrm{g},a}^2}{\rho }_{a_{\mathrm{g}}}+\frac{sin\left(2{\mathbf{N}}_{\mathrm{g},a}t\right)}{2{\mathbf{N}}_{\mathrm{g},a}}\left\{{\rho }_{a_{\mathrm{g}}}\right\},$$

(116)

where we have set

$$\begin{array}{cc}\hfill {\rho }_{\mathrm{g}}& :={\rho }_{\widehat{{\psi }_{\mathrm{g}}}},\hfill \\ \hfill {\mathbf{a}}_{\mathrm{g}}& :=\mathbf{a}-{\rho }_{\mathrm{g}}\left(\mathbf{a}\right)\mathbb{I},\hfill \\ \hfill {\rho }_{a_{\mathrm{g}}}(·)& :={\rho }_{\mathrm{g}}\left({\mathbf{a}}_{\mathrm{g}}(·){\mathbf{a}}_{\mathrm{g}}\right),\hfill \\ \hfill \left\{{\rho }_{a_{\mathrm{g}}}\right\}(·)& :={\rho }_{\mathrm{g}}\left(\{{\mathbf{a}}_{\mathrm{g}},·\}\right)\hfill \\ \hfill {\mathbf{N}}_{\mathrm{g},a}^2& :={\rho }_{\mathrm{g}}\left({\mathbf{a}}^2\right)-{\left({\rho }_{\mathrm{g}}\left(\mathbf{a}\right)\right)}^2.\hfill \end{array}$$

(117)

In general, this geodesic “leaves” ${\mathcal{O}}_1$ remaining in $\mathcal{S}$, and after some time it returns in ${\mathcal{O}}_1$ essentially because the geodesic $\gamma$ of which $\sigma$ is the projection is a great circle on a sphere. A case in which ${\mathcal{O}}_1$ is geodesically complete is when $\mathcal{A}$ is the algebra of linear operators on a finite-dimensional, complex Hilbert space and ${\mathcal{O}}_1$ is the (compact) manifold of pure states. As we will see below, in this case ${\mathrm{G}}_1$ corresponds to the Fubini–Study metric tensor. Note that, when $\mathcal{A}={\mathbb{C}}^n$, Equation (116) gives an explicit form for the geodesics of the Fisher–Rao metric tensor.

Remark 3.

Note that the procedure applied here to ${\mathrm{S}}_1\left(\mathcal{G}\right)$ may be adapted in the obvious way to the open submanifold $\mathcal{H}\left(\mathcal{G}\right)$ of $\mathcal{H}$ introduced in Equation (92). The result is that we obtain a Riemannian submersion between $\left(\mathcal{H}\right(\mathcal{G}),\mathcal{E})$ (where $\mathcal{E}$ is the Euclidean metric tensor on $\mathcal{H}$ given in Equation (87)) and $(\mathcal{O},\mathrm{G})$ where $\mathcal{O}$ is the orbit of $\mathcal{G}$ in the space of positive linear functionals $\mathcal{P}$ containing the reference state ρ thought of as an element of $\mathcal{P}$. Accordingly, it is possible to obtain an explicit expression also for the geodesics of $\mathrm{G}$.

7. The Fubini–Study Metric Tensor

We will now explicitly perform the construction presented above in the case where $\mathcal{A}$ is the algebra $\mathcal{B}\left(\mathcal{H}\right)$ of linear operators on the finite-dimensional, complex Hilbert space $\mathcal{H}$, and we consider the orbit ${\mathcal{O}}_1$ of pure states. In doing this, we will essentially recover the standard construction of the diffeomorphism of the complex projective space $\mathbb{CP}\left(\mathcal{H}\right)$ associated with $\mathcal{H}$ with the manifold ${\mathcal{O}}_1$ of pure states, and we will see that the Riemannian metric ${\mathrm{G}}_1$ on ${\mathcal{O}}_1\cong \mathbb{CP}\left(\mathcal{H}\right)$ is (a multiple of) the Fubini–Study metric tensor.

First of all, let us recall that the space of pure states on $\mathcal{B}\left(\mathcal{H}\right)$ is the space of rank one projectors on $\mathcal{H}$ (this is true only in the finite-dimensional case; if $\mathcal{H}$ is infinite-dimensional, then the space of rank one projectors on $\mathcal{H}$ is the space of normal pure states), that is, a pure state ${\rho }_{\psi }$ on $\mathcal{B}\left(\mathcal{H}\right)$ may always be written as

$${\rho }_{\psi }=\frac{|\psi \rangle \langle \psi |}{\langle \psi |\psi \rangle }$$

(118)

for some non-zero vector $\psi \in \mathcal{H}$.

Let us fix a normalized vector $\psi \in \mathcal{H}$, and let us introduce an orthonormal basis ${\left\{e_j\right\}}_{j=1,...,\dim \left(\mathcal{H}\right)}$ in $\mathcal{H}$ such that $e_1=\psi$. Then, the Gel’fand ideal $N_{{\rho }_{\psi }}$ of the reference state ${\rho }_{\psi }$ is easily seen to be given by all those linear operators $\mathbf{a}$ on $\mathcal{H}$ that can be written as

$$\mathbf{a}=\sum _{k\ne 1}{a}_{jk}|e_j\rangle \langle e_k|.$$

(119)

From this, we obtain that the GNS Hilbert space associated with ${\rho }_{\psi }$ can be identified with $\mathcal{H}$ itself, and thus the GNS representation of $\mathcal{B}\left(\mathcal{H}\right)$ on the GNS Hilbert space may be identified with $\mathcal{B}\left(\mathcal{H}\right)$ itself. Moreover, the GNS representation is irreducible (as it must be because we are considering the GNS representation associated with a pure state) and its commutant is given by the multiples of the identity operator on $\mathcal{H}$.

In the case we are considering, it is immediate to check that the open submanifold $\mathcal{H}\left(\mathcal{G}\right)$ defined in Equation (92) coincides with ${\mathcal{H}}_0=\mathcal{H}-\left\{\mathbf{0}\right\}$, and we conclude that

$${\mathrm{S}}_1\left(\mathcal{G}\right)=\mathcal{H}\left(\mathcal{G}\right)\cap {\mathrm{S}}_1={\mathcal{H}}_0\cap {\mathrm{S}}_1={\mathrm{S}}_1.$$

(120)

The unitary group ${\mathcal{U}}^{\prime }$ of the commutant of $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$ is just the action of the phase group $U\left(1\right)$ consisting of elements of the form ${\mathrm{e}}^{ı\theta }\mathbb{I}$, with $\theta \in \mathbb{R}$. Therefore, in the case at hand, the quotient space ${\mathrm{S}}_1\left(\mathcal{G}\right)/{\mathcal{U}}^{\prime }\cong {\mathcal{O}}_1$ appearing in the general construction presented in the previous section is just ${\mathrm{S}}_1/U\left(1\right)$, which is precisely the complex projective space associated with $\mathcal{H}$, and we obtain the well-known diffeomorphism between the manifold ${\mathcal{O}}_1$ of pure states on $\mathcal{B}\left(\mathcal{H}\right)$ thought of as rank one projectors with the complex projective space $\mathbb{CP}\left(\mathcal{H}\right)$. Under this isomorphism, the action of the unitary group $\mathcal{U}=\mathcal{U}\left(\mathcal{H}\right)$ on ${\mathcal{O}}_1$ coincides with the canonical action of the unitary group on the complex projective space, and this is enough to conclude that the pullback to $\mathbb{CP}\left(\mathcal{H}\right)$ of the Riemannian metric ${\mathrm{G}}_1$ on ${\mathcal{O}}_1$ is a multiple of the Fubini–Study metric tensors. Indeed, we know that ${\mathrm{G}}_1$ is invariant with respect to the action of the unitary group on ${\mathcal{O}}_1$ (see Section 4), and thus its pullback on $\mathbb{CP}\left(\mathcal{H}\right)$ will be invariant with respect to the canonical action of the unitary group on the complex projective space, and this forces this metric to be a multiple of the Fubini–Study metric tensor, since the latter as a metric of a symmetric space is characterized by that property, see for instance [60].

8. The Bures–Helstrom Metric Tensor

In this subsection, we will explore the case where $\mathcal{A}$ is again the algebra $\mathcal{B}\left(\mathcal{H}\right)$ of linear operators on the finite-dimensional, complex Hilbert space $\mathcal{H}$, but the orbit ${\mathcal{O}}_1$ is the orbit of faithful states. As will be clear, in this case we obtain Uhlmann’s construction of the Bures–Helstrom metric tensor (see [44,45,46,47]). Sometimes, this metric tensor is also called the Bures metric, or the Quantum Fisher Information Matrix.

First of all, recall that the Hilbert space trace $\mathrm{Tr}(·)$ gives an isomorphism between $\mathcal{A}$ and its dual ${\mathcal{A}}^{*}$. Essentially, every $\xi \in {\mathcal{A}}^{*}$ may be identified with an element in $\mathcal{A}$, denoted again by $\xi$ with an evident abuse of notation, such that

$$\xi \left(\mathbf{a}\right)=\mathrm{Tr}\left(\xi \mathbf{a}\right)\forall \mathbf{a}\in \mathcal{A}.$$

(121)

In view of the literature on the quantum information of finite-level systems, in the remainder of this subsection, we will always maintain a bipolar attitude and think of $\xi$ as either an element of $\mathcal{A}$ or of ${\mathcal{A}}^{*}$, hoping that no serious confusion arises. Accordingly, the vector space $\mathcal{V}$ is also thought of as the space ${\mathcal{A}}_{sa}$ of self-adjoint elements in $\mathcal{A}$, $\mathcal{P}$ is also thought of as the space of positive elements in $\mathcal{A}$, $\mathcal{S}$ is also thought of as the space of density operators in $\mathcal{A}$.

Now, we fix the reference state $\tau$ to be the maximally mixed state associated with the element $\frac{\mathbb{I}}{n}$, where $n=\dim \left(\mathcal{H}\right)$. Since the reference state is faithful, then its Gel’fand ideal contains only the zero element in the algebra $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$, and thus the vector space underlying the GNS Hilbert space is $\mathcal{B}\left(\mathcal{H}\right)$ itself. Therefore, the Hilbert product in the GNS Hilbert space ${\mathcal{H}}_{\tau }$ reads

$$\langle {\psi }_{\mathbf{a}}|{\psi }_{\mathbf{b}}\rangle =\tau \left({\mathbf{a}}^{†}\mathbf{b}\right)=\frac{1}{n}\mathrm{Tr}\left({\mathbf{a}}^{†}\mathbf{b}\right),$$

(122)

and we conclude that the GNS Hilbert space is essentially the Hilbert space of Hilbert–Schmidt operators on $\mathcal{H}$. Then, we easily obtain that the open submanifold $\mathcal{H}\left(\mathcal{G}\right)$ defined in Equation (92) coincides with $\mathcal{G}$ itself, and thus ${\mathrm{S}}_1\left(\mathcal{G}\right)=\mathcal{H}\left(\mathcal{G}\right)\cap {\mathrm{S}}_1$ coincides with the set of all the invertible elements in the algebra satisfying the normalization condition

$$\frac{1}{n}\mathrm{Tr}\left({\mathrm{g}}^{†}\mathrm{g}\right)=1.$$

(123)

The GNS representation of $\mathcal{B}\left(\mathcal{H}\right)$ coincides with the left action of $\mathcal{B}\left(\mathcal{H}\right)$ on itself, and its commutant coincides with $\mathcal{B}\left(\mathcal{H}\right)$ acting by means of the right action on itself. Consequently, if $\rho$ is a faithful state on $\mathcal{B}\left(\mathcal{H}\right)$, that is, an invertible, positive operator on $\mathcal{H}$ with unit trace, we have that all the vectors $\widehat{{\psi }_{\mathrm{g}}}\in {\mathrm{S}}_1\left(\mathcal{G}\right)$ such that their projections $\pi \left(\widehat{{\psi }_{\mathrm{g}}}\right)$ coincide with $\rho$ may be written as $\mathrm{g}\mathbf{u}$, where $\mathrm{g}\in \mathcal{G}$ satisfies the normalization condition given in Equation (123), and $\mathbf{u}$ is a unitary element in $\mathcal{G}$, that is, a unitary operator on $\mathcal{H}$. Comparing what we have just obtained with the results in [44,45,46,47], it follows that the general construction presented in Section 6 essentially reduces to Uhlmann’s purification procedure used to define the Bures–Helstrom metric tensor. However, we will now give a more explicit proof of the equivalence of ${\mathrm{G}}_1$ with the Bures–Helstrom metric tensor, which will also stress the fact that some of the computational difficulties usually associated with the expression of the Bures–Helstrom metric tensor (as explicitly stated for instance in [39] below equation 9.43) may be attributed to a particular realization of the tangent space at each $T_{\rho }{\mathcal{O}}_1$, which is not well-suited for the Bures–Helstrom metric tensor.

To better appreciate this instance, we recall that, in the standard approach to the definition of the Bures–Helstrom metric tensor, the manifold ${\mathcal{S}}_{+}$ of faithful states on $\mathcal{H}$ is identified with the manifold of invertible density operators, the tangent space $T_{\rho }{\mathcal{S}}_{+}$ is identified with the affine hyperplane ${\mathcal{A}}_{sa}^0$ of self-adjoint elements in $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$ with vanishing trace. This realization of $T_{\rho }{\mathcal{S}}_{+}$ is clearly different from the one used here in terms of the gradient vector fields, and we will now analyze their relation. The gradient vector fields on $\mathcal{V}$ allow to identify a tangent vector at $\xi \in \mathcal{V}$ with an element in ${\mathcal{A}}_{sa}$ by means of

$$Y_{\mathbf{a}}\left(\xi \right)=\{\xi ,\mathbf{a}\},$$

(124)

where $\xi$ is thought of as an element of ${\mathcal{A}}_{sa}$. It is worth noting that, when we consider a state $\rho$, the tangent vector $Y_{\mathbf{a}}\left(\rho \right)$ provides a geometrical version of the Symmetric Logarithmic Derivative at $\rho$ widely used in quantum estimation theory [42,43,70,71,72]. On the other hand, since $\mathcal{V}\cong {\mathcal{A}}_{sa}$, we may also define a constant vector field associated with every $\mathbf{a}\in {\mathcal{A}}_{sa}$ by setting

$$Z_{\mathbf{a}}\left(\xi \right)=\mathbf{a}.$$

(125)

If we restrict our considerations to the open submanifold ${\mathcal{P}}_{+}\subset \mathcal{V}$ of faithful positive linear functionals, we may relate gradient vector fields with constant vector fields as follows. First of all, recall that every $\omega \in {\mathcal{P}}_{+}$ is identified with an invertible element in ${\mathcal{A}}_{sa}$, and we may write

$${\mathrm{A}}_{\omega }\left(\mathbf{a}\right):=\{\omega ,\mathbf{a}\}=\frac{1}{2}\left(L_{\omega }+R_{\omega }\right)\left(\mathbf{a}\right),$$

(126)

where $L_{\omega }:{\mathcal{A}}_{sa}⟶{\mathcal{A}}_{sa}$ is the linear operator given by $L_{\omega }\left(\mathbf{a}\right):=\omega \mathbf{a}$, and $R_{\omega }:{\mathcal{A}}_{sa}⟶{\mathcal{A}}_{sa}$ is the linear operator given by $R_{\omega }\left(\mathbf{a}\right):=\mathbf{a}\omega$. Clearly, both $L_{\omega }$ and $R_{\omega }$ are positive, invertible linear operators on ${\mathcal{A}}_{sa}$ because $\omega$ is a positive, invertible operator on $\mathcal{H}$, and thus ${\mathrm{A}}_{\omega }$ also is an invertible linear operator. It clearly holds

$$\mathbf{a}={\mathrm{A}}_{\omega }^{-1}\left({\mathrm{A}}_{\omega }\left(\mathbf{a}\right)\right)={\mathrm{A}}_{\omega }^{-1}\left(\{\omega ,\mathbf{a}\}\right),$$

(127)

and thus

$$\begin{array}{cc}\hfill Z_{\mathbf{a}}\left(\omega \right)& =Y_{{\mathrm{A}}_{\omega }^{-1}\left(a\right)}\left(\omega \right)\hfill \\ \hfill Y_{\mathbf{a}}\left(\omega \right)& =Z_{{\mathrm{A}}_{\omega }\left(a\right)}\left(\omega \right)\hfill \end{array}$$

(128)

at every faithful positive linear functional $\omega \in {\mathcal{P}}_{+}$. Furthermore, the gradient vector fields on the manifold ${\mathcal{S}}_{+}\subset {\mathcal{P}}_{+}$ of faithful states allow to identify a tangent vector at $\rho \in {\mathcal{S}}_{+}$ with an element in ${\mathcal{A}}_{sa}$ by means of

$${\mathbb{Y}}_{\mathbf{a}}\left(\rho \right)=\{\rho ,\mathbf{a}\}-\mathrm{Tr}\left(\rho \mathbf{a}\right)\rho .$$

(129)

However, since ${\mathcal{S}}_{+}$ is the submanifold of ${\mathcal{P}}_{+}$ determined by the inverse image of 1 with respect to the linear function $l_{\mathbb{I}}^{+}$, and since a tangent vector at a point in ${\mathcal{P}}_{+}$ may be identified with a self-adjoint element in ${\mathcal{A}}_{sa}$, we obtain the identification of $T_{\rho }{\mathcal{S}}_{+}$ with the linear subspace ${\mathcal{A}}_{sa}^0\subset {\mathcal{A}}_{sa}$ consisting of traceless elements mentioned before. Specifically, every constant vector field $Z_{\mathbf{a}}$ in Equation (125) is tangent to ${\mathcal{S}}_{+}$ whenever $\mathbf{a}\in {\mathcal{A}}_{sa}$ is such that $\mathrm{Tr}\left(\mathbf{a}\right)=0$. Consequently, there is a vector field ${\mathbb{Z}}_{\mathbf{a}}$ on ${\mathcal{S}}_{+}$ to which $Z_{\mathbf{a}}$ is ${\mathrm{i}}_{1+}$-related.

Taking $\rho \in {\mathcal{S}}_{+}$, the tangent vectors $\mathbf{a},\mathbf{b}\in {\mathcal{A}}_{sa}^0\cong T_{\rho }{\mathcal{S}}_{+}$, and $\mathrm{g}\in {\pi }^{-1}\left(\rho \right)$, the Bures–Helstrom metric tensor ${\mathrm{G}}_{BH}$ may be defined by (see [40] (Equation (3)))

$${\left({\mathrm{G}}_{BH}\right)}_{\rho }(\mathbf{a},\mathbf{b}):=inf\left\{\mathrm{Tr}\left({\mathbf{A}}^{†}\mathbf{B}\right)|\mathbf{A},\mathbf{B}\in T_{\mathrm{g}}{\mathrm{S}}_1\left(\mathcal{G}\right),T_{\mathrm{g}}\pi \left(\mathbf{A}\right)=\mathbf{a},T_{\mathrm{g}}\pi \left(\mathbf{B}\right)=\mathbf{b}\right\}.$$

(130)

Then, it is possible to prove that (see [40,41,46]), given arbitrary tangent vectors $\mathbf{a},\mathbf{b}\in {\mathcal{A}}_{sa}^0\cong T_{\rho }{\mathcal{S}}_{+}$, the Bures–Helstrom metric tensor acts as

$${\left({\mathrm{G}}_{BH}\right)}_{\rho }(\mathbf{a},\mathbf{b})=\mathrm{Tr}\left(\mathbf{a}{\mathrm{A}}_{\rho }^{-1}\left(\mathbf{b}\right)\right)$$

(131)

where ${\mathrm{A}}_{\rho }^{-1}$ is the inverse of ${\mathrm{A}}_{\rho }$ (see Equation (126)), which is the invertible (because $\rho$ is invertible) linear operator on $\mathcal{B}\left(\mathcal{H}\right)$ given by ${\mathrm{A}}_{\rho }\left(\mathbf{b}\right):=\frac{1}{2}\left(\rho \mathbf{b}+\mathbf{b}\rho \right)$. Note that the expression of ${\mathrm{G}}_{BU}$ given in Equation (131) crucially depends on the identification of the tangent space $T_{\rho }{\mathcal{S}}_{+}$ at $\rho \in {\mathcal{S}}_{+}$ with the space of traceless, self-adjoint elements in $\mathcal{B}\left(\mathcal{H}\right)$. That is, ${\mathrm{G}}_{BH}$ is expressed in terms of the basis of vector fields ${\mathbb{Z}}_{\mathbf{a}}$ on ${\mathcal{S}}_{+}$ that are ${\mathrm{i}}_{1+}$-related with the constant vector fields $Z_{\mathbf{a}}$ on ${\mathcal{P}}_{+}$ defined in Equation (125), and, in this way, it becomes necessary to find the explicit form of the operator ${\mathrm{A}}_{\rho }^{-1}$ at every $\rho$ making the explicit computation of the action of the metric tensor not straightforward. On the other hand, the metric tensor ${\mathrm{G}}_1$ in Equation (68) is “visualized” in terms of the gradient vector fields, and, with respect to these vector fields, its explicit expression is very easy to compute. We will now show that ${\mathrm{G}}_{BH}$ and ${\mathrm{G}}_1$ coincide because we have

$$\begin{array}{cc}\hfill \left({\mathrm{G}}_1({\mathbb{Z}}_{\mathbf{a}},{\mathbb{Z}}_{\mathbf{b}})\right)\left(\rho \right)& ={\left({\mathrm{i}}_{1+}^{*}\mathrm{G}\right)}_{\rho }\left({\mathbb{Z}}_{\mathbf{a}}\left(\rho \right),{\mathbb{Z}}_{\mathbf{b}}\left(\rho \right)\right)\hfill \\ & ={\mathrm{G}}_{\rho }\left(T_{\rho }{\mathrm{i}}_{1+}\left({\mathbb{Z}}_{\mathbf{a}}\left(\rho \right)\right),T_{\rho }{\mathrm{i}}_{1+}\left({\mathbb{Z}}_{\mathbf{b}}\left(\rho \right)\right)\right)\hfill \\ & ={\mathrm{G}}_{\rho }(Z_{\mathbf{a}}\left(\rho \right),Z_{\mathbf{b}}\left(\rho \right))\hfill \\ & ={\mathrm{G}}_{\rho }\left(Y_{{\mathrm{A}}_{\rho }^{-1}\left(a\right)}\left(\rho \right),Y_{{\mathrm{A}}_{\rho }^{-1}\left(b\right)}\left(\rho \right)\right)\hfill \\ & =\mathrm{Tr}\left(\rho \{{\mathrm{A}}_{\rho }^{-1}\left(\mathbf{a}\right),{\mathrm{A}}_{\rho }^{-1}\left(\mathbf{b}\right)\}\right)\hfill \\ & =\mathrm{Tr}\left(\{\rho ,{\mathrm{A}}_{\rho }^{-1}\left(\mathbf{a}\right)\}{\mathrm{A}}_{\rho }^{-1}\left(\mathbf{b}\right)\right)\hfill \\ & =\mathrm{Tr}\left(\mathbf{a}{\mathrm{A}}_{\rho }^{-1}\left(\mathbf{b}\right)\right)\hfill \\ & ={\left({\mathrm{G}}_{BH}\right)}_{\rho }(\mathbf{a},\mathbf{b}),\hfill \end{array}$$

(132)

where we used the first equality in Equation (128) in the fourth equality. From Equation (132), we conclude that ${\mathrm{G}}_1={\mathrm{i}}_{1+}^{*}\mathrm{G}$ is precisely the Bures–Helstrom metric tensor as claimed. This shows that with respect to the gradient vector fields, the explicit expression of the Bures–Helstrom metric is relatively easy to compute. The fact that we no longer have to find the explicit expression of the operator ${\mathrm{A}}_{\rho }^{-1}$ at every $\rho$ is due to the fact that we work with gradient vector fields, and we believe that this instance should be interpreted as an argument in favor of using the gradient vector because these vector fields better express the geometrical properties of the manifold of quantum states.

9. Concluding Remarks

In the context of quantum information theory, it is well-known that there is an infinite number of metric tensors on the manifold of faithful quantum states satisfying a property, which is the quantum analog of the monotonicity under Markov maps characterizing the Fisher–Rao metric tensor (up to a constant factor) in the classical case. The act of choosing which one of these metric tensors to use is thus an additional freedom that the quantum framework provides.

In this work, we presented a geometrical description of one of these quantum metric tensors, the so-called Bures–Helstrom metric tensor, which is rooted in the $C^{*}$-algebraic nature of the space of quantum states. Indeed, the theoretical framework of $C^{*}$-algebras allows to deal with classical probability distributions and quantum states “at the same time” because both of them can be realized as concrete realizations of the space of states on suitable $C^{*}$-algebras, and from this point of view, the algebraic structures on the algebra may be exploited to investigate the geometrical properties of the space of states. We focused on the finite-dimensional case, and we studied the geometrical structures associated with the symmetric part (Jordan product) of the associative product of the algebra, and the result is the definition of Riemannian metric tensors on submanifolds of states. In particular, we obtain that the Jordan product determines the Fisher–Rao metric tensor in the classical case, the Fubini–Study metric tensor in the case of pure quantum states, and the Bures–Helstrom metric tensor in the case of faithful quantum states, thus providing a theoretical framework in which all these seemingly different Riemannian metric tensors actually appear as different realizations of the “same” conceptual entity.

Finally, we want to mention that the geometrical picture outlined in this work heavily relies on the Jordan product of ${\mathcal{A}}_{sa}$. As it is known, any associative algebra A over $\mathbb{R}$ gives rise to a Jordan algebra $A_J$ with Jordan product ⊙ given by $a\odot b:=\frac{1}{2}(a·b+b·a)$, where · is the associative product in A (see [51,52,54]). Consequently, it would be interesting to understand if and how it is possible to build a similar picture for the space of states of a Jordan algebra associated with an associative algebra that is not a $C^{*}$-algebra. In particular, “natural candidates” would be the many types of Geometric Algebras [73,74].