MiS Preprint Repository

The manifold structure of subsets of classical probability distributions and quantum density operators in infinite dimensions is investigated in the context of $C^{\ast }$-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^{\ast }$-algebra $\mathcal{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}$.