Manifolds of classical probability distributions and quantum density operators in infinite dimensions

F. M. Ciaglia ORCID: orcid.org/0000-0002-8987-1181¹,
A. Ibort²,
J. Jost¹ &
…
G. Marmo³

2851 Accesses
11 Citations
4 Altmetric
Explore all metrics

Abstract

The manifold structure of subsets of classical probability distributions and quantum density operators in infinite dimensions is investigated in the context of $C^{*}$-algebras and actions of Banach-Lie groups. Specificaly, classical probability distributions and quantum density operators may be both described as states (in the functional analytic sense) on a given $C^{*}$-algebra $\mathscr {A}$ which is Abelian for Classical states, and non-Abelian for Quantum states. In this contribution, the space of states $\mathscr {S}$ of a possibly infinite-dimensional, unital $C^{*}$-algebra $\mathscr {A}$ is partitioned into the disjoint union of the orbits of an action of the group $\mathscr {G}$ of invertible elements of $\mathscr {A}$. Then, we prove that the orbits through density operators on an infinite-dimensional, separable Hilbert space $\mathcal {H}$ are smooth, homogeneous Banach manifolds of $\mathscr {G}=\mathcal {GL}(\mathcal {H})$, and, when $\mathscr {A}$ admits a faithful tracial state $\tau $ like it happens in the Classical case when we consider probability distributions with full support, we prove that the orbit through $\tau $ is a smooth, homogeneous Banach manifold for $\mathscr {G}$.

Quantum Statistical Manifolds: The Finite-Dimensional Case

Geometrical and Topological Properties of a Subspace P_f(X) of Probability Measures

Article 01 October 2019

Two Examples Related to Properties of Discrete Measures

Article 01 September 2021

Use our pre-submission checklist

Avoid common mistakes on your manuscript.

1 Introduction

The use of differential geometric methods in the context of classical and quantum information theory is a well-established and flourishing trend. This has led to the birth of new perspectives in the understanding of theoretical issues, as well as to numerous achievements in the realm of applications. At the heart of this methodological attitude towards classical and quantum information geometry there is the notion of a smooth manifold. This clearly follows from the fact that differential geometry deals with smooth manifolds and with all the additional structures with which smooth manifolds may be dressed. However, the smooth manifolds employed in the vast majority of the literature pertaining to classical and quantum information geometry are finite-dimensional. This is essentially due to the fact that working with infinite-dimensional manifolds requires to carefully handle a nontrivial number of technical issues, and these technicalities may obscure the conceptual ideas one wants to convey. Consequently, it has been, and it still is useful to focus on finite-dimensional systems in order to explicitly develop new ideas, and to postpone the analysis of the infinite-dimensional systems to later times. On the other hand, the number of conceptual results on finite-dimensional systems is growing so rapidly that we may dare to say to have a well-estabilished theoretical backbone for the information geometry of finite-dimensional systems so that it is reasonable to start looking in more detail at the infinite-dimensional systems.

Of course, there already have been contributions in the information geometry of infinite-dimensional systems. For instance, in [50], a Banach manifold structure is given to the set $M_{\mu }$ of all probability measures on some measure space $(\mathcal {X},\varSigma )$ that are mutually absolutely continuous with respect to a given probability measure $\mu $ on $(\mathcal {X},\varSigma )$ by means of Orlicz spaces, and, in [29], the infinite-dimensional analogue of the $\alpha $-connections of Amari and Cencov on this class of manifolds is studied. Orlicz spaces were also employed in the quantum framework in [33, 53] to build a Banach manifold structure on Gibbs-like density operators on an infinite-dimensional, complex, separable Hilbert space $\mathcal {H}$, and in [39, 40] to build a Banach manifold structure on the space of faithful, normal states on an abstract von Neumann algebra.

In [27], a Hilbert manifold was obtained by equipping the space of $L^2$-probability measures with the Fisher metric. In [47], a Hilbert manifold structure is given to a subset of $M_{\mu }$ characterized by some constraint relations, and the $\alpha $-connections on it are studied. In [12], the uniqueness (up to rescaling) of the Fisher–Rao metric tensor on the Frechet manifold $\mathrm {Prob}(M)$ of smooth positive densities normalized to 1 on a smooth, compact manifold M under the requirement of invariance with respect to the group of diffeomorphisms of M is solved.

In [8,9,10], a new approach to infinite-dimensional parametric models of probability measures on some measure space is taken, and tensorial structures are obtained by exploiting the natural immersion of the space of probability measures into the Banach space of signed finite measures (where the norm is given by the total variation). This makes the theory independent of the choice of a reference measure, as everything transforms appropriately and integrability conditions are preserved when the reference measure is changed.

From a different point of view, the structure of infinite dimensional groups has been treated exhaustively in relation with mathematical physics problems, like hydrodynamical-like equations for instance, involving probability densities. It was realized that the proper way to deal with such problems was to consider a weaker form of differentiability called IHL-Lie groups introduced by Omori [48] (see for instance [2] and references therein).

In the context of quantum information theory, the geometrization of some of the relevant structures, for instance the Kähler–Hilbert manifold structure on the space of pure quantum states given by the complex projective space of an infinite-dimensional, complex, separable Hilbert space $\mathcal {H}$, together with a Hamiltonian formulation of the unitary evolutions of quantum mechanics, as given for instance in [7, 23,24,25, 43], allows a simpler treatment of the differentiable structures of the corresponding infinite-dimensional groups present in the theory as it is shown in [4,5,6, 13, 16, 32, 44], where the action of Banach-Lie groups of unitary operators on an infinite-dimensional, complex, separable Hilbert space $\mathcal {H}$ is used to give a Banach manifold structure to appropriate subsets of quantum density operators, positive semidefinite linear operators and elements of Banach Lie-Poisson spaces or, as it will be shown in this paper, to certain orbits of the group of invertible elements on a $C^*$-algebra.

The purpose of this contribution is to look at infinite-dimensional systems in both classical and quantum information geometry from the unifying perspective coming from the interplay between the theory of $C^*$-algebras and the infinite-dimensional differential geometry of Banach manifolds and Banach-Lie groups. The choice of $C^{*}$-algebras as a main ingredient is due to the fact that classical spaces of probability distributions as well as spaces of quantum states are both concrete realizations of the same mathematical object, i.e., the space $\mathscr {S}$ of (mathematical) states on a $C^{*}$-algebra $\mathscr {A}$, with the classical case characterized by the requirement that $\mathscr {A}$ is Abelian.

Let us explain the motivations behind our idea by looking at a finite-dimensional example. Consider a quantum system described by a finite-dimensional Hilbert space $\mathcal {H}$ with $\mathrm {dim}(\mathcal {H})=N<\infty $. According to the formalism of standard quantum mechanics, a (bounded) observable $\mathbf {a}$ of the system is an element of the algebra $\mathcal {B}(\mathcal {H})$ of bounded, linear operators on $\mathcal {H}$, while a state $\rho $ of the system is a positive linear functional on $\mathcal {H}$ such that $\rho (\mathbb {I})=1$, where $\mathbb {I}\in \mathcal {B}(\mathcal {H})$ is the identity operator. Since $\mathrm {dim}(\mathcal {H})=N<\infty $, we may identify the dual space of $\mathcal {B}(\mathcal {H})$ with $\mathcal {B}(\mathcal {H})$ itself by means of the trace operation $\textit{Tr}$ on $\mathcal {H}$, that is, an element $\xi \in \mathcal {B}(\mathcal {H})$ determines a linear functional on $\mathcal {B}(\mathcal {H})$ by means of

$$\begin{aligned} \xi (\mathbf {a})\,:=\,\textit{Tr}(\xi \,\mathbf {a}), \end{aligned}$$

(1)

and every linear functional on $\mathcal {B}(\mathcal {H})$ is of this form. Consequently, a quantum state may be identified with a so-called density operator on $\mathcal {H}$, that is, a self-adjoint, positive semidefinite, linear operator $\rho $ such that $\textit{Tr}(\rho )=1$. The set of all density operators on $\mathcal {H}$ is denoted by $\mathscr {S}(\mathcal {H})$, and it is a convex body in the affine hyperplane $\mathfrak {T}_{1}(\mathcal {H})$ of self-adjoint, linear operators with unit trace. The interior of $\mathscr {S}(\mathcal {H})$ in $\mathfrak {T}_{1}(\mathcal {H})$ is an open convex set made of invertible (full-rank) density operators and denoted by $\mathscr {S}_{N}(\mathcal {H})$. Being an open set in the affine hyperplane $\mathfrak {T}_{1}(\mathcal {H})$, the set $\mathscr {S}_{N}(\mathcal {H})$ admits a natural structure of smooth manifold modelled on $\mathfrak {T}_{1}(\mathcal {H})$, and this manifold structure makes $\mathscr {S}_{N}(\mathcal {H})$ the subject of application of the methods of classical information geometry in the context of quantum information (see [11, 28, 36, 37, 46, 49]). Note that, if we consider the subset $\mathscr {S}_{\rho }(\mathcal {H})$ of density operators commuting with a fixed $\rho \in \mathscr {S}$ and mutually-commuting with each other, the spectral theorem assures us that $\mathscr {S}_{\rho }(\mathcal {H})$ may be identified with the N-dimensional simplex representing classical probability distributions on a finite sample space.

The manifold structure on $\mathscr {S}_{N}(\mathcal {H})$ is compatible with an action of the Lie group $\mathscr {G}(\mathcal {H})$ of invertible linear operators on $\mathscr {S}(\mathcal {H})$. Specifically, if $\mathrm {g}\in \mathscr {G}(\mathcal {H})$ and $\rho \in \mathscr {S}_{N}(\mathcal {H})$, we may define the map^{Footnote 1}

$$\begin{aligned} (\mathrm {g},\,\rho )\,\mapsto \,\frac{\mathrm {g}\,\rho \,\mathrm {g}^{\dagger }}{\textit{Tr}(\mathrm {g}\,\rho \,\mathrm {g}^{\dagger })}, \end{aligned}$$

(2)

an this map defines a smooth, transitive action of $\mathscr {G}(\mathcal {H})$ on $\mathscr {S}_{N}(\mathcal {H})$. In particular, if we consider the subgroup $\mathcal {U}(\mathcal {H})$ of unitary operators, we obtain the co-adjoint action $\mathbf {U}\,\rho \,\mathbf {U}^{\dagger }$ of $\mathcal {U}(\mathcal {H})$ the orbits of which are density operators with fixed eigenvalues. From this, it is clear that the manifold $\mathscr {S}_{N}(\mathcal {H})$ carries also the structure of homogeneous space of the Lie group $\mathscr {G}(\mathcal {H})$, and it is precisely this feature that we aim to extend to the infinite-dimensional setting.

The paper is structured as follows. In Sect. 2, given a possibly infinite-dimensional, unital $C^*$-algebra $\mathscr {A}$, we will first define a linear action $\alpha $ of the Banach-Lie group $\mathscr {G}$ of invertible elements of $\mathscr {A}$ on the space $\mathscr {A}^{*}_{sa}$ of self-adjoint linear functionals on $\mathscr {A}$ that preserves the cone of positive linear functionals. In Sect. 2.1, we will analyse the case where $\mathscr {A}$ is the algebra $\mathcal {B}(\mathcal {H})$ of bounded linear operators on a complex, separable Hilbert space $\mathcal {H}$. Specifically, we will prove that, if $\varrho $ is any positive trace-class operator on $\mathcal {H}$ to which it is associated a unique normal, positive linear functional on $\mathcal {B}(\mathcal {H})$, the orbit of $\mathscr {G}=\mathcal {GL}(\mathcal {H})$ (bounded, invertible linear operators on $\mathcal {H}$) through $\varrho $ by means of the linear action $\alpha $ is a homogeneous Banach manifold of $\mathscr {G}$. Furthermore, we provide sufficient conditions for two normal, positive linear functionals to belong to the same orbit of $\mathscr {G}$. In Sect. 2.2 we will prove that, if $\mathscr {A}$ admits a faithful, finite trace $\tau $, the orbit through $\tau $ is a smooth, homogeneous Banach manifold of $\mathscr {G}$.

The action $\alpha $ does not preserve the space of states $\mathscr {S}$, and this leads us to present, in Sect. 3, a “deformation” of $\alpha $, denoted by $\varPhi $, which is an infinite-dimensional counterpart of the map given in equation (2) and which is a left action of $\mathscr {G}$ on the space $\mathscr {S}$ of states of $\mathscr {A}$. We prove that an orbit of $\mathscr {G}$ through $\rho \in \mathscr {S}$ by means of $\varPhi $ is a homogeneous Banach manifold of $\mathscr {G}$ if and only if the orbit of $\mathscr {G}$ through $\rho $ by means of $\alpha $ is so. We exploit this fact in Sect. 3.1 where we apply the theory to the case $\mathscr {A}=\mathcal {B}(\mathcal {H})$ with $\mathcal {H}$ a complex, separable Hilbert space. In particular, we obtain that the space of normal states on $\mathcal {B}(\mathcal {H})$, which can be identified with the space of density operators on $\mathcal {H}$, is partitioned into the disjoint union of homogeneous Banach manifolds of $\mathscr {G}$, and, as we do for the case of normal, positive linear functionals, we provide sufficient conditions for two normal states to belong to the same orbit of $\mathscr {G}$. In this context, when $\mathcal {H}$ is infinite-dimensional, the space of faithful, normal states on $\mathcal {B}(\mathcal {H})$ may not be identified with a convex, open submanifold of the space of self-adjoint, linear operators on $\mathcal {H}$ with unit trace as it happens in the finite-dimensional case. The results we present point out that, if we consider the manifold structure to be associated with a not-necessarily-convex group action, any faithful, normal state on $\mathcal {B}(\mathcal {H})$ lies on a smooth homogeneous Banach manifold which is an orbit of $\mathscr {G}$ by means of $\Phi $. However, it is still an open question if there is only one such orbit for faithful, normal states. In Sect. 3.2 we consider the case where $\mathscr {A}$ admits a faithful, tracial state $\tau $, and we obtain that the orbit through $\tau $ is a smooth, homogeneous Banach manifold for $\mathscr {G}$.

Some concluding remarks are presented in Sect. 4, while “Appendix A” is devoted to a brief introduction of the main notions, results and definitions concerning the theory of $C^{*}$-algebras for which a more detailed account can be found in [15, 19, 41, 52, 54]. In “Appendix B” we recall some notions, results and definitions concerning Banach-Lie groups and their homogeneous spaces. In this case, we refer to [1, 17, 21, 45, 55] for a detailed account of the infinite-dimensional formulation of differential geometry that is used in this paper.

2 Positivity-preserving action of $\mathscr {G}$

Let $\mathscr {A}$ be a possibly infinite-dimensional, unital $C^{*}$-algebra, that is, a $C^{*}$-algebra with a multiplicative identity element denoted by $\mathbb {I}$. The existence of an identity element $\mathbb {I}$ in $\mathscr {A}$ allows us to define the set $\mathscr {G}$ of invertible elements in $\mathscr {A}$, that is, the set of all $\mathrm {g}\in \mathscr {A}$ admitting an inverse $\mathrm {g}^{-1}\in \mathscr {A}$ such that $\mathrm {g}\,\mathrm {g}^{-1}\,=\,\mathbb {I}$. This is an open subset of $\mathscr {A}$, and, when endowed with the multiplication operation of $\mathscr {A}$, it becomes a real Banach-Lie group in the relative topology induced by the norm topology of $\mathscr {A}$. The Lie algebra $\mathfrak {g}$ of $\mathscr {G}$ can be identified with $\mathscr {A}$ which is itself a real Banach-Lie algebra (see [55, p. 96]). We may define also the subgroup of unitary elements $\mathbf {u} \in \mathscr {G}$ as those invertible elements such that $\mathbf {u}^* = \mathbf {u}^{-1}$. Then, denoting such subgroup by $\mathscr {U}$, we get that $\mathscr {U}\subset \mathscr {G}$ is a closed Banach-Lie subgroup.

The purpose of this paper is to show that some of the homogeneous spaces of the group $\mathscr {G}$ are actually subsets of the space of states $\mathscr {S}$ on $\mathscr {A}$. Accordingly, even if $\mathscr {S}$ lacks of a differential structure as a whole, we may partition it into the disjoint union of Banach manifolds that are homogeneous spaces of the Banach-Lie group $\mathscr {G}$. In order to do this, we will first consider an action $\alpha $ of $\mathscr {G}$ on the space $\mathscr {A}^{*}_{sa}$ of self-adjoint linear functionals on $\mathscr {A}$. This action is linear, and preserves the positivity of self-adjoint linear functionals, and we show that the orbits inside the cone $\mathscr {A}^{*}_{+}$ of positive linear functionals are homogeneous Banach manifolds of $\mathscr {G}$. However, the action $\alpha $ does not preserve the space of states $\mathscr {S}$, and we need to suitably deform it in order to overcome this difficulty. The resulting action, denoted by $\varPhi $, is well-defined only on the space of states $\mathscr {S}$, and we will prove that the orbits of $\varPhi $ are homogeneous Banach manifolds of $\mathscr {G}$.

We introduce a map ${\widetilde{\alpha }}:\mathscr {A}\,\times \,\mathscr {A}^{*}_{sa}\,\longrightarrow \,\mathscr {A}^{*}_{sa}$ given by

$$\begin{aligned} (\mathbf {a},\,\xi )\,\mapsto \,{\widetilde{\alpha }}(\mathbf {a},\,\xi )\, :=\,\xi _{\mathbf {a}},\;\;\;\xi _{\mathbf {a}}(\mathbf {b})\, :=\,\xi (\mathbf {a}^{\dagger }\,\mathbf {ba}), \qquad \forall \mathbf {b}\in \mathscr {A}_{sa} . \end{aligned}$$

(3)

Clearly, this map is linear in $\xi $ and it is possible to prove that ${\widetilde{\alpha }}$ is smooth with respect to the real Banach manifold structures of $\mathscr {A}\,\times \,\mathscr {A}^{*}_{sa}$ (endowed with the smooth structure which is the product of the smooth structures of $\mathscr {A}$ and $\mathscr {A}^{*}_{sa}$) and $\mathscr {A}^{*}_{sa}$.

Proposition 1

The map ${\widetilde{\alpha }}:\mathscr {A}\,\times \,\mathscr {A}^{*}_{sa}\,\longrightarrow \,\mathscr {A}^{*}_{sa}$ is smooth.

Proof

Given $\mathbf {a},\mathbf {b}\in \mathscr {A}$ and $\xi \in \mathscr {A}^{*}_{sa}$ we define $\xi _{\mathbf {a}\mathbf {b}}\in \mathscr {A}^{*}_{sa}$ to be

$$\begin{aligned} \xi _{\mathbf {a}\mathbf {b}}(\mathbf {c})\,:=\,\frac{1}{2}\, \left( \xi (\mathbf {a}^{\dagger }\,\mathbf {c}\,\mathbf {b}) + \xi (\mathbf {b}^{\dagger }\,\mathbf {c}\,\mathbf {a})\right) \;\; \forall \,\mathbf {c}\,\in \,\mathscr {A}_{sa} . \end{aligned}$$

(4)

Then, we consider the map $F:\,(\mathscr {A}\times \mathscr {A}^{*}_{sa})\times (\mathscr {A}\times \mathscr {A}^{*}_{sa})\times (\mathscr {A}\times \mathscr {A}^{*}_{sa})\rightarrow \mathscr {A}^{*}_{sa}$ given by

$$\begin{aligned} F(\mathbf {a},\xi \,;\mathbf {b},\zeta \,;\mathbf {c},\vartheta )\,:=\, \frac{1}{3}\left( \xi _{\mathbf {bc}} + \zeta _{\mathbf {ca}} + \vartheta _{\mathbf {ab}}\right) . \end{aligned}$$

(5)

A direct computation shows that F is a bounded multilinear map and that

$$\begin{aligned} {\widetilde{\alpha }}(\mathbf {a},\,\xi )\,=\,F(\mathbf {a},\xi \,;\mathbf {a}, \xi \,;\mathbf {a},\xi ), \end{aligned}$$

(6)

which means that ${\widetilde{\alpha }}$ is a continuous polynomial map between $\mathscr {A}\times \mathscr {A}^{*}_{sa}$ and $\mathscr {A}^{*}_{sa}$, hence, it is smooth with respect to the real Banach manifold structures of $\mathscr {A}\times \mathscr {A}^{*}_{sa}$ and $\mathscr {A}^{*}_{sa}$ (see [21, p. 63]). $\square $

Since $\mathscr {G}$ is an open submanifold of $\mathscr {A}$, the canonical immersion $i_{\mathscr {G}}:\mathscr {G}\longrightarrow \mathscr {A}$ given by $i_{\mathscr {G}}(\mathrm {g})=\mathrm {g}$ is smooth. Consequently, we may define the map

$$\begin{aligned} \alpha \,&\,:\mathscr {G}\,\times \,\mathscr {A}^{*}_{sa}\,\longrightarrow \,\mathscr {A}^{*}_{sa} \nonumber \\ \alpha \,&:=\,{\widetilde{\alpha }}\,\circ \,(i_{\mathscr {G}}\,\times \,\mathrm {id}_{\mathscr {A}^{*}}), \end{aligned}$$

(7)

where $\mathrm {id}_{\mathscr {A}^{*}_{sa}}$ is the identity map, and this map is clearly smooth because it is the composition of smooth maps.

A direct computation shows that $\alpha $ is a (smooth) left action of $\mathscr {G}$ on $\mathscr {A}^{*}_{sa}$. We are interested in the orbits of $\alpha $, in particular, we are interested in the orbits passing through positive linear functionals. It is possible to prove the following proposition.

Proposition 2

Let $\alpha $ be the action of $\mathscr {G}$ on $\mathscr {A}^{*}$, then we have

1.
if $\mathscr {A}$ is a $W^*$-algebra, then $\alpha $ preserves the space $(\mathscr {A}_{*})_{sa}$ of self-adjoint, normal linear functionals;
2.
$\alpha $ preserves the set of positive linear functionals;
3.
if $\omega $ is a faithful, positive linear functional, then so is $\alpha (\mathrm {g},\,\omega )$ for every $\mathrm {g}\in \mathscr {G}$.

Proof

First of all, we note that the second and third points follow by direct inspection.

Then, concerning the first point, we recall that a normal linear functional $\xi $ is a continuous linear functional which is also continuous with respect to the weak* topology on $\mathscr {A}$ generated by its topological predual $\mathscr {A}_{*}$. Equivalently, for every normal linear functional $\xi \in \mathscr {A}^{*}$ there is an element ${\widetilde{\xi }}\in \mathscr {A}_{*}$ such that $\xi =i_{**}({\widetilde{\xi }})$ where $i_{**}$ is the canonical inclusion of $\mathscr {A}_{*}$ in its double dual $\mathscr {A}^{*}$. Then, for every $\mathbf {b}\in \mathscr {A}$, the maps

$$\begin{aligned} l_{\mathbf {b}}\,&:\mathscr {A}\rightarrow \mathscr {A},\;\;\;\; l_{\mathbf {b}}(\mathbf {a}):=\mathbf {ba} \nonumber \\ r_{\mathbf {b}}\,&:\mathscr {A}\rightarrow \mathscr {A},\;\;\;\; r_{\mathbf {b}}(\mathbf {a}):=\mathbf {ab} \end{aligned}$$

(8)

are continuous with respect to the weak* topology on $\mathscr {A}$ generated by its topological predual $\mathscr {A}_{*}$, and it it is immediate to check that the linear functional $\alpha (\mathrm {g},\,\xi ):\mathscr {A}\rightarrow \mathbb {C}$ may be written as

$$\begin{aligned} \alpha (\mathrm {g},\,\xi )\,=\,\xi \,\circ \,l_{\mathrm {g}^{\dagger }}\,\circ \,r_{\mathrm {g}}, \end{aligned}$$

(9)

which means that $\alpha (\mathrm {g},\,\xi )$ is weak* continuous. $\square $

Let $\mathcal {O}_{sa}\subset \mathscr {A}^{*}_{sa}$ be an orbit of $\mathscr {G}$ by means of $\alpha $. Considering $\xi \in \mathcal {O}_{sa}$ and the coset space $\mathscr {G}/\mathscr {G}_{\xi }$, where $\mathscr {G}_{\xi }$ is the isotropy subgroup

$$\begin{aligned} \mathscr {G}_{\xi }\,=\,\left\{ \mathrm {g}\in \mathscr {G}\,:\,\,\alpha (\mathrm {g},\,\xi )\,=\, \xi \right\} , \end{aligned}$$

(10)

of $\xi $ with respect to $\alpha $, the map $i_{\xi }^{\alpha }:\mathscr {G}/\mathscr {G}_{\xi }\rightarrow \mathcal {O}_{sa}$ given by

$$\begin{aligned}{}[\mathrm {g}]\mapsto i_{\xi }^{\alpha }([\mathrm {g}])=\alpha (\mathrm {g},\xi ) \end{aligned}$$

(11)

provides a set-theoretical bijection between the coset space $\mathscr {G}/\mathscr {G}_{\xi }$ and the orbit $\mathcal {O}_{sa}$ for every $\xi \in \mathcal {O}_{sa}\subset \mathscr {A}^{*}_{sa}$. According to the results recalled in “Appendix B”, this means that we may dress the orbit $\mathcal {O}_{sa}$ with the structure of homogeneous Banach manifold of $\mathscr {G}$ whenever the isotropy subgroup $\mathscr {G}_{\xi }$ is a Banach-Lie subgroup of $\mathscr {G}$. Specifically, it is the quotient space $\mathscr {G}/\mathscr {G}_{\xi }$ that is endowed with the structure of homogeneous Banach manifold, and this structure may be “transported” to $\mathcal {O}_{sa}$ in view of the bijection $ i_{\xi }^{\alpha }$ between $\mathscr {G}/\mathscr {G}_{\xi }$ and $\mathcal {O}_{sa}$.

In general, the fact that $\mathscr {G}_{\xi }$ is a Banach-Lie subgroup of $\mathscr {G}$ depends on both $\xi $ and $\mathscr {A}$. However, we will now see that $\mathscr {G}_{\xi }$ is an algebraic subgroup of $\mathscr {G}$ for every $\xi $ and every unital $C^*$-algebra $\mathscr {A}$. According to [55, p. 117], a subgroup $\mathcal {K}$ of $\mathscr {G}$ is called algebraic of order n if there is a family Q of Banach-space-valued continuous polynomials on $\mathscr {A}\times \mathscr {A}$ with degree at most n such that

$$\begin{aligned} \mathcal {K}=\left\{ \mathrm {g}\in \mathscr {G}:p(\mathrm {g},\mathrm {g}^{-1})=0\;\;\forall p\in Q\right\} . \end{aligned}$$

(12)

Proposition 3

The isotropy subgroup $\mathscr {G}_{\xi }$ of $\xi \in \mathscr {A}^{*}_{sa}$ is an algebraic subgroup of $\mathscr {G}$ of order 2 for every $\xi \in \mathscr {A}^{*}_{sa}$.

Proof

Define the family $Q_{\xi }=\{p_{\xi ,\mathbf {c}}\}_{\mathbf {c}\in \mathscr {A}}$ of complex-valued polynomials of order 2 as follows^{Footnote 2}:

$$\begin{aligned} p_{\xi ,\mathbf {c}}(\mathbf {a},\mathbf {b})\,:=\, \xi \left( \mathbf {c}\right) \,-\, \xi \left( \mathbf {a}^{\dagger }\,\mathbf {c}\mathbf {a}\right) . \end{aligned}$$

(13)

The continuity of every $p_{\xi ,\mathbf {c}}$ follows easily from the fact that $\xi $ is a norm-continuous linear functional on $\mathscr {A}$. A moment of reflection shows that

$$\begin{aligned} \mathscr {G}_{\xi }=\left\{ \mathrm {g}\in \mathscr {G}:p_{\xi ,\mathbf {c}}(\mathrm {g},\mathrm {g}^{-1})=0\;\;\forall p_{\xi ,\mathbf {c}}\in Q_{\xi }\right\} , \end{aligned}$$

(14)

and thus $\mathscr {G}_{\xi }$ is an algebraic subgroup of $\mathscr {G}$ of order 2 for all $\xi \in \mathscr {A}^{*}_{sa}$. $\square $

Being an algebraic subgroup of $\mathscr {G}$, the isotropy subgroup $\mathscr {G}_{\xi }$ is a closed subgroup of $\mathscr {G}$ which is also a real Banach-Lie group in the relativised norm topology, and its Lie algebra $\mathfrak {g}_{\xi }\subset \mathfrak {g}$ is given by the closed subalgebra (see [35, p. 667], and [55, p. 118])

$$\begin{aligned} \mathfrak {g}_{\xi }=\left\{ \mathbf {a}\in \mathfrak {g}\equiv \mathscr {A}\,:\exp (t\mathbf {a})\in \mathscr {G}_{\xi }\;\forall t\in \mathbb {R}\right\} . \end{aligned}$$

(15)

According to Proposition 15, the isotropy subgroup $\mathscr {G}_{\xi }$ is a Banach-Lie subgroup of $\mathscr {G}$ if and only if the Lie algebra $\mathfrak {g}_{\xi }$ of $\mathscr {G}_{\xi }$ is a split subspace of $\mathfrak {g}=\mathscr {A}$ and $\exp (V)$ is a neighbourhood of the identity element in $\mathscr {G}_{\xi }$ for every neighbourhood V of $\mathbf {0}\in \mathfrak {g}_{\xi }$ (see [55, p. 129] for an explicit proof). The fact that $\exp (V)$ is a neighbourhood of the identity element in $\mathscr {G}_{\xi }$ for every neighbourhood V of $\mathbf {0}\in \mathfrak {g}_{\xi }$ follows from the fact that $\mathscr {G}_{\xi }$ is an algebraic subgroup of $\mathscr {G}$ (see [35, p. 667]).

Next, if $\mathbf {a}\in \mathfrak {g}=\mathscr {A}$, we have that

$$\begin{aligned} \mathrm {g}_{t}\,=\,\exp (t\mathbf {a}) \end{aligned}$$

(16)

is a smooth curve in $\mathscr {G}$ for all $t\in \mathbb {R}$. Consequently, we have the smooth curve $\xi _{t}$ in $\mathscr {A}^{*}$ given by

$$\begin{aligned} \xi _{t}(\mathbf {b})\,=\,(\alpha (\mathrm {g}_{t},\,\xi ))(\mathbf {b})\,=\, \xi \left( \mathrm {g}_{t}^{\dagger }\,\mathbf {b}\,\mathrm {g}_{t}\right) \end{aligned}$$

(17)

for all $t\in \mathbb {R}$ and for all $\mathbf {b}\in \mathscr {A}$. Therefore, we may compute

$$\begin{aligned} \frac{\mathrm {d}}{\mathrm {d}\,t}\,\left( \xi \left( \mathrm {g}_{t}^{\dagger }\, \mathbf {b}\,\mathrm {g}_{t}\right) \right) _{t=0}&\,=\,\lim _{t\rightarrow 0}\, \frac{1}{t}\, \left( \xi \left( \mathrm {g}_{t}^{\dagger }\,\mathbf {b}\,\mathrm {g}_{t}\right) - \xi (\mathbf {b})\right) \nonumber \\&\,=\,\lim _{t\rightarrow 0}\, \frac{1}{t}\,\sum _{j,k=0}^{+\infty }\, \left( \xi \left( \frac{\left( t\mathbf {a}^{\dagger }\right) ^{k}}{k!}\, \mathbf {b}\,\frac{(t\mathbf {a})^{j}}{j!}\right) -\xi (\mathbf {b})\right) \nonumber \\&\,=\,\xi \left( \mathbf {a}^{\dagger }\,\mathbf {b}\,+\,\mathbf {b}\,\mathbf {a}\right) \, \end{aligned}$$

(18)

for every $\mathbf {b}\in \mathscr {A}$, from which it follows that $\mathbf {a}$ is in the Lie algebra $\mathfrak {g}_{\xi }$ of the isotropy group $\mathscr {G}_{\xi }$ if and only if

$$\begin{aligned} \xi \left( \mathbf {a}^{\dagger }\,\mathbf {b}\,+\,\mathbf {b}\,\mathbf {a}\right) \,=0 \end{aligned}$$

(19)

for every $\mathbf {b}\in \mathscr {A}$. In particular, note that the identity operator $\mathbb {I}$ never belongs to $\mathfrak {g}_{\xi }$.

When $\mathrm {dim}(\mathscr {A})=N<\infty $, the Lie algbera $\mathfrak {g}_{\xi }$ is a split subspace for every $\xi \in \mathscr {A}^{*}_{sa}$, and thus every orbit of $\mathscr {G}$ in $\mathscr {A}^{*}_{sa}$ by means of $\alpha $ is a homogeneous Banach manifold of $\mathscr {G}$. Clearly, when $\mathscr {A}$ is infinite-dimensional, this is no-longer true, and a case by case analysis is required. For instance, in Sect. 2.1, we will show that $\mathfrak {g}_{\xi }$ is a split subspace of $\mathfrak {g}=\mathscr {A}$ when $\mathscr {A}$ is the algebra $\mathcal {B}(\mathcal {H})$ of bounded linear operators on a complex, separable Hilbert space $\mathcal {H}$, and $\xi $ is any normal, positive linear functional on $\mathcal {B}(\mathcal {H})$ (positive, trace-class linear operator on $\mathcal {H}$). This means that all the orbits of $\mathscr {G}=\mathcal {GL}(\mathcal {H})$ passing through normal, positive linear functionals are homogeneous Banach manifolds of $\mathscr {G}$, and we will classify these orbits into four different types. Furthermore, in Sect. 2.2, we will prove that $\mathfrak {g}_{\xi }$ is a split subspace of $\mathfrak {g}=\mathscr {A}$ whenever $\xi $ is a faithful, finite trace on $\mathscr {A}$.

Now, suppose$\xi $ is such that $\mathfrak {g}_{\xi }$ is a split subspace of $\mathscr {A}$, that is, the isotropy subgroup $\mathscr {G}_{\xi }$ is a Banach-Lie subgroup of $\mathscr {G}$. In this case, the orbit $\mathcal {O}_{sa}$ containing $\xi $ is endowed with a Banach manifold structure such that the map $\tau _{\xi }^{\alpha }:\mathscr {G}\rightarrow \mathcal {O}_{sa}$ given by

$$\begin{aligned} \mathrm {g}\,\mapsto \,\tau _{\xi }^{\alpha }(\mathrm {g})\,:=\,\alpha (\mathrm {g},\xi ) \end{aligned}$$

(20)

is a smooth surjective submersion for every $\xi \in \mathcal {O}_{sa}$. Moreover, $\mathscr {G}$ acts transitively and smoothly on $\mathcal {O}_{sa}$, and the tangent space $T_{\xi }\mathcal {O}_{sa}$ at $\xi \in \mathcal {O}_{sa}$ is diffeomorphic to $\mathfrak {g}/\mathfrak {g}_{\xi }$ (see [17, p. 105] and [55, p. 136]). Note that this smooth differential structure on $\mathcal {O}_{sa}$ is unique up to smooth diffeomorphism. The canonical immersion $i_{sa}:\mathcal {O}_{sa}\longrightarrow \mathscr {A}^{*}_{sa}$ given by $i_{sa}(\xi )=\xi $ for every $\xi \in \mathcal {O}_{sa}$ is easily seen to be a smooth map, and its tangent map is injective for every point in the orbit.

Proposition 4

Let $\xi $ be such that the isotropy subgroup $\mathscr {G}_{\xi }$ is a Banach-Lie subgroup of $\mathscr {G}$, let $\mathcal {O}_{sa}$ be the orbit containing $\xi $ endowed with the smooth structure coming from $\mathscr {G}$, and consider the map $l_{\mathbf {a}}:\,\mathcal {O}_{sa}\longrightarrow \mathbb {R}$, with $\mathbf {a}$ a self-adjoint element in $\mathscr {A}$, given by

$$\begin{aligned} l_{\mathbf {a}}(\xi )\,:=\,\xi (\mathbf {a}). \end{aligned}$$

(21)

Then:

1.
the canonical immersion map $i_{sa}:\mathcal {O}_{sa}\longrightarrow \mathscr {A}^{*}_{sa}$ is smooth;
2.
the map $l_{\mathbf {a}}:\,\mathcal {O}_{sa}\longrightarrow \mathbb {R}$ is smooth;
3.
the tangent map $T_{\xi }i_{sa}$ at $\xi \in \mathcal {O}_{sa}$ is injective for all $\xi $ in the orbit.

Proof

1.
We will exploit Proposition 16 in “Appendix B” in order to prove the smoothness of the immersion $i_{sa}$. Specifically, we consider the map
$$\begin{aligned} \alpha _{\xi }\,:\,\mathscr {G}\,\longrightarrow \,\mathscr {A}^{*}_{sa},\;\;\;\alpha _{\xi }(\mathrm {g})\, :=\,\alpha (\mathrm {g},\omega ) \end{aligned}$$
(22)
where $\alpha $ is the action of $\mathscr {G}$ on $\mathscr {A}^{*}_{sa}$ defined by Eq. (7), and note that, quite trivially, it holds
$$\begin{aligned} \alpha _{\xi }\,=\,i_{sa}\,\circ \,\tau _{\xi }^{\alpha }. \end{aligned}$$
(23)
Consequently, being $\tau _{\xi }^{\alpha }$ a smooth submersion for every $\xi \in \mathcal {O}$, Proposition 16 in “Appendix B implies that the immersion $i_{sa}$ is smooth if $\alpha _{\xi }^{\alpha }$ is smooth. Clearly, $\alpha _{\xi }$ is smooth because $\alpha $ is a smooth action according to Proposition 1 and the discussion below.
2.
Regarding the second point, it suffices to note that $l_{\mathbf {a}}$ is the composition of the linear (and thus smooth) map $L_{\mathbf {a}}:\mathscr {A}^{*}_{sa}\longrightarrow \mathbb {R}$ given by
$$\begin{aligned} L_{\mathbf {a}}(\xi )\,=\, \xi (\mathbf {a}) \end{aligned}$$
(24)
with the canonical immersion $i_{sa}:\mathcal {O}_{sa}\longrightarrow \mathscr {A}^{*}_{sa}$ which is smooth because of what has been proved above.
3.
Now, consider the family $\{l_{\mathbf {a}}\}_{\mathbf {a}\in \mathscr {A}}$ of smooth functions on the orbit $\mathcal {O}_{sa}$, and suppose that $\mathbf {V}_{\xi }$ and $\mathbf {W}_{\xi }$ are tangent vectors at $\xi \in \mathcal {O}_{sa}$ such that
$$\begin{aligned} \langle (\mathrm {d}l_{\mathbf {a}})_{\xi };\,\mathbf {V}_{\xi }\rangle \,=\,\langle (\mathrm {d}l_{\mathbf {a}})_{\xi };\,\mathbf {W}_{\xi }\rangle \end{aligned}$$
(25)
for every $\mathbf {a}\in \mathscr {A}_{sa}$. Since $l_{\mathbf {a}}=L_{\mathbf {a}}\circ \,i_{sa}$, we have
$$\begin{aligned} \langle (\mathrm {d}l_{\mathbf {a}})_{\xi };\,\mathbf {V}_{\xi }\rangle \,=\,\langle (\mathrm {d}L_{\mathbf {a}})_{i_{sa}(\xi )};\,T_{\xi }i_{sa}(\mathbf {V}_{\xi })\rangle \end{aligned}$$
(26)
and
$$\begin{aligned} \langle (\mathrm {d}l_{\mathbf {a}})_{\xi };\,\mathbf {W}_{\xi }\rangle \,=\,\langle (\mathrm {d}L_{\mathbf {a}})_{i_{sa}(\xi )};\,T_{\xi }i(\mathbf {W}_{\xi })\rangle \end{aligned}$$
(27)
Note that the family of linear functions of the type $L_{\mathbf {a}}$ with $\mathbf {a}\in \mathscr {A}_{sa}$ (see Eq. (24)) are enough to separate the tangent vectors at $\xi $ for every $\xi \in \mathscr {A}^{*}_{sa}$ because the tangent space at $\xi \in \mathscr {A}^{*}_{sa}$ is diffeomorphic with $\mathscr {A}^{*}_{sa}$ in such a way that
$$\begin{aligned} \langle (\mathrm {d}L_{\mathbf {a}})_{\xi };\mathbf {V}_{\xi }\rangle \,=\,\mathbf {V}_{\xi }(\mathbf {a})\,=\,L_{\mathbf {a}}(\mathbf {V}_{\xi }) \end{aligned}$$
(28)
for every $\mathbf {V}_{\xi }\in T_{\xi }\mathscr {A}^{*}_{sa}\cong \mathscr {A}^{*}_{sa}$, and $\mathscr {A}_{sa}$ (the predual of $\mathscr {A}^{*}_{sa}$) separates the points of $\mathscr {A}^{*}_{sa}$ (see [42]). Consequently, since $T_{\xi }i_{sa}(\mathbf {V}_{\xi })$ and $T_{\xi }i_{sa}(\mathbf {W}_{\xi })$ are tangent vectors at $i_{sa}(\xi )\in \mathscr {A}^{*}_{sa}$ and the functions $L_{\mathbf {a}}$ with $\mathbf {a}\in \mathscr {A}_{sa}$ are enough to separate them and we conclude that the validity of Eq. (25) for all $\mathbf {a}\in \mathscr {A}_{sa}$ is equivalent to
$$\begin{aligned} T_{\xi }i_{sa}(\mathbf {V}_{\xi })\,=\,T_{\xi }i_{sa}(\mathbf {W}_{\xi }). \end{aligned}$$
(29)
Then, if $\mathrm {g}_{t}\,=\,\exp (t\mathbf {a})$ is a one-parameter subgroup in $\mathscr {G}$ so that
$$\begin{aligned} \xi _{t}\,=\,\alpha (\mathrm {g}_{t},\,\xi ) \end{aligned}$$
(30)
is a smooth curve in $\mathcal {O}$ starting at $\xi $ with associated tangent vector $\mathbf {V}_{\xi }$, we have
$$\begin{aligned} \langle (\mathrm {d}L_{\mathbf {b}})_{i_{sa}(\xi )};\,T_{\xi }i_{sa}(\mathbf {V}_{\xi })\rangle \,=\,\frac{\mathrm {d}}{\mathrm {d}t}\,\left( L_{\mathbf {b}}\,\circ \,i_{sa}(\xi _{t})\right) _{t=0} \end{aligned}$$
(31)
which we may compute in analogy with Eq. (18) obtaining
$$\begin{aligned} \begin{aligned} \frac{\mathrm {d}}{\mathrm {d}t}\,\left( L_{\mathbf {b}}\,\circ \,i_{sa}(\xi _{t})\right) _{t=0}&\,=\,\xi \left( \mathbf {a}^{\dagger }\,\mathbf {b}\,+\,\mathbf {b}\,\mathbf {a}\right) . \end{aligned} \end{aligned}$$
(32)
Comparing Eq. (32) with Eq. (19) we conclude that $\mathbf {V}_{\xi }$ and $\mathbf {W}_{\xi }$ satisfy Eq. (29) if and only if they coincide, and thus $T_{\xi }i_{sa}$ is injective for all $\xi \in \mathcal {O}_{sa}$.

$\square $

It is important to note that the topology underlying the differential structure on the orbit $\mathcal {O}_{sa}$ containing $\xi $ comes from the topology of $\mathscr {G}$ in the sense that a subset U of the orbit is open iff $(\tau ^{\alpha }_{\xi })^{-1}(U)$ is open in $\mathscr {G}$. In principle, this topology on $\mathcal {O}_{sa}$ has nothing to do with the topology of $\mathcal {O}_{sa}$ when thought of as a subset of $\mathscr {A}^{*}_{sa}$ endowed with the relativised norm topology, or with the relativised weak* topology. However, from Proposition 4, it follows that the map $l_{\mathbf {a}}:\,\mathcal {O}_{sa}\longrightarrow \mathbb {R}$ is continuous for every $\mathbf {a}\in \mathscr {A}_{sa}$, and we may conclude that the topology underlying the homogeneous Banach manifold structure on $\mathcal {O}_{sa}$ is stronger than the relativised weak* topology coming from $\mathscr {A}^{*}_{sa}$.

In general, the action $\alpha $ does not preserve the space of states $\mathscr {S}$ on $\mathscr {A}$. At this purpose, in Sect. 3, we provide a modification of $\alpha $ that allows us to overcome this situation.

2.1 Positive, trace-class operators

Let $\mathcal {H}$ be a complex, separable Hilbert space and denote by $\mathscr {A}$ the $W^{*}$-algebra $\mathcal {B}(\mathcal {H})$ of bounded, linear operators on $\mathcal {H}$. The predual of $\mathscr {A}$ may be identified with the space $\mathcal {T}(\mathcal {H})$ of trace-class linear operators on $\mathcal {H}$ (see [54, p. 61]). In particular, a normal, self-adjoint linear functional ${\widetilde{\xi }}$ on $\mathscr {A}$ may be identified with a self-adjoint, trace-class operator $\xi $ on $\mathcal {H}$, and the duality relation may be expressed by means of the trace operation

$$\begin{aligned} {\widetilde{\xi }}(\mathbf {a})\,=\,\mathrm {Tr}\,\left( \xi \,\mathbf {a}\right) \end{aligned}$$

(33)

for all $\mathbf {a}\in \mathscr {A}=\mathcal {B}(\mathcal {H})$. Furthermore, it is known that $\mathscr {A}=\mathcal {B}(\mathcal {H})$ may be identified with the double dual of the $C^{*}$-algebra $\mathcal {K}(\mathcal {H})$ of compact, linear operators on $\mathcal {H}$ in such a way that the linear functionals on $\mathcal {K}(\mathcal {H})$ are identified with the normal linear functionals on $\mathscr {A}$ (see [54, p. 64]).

Now, we will study the orbits of the action $\alpha $ of the group $\mathscr {G}$ of invertible elements in $\mathscr {A}$ on the normal, positive linear functionals on $\mathscr {A}$. The group $\mathscr {G}$ is the Banach-Lie group $\mathcal {GL}(\mathcal {H})$ of invertible, bounded linear operators on the complex, separable Hilbert space $\mathcal {H}$, and its action $\alpha $ on a self-adjoint, normal linear functional ${\widetilde{\xi }}$ reads

$$\begin{aligned} \left( \alpha (\mathrm {g},\,{\widetilde{\xi }})\right) (\mathbf {a})\,=\,{\widetilde{\xi }}\left( \mathrm {g}^{\dagger }\,\mathbf {a}\,\mathrm {g}\right) \,=\,\mathrm {Tr}\left( \xi \,\mathrm {g}^{\dagger }\,\mathbf {a}\,\mathrm {g}\right) \;\;\;\forall \,\mathbf {a}\in \mathscr {A}=\mathcal {B}(\mathcal {H}). \end{aligned}$$

(34)

Equivalently, we may say that $\alpha $ transform the element $\xi $ in the predual $(\mathscr {A}_{*})_{sa}=(\mathcal {T}(\mathcal {H}))_{sa}$ of $\mathscr {A}_{sa}$ in the element $\xi _{\mathrm {g}}$ given by

$$\begin{aligned} \xi _{\mathrm {g}}\,=\,\mathrm {g}\,\xi \,\mathrm {g}^{\dagger }. \end{aligned}$$

(35)

This last expression allows us to work directly with trace-class operators.

According to the spectral theory for compact operators (see

[51, ch. VII]), given a positive, trace-class linear operator $\varrho \,\ne \,\mathbf {0}$ on $\mathcal {H}$, there is a decomposition

$$\begin{aligned} \mathcal {H}=\mathcal {H}_{\varrho }\oplus \mathcal {H}_{\varrho }^{\perp } \end{aligned}$$

(36)

and a countable orthonormal basis $\{|e_{j}\rangle ,\,|f_{j}\rangle \}$ adapted to this decomposition such that $\varrho $ can be written as

$$\begin{aligned} \varrho \,=\,\sum _{j=1}^{\mathrm {dim}(\mathcal {H}_{\varrho })}\, p^{j}\,|e_{j}\rangle \langle e_{j}|, \end{aligned}$$

(37)

with $\mathrm {dim}(\mathcal {H}_{\varrho })>0$ and $p^{j}>0$ for all $j\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$. In general, we have four different situations:

1.
$0<\mathrm {dim}(\mathcal {H}_{\varrho })=N<\infty $;
2.
$\mathrm {dim}(\mathcal {H}_{\varrho })=\infty $ and $0<\mathrm {dim}(\mathcal {H}^{\perp }_{\varrho })=M<\infty $;
3.
$\mathrm {dim}(\mathcal {H}_{\varrho })=\infty $ and $\mathrm {dim}(\mathcal {H}^{\perp }_{\varrho })=0$
4.
$\mathrm {dim}(\mathcal {H}_{\varrho })=\mathrm {dim} (\mathcal {H}_{\varrho }^{\perp })=\infty $,

and we set

$$\begin{aligned} (\mathscr {P}_{*})_{N}&\,:=\,\left\{ \mathbf {0}\,\ne \,\varrho \in \mathscr {P}_{*}\,\,|\; 0<\mathrm {dim}(\mathcal {H}_{\varrho })=N<\infty \right\} \nonumber \\ (\mathscr {P}_{*})_{M}^{\perp }&\,:=\,\left\{ \mathbf {0}\,\ne \,\varrho \in \mathscr {P}_{*}\,\,|\; \mathrm {dim}(\mathcal {H}_{\varrho })=\infty \, \text{ and } \,0<\mathrm {dim} \left( \mathcal {H}^{\perp }_{\varrho }\right) =M<\infty \right\} \nonumber \\ (\mathscr {P}_{*})_{0}^{\perp }&\,:=\,\left\{ \mathbf {0}\,\ne \,\varrho \in \mathscr {P}_{*}\,\,|\; \mathrm {dim}(\mathcal {H}_{\varrho })=\infty \, \text{ and } \,\mathrm {dim} \left( \mathcal {H}^{\perp }_{\varrho }\right) =0\right\} \nonumber \\ (\mathscr {P}_{*})_{\infty }&\,:=\,\left\{ \mathbf {0}\,\ne \,\varrho \in \mathscr {P}_{*}\,\,|\; \mathrm {dim}(\mathcal {H}_{\varrho })=\mathrm {dim}\left( \mathcal {H}_{\varrho }^{\perp }\right) =\infty \right\} . \end{aligned}$$

(38)

The subscripts here denote either the dimension of the space on which $\varrho $ operates, or its codimension when the symbol $\perp $ is used. Clearly, when $\mathrm {dim}(\mathcal {H})<\infty $, we have $(\mathscr {P}_{*})_{N}=\emptyset $ for all $N>\mathrm {dim}(\mathcal {H})$, and $(\mathscr {P}_{*})_{M}^{\perp }=(\mathscr {P}_{*})_{0}^{\perp }=(\mathscr {P}_{*})_{\infty }=\emptyset $.

The advantage of working with a separable Hilbert space is that every bounded linear operator $\mathbf {a}\in \mathcal {B}(\mathcal {H})=\mathscr {A}$ may be looked at as an infinite matrix whose matrix elements $a_{jk}$ are given by

$$\begin{aligned} a_{jk}\,=\,\langle e_{j}|\mathbf {a}|e_{k}\rangle \end{aligned}$$

(39)

where $\{|e_{j}\rangle \}$ is an orthonormal basis in $\mathcal {H}$. Clearly, the matrix describing $\mathbf {a}$ depends on the choice of the orthonormal basis. However, once this choice is made, we may translate the algebraic operations in $\mathcal {B}(\mathcal {H})=\mathscr {A}$, like the sum, the multiplication, and the involution, in the language of matrix algebras (see [3, p. 48]).

In particular, if $\varrho \,\ne \,\mathbf {0}$ is a positive, trace-class linear operator, we may choose a countable orthonormal basis $\{|e_{j}\rangle ,\,|f_{j}\rangle \}$ adapted to the spectral decomposition of $\varrho $ so that the matrix associated with $\varrho $ is diagonal. On the other hand, the matrix expression A of $\mathbf {a}\in \mathscr {A}=\mathcal {B}(\mathcal {H})$ with respect to the countable orthonormal basis $\{|e_{j}\rangle ,\,|f_{j}\rangle \}$ adapted to the spectral decomposition of $\varrho $ reads

$$\begin{aligned} A\,=\, \left( \begin{matrix} A_{1} &{} A_{2} \\ A_{3} &{} A_{4} \end{matrix}\right) , \end{aligned}$$

(40)

where $A_{1}$ may be thought of as a bounded linear operator sending $\mathcal {H}_{\varrho }$ in itself, $A_{2}$ may be thought of as a bounded linear operator sending $\mathcal {H}_{\varrho }^{\perp }$ in $\mathcal {H}_{\varrho }$, $A_{3}$ may be thought of as a bounded linear operator sending $\mathcal {H}_{\varrho }$ in $\mathcal {H}_{\varrho }^{\perp }$, and $A_{4}$ may be thought of as a bounded linear operator sending $\mathcal {H}_{\varrho }^{\perp }$ in itself.

Proposition 5

Let $\mathcal {H}$ be a complex, separable Hilbert space, let $\varrho $ be a positive, trace-class linear operator on $\mathcal {H}$, and denote by $\{|e_{k}\rangle ,\,|f_{l}\rangle \}$ the orthonormal basis of $\mathcal {H}$ adapted to the spectral decomposition of $\varrho $ (see Eqs. (36) and (37)). Then, the Lie algebra $\mathfrak {g}_{\varrho }$ of the isotropy subgroup $\mathscr {G}_{\varrho }$ of $\varrho $ with respect to the action $\alpha $ in Eqs. (34) and (35) is given by

$$\begin{aligned} \mathfrak {g}_{\varrho }\,=\,\left\{ \mathbf {a}\in \mathscr {A}\,\,:\begin{array}{c}\,\langle f_{k}|\mathbf {a}|f_{l}\rangle \, \text{ arbitrary } \,\,\forall \,k,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })];\\ \,\langle e_{k}|\mathbf {a}|f_{l}\rangle \, \text{ arbitrary } \,\,\forall \,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })],\, \forall \,k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })] \\ \\ \,\langle f_{l}|\mathbf {a}|e_{k}\rangle \,=\,0 \,\,\forall \, l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })],\,\forall \,k\in [1,..., \mathrm {dim}(\mathcal {H}_{\varrho })] \\ \\ \langle e_{k}|\mathbf {a}|e_{l}\rangle \,=\, - \frac{p_{k}}{p_{l}}\,\overline{\langle e_{l}|\mathbf {a}|e_{k}\rangle }\,\, \,\,\forall \,k,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })] \end{array} \right\} .\nonumber \\ \end{aligned}$$

(41)

Proof

Recall that an element $\mathbf {a}\in \mathfrak {g}=\mathscr {A}=\mathcal {B}(\mathcal {H})$ is in the Lie algebra $\mathfrak {g}_{\varrho }$ of the isotropy subgroup $\mathscr {G}_{\varrho }$ of $\varrho $ if and only if (see Eq. (19))

$$\begin{aligned} {\widetilde{\varrho }}(\mathbf {a}^{\dagger }\,\mathbf {b} + \mathbf {b}\,\mathbf {a})\,=\, \mathrm {Tr}\left( \varrho \,(\mathbf {a}^{\dagger }\,\mathbf {b} + \mathbf {b}\,\mathbf {a})\right) \,=\,0\;\;\;\forall \,\,\,\mathbf {b}\in \mathscr {A}=\mathcal {B}(\mathcal {H}). \end{aligned}$$

(42)

Using the matrix expressions of $\varrho ,\,\mathbf {a},$ and $\mathbf {b}$, a direct computation shows that Eq. (42) poses no constraints on the factor $A_{2}$ in the matrix expression of $\mathbf {a}$, or, equivalenty, we have that

$$\begin{aligned} \langle e_{k}|\mathbf {a}|f_{l}\rangle \, \text{ is } \text{ arbitrary } \,\,\forall \,l\in \left[ 1,...,\mathrm {dim}\left( \mathcal {H}_{\varrho }^{\perp }\right) \right] ,\,\forall \,k\in \left[ 1,...,\mathrm {dim}(\mathcal {H}_{\varrho })\right] . \end{aligned}$$

(43)

Then, since $\mathbf {b}$ in Eq. (42) is arbitrary, if we fix $k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$ and $l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })]$ and take $\mathbf {b}=|e_{k}\rangle \langle f_{l}|$, Eq. (42) becomes

$$\begin{aligned} p^{k}\,\langle f_{l}|\mathbf {a}| e_{k}\rangle \,=\,0\,\,\Longleftrightarrow \,\,\langle f_{l}|\mathbf {a}| e_{k}\rangle \,=\,0. \end{aligned}$$

(44)

Clearly, we may do this for every $k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$ and for every $l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })]$, which means that if $\mathbf {a}$ is in the isotropy algebra $\mathfrak {g}_{\varrho }$, then $A_{3}=0$. Similarly, if we fix $k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$ and $l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })$ and take $\mathbf {b}\,=\,|f_{l}\rangle \langle e_{k}|$, Eq. (42) becomes

$$\begin{aligned} p^{k}\,\overline{\langle f_{l}|\mathbf {a}| e_{k}\rangle }\,=\,0\, \end{aligned}$$

(45)

which is equivalent to the previous equation. Then, if we fix $k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })$ and take $\mathbf {b}=|f_{k}\rangle \langle f_{l}|$, we immediately see that Eq. (42) poses no constraints on $\mathbf {a}$. Putted differently, if $\mathbf {a}$ is in $\mathfrak {g}_{\varrho }$, then the factor $A_{4}$ in the matrix expression of $\mathbf {a}$ is arbitrary. Next, we take $\mathbf {b}=|e_{l}\rangle \langle e_{k}|$ with $l,k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$, and a direct computation shows that we must have

$$\begin{aligned} \langle e_{k}|\mathbf {a}|e_{l}\rangle \,=\, - \frac{p_{k}}{p_{l}}\,\overline{\langle e_{l}|\mathbf {a}|e_{k}\rangle }. \end{aligned}$$

(46)

Consequently, noting that every $\mathbf {a}\in \mathscr {A}$ may be written as the sum of two self-adjoint elements in $\mathscr {A}$, say $\mathbf {x}$ and $\mathbf {y}$, as follows

$$\begin{aligned} \mathbf {a}\,=\,\mathbf {x} + \,\imath \,\mathbf {y} , \end{aligned}$$

(47)

we immediately obtain that Eq. (46) is equivalent to

$$\begin{aligned} x_{kl}^{e}\,=\,\imath \,\frac{p_{k}-p_{l}}{p_{k}+p_{l}}\,y_{kl}^{e}, \end{aligned}$$

(48)

where

$$\begin{aligned} x_{kl}^{e}\,=\,\langle e_{k}|\mathbf {x}| e_{l}\rangle ,\;\;\;y_{kl}^{e}\,=\,\langle e_{k}|\mathbf {y}| e_{l}\rangle . \end{aligned}$$

(49)

This means that the self-adjoint part of $\mathbf {a}$ on $\mathcal {H}_{\rho }$ is uniquely determined by the (arbitrary) skew-adjoint part of $\mathbf {a}$ on $\mathcal {H}_{\rho }$ unless we are considering a subspace where $\rho $ acts as a multiple of the identity, in which case, the self-adjoint part identically vanishes. $\square $

The characterization of $\mathfrak {g}_{\varrho }$ given in Proposition 5 may be aesthetically unpleasant, but it allows to find immediately an algebraic complement for $\mathfrak {g}_{\varrho }$ in $\mathfrak {g}=\mathscr {A}=\mathcal {B}(\mathcal {H})$. Indeed, if we set

$$\begin{aligned} \mathfrak {k}_{\varrho }\,=\,\left\{ \mathbf {b}\in \mathscr {A}\,\,:\begin{array}{c}\,\langle f_{k}|\mathbf {b}|f_{l}\rangle \,=\,0 \,\,\forall \,k,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })];\\ \,\langle e_{k}|\mathbf {b}|f_{l}\rangle \,=\,0 \,\, \forall \,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })],\, \forall \,k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })] \\ \,\langle f_{l}|\mathbf {b}|e_{k}\rangle \,=\, \text{ arbitrary } \,\,\forall \,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })],\, \forall \,k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })] \\ \langle e_{k}|\mathbf {b}|e_{l}\rangle \,=\,\overline{\langle e_{l}|\mathbf {b}|e_{k}\rangle } \,\,\forall \,k,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })] \end{array}\right\} ,\nonumber \\ \end{aligned}$$

(50)

it is clear that $\mathfrak {g}_{\varrho }\cap \mathfrak {k}_{\varrho }\,=\,\{\mathbf {0}\}$. Furthermore, since an arbitrary $\mathbf {c}\in \mathfrak {g}=\mathscr {A}=\mathcal {B}(\mathcal {H})$ is uniquely determined by its matrix elements with respect to the orthonormal basis $\{|e_{k}\rangle ,\,|f_{l}\rangle \}$ of $\mathcal {H}$ adapted to the spectral decomposition of $\varrho $ (see Eqs. (36) and (37)), a direct computation shows that

$$\begin{aligned} \mathfrak {g}\,=\,\mathfrak {g}_{\varrho }\,\oplus \,\mathfrak {k}_{\varrho }, \end{aligned}$$

(51)

algebraically. Then, according to Proposition 15, we have that the orbit of $\mathscr {G}$ passing through $\varrho $ inherits a Banach manifold structure from $\mathscr {G}/\mathscr {G}_{\varrho }$ whenever $\mathfrak {k}_{\varrho }$ is closed in $\mathfrak {g}=\mathscr {A}=\mathcal {B}(\mathcal {H})$. The closedness of $\mathfrak {k}_{\varrho }$ in $\mathfrak {g}=\mathscr {A}=\mathcal {B}(\mathcal {H})$ is the content of the next proposition.

Proposition 6

The linear subspace $\mathfrak {k}_{\varrho }\subset \mathfrak {g}=\mathscr {A}=\mathcal {B}(\mathcal {H})$ is closed.

Proof

Let $\{\mathbf {b}_{n}\}_{n\in \mathbb {N}}$ be a sequence in $\mathfrak {k}_{\varrho }$ norm-converging to $\mathbf {b}\in \mathfrak {g}=\mathscr {A}=\mathcal {B}(\mathcal {H})$. The proof of this proposition reduces to a routine check of the matrix elements of $\mathbf {b}$ with respect to the orthonormal basis $\{|e_{k}\rangle ,\,|f_{l}\rangle \}$ of $\mathcal {H}$ adapted to the spectral decomposition of $\varrho $ in order to show that they satisfy all the conditions in Eq. (50).

The norm convergence of $\{\mathbf {b}_{n}\}_{n\in \mathbb {N}}$ to $\mathbf {b}\in \mathfrak {g}=\mathscr {A}=\mathcal {B}(\mathcal {H})$ implies the convergence of the sequence $\{(F_{\psi \phi })_{n}\}_{n\in \mathbb {N}}$ with

$$\begin{aligned} (F_{\psi \phi })_{n}\,=\,\langle \psi |\mathbf {b}_{n}|\phi \rangle \end{aligned}$$

(52)

$$\begin{aligned} F_{\psi \phi }\,=\,\langle \psi |\mathbf {b}|\phi \rangle \end{aligned}$$

(53)

for all $|\psi \rangle ,\,|\phi \rangle \in \mathcal {H}$. In particular, if we take $|\psi \rangle =|f_{k}\rangle $ and $|\phi \rangle =|f_{l}\rangle $, with arbitrary $k,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })]$, we have

$$\begin{aligned} 0\,=\,(F_{f_{k}f_{l}})_{n}\,{\mathop {\longrightarrow }\limits ^{n\rightarrow \infty }}\,\,F_{f_{k}f_{l}}\,=\,\langle f_{k}|\mathbf {b}|f_{l}\rangle \end{aligned}$$

(54)

which means

$$\begin{aligned} F_{f_{k}f_{l}}\,=\,\langle f_{k}|\mathbf {b}|f_{l}\rangle \,=\,0 \end{aligned}$$

(55)

for all $k,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })]$. Similarly, if we take $|\psi \rangle =|e_{k}\rangle $ and $|\phi \rangle =|f_{l}\rangle $, with arbitrary $k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$ and $l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })]$, we obtain

$$\begin{aligned} F_{e_{k}f_{l}}\,=\,\langle e_{k}|\mathbf {b}|f_{l}\rangle \,=\,0 \end{aligned}$$

(56)

for all $k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$ and $l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })]$.

Next, if we take $|\psi \rangle =|f_{l}\rangle $ and $|\phi \rangle =|e_{k}\rangle $, with arbitrary $k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$ and $l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })]$, we have that $(F_{f_{l}e_{k}})_{n}$ converges to the complex number

$$\begin{aligned} F_{f_{l}e_{k}}\,=\,\langle f_{l}|\mathbf {b}|e_{k}\rangle \end{aligned}$$

(57)

and there are no constraints on $F_{f_{l}e_{k}}$ for all $k\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$ and $l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho }^{\perp })]$.

Eventually, if we take $|\psi \rangle =|e_{k}\rangle $ and $|\phi \rangle =|e_{l}\rangle $, with $k,l\in [1,...,\mathrm {dim}(\mathcal {H}_{\varrho })]$, we have that $(F_{e_{k}e_{l}})_{n}$ converges to the complex number

$$\begin{aligned} F_{e_{k}e_{l}}\,=\,\langle e_{k}|\mathbf {b}|e_{l}\rangle . \end{aligned}$$

(58)

Now, since in $\mathbb {C}$ the complex conjugate of the limit is equal to the limit of the complex conjugate, we have

$$\begin{aligned} \overline{F_{e_{k}e_{l}}}\,=\,\overline{\lim _{n\rightarrow \infty }\,(F_{e_{k}e_{l}})_{n}}\, =\,\lim _{n\rightarrow \infty }\,\overline{(F_{e_{k}e_{l}})_{n}}\,=\,\lim _{n\rightarrow \infty }\, (F_{e_{l}e_{k}})_{n}\,=\,F_{e_{l}e_{k}} \end{aligned}$$

(59)

which means

$$\begin{aligned} \overline{\langle e_{k}|\mathbf {b}|e_{l}\rangle }\,=\,\langle e_{l}|\mathbf {b}|e_{k}\rangle . \end{aligned}$$

(60)

Comparing Eqs. (55), (56), (57), and (60) with the characterization of elements in $\mathfrak {k}_{\varrho }$ as given in Eq. (50), it follows that $\mathbf {b}$ is in $\mathfrak {k}_{\varrho }$, and thus $\mathfrak {k}_{\varrho }$ is closed in $\mathfrak {g}=\mathscr {A}=\mathcal {B}(\mathcal {H})$.

$\square $

From this it follows that, for every positive, trace-class linear operator $\varrho $ on $\mathcal {H}$, the orbit $\mathcal {O}_{+}$ containing $\varrho $ (see Eqs. (34) and (35)) is a homogeneous Banach manifold for the group $\mathscr {G}=\mathcal {GL}(\mathcal {H})$ of bounded, invertible linear operators on $\mathcal {H}$. We decided to denote by $\mathcal {O}_{+}$ the orbit containing $\varrho $ in order to emphasize the fact that elements in $\mathcal {O}$ are normal, positive linear functionals. Indeed, the proofs of the Propositions 5 and 6 depend crucially on the positivity of $\varrho $.

We will now give a partial characterization of the orbits of $\mathscr {S}$ through normal, positive linear functionals.

Proposition 7

Let $\varrho _{0}$ and $\varrho _{1}$ be positive, trace-class operators on $\mathcal {H}$, and denote by $p_{0}^{j}$ and $p_{1}^{j}$ the j-th eigenvalue of $\varrho _{0}$ and $\varrho _{1}$, respectively. If $\mathcal {H}_{\varrho _{0}}$ is isomorphic to $\mathcal {H}_{\varrho _{1}}$, and $\mathcal {H}_{\varrho _{0}}^{\perp }$ is isomorphic to $\mathcal {H}_{\varrho _{1}}^{\perp }$, and the following condition holds

$$\begin{aligned} \frac{p_{1}^{j}}{p_{0}^{j}}\,\le \, C \,<\,\infty \;\;\;\;\;\forall j=1,...,N, \end{aligned}$$

(61)

then, the element $\mathrm {g}$ defined by

$$\begin{aligned} \mathrm {g}\,:=\,\sum _{j=1}^{N}\,\sqrt{\frac{p^{j}_{1}}{p^{j}_{0}}}\,|e_{j}^{1}\rangle \langle e_{j}^{0}| + \sum _{k=1}^{M}\,|f_{k}^{1}\rangle \langle f_{k}^{0}|. \end{aligned}$$

(62)

is a bounded, invertible operator on $\mathcal {H}$ such that

$$\begin{aligned} \varrho _{1}\,=\,\mathrm {g}\,\varrho _{0}\,\mathrm {g}^{\dagger }\,. \end{aligned}$$

(63)

Proof

Since $\mathcal {H}_{\varrho _{0}}$ is isomorphic to $\mathcal {H}_{\varrho _{1}}$, and $\mathcal {H}_{\varrho _{0}}^{\perp }$ is isomorphic to $\mathcal {H}_{\varrho _{1}}^{\perp }$, the element

$$\begin{aligned} \mathrm {g}\,:=\,\sum _{j=1}^{N}\,\sqrt{\frac{p^{j}_{1}}{p^{j}_{0}}}\,|e_{j}^{1}\rangle \langle e_{j}^{0}| + \sum _{k=1}^{M}\,|f_{k}^{1}\rangle \langle f_{k}^{0}|, \end{aligned}$$

(64)

where $N=\mathrm {dim}(\mathcal {H}_{\varrho _{0}})=\mathrm {dim}(\mathcal {H}_{\varrho _{1}})$ and $M=\mathcal {H}_{\varrho _{0}}^{\perp }=\mathcal {H}_{\varrho _{1}}^{\perp }$, is well-defined, and a direct (formal) computation shows that equation (63) actually holds. All that is left to do is to check that $\mathrm {g}$ is bounded and invertible. At this purpose, we consider an arbitrary element $\psi \in \mathcal {H}$ which can be written as

$$\begin{aligned} {\begin{matrix} |\psi \rangle &{}\,=\,\sum _{j=1}^{N}\,\psi ^{j}_{0}\,|e_{j}^{0}\rangle + \sum _{k=1}^{M}\,\psi ^{k}_{0,\perp }\,|f_{k}^{0}\rangle \,=\, \\ &{}\,=\,\sum _{j=1}^{N}\,\psi ^{j}_{1}\,|e_{j}^{1}\rangle + \sum _{k=1}^{M}\,\psi ^{k}_{1,\perp }\,|f_{k}^{1}\rangle \,, \end{matrix}} \end{aligned}$$

(65)

with respect to the orthonormal bases in $\mathcal {H}$ adapted to the spectral decompositions of $\varrho _{0}$ and $\varrho _{1}$. From this, we have

$$\begin{aligned} {\begin{matrix} ||\mathrm {g}(\psi )||^{2}&{}\,=\,\langle \psi |\mathrm {g}^{\dagger }\,\mathrm {g}|\psi \rangle \,=\,\sum _{j=1}^{N}\,|\psi ^{j}_{0}|^{2}\,\frac{p^{j}_{1}}{p^{j}_{0}} + \sum _{k=1}^{M}\,|\psi ^{k}_{0,\perp }|^{2}\,\le \, \\ &{}\,\le \,C\sum _{j=1}^{N}\,|\psi ^{j}_{0}|^{2}\, + \sum _{k=1}^{M}\,|\psi ^{k}_{0,\perp }|^{2}\,\le \, \left( C+1\right) \,||\psi ||^{2}\,<\,\infty \,, \end{matrix}} \end{aligned}$$

(66)

where we used equation (61) in the second passage. Clearly, equation (66) implies that $\mathrm {g}$ is bounded. Then, setting

$$\begin{aligned} \mathrm {g}^{-1}\,:=\,\sum _{j=1}^{N}\,\sqrt{\frac{p^{j}_{0}}{p^{j}_{1}}}\,|e_{j}^{0}\rangle \langle e_{j}^{1}| + \sum _{k=1}^{M}\,\,|f_{k}^{0}\rangle \langle f_{k}^{1}|, \end{aligned}$$

(67)

we may proceed as we did for $\mathrm {g}$ to show that $\mathrm {g}^{-1}$ is bounded, and a direct computation shows that $\mathrm {g}^{-1}$ is the inverse of $\mathrm {g}$. $\square $

Clearly, the assumptions in Proposition 7 are always satisfied if $\varrho _0$ and $\varrho _1$ are finite-rank operators with the same rank.

The last step we want to take is to write down a tangent vector $\mathbf {V}_{\varrho }$ at $\varrho \in \mathcal {O}_{+}$, where $\mathcal {O}_{+}$ is any of the orbits of $\mathscr {G}$ inside the positive, trace-class operators. At this purpose, we consider the canonical immersion $i_{+}:\mathcal {O}_{+}\longrightarrow \mathscr {A}^{*}_{sa}$, and we recall Eq. (32), from which it follows that

$$\begin{aligned} T_{\varrho }i_{+}(\mathbf {V}_{\rho })(\mathbf {b})\,=\,\mathrm {Tr}\left( \varrho \,\left( \mathbf {a}^{\dagger }\,\mathbf {b} + \mathbf {b}\,\mathbf {a}\right) \right) \;\;\;\forall \mathbf {b}\in \mathscr {A}, \end{aligned}$$

(68)

where $\mathbf {a}$ is an arbitrary element in $\mathscr {A}=\mathcal {B}(\mathcal {H})$. Clearly, different choices of $\mathbf {a}$ may lead to the same $T_{\varrho }i_{+}(\mathbf {V}_{\varrho })$. Then, writing $\mathbf {a}=\mathbf {x} + \imath \mathbf {y}$ with $\mathbf {x},\mathbf {y}\in \mathscr {A}_{sa}$, we have

$$\begin{aligned} T_{\varrho }i_{+}(\mathbf {V}_{\varrho })(\mathbf {b})\,=\,\mathrm {Tr}\left( \left( \left\{ \varrho ,\,\mathbf {x}\right\} -\imath \,\left[ \varrho ,\, \mathbf {y}\right] \right) \,\mathbf {b}\right) \;\;\;\forall \mathbf {b}\in \mathscr {A}, \end{aligned}$$

(69)

with $\{\cdot ,\,\cdot \}$ and $[\cdot ,\,\cdot ]$ the anticommutator and the commutator in $\mathcal {B}(\mathcal {H})$, respectively.

2.2 Faithful, finite trace

Let $\mathscr {A}$ be a unital $C^*$-algebra with a faithful, finite trace $\tau $, that is, $\tau $ is a faithful, positive linear functional on $\mathscr {A}$ such that

$$\begin{aligned} \tau (\mathbf {a}\,\mathbf {b})\,=\,\tau (\mathbf {b}\,\mathbf {a})\;\;\;\forall \,\,\mathbf {a},\mathbf {b}\in \mathscr {A}. \end{aligned}$$

(70)

In particular, if $\mathscr {A}$ is Abelian, then every faithful, positive linear functional is a faithful, finite trace.

We will prove that the orbit $\mathcal {O}_{+}^{\tau }$ of $\mathscr {G}$ through $\tau $ by means of the linear action $\alpha $ (see Eq. (7)) is a homogeneous Banach manifold of $\mathscr {G}$. At this purpose, the characterization of an element $\mathbf {a}$ in the Lie algebra of the isotropy group $\mathscr {G}_{\tau }$ given in Eq. (19) reads

$$\begin{aligned} \tau \left( \left( \mathbf {a} + \mathbf {a}^{\dagger }\right) \,\mathbf {b}\right) \,=\,0\;\;\;\forall \,\,\mathbf {b}\in \mathscr {A}\end{aligned}$$

(71)

because $\tau $ is a trace, and we see that the skew-adjoint part of $\mathbf {a}$ is completely arbitrary. Then, we recall that $\tau $ induces an inner product $\langle ,\rangle _{\tau }$ on $\mathscr {A}$ given by^{Footnote 3}

$$\begin{aligned} \langle \mathbf {b},\,\mathbf {c}\rangle _{\tau }\,=\,\tau \left( \mathbf {b}^{\dagger }\,\mathbf {c}\right) . \end{aligned}$$

(72)

Consequently, the completion of $\mathscr {A}$ with respect to $\langle ,\rangle _{\tau }$ is a Hilbert space in which $\mathscr {A}$ is a dense subspace and thus the validity of equation (71) implies

$$\begin{aligned} \mathbf {a}+\mathbf {a}^{\dagger }\,=\,\mathbf {0} . \end{aligned}$$

(73)

This means that the Lie algebra $\mathfrak {g}_{\tau }$ of $\mathscr {G}_{\tau }$ coincides with the space of skew-adjoint elements in $\mathfrak {g}\cong \mathscr {A}$, and this subspace is a closed and complemented subspace of $\mathfrak {g}\cong \mathscr {A}$ whose complement is the space of self-adjoint elements in $\mathfrak {g}\cong \mathscr {A}$. From this we conclude that the orbit $\mathcal {O}_{+}^{\tau }$ of $\mathscr {G}$ through $\tau $ by means of the linear action $\alpha $ is a homogeneous Banach manifold of $\mathscr {G}$.

It is immediate to check that there is a bijection between $\mathcal {O}_{+}^{\tau }$ and the set of positive, invertible elements in $\mathscr {A}$, that is, elements of the form $\mathrm {g}\,\mathrm {g}^{\dagger }$ with $\mathrm {g}\in \mathscr {G}$. If $\mathscr {A}$ is finite-dimensional, then $\mathcal {O}_{\tau }$ coincides with the whole space of faithful, positive linear functionals.

3 State-preserving action of $\mathscr {G}$

In this section, we will see how to “deform” the action of $\mathscr {G}$ in such a way that it preserves the space of states $\mathscr {S}$. Indeed, we recall that $\mathscr {S}$ is a subset of the space of positive linear functionals $\mathscr {A}^{*}_{sa}$ characterized by the condition

$$\begin{aligned} \rho (\mathbb {I})\,=\,1 \end{aligned}$$

(74)

for every $\rho $ in $\mathscr {S}$, and thus, if $\rho $ is in $\mathscr {S}$, we have

$$\begin{aligned} (\alpha (\mathrm {g},\,\rho ))(\mathbb {I})\,=\,\rho \left( \mathrm {g}^{\dagger }\,\mathrm {g}\right) \end{aligned}$$

(75)

which is in general different from 1. To overcome this difficulty, we have to deform the action $\alpha $. The result is a map $\varPhi $ which is not defined for all elements in $\mathscr {A}^{*}_{sa}$ as it is the case for $\alpha $, but only on the cone of positive linear functionals. Furthermore, this map $\varPhi $ becomes a left action of $\mathscr {G}$ only if we restrict it to act on the space of states $\mathscr {S}$, and, since $\mathscr {S}$ does not posses the structure of Banach manifold as a whole, we can not speak of a smooth action of $\mathscr {G}$ on $\mathscr {S}$. However, proceeding in analogy with what has been done for the case of positive linear functionals, we will see that the orbits of the action $\varPhi $ on $\mathscr {S}$ may still be endowed with the structure of smooth homogeneous Banach manifolds of $\mathscr {G}$ depending on the behaviour of the isotropy subgroup.

Following what is done in [31, sec. 6] and [22, sec. 2] for the finite-dimensional case $\mathscr {A}=\mathcal {B}(\mathcal {H})$ with $\mathcal {H}$ being a finite-dimensional, complex Hilbert space, it is possible to define a map

$$\begin{aligned} \varPhi :\mathscr {G}\,\times \,\mathscr {S}\,\longrightarrow \mathscr {S}\end{aligned}$$

(76)

setting $\varPhi (\mathrm {g},\,\rho )\equiv \,\varPhi _{\mathrm {g}}(\rho )$ where $\varPhi _{\mathrm {g}}(\rho )$ acts on $\mathbf {a}\in \mathscr {A}$ as follows:

$$\begin{aligned} \begin{aligned} \left( \varPhi _{\mathrm {g}}(\rho )\right) (\mathbf {a})\,:=\,\frac{\rho \left( \mathrm {g}^{\dagger }\,\mathbf {a}\,\mathrm {g}\right) }{\rho \left( \mathrm {g}^{\dagger }\,\mathrm {g}\right) }. \end{aligned} \end{aligned}$$

(77)

Clearly, this map is well-defined only if the the term $\rho (\mathrm {g}^{\dagger }\,\mathrm {g})$ in the denominator does not vainish. This is the content of the following proposition.

Proposition 8

Let $\rho $ be a state on the unital $C^*$-algebra $\mathscr {A}$, then

$$\begin{aligned} \rho \left( \mathrm {g}^{\dagger }\,\mathrm {g}\right) >0 \end{aligned}$$

(78)

for every element $\mathrm {g}$ in the group $\mathscr {G}$ of invertible elements in $\mathscr {A}$.

Proof

Let $(\mathcal {H}_{\rho },\,\pi _{\rho },\,|\psi _{\rho }\rangle )$ be the data of the GNS construction associated with $\rho $ so that

$$\begin{aligned} \rho (\mathrm {g}^{\dagger }\, \mathrm {g}) \, = \, \left\langle \psi _{\rho } |\pi _{\rho }\left( \mathrm {g}^{\dagger }\,\mathrm {g}\right) |\psi _{\rho }\right\rangle . \end{aligned}$$

(79)

The polar decomposition of $\pi _\rho (\mathrm {g}) $ allows us to write

$$\begin{aligned} \pi _\rho (\mathrm {g}) \,=\, U P \end{aligned}$$

(80)

where U is a unitary operator and $P = \sqrt{ \pi _\rho (\mathrm {g})^\dagger \,\pi _\rho (\mathrm {g}) }=\sqrt{\pi _\rho (\mathrm {g}^\dagger \,\mathrm {g})}$ is a non-negative Hermitean operator. Then, and because $\mathrm {g}$ is invertible, we have that $\sqrt{\pi _{\rho }(\mathrm {g}^\dagger \,\mathrm {g})}$ is invertible, which implies that $\pi _{\rho }(\mathrm {g}^{\dagger }\,\mathrm {g}) > 0$ and thus

$$\begin{aligned} \left\langle \psi _{\rho } |\pi _{\rho }\left( \mathrm {g}^{\dagger }\,\mathrm {g}\right) |\psi _{\rho }\right\rangle > 0 . \end{aligned}$$

(81)

$\square $

Direct inspection shows that $\varPhi $ is a left action of $\mathscr {G}$ on $\mathscr {S}$, and that the restriction of the map $\varPhi $ to $\mathscr {U}\times \mathscr {S}$ will define the standard action of the unitary group $\mathscr {U}$ on the space of states $\mathscr {S}$: $\left( \varPhi _{\mathrm {g}}(\rho )\right) (\mathbf {a})\,:=\, \rho (\mathrm {g}^{\dagger }\,\mathbf {a}\,\mathrm {g})$. Furthermore, given a convex combination $\lambda _{1}\,\rho _{1} + \lambda _{2}\,\rho _{2}$ of states on $\mathscr {A}$, we may have

$$\begin{aligned} \varPhi _{\mathrm {g}}(\lambda _{1}\,\rho _{1} + \lambda _{2}\,\rho _{2})\,\ne \,\lambda _{1}\,\varPhi _{\mathrm {g}}(\rho _{1}) + \lambda _{2}\,\varPhi _{\mathrm {g}}(\rho _{2}), \end{aligned}$$

(82)

which means that the left action $\varPhi $ of $\mathscr {G}$ does not preserve the convex structure of $\mathscr {S}$ (while that of $\mathscr {U}$ does).

In the work [38, p. 214], the authors take inspiration from the seminal paper [34, p. 850] on the algebraic formulation of quantum field theories to introduce a prototype of the map $\varPhi _{\mathrm {g}}$ in the context of state transformations and measurements in quantum theories. However, the map they consider depends on the particular state on which it is applied because they consider the whole algebra $\mathscr {A}$ instead of the set $\mathscr {G}$ of invertible elements thus introducing elements for which the denominator may vanish on the given state (see [22, sec. 2] for a finite-dimensional example).

Remark 1

The rest of this section is devoted to the study of the action $\varPhi $ in complete analogy with what has been done for the action $\alpha $ in Sect. 2, and we will obtain similar results adopting conceptually similar proofs. For the sake of completeness, we decided to give a detailed account of all the proofs. Furthermore, we want to stress a substantial difference between the action $\alpha $ and the action $\varPhi $, namely, $\alpha $ is a smooth action on a smooth Banach manifold, while $\varPhi $ is just an action on a subset of a Banach manifold. This means that some of the machinery related with smooth actions (e.g., the notion of fundamental vector field) make no sense in relation with $\varPhi $.

We denote by $\mathcal {O}$ an orbit of $\mathscr {G}$ in $\mathscr {S}$ by means of $\varPhi $. Some preliminary characterizations of $\mathcal {O}$ are proved in the following.

Proposition 9

Let $\varPhi $ be the action of $\mathscr {G}$ on $\mathscr {S}$ given by Eq. (77), then:

if $\mathscr {A}$ is a $W^{*}$-algebra and $\rho $ is a normal state, then $\varPhi (\mathrm {g},\,\rho )\in \mathscr {S}$ is also normal;
the state $\varPhi (\mathrm {g},\,\rho )\in \mathscr {S}$ is a faithful state for every $\mathrm {g}\in \mathscr {G}$ if and only if $\rho \in \mathscr {S}$ is faithful;
the state $\varPhi (\mathrm {g},\,\rho )\in \mathscr {S}$ is a pure state for every $\mathrm {g}\in \mathscr {G}$ if and only if $\rho \in \mathscr {S}$ is pure, and if $\mathscr {A}$ is Abelian, then $\mathscr {G}$ acts trivially on pure states by means of $\varPhi $;
if $\rho $ is a tracial state^{Footnote 4}, then the orbit $\mathcal {O}$ containing $\rho $ is convex; in particular, every orbit $\mathcal {O}$ is convex for all $\rho \in \mathscr {S}$ when $\mathscr {A}$ is Abelian.

Proof

Concerning the first point, a normal state $\rho $ is an element of $\mathscr {S}$ which is also continuous with respect to the weak* topology on $\mathscr {A}$ generated by its topological predual $\mathscr {A}_{*}$. Recall that, for every $\mathbf {b}\in \mathscr {A}$, the maps

$$\begin{aligned} \begin{aligned} l_{\mathbf {b}}\,&:\mathscr {A}\rightarrow \mathscr {A},\;\;\;\; l_{\mathbf {b}}(\mathbf {a}):=\mathbf {ba} \\ r_{\mathbf {b}}\,&:\mathscr {A}\rightarrow \mathscr {A},\;\;\;\; r_{\mathbf {b}}(\mathbf {a}):=\mathbf {ab} \end{aligned} \end{aligned}$$

(83)

are continuous with respect to the weak* topology on $\mathscr {A}$ generated by its topological predual $\mathscr {A}_{*}$. Furthermore, given any normal state $\rho $ and any invertible element $\mathrm {g}\in \mathscr {G}$, we may define the positive real number

$$\begin{aligned} c_{\rho \mathrm {g}}:=\rho (\mathrm {g}^{\dagger }\,\mathrm {g}). \end{aligned}$$

(84)

Now, let $\alpha :\mathbb {R}^{+}\times \mathbb {C}\rightarrow \mathbb {C}$ be the continuous^{Footnote 5} left action of the multiplicative group $\mathbb {R}^{+}$ of positive real numbers on $\mathbb {C}$ given by

$$\begin{aligned} \alpha (c,\,z)\,:=\,cz. \end{aligned}$$

(85)

It is immediate to check that the normalized positive linear functional $\varPhi (\mathrm {g},\,\rho ):\mathscr {A}\rightarrow \mathbb {C}$ may be written as

$$\begin{aligned} \varPhi (\mathrm {g},\,\rho )\,=\,\alpha _{c_{\rho \mathrm {g}}^{-1}}\,\circ \,\rho \,\circ \, l_{\mathrm {g}^{\dagger }}\,\circ \,r_{\mathrm {g}}, \end{aligned}$$

(86)

where $\alpha _{c}(z)=\alpha (c,\,z)$, and thus $\varPhi (\mathrm {g},\,\rho )$ is weak* continuous.

The second point follows by direct inspection.

Concerning the third point, let $(\mathcal {H}_{\rho },\,\pi _{\rho },\,|\psi _{\rho }\rangle )$ be the GNS data associated with a pure state $\rho $. Then, it is a matter of direct computation to show that $(\mathcal {H}_{\gamma },\,\pi _{\gamma },\,|\psi _{\gamma }\rangle )$, where $\mathcal {H}_{\gamma }=\mathcal {H}_{\rho }$, $\pi _{\gamma }=\pi _{\rho }$ and

$$\begin{aligned} |\psi _{\gamma }\rangle \,=\,\frac{\pi _{\rho }(\mathrm {g}) |\psi _{\rho }\rangle }{\sqrt{\langle \psi _{\rho }|\pi _{\rho }(\mathrm {g}^{\dagger }\mathrm {g})|\psi _{\rho }\rangle }}, \end{aligned}$$

(87)

is the data of the GNS construction associated with $\gamma =\varPhi (\mathrm {g},\,\rho )$. Since $\rho $ is pure, we have that $\pi _{\rho } = \pi _{\gamma }$ is irreducible which means that $\gamma $ is pure, and we conclude that the orbit $\mathcal {O}$ containing the pure state $\rho $ is made up only of pure states. A direct consequence is that the the action of $\mathscr {G}$ on the space of pure states of a commutative, unital $C^*$-algebra is trivial in the sense that every pure state is a fixed point of the action. Indeed, recalling that the GNS representation associated with a pure state $\rho $ is irreducible, then [15, p. 102] implies that the GNS Hilbert space $\mathcal {H}_{\rho }$ is one-dimensional since $\mathscr {A}$ is commutative. Consequently, the GNS representation $\pi _{\rho }$ sends every element in the identity operator on $\mathcal {H}_{\rho }$ and we conclude that the orbit $\mathcal {O}$ containing $\rho $ is just the singleton $\{\rho \}$. As we will see, this is in sharp contrast with what happens in the non-commutative case.

Regarding the last point, we start taking $\lambda \in [0,1]$, a tracial state $\rho $, two elements $\mathrm {g}_{1},\mathrm {g}_{2}\in \mathscr {G}$, and writing

$$\begin{aligned} \rho _{12}^{\lambda }\,:=\,\lambda \,\varPhi (\mathrm {g}_{1},\rho ) + (1-\lambda )\varPhi (\mathrm {g}_{2},\rho ). \end{aligned}$$

(88)

Then, for every $\mathbf {a}\in \mathscr {A}$, we have

$$\begin{aligned} \rho _{12}^{\lambda }(\mathbf {a})&\,=\,\lambda \frac{\rho \left( \mathrm {g}_{1}^{\dagger }\, \mathbf {a}\,\mathrm {g}_{1}\right) }{\rho \left( \mathrm {g}_{1}^{\dagger }\,\mathrm {g}_{1}\right) } + (1-\lambda ) \frac{\rho \left( \mathrm {g}_{2}^{\dagger }\,\mathbf {a}\,\mathrm {g}_{2}\right) }{\rho \left( \mathrm {g}_{2}^{\dagger }\, \mathrm {g}_{2}\right) }\nonumber \\&\,=\, \rho \left( \lambda \frac{\mathrm {g}_{1}\,\mathrm {g}_{1}^{\dagger }}{\rho \left( \mathrm {g}_{1}\, \mathrm {g}_{1}^{\dagger }\right) }\,\mathbf {a}\right) + \rho \left( (1-\lambda )\frac{\mathrm {g}_{2}\, \mathrm {g}_{2}^{\dagger }}{\rho \left( \mathrm {g}_{2}\,\mathrm {g}_{2}^{\dagger }\right) }\,\mathbf {a}\right) \nonumber \\&\,=\, \rho \left( \left( \lambda \frac{\mathrm {g}_{1}\,\mathrm {g}_{1}^{\dagger }}{\rho \left( \mathrm {g}_{1}\,\mathrm {g}_{1}^{\dagger }\right) } + ((1-\lambda )\frac{\mathrm {g}_{2}\, \mathrm {g}_{2}^{\dagger }}{\rho \left( \mathrm {g}_{2}\,\mathrm {g}_{2}^{\dagger }\right) }\right) \,\mathbf {a}\right) \nonumber \\&\,=\,\rho \left( \mathbf {P}_{12}^{\lambda \rho }\,\mathbf {a}\right) , \end{aligned}$$

(89)

where we have set

$$\begin{aligned} \mathbf {P}_{12}^{\lambda \rho }\,:=\,\lambda \mathbf {P}_{1}^{\rho } + (1-\lambda ) \mathbf {P}_{1}^{\rho } \end{aligned}$$

(90)

with

$$\begin{aligned} \mathbf {P}_{1}^{\rho }\,:=\,\frac{\mathrm {g}_{1}\,\mathrm {g}_{1}^{\dagger }}{\rho \left( \mathrm {g}_{1}\,\mathrm {g}_{1}^{\dagger }\right) }\quad \text{ and } \quad \;\mathbf {P}_{2}^{\rho }\,:=\,\frac{\mathrm {g}_{2}\,\mathrm {g}_{2}^{\dagger }}{\rho \left( \mathrm {g}_{2}\,\mathrm {g}_{2}^{\dagger }\right) }. \end{aligned}$$

(91)

The elements $\mathbf {P}_{1}^{\rho }\,:=\,\frac{\mathrm {g}_{1}\,\mathrm {g}_{1}^{\dagger }}{\rho (\mathrm {g}_{1}\,\mathrm {g}_{1}^{\dagger })}$ and $\mathbf {P}_{2}^{\rho }$ are both positive, invertible elements in $\mathscr {A}$, and we have that the set

$$\begin{aligned} \mathscr {G}_{+}\,=\,\mathscr {G}\,\cap \,\mathscr {A}_{+} \end{aligned}$$

(92)

of positive, invertible elements (strictly positive elements) in $\mathscr {A}$ is an open cone (see [54, p. 11]), so that $\mathbf {P}_{12}^{\lambda \rho }$ is still a positive, invertible element. Being a positive element, $\mathbf {P}_{12}^{\lambda \rho }$ admits a (self-adjoint) square root, say $\mathbf {p}_{12}^{\lambda \rho }$, and this square-root element is also invertible, i.e., $\mathbf {p}_{12}^{\lambda \rho }\in \mathscr {G}$. Consequently, noting that

$$\begin{aligned} \rho \left( \mathbf {P}_{12}^{\rho }\right) \,=\,1, \end{aligned}$$

(93)

we obtain

$$\begin{aligned} \rho _{12}^{\lambda }(\mathbf {a})\,=\,\frac{\rho \left( \left( \mathbf {p}_{12} ^{\lambda \rho }\right) ^{\dagger }\, \mathbf {a}\,\mathbf {p}_{12}^{\lambda \rho }\right) }{\rho \left( \left( \mathbf {p}_{12} ^{\lambda \rho }\right) ^{\dagger }\,\mathbf {p}_{12}^{\lambda \rho }\right) )} \end{aligned}$$

(94)

for all $\mathbf {a}\in \mathscr {A}$. This is equivalent to

$$\begin{aligned} \rho _{12}^{\lambda }\,=\,\varPhi \left( \mathbf {p}_{12}^{\lambda \rho },\rho \right) , \end{aligned}$$

(95)

which means that the orbit $\mathcal {O}$ containing $\rho $ is convex as claimed. In particular, every orbit $\mathcal {O}$ is convex when $\mathscr {A}$ is Abelian because all states are tracial. $\square $

Let $\mathcal {O}\subset \mathscr {S}$ be an orbit of $\mathscr {G}$ by means of $\varPhi $. Considering $\rho \in \mathcal {O}$ and the coset space $\mathscr {G}/\mathscr {G}_{\rho }$, where $\mathscr {G}_{\rho }$ is the isotropy subgroup

$$\begin{aligned} \mathscr {G}_{\rho }\,=\,\left\{ \mathrm {g}\in \mathscr {G}\,:\,\,\varPhi (\mathrm {g},\,\rho )\,=\, \rho \right\} , \end{aligned}$$

(96)

of $\rho $ with respect to $\varPhi $, the map $i_{\rho }^{\varPhi }:\mathscr {G}/\mathscr {G}_{\rho }\rightarrow \mathcal {O}$ given by

$$\begin{aligned}{}[\mathrm {g}]\mapsto i_{\rho }^{\varPhi }([\mathrm {g}])=\varPhi (\mathrm {g},\rho ) \end{aligned}$$

(97)

provides a set-theoretical bijection between the coset space $\mathscr {G}/\mathscr {G}_{\rho }$ and the orbit $\mathcal {O}$ for every $\rho \in \mathscr {S}$. According to the results recalled in “Appendix B”, this means that we may dress the orbit $\mathcal {O}$ with the structure of homogeneous Banach manifold of $\mathscr {G}$ whenever the isotropy subgroup $\mathscr {G}_{\rho }$ is a Banach-Lie subgroup of $\mathscr {G}$. Specifically, it is the quotient space $\mathscr {G}/\mathscr {G}_{\rho }$ that is endowed with the structure of homogeneous Banach manifold, and this structure may be “transported” to $\mathcal {O}$ in view of the bijection $ i_{\rho }^{\varPhi }$ between $\mathscr {G}/\mathscr {G}_{\rho }$ and $\mathcal {O}$.

As it happens for the action $\alpha $ defined in Sect. 2, in general, the fact that $\mathscr {G}_{\rho }$ is a Banach-Lie subgroup of $\mathscr {G}$ depends on both $\rho $ and $\mathscr {A}$. However, $\mathscr {G}_{\rho }$ is always an algebraic subgroup of $\mathscr {G}$ for every $\rho \in \mathscr {S}$ and every unital $C^*$-algebra $\mathscr {A}$ (see the discussion above Proposition 3 for the definition and the properties of algebraic subgroups of a Banach-Lie group).

Proposition 10

The isotropy subgroup $\mathscr {G}_{\rho }$ of $\rho \in \mathscr {S}$ is an algebraic subgroup of $\mathscr {G}$ of order 2 for every $\rho \in \mathscr {S}$.

Proof

The proof is essentially the same of Proposition 3 with only a slight modification of the family of polynomials considered. Define the family $Q_{\rho }=\{p_{\rho ,\mathbf {c}}\}_{\mathbf {c}\in \mathscr {A}}$ of complex-valued polynomials of order 2 as follows^{Footnote 6}:

$$\begin{aligned} p_{\rho ,\mathbf {c}}(\mathbf {a},\mathbf {b})\,:=\,\rho (\mathbf {a}^{\dagger }\, \mathbf {a})\,\rho \left( \mathbf {c}\right) \,-\, \rho \left( \mathbf {a}^{\dagger }\,\mathbf {c}\mathbf {a}\right) . \end{aligned}$$

(98)

The continuity of every $p_{\rho ,\mathbf {c}}$ follows easily from the fact that $\rho $ is a norm-continuous linear functional on $\mathscr {A}$. A moment of reflection shows that

$$\begin{aligned} \mathscr {G}_{\rho }=\left\{ \mathrm {g}\in \mathscr {G}:p_{\rho ,\mathbf {c}}(\mathrm {g},\mathrm {g}^{-1})=0\;\;\forall p_{\rho ,\mathbf {c}}\in Q_{\rho }\right\} , \end{aligned}$$

(99)

and thus $\mathscr {G}_{\rho }$ is an algebraic subgroup of $\mathscr {G}$ of order 2 for all $\rho \in \mathscr {S}$. $\square $

Being an algebraic subgroup of $\mathscr {G}$, the isotropy subgroup $\mathscr {G}_{\rho }$ is a closed subgroup of $\mathscr {G}$ which is also a real Banach-Lie group in the relativised norm topology, and its Lie algebra $\mathfrak {g}_{\rho }\subset \mathfrak {g}=\mathscr {A}$ is given by the closed subalgebra (see [35, p. 667], and [55, p. 118])

$$\begin{aligned} \mathfrak {g}_{\rho }=\left\{ \mathbf {a}\in \mathfrak {g}\equiv \mathscr {A}\,:\exp (t\mathbf {a})\in \mathscr {G}_{\rho }\;\forall t\in \mathbb {R}\right\} . \end{aligned}$$

(100)

According to Proposition 15, the isotropy subgroup $\mathscr {G}_{\rho }$ of $\mathscr {G}$ is a Banach-Lie subgroup of $\mathscr {G}$ if and only if the Lie algebra $\mathfrak {g}_{\rho }$ of $\mathscr {G}_{\rho }$ is a split subspace of $\mathfrak {g}=\mathscr {A}$ and $\exp (V)$ is a neighbourhood of the identity element in $\mathcal {G}_{\rho }$ for every neighbourhood V of $\mathbf {0}\in \mathfrak {g}_{\rho }$ (see [55, p. 129] for an explicit proof). The fact that $\exp (V)$ is a neighbourhood of the identity element in $\mathscr {G}_{\rho }$ for every neighbourhood V of $\mathbf {0}\in \mathfrak {g}_{\rho }$ follows from the fact that $\mathscr {G}_{\rho }$ is an algebraic subgroup of $\mathscr {G}$ (see [35, p. 667]).

Next, we may characterize $\mathfrak {g}_{\rho }$ as we did in Sect. 2 by considering $\mathbf {a}\in \mathfrak {g}=\mathscr {A}$, the smooth curve in $\mathscr {G}$ given by

$$\begin{aligned} \mathrm {g}_{t}\,=\,\exp (t\mathbf {a}) \end{aligned}$$

(101)

for all $t\in \mathbb {R}$, the curve $\rho _{t}$ in $\mathscr {S}$ given by

$$\begin{aligned} \rho _{t}(\mathbf {b})\,=\,(\varPhi (\mathrm {g}_{t},\,\rho ))(\mathbf {b})\,=\, \rho \left( \mathrm {g}_{t}^{\dagger }\,\mathbf {b}\,\mathrm {g}_{t}\right) \end{aligned}$$

(102)

for all $t\in \mathbb {R}$ and for all $\mathbf {b}\in \mathscr {A}$, and computing

$$\begin{aligned} \frac{\mathrm {d}}{\mathrm {d}t}\,\left( \rho _{t}(\mathbf {b})\right) _{t=0}&\,=\, \lim _{t\rightarrow 0}\, \frac{\rho _{t}(\mathbf {b}) -\rho (\mathbf {b})}{t}\nonumber \\&\,=\, \lim _{t\rightarrow 0}\, \frac{1}{t}\,\left( \frac{\rho \left( \mathrm {g}_{t}^{\dagger }\, \mathbf {b}\,\mathrm {g}_{t}\right) }{\rho \left( \mathrm {g}_{t}^{\dagger }\,\mathrm {g}_{t}\right) } - \rho (\mathbf {b})\right) \nonumber \\&\,=\,\lim _{t\rightarrow 0}\, \frac{1}{t\,\rho \left( \mathrm {g}_{t}^{\dagger }\,\mathrm {g}_{t}\right) }\, \left( \rho \left( \mathrm {g}_{t}^{\dagger }\,(\mathbf {b}- \rho (\mathbf {b})\,\mathbb {I})\, \mathrm {g}_{t}\right) \right) \nonumber \\&\,=\,\lim _{t\rightarrow 0}\, \frac{1}{t}\,\left( \rho \left( \mathrm {g}_{t}^{\dagger }\, (\mathbf {b}- \rho (\mathbf {b})\,\mathbb {I})\,\mathrm {g}_{t}\right) \right) \, \left( \lim _{t\rightarrow 0}\, \frac{1}{\rho (\mathrm {g}_{t}^{\dagger }\,\mathrm {g}_{t})}\right) \nonumber \\&\,=\,\lim _{t\rightarrow 0}\, \frac{1}{t}\,\left( \rho \left( \mathrm {g}_{t}^{\dagger }\, (\mathbf {b}- \rho (\mathbf {b})\,\mathbb {I})\,\mathrm {g}_{t}\right) \right) \nonumber \\&\,=\,\lim _{t\rightarrow 0}\, \frac{1}{t}\,\sum _{j,k=0}^{+\infty }\,\left( \rho \left( \frac{\left( t\mathbf {a}^{\dagger }\right) ^{k}}{k!}\,(\mathbf {b}- \rho (\mathbf {b})\, \mathbb {I})\,\frac{(t\mathbf {a})^{j}}{j!}\right) \right) \nonumber \\&\,=\,\rho \left( \mathbf {a}^{\dagger }\,(\mathbf {b}- \rho (\mathbf {b})\, \mathbb {I})\right) \, + \rho \left( (\mathbf {b}- \rho (\mathbf {b})\,\mathbb {I})\, \mathbf {a}\right) \nonumber \\&\,=\,\rho \left( \mathbf {a}^{\dagger }\,\mathbf {b}\,+\,\mathbf {b}\, \mathbf {a}\right) \,-\,\rho (\mathbf {b})\,\rho \left( \mathbf {a}^{\dagger }\,+\, \mathbf {a}\right) \end{aligned}$$

(103)

for every $\mathbf {b}\in \mathscr {A}$, from which it follows that $\mathbf {a}$ is in the Lie algebra $\mathfrak {g}_{\rho }$ of the isotropy group $\mathscr {G}_{\rho }$ if and only if

$$\begin{aligned} \rho \left( \mathbf {a}^{\dagger }\,\mathbf {b}\,+\,\mathbf {b}\,\mathbf {a}\right) \,-\, \rho (\mathbf {b})\,\rho \left( \mathbf {a}^{\dagger }\,+\,\mathbf {a}\right) \,=\,0 \end{aligned}$$

(104)

for every $\mathbf {b}\in \mathscr {A}$. Incidentally, note that the last term in Eq. (103) gives the covariance between $\mathbf {b}$ and $\mathbf {a}$ evaluated at the state $\rho $ whenever $\mathbf {a}$ is self-adjoint. Something related has also been pointed out in [20, Eq. 34], and we postpone to a future work a more thorough analysis of the connection between the action of $\mathscr {G}$ on $\mathscr {S}$ and the existence of contravariant tensor fields associated with the covariance between observables (in the $C^*$-algebraic sense).

When $\mathrm {dim}(\mathscr {A})=N<\infty $, the Lie algbera $\mathfrak {g}_{\rho }$ is a split subspace for ever $\rho \in \mathscr {S}$, and thus every orbit of $\mathscr {G}$ in $\mathscr {S}$ by means of $\varPhi $ is a homogeneous Banach manifold of $\mathscr {G}$. Clearly, when $\mathscr {A}$ is infinite-dimensional, this is no-longer true, and a case by case analysis is required. For instance, in Sect. 3.1, we will show that $\mathfrak {g}_{\rho }$ is a split subspace of $\mathfrak {g}=\mathscr {A}$ when $\mathscr {A}$ is the algebra $\mathcal {B}(\mathcal {H})$ of bounded linear operators on a complex, separable Hilbert space $\mathcal {H}$, and $\rho $ is any normal state on $\mathcal {B}(\mathcal {H})$ (positive, trace-class linear operator on $\mathcal {H}$ with unit trace). This means that all the orbits of $\mathscr {G}=\mathcal {GL}(\mathcal {H})$ passing through normal states are homogeneous Banach manifolds of $\mathscr {G}$, and we will classify these orbits into four different types.

Actually, the results of Sect. 3.1 naturally follows from the results of Sect. 2.1 because, as we will now show, there is an intimate connection between the action $\alpha $ of $\mathscr {G}$ on $\rho $ when the latter is thought of as an element of $\mathscr {A}^{*}_{sa}$, and the action $\varPhi $ of $\mathscr {G}$ on $\rho $ when the latter is thought of as an element of $\mathscr {S}$. Indeed, from Eqs. (7) and (77), we easily obtain that if $\mathrm {g}$ is in the isotropy group $\mathscr {G}_{\rho }^{\alpha }$ of $\rho $ with respect to the action $\alpha $, then $\mathrm {g}$ is also in the isotropy group $\mathscr {G}_{\rho }$ of $\rho $ with respect to $\varPhi $, while the converse is not necessarily true. Furthermore, if $\mathrm {g}$ is in $\mathscr {G}^{\alpha }_{\rho }$, then $\mathrm {e}^{\gamma }\mathrm {g}$ is in $\mathscr {G}_{\rho }$ for every $\gamma \in \mathbb {R}$, and it turns out that this is the most general expression for an element in $\mathscr {G}_{\rho }$. This is made precise in the following proposition where we show that the Lie algebra $\mathfrak {g}_{\rho }$ of $\mathscr {G}_{\rho }$ is just the direct sum of the Lie algebra $\mathfrak {g}_{\rho }^{\alpha }$ with the one-dimensional subspace determined by the linear combinations of multiples of the identity with real coefficients.

Proposition 11

The Lie algebra $\mathfrak {g}_{\rho }$ of the isotropy group $\mathscr {G}_{\rho }$ of $\rho $ with respect to $\varPhi $ may be written as

$$\begin{aligned} \mathfrak {g}_{\rho }\,=\,\mathfrak {g}_{\rho }^{\alpha }\,\oplus \, \mathrm {span}_{\mathbb {R}}\{\mathbb {I}\} \end{aligned}$$

(105)

where $\mathfrak {g}_{\rho }^{\alpha }$ is the Lie algebra of the isotropy group $\mathscr {G}_{\rho }^{\alpha }$ of $\rho $ with respect to the action $\alpha $ introduced in Sect. 2, and $\mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}$ is the real, linear subspace spanned by the identity operator in $\mathscr {G}=\mathscr {A}$ with real coefficients.

Proof

It is a matter of direct inspection to see that if $\mathbf {a}$ is in $\mathfrak {g}_{\rho }^{\alpha }$ (see Eq. (19)), then $\mathbf {a} + \gamma \mathbb {I}$ is in $\mathfrak {g}_{\rho }$ for every $\gamma \in \mathbb {R}$.

On the other hand, since $\mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}$ is one-dimensional, it is complemented in $\mathfrak {g}_{\rho }$, and we may characterize its complement as follows. First, we take the continuous, real linear functional F on $\mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}$ given by

$$\begin{aligned} F(\gamma \,\mathbb {I})\,:=\,\gamma , \end{aligned}$$

(106)

and extend it to the whole $\mathfrak {g}_{\rho }$. The extension of F is highly non-unique, and we may take it to be the functional $F_{\rho }$ given by

$$\begin{aligned} F_{\rho }(\mathbf {a})\,:=\,\frac{1}{2}\,(\rho + \rho ^{\dagger })(\mathbf {a})\,=\,\frac{1}{2}\,\rho (\mathbf {a}^{\dagger } + \mathbf {a}) \;\;\forall \,\,\mathbf {a}\in \mathfrak {g}_{\rho }. \end{aligned}$$

(107)

Indeed, $F_{\rho }$ is a real, continuous linear functional on $\mathfrak {g}_{\rho }$ because $(\rho + \rho ^{\dagger })$ is a continuous linear functional on the real Banach-Lie algebra $\mathfrak {g}=\mathscr {A}$ of which $\mathfrak {g}_{\rho }$ is a closed, real subalgebra, and clearly $F_{\rho }(\gamma \mathbb {I})\,=\,F(\gamma \mathbb {I})$ because $\rho $ is a state. Then, we have a bounded projection P from $\mathfrak {g}_{\rho }$ to $\mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}$ given by

$$\begin{aligned} P(\mathbf {a})\,=\,F_{\rho }(\mathbf {a})\,\mathbb {I}\;\;\forall \,\,\mathbf {a}\in \mathfrak {g}_{\rho }, \end{aligned}$$

(108)

and we may write

$$\begin{aligned} \mathbf {a}\,=\, P(\mathbf {a}) - \left( \mathrm {Id}_{\mathfrak {g}_{\rho }} - P\right) (\mathbf {a})\;\;\forall \,\,\mathbf {a}\in \mathfrak {g}_{\rho }. \end{aligned}$$

(109)

This allows us to define the complement of $\mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}$ in $\mathfrak {g}_{\rho }$ as the closed linear subspace $\mathfrak {c}_{\rho }$ given by the image of $\left( \mathrm {Id}_{\mathfrak {g}_{\rho }} - P\right) $. Equivalently, an element $\mathbf {b}\in \mathfrak {c}_{\rho }$ may be written as

$$\begin{aligned} \mathbf {b}\,=\,\left( \mathrm {Id}_{\mathfrak {g}_{\rho }} - P\right) (\mathbf {a}) \end{aligned}$$

(110)

with $\mathbf {a}\in \mathfrak {g}_{\rho }$. All that is left to do is to show that $\mathbf {b}\in \mathfrak {c}_{\rho }$ is actually in $\mathfrak {g}_{\rho }^{\alpha }$. At this purpose, recalling Eq. (19), we have

$$\begin{aligned} \rho \left( \mathbf {b}^{\dagger }\,\mathbf {c}+\mathbf {c}\,\mathbf {b}\right)&\,=\, \rho \left( \left( \mathbf {a} - \frac{1}{2}\,\rho \left( \mathbf {a}^{\dagger } + \mathbf {a}\right) \,\mathbb {I}\right) ^{\dagger }\,\mathbf {c}+\mathbf {c}\,\left( \mathbf {a} - \frac{1}{2}\,\rho \left( \mathbf {a}^{\dagger } + \mathbf {a}\right) \,\mathbb {I}\right) \right) \nonumber \\&\,=\,\rho \left( \mathbf {a}^{\dagger }\,\mathbf {c} + \mathbf {c}\,\mathbf {a}\right) - \rho (\mathbf {c})\,\rho \left( \mathbf {a}^{\dagger } + \mathbf {a}\right) \,=\,0 \end{aligned}$$

(111)

because $\mathbf {a}$ is in $\mathfrak {g}_{\rho }$ (see Eq. (104)). $\square $

From Proposition 11 it follows that $\mathscr {G}_{\rho }$ is a Banach-Lie subgroup of $\mathscr {G}$ if and only if $\mathscr {G}_{\rho }^{\alpha }$ is a Banach-Lie subgroup of $\mathscr {G}$. Consequently, the orbit of $\mathscr {G}$ through $\rho $ by means of $\alpha $ is a homogeneous Banach manifold of $\mathscr {G}$ if and only if the orbit of $\mathscr {G}$ through $\rho $ by means of $\varPhi $ is a homogeneous Banach manifold of $\mathscr {G}$.

Proposition 12

The Lie algebra $\mathfrak {g}_{\rho }$ is a split subspace of $\mathfrak {g}=\mathscr {A}$ if and only if the Lie algebra $\mathfrak {g}_{\rho }^{\alpha }$ is so.

Proof

According to Proposition 11 we may write

$$\begin{aligned} \mathfrak {g}_{\rho }\,=\,\mathfrak {g}_{\rho }^{\alpha }\,\oplus \, \mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}. \end{aligned}$$

(112)

Consequently, if $\mathfrak {g}_{\rho }$ is complemented in $\mathfrak {g}=\mathscr {A}$, we have

$$\begin{aligned} \mathfrak {g}\,=\,\mathfrak {g}_{\rho }\,\oplus \,\mathfrak {k}_{\rho } \end{aligned}$$

(113)

and thus the closed linear subspace $\mathfrak {k}_{\rho }\,\oplus \,\mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}$ provides a closed complement for $\mathfrak {g}_{\rho }^{\alpha }$. On the other hand, if $\mathfrak {g}_{\rho }^{\alpha }$ is complemented in $\mathfrak {g}=\mathscr {A}$, and we may write

$$\begin{aligned} \mathfrak {g}\,=\,\mathfrak {g}_{\rho }^{\alpha }\,\oplus \,\mathfrak {k}_{\rho }^{\alpha }. \end{aligned}$$

(114)

Then, recall that $\gamma \mathbb {I}$ with $\gamma \in \mathbb {R}$ is in $\mathfrak {g}_{\rho }^{\alpha }$ if and only if $\gamma =0$ (see Eq. (19)), therefore, the closed one-dimensional subspace $\mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}$ is a closed linear subspace of $\mathfrak {k}_{\rho }^{\alpha }$, and it is complemented in $\mathfrak {k}_{\rho }^{\alpha }$ because it is finite-dimensional. Denoting by $\mathfrak {c}_{\rho }$ the complement of $\mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}$ in $\mathfrak {k}_{\rho }^{\alpha }$, we have that

$$\begin{aligned} \mathfrak {g}\,=\,\mathfrak {g}_{\rho }^{\alpha }\,\oplus \, \mathrm {span}_{\mathbb {R}}\{\mathbb {I}\}\,\oplus \,\mathfrak {c}_{\rho }^{\alpha }\,=\,\mathfrak {g}_{\rho }\,\oplus \,\mathfrak {c}_{\rho }^{\alpha }, \end{aligned}$$

(115)

from which it follows that $\mathfrak {g}_{\rho }$ is complemented in $\mathfrak {g}=\mathscr {A}$. $\square $

Now, suppose$\rho $ is such that $\mathfrak {g}_{\rho }$ is a split subspace of $\mathscr {A}$, that is, the isotropy subgroup $\mathscr {G}_{\rho }$ is a Banach-Lie subgroup of $\mathscr {G}$. In this case, the orbit $\mathcal {O}$ containing $\rho $ is endowed with a Banach manifold structure such that the map $\tau _{\rho }^{\varPhi }:\mathscr {G}\rightarrow \mathcal {O}$ given by

$$\begin{aligned} \mathrm {g}\,\mapsto \,\tau _{\rho }^{\varPhi }(\mathrm {g})\,:=\,\varPhi (\mathrm {g},\rho ) \end{aligned}$$

(116)

is a smooth surjective submersion for every $\rho \in \mathcal {O}$. Moreover, $\mathscr {G}$ acts transitively and smoothly on $\mathcal {O}$, and the tangent space $T_{\rho }\mathcal {O}$ at $\rho \in \mathcal {O}$ is diffeomorphic to $\mathfrak {g}/\mathfrak {g}_{\rho }$ (see [17, p. 105] and [55, p. 136]). Note that this smooth differential structure on $\mathcal {O}$ is unique up to smooth diffeomorphism. Now, we will prove a proposition very similar to Proposition 4 in Sect. 2.

Proposition 13

Let $\rho $ be such that the isotropy subgroup $\mathscr {G}_{\rho }$ is a Banach-Lie subgroup of $\mathscr {G}$, let $\mathcal {O}$ be the orbit containing $\rho $ endowed with the smooth structure coming from $\mathscr {G}$, and consider the map $l_{\mathbf {a}}:\,\mathcal {O}\longrightarrow \mathbb {R}$, with $\mathbf {a}$ a self-adjoint element in $\mathscr {A}$, given by

$$\begin{aligned} l_{\mathbf {a}}(\rho )\,:=\,\rho (\mathbf {a}). \end{aligned}$$

(117)

Then:

1.
the canonical immersion map $i:\mathcal {O}\longrightarrow \mathscr {A}^{*}_{sa}$ is smooth;
2.
the map $l_{\mathbf {a}}:\,\mathcal {O}\longrightarrow \mathbb {R}$ is smooth;
3.
the tangent map $T_{\rho }i$ at $\rho \in \mathcal {O}$ is injective for all $\rho $ in the orbit.

Proof

1.
We will exploit Proposition 16 in “Appendix B” in order to prove the smoothness of the canonical immersion. Specifically, we consider the map
$$\begin{aligned} \varPhi _{\rho }\,:\,\mathscr {G}\,\longrightarrow \,\mathscr {A}_{sa}^{*},\;\;\;\varPhi _{\rho }(\mathrm {g}) \,:=\,\varPhi (\mathrm {g},\rho ) \end{aligned}$$
(118)
and note that, quite trivially, it holds
$$\begin{aligned} \varPhi _{\rho }\,=\,i\,\circ \,\tau _{\rho }^{\varPhi }. \end{aligned}$$
(119)
Consequently, being $\tau _{\rho }^{\varPhi }$ a smooth submersion for every $\rho \in \mathscr {S}$, Proposition 16 implies that i is smooth if $\varPhi _{\rho }$ is smooth.

At this purpose, given $\mathbf {a},\mathbf {b}\in \mathscr {A}$ and $\xi \in \mathscr {A}^{*}_{sa}$, we define $\xi _{\mathbf {a}\mathbf {b}}\in \mathscr {A}^{*}_{sa}$ to be
$$\begin{aligned} \xi _{\mathbf {a}\mathbf {b}}(\mathbf {c})\,:=\,\frac{1}{2}\, \left( \xi (\mathbf {a}^{\dagger }\,\mathbf {c}\,\mathbf {b}) + \xi (\mathbf {b}^{\dagger }\,\mathbf {c}\,\mathbf {a})\right) \;\; \forall \,\mathbf {c}\,\in \,\mathscr {A}_{sa}, \end{aligned}$$
(120)
the map $\phi :\mathscr {A}\times \mathscr {A}^{*}_{sa}\rightarrow \mathbb {R}\times \mathscr {A}^{*}_{sa}$ given by
$$\begin{aligned} \phi (\mathbf {a},\,\xi )\,:=\,(\xi _{\mathbf {a\,a}}(\mathbb {I}),\,\xi _{\mathbf {a\,a}}), \end{aligned}$$
(121)
and the map $P:\,(\mathscr {A}\times \mathscr {A}^{*}_{sa})\times (\mathscr {A}\times \mathscr {A}^{*}_{sa})\times (\mathscr {A}\times \mathscr {A}^{*}_{sa})\rightarrow \mathbb {R}\times \mathscr {A}^{*}_{sa}$ given by
$$\begin{aligned} F(\mathbf {a},\rho \,;\mathbf {b},\sigma \,;\mathbf {c},\tau )\,:=\, \left( \frac{1}{3}\left( \xi _{\mathbf {bc}}(\mathbb {I}) + \zeta _{\mathbf {ca}}(\mathbb {I}) + \vartheta _{\mathbf {ab}}(\mathbb {I})\right) ,\,\frac{1}{3}\left( \xi _{\mathbf {bc}} + \zeta _{\mathbf {ca}} + \vartheta _{\mathbf {ab}}\right) \right) .\nonumber \\ \end{aligned}$$
(122)
A direct computation shows that F is a bounded multilinear map and that
$$\begin{aligned} \phi (\mathbf {a},\,\xi )\,=\,F(\mathbf {a},\xi \,;\mathbf {a},\xi \,;\mathbf {a},\xi ), \end{aligned}$$
(123)
which means that $\phi $ is a continuous polynomial map between $\mathscr {A}\times \mathscr {A}^{*}_{sa}$ and $\mathbb {R}\times \mathscr {A}^{*}_{sa}$, hence, it is smooth with respect to the Banach manifold structures of $\mathscr {A}\times \mathscr {A}^{*}_{sa}$ and $\mathbb {R}\times \mathscr {A}^{*}_{sa}$ (see [21, p. 63]). Then, we note that $\mathscr {G}$ is an open Banach submanifold of $\mathscr {A}$ (see [55, p. 96]), and thus the map
$$\begin{aligned} I_{\xi }\,:\,\mathscr {G}\,\longrightarrow \,\mathscr {A}\,\times \,\mathscr {A}^{*}_{sa},\;\;\;\;I_{\xi }(\mathrm {g})\, :=\,(\mathrm {g},\,\xi ) \end{aligned}$$
(124)
is a smooth map for every $\xi \in \mathscr {A}^{*}_{sa}$ so that $\phi \circ \,I_{\xi }$ is a smooth map between $\mathscr {G}$ and $\mathbb {R}\,\times \,\mathscr {A}^{*}_{sa}$ for every $\xi \in \mathscr {A}^{*}_{sa}$.

In particular, $I_{\rho }$ is smooth for every $\rho \in \mathscr {S}$, and its image is in the open submanifold $\mathbb {R}_{0}\,\times \,\mathscr {A}^{*}_{sa}$ of $\mathbb {R}\,\times \,\mathscr {A}^{*}_{sa}$. Therefore, considering the smooth map $\beta :\,\mathbb {R}_{0}\times \mathscr {A}^{*}_{sa}\,\rightarrow \,\mathscr {A}^{*}_{sa}$ given by
$$\begin{aligned} \beta (b,\,\xi )\,:=\,\frac{1}{b}\,\xi , \end{aligned}$$
(125)
it follows that $\beta \,\circ \,\phi \circ \,I_{\rho }$ is a smooth map between $\mathscr {G}$ and $\mathscr {A}^{*}_{sa}$ for every $\rho \in \mathscr {S}$, and a direct computation shows that
$$\begin{aligned} \varPhi _{\rho }\,=\,\beta \,\circ \,\phi \circ \,I_{\rho }. \end{aligned}$$
(126)
From this it follows that $\varPhi _{\rho }$ is smooth which means that the canonical immersion $i:\mathcal {O}\subset \mathscr {S}\longrightarrow \mathscr {A}_{sa}^{*}$ is smooth because of Proposition 16.
2.
It suffices to note that $l_{\mathbf {a}}$ is the composition of the linear (and thus smooth) map $L_{\mathbf {a}}:\mathscr {A}_{sa}^{*}\longrightarrow \mathbb {R}$ given by
$$\begin{aligned} L_{\mathbf {a}}(\xi )=\xi (\mathbf {a}) \end{aligned}$$
(127)
with the canonical immersion i which is smooth because of what has been proved above.
3.
Now, consider the family $\{l_{\mathbf {a}}\}_{\mathbf {a}\in \mathscr {A}}$ of smooth functions on the orbit $\mathcal {O}$, and suppose that $\mathbf {V}_{\rho }$ and $\mathbf {W}_{\rho }$ are tangent vectors at $\rho \in \mathcal {O}$ such that
$$\begin{aligned} \langle (\mathrm {d}l_{\mathbf {a}})_{\rho };\,\mathbf {V}_{\rho }\rangle \,=\,\langle (\mathrm {d}l_{\mathbf {a}})_{\rho };\,\mathbf {W}_{\rho }\rangle \end{aligned}$$
(128)
for every $\mathbf {a}\in \mathscr {A}_{sa}$. Then, since $l_{\mathbf {a}}=L_{\mathbf {a}}\circ \,i$, we have
$$\begin{aligned} \langle (\mathrm {d}l_{\mathbf {a}})_{\rho };\,\mathbf {V}_{\rho }\rangle \,=\,\langle (\mathrm {d}L_{\mathbf {a}})_{i(\rho )};\,T_{\rho }i(\mathbf {V}_{\rho })\rangle \end{aligned}$$
(129)
and
$$\begin{aligned} \langle (\mathrm {d}l_{\mathbf {a}})_{\rho };\,\mathbf {W}_{\rho }\rangle \,=\,\langle (\mathrm {d}L_{\mathbf {a}})_{i(\rho )};\,T_{\rho }i(\mathbf {W}_{\rho })\rangle {.} \end{aligned}$$
(130)
Note that the family of linear functions of the type $L_{\mathbf {a}}$ with $\mathbf {a}\in \mathscr {A}_{sa}$ (see Eq. (24)) are enough to separate the tangent vectors at $\xi $ for every $\xi \in \mathscr {A}^{*}_{sa}$ because the tangent space at $\xi \in \mathscr {A}^{*}_{sa}$ is diffeomorphic with $\mathscr {A}^{*}_{sa}$ in such a way that
$$\begin{aligned} \langle (\mathrm {d}L_{\mathbf {a}})_{\xi };\mathbf {V}_{\xi }\rangle \,=\, \mathbf {V}_{\xi }(\mathbf {a})\,=\,L_{\mathbf {a}}(\mathbf {V}_{\xi }) \end{aligned}$$
(131)
for every $\mathbf {V}_{\xi }\in T_{\xi }\mathscr {A}^{*}_{sa}\cong \mathscr {A}^{*}_{sa}$, and $\mathscr {A}_{sa}$ (the predual of $\mathscr {A}^{*}_{sa}$) separates the points of $\mathscr {A}^{*}_{sa}$ (see [42]). Consequently, since $T_{\rho }i(\mathbf {V}_{\rho })$ and $T_{\rho }i(\mathbf {W}_{\rho })$ are tangent vectors at $i(\rho )\in \mathscr {A}^{*}_{sa}$ and the functions $L_{\mathbf {a}}$ with $\mathbf {a}\in \mathscr {A}_{sa}$ are enough to separate them and we conclude that the validity of Eq. (128) for all $\mathbf {a}\in \mathscr {A}_{sa}$ is equivalent to
$$\begin{aligned} T_{\rho }i(\mathbf {V}_{\rho })\,=\,T_{\rho }i(\mathbf {W}_{\rho }). \end{aligned}$$
(132)
Then, if $\mathrm {g}_{t}\,=\,\exp (t\mathbf {a})$ is a one-parameter subgroup in $\mathscr {G}$ so that
$$\begin{aligned} \rho _{t}\,=\,\varPhi (\mathrm {g}_{t},\,\rho ) \end{aligned}$$
(133)
is a smooth curve in $\mathcal {O}$ starting at $\rho $ with associated tangent vector $\mathbf {V}_{\rho }$, we have
$$\begin{aligned} \langle (\mathrm {d}L_{\mathbf {b}})_{i(\rho )};\,T_{\rho }i(\mathbf {V}_{\rho })\rangle \,=\, \frac{\mathrm {d}}{\mathrm {d}t}\,\left( L_{\mathbf {b}}\,\circ \,i(\rho _{t})\right) _{t=0} \end{aligned}$$
(134)
which we may compute analogously to Eq. (103) to obtain
$$\begin{aligned} \begin{aligned} \frac{\mathrm {d}}{\mathrm {d}t}\,\left( L_{\mathbf {b}}\,\circ \,i(\rho _{t}) \right) _{t=0}&\,=\,\rho \left( \mathbf {a}^{\dagger }\,\mathbf {b}\,+\,\mathbf {b}\, \mathbf {a}\right) \,-\,\rho (\mathbf {b})\,\rho \left( \mathbf {a}^{\dagger }\,+\, \mathbf {a}\right) \end{aligned} \end{aligned}$$
(135)
Comparing Eq. (135) with Eq. (103) we conclude that $\mathbf {V}_{\rho }$ and $\mathbf {W}_{\rho }$ satisfy Eq. (29) if and only if they coincide, and thus $T_{\rho }i$ is injective for all $\rho \in \mathcal {O}$.

$\square $

It is important to note that the topology underlying the differential structure on $\mathcal {O}$ comes from the topology of $\mathscr {G}$ in the sense that a subset U of the orbit is open iff $(\tau _{\rho }^{\varPhi })^{-1}(U)$ is open in $\mathscr {G}$. In principle, this topology on $\mathcal {O}$ has nothing to do with the topology of $\mathcal {O}$ when thought of as a subset of $\mathscr {S}$ endowed with the relativised norm topology, or with the relativised weak* topology. However, from Proposition 13, it follows that the map $l_{\mathbf {a}}:\,\mathcal {O}\longrightarrow \mathbb {R}$ is continuous for every $\mathbf {a}\in \mathscr {A}_{sa}$. Therefore, we may conclude that the topology underlying the homogeneous Banach manifold structure on $\mathcal {O} $ is stronger than the relativised weak* topology coming from $\mathscr {A}^{*}_{sa}$.

3.1 Density operators

Similarly to what is done in Sect. 2.1, we consider a complex, separable Hilbert space $\mathcal {H}$ and denote by $\mathscr {A}$ the $W^{*}$-algebra $\mathcal {B}(\mathcal {H})$ of bounded, linear operators on $\mathcal {H}$. A normal state ${\widetilde{\rho }}$ of $\mathscr {A}$ may be identified with a density operator on $\mathcal {H}$, that is, a trace-class, positive semidefinite operator $\rho $ with unit trace, and the duality relation may be expressed by means of the trace operation

$$\begin{aligned} {\widetilde{\rho }}(\mathbf {a})\,=\,\mathrm {Tr}\,\left( \rho \,\mathbf {a}\right) \end{aligned}$$

(136)

for all $\mathbf {a}\in \mathscr {A}=\mathcal {B}(\mathcal {H})$.

We will study the orbits of the group $\mathscr {G}$ of invertible, bounded linear operators in $\mathscr {A}$ on the space $\mathscr {N}$ of normal states on $\mathscr {A}$. The analysis will be very similar to the one presented in Sect. 2.1.

According to the spectral theory for compact operators (see [51, ch. VII]), given a density operator $\rho $ on $\mathcal {H}$, there is a decomposition $\mathcal {H}=\mathcal {H}_{\rho }\oplus \mathcal {H}_{\rho }^{\perp }$ and a countable orthonormal basis $\{|e_{j}\rangle ,\,|f_{j}\rangle \}$ adapted to this decomposition such that $\rho $ can be written as

$$\begin{aligned} \rho \,=\,\sum _{j=1}^{\mathrm {dim}(\mathcal {H}_{\rho })}\, p^{j}\,|e_{j}\rangle \langle e_{j}|, \end{aligned}$$

(137)

with $p^{j}>0$ and $\sum _{j=1}^{\mathrm {dim}(\mathcal {H}_{\rho })}\, p^{j}=1$. In general, we have four different situations:

1.
$0<\mathrm {dim}(\mathcal {H}_{\rho })=N<\infty $;
2.
$\mathrm {dim}(\mathcal {H}_{\rho })=\infty $ and $0<\mathrm {dim}(\mathcal {H}^{\perp }_{\rho })=M<\infty $;
3.
$\mathrm {dim}(\mathcal {H}_{\rho })=\infty $ and $\mathrm {dim}(\mathcal {H}^{\perp }_{\rho })=0$
4.
$\mathrm {dim}(\mathcal {H}_{\rho })=\mathrm {dim}(\mathcal {H}_{\rho }^{\perp })=\infty $,

and we set

$$\begin{aligned} \mathscr {N}_{N}&\,:=\,\left\{ \rho \in \mathscr {N}\,\,|\;0<\mathrm {dim}(\mathcal {H}_{\rho }) =N<\infty \right\} \nonumber \\ \mathscr {N}_{M}^{\perp }&\,:=\,\left\{ \rho \in \mathscr {N}\,\,|\;\mathrm {dim}(\mathcal {H}_{\rho }) =\infty \, \text{ and } \,0<\mathrm {dim}(\mathcal {H}^{\perp }_{\rho })=M<\infty \right\} \nonumber \\ \mathscr {N}_{0}^{\perp }&\,:=\,\left\{ \rho \in \mathscr {N}\,\,|\;\mathrm {dim}(\mathcal {H}_{\rho }) =\infty \, \text{ and } \,\mathrm {dim}(\mathcal {H}^{\perp }_{\rho })=0\right\} \nonumber \\ \mathscr {N}_{\infty }&\,:=\,\left\{ \rho \in \mathscr {N}\,\,|\;\mathrm {dim}(\mathcal {H}_{\rho }) =\mathrm {dim}(\mathcal {H}_{\rho }^{\perp })=\infty \right\} . \end{aligned}$$

(138)

The subscript here denotes either the dimension of the space on which $\rho $ operates, or its codimension when the symbol $\perp $ is used. Clearly, when $\mathrm {dim}(\mathcal {H})<\infty $, we have $\mathscr {N}_{N}=\emptyset $ for all $N>\mathrm {dim}(\mathcal {H})$, and $\mathscr {N}_{M}^{\perp }=\mathscr {N}_{0}^{\perp }=\mathscr {N}_{\infty }=\emptyset $.

Proceeding in exactly the same way as we did in Sect. 2.1, we may prove that the action $\varPhi $ of $\mathscr {G}$ is transitive on $\mathscr {N}_{N}$, on $\mathscr {N}_{M}^{\perp }$, on $\mathscr {N}_{0}^{\perp }$ and on $\mathscr {N}_{\infty }$. Consequently, the space $\mathscr {N}$ of normal states on $\mathscr {A}=\mathcal {B}(\mathcal {H})$ is partitioned into the disjoint union

$$\begin{aligned} \mathscr {N}\,=\, \mathscr {N}_{\infty }\,\sqcup \,\mathscr {N}_{0}^{\perp }\,\sqcup \,\left( \bigsqcup _{N\in \mathbb {N}}\, \mathscr {N}_{N}\right) \,\sqcup \,\left( \bigsqcup _{M\in \mathbb {N}}\,\mathscr {N}_{M}^{\perp }\right) . \end{aligned}$$

(139)

Propositions 11, 12, and 6 imply that the isotropy subgroup $\mathscr {G}_{\rho }$ of $\rho $ with respect to $\varPhi $ is a Banach-Lie subgroup of $\mathscr {G}=\mathcal {GL}(\mathcal {H})$. By adapting the proof of Proposition 7 in the obvious way, we may prove the following proposition:

Proposition 14

Let $\varrho _{0}$ and $\varrho _{1}$ be density operators on $\mathcal {H}$, that is, positive, trace-class operators with unit trace. Denote by $p_{0}^{j}$ and $p_{1}^{j}$ the j-th eigenvalue of $\varrho _{0}$ and $\varrho _{1}$, respectively. If $\mathcal {H}_{\varrho _{0}}$ is isomorphic to $\mathcal {H}_{\varrho _{1}}$, and $\mathcal {H}_{\varrho _{0}}^{\perp }$ is isomorphic to $\mathcal {H}_{\varrho _{1}}^{\perp }$, and if the following condition holds

$$\begin{aligned} \frac{p_{1}^{j}}{p_{0}^{j}}\,\le \, C \,<\,\infty \;\;\;\;\;\forall j=1,...,N, \end{aligned}$$

(140)

then, the element $\mathrm {g}$ given by

$$\begin{aligned} \mathrm {g}\,:=\,\sum _{j=1}^{N}\,\sqrt{\frac{p^{j}_{1}}{p^{j}_{0}}}\,|e_{j}^{1}\rangle \langle e_{j}^{0}| + \sum _{k=1}^{M}\,|f_{k}^{1}\rangle \langle f_{k}^{0}| \end{aligned}$$

(141)

is a bounded, invertible operator on $\mathcal {H}$ such that

$$\begin{aligned} \varrho _{1}\,=\,\frac{\mathrm {g}\,\varrho _{0}\,\mathrm {g}^{\dagger }}{Tr(\mathrm {g}\,\varrho _{0}\,\mathrm {g}^{\dagger })}\,. \end{aligned}$$

(142)

Clearly, the assumptions in Proposition 14 are always satisfied if $\varrho _{0}$ and $\varrho _{1}$ are finite-rank operators with the same rank.

Now, we want to write down a tangent vector $\mathbf {V}_{\rho }$ at $\rho \in \mathcal {O}$, where $\mathcal {O}$ is any of the orbits of $\mathscr {G}$ inside the space of density operators. At this purpose, we consider the canonical immersion $i:\mathcal {O}\longrightarrow \mathscr {A}^{*}_{sa}$, and we recall Eq. (135), from which it follows that

$$\begin{aligned} T_{\rho }i(\mathbf {V}_{\rho })(\mathbf {b})\,=\,\rho \left( \mathbf {a}^{\dagger }\, \mathbf {b}\,+\,\mathbf {b}\,\mathbf {a}\right) \,-\,\rho (\mathbf {b})\,\rho \left( \mathbf {a}^{\dagger }\,+\,\mathbf {a}\right) \;\;\;\forall \mathbf {b}\in \mathscr {A}, \end{aligned}$$

(143)

where $\mathbf {a}$ is an arbitrary element in $\mathscr {A}=\mathcal {B}(\mathcal {H})$. Clearly, different choices of $\mathbf {a}$ may lead to the same $T_{\rho }i(\mathbf {V}_{\rho })$. Then, writing $\mathbf {a}=\mathbf {x} + \imath \mathbf {y}$ with $\mathbf {x},\mathbf {y}\in \mathscr {A}_{sa}$, we have

$$\begin{aligned} T_{\rho }i(\mathbf {V}_{\rho })(\mathbf {b})\,=\,\mathrm {Tr}\left( \left( \left\{ \rho ,\, \mathbf {x}\right\} -\imath \,\left[ \rho ,\, \mathbf {y}\right] \right) \,\mathbf {b}\right) - \mathrm {Tr}(\rho \,\mathbf {b})\,\mathrm {Tr}\left( \left\{ \rho ,\,\mathbf {x}\right\} \right) \;\;\;\forall \mathbf {b}\in \mathscr {A},\quad \quad \end{aligned}$$

(144)

with $\{\cdot ,\,\cdot \}$ and $[\cdot ,\,\cdot ]$ the anticommutator and the commutator in $\mathcal {B}(\mathcal {H})$, respectively.

3.2 Faithful, tracial state

Similarly to what is done in 2.2, we consider $\mathscr {A}$ to be a unital $C^*$-algebra with a faithful, tracial state $\tau $, that is, $\tau $ is a faithful, state on $\mathscr {A}$ such that

$$\begin{aligned} \tau (\mathbf {a}\,\mathbf {b})\,=\,\tau (\mathbf {b}\,\mathbf {a})\;\;\;\forall \,\, \mathbf {a},\mathbf {b}\in \mathscr {A}. \end{aligned}$$

(145)

In particular, if $\mathscr {A}$ is Abelian, then every faithful, state is a faithful, tracial state.

The result of Sect. 2.2 and Proposition 12 allow us to conclude that the orbit $\mathcal {O}^{\tau }$ of $\mathscr {G}$ through $\tau $ by means of $\varPhi $ (see Eq. (77)) is a homogeneous Banach manifold of $\mathscr {G}$. Furthermore, it is immediate to check that there is a bijection between $\mathcal {O}^{\tau }$ and the set of positive, invertible elements in $\mathscr {A}$ with unit trace, that is, elements of the form $\frac{\mathrm {g}\,\mathrm {g}^{\dagger }}{\tau (\mathrm {g}\,\mathrm {g}^{\dagger })}$ with $\mathrm {g}\in \mathscr {G}$. If $\mathscr {A}$ is finite-dimensional, then $\mathcal {O}^{\tau }$ coincides with the whole space of faithful, tracial states, and, if $\mathscr {A}$ is finite-dimensional and Abelian (i.e., $\mathscr {A}\cong \mathbb {C}^{n}$ for some $n\in \mathbb {N}$), then $\mathcal {O}^{\tau }$ may be identified with the open interior of the n-dimensional simplex. Note that points in the orbit through $\tau $ need not be tracial state when $\mathscr {A}$ is non-Abelian (e.g., when $\mathscr {A}=\mathcal {B}(\mathcal {H})$ with $\mathrm {dim}(\mathcal {H})<\infty $ and $\tau $ the maximally mixed state).

Now, we want to explore the example given by the Abelian $W^*$-algebra $\mathscr {A}=L^{\infty }(\mathcal {X},\nu )$, where $(\mathcal {X},\varSigma ,\nu )$ is a probability space (see [54, p. 109]), and the support of $\nu $ is the whole $\mathcal {X}$. The sum, multiplication and involution in $\mathscr {A}=L^{\infty }(\mathcal {X},\nu )$ are defined as for the $C^*$-algebra of complex-valued, bounded, continuous functions on a Hausdorff topological space, but the norm is given by

$$\begin{aligned} ||f||\,=\,\inf \left\{ C\ge 0\,|\;|f(x)|\le C\, \text{ for } \nu -\text{ almost } \text{ every } x\right\} . \end{aligned}$$

(146)

In this case, the pre-dual space $\mathscr {A}_{*}$ may be identified with $L^{1}(\mathcal {X},\nu )$ by means of the duality

$$\begin{aligned} \langle f,\xi \rangle \,=\,\int _{\mathcal {X}}\,f(x)\,\xi (x)\,\mathrm {d}\nu (x), \end{aligned}$$

(147)

while the dual space $\mathscr {A}^{*}$ may be identified with the space $BV(\varSigma ,\nu )$ of complex-valued, finitely-additive, bounded functions on $\varSigma $ which vanish on every locally $\nu $-null set (see [54, p. 116] for the explicit construction of the Banach space structure on $BV(\mathcal {X},\nu )$) by means of the duality

$$\begin{aligned} \mu (f)\,=\,\int _{\mathcal {X}}\,f(x)\,\mathrm {d}\mu (x). \end{aligned}$$

(148)

The space $\mathscr {S}$ of states is then the space of normalized, positive, finitely-additive, bounded functions on $\varSigma $. When $\mu $ is a normal state, there exists ${\tilde{\mu }}\in \mathscr {A}_{*}\cong L^{1}(\mathcal {X},\nu )$ such that

$$\begin{aligned} \int _{\mathcal {X}}\,f(x)\,\mathrm {d}\mu (x)\,=\,\mu (f)\,=\,\langle f,{\tilde{\mu }}\rangle \,=\,\int _{\mathcal {X}}\,f(x)\,{\tilde{\mu }}(x)\,\mathrm {d}\nu (x) \end{aligned}$$

(149)

for all $f\in \mathscr {A}$. Clearly, the function ${\tilde{\mu }}$ is $\mu $-integrable, non-negative, and such that

$$\begin{aligned} \int _{\mathcal {X}}\,{\tilde{\mu }}(x)\,\mathrm {d}\nu (x)\,=\,1. \end{aligned}$$

(150)

Consequently, every normal state $\mu $ determines a probability measure on $(\mathcal {X},\varSigma )$ which is absolutely continuous with respect to $\nu $, and has ${\tilde{\mu }}$ as its Radon–Nikodym derivative.

The action of $\mathscr {G}$ on the normal state $\mu $ is easily written as

$$\begin{aligned} \left( \varPhi (\mathrm {g},\,\mu )\right) (f)\,=\,\frac{\int _{\mathcal {X}}\,|\mathrm {g}(x)|^{2}\,f(x)\,\mathrm {d}\mu (x)}{\int _{\mathcal {X}}\,|\mathrm {g}(y)|^{2}\,\mathrm {d}\mu (y)}\,\equiv \, \int _{\mathcal {X}}\,\alpha _{\mathrm {g}}^{\nu }(x)\,f(x)\,\mathrm {d}\mu (x), \end{aligned}$$

(151)

where f is in $\mathscr {A}=L^{\infty }(\mathcal {X},\nu )$, and $\alpha _{\mathrm {g}}^{\nu }(x)$ is the strictly positive, $\mu $-integrable function

$$\begin{aligned} \alpha _{\mathrm {g}}^{\mu }(x)\,=\,\frac{|\mathrm {g}(x)|^{2}}{\int _{\mathcal {X}}\,|\mathrm {g}(y)|^{2}\,\mathrm {d}\mu (y)}\, \end{aligned}$$

(152)

such that $\mu (\alpha _{\mathrm {g}}^{\mu })=1$. If $\mu $ is faithful, the orbit $\mathcal {O}^{\mu }$ through $\mu $ is a smooth, homogeneous Banach manifold for $\mathscr {G}$, and a point in $\mathcal {O}^{\mu }$ is a probability measure $\mu _{\mathrm {g}}$ which is mutually absolutely continuous with respect to $\mu $ with $\alpha _{\mathrm {g}}^{\mu }\in \mathscr {A}=L^{\infty }(\mathcal {X},\nu )$ as its Radon–Nikodym derivative.

In particular, if we take $\nu $ as the reference faithful, normal state, we have that the orbit $\mathcal {O}$ containing $\nu $ is given by all the probability measures on $(\mathcal {X},\varSigma )$ that are mutually absolutely continuous with respect to $\nu $, and with a Radon–Nikodym derivative which is a strictly positive function in $\mathscr {A}=L^{\infty }(\mathcal {X},\nu )$ integrating to 1 with respect to $\nu $. Therefore, the set

$$\begin{aligned} \mathscr {M}_{\nu }\,:=\,\left\{ f\in \,L^{\infty }(\mathcal {X},\nu )\,|\;\;f(x)>0\,\,\nu -a.s. ,\;\int _{\mathcal {X}}\,f(x)\,\mathrm {d}\nu (x)=1\,\right\} \end{aligned}$$

(153)

is a homogeneous Banach manifold of the Banach-Lie group $\mathscr {G}$ of invertible elements in $L^{\infty }(\mathcal {X},\nu )$.

4 Concluding remarks

In this work, we presented a preliminary analysis concerning two possible actions of the Banach-Lie group $\mathscr {G}$ of invertible elements in a unital $C^{*}$-algebra $\mathscr {A}$ on the continuous, self-adjoint linear functionals in $\mathscr {A}^{*}_{sa}$. Specifically, we analysed a linear action $\alpha $ of $\mathscr {G}$ on $\mathscr {A}^{*}_{sa}$ which is smooth and preserves the positivity and the normality of the linear functionals on which it acts. In the case where $\mathscr {A}$ is the algebra $\mathcal {B}(\mathcal {H})$ of bounded linear operators on a complex, separable Hilbert space $\mathcal {H}$, we were able to prove that all the orbits passing through normal, positive linear functionals (positive trace-class operators on $\mathcal {H}$) are smooth, homogeneous Banach manifolds of $\mathscr {G}=\mathcal {GL}(\mathcal {H})$ with respect to the action $\alpha $. Furthermore, we gave sufficient conditions for two normal, positive linear functionals to belong to the same orbit. If $\mathscr {A}$ admits a faithful, finite trace $\tau $, then we proved that the orbit through $\tau $ is a smooth, homogeneous Banach manifold of $\mathscr {G}$.

The action $\alpha $ does not preserve the space of states $\mathscr {S}$ on $\mathscr {A}$. Consequently, we provided a sort of deformation of $\alpha $, denoted by $\varPhi $, which allows us to overcome this problem. However, $\varPhi $ turns out to be an action of $\mathscr {G}$ which is well-defined only on the space of states $\mathscr {S}$, and, in general, it does not preserve the convex structure of $\mathscr {S}$. The subgroup of unitary elements in $\mathscr {G}$ is the maximal subgroup such that the restriction of $\varPhi $ preserves convexity. Since $\mathscr {S}$ lacks a differential structure as a whole, it is meaningless to speak of the smoothness of $\varPhi $, nevertheless, an orbit $\mathcal {O}$ of $\varPhi $ may still inherit the structure of smooth homogeneous Banach manifold if the isotropy subgroup of an element (and thus of every element) in $\mathcal {O}$ is a Banach-Lie subgroup of $\mathscr {G}$. At this purpose, we analysed the case where $\mathscr {A}=\mathcal {B}(\mathcal {H})$ mentioned before, and we proved that the orbits through normal states (density operators on $\mathcal {H}$) are indeed smooth homogeneous Banach manifolds for $\mathscr {G}=\mathcal {GL}(\mathcal {H})$ with respect to the action $\varPhi $. Similarly to what we obtained for the action $\alpha $ in the case of normal positive functionals on $\mathscr {A}=\mathcal {B}(\mathcal {H})$, we gave sufficient conditions for two normal states to belong to the same orbit. Furthermore, if $\mathscr {A}$ admits a faithful, tracial state $\tau $, then we proved that the orbit of $\mathscr {G}$ through $\tau $ by means of $\varPhi $ is a smooth, homogeneous Banach manifold of $\mathscr {G}$. In particular, if $\mathscr {A}$ is finite-dimensional, the orbit through $\tau $ coincides with the space of faithful states on $\mathscr {A}$, while, if $\mathscr {A}$ is finite-dimensional and Abelian, the orbit through $\tau $ may be identified with the open interior of the finite-dimensional simplex. Note that points in the orbit through $\tau $ need not be tracial state when $\mathscr {A}$ is non-Abelian, e.g., when $\mathscr {A}=\mathcal {B}(\mathcal {H})$ with $\mathrm {dim}(\mathcal {H})<\infty $ and $\tau $ the maximally mixed state.

In the finite-dimensional case when $\mathscr {A}=\mathcal {B}(\mathcal {H})$ with $\mathrm {dim}(\mathcal {H})<\infty $, the space of faithful states (invertible density operators) may be identified with a smooth, open submanifold of the affine hyperplane of the self-adjoint operators with unit trace, and numerous constructions related with classical information geometry have been adapted to this quantum case. However, a straightforward extension of this formalism to the infinite dimensional case is not possible because no density operator can be invertible in this case, and this prevents the possibility of endowing the set of faithful (normal) states with a smooth manifold structure as it is done in the finite-dimensional case. As noted in the introduction, in the finite-dimensional case it is also known that the manifold structure on faithful normal states admits a compatible transitive action of the group of invertible elements making it a smooth homogeneous space. Clearly, these two manifold structures are completely equivalent in the finite-dimensional case. A relevant conclusion that can be drawn from the results of this manuscript is that, in the infinite-dimensional case, it is possible to define a smooth homogeneous structure on the orbit of $\mathscr {G}=\mathcal {GL}(\mathcal {H})$ through any given faithful normal state. However, it is still an open question if there is only one such orbit as in the finite-dimensional case, and we plan to address this delicate issue in a future work.

The content of this work should be thought of as a preliminary step toward the generalization of the methods of quantum information geometry to the infinite-dimensional case, and, as such, it is far from being complete. For instance, the problem of characterizing the isotropy subgroups for other types of $C^{*}$-algebras other than those considered here in order to understand if the associated orbit (with respect to $\alpha $ or $\varPhi $) is a smooth homogeneous Banach manifold for $\mathscr {G}$ is still open. Then, it would be relevant to analyse the smoothness of well-known informational quantities (e.g., quantum relative entropies) with respect to the smooth structures introduced in this work, so that, if smoothness is assured, we may proceed to analyse the statistical structures they give rise to in the infinite-dimensional case. Relevant examples would be given by the von Neumann-Umegaki relative entropy, and by the Bures distance function (quantum fidelity).

Other geometrical structures that will emerge naturally for certain states, like a complex structure or a symplectic structure [13, 14], induced from the Banach-Lie group of invertible elements, will be studied in a future contribution in relation with the well-known informational metrics.

For this purpose, it may turn out to be helpful to analyse the smooth structure on the homogeneous Banach manifolds in terms of the smooth subalgebra of $\mathscr {A}$ determined by the isotropy subgroup of the state $\rho $ “labelling” the homogeneous Banach manifold [18]. Clearly, the smooth structure of the algebra will be related to the smooth structure of the orbit and it will provide a new insigh in the structure of the $C^*$-algebra obtained from an action of a Lie group as indicated for instance in [26]. We plan to address these and related issues in future publications.

Notes

More generally, this action is well-defined on the whole $\mathscr {S}(\mathcal {H})$ and its orbits are given by density operators with fixed rank (see [20] for a recent review).
Note that the dependence of $p_{\xi ,\mathbf {c}}$ on the second variable is trivial, and this explains why $\mathbf {b}$ does not appear on the rhs.
Note that the faithfulness of $\tau $ is necessary for $\langle ,\rangle _{\tau }$ to be an inner product on the whole $\mathscr {A}$.
A state $\rho \in \mathscr {S}$ is called tracial if $\rho (\mathbf {ab})=\rho (\mathbf {ba})$ for all $\mathbf {a},\mathbf {b}\in \mathscr {A}$.
The topology on $\mathbb {R}^{+}$ is the Lie group topology, the topology on $\mathbb {C}$ is the norm topology associated with the norm $|z|:=\sqrt{z\overline{z}}$, and the topology on $\mathbb {R}^{+}\times \mathbb {C}$ is the product topology associated with the previous two topologies.
Note that the dependence of $p_{\rho ,\mathbf {c}}$ on the second variable is trivial, and this explains why $\mathbf {b}$ does not appear on the rhs.

References

Abraham, R., Marsden, J.E., Ratiu, T.: Manifolds, Tensor Analysis, and Applications, 3rd edn. Springer, New York (2012)
MATH Google Scholar
Adams, M., Ratiu, T., Schmid, R.: The Lie Group Structure of Diffeomorphism Groups and Invertible Fourier Integral Operators with Applications. In: Kac, V. (ed.) Infinite Dimensional Groups with Applications. Mathematical Sciences Research Institute Publications, vol. 4. Springer, New York, NY (1985)
Google Scholar
Akhiezer, N.I., Glazman, I.M.: Theory of Linear Operators in Hilbert Space. Dover, New York (1981)
MATH Google Scholar
Andruchow, E., Stojanoff, D.: Differentiable structure of similarity orbits. J. Oper. Theory 21(2), 349–366 (1989)
MathSciNet MATH Google Scholar
Andruchow, E., Stojanoff, D.: Geometry of unitary orbits. J. Oper. Theory 26(1), 25–41 (1991)
MathSciNet MATH Google Scholar
Andruchow, E., Varela, A.: Riemannian geometry of finite rank positive operators. Differ. Geom. Appl. 23, 305–326 (2005)
MathSciNet MATH Google Scholar
Ashtekar, A., Schilling, T.A.: Geometrical formulation of quantum mechanics. In: Harvey, A. (ed.) On Einstein’s Path: Essays in Honor of Engelbert Schucking, pp. 23–65. Springer, New York (1999)
Google Scholar
Ay, N., Jost, J., Van Le, H., Schwachhöfer, L.: Information geometry and sufficient statistics. Probab. Theory Relat. Fields 162(1), 327–364 (2015)
MathSciNet MATH Google Scholar
Ay, N., Jost, J., Van Le, H., Schwachhöfer, L.: Information Geometry. Springer International Publishing, New York (2017)
MATH Google Scholar
Ay, N., Jost, J., Van Le, H., Schwachhöfer, L.: Parametrized measure models. Bernoulli 24(3), 1692–1725 (2018)
MathSciNet MATH Google Scholar
Ay, N., Tuschmann, W.: Duality versus dual flatness in quantum information geometry. J. Math. Phys. 44(4), 1512–1518 (2003)
MathSciNet MATH Google Scholar
Bauer, M., Bruveris, M., Michor, P.W.: Uniqueness of the FisherâRao metric on the space of smooth densities. Bull. Lond. Math. Soc. 48(3), 499–506 (2016)
MathSciNet MATH Google Scholar
Beltita, D., Ratiu, T.S.: Symplectic leaves in real Banach Lie-Poisson spaces. Geom. Funct. Anal. 15, 753–779 (2005)
MathSciNet MATH Google Scholar
Beltita, D., Ratiu, T.: Geometric representation theory for unitary groups of operator algebras. Adv. Math. 208(1), 299–317 (2007)
MathSciNet MATH Google Scholar
Blackadar, B.: Operator Algebras: Theory of $C^*$-algebras and von Neumann Algebras. Springer-Verlag, Berlin (2006)
MATH Google Scholar
Bona, P.: Some considerations on topologies of infinite dimensional unitary coadjoint orbits. J. Geom. Phys. 51(2), 256–268 (2004)
MathSciNet MATH Google Scholar
Bourbaki, N.: Groupes et algébres de Lie, Chapitres 2 and 3 . Springer, Berlin (2006)
Bratteli, O.: Derivations, Dissipations and Group Actions on $C^*$-algebras. Lect. Notes Maths., vol. 1229. Springer, New York (1986)
MATH Google Scholar
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics I, second edn. Springer, Berlin (1997)
MATH Google Scholar
Chruściński, D., Ciaglia, F.M., Ibort, A., Marmo, G., Ventriglia, F.: Stratified manifold of quantum states. Ann. Phys. 400, 221–245 (2019)
MATH Google Scholar
Chu, C.: Jordan Structures in Geometry and Analysis. Cambridge University Press, Cambridge (2012)
MATH Google Scholar
Ciaglia, F.M., Di Cosmo, F., Ibort, A., Laudato, M., Marmo, G.: Dynamical vector fields on the manifold of quantum states. Open Syst. Inf. Dyn. 24(3), 1740003–38 (2017)
MathSciNet MATH Google Scholar
Cirelli, R., Lanzavecchia, P., Mania, A.: Normal pure states of the von Neumann algebra of bounded operators as Kähler manifold. J. Phys. A Math. Gen. 16(16), 3829–3835 (1983)
MATH Google Scholar
Cirelli, R., Mania, A., Pizzocchero, L.: Quantum mechanics as an infinite dimensional Hamiltonian system with uncertainty structure. J. Math. Phys. 31(12), 2891–2903 (1990)
MathSciNet MATH Google Scholar
Cirelli, R., Pizzocchero, L.: On the integrability of quantum mechanics as an infinite dimensional Hamiltonian system. Nonlinearity 3(4), 1057–1080 (1990)
MathSciNet MATH Google Scholar
Connes, A.: $C^*$-algebras and differential geometry (2001). arXiv:hep-th/0101093(preprint)
Friedrich, T.: Die Fisher-Information und symplektische Strukturen. Math. Nachr. 152, 273–296 (1991)
MathSciNet MATH Google Scholar
Gibilisco, P., Isola, T.: Wigner–Yanase information on quantum state space: the geometric approach. J. Math. Phys. 44(9), 3752–3762 (2003)
MathSciNet MATH Google Scholar
Gibilisco, P., Pistone, G.: Connections on non-parametric statistical manifolds by Orlicz space geometry. Infin. Dimens. Anal. Quantum Probab. Relat. Topics 01(02), 325–347 (1998)
MathSciNet MATH Google Scholar
Glimm, J.G., Kadison, R.V.: Unitary operators in $C^{*}$-algebras. Pac. J. Math. 10(2), 547–556 (1960)
MathSciNet MATH Google Scholar
Grabowski, J., Kuś, M., Marmo, G.: Symmetries, group actions, and entanglement. Open Syst. Inf. Dyn. 13(04), 343–362 (2006)
MathSciNet MATH Google Scholar
Grabowski, J., Kuś, M., Marmo, G., Shulman, T.: Geometry of quantum dynamics in infinite-dimensional Hilbert space. J. Phys. A Math. Theor. 51(16), 165301 (2018)
MathSciNet MATH Google Scholar
Grasselli, M.R., Streater, R.F.: The quantum information manifold for $\epsilon $-bounded forms. Rep. Math. Phys. 46(3), 325–335 (2000)
MathSciNet MATH Google Scholar
Haag, R., Kastler, D.: An algebraic approach to quantum field theory. J. Math. Phys. 5(7), 848–861 (1964)
MathSciNet MATH Google Scholar
Harris, L.A., Kaup, W.: Linear algebraic groups in infinite dimensions. Ill. J. Math. 21(3), 666–674 (1977)
MathSciNet MATH Google Scholar
Hasegawa, H.: Quantum Communications and Measurement, Chapter Non-Commutative Extension of the Information Geometry, pp. 327 –337. Springer, New York (1995)
Google Scholar
Hasegawa, H., Petz, D.: Quantum Communication, Computing, and Measurement, Chapter Non-Commutative Extension of Information Geometry II, pp. 109 – 118. Springer, New York (1997)
Google Scholar
Hellwig, K.-E., Kraus, K.: Pure operations and measurements. Commun. Math. Phys. 11, 214–220 (1969)
MathSciNet MATH Google Scholar
Jencova, A.: Affine connections, duality and divergences for a von Neumann algebra (2003). arXiv:math-ph/0311004v1
Jencova, A.: A construction of a nonparametric quantum information manifold (2005). arXiv:math-ph/0511065v1
Kadison, R.V., Ringrose, J.R.: Fundamentals of the Theory of Operator Algebras Volume I: Elementary Theory. Academic Press, New York (1983)
MATH Google Scholar
Kaijser, S.: A note on dual Banach spaces. Math. Scand. 41(2), 325–330 (1977)
MathSciNet MATH Google Scholar
Kibble, T.W.B.: Geometrization of quantum mechanics. Commun. Math. Phys. 65(2), 189–201 (1979)
MathSciNet MATH Google Scholar
G. Larotonda. The metric geometry of infinite dimensional Lie groups and their homogeneous spaces (2019). arXiv:1805.02631v3 [math.DG]
Lang, S.: Fundamentals of Differential Geometry. Springer, Berlin (1999)
MATH Google Scholar
Naudts, J.: Quantum statistical manifolds. Entropy 20(6), 472 (2018)
MathSciNet Google Scholar
Newton, N.J.: An infinite-dimensional statistical manifold modelled on Hilbert space. J. Funct. Anal. 263(6), 1661–1681 (2012)
MathSciNet MATH Google Scholar
Omori, H.: Infinite Dimensional Lie Transformation Groups. Springer Lecture Notes Mathematics, New York (1974)
MATH Google Scholar
Petz, D., Sudar, C.: Geometries of Quantum States. J. Math. Phys. 37, 2662–2673 (1996)
MathSciNet MATH Google Scholar
Pistone, G., Sempi, C.: An infinite-dimensional geometric structure on the space of all the probability measures equivalent to a given one. Ann. Stat. 23(5), 1543–1561 (1995)
MathSciNet MATH Google Scholar
Reed, M., Simon, B.: Methods of Modern Mathematical Physics I: Functional Analysis. Academic Press, London (1980)
MATH Google Scholar
Sakai, S.: $C^{*}$-algebras and $W^{*}$-algebras. Springer, Berlin (1971)
MATH Google Scholar
Streater, R.F.: Quantum Orlicz spaces in information geometry. Open Syst. Inf. Dyn. 11, 359–375 (2004)
MathSciNet MATH Google Scholar
Takesaki, M.: Theory of Operator Algebra I. Springer, Berlin (2002)
MATH Google Scholar
Upmeier, H.: Symmetric Banach manifolds and Jordan $C^{*}$-algebras. Elsevier, Amsterdam (1985)
MATH Google Scholar

Download references

Acknowledgements

Open access funding provided by Max Planck Society. A.I. and G.M. acknowledge financial support from the Spanish Ministry of Economy and Competitiveness, through the Severo Ochoa Programme for Centres of Excellence in RD (SEV-2015/0554). A.I. would like to thank partial support provided by the MINECO research project MTM2017-84098-P and QUITEMAD++, S2018/TCS-4342. G.M. would like to thank the support provided by the Santander/UC3M Excellence Chair Programme 2019/2020.

Author information

Authors and Affiliations

Max Planck Institute for Mathematics in the Sciences, Leipzig, Germany
F. M. Ciaglia & J. Jost
ICMAT, Instituto de Ciencias Matemáticas (CSIC-UAM-UC3M-UCM), Departamento de Matemáticas, University Carlos III de Madrid, Leganés, Madrid, Spain
A. Ibort
INFN-Sezione di Napoli, Naples, Italy
G. Marmo

Authors

F. M. Ciaglia
View author publications
You can also search for this author in PubMed Google Scholar
A. Ibort
View author publications
You can also search for this author in PubMed Google Scholar
J. Jost
View author publications
You can also search for this author in PubMed Google Scholar
G. Marmo
View author publications
You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to F. M. Ciaglia.

Ethics declarations

Conflict of interest

On behalf of all authors, the corresponding author states that there is no conflict of interest.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendices

Appendix A: C*-algebras and states

Let $(\mathscr {A},\,+,\,||\cdot ||,\,\cdot )$ be a Banach algebra, that is, a Banach space endowed with a (not necessarily commutative) multiplication operation which is continuous with respect to the norm topology and is such that

$$\begin{aligned} ||\mathbf {a}_{1}\,\mathbf {a}_{2}||\,\le \,||\mathbf {a}_{1}||\,\,||\mathbf {a}_{2}|| \end{aligned}$$

(154)

for every $\mathbf {a}_{1}$ and $\mathbf {a}_{2}$ in $\mathscr {A}$. Suppose that there is a linear anti-isomorphism $\dagger $ on $\mathscr {A}$, called involution, such that $(\mathbf {a}^\dagger )^\dagger = \mathbf {a}$ and:

$$\begin{aligned} (\mathbf {a}_{1}\,\mathbf {a}_{2})^{\dagger }\,=\,\mathbf {a}_{2}^{\dagger }\, \mathbf {a}_{1}^{\dagger } \end{aligned}$$

(155)

for every $\mathbf {a}_{1}$ and $\mathbf {a}_{2}$ in $\mathscr {A}$. If the pentuple $(\mathscr {A},\,+,\,||\cdot ||,\,\cdot ,\,\dagger )$ satisfies the compatibility condition between the norm, the multiplication and the involution given by

$$\begin{aligned} ||\mathbf {a}||^{2}\,=\,||\mathbf {a}^{\dagger }\,\mathbf {a}|| \end{aligned}$$

(156)

for every $\mathbf {a}$ in $\mathscr {A}$, then $(\mathscr {A},\,+,\,||\cdot ||,\,\cdot ,\,\dagger )$ is called $C^{*}$-algebra. In the following, we will avoid the notation $(\mathscr {A},\,+,\,||\cdot ||,\,\cdot ,\,\dagger )$ to denote a $C^{*}$-algebra, and will simply write $\mathscr {A}$ because, hopefully, all the operations will be clear from the context.

An element $\mathbf {a}\in \mathscr {A}$ is called self-adjoint if $\mathbf {a}=\mathbf {a}^{\dagger }$, and we denote by $\mathscr {A}_{sa}$ the space of self-adjoint elements in $\mathscr {A}$. An element $\mathbf {a}\in \mathscr {A}$ is called positive if it can be written as

$$\begin{aligned} \mathbf {a}=\mathbf {b\,b}^{\dagger } \end{aligned}$$

(157)

for some $\mathbf {b}\in \mathscr {A}$. Without loss of generality, we may take $\mathbf {b}$ to be self-adjoint (see [19, p. 33]). The space of positive elements in $\mathscr {A}$ is denoted by $\mathscr {A}_{+}$ and it is easy to see that it is a cone in $\mathscr {A}$.

Let $\mathscr {A}$ be a possibly infinite-dimensional, unital $C^{*}$-algebra, that is, a $C^{*}$-algebra with a multiplicative identity element denoted by $\mathbb {I}$. Let $\mathscr {A}^{*}$ be the topological dual of $\mathscr {A}$, that is, the space of complex-valued, continuous linear functions on $\mathscr {A}$. We denote by $\mathcal {T}$ the Banach space topology (norm topology) on $\mathscr {A}^{*}$ induced by the canonical norm

$$\begin{aligned} \left| \left| \omega \right| \right| :=\sup _{||\mathbf {a}||=1}\, |\omega (\mathbf {a})|. \end{aligned}$$

(158)

A linear functional $\omega \in \mathscr {A}^{*}$ is called self-adjoint if

$$\begin{aligned} \omega (\mathbf {a}^{\dagger })\,=\,\overline{\omega (\mathbf {a})} \end{aligned}$$

(159)

so that $\omega $ takes real values when evaluated on self-adjoint elements in $\mathscr {A}$. We denote by $\mathscr {A}^{*}_{+}$ be the cone of positive linear functionals on $\mathscr {A}$, that is, the set of all $\omega \in \mathscr {A}^{*}$ such that $\omega (\mathbf {a}^{\dagger }\,\mathbf {a})\ge 0$ for every $\mathbf {a}\in \mathscr {A}$. According to [19, p. 49], positive linear functionals are self-adjoint, and, given $\omega \in \mathscr {A}^{*}_{+}$, it holds $||\omega ||=\omega (\mathbb {I})$ where $\mathbb {I}$ is the identity of $\mathscr {A}$. We denote by $\mathscr {S}$ the space of states of $\mathscr {A}$, that is, the set of all $\omega \in \mathscr {A}^{*}_{+}$ such that $||\omega ||\,=\, 1$. A state $\omega \in \mathscr {S}$ is called faithful if $\omega (\mathbf {a})> 0$ for all $\mathbf {a} \in \mathscr {A}_+$. A state $\omega \in \mathscr {S}$ is called pure if, given $\xi \in \mathscr {A}^{*}_{+}$, then $(\omega - \xi )$ is in $\mathscr {A}^{*}_{+}$ only if $\xi =\lambda \omega $ with $0\le \lambda \le 1$. The set of pure states is denoted by $\mathscr {P}$, and, according to [19, p. 53], the space of states $\mathscr {S}$ is a convex, weak* compact convex subset of $\mathscr {A}^{*}$, and $\mathscr {P}$ is the set of extremal points of $\mathscr {S}$, that is, $\mathscr {S}$ is the weak* closure of the convex envelope of $\mathscr {P}$. Note that the weak* compactness of $\mathscr {S}$ depends on the fact that $\mathscr {A}$ has an identity element.

Given a positive linear functional $\omega \in \mathscr {A}^{*}_{+}$, it is always possible to build a triple $(\mathcal {H}_{\omega },\,\pi _{\omega },\,|\psi _{\omega }\rangle )$ where $\mathcal {H}_{\omega }$ is a possibly infinite-dimensional complex Hilbert space, $\pi _{\omega }$ is a *-representation of $\mathscr {A}$ in $\mathcal {B}(\mathcal {H}_{\omega })$, and $|\psi _{\omega }\rangle $ is a nonzero vector in $\mathcal {H}_{\omega }$ such that

$$\begin{aligned} \omega (\mathbf {a})\,=\,\langle \psi _{\omega }|\pi _{\omega }(\mathbf {a}) |\psi _{\omega }\rangle \end{aligned}$$

(160)

for all $\mathbf {a}\in \mathscr {A}$, and such that

$$\begin{aligned} H_{\omega }\,:=\,\left\{ |\psi \rangle \,\in \,\mathcal {H}_{\psi }\;:\;\;\;\exists \,\, \mathbf {a}\in \mathscr {A}\; \text{ such } \text{ that } \;|\psi \rangle \,=\,\pi _{\omega }(\mathbf {a})|\psi _{\omega }\rangle \right\} \, \end{aligned}$$

(161)

is a dense subset in $\mathcal {H}_{\omega }$. This construction is referred to as the GNS construction associated with $\omega $ (see [15, sec. II.6.4], [19, ch. 2.3] and [41, ch. 4.5] for more details). Note that the GNS construction associated with $\omega $ is unique up to unitary isomorphisms, and there is a one-to-one correspondence between positive linear functionals in $\mathscr {A}^{*}_{+}$ and the $*$-representations of $\mathscr {A}$ with a specified cyclic vector. Furthermore, the GNS representation $\pi _{\omega }$ is irreducible if and only if $\omega $ is a pure state (see [19, p. 57]) and two irreducible GNS representations $\pi _{\omega }$ and $\pi _{\rho }$ are unitarily equivalent if $||\omega -\rho ||<2$ (see [30, p. 551]).

A $W^{*}$-algebra $\mathscr {A}$ is a $C^{*}$-algebra which is the Banach dual of a Banach space $\mathscr {A}_{*}$ called the predual of $\mathscr {A}$. According to [52, p. 30], the predual $\mathscr {A}_{*}$ is unique up to isometric isomorphisms. We denote by $\langle \cdot ,\cdot \rangle $ the canonical pairing between $\mathscr {A}_{*}$ and $\mathscr {A}$, that is, the action of $\mathbf {a}\in \mathscr {A}$ on $\xi \in \mathscr {A}_{*}$ when the former is thought of as a continuous linear functional on $\mathscr {A}_{*}$, reads

$$\begin{aligned} \langle \xi ,\mathbf {a} \rangle = \mathbf {a}(\xi ). \end{aligned}$$

(162)

There is a natural immersion $\mathrm {i}$ of $\mathscr {A}_{*}$ into its double (topological) dual $\mathscr {A}^{*}$ given by $\xi \,\mapsto \;\mathrm {i}(\xi )$ with $\left( \mathrm {i}(\xi )\right) (\mathbf {a})\,=\,\langle \mathbf {a},\,\xi \rangle $, and, by the very definition of the weak* topology on $\mathscr {A}$, it is clear that a linear functional ${\widetilde{\xi }}$ in $\mathscr {A}^{*}$ is continuous with respect to the weak* topology on $\mathscr {A}$ if and only if there is an element $\xi \in \mathscr {A}_{*}$ such that $\mathrm {i}(\xi )={\widetilde{\xi }}$. Linear functionals of this type are called normal, and the set of normal states on $\mathscr {A}$ is denoted by $\mathscr {N}$. In the finite dimensional case, every $C^{*}$-algebra is a $W^{*}$-algebra, every linear functional $\xi \in \mathscr {A}^{*}$ is normal, and the immersion $\mathrm {i}$ is actually an isomorphism. This is no longer true in the infinite dimensional case.

Appendix B: Banach-Lie groups and homogeneous spaces

In this section we will assume familiarity with the notions of real, smooth Banach manifolds, smooth maps between (smooth) Banach manifolds, and Banach-Lie groups. As stated at the end of the introduction, the main references concerning the infinite-dimensional differential geometry of Banach manifolds and Banach-Lie groups are [1, 17, 21, 45, 55], however, we think it is useful to recall here some notions regarding Banach-Lie subgroups of Banach-Lie groups.

According to [55, p. 96 and p. 114], every closed subgroup K of a given Banach-Lie group G is a Banach-Lie group with respect to a unique Hausdorff topology in K such that the closed real subalgebra

$$\begin{aligned} \mathfrak {k}=\left\{ \mathbf {a}\in \mathfrak {g}\,:\exp (t\mathbf {a})\in K\;\forall t\in \mathbb {R}\right\} \, \end{aligned}$$

(163)

of the Lie algebra $\mathfrak {g}$ of G is the Lie algebra of K. In general, the Hausdorff topology on K does not coincide with the relative topology inherited from the norm topology of G. A subgroup K of a Banach-Lie group G which is also a Banach submanifold of G is called a Banach-Lie subgroup of G. In particular, a Banach-Lie subgroup K of G is closed, it is a Banach-Lie group with respect to the relative topology inherited from the topology of G, and its Lie algebra $\mathfrak {k}$ is given by Eq. (163) (see [55, p. 128]).

Note that, in the finite-dimensional case $\mathrm {dim}(G)<\infty $, it is always true that every closed subgroup of G is a Banach-Lie subgroup G.

An explicit characterization of Banach-Lie subgroups is given by the following proposition (see [55, p. 129]).

Proposition 15

A closed subgroup K of a Banach-Lie group G is a Banach-Lie subgroup if and only if the closed subalgebra $\mathfrak {k}$ given by Eq. (163) is a split subspace of the Lie algebra $\mathfrak {g}$ of G, and for every neighbourhood U of $\mathbf {0}\in \mathfrak {k}$, we have that $\exp (V)$ is a neighbourhood of the identity element in K.

The importance of Banach-Lie subgroups comes from the following theorem (see [17, p. 105] and [55, p. 136]).

Theorem 1

Let K be a Banach-Lie subgroup of the Banach-Lie group G with Lie algebra $\mathfrak {g}$. Then, the quotient space $M\equiv G/K$ carries the structure of an analytic Banach manifold such that the canonical projectio $\pi :G\longrightarrow M$ is an analytic submersion. Writing $[h] = hK\equiv m\in M$ with $h\in G$, we have that the Lie group G acts analytically on M by the left translation given $L(\mathrm {g},m):=[\mathrm {g}h] = g h K$. The kernel of the tangent map $T\pi _{e}:\mathfrak {g}\longrightarrow T_{\pi (e)}M$ at the identity element $e\in G$ coincides with the closed, split subalgebra $\mathfrak {k}$ of Eq. (163) so that $T_{\pi (e)}M\cong \mathfrak {g}/\mathfrak {k}$.

A smooth Banach manifold M which is diffeomorphic with G / K for some Banach-Lie group G with Banach-Lie subgroup K is called a homogeneous Banach manifold of G. In particular, let G be a Banach-Lie group acting on a set S by means of the left action $\alpha :G\times S\longrightarrow S$, let $\mathcal {O}$ be an orbit of G in S by means of $\alpha $, and let $s\in \mathcal {O}\subseteq S$. The isotropy subgroup of G at s is the set

$$\begin{aligned} G_{s}\,:=\,\left\{ \mathrm {g}\in G\,|\;\alpha (\mathrm {g},s)=s\right\} . \end{aligned}$$

(164)

Then, the map $i_{s}:G/G_{s}\rightarrow \mathcal {O}$ given by

$$\begin{aligned}{}[\mathrm {g}]\mapsto i_{s}([\mathrm {g}])=\alpha (\mathrm {g},s) \end{aligned}$$

(165)

defines a bijection from $G/G_{s}$ to $\mathcal {O}$ for every $s\in \mathcal {O}$. Consequently, if $G_{s}$ is a Banach-Lie subgroup of G, we may endow the orbit $\mathcal {O}$ containing s with the structure of Banach manifold according to Theorem 1 so that $\mathcal {O}$ becomes an homogeneous space of G for which the projection map $\tau _{s}:G\longrightarrow \mathcal {O}$, obtained composing the projection of G onto $G/G_{s}$ with the map $i_{s}$ introduced above, is a surjective submersion. Note that S is just a set and no structural properties on the action $\alpha $ are required. In particular, if G acts transitively on S, then S itself is an homogeneous Banach manifold of G.

Given a Banach manifold N, a useful tool for determining if a map $\psi :\mathcal {O}\rightarrow N$ is smooth is given by the following proposition provided we make the identifications $M=\mathcal {O}$, $K=G$ and $\phi =\tau _{s}$ for some $s\in \mathcal {O}$ (see [55, p. 125]).

Proposition 16

Let M, N, K be Banach manifolds, and consider the following commutative diagram:

Then, if $\phi $ is a surjective submersion and $\varphi $ is smooth, then $\psi $ is smooth. If $\varphi $ is also a submersion, then $\psi $ is also a submersion.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Cite this article

Ciaglia, F.M., Ibort, A., Jost, J. et al. Manifolds of classical probability distributions and quantum density operators in infinite dimensions. Info. Geo. 2, 231–271 (2019). https://doi.org/10.1007/s41884-019-00022-1

Download citation

Received: 12 June 2019
Revised: 10 September 2019
Published: 24 October 2019
Issue Date: December 2019
DOI: https://doi.org/10.1007/s41884-019-00022-1

Manifolds of classical probability distributions and quantum density operators in infinite dimensions

Abstract

Similar content being viewed by others

Quantum Statistical Manifolds: The Finite-Dimensional Case

Geometrical and Topological Properties of a Subspace Pf(X) of Probability Measures

Two Examples Related to Properties of Discrete Measures

1 Introduction

2 Positivity-preserving action of \(\mathscr {G}\)

Proposition 1

Proof

Proposition 2

Proof

Proposition 3

Proof

Proposition 4

Proof

2.1 Positive, trace-class operators

Proposition 5

Proof

Proposition 6

Proof

Proposition 7

Proof

2.2 Faithful, finite trace

3 State-preserving action of \(\mathscr {G}\)

Proposition 8

Proof

Remark 1

Proposition 9

Proof

Proposition 10

Proof

Proposition 11

Proof

Proposition 12

Proof

Proposition 13

Proof

3.1 Density operators

Proposition 14

3.2 Faithful, tracial state

4 Concluding remarks

Notes

References

Acknowledgements

Author information

Authors and Affiliations

Corresponding author

Ethics declarations

Conflict of interest

Additional information

Publisher's Note

Appendices

Appendix A: C*-algebras and states

Appendix B: Banach-Lie groups and homogeneous spaces

Proposition 15

Theorem 1

Proposition 16

Rights and permissions

About this article

Cite this article

Share this article

Keywords

Search

Navigation

Geometrical and Topological Properties of a Subspace P_f(X) of Probability Measures