Mathematik in den Naturwissenschaften Leipzig Manifolds of classical probability distributions and quantum density operators in infinite dimensions

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 A which is Abelian for Classical states, and non-Abelian for Quantum states. In this contribution, the space of states S of a possibly infinite-dimensional, unital C∗-algebra A is partitioned into the disjoint union of the orbits of an action of the group G of invertible elements of A . Then, we prove that the orbits through density operators on an infinite-dimensional, separable Hilbert space H are smooth, homogeneous Banach manifolds of G = GL(H), and, when A admits a faithful tracial state τ like it happens in the Classical case when we consider probability distributions with full support, we prove that the orbit through τ is a smooth, homogeneous Banach manifold for G .


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 µ of all probability measures on some measure space (X , Σ) that are mutually absolutely continuous with respect to a given probability measure µ on (X , Σ) by means of Orlicz spaces, and, in [29], the infinite-dimensional analogue of the α-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 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 µ characterized by some constraint relations, and the α-connections on it are studied. In [12], the uniqueness (up to rescaling) of the Fisher-Rao metric tensor on the Frechet manifold 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 hydrodynamicallike 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 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 infinitedimensional 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 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 S of (mathematical) states on a C * -algebra A , with the classical case characterized by the requirement that 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 H with dim(H) = N < ∞. According to the formalism of standard quantum mechanics, a (bounded) observable a and every linear functional on B(H) is of this form. Consequently, a quantum state may be identified with a so-called density operator on H, that is, a self-adjoint, positive semidefinite, linear operator ρ such that Tr(ρ) = 1. The set of all density operators on H is denoted by S (H), and it is a convex body in the affine hyperplane T 1 (H) of self-adjoint, linear operators with unit trace. The interior of S (H) in T 1 (H) is an open convex set made of invertible (full-rank) density operators and denoted by S N (H). Being an open set in the affine hyperplane T 1 (H), the set S N (H) admits a natural structure of smooth manifold modelled on T 1 (H), and this manifold structure makes S N (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 S ρ (H) of density operators commuting with a fixed ρ ∈ S and mutually-commuting with each other, the spectral theorem assures us that S ρ (H) may be identified with the N -dimensional simplex representing classical probability distributions on a finite sample space. The manifold structure on S N (H) is compatible with an action of the Lie group G (H) of invertible linear operators on S (H). Specifically, if g ∈ G (H) and ρ ∈ S N (H), we may define the map 1 an this map defines a smooth, transitive action of G (H) on S N (H). In particular, if we consider the subgroup U(H) of unitary operators, we obtain the co-adjoint action U ρ U † of U(H) the orbits of which are density operators with fixed eigenvalues. From this, it is clear that the manifold S N (H) carries also the structure of homogeneous space of the Lie group G (H), and it is precisely this feature that we aim to extend to the infinitedimensional setting.
The paper is structured as follows. In section 2, given a possibly infinite-dimensional, unital C * -algebra A , we will first define a linear action α of the Banach-Lie group G of invertible elements of A on the space A * sa of self-adjoint linear functionals on A that preserves the cone of positive linear functionals. In subsection 2.1, we will analyse the case where A is the algebra B(H) of bounded linear operators on a complex, separable Hilbert space H. Specifically, we will prove that, if is any positive trace-class operator on H to which it is associated a unique normal, positive linear functional on B(H), the orbit of G = GL(H) (bounded, invertible linear operators on H) through by means of the linear action α is a homogeneous Banach manifold of G . In subsection 2.2 we will prove that, if A admits a faithful, finite trace τ , the orbit through τ is a smooth, homogeneous Banach manifold of G .
The action α does not preserve the space of states S , and this leads us to present, in section 3, a "deformation" of α, denoted by Φ, which is an infinite-dimensional counterpart of the map given in equation (2) and which is a left action of G on the space S of states of A . We prove that an orbit of G through ρ ∈ S by means of Φ is a homogeneous Banach manifold of G if and only if the orbit of G through ρ by means of α is so. We exploit this fact in subsection 3.1 where we apply the theory to the case A = B(H) with H a complex, separable Hilbert space. In particular, we obtain that the space of normal states on B(H), which can be identified with the space of density operators on H, is partitioned into the disjoint union of homogeneous Banach manifolds of G and we provide an explicit characterization of all the orbits inside the space of normal states. Essentially, there are only four types of orbits labelled by the dimension and codimension of the range of the density operators belonging to a given orbit. In this context, when H is infinite-dimensional, the manifold N ⊥ 0 of faithful, normal states on B(H) is a homogeneous Banach manifold of G that may not be identified with a convex, open submanifold of the space of self-adjoint linear functionals on B(H) with unit trace as it happens in the finitedimensional case, and we see that the transition to the infinite-dimensional case requires the manifold structure to be associated with a not-necessarily-convex group action. In subsection 3.2 we consider the case where A admits a faithful, tracial state τ , and we obtain that the orbit through τ is a smooth, homogeneous Banach manifold for G . By considering a unital, Abelian W * -algebra A admitting a faithful, normal state, we give a brief comparison between our work and that of Pistone and Sempi in [50].
Some concluding remarks are presented in section 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 G Let A be a possibly infinite-dimensional, unital C * -algebra, that is, a C * -algebra with a multiplicative identity element denoted by I. The existence of an identity element I in A allows us to define the set G of invertible elements in A , that is, the set of all g ∈ A admitting an inverse g −1 ∈ A such that g g −1 = I. This is an open subset of A , and, when endowed with the multiplication operation of A , it becomes a real Banach-Lie group in the relative topology induced by the norm topology of A . The Lie algebra g of G can be identified with A which is itself a real Banach-Lie algebra (see [55, p. 96]). We may define also the subgroup of unitary elements u ∈ G as those invertible elements such that u * = u −1 . Then, denoting such subgroup by U , we get that U ⊂ G is a closed Banach-Lie subgroup.
The purpose of this paper is to show that some of the homogeneous spaces of the group G are actually subsets of the space of states S on A . Accordingly, even if 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 G . In order to do this, we will first consider an action α of G on the space A * sa of self-adjoint linear functionals on A . This action is linear, and preserves the positivity of self-adjoint linear functionals, and we show that the orbits inside the cone A * + of positive linear functionals are homogeneous Banach manifolds of G . However, the action α does not preserve the space of states S , and we need to suitably deform it in order to overcome this difficulty. The resulting action, denoted by Φ, is well-defined only on the space of states S , and we will prove that the orbits of Φ are homogeneous Banach manifolds of G .
We introduce a map α : Clearly, this map is linear in ξ and it is possible to prove that α is smooth with respect to the real Banach manifold structures of A × A * sa (endowed with the smooth structure which is the product of the smooth structures of A and A * sa ) and A * sa .
Proof. Given a, b ∈ A and ξ ∈ A * sa we define ξ ab ∈ A * sa to be Then, we consider the map P : A direct computation shows that F is a bounded multilinear map and that α(a, ξ) = F (a, ξ ; a, ξ ; a, ξ) , which means that α is a continuous polynomial map between A × A * sa and A * sa , hence, it is smooth with respect to the real Banach manifold structures of A × A * sa and A * sa (see [21, p. 63]).
Since G is an open submanifold of A , the canonical immersion i G : G −→ A given by i G (g) = g is smooth. Consequently, we may define the map where id 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 α is a (smooth) left action of G on A * sa . We are interested in the orbits of α, in particular, we are interested in the orbits passing through positive linear functionals. It is possible to prove the following proposition. Proposition 2. Let α be the action of G on A * , then we have 1. if A is a W * -algebra, then α preserves the space (A * ) sa of self-adjoint, normal linear functionals; 2. α preserves the set of positive linear functionals; 3. if ω is a faithful, positive linear functional, then so is α(g, ω) for every g ∈ 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 ξ is a continuous linear functional which is also continuous with respect to the weak* topology on A generated by its topological predual A * . Equivalently, for every normal linear functional ξ ∈ A * there is an element ξ ∈ A * such that ξ = i * * ( ξ) where i * * is the canonical inclusion of A * in its double dual A * . Then, for every b ∈ A , the maps are continuous with respect to the weak* topology on A generated by its topological predual A * , and it it is immediate to check that the linear functional α(g, ξ) : A → C may be written as which means that α(g, ξ) is weak* continuous.
Let O sa ⊂ A * sa be an orbit of G by means of α. Considering ξ ∈ O sa and the coset space G /G ξ , where G ξ is the isotropy subgroup of ξ with respect to α, the map i α ξ : G /G ξ → O sa given by provides a set-theoretical bijection between the coset space G /G ξ and the orbit O sa for every ξ ∈ O sa ⊂ A * sa . According to the results recalled in appendix B, this means that we may dress the orbit O sa with the structure of homogeneous Banach manifold of G whenever the isotropy subgroup G ξ is a Banach-Lie subgroup of G . Specifically, it is the quotient space G /G ξ that is endowed with the structure of homogeneous Banach manifold, and this structure may be "transported" to O sa in view of the bijection i α ξ between G /G ξ and O sa .
In general, the fact that G ξ is a Banach-Lie subgroup of G depends on both ξ and A . However, we will now see that G ξ is an algebraic subgroup of G for every ξ and every unital C * -algebra A . According to [55, p. 117], a subgroup K of G is called algebraic of order n if there is a family Q of Banach-space-valued continuous polynomials on A × A with degree at most n such that Proposition 3. The isotropy subgroup G ξ of ξ ∈ A * sa is an algebraic subgroup of G of order 2 for every ξ ∈ A * sa .
Proof. Define the family Q ξ = {p ξ,c } c∈A of complex-valued polynomials of order 2 as follows: The continuity of every p ξ,c follows easily from the fact that ξ is a norm-continuous linear functional on A . A moment of reflection shows that and thus G ξ is an algebraic subgroup of G of order 2 for all ξ ∈ A * sa .
Being an algebraic subgroup of G , the isotropy subgroup G ξ is a closed subgroup of G which is also a real Banach-Lie group in the relativised norm topology, and its Lie algebra g ξ ⊂ g is given by the closed subalgebra (see [35, p. 667], and [55, p. 118]) According to proposition 13, the isotropy subgroup G ξ is a Banach-Lie subgroup of G if and only if the Lie algebra g ξ of G ξ is a split subspace of g = A and exp(V ) is a neighbourhood of the identity element in G ξ for every neighbourhood V of 0 ∈ g ξ (see [55, p. 129] for an explicit proof). The fact that exp(V ) is a neighbourhood of the identity element in G ξ for every neighbourhood V of 0 ∈ g ξ follows from the fact that G ξ is an algebraic subgroup of G (see [35, p. 667]). Next, if a ∈ g = A , we have that is a smooth curve in G for all t ∈ R. Consequently, we have the smooth curve ξ t in A * given by for all t ∈ R and for all b ∈ A . Therefore, we may compute for every b ∈ A , from which it follows that a is in the Lie algebra g ξ of the isotropy group G ξ if and only if for every b ∈ A . In particular, note that the identity operator I never belongs to g ξ . When dim(A ) = N < ∞, the Lie algbera g ξ is a split subspace for every ξ ∈ A * sa , and thus every orbit of G in A * sa by means of α is a homogeneous Banach manifold of G . Clearly, when A is infinite-dimensional, this is no-longer true, and a case by case analysis is required. For instance, in subsection 2.1, we will show that g ξ is a split subspace of g = A when A is the algebra B(H) of bounded linear operators on a complex, separable Hilbert space H, and ξ is any normal, positive linear functional on B(H) (positive, traceclass linear operator on H). This means that all the orbits of G = GL(H) passing through normal, positive linear functionals are homogeneous Banach manifolds of G , and we will classify these orbits into four different types. Furthermore, in subsection 2.2, we will prove that g ξ is a split subspace of g = A whenever ξ is a faithful, finite trace on A . Now, suppose ξ is such that g ξ is a split subspace of A , that is, the isotropy subgroup G ξ is a Banach-Lie subgroup of G . In this case, the orbit O sa containing ξ is endowed with a Banach manifold structure such that the map τ α ξ : G → O sa given by is a smooth surjective submersion for every ξ ∈ O sa . Moreover, G acts transitively and smoothly on O sa , and the tangent space T ξ O sa at ξ ∈ O sa is diffeomorphic to g/g ξ (see [17, p. 105] and [55, p. 136]). Note that this smooth differential structure on O sa is unique up to smooth diffeomorphism. The canonical immersion i sa : O sa −→ A * sa given by i sa (ξ) = ξ for every ξ ∈ 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 ξ be such that the isotropy subgroup G ξ is a Banach-Lie subgroup of G , let O sa be the orbit containing ξ endowed with the smooth structure coming from G , and consider the map l a : O sa −→ R, with a a self-adjoint element in A , given by Then: Proof.
1. We will exploit proposition 14 in appendix B in order to prove the smoothness of the immersion i sa . Specifically, we consider the map where α is the action of G on A * sa defined by equation (7), and note that, quite trivially, it holds Consequently, being τ α ξ a smooth submersion for every ξ ∈ O, proposition 14 in appendix B implies that the immersion i sa is smooth if α α ξ is smooth. Clearly, α ξ is smooth because α is a smooth action according to proposition 1 and the discussion below.
2. Regarding the second point, it suffices to note that l a is the composition of the linear (and thus smooth) map L a : A * sa −→ R given by with the canonical immersion i sa : O sa −→ A * sa which is smooth because of what has been proved above.
3. Now, consider the family {l a } a∈A of smooth functions on the orbit O sa , and suppose that V ξ and W ξ are tangent vectors at ξ ∈ O sa such that and Note that the family of linear functions of the type L a with a ∈ A sa (see equation (24)) are enough to separate the tangent vectors at ξ for every ξ ∈ A * sa because the tangent space at ξ ∈ A * sa is diffeomorphic with A * sa in such a way that for every V ξ ∈ T ξ A * sa ∼ = A * sa , and A sa (the predual of A * sa ) separates the points of A * sa (see [42]). Consequently, since T ξ i sa (V ξ ) and T ξ i sa (W ξ ) are tangent vectors at i sa (ξ) ∈ A * sa and the functions L a with a ∈ A sa are enough to separate them and we conclude that the validity of equation (25) for all a ∈ A sa is equivalent to Then, if g t = exp(ta) is a one-parameter subgroup in G so that is a smooth curve in O starting at ξ with associated tangent vector V ξ , we have which we may compute in analogy with equation (18) obtaining Comparing equation (32) with equation (19) we conclude that V ξ and W ξ satisfy equation (29) if and only if they coincide, and thus T ξ i sa is injective for all ξ ∈ O sa .
It is important to note that the topology underlying the differential structure on the orbit O sa containing ξ comes from the topology of G in the sense that the open sets of the orbit are precisely the images through τ α ξ , for some (and hence any) ξ ∈ O sa , of the open sets in G . In principle, this topology on O sa has nothing to do with the topology of O sa when thought of as a subset of A * sa endowed with the relativised norm topology, or with the relativised weak* topology. However, from proposition 4, it follows that the map l a : O sa −→ R is continuous for every a ∈ A sa , and we may conclude that the topology underlying the homogeneous Banach manifold structure on O sa is stronger than the relativised weak* topology coming from A * sa . In general, the action α does not preserve the space of states S on A . At this purpose, in section 3, we provide a modification of α that allows us to overcome this situation.

Positive, trace-class operators
Let H be a complex, separable Hilbert space and denote by A the W * -algebra B(H) of bounded, linear operators on H. The predual of A may be identified with the space T (H) of trace-class linear operators on H (see [54, p. 61]). In particular, a normal, self-adjoint linear functional ξ on A may be identified with a self-adjoint, trace-class operator ξ on H, and the duality relation may be expressed by means of the trace operation for all a ∈ A = B(H). Furthermore, it is known that A = B(H) may be identified with the double dual of the C * -algebra K(H) of compact, linear operators on H in such a way that the linear functionals on K(H) are identified with the normal linear functionals on A (see [54, p. 64]). Now, we will study the orbits of the action α of the group G of invertible elements in A on the normal, positive linear functionals on A . The group G is the Banach-Lie group GL(H) of invertible, bounded linear operators on the complex, separable Hilbert space H, and its action α on a self-adjoint, normal linear functional ξ reads Equivalently, we may say that α transform the element ξ in the predual (A * ) sa = (T (H)) sa of A sa in the element ξ g given by 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 = 0 on H, there is a decomposition and a countable orthonormal basis {|e j , |f j } adapted to this decomposition such that can be written as with dim(H ) > 0 and p j > 0 for all j ∈ [1, ..., dim(H )]. In general, we have four different situations: and we set The subscripts here denote either the dimension of the space on which operates, or its codimension when the symbol ⊥ is used. Clearly, when dim(H) < ∞, we have (P * ) N = ∅ for all N > dim(H), and (P * ) ⊥ M = (P * ) ⊥ 0 = (P * ) ∞ = ∅. The advantage of working with a separable Hilbert space is that every bounded linear operator a ∈ B(H) = A may be looked at as an infinite matrix whose matrix elements a jk are given by where {|e j } is an orthonormal basis in H. Clearly, the matrix describing a depends on the choice of the orthonormal basis. However, once this choice is made, we may translate the algebraic operations in B(H) = A , like the sum, the multiplication, and the involution, in the language of matrix algebras (see [3, p. 48]). In particular, if = 0 is a positive, trace-class linear operator, we may choose a countable orthonormal basis {|e j , |f j } adapted to the spectral decomposition of so that the matrix associated with is diagonal. On the other hand, the matrix expression A of a ∈ A = B(H) with respect to the countable orthonormal basis {|e j , |f j } adapted to the spectral decomposition of reads where A 1 may be thought of as a bounded linear operator sending H in itself, A 2 may be thought of as a bounded linear operator sending H ⊥ in H , A 3 may be thought of as a bounded linear operator sending H in H ⊥ , and A 4 may be thought of as a bounded linear operator sending H ⊥ in itself.

Proposition 5.
Let H be a complex, separable Hilbert space, let be a positive, traceclass linear operator on H, and denote by {|e k , |f l } the orthonormal basis of H adapted to the spectral decomposition of (see equations (36) and (37)). Then, the Lie algebra g of the isotropy subgroup G of with respect to the action α in equations (34) and (35) is given by Proof. Recall that an element a ∈ g = A = B(H) is in the Lie algebra g of the isotropy subgroup G of if and only if (se equation (19)) Using the matrix expressions of , a, and b, a direct computation shows that equation (42) poses no constraints on the factor A 2 in the matrix expression of a, or, equivalenty, we have that Then, since b in equation (42) is (42) becomes Clearly, we may do this for every k ∈ [1, ..., dim(H )] and for every l ∈ [1, ..., dim(H ⊥ )], which means that if a is in the isotropy algebra g , then A 3 = 0. Similarly, if we fix k ∈ [1, ..., dim(H )] and l ∈ [1, ..., dim(H ⊥ ) and take b = |f l e k |, equation (42) becomes which is equivalent to the previous equation. Then, if we fix k ∈ [1, ..., dim(H ⊥ ) and take b = |f k f l |, we immediately see that equation (42) poses no constraints on a. Putted differently, if a is in g , then the factor A 4 in the matrix expression of a is arbitrary. Next, in order to characterize the matrix elements of a ∈ g with respect to the basis elements in the subspace H , we need to exploit the arbitrariness of b in equation (42) "twice": we first have to consider b = x e kl |e k e l | (for all k, l ∈ [1, ..., dim(H )]), and then we have The coefficients x e kl and y e kl are numerical coefficients depending on a ∈ g that we now proceed to define. First of all, we note that every a ∈ A may be written as the sum of two self-adjoint elements in A , say x and y, as follows a = x + ı y, and we set x e lk = e l |x|e k , y e lk = e l |y|e k .
Note that, since x and y are self-adjoint, it holds x e kl = x e lk , y e kl = y e lk .
Next, we take b = x e kl |e k e l | for fixed k, l ∈ [1, ..., dim(H )], so that equation (42) becomes Clearly, if p l = p k , equation (49) implies x e lk = 0 while y e lk is arbitrary, and since k, l ∈ [1, ..., dim(H )] are arbitrary, this holds for every k, l ∈ [1, ..., dim(H )] such that p l = p k . Recalling that ıy is the anti-self-adjoint part of a, we have that When p k = p l , equation (49) requires y e lk x e kl to be purely immaginary, that is y e lk x e kl = ı γ lk (51) for some γ lk ∈ R, and we will see that γ lk must vanish. At this purpose, b = y e kl |e k e l | for fixed k, l ∈ [1, ..., dim(H )], so that equation (42) becomes If p l = p k , we already know that x e lk = 0, and thus equation (52) is automatically satisfied. On the other hand, when p k = p l , equation (52) requires y e kl x e lk to be purely immaginary, that is y e kl x e lk = ı λ kl (53) for some λ kl ∈ R. Consequently, we have (49) and (52) require λ kl and γ kl to be both nonnegative, and this is in contrast with equation (54) unless we take λ kl = γ lk = 0 which is equivalent to x e lk = y e lk = 0 once we take into account again equations (49) and (52). Similarly, if (p l − p k ) < 0, equations (49) and (52) require λ kl and γ kl to be both nonpositive, and this is in contrast with equation (54) unless we take λ kl = γ lk = 0 which is equivalent to x e lk = y e lk = 0 once we take into account again equations (49) and (52).
The characterization of g given in proposition 5 may be aesthetically unpleasant, but it allows to find immediately an algebraic complement for g in it is clear that g ∩ k = {0}. Furthermore, since an arbitrary c ∈ g = A = B(H) is uniquely determined by its matrix elements with respect to the orthonormal basis {|e k , |f l } of H adapted to the spectral decomposition of (see equations (36) and (37)), a direct computation shows that algebraically. Then, according to proposition 13, we have that the orbit of G passing through inherits a Banach manifold structure from G /G whenever k is closed in g = A = B(H). The closedness of k in g = A = B(H) is the content of the next proposition.
Proof. Let {b n } n∈N be a sequence in k norm-converging to b ∈ g = A = B(H). The proof of this proposition reduces to a routine check of the matrix elements of b with respect to the orthonormal basis {|e k , |f l } of H adapted to the spectral decomposition of in order to show that they satisfy all the conditions in equation (55).
for all |ψ , |φ ∈ H. In particular, if we take |ψ = |f k and |φ = |f l , with arbitrary k, l ∈ [1, ..., dim(H ⊥ )], we have  Eventually, if we take |ψ = |e k and |φ = |e l , with k, l ∈ [1, ..., dim(H )] such that p k = p l , we have that (F e k e l ) n converges to the complex number F e k e l = e k |b|e l .
Now, since in C the complex conjugate of the limit is equal to the limit of the complex conjugate, we have which means e k |b|e l = e l |b|e k .
Comparing equations (60), (61), (62), (63), and (66) with the characterization of elements in k as given in equation (55), it follows that b is in k , and thus k is closed in g = A = B(H).
From this it follows that, for every positive, trace-class linear operator on H, the orbit O + containing (see equations (34) and (35)) is a homogeneous Banach manifold for the group G = GL(H) of bounded, invertible linear operators on H. We decided to denote by O + the orbit containing in order to emphasize the fact that elements in O are normal, positive linear functionals. Indeed, the proofs of the propositions 5 and 6 depend crucially on the positivity of .
We will now characterize the orbits of G through normal, positive linear functionals, in particular, we will now show that the action of G is transitive on the subsets (P * ) N , (P * ) ⊥ M , (P * ) ⊥ 0 , and (P * ) ∞ defined in equation (38). Consequently, the space P * of normal positive linear functionals (without the null-functional) on A = B(H) is partitioned into the disjoint union and each term in this disjoint union is a smooth Banach manifold which is also a homogeneous space of G . Let 0 = 0 and 1 = 0 be both either in (P * ) N , or in (P * ) ⊥ M , or in (P * ) ⊥ 0 , or in (P * ) ∞ , and let {|e 0 j , |f 0 j } and {|e 1 j , |f 1 j } be the orthonormal basis adapted to the decompositions H = H 0 ⊕ H ⊥ 0 and H = H 1 ⊕ H ⊥ 1 so that we may write Note that because this (possibly finite) series is the product of two convergent series with strictly positive elements. Consider the following linear operator g given by . Note that, in order for g to be well-defined, we must necessarily have either both 0 and 1 in (P * ) N , or both in (P * ) ⊥ M , or both in (P * ) ⊥ 0 , or both in (P * ) ∞ . Then, given a vector by the very definition of g we have that and this sum is actually finite because From this it follows that g is bounded, which means it is in A = B(H). Furthermore, it is immediate to check that is the inverse operator for g, and that and thus g is actually in G . Eventually, by direct inspection we see that Since 0 and 1 are arbitrary, as long as they are both in (P * ) N , or both in (P * ) ⊥ M , or both in (P * ) ⊥ 0 , or both in (P * ) ∞ , we conclude that α n is transitive on (P * ) N , on (P * ) ⊥ M , on (P * ) ⊥ 0 and on (P * ) ∞ as claimed.
The last step we want to take is to write down a tangent vector V at ∈ O + , where O + may be any of the orbits in equation (67). At this purpose, we consider the canonical immersion i + : O + −→ A * sa , and we recall equation (32), from which it follows that where a is an arbitrary element in A = B(H). Clearly, different choices of a may lead to the same T i + (V ). Then, writing a = x + ıy with x, a ∈ A sa , we have with {·, ·} and [·, ·] the anticommutator and the commutator in B(H), respectively.

Faithful, finite trace
Let A be a unital C * -algebra with a faithful, finite trace τ , that is, τ is a faithful, positive linear functional on A such that In particular, if A is Abelian, then every faithful, positive linear functional is a faithful, finite trace.
We will prove that the orbit O τ + of G through τ by means of the linear action α (see equation (7)) is a homogeneous Banach manifold of G . At this purpose, the characterization of an element a in the Lie algebra of the isotropy group G τ given in equation (19) reads because τ is a trace, and we see that the skew-adjoint part of a is completely arbitrary. Then, we recall that τ induces an inner product , τ on A given by 2 Consequently, the completion of A with respect to , τ is a Hilbert space in which A is a dense subspace and thus the validity of equation (81) implies This means that the Lie algebra g τ of G τ coincides with the space of skew-adjoint elements in g ∼ = A , and this subspace is a closed and complemented subspace of g ∼ = A whose complement is the space of self-adjoint elements in g ∼ = A . From this we conclude that the orbit O τ + of G through τ by means of the linear action α is a homogeneous Banach manifold of G .
It is immediate to check that there is a bijection between O τ + and the set of positive, invertible elements in A , that is, elements of the form g g † with g ∈ G . If A is finitedimensional, then O τ coincides with the whole space of faithful, positive linear functionals.

State-preserving action of G
In this section, we will see how to "deform" the action of G in such a way that it preserves the space of states S . Indeed, we recall that S is a subset of the space of positive linear functionals A * sa characterized by the condition for every ρ in S , and thus, if ρ is in S , we have (α(g, ρ))(I) = ρ(g † g) which is in general different from 1. To overcome this difficulty, we have to deform the action α. The result is a map Φ which is not defined for all elements in A * sa as it is the case for α, but only on the cone of positive linear functionals. Furthermore, this map Φ becomes a left action of G only if we restrict it to act on the space of states S , and, since S does not posses the structure of Banach manifold as a whole, we can not speak of a smooth action of G on 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 Φ on S may still be ebdowed with the structure of smooth homogeneous Banach manifolds of G depending on the behaviour of the isotropy subgroup.
Clearly, this map is well-defined only if the the term ρ(g † g) in the denominator does not vainish. This is the content of the following proposition.
Proposition 7. Let ρ be a state on the unital C * -algebra A , then ρ(g † g) > 0 (88) for every element g in the group G of invertible elements in A .
Proof. Let (H ρ , π ρ , |ψ ρ ) be the data of the GNS construction associated with ρ so that The polar decomposition of π ρ (g) allows us to write where U is a unitary operator and P = π ρ (g) † π ρ (g) = π ρ (g † g) is a non-negative Hermitean operator. Then, and because g is invertible, we have that π ρ (g † g) is invertible, which implies that π ρ (g † g) > 0 and thus Direct inspection shows that Φ is a left action of G on S , and that the restriction of the map Φ to U × S will define the standard action of the unitary group U on the space of states S : (Φ g (ρ)) (a) := ρ(g † a g). Furthermore, given a convex combination λ 1 ρ 1 + λ 2 ρ 2 of states on A , we may have which means that the left action Φ of G does not preserve the convex structure of S (while that of 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 Φ 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 A instead of the set 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 Φ in complete analogy with what has been done for the action α in section 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 α and the action Φ, namely, α is a smooth action on a smooth Banach manifold, while Φ 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 Φ.
We denote by O an orbit of G in S by means of Φ. Some preliminary characterizations of O are proved in the following. • if A is a W * -algebra and ρ is a normal state, then Φ(g, ρ) ∈ S is also normal; • the state Φ(g, ρ) ∈ S is a faithful state for every g ∈ G if and only if ρ ∈ S is faithful; • the state Φ(g, ρ) ∈ S is a pure state for every g ∈ G if and only if ρ ∈ S is pure, and if A is Abelian, then G acts trivially on pure states by means of Φ; • if ρ is a tracial state 3 , then the orbit O containing ρ is convex; in particular, every orbit O is convex for all ρ ∈ S when A is Abelian.
Proof. Concerning the first point, a normal state ρ is an element of S which is also continuous with respect to the weak* topology on A generated by its topological predual A * . Recall that, for every b ∈ A , the maps are continuous with respect to the weak* topology on A generated by its topological predual A * . Furthermore, given any normal state ρ and any invertible element g ∈ G , we may define the positive real number Now, let α : R + × C → C be the continuous 4 left action of the multiplicative group R + of positive real numbers on C given by It is immediate to check that the normalized positive linear functional Φ(g, ρ) : A → C may be written as where α c (z) = α(c, z), and thus Φ(g, ρ) is weak* continuous. The second point follows by direct inspection. Concerning the third point, let (H ρ , π ρ , |ψ ρ ) be the GNS data associated with a pure state ρ. Then, it is a matter of direct computation to show that (H γ , π γ , |ψ γ ), where H γ = H ρ , π γ = π ρ and is the data of the GNS construction associated with γ = Φ(g, ρ). Since ρ is pure, we have that π ρ = π γ is irreducible which means that γ is pure, and we conclude that the orbit O containing the pure state ρ is made up only of pure states. A direct consequence is that the the action of 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 ρ is irreducible, then [15, p. 102] implies that the GNS Hilbert space H ρ is one-dimensional since A is commutative. Consequently, the GNS representation π ρ sends every element in the identity operator on H ρ and we conclude that the orbit O containing ρ is just the singleton {ρ}. As we will see, this is in sharp contrast with what happens in the non-commutative case.
Regarding the last point, we start taking λ ∈ [0, 1], a tracial state ρ, two elements g 1 , g 2 ∈ G , and writing Then, for every a ∈ A , we have ρ λ 12 (a) = λ ρ(g † 1 a g 1 ) ρ(g † 1 g 1 ) where we have set P λρ 12 and P ρ 2 := . (101) The elements P ρ 1 := and P ρ 2 are both positive, invertible elements in A , and we have that the set of positive, invertible elements (strictly positive elements) in A is an open cone (see [54, p. 11]), so that P λρ 12 is still a positive, invertible element. Being a positive element, P λρ 12 admits a (self-adjoint) square root, say p λρ 12 , and this square-root element is also invertible, i.e., p λρ 12 ∈ G . Consequently, noting that we obtain for all a ∈ A . This is equivalent to which means that the orbit O containing ρ is convex as claimed. In particular, every orbit O is convex when A is Abelian because all states are tracial.
Let O ⊂ S be an orbit of G by means of Φ. Considering ρ ∈ O and the coset space of ρ with respect to Φ, the map i Φ ρ : G /G ρ → O given by provides a set-theoretical bijection between the coset space G /G ρ and the orbit O for every ρ ∈ S . According to the results recalled in appendix B, this means that we may dress the orbit O with the structure of homogeneous Banach manifold of G whenever the isotropy subgroup G ρ is a Banach-Lie subgroup of G . Specifically, it is the quotient space G /G ρ that is endowed with the structure of homogeneous Banach manifold, and this structure may be "transported" to O in view of the bijection i Φ ρ between G /G ρ and O. As it happens for the action α defined in section 2, in general, the fact that G ρ is a Banach-Lie subgroup of G depends on both ρ and A . However, G ρ is always an algebraic subgroup of G for every ρ ∈ S and every unital C * -algebra A (see the discussion above proposition 3 for the definition and the properties of algebraic subgroups of a Banach-Lie group).
Proposition 9. The isotropy subgroup G ρ of ρ ∈ S is an algebraic subgroup of G of order 2 for every ρ ∈ 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 ρ = {p ρ,c } c∈A of complex-valued polynomials of order 2 as follows: The continuity of every p ρ,c follows easily from the fact that ρ is a norm-continuous linear functional on A . A moment of reflection shows that and thus G ρ is an algebraic subgroup of G of order 2 for all ρ ∈ S .
Being an algebraic subgroup of G , the isotropy subgroup G ρ is a closed subgroup of G which is also a real Banach-Lie group in the relativised norm topology, and its Lie algebra g ρ ⊂ g = A is given by the closed subalgebra (see [35, p. 667], and [55, p. 118]) According to proposition 13, the isotropy subgroup G ρ of G is a Banach-Lie subgroup of G if and only if the Lie algebra g ρ of G ρ is a split subspace of g = A and exp(V ) is a neighbourhood of the identity element in G ρ for every neighbourhood V of 0 ∈ g ρ (see [55, p. 129] for an explicit proof). The fact that exp(V ) is a neighbourhood of the identity element in G ρ for every neighbourhood V of 0 ∈ g ρ follows from the fact that G ρ is an algebraic subgroup of G (see [35, p. 667]). Next, we may characterize g ρ as we did in section 2 by considering a ∈ g = A , the smooth curve in G given by g t = exp(ta) for all t ∈ R, the curve ρ t in S given by for all t ∈ R and for all b ∈ A , and computing d dt for every b ∈ A , from which it follows that a is in the Lie algebra g ρ of the isotropy group G ρ if and only if for every b ∈ A . Incidentally, note that the last term in equation (113) gives the covariance between b and a evaluated at the state ρ whenever a is self-adjoint. Something related has also been pointed out in [20, eqn. 34], and we postpone to a future work a more thorough analysis of the connection between the action of G on S and the existence of contravariant tensor fields associated with the covariance between observables (in the C * -algebraic sense). When dim(A ) = N < ∞, the Lie algbera g ρ is a split subspace for ever ρ ∈ S , and thus every orbit of G in S by means of Φ is a homogeneous Banach manifold of G . Clearly, when A is infinite-dimensional, this is no-longer true, and a case by case analysis is required. For instance, in subsection 3.1, we will show that g ρ is a split subspace of g = A when A is the algebra B(H) of bounded linear operators on a complex, separable Hilbert space H, and ρ is any normal state on B(H) (positive, trace-class linear operator on H with unit trace). This means that all the orbits of G = GL(H) passing through normal states are homogeneous Banach manifolds of G , and we will classify these orbits into four different types.
Actually, the results of subsection 3.1 naturally follows from the results of subsection 2.1 because, as we will now show, there is an intimate connection between the action α of G on ρ when the latter is thought of as an element of A * sa , and the action Φ of G on ρ when the latter is thought of as an element of S . Indeed, from equations (7) and (87), we easily obtain that if g is in the isotropy group G α ρ of ρ with respect to the action α, then g is also in the isotropy group G ρ of ρ with respect to Φ, while the converse is not necessarily true. Furthermore, if g is in G α ρ , then e γ g is in G ρ for every γ ∈ R, and it turns out that this is the most general expression for an element in G ρ . This is make precise in the following proposition where we show that the Lie algebra g ρ of G ρ is just the direct sum of the Lie algebra g α ρ with the one-dimensional subspace determined by the linear combinations of multiples of the identity with real coefficients.
Proposition 10. The Lie algebra g ρ of the isotropy group G ρ of ρ with respect to Φ may be written as where g α ρ is the Lie algebra of the isotropy group G α ρ of ρ with respect to the action α introduced in section 2, and span R {I} is the real, linear subspace spanned by the identity operator in G = A with real coefficients.
Proof. It is a matter of direct inspection to see that if a is in g α ρ (see equation (19)), then a + γI is in g ρ for every γ ∈ R.
On the other hand, since span R {I} is one-dimensional, it is complemented in g ρ , and we may characterize its complement as follows. First, we take the continuous, real linear functional F on span R {I} given by and extend it to the whole g ρ . The extension of F is highly non-unique, and we may take it to be the functional F ρ given by Indeed, F ρ is a real, continuous linear functional on g ρ because (ρ + ρ † ) is a continuous linear functional on the real Banach-Lie algebra g = A of which g ρ is a closed, real subalgebra, and clearly F ρ (γI) = F (γI) because ρ is a state. Then, we have a bounded projection P from g ρ to span R {I} given by and we may write This allows us to define the complement of span R {I} in g ρ as the closed linear subspace c ρ given by the image of Id gρ − P . Equivalently, an element b ∈ c ρ may be written as with a ∈ g ρ . All that is left to do is to show that b ∈ c ρ is actually in g α ρ . At this purpose, recalling equation (19), we have because a is in g ρ (see equation (114)).
From proposition 10 it follows that G ρ is a Banach-Lie subgroup of G if and only if G α ρ is a Banach-Lie subgroup of G . Consequently, the orbit of G through ρ by means of α is a homogeneous Banach manifold of G if and only if the orbit of G through ρ by means of Φ is a homogeneous Banach manifold of G .
Proposition 11. The Lie algebra g ρ is a split subspace of g = A if and only if the Lie algebra g α ρ is so.
Proof. According to proposition 10 we may write Consequently, if g ρ is complemented in g = A , we have and thus the closed linear subspace k ρ ⊕ span R {I} provides a closed complement for g α ρ . On the other hand, if g α ρ is complemented in g = A , and we may write Then, recall that γI with γ ∈ R is in g α ρ if and only if γ = 0 (see equation (19)), therefore, the closed one-dimensional subspace span R {I} is a closed linear subspace of k α ρ , and it is complemented in k α ρ because it is finite-dimensional. Denoting by c ρ the complement of span R {I} in k α ρ , we have that from which it follows that g ρ is complemented in g = A .
Now, suppose ρ is such that g ρ is a split subspace of A , that is, the isotropy subgroup G ρ is a Banach-Lie subgroup of G . In this case, the orbit O containing ρ is endowed with a Banach manifold structure such that the map τ Φ ρ : G → O given by is a smooth surjective submersion for every ρ ∈ O. Moreover, G acts transitively and smoothly on O, and the tangent space T ρ O at ρ ∈ O is diffeomorphic to g/g ρ (see [17, p. 105] and [55, p. 136]). Note that this smooth differential structure on O is unique up to smooth diffeomorphism. Now, we will prove a proposition very similar to proposition 4 in section 2.

Proposition 12.
Let ρ be such that the isotropy subgroup G ρ is a Banach-Lie subgroup of G , let O be the orbit containing ρ endowed with the smooth structure coming from G , and consider the map l a : O −→ R, with a a self-adjoint element in A , given by l a (ρ) := ρ(a). Then: 1. the canonical immersion map i : O −→ A * sa is smooth; 2. the map l a : O −→ R is smooth; 3. the tangent map T ρ i at ρ ∈ O is injective for all ρ in the orbit.

Proof.
1. We will exploit proposition 14 in appendix B in order to prove the smoothness of the canonical immersion. Specifically, we consider the map and note that, quite trivially, it holds Consequently, being τ Φ ρ a smooth submersion for every ρ ∈ S , proposition 14 implies that i is smooth if Φ ρ is smooth. At this purpose, given a, b ∈ A and ξ ∈ A * sa , we define ξ ab ∈ A * sa to be the map φ : A × A * sa → R × A * sa given by φ(a, ξ) := (ξ a a (I), ξ a a ), and the map P : , ρ ; b, σ ; c, τ ) := 1 3 (ξ bc (I) + ζ ca (I) + ϑ ab (I)) , 1 3 (ξ bc + ζ ca + ϑ ab ) . (132) A direct computation shows that F is a bounded multilinear map and that φ(a, ξ) = F (a, ξ ; a, ξ ; a, ξ) , which means that φ is a continuous polynomial map between A × A * sa and R × A * sa , hence, it is smooth with respect to the Banach manifold structures of A × A * sa and R × A * sa (see [21, p. 63]). Then, we note that G is an open Banach submanifold of A (see [55, p. 96]), and thus the map is a smooth map for every ξ ∈ A * sa so that φ • I ξ is a smooth map between G and R × A * sa for every ξ ∈ A * sa . In particular, I ρ is smooth for every ρ ∈ S , and its image is in the open submanifold R 0 × A * sa of R × A * sa . Therefore, considering the smooth map β : it follows that β • φ • I ρ is a smooth map between G and A * sa for every ρ ∈ S , and a direct computation shows that From this it follows that Φ ρ is smooth which means that the canonical immersion i : O ⊂ S −→ A * sa is smooth because of proposition 14. 2. It suffices to note that l a is the composition of the linear (and thus smooth) map L a : A * sa −→ R given by L a (ξ) = ξ(a) with the canonical immersion i which is smooth because of what has been proved above.
3. Now, consider the family {l a } a∈A of smooth functions on the orbit O, and suppose that V ρ and W ρ are tangent vectors at ρ ∈ O such that for every a ∈ A sa . Then, since l a = L a • i, we have and Note that the family of linear functions of the type L a with a ∈ A sa (see equation (24)) are enough to separate the tangent vectors at ξ for every ξ ∈ A * sa because the tangent space at ξ ∈ A * sa is diffeomorphic with A * sa in such a way that for every V ξ ∈ T ξ A * sa ∼ = A * sa , and A sa (the predual of A * sa ) separates the points of A * sa (see [42]). Consequently, since T ρ i(V ρ ) and T ρ i(W ρ ) are tangent vectors at i(ρ) ∈ A * sa and the functions L a with a ∈ A sa are enough to separate them and we conclude that the validity of equation (138) for all a ∈ A sa is equivalent to Then, if g t = exp(ta) is a one-parameter subgroup in G so that is a smooth curve in O starting at ρ with associated tangent vector V ρ , we have which we may compute analogously to equation (113) to obtain Comparing equation (145) with equation (113) we conclude that V ρ and W ρ satisfy equation (29) if and only if they coincide, and thus T ρ i is injective for all ρ ∈ O.
It is important to note that the topology underlying the differential structure on O comes from the topology of G in the sense that the sense that the open sets of O are precisely the images through τ Φ ρ , for some (and hence any) ρ ∈ O, of the open sets in G . In principle, this topology on O has nothing to do with the topology of O when thought of as a subset of S endowed with the relativised norm topology, or with the relativised weak* topology. However, from proposition 12, it follows that the map l a : O −→ R is continuous for every a ∈ A sa . Therefore, we may conclude that the topology underlying the homogeneous Banach manifold structure on O is stronger than the relativised weak* topology coming from A * sa .

Density operators
Similarly to what is done in subsection 2.1, we consider a complex, separable Hilbert space H and denote by A the W * -algebra B(H) of bounded, linear operators on H. A normal state ρ of A may be identified with a density operator on H, that is, a trace-class, positive semidefinite operator ρ with unit trace, and the duality relation may be expressed by means of the trace operation for all a ∈ A = B(H).
We will study the orbits of the group G of invertible, bounded linear operators in A on the space N of normal states on A . The analysis will be very similar to the one presented in subsection 2.1.
According to the spectral theory for compact operators (see [51, ch. VII]), given a density operator ρ on H, there is a decomposition H = H ρ ⊕ H ⊥ ρ and a countable orthonormal basis {|e j , |f j } adapted to this decomposition such that ρ can be written as with p j > 0 and dim(Hρ) j=1 p j = 1. In general, we have four different situations: and we set The subscript here denotes either the dimension of the space on which ρ operates, or its codimension when the symbol ⊥ is used. Clearly, when dim(H) < ∞, we have N N = ∅ for all N > dim(H), and N ⊥ M = N ⊥ 0 = N ∞ = ∅. Proceeding in exactly the same way as we did in subsection 2.1, we may prove that the action Φ of G is transitive on N N , on N ⊥ M , on N ⊥ 0 and on N ∞ . Consequently, the space N of normal states on A = B(H) is partitioned into the disjoint union Propositions 10, 11, and 6 imply that the isotropy subgroup G ρ of ρ with respect to Φ is a Banach-Lie subgroup of G = GL(H). Therefore, each term in the disjoint union above is a smooth Banach manifold which is also a homogeneous space of G . Now, we want to take is to write down a tangent vector V ρ at ρ ∈ O, where O may be any of the orbits in equation (149). At this purpose, we consider the canonical immersion i : O −→ A * sa , and we recall equation (145), from which it follows that where a is an arbitrary element in A = B(H). Clearly, different choices of a may lead to the same T ρ i(V ρ ). Then, writing a = x + ıy with x, a ∈ A sa , we have with {·, ·} and [·, ·] the anticommutator and the commutator in B(H), respectively.

Faithful, tracial state
Similarly to what is done in 2.2, we consider A to be a unital C * -algebra with a faithful, tracial state τ , that is, τ is a faithful, state on A such that In particular, if A is Abelian, then every faithful, state is a faithful, tracial state. The result of subsection 2.2 and proposition 11 allow us to conclude that the orbit O τ of G through τ by means of Φ (see equation (87)) is a homogeneous Banach manifold of G . Furthermore, it is immediate to check that there is a bijection between O τ and the set of positive, invertible elements in A with unit trace, that is, elements of the form g g † τ (g g † ) with g ∈ G . If A is finite-dimensional, then O τ coincides with the whole space of faithful, tracial states, and, if A is finite-dimensional and Abelian (i.e., A ∼ = C n for some n ∈ N), strictly positive function in A = L ∞ (X , ν) integrating to 1 with respect to ν. Therefore, the set is a homogeneous Banach manifold of the Banach-Lie group G of invertible elements in L ∞ (X , ν). In the work [50], Pistone and Sempi use appropriate Orlicz spaces to give a Banach manifold structure to the space of all probability measures on (X , Σ) that are mutually absolutely continuous with respect to a fixed probability measure on (X , Σ), and have a Radon-Nikodym derivative which is a strictly positive function integrable with respect to the reference measure. If the reference measure is taken to be ν, the work of Pistone and Sempi provides a Banach manifold structure modelled on appropriate Orlicz space to the set Clearly, since L ∞ (X , ν) ⊆ L 1 (X , ν), we have the set-theoretical inclusion M ν ⊆ M ν . However, the Banach manifold structure we give to M ν naturally carries a smooth action of the Banach-Lie group G which seems to be missing on M ν . A more thorough comparison of our approach with that of Pistone and Sempi requires a careful analysis and will be done elsewhere.

Concluding remarks
In this work, we presented a preliminary analysis concerning two possible actions of the Banach-Lie group G of invertible elements in a unital C * -algebra A on the continuous, self-adjoint linear functionals in A * sa . Specifically, we analysed a linear action α of G on A * sa which is smooth and preserves the positivity and the normality of the linear functionals on which it acts. In the case where A is the algebra B(H) of bounded linear operators on a complex, separable Hilbert space H, we were able to prove that all the orbits passing through normal, positive linear functionals (positive trace-class operators on H) are smooth, homogeneous Banach manifolds of G = GL(H) with respect to the action α. Furthermore, we classified all these orbits into four different types labelled by the dimension and the codimension of the range of the positive trace-class operators belonging to a given type of orbit. If A admits a faithful, finite trace τ , then we proved that the orbit through τ is a smooth, homogeneous Banach manifold of G .
The action α does not preserve the space of states S on A . Consequently, we provided a sort of deformation of α, denoted by Φ, which allows us to overcome this problem. However, Φ turns out to be an action of G which is well-defined only on the space of states S , and, in general, it does not preserve the convex structure of S . The subgroup of unitary elements in G is the maximal subgroup such that the restriction of Φ preserves convexity. Since S lacks a differential structure as a whole, it is meaningless to speak of the smoothness of Φ, nevertheless, an orbit O of Φ may still inherit the structure of smooth homogeneous Banach manifold if the isotropy subgroup of an element (and thus of every element) in O is a Banach-Lie subgroup of G . At this purpose, we analysed the case where A = B(H) mentioned before, and we proved that the orbits through normal states (density operators on H) are indeed smooth homogeneous Banach manifolds for G = GL(H) with respect to the action Φ. Similarly to what we obtained for the action α in the case of normal positive functionals on A = B(H), we classified all the Φ-orbits of G through normal states into four different types labelled by the dimension and the codimension of the range of the density operators belonging to a given type of orbit. Furthermore, if A admits a faithful, tracial state τ , then we proved that the orbit of G through τ by means of Φ is a smooth, homogeneous Banach manifold of G . In particular, if A is finite-dimensional, the orbit through τ coincides with the space of faithful states on A , while, if A is finite-dimensional and Abelian, the orbit through τ may be identified with the open interior of the finite-dimensional simplex. Note that points in the orbit through τ need not be tracial state when A is non-Abelian, e.g., when A = B(H) with dim(H) < ∞ and τ the maximally mixed state.
In the finite-dimensional case when A = B(H) with dim(H) < ∞, 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, the smooth homogeoneous structure of the space of (normal) faitfhul states survives, and thus, the orbit N ⊥ 0 introduced in subsection 3.1 presents itself as a suitable background arena for the extensions of information-geometrical methods to infinite dimensions.
However, 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 infinitedimensional 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 α or Φ) is a smooth homogeneous Banach manifold for 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 structure introduced on the manifold N ⊥ 0 of faithful density operators in section 3.1, 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 A determined by the isotropy subgroup of the state ρ "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.

A C*-algebras and states
Let (A , +, || · ||, ·) 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 for every a 1 and a 2 in A . Suppose that there is a linear anti-isomorphism † on A , called involution, such that (a † ) † = a and: for every a 1 and a 2 in A . If the pentuple (A , +, || · ||, ·, †) satisfies the compatibility condition between the norm, the multiplication and the involution given by for every a in A , then (A , +, || · ||, ·, †) is called C * -algebra. In the following, we will avoid the notation (A , +, || · ||, ·, †) to denote a C * -algebra, and will simply write A because, hopefully, all the operations will be clear from the context. An element a ∈ A is called self-adjoint if a = a † , and we denote by A sa the space of self-adjoint elements in A . An element a ∈ A is called positive if it can be written as for some b ∈ A . Without loss of generality, we may take b to be self-adjoint (see [19, p. 33]). The space of positive elements in A is denoted by A + and it is easy to see that it is a cone in A . Let A be a possibly infinite-dimensional, unital C * -algebra, that is, a C * -algebra with a multiplicative identity element denoted by I. Let A * be the topological dual of A , that is, the space of complex-valued, continuous linear functions on A . We denote by T the Banach space topology (norm topology) on A * induced by the canonical norm so that ω takes real values when evaluated on self-adjoint elements in A . We denote by A * + be the cone of positive linear functionals on A , that is, the set of all ω ∈ A * such that ω(a † a) ≥ 0 for every a ∈ A . According to [19, p. 49], positive linear functionals are self-adjoint, and, given ω ∈ A * + , it holds ||ω|| = ω(I) where I is the identity of A . We denote by S the space of states of A , that is, the set of all ω ∈ A * + such that ||ω|| = 1. A state ω ∈ S is called faithful if ω(a) > 0 for all a ∈ A + . A state ω ∈ S is called pure if, given ξ ∈ A * + , then (ω − ξ) is in A * + only if ξ = λω with 0 ≤ λ ≤ 1. The set of pure states is denoted by P, and, according to [19, p. 53], the space of states S is a convex, weak* compact convex subset of A * , and P is the set of extremal points of S , that is, S is the weak* closure of the convex envelope of P. Note that the weak* compactness of S depends on the fact that A has an identity element.
Given a positive linear functional ω ∈ A * + , it is always possible to build a triple (H ω , π ω , |ψ ω ) where H ω is a possibly infinite-dimensional complex Hilbert space, π ω is a *-representation of A in B(H ω ), and |ψ ω is a nonzero vector in H ω such that ω(a) = ψ ω |π ω (a)|ψ ω for all a ∈ A , and such that H ω := {|ψ ∈ H ψ : ∃ a ∈ A such that |ψ = π ω (a)|ψ ω } is a dense subset in H ω . This construction is referred to as the GNS construction associated with ω (see [15,  . Note that the GNS construction associated with ω is unique up to unitary isomorphisms, and there is a one-to-one correspondence between positive linear functionals in A * + and the *representations of A with a specified cyclic vector. Furthermore, the GNS representation π ω is irreducible if and only if ω is a pure state (see [19, p. 57]) and two irreducible GNS representations π ω and π ρ are unitarily equivalent if ||ω − ρ|| < 2 (see [30, p. 551

]).
A W * -algebra A is a C * -algebra which is the Banach dual of a Banach space A * called the predual of A . According to [52, p. 30], the predual A * is unique up to isometric isomorphisms. We denote by ·, · the canonical pairing between A * and A , that is, the action of a ∈ A on ξ ∈ A * when the former is thought of as a continuous linear functional on A * , reads ξ, a = a(ξ).
There is a natural immersion i of A * into its double (topological) dual A * given by ξ → i(ξ) with (i(ξ)) (a) = a, ξ , and, by the very definition of the weak* topology on A , it is clear that a linear functional ξ in A * is continuous with respect to the weak* topology on A if and only if there is an element ξ ∈ A * such that i(ξ) = ξ. Linear functionals of this type are called normal, and the set of normal states on A is denoted by N . In the finite dimensional case, every C * -algebra is a W * -algebra, every linear functional ξ ∈ A * is normal, and the immersion i is actually an isomorphism. This is no longer true in the infinite dimensional case.

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 infinitedimensional 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 k = {a ∈ g : exp(ta) ∈ K ∀t ∈ R} (171) of the Lie algebra 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 k is given by equation (171) (see [55, p. 128]).

Remark 2.
In the finite-dimensional case dim(G) < ∞, 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 13. A closed subgroup K of a Banach-Lie group G is a Banach-Lie subgroup if and only if the closed subalgebra k given by equation (171) is a split subspace of the Lie algebra g of G, and for every neighbourhood U of 0 ∈ 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 g. Then, the quotient space M ≡ G/K carries the structure of an analytic Banach manifold such that the canonical projectio π : G −→ M is an analytic submersion. Writing [h] = hK ≡ m ∈ M with h ∈ G, we have that the Lie group G acts analytically on M by the left translation given L(g, m) := [gh] = ghK. The kernel of the tangent map T π e : g −→ T π(e) M at the identity element e ∈ G coincides with the closed, split subalgebra k of equation (171) so that T π(e) M ∼ = g/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 α : G × S −→ S, let O be an orbit of G in S by means of α, and let s ∈ O ⊆ S. The isotropy subgroup of G at s is the set Then, the map i s : G/G s → O given by Then, if φ is a surjective submersion and ϕ is smooth, then ψ is smooth. If ϕ is also a submersion, then ψ is also a submersion.