Differential Geometric Aspects of Parametric Estimation Theory for States on Finite-Dimensional C^∗-Algebras

Abstract

A geometrical formulation of estimation theory for finite-dimensional $C^{\ast }$-algebras is presented. This formulation allows to deal with the classical and quantum case in a single, unifying mathematical framework. The derivation of the Cramer–Rao and Helstrom bounds for parametric statistical models with discrete and finite outcome spaces is presented.

1. Introduction

The purpose of this work is to present the formulation of estimation theory in the framework of $C^{\ast }$-algebras, with particular attention to differential geometric aspects. Although estimation theory is a well-developed subject both in the classical case of probability distributions [1,2,3,4] and the quantum case of density operators [5,6,7,8,9,10,11,12], and even if quantum estimation theory builds upon classical estimation theory, there is no unifying picture for these subjects. By unifying picture, we mean a mathematical framework in which estimation theory is placed in such a way that the classical and quantum cases appear as particular instances of the general theory. We believe that such a formulation may be helpful in obtaining a better understanding of the similarities and differences of classical and quantum estimation theory. This idea may be considered as the driving force of this work.

Roughly speaking, the main problem estimation theory tries to address is to infer the value of some parameters characterizing the state of the “physical system” under investigation by the theoretical manipulation of the outcomes of experiments performed on such system.

In the classical case, the state of the system is described by a probability distribution on the space of outcomes of the experiment, and the goal of estimation theory is to infer the value of some parameters characterizing the true probability distribution describing the system (e.g., the mean and/or variance for the case of Gaussian distributions) from the outcomes of the experiment. As such, estimation theory is well developed both in its asymptotic and non-asymptotic regimes. Arguably, one little black spot of the theory is that the parameter spaces characterizing the probability distributions under study are usually taken to be homeomorphic to open subsets of some finite-dimensional Euclidean space. Even if this assumption is justified in most of the models, it necessarily introduces some simplifications related with the “nice” structure of the parameter spaces as smooth manifolds. As an example, the existence of global coordinates often lead to the definition of objects that are coordinate-dependent (see, for instance, in ([3] ch. 4), where it is clearly stated that the notion of unbiased estimator developed there is coordinate-dependent). We believe it is healthy to formulate the theory in order to avoid these issues and better comprehend the coordinate-independent aspects of the theory. This geometric attitude already proved itself useful in classical Newtonian, Lagrangian, and Hamiltonian mechanics [13,14,15,16,17,18], in thermodynamics and statistical physics [19,20,21,22], and in quantum mechanics [23,24,25,26]. Clearly, there already have been efforts to formulate classical estimation theory in this direction [27,28,29,30], and here we try to encapsulate the spirit of these works in our formulation of estimation theory on $C^{\ast }$-algebras.

On the other hand, in the quantum case, the state of the system is no longer a probability distribution, it is a density operator on the Hilbert space associated with the system. This adds, at the same time, complexity and richness to the problem of estimation. A first layer of added complexity refers to the need of a statistical interpretation of a given quantum state. Since the dawn of quantum mechanics, the issue of the physical interpretation of Schrödinger’s wavefunction was recognized to be a fundamental question. The idea of interpreting the square modulus of the wavefunction as a probability distribution paved the way to the statistical interpretation of quantum states through what is now called the Born rule [31]. Essentially, the Born rule describes a “procedure” to associate a probability distribution on a suitable outcome space with a given quantum state. Clearly, this depends on both the quantum state and the choice of the outcome space, and this means that there is more than one way to associated probability distributions with quantum states. From the mathematical point of view, the choice of the statistical interpretation is described by a positive operator-valued measure (POVM) on the Hilbert space of the system [10,32]. Accordingly, in order to set up the estimation problem for a given parametric model of quantum states, we need to operate a preliminary choice concerning the POVM “inducing” the statistical interpretation. Of course, this choice influences the estimation problem we set up, and different choices in general lead to different solutions of the associated estimation problem. All this obviously adds a layer of complexity to the estimation problem, but, simultaneously, it opens new possibilities to outperform classical limits of estimation because of the peculiar features of quantum states (e.g., entanglement). Indeed, in the quantum case it is possible to give a precise mathematical meaning to the assertion “measuring one copy N times is less informative than measuring N copies one single time” [12,33,34,35,36]. This assertion relies on the phenomenon of entanglement which is absent in the classical realm, and thus highlights an important difference between the classical and quantum estimation theory.

As mentioned before, the goal of this article is to introduce a theoretical framework that allows us to treat the classical and quantum case simultaneously. Specifically, our choice is to consider the theory of $C^{\ast }$-algebras as the backbone of our construction because both probability distributions and quantum states may be realized as linear functionals on suitable $C^{\ast }$-algebras. In the case of probability distributions, this is basically the duality between probability measures and functions given by the Riesz theorem. For quantum states, this comes directly from the axiomatic structure of the theory. The main difference between the two cases is that the algebras involved are commutative in the former case and non-commutative in the latter. In this general framework, probability distributions and quantum states represent different realizations of the notion of state on a $C^{\ast }$-algebra $\mathcal{A}$. The space of states $\mathcal{S}$ is a convex subset of the dual space of $\mathcal{A}$, and the study of its differential geometry is a fascinating subject. The rich algebraic structure of $C^{\ast }$-algebras translates into a rich geometrical structure for their spaces of states that is perfectly suited for the formulation of parametric estimation theory.

The use of $C^{\ast }$-algebras as a theoretical framework to study the geometry of quantum states is not new [37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56]. However, the focus was essentially always on the algebra of bounded linear operators on the Hilbert space of the quantum system, and not on a generic $C^{\ast }$-algebra. While this restriction may seem not particularly relevant for most practical purposes, it is certainly so from the theoretical point of view. Indeed, some recent developments [57,58,59,60,61,62] point out the possibility of describing quantum systems whose associated $C^{\ast }$-algebras are groupoid algebras, and thus are in principle more general than the algebra of bounded linear operators. Consequently, a reformulation of the well-known results for an arbitrary $C^{\ast }$-algebra appears to be useful.

On the other hand, in the classical case, the explicit use of $C^{\ast }$-algebras to investigate the geometry of probability distributions is essentially absent. To the best of our knowledge, the only (very nice) exceptions are the works in [63,64,65]. However, the point of view of these works is different from ours because they consider probability distributions as particular elements of a $C^{\ast }$-algebras, while we consider them as particular linear functionals.

Another reason why we believe it would be useful to consider the framework of $C^{\ast }$-algebras is that the space of states of a $C^{\ast }$-algebra is an example of space of states of general probabilistic theories [66,67]. Therefore, the study of the differential geometry of the space of states of $C^{\ast }$-algebras, and in particular the study of parametric estimation theory in this context, represents a first step toward the study of these subjects in the more comprehensive framework of general probabilistic theories. This intermediate step may be useful because states on $C^{\ast }$-algebras benefit from the rich algebraic structure of the algebras they act upon, while states in general probabilistic theories do not necessarily have such a rich algebraic background to rely on. Consequently, a first study of the richer case may lead to results that can be later generalized to the less rich case once an appropriate and judicious process of extrapolation is pursued.

We confine ourselves to the case of finite-dimensional $C^{\ast }$-algebras because, at this preliminary stage, we want to avoid the technical difficulties with which the infinite-dimensional case is filled. Indeed, we are now interested in exposing the basic aspects of the theory in order to have a solid background on which future works can rely on. In the infinite-dimensional case, the technical difficulties would often obscure the conceptual aspects, and this unavoidably leads to be less communicative. Moreover, it is even not yet clear what are the geometrical players on the fields when infinite dimensions are considered because there is no general consensus on which are the most appropriate manifolds of states to consider in this case (see the works in [4,23,68,69,70,71,72,73,74,75,76,77,78] for some examples).

Incidentally, the restriction to the finite-dimensional case seems to affect more the classical case, rather than the quantum case. Indeed, classical estimation theory essentially deals with parametric models of probability distributions on spaces which are neither discrete nor finite (think for instance to normal distributions), and these cases are naturally associated with infinite-dimensional $C^{\ast }$-algebras. The case of parametric models of probability distributions on discrete and finite spaces is usually less studied because it seldom presents itself in applications. In the context of quantum information theory, the situation is quite the opposite, and the vast majority of the models considered refer to quantum system with a finite-dimensional Hilbert space, and thus with an associated finite-dimensional $C^{\ast }$-algebra. The infinite-dimensional case usually deals only with pure-state models for which the underlying manifold of states is rather friendly, being the Hilbert manifold of a complex projective space associated with a separable, complex Hilbert space.

The content of this work builds on well-known and established results in the context of both classical and quantum estimation theory. However, the presentation of these results in the unifying framework of $C^{\ast }$-algebras is essentially new, as are the proofs of some results. We believe that this attitude may be particularly useful in future research dealing with the infinite-dimensional case and in dealing with the comparison of classical and quantum methods. Accordingly, this work should be considered more as a first, preliminary step in a research program aimed at the understanding of the unification of classical and quantum estimation theory rather than an exposition of a finite theory, and the focus of the work is more on the discussion of general structures rather than on the presentation of specific examples.

The article is structured as follows. In Section 2, some differential geometric aspects of finite-dimensional $C^{\ast }$-algebras and of their spaces of states are recalled. In Section 3, the notion of parametric model of states on a $C^{\ast }$-algebra $\mathcal{A}$ is introduced and the notion of Symmetric Logarithmic Derivative used in quantum information theory is generalized to the $C^{\ast }$-algebraic setting. In Section 4, the notion of parametric statistical model associated with a given parametric model of states is introduced. This notion represents the bridge between the models of states on a possibly noncommutative $C^{\ast }$-algebra and the models of probability distributions used in classical estimation theory. Moreover, the notion of multiple round model and its geometrical properties are briefly discussed. In Section 5, the problem of estimation theory is formulated in the $C^{\ast }$-algebraic framework and the notion of manifold-valued estimator is recalled. In Section 6, a proof of the Cramer–Rao bound for manifold-valued estimators on finite outcome spaces is given following the work of Hendriks [29]. Finally, in Section 7, the generalization of the Helstrom bound used in quantum information theory to the $C^{\ast }$-algebraic framework is given.

2. Differential Geometric Aspects of the Space of States

We start with a brief summary of $C^{\ast }$-algebras [79,80,81,82]. Let A be a complex algebra with identity $\mathbb{I}$. If there is an anti-linear map $†:A\to A$ such that ${\left({\mathbf{a}}^{†}\right)}^{†}=\mathbf{a}$ for all $\mathbf{a}\in A$, and such that ${\left(\mathbf{ab}\right)}^{†}={\mathbf{b}}^{†}{\mathbf{a}}^{†}$ for all $\mathbf{a},\mathbf{b}\in A$, then † is called an involution and $(A,†)$ an involutive algebra. If there is a norm $\parallel ·\parallel$ on A turning it into a Banach space satisfying the additional relations $\parallel \mathbf{ab}\parallel \le \parallel \mathbf{a}\parallel \parallel \mathbf{b}\parallel$ and $\parallel \mathbf{a}{\mathbf{a}}^{†}{\parallel \le \parallel \mathbf{a}\parallel }^2$ for all $\mathbf{a},\mathbf{b}\in A$, then $(A,†,\parallel ·\parallel )$ is called a $C^{\ast }$-algebra, and, for the sake of notational simplicity, it will be denoted simply by $\mathcal{A}$.

An element $\mathbf{a}\in \mathcal{A}$ is called self-adjoint if $\mathbf{a}={\mathbf{a}}^{†}$. The space of self-adjoint elements in $\mathcal{A}$ is denoted as ${\mathcal{A}}_{sa}$. It is a real Banach space whose dual space is denoted as $\mathcal{V}$, and there is a direct sum decomposition

$$\mathcal{A}={\mathcal{A}}_{sa}\oplus ı{\mathcal{A}}_{sa},$$

(1)

where ı is the imaginary unit.

An element $\mathbf{b}\in \mathcal{A}$ is called positive if there exists $\mathbf{a}\in \mathcal{A}$ such that $\mathbf{b}={\mathbf{a}}^{†}\mathbf{a}$. Clearly, a positive element $\mathbf{b}$ is self-adjoint, and it can be proved that there is a unique self-adjoint element $\mathbf{s}$ such that $\mathbf{b}={\mathbf{s}}^2$.

An element $\mathrm{g}\in \mathcal{A}$ is called invertible if there is another element written as ${\mathrm{g}}^{-1}$ such that $\mathrm{g}{\mathrm{g}}^{-1}={\mathrm{g}}^{-1}\mathrm{g}=\mathbb{I}$. The set of invertible elements in $\mathcal{A}$ is denoted as $\mathcal{G}$, and it is a real Banach–Lie group; the Banach–Lie algebra of which is $\mathcal{A}$ endowed with the commutator [83,84]. An element $\mathbf{u}\in \mathcal{G}$ is called unitary if ${\mathbf{u}}^{-1}={\mathbf{u}}^{†}$. The set of unitary elements in $\mathcal{A}$ is denoted as $\mathcal{U}$ and it is a real Banach–Lie subgroup of $\mathcal{G}$, called the unitary group of $\mathcal{A}$, whose Banach–Lie algebra is the subspace $ı{\mathcal{A}}_{sa}$ in the decomposition (1) endowed with the commutator inherited from $\mathcal{A}$ [83,84].

Let ${\mathcal{A}}^{\ast }$ be the complex Banach dual of $\mathcal{A}$. An element $\xi \in {\mathcal{A}}^{\ast }$ is called a self-adjoint linear functional if $\xi \left({\mathbf{a}}^{†}\right)=\overline{\xi \left(\mathbf{a}\right)}$. The set of self-adjoint linear functionals is precisely the real Banach dual $\mathcal{V}$ of ${\mathcal{A}}_{sa}$. A self-adjoint linear functional $\omega$ is called positive if $\omega \left(\mathbf{a}\right)\ge 0$ for every positive element $\mathbf{a}\in \mathcal{A}$. A positive element $\omega$ is called faithful if $\omega \left(\mathbf{a}\right)=0$ implies $\mathbf{a}=\mathbf{0}$ for all positive elements in $\mathcal{A}$. The set of positive elements is denoted as $\mathcal{P}$. A positive linear functional $\rho$ is called a state if $\rho \left(\mathbb{I}\right)=1$. The set of states is denoted as $\mathcal{S}$.

In the following, we will focus only on finite-dimensional $C^{\ast }$-algebras. Given a self-adjoint element $\mathbf{a}\in {\mathcal{A}}_{sa}$, we write $f_{\mathbf{a}}$ for the linear function on $\mathcal{V}$ given by

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

(2)

as well as for its restrictions to the various submanifolds of $\mathcal{V}$ we will introduce below (with an evident abuse of notation).

There is a group action of $\mathcal{G}$ on $\mathcal{S}$ given by [41,68]

$${\rho }_{\mathrm{g}}:{\rho }_{\mathrm{g}}\left(\mathbf{c}\right)=\frac{\rho \left({\mathrm{g}}^{†}\mathbf{c}\mathrm{g}\right)}{\rho \left({\mathrm{g}}^{†}\mathrm{g}\right)}\equiv \mathrm{\Phi }(\mathrm{g},\rho )\forall \mathbf{c}\in \mathcal{A},$$

(3)

and the space of states $\mathcal{S}$ decomposes into the disjoint union of orbits of the $\mathcal{G}$-action, and evidently, each such orbit is a homogeneous space.

Recalling that $\mathcal{A}$ endowed with the commutator is the Lie algebra of $\mathcal{G}$, the fundamental vector fields of $\mathrm{\Phi }$ are labelled by elements of $\mathcal{A}$. Recalling (1), we write an element in $\mathcal{A}$ as $\mathbf{a}+ı\mathbf{b}$ where $\mathbf{a},\mathbf{b}\in {\mathcal{A}}_{sa}$, and ı is the imaginary unit. Accordingly, we write ${\Gamma }_{\mathbf{ab}}$ for the fundamental vector field associated with $\frac{1}{2}\left(\mathbf{a}+ı\mathbf{b}\right)$. A direct computation shows that the tangent vector ${\Gamma }_{\mathbf{ab}}\left(\rho \right)$, identified with a self-adjoint linear functional in $\mathcal{V}$ because the orbit $\mathcal{O}$ is an immersed submanifold of $\mathcal{V}$, is given by

$$\left({\Gamma }_{\mathbf{ab}}{f}_{\mathbf{c}}\right)\left(\rho \right)=\left({\Gamma }_{\mathbf{ab}}\left(\rho \right)\right)\left(\mathbf{c}\right)=\rho \left(\{\mathbf{a},\mathbf{c}\}\right)-\rho \left(\mathbf{a}\right)\rho \left(\mathbf{c}\right)+\rho \left(\left[[\mathbf{b},\mathbf{c}]\right]\right)\forall \mathbf{c}\in \mathcal{A},$$

(4)

where $\{,\}$ and $\left[\right[,\left]\right]$ denote, respectively, the Jordan product and the Lie product in $\mathcal{A}$ given by

$$\begin{array}{cc}\hfill \{\mathbf{c},\mathbf{d}\}& :=\frac{1}{2}\left(\mathbf{cd}+\mathbf{dc}\right)\hfill \\ \hfill \left[\right[\mathbf{c},\mathbf{d}\left]\right]& :=\frac{1}{2ı}\left(\mathbf{cd}-\mathbf{dc}\right).\hfill \end{array}$$

(5)

Note that $\{,\}$ and $\left[\right[,\left]\right]$ preserve ${\mathcal{A}}_{sa}$, and actually turn it into a Jordan–Lie algebra [85,86].

We set

$$\begin{array}{cc}\hfill {\mathbb{Y}}_{\mathbf{a}}& :={\Gamma }_{\mathbf{a}\mathbf{0}}\hfill \\ \hfill {\mathbb{X}}_{\mathbf{b}}& :={\Gamma }_{\mathbf{0}\mathbf{b}},\hfill \end{array}$$

(6)

and we call ${\mathbb{Y}}_{\mathbf{a}}$ a gradient vector field (the origin of the name will be explained below) and ${\mathbb{X}}_{\mathbf{b}}$ a Hamiltonian vector field. It is not hard to show that the Hamiltonian vector fields give an anti-representation of the Lie algebra of the group $\mathcal{U}\subset \mathcal{G}$ of unitary element of $\mathcal{G}$ [41,68]. This Lie algebra anti-representation integrates to a left action of $\mathcal{U}$ on $\mathcal{O}$ given by the restriction of $\mathrm{\Phi }$ to $\mathcal{U}$.

If we fix a basis ${\left\{{\mathbf{e}}^j\right\}}_{j=1,...,N}$ of self-adjoint elements in $\mathcal{A}$ (where $\dim \left(\mathcal{A}\right)=N$), we may introduce the structure constants $d_l^{jk}$ and $c_l^{jk}$ of the Jordan and Lie products in Equation (5) by setting

$$\begin{array}{cc}\hfill \{{\mathbf{e}}^j,{\mathbf{e}}^k\}& =d_l^{jk}{\mathbf{e}}^l\hfill \\ \hfill \left[\right[{\mathbf{e}}^j,{\mathbf{e}}^k\left]\right]& :=c_l^{jk}{\mathbf{e}}^l.\hfill \end{array}$$

(7)

Then, the gradient and Hamiltonian vector fields are easily seen to be given by

$$\begin{array}{cc}\hfill {\mathbb{Y}}_{\mathbf{a}}& =\left(d_l^{jk}{a}_k{x}^l-f_{\mathbf{a}}{x}^j\right)\frac{\partial }{\partial x^j}\hfill \\ \hfill {\mathbb{X}}_{\mathbf{b}}& :=c_l^{jk}{b}_k{x}^l\frac{\partial }{\partial x^j},\hfill \end{array}$$

(8)

where ${\left\{x^j\right\}}_{j=1,...,N}$ is the Cartesian coordinate system on $\mathcal{V}$ associated with the dual basis ${\left\{{\mathbf{e}}_j\right\}}_{j=1,...,N}$ of ${\left\{{\mathbf{e}}^j\right\}}_{j=1,...,N}$.

Example 1

(The probability simplex). If we endow $C\left({\mathcal{X}}_n\right)$ with the involution given by complex conjugation, and with the supremum norm, it is not hard to prove that it is a $C^{\ast }$-algebra. We denote this $C^{\ast }$-algebra as ${\mathcal{C}}_n$. Let ${\mathbf{e}}^j\in {\mathcal{C}}_n$ be the “delta function” at ${\mathbf{x}}_j\in {\mathcal{X}}_n$ (i.e., ${\mathbf{e}}^j\left({\mathbf{x}}_k\right)={\delta }_k^j$), then ${\left\{{\mathbf{e}}^j\right\}}_{j=1,..,n}$ is clearly a basis for ${\mathcal{C}}_n$ (seen as a vector space) made up of positive, self-adjoint elements, and we have

$$\sum _{j=1}^n{\mathbf{e}}^j={\mathbf{1}}_n,$$

(9)

where ${\mathbf{1}}_n$ is the identity element in ${\mathcal{C}}_n$ (i.e., the identity function on ${\mathcal{X}}_n$). Consequently, we can build the dual basis ${\left\{{\mathbf{e}}_j\right\}}_{j=1,..,n}$, and a state ρ on ${\mathcal{C}}_n$ is easily seen to be written as

$$\rho =p^j{\mathbf{e}}_j,$$

(10)

where the real numbers $p^j=\rho \left({\mathbf{e}}^j\right)$ are non-negative and are subject to the constraint

$$\sum _{j=1}^n{p}^j=1.$$

(11)

From this, we conclude that the space of states $\mathcal{S}$ of ${\mathcal{C}}_n$ may be identified with the n-simplex ${\Delta }_n$. In the following, whenever we deal with ${\mathcal{C}}_n$, we will identify a state ρ on ${\mathcal{C}}_n$ with a probability distribution in ${\Delta }_n$ and write $\mathbf{p}$ instead of ρ.

Let $I_k\subseteq {\mathcal{X}}_n$ be a subset with $k\le n$ elements, and let ρ be a state on ${\mathcal{C}}_n$ such that $p^j\ne 0$ if and only if ${\mathbf{x}}_j\in I_k$. Then, it is not hard to check that the orbit $\mathcal{O}$ of the group $\mathcal{G}$ of invertible elements in ${\mathcal{C}}_n$ (see Equation (3)) through ρ coincides with the set of all those states $\varrho =q^j{\mathbf{e}}_j$ such that $q^j\ne 0$ if and only if ${\mathbf{x}}_j\in I_k$. In particular, the open interior ${\Delta }_n^{+}$ of the n-simplex may be identified with the orbit of $\mathcal{G}$ through the state $\mathbf{p}$ with $p^j=\frac{1}{n}$ for all $j=1,...,n$.

As ${\mathcal{C}}_n$ is Abelian, it is not hard to see that the action of the unitary group $\mathcal{U}\subset \mathcal{G}$ is trivial, and thus the Hamiltonian vector fields vanish identically. On the other hand, a direct computation shows that the structure constants $d_l^{jk}$ of the Jordan product with respect to the basis ${\left\{{\mathbf{e}}^j\right\}}_{j=1,..,n}$ vanish unless $j=k=l$, in which case they are 1.

Example 2

(The space of density matrices). Consider the complex algebra ${\mathcal{M}}_n:={\mathcal{M}}_n\left(\mathbb{C}\right)$ of complex-valued, $(n\times n)$ matrices. There is an involution † on ${\mathcal{M}}_n$ given by the composition of transposition with component-wise complex conjugation. By exploiting the trace operation, it is possible to define a norm on ${\mathcal{M}}_n$ given by ${\parallel \mathbf{a}\parallel }^2=\mathrm{Tr}\left({\mathbf{a}}^{†}\mathbf{a}\right)$, and we obtain a $C^{\ast }$-algebra which will be denoted by ${\mathcal{M}}_n$. Moreover, it is easily seen that ${\mathcal{M}}_n$ is isomorphic to the algebra $\mathcal{B}\left(\mathcal{H}\right)$ of bounded linear operators on an n-dimensional complex Hilbert space $\mathcal{H}$. This isomorphism depends on the choice of an orthonormal basis in $\mathcal{H}$, but, in the context of quantum information theory, this is in general not very limiting because a preferred choice of basis, called computational basis [87], is often tied to the physics of the problem under investigation.

As ${\mathcal{M}}_n$ is finite-dimensional, it is isomorphic with its dual space, and an isomorphism is provided by the trace operation. Specifically, a linear functional ξ on ${\mathcal{M}}_n$ is identified with an element $\widehat{\xi }\in {\mathcal{M}}_n$ by means of

$$\xi \left(\mathbf{a}\right):=\mathrm{Tr}\left(\widehat{\xi }\mathbf{a}\right).$$

(12)

Then, it follows that a state ρ on ${\mathcal{M}}_n$ may be identified with a positive semi-definite matrix $\widehat{\rho }\in {\mathcal{M}}_n$ with unit trace. Any such matrix is usually referred to as a density matrix.

It is not hard to prove that the orbits of $\mathcal{G}$ are classified by the rank of the associated density matrices [38,40,45,68,88]. Specifically, every orbit $\mathcal{O}$ is made up of states the associated density matrices of which have fixed rank. In particular, we have the orbit of states whose density matrices have unit rank which is the orbit of pure states (the extremal points of the convex space of states) which is diffeomorphic to the complex projective space ${\mathbb{CP}}^n$, and the orbit of states whose density matrices have full rank (invertible) which is the orbit of faithful states. Note that the latter is an open subset of the affine space of self-adjoint linear functionals giving 1 when evaluated on the identity ${\mathbb{I}}_n$ of ${\mathcal{M}}_n$.

If we introduce a basis ${\left\{{\sigma }^j\right\}}_{j=0,...,n^2-1}$ on ${\mathcal{M}}_n$ in such a way that ${\sigma }^0$ coincides with the identity element ${\mathbb{I}}_n\in {\mathcal{M}}_n$, and that ${\sigma }^j$ is self-adjoint and satisfies $\mathrm{Tr}\left({\sigma }^j\right)=0$ for all $j\ne 0$, we can build its dual basis ${\left\{{\sigma }_j\right\}}_{j=0,...,n^2-1}$, and it follows that a state ρ may be written as

$$\rho =\frac{1}{n}\left({\sigma }_0+x^j{\sigma }_j\right),$$

(13)

where $j=1,...,n^2-1$ and $x^j\in \mathbb{R}$. Clearly, the fact that ρ must be a state imposes some constraints on the values of $x^j$ depending on the fact that $\rho \left({\mathbf{a}}^{†}\mathbf{a}\right)$ must be non-negative. There is no general closed formula to express these constraints for arbitrary $n>2$.

For the case $n=2$ (also known as the qubit), it is customary to select ${\sigma }^1,{\sigma }^2,{\sigma }^3$ to be the so-called Pauli matrices

$${\sigma }^1=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right){\sigma }^2=\left(\begin{array}{cc}0& -ı\\ ı& 0\end{array}\right){\sigma }^3=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right),$$

(14)

where ı is the imaginary unit. Then, ρ is a state if and only if

$${\delta }_{jk}{x}^j{x}^k\le 1.$$

(15)

This identifies a ball in the three-dimensional space spanned by the Pauli matrices which is known as the Bloch ball. In this case, there are only two orbits of the group $\mathcal{G}$ of invertible elements in ${\mathcal{M}}_n$, namely, the density matrices lying on the surface sphere (the pure states) and the density matrices in the interior of the ball (the faithful states).

According to the work in [41], the gradient vector fields provide an overcomplete basis of the tangent space at each point in every orbit $\mathcal{O}$. Furthermore, on every $\mathcal{O}$ we may define a Riemannian metric tensor $\mathrm{G}$ given by

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

(16)

and ${\mathbb{Y}}_{\mathbf{a}}$ is the gradient vector field associated with the smooth function $f_{\mathbf{a}}$ (see Equation (2)) by means of $\mathrm{G}$. This metric tensor is invariant with respect to the action of the unitary group in the sense that

$${\mathrm{\Phi }}_{\mathbf{U}}^{*}\mathrm{G}=\mathrm{G}\forall \mathbf{U}\in \mathcal{U},$$

(17)

where ${\mathrm{\Phi }}_{\mathbf{U}}$ is the diffeomorphism given by

$${\mathrm{\Phi }}_{\mathbf{U}}\left(\rho \right):=\mathrm{\Phi }(\mathbf{U},\rho ).$$

(18)

However, $\mathrm{G}$ is not invariant under the action of all of $\mathcal{G}$.

The metric tensor $\mathrm{G}$ turns out to be the $C^{\ast }$-algebraic version of some well-known and relevant metric tensors when explicit cases are considered [41]. For instance, if $\mathcal{A}={\mathcal{C}}_n$ and $\mathcal{O}={\Delta }_n^{+}$, then $\mathrm{G}$ coincides with the Fisher–Rao metric tensor. If $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$ and $\mathcal{O}\cong \mathbb{CP}\left(\mathcal{H}\right)$ is the orbit of pure states), then $\mathrm{G}$ coincides with the Fubini–Study metric tensor. If $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$ and $\mathcal{O}$ is the orbit of faithful states, then $\mathrm{G}$ coincides with the Bures–Helstrom metric tensor.

According to the work in [41], the geodesic of $\mathrm{G}$ starting at $\rho \in \mathcal{O}$ with initial tangent vector $\mathbf{v}\in T_{\rho }\mathcal{O}$ reads

$${\nu }_{\rho }^{\mathbf{v}}\left(t\right)={cos}^2\left(\right|\mathbf{v}\left|t\right)\rho +\frac{{sin}^2\left(\right|\mathbf{v}\left|t\right)}{{\left|\mathbf{v}\right|}^2}{\rho }_{\mathbf{v}}+\frac{sin\left(2\right|\mathbf{v}\left|t\right)}{2\left|\mathbf{v}\right|}{\rho }_{\left\{\mathbf{v}\right\}},$$

(19)

where

$$\begin{array}{cc}\hfill \mathbf{v}={\mathbb{Y}}_{\mathbf{a}}\left(\rho \right)\mathrm{for} \mathrm{some}& \mathbf{a}\in {\mathcal{A}}_{sa}|\rho \left(\mathbf{a}\right)=0,\hfill \\ \hfill {\left|\mathbf{v}\right|}^2={\mathrm{G}}_{\rho }(\mathbf{v},\mathbf{v})& =\rho \left({\mathbf{a}}^2\right),\hfill \\ \hfill {\rho }_{\mathbf{v}}\left(\mathbf{b}\right):=\rho \left(\mathbf{a}\mathbf{b}\mathbf{a}\right)& \forall \mathbf{a}\in {\mathcal{A}}_{sa},\hfill \\ \hfill {\rho }_{\left\{\mathbf{v}\right\}}\left(\mathbf{b}\right):=\rho \left(\{\mathbf{a},\mathbf{b}\}\right)& \forall \mathbf{a}\in {\mathcal{A}}_{sa}.\hfill \end{array}$$

(20)

The geodesic ${\nu }_{\rho }^{\mathbf{v}}\left(t\right)$ remains inside the space of states $\mathcal{S}$ for all $t\in \mathbb{R}$, but it also exits and enters the orbit $\mathcal{O}$ containing the initial state $\rho$ at multiple times [41].

3. Parametric Models of States on ${\mathit{C}}^{\ast }$-algebras

Motivated by the classical theory of parametric estimation, we will now introduce the notion of a parametric model of states on a finite-dimensional $C^{\ast }$-algebra, and then reformulate the theory of parametric estimation in this theoretical framework. This will allow for the simultaneous handling of the classical and the quantum case.

Definition 1.

A parametric model of states on a (finite-dimensional) $C^{\ast }$-algebra $\mathcal{A}$ is a triplet $(M,\mathit{j},\mathcal{O})$ where M is a smooth manifold, $\mathcal{O}\subset \mathcal{S}$ is a $\mathcal{G}$-orbit in $\mathcal{S}$ (see Section 2), and $\mathit{j}:M\to \mathcal{O}$ is a smooth map. If $\mathit{j}$ is injective, we say that the model is identifiable.

Some comments are in order. First of all, we fix the codomain of $\mathit{j}$ to be an orbit of states $\mathcal{O}$ because, as will be clear below, we want to exploit the differential geometric aspects of $\mathcal{O}$ itself. In practice, a vast part of the models considered in the literature falls in this category. For instance, in quantum information geometry, it is customary to deal with parametric models consisting only of pure states, or only of invertible density operators. In principle, it would also be possible to consider a more general case in which $\mathit{j}$ is a smooth map of M into the Banach space $\mathcal{V}$ of self-adjoint linear functionals in such a way that $\mathit{j}\left(M\right)\subset \mathcal{S}$, and M intersects different orbits of states. This line of thought would require a different way to handle geometrical properties of the space of states in relation with the parameter manifold, based, for example, on the methodology introduced in [4,71] for the classical case. This line of reasoning may be useful in the transition to the infinite-dimensional case where the smooth structure of the orbits $\mathcal{O}$ is in general not guaranteed, and we plan to address this and related questions in the future.

Concerning the identifiability of a model, it may seem at first glance reasonable to consider only identifiable models, but we will show that there are well-known and “simple” parametric models of quantum states (e.g., qubit models) for which either this assumption is not satisfied, or it leads to difficulties with the statistical interpretation of the model.

Now, we turn our attention to the geometrical objects that M inherits by means of the smooth map $\mathit{j}$. Indeed, once we have the smooth map $\mathit{j}$, a symmetric, covariant $(0,2)$ tensor is naturally obtained on M by considering the Riemannian metric $\mathrm{G}$ on $\mathcal{O}$ introduced before and taking its pullback

$${\mathrm{G}}^M:={\mathit{j}}^{*}\mathrm{G}$$

(21)

to M with respect to $\mathit{j}$. This gives a tensor on M which “feels” the possible non-commutativity of $\mathcal{A}$ and gives the “correct” tensor in the classical case.

Indeed, if $\mathcal{A}$ is Abelian, then $\mathcal{O}$ is diffeomorphic to the open interior of a suitable simplex, $\mathrm{G}$ is the Fisher–Rao metric tensor [41], and ${\mathrm{G}}^M$ is the pullback of the Fisher–Rao metric tensor to the manifold M seen as a model of probability distributions [3].

On the other hand, if $\mathcal{A}$ is the algebra $\mathcal{B}\left(\mathcal{H}\right)$ of bounded linear operators on a finite-dimensional, complex Hilbert space $\mathcal{H}$ and $\mathcal{O}$ is the manifold of pure states, then $\mathcal{O}$ is diffeomorphic to the complex projective space $\mathbb{CP}\left(\mathcal{H}\right)$ associated with $\mathcal{H}$, $\mathrm{G}$ is the Fubini–Study metric [41] on $\mathcal{O}=\mathbb{CP}\left(\mathcal{H}\right)$, and ${\mathrm{G}}^M$ is the quantum counterpart of the Fisher–Rao metric tensor on the manifold M seen as a model of pure quantum states [89]. Moreover, if $\mathcal{O}$ is the manifold of faithful states, then $\mathrm{G}$ is the Bures–Helstrom metric tensor [41], and ${\mathrm{G}}^M$ may be read as a quantum counterpart of the Fisher–Rao metric tensor on the manifold M seen as a model of faithful quantum states [90].

We will now introduce the $C^{\ast }$-algebraic version of the Symmetric Logarithmic Derivative (SLD) introduced in quantum estimation theory by Helstrom in [6]. For this purpose, note that every tangent vector at $\rho \in \mathcal{O}$ may be expressed in terms of gradient vector fields, that is, given $\rho \in \mathcal{O}$, for every tangent vector $V_{\rho }\in T_{\rho }\mathcal{O}$ there exists a self-adjoint element $\mathbf{a}\in {\mathcal{A}}_{sa}$ depending on $V_{\rho }$ such that

$$V_{\rho }={\mathbb{Y}}_{\mathbf{a}}\left(\rho \right).$$

(22)

Consequently, if we consider a tangent vector $v_m\in T_{m}M$, it makes sense to ask for the gradient vector field ${\mathbb{Y}}_{\mathbf{a}}$ on $\mathcal{O}$ such that

$$T_m\mathit{j}\left(v_m\right)={\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right),$$

(23)

where ${\rho }_m:=\rho \left(j\left(m\right)\right)$. The gradient vector field ${\mathbb{Y}}_{\mathbf{a}}$ in general depends on both the point $m\in M$ and the tangent vector $v_m$. The tangent vector ${\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right)$ satisfying Equation (23) is called the SLD of $v_m$ at ${\rho }_m$.

To appreciate the link with the standard definition of the SLD, let us consider a parametric model $(M,\mathit{j},\mathcal{O})$ where $\mathcal{A}=\mathcal{B}\left(\mathcal{H}\right)$, $\mathcal{O}$ is the manifold of faithful states (invertible density operators), M is an open submanifold of $\mathbb{R}$, and $\mathit{j}$ is a suitable smooth map. Setting $v_m={\partial }_t\left(m\right)$ where ${\partial }_t$ is the restriction to M of the vector field generating the group structure of $\mathbb{R}$, a direct computation shows that the solution of Equation (23) coincides with the Symmetric Logarithmic Derivative (SLD) of the work in [6]. Indeed, ${\partial }_t$ is the infinitesimal generator of $m_t=m+t$, and considering an arbitrary function $f_{\mathbf{b}}$ on $\mathcal{O}$, we have

$$⟨\mathrm{d}{f}_{\mathbf{b}}\left({\rho }_m\right),T_m\mathit{j}\left(v_m\right)⟩=\frac{\mathrm{d}}{\mathrm{d}t}{\left(\mathrm{Tr}\left({\widehat{\rho }}_{m_t}\mathbf{b}\right)\right)}_{t=0}=\mathrm{Tr}\left(\frac{\mathrm{d}}{\mathrm{d}t}{\left({\widehat{\rho }}_{m_t}\right)}_{t=0}\mathbf{b}\right)\forall \mathbf{b}\in {\mathcal{A}}_{sa}$$

(24)

so that Equation (23) may be alternatively written as

$$\frac{\mathrm{d}}{\mathrm{d}t}{\left({\widehat{\rho }}_{m_t}\right)}_{t=0}=\{{\widehat{\rho }}_m,{\mathbf{a}}_m\}=\frac{1}{2}\left({\widehat{\rho }}_m{\mathbf{a}}_m+{\mathbf{a}}_m{\widehat{\rho }}_m\right),$$

(25)

where

$${\mathbf{a}}_m=\mathbf{a}-{\widehat{\rho }}_m\left(\mathbf{a}\right)\mathbb{I},$$

(26)

which is precisely the definition of the SLD (see also Equation (3) in [90] and Equations (3.4) and (3.14) in [91] for the multiparametric case). This justifies the interpretation of Equation (23) as the $C^{\ast }$-algebraic generalization of the SLD embracing also the multiparametric quantum and classical cases.

Example 3

(A pure state qubit model). Consider the algebra ${\mathcal{M}}_2$ of the qubit (see Example 2). Take the one-parameter group of unitary elements generated by the element $ı{\sigma }_3$ according to

$${\mathbf{u}}_{\gamma }={\mathrm{e}}^{\frac{ı}{2}\gamma {\sigma }^3},$$

(27)

where $\gamma \in \mathbb{R}$. Then, consider the orbit $\mathcal{O}\cong {\mathbb{CP}}^2$ of pure states on ${\mathcal{M}}_2$, set $M=\mathbb{R}$, and consider the map ${\mathit{j}}_{\mathbb{R}}:M\to \mathcal{O}$ given by

$${\rho }_{\gamma }\equiv {\mathit{j}}_{\mathbb{R}}\left(\gamma \right):=\mathrm{\Phi }({\mathbf{u}}_{\gamma },\rho ),$$

(28)

where Φ is the action of $\mathcal{G}\supset \mathcal{U}$ given in Equation (3), and

$$\rho =\frac{1}{2}\left({\sigma }_0+{\sigma }_1\right).$$

(29)

A direct computation shows that

$${\rho }_{\gamma }=\frac{1}{2}\left({\sigma }_0+cos\left(\gamma \right){\sigma }_1-sin\left(\gamma \right){\sigma }_2\right)$$

(30)

and that ${\mathit{j}}_{\mathbb{R}}$ is smooth. Clearly, ${\mathit{j}}_{\mathbb{R}}$ is not injective, and thus the parametric model $(\mathbb{R},{\mathit{j}}_{\mathbb{R}},{\mathbb{CP}}^2)$ is not identifiable. However, the parametrization given in Equation (30) is useful in quantum estimation theory when an experimental realization of the parametric model is constructed in terms of a spin interacting with a magnetic field. In this case, $\gamma =tB$ where t is the time parameter of the dynamical evolution and B is the strenght of the magnetic field. Then, the fact that the model is not identifiable depends on the dynamical evolution being periodic.

Now, let us consider the vector field V on $M=\mathbb{R}$ generating translations. This vector field is complete, and provide a basis of the tangent space $T_{\gamma }M$ at each $\gamma \in M$. Moreover, V is the infinitesimal generator of the action of the Abelian Lie group $G=\mathbb{R}$ on $M=\mathbb{R}$ given by

$$\psi (\zeta ,\gamma ):=\gamma +\zeta \forall \zeta \in G,\gamma \in M.$$

(31)

The group G acts also on ${\mathbb{CP}}^2$ by means of

$$\mathrm{\Psi }(\zeta ,\rho ):=\mathrm{\Phi }({\mathbf{U}}_{\zeta },\rho ),$$

(32)

where Φ is the action given in Equation (3). The fact that Ψ is a group action follows from the fact that the map $\gamma \mapsto {\mathbf{U}}_{\gamma }$ is a group homomorphism, that is, it satisfies

$${\mathbf{U}}_{{\zeta }_1}{\mathbf{U}}_{{\zeta }_2}={\mathbf{U}}_{{\zeta }_1+{\zeta }_2}\forall {\zeta }_1,{\zeta }_2\in G.$$

(33)

The actions ψ and Ψ have a particular relation to one another, indeed, a direct computation shows that they are equivariant with respect to ${\mathit{j}}_{\mathbb{R}}$, which means that

$${\mathit{j}}_{\mathbb{R}}\left(\psi (\zeta ,\gamma )\right)=\mathrm{\Psi }\left(\zeta ,{\mathit{j}}_{\mathbb{R}}\left(\gamma \right)\right).$$

(34)

This property is quite strong because it implies that the fundamental vector fields of the action of G on $M=\mathbb{R}$ are ${\mathit{j}}_{\mathbb{R}}$-related with the fundamental vector fields of the action of G on ${\mathbb{CP}}^2$, which means that [92]

$$T_{\gamma }{\mathit{j}}_{\mathbb{R}}\left(V_{\gamma }\right)=W_{{\rho }_{\gamma }}^{\zeta },$$

(35)

where V is the fundamental vector field of $\psi (\zeta ,\gamma )$ (i.e, the vector field generating the translation considered above), while W is the fundamental vector field of $\mathrm{\Psi }(\zeta ,\rho )$ (recall that, in this case, the exponential map from the Lie algebra of G to G itself is the identity). As

$$\mathrm{\Psi }(\zeta ,\rho )=\mathrm{\Phi }({\mathbf{U}}_{\zeta },\rho ),$$

(36)

the fundamental vector field W is easily seen to be the Hamiltonian vector field associated with ${\sigma }^3$ (see Equation (6)). This means that

$$⟨\mathrm{d}{f}_{\mathbf{b}},T_{\gamma }{\mathit{j}}_{\mathbb{R}}\left(V_{\gamma }\right)⟩=⟨\mathrm{d}{f}_{\mathbf{b}},W_{{\rho }_{\gamma }}⟩={\rho }_{\gamma }\left(\left[[{\sigma }^3,\mathbf{b}]\right]\right).$$

(37)

Consequently, regarding the SLD, Equation (23) leads us to look for the self-adjoint element $\mathbf{a}$ satisfying

$${\rho }_{\gamma }\left(\{\mathbf{a},\mathbf{b}\}\right)-{\rho }_{\gamma }\left(\mathbf{a}\right){\rho }_{\gamma }\left(\mathbf{b}\right)={\rho }_{\gamma }\left(\left[[{\sigma }^3,\mathbf{b}]\right]\right)$$

(38)

for all self-adjoint elements $\mathbf{b}\in {\mathcal{M}}_2$. Passing from ${\rho }_{\gamma }$ to its density matrix ${\widehat{\rho }}_{\gamma }$, we see that Equation (38) is equivalent to

$$\{{\widehat{\rho }}_{\gamma },\mathbf{a}\}-\mathrm{Tr}\left({\widehat{\rho }}_{\gamma }\mathbf{a}\right)\widehat{\rho }=\left[[{\widehat{\rho }}_{\gamma },{\sigma }^3]\right].$$

(39)

We write

$$\mathbf{a}=a_0{\sigma }^0+a_1{\sigma }^1+a_2{\sigma }^2+a_3{\sigma }^3,$$

(40)

where $a_j\in \mathbb{R}$ for all $j=0,1,2,3$. A direct computation exploiting the properties of the Pauli matrices shows that $a_0$ is arbitrary (as it should be because of the very definition of gradient vector field), $a_3=0$, while $a_1$ and $a_2$ must satisfy

$$a_{1}sin\left(\gamma \right)+a_{2}cos\left(\gamma \right)=-1.$$

(41)

Clearly, this means that $\mathbf{a}$ and thus the SLD are not uniquely defined.

Concerning the covariant tensor ${\mathrm{G}}^{\mathbb{R}}$, we have

$${\mathrm{G}}^{\mathbb{R}}={\mathit{j}}_{\mathbb{R}}^{*}\mathrm{G}$$

(42)

by definition. As ${\mathit{j}}_{\mathbb{R}}$ is an immersion and $\mathrm{G}$ is a Riemannian metric, then ${\mathrm{G}}^{\mathbb{R}}$ is a Riemannian metric (i.e., it is positive and invertible). Moreover, setting

$$\begin{array}{cc}\hfill {\psi }_{\zeta }\left(\gamma \right)& :=\psi (\zeta ,\gamma )\hfill \\ \hfill {\mathrm{\Psi }}_{\zeta }\left(\rho \right)& :=\mathrm{\Psi }(\zeta ,\rho )=\mathrm{\Phi }({\mathbf{U}}_{\zeta },\rho ),\hfill \end{array}$$

(43)

we immediately obtain

$${\psi }_{\zeta }^{*}{\mathrm{G}}^{\mathbb{R}}={\psi }_{\zeta }^{*}{\mathit{j}}_{\mathbb{R}}^{*}\mathrm{G}={\left({\mathit{j}}_{\mathbb{R}}\circ {\psi }_{\zeta }\right)}^{*}\mathrm{G}={\left({\mathrm{\Psi }}_{\zeta }\circ {\mathit{j}}_{\mathbb{R}}\right)}^{*}\mathrm{G}={\mathit{j}}_{\mathbb{R}}^{*}{\mathrm{\Psi }}_{\zeta }^{*}\mathrm{G}={\mathit{j}}_{\mathbb{R}}^{*}{\mathrm{\Phi }}_{{\mathbf{U}}_{\zeta }}^{*}\mathrm{G}={\mathit{j}}_{\mathbb{R}}\mathrm{G}={\mathrm{G}}^{\mathbb{R}}$$

(44)

where we used Equation (34) in the fourth equality, and Equation (17) in the sixth equality. Therefore, we conclude that ${\mathrm{G}}^{\mathbb{R}}$ is invariant with respect to the action of the Lie group $G=\mathbb{R}$ on $M=\mathbb{R}$ given by translation, and thus must be proportional to the Euclidean metric tensor.

Example 4

(A mixed state qubit model). Consider the algebra ${\mathcal{M}}_2$ of the qubit (see Example 2). Consider the orbit $\mathcal{O}$ of faithful states, set $M={\mathbb{R}}^{+}\times {\mathbb{R}}^{+}$, and define the map ${\mathit{j}}_M$ as

$${\rho }_{\gamma ,\zeta }\equiv {\mathit{j}}_M(\gamma ,\zeta ):=\frac{1}{2}\left({\sigma }_0+{\mathrm{e}}^{-\zeta \gamma }\left(cos\left(\gamma \right){\sigma }_1-sin\left(\gamma \right){\sigma }_2\right)\right).$$

(45)

A direct computation shows that this map is smooth. Quite interestingly, the parametric model $(M,{\mathit{j}}_M,\mathcal{O})$ has a physical origin which is connected with the dynamics of open quantum systems. The dynamics of such systems is governed by the so-called Gorini–Kossakowski–Lindblad–Sudarshan (GKLS) equation [93,94,95,96,97,98]. In particular, choosing the infinitesimal generator L of this linear equation to be the dephasing channel, the dynamical evolution evolution generated by L is such that the initial (pure) state ρ given in Equation (29) evolves according to the right-hand-side of Equation (45), where $\frac{\gamma }{2}$ plays the role of the time parameter while $2\zeta$ is the dephasing parameter ([40] ex. 2). Note that the initial pure state is evolved into a mixed (faithful) state as soon as the time parameter is greater than 0.

This model has been recently considered in the context of quantum parameter estimation in the presence of nuisance parameters [99].

Let us now consider the vector fields V and W on M generating the local one-parameter groups of local diffeomorphisms

$$\begin{array}{cc}\hfill {\varphi }_t(\gamma ,\zeta )& =(\gamma +t,\zeta )\hfill \\ \hfill {\psi }_t(\gamma ,\zeta )& =(\gamma ,\zeta +t).\hfill \end{array}$$

(46)

Clearly, these vector fields are not complete on M; however, they provide a basis of tangent vectors at each point of M. A direct computation shows that

$$\begin{array}{cc}\hfill ⟨\mathrm{d}{f}_{\mathbf{b}},T_{\gamma ,\zeta }{\mathit{j}}_M\left(V_{\gamma ,\zeta }\right)⟩& =-{\mathrm{e}}^{-\zeta \gamma }\left(\left(sin\left(\gamma \right)+\zeta cos\left(\gamma \right)\right)b_1+\left(cos\left(\gamma \right)-\zeta sin\left(\gamma \right)\right)b_2\right)\hfill \\ \hfill ⟨\mathrm{d}{f}_{\mathbf{b}},T_{\gamma ,\zeta }{\mathit{j}}_M\left(W_{\gamma ,\zeta }\right)⟩& =-\gamma {\mathrm{e}}^{-\zeta \gamma }\left(cos\left(\gamma \right)b_1-sin\left(\gamma \right)b_2\right),\hfill \end{array}$$

(47)

from which we conclude that ${\mathit{j}}_M$ is an immersion. Then, Equation (23) implies that the SLD ${\mathbb{Y}}_{{\mathbf{a}}^V}\left({\rho }_{\gamma ,\zeta }\right)$ and ${\mathbb{Y}}_{{\mathbf{a}}^W}\left({\rho }_{\gamma ,\zeta }\right)$ of V and W at $(\gamma ,\zeta )$, respectively, are found as the solutions of

$$\begin{array}{cc}\hfill ⟨\mathrm{d}{f}_{\mathbf{b}},T_{\gamma ,\zeta }{\mathit{j}}_M\left(V_{\gamma ,\zeta }\right)⟩& =⟨\mathrm{d}{f}_{\mathbf{b}},{\mathbb{Y}}_{{\mathbf{a}}^V}\left({\rho }_{\gamma ,\zeta }\right)⟩={\rho }_{\gamma ,\zeta }\left(\{{\mathbf{a}}^V,\mathbf{b}\}\right)-{\rho }_{\gamma ,\zeta }\left({\mathbf{a}}^V\right){\rho }_{\gamma ,\zeta }\left(\mathbf{b}\right)\hfill \\ \hfill ⟨\mathrm{d}{f}_{\mathbf{b}},T_{\gamma ,\zeta }{\mathit{j}}_M\left(E_{\gamma ,\zeta }\right)⟩& =⟨\mathrm{d}{f}_{\mathbf{b}},{\mathbb{Y}}_{{\mathbf{a}}^W}\left({\rho }_{\gamma ,\zeta }\right)⟩={\rho }_{\gamma ,\zeta }\left(\{{\mathbf{a}}^W,\mathbf{b}\}\right)-{\rho }_{\gamma ,\zeta }\left({\mathbf{a}}^W\right){\rho }_{\gamma ,\zeta }\left(\mathbf{b}\right)\hfill \end{array}$$

(48)

for all self-adjoint elements $\mathbf{b}\in {\mathcal{M}}_2$. A direct computation leads to

$$\begin{array}{cc}\hfill {\mathbf{a}}^V& =a_0^V{\sigma }^0-\left({\mathrm{e}}^{-\zeta \gamma }sin\left(\gamma \right)+\frac{\zeta cos\left(\gamma \right)}{2sinh\left(\zeta \gamma \right)}\right){\sigma }^1+\left(\frac{\zeta sin\left(\gamma \right)}{2sinh\left(\zeta \gamma \right)}-{\mathrm{e}}^{-\zeta \gamma }cos\left(\gamma \right)\right){\sigma }^2\hfill \\ \hfill {\mathbf{a}}^W& =a_0^W{\sigma }^0-\frac{\gamma }{2sinh\left(\zeta \gamma \right)}\left(cos\left(\gamma \right){\sigma }^1-sin\left(\gamma \right){\sigma }^2\right).\hfill \end{array}$$

(49)

Note that, apart from the coefficients $a_0^V$ and $a_0^W$, which are arbitrary because they do not affect the expression of the associated gradient vector field, the SLD associated with V and W are uniquely defined at each point of M. This is due to the fact that the model is a model of faithful states. Moreover, note that $[{\mathbf{a}}^V,{\mathbf{a}}^W]\ne \mathbf{0}$, and thus there is no unital, Abelian $C^{*}$-subalgebra of ${\mathcal{M}}_2$ that contains both ${\mathbf{a}}^V$ and ${\mathbf{a}}^W$. This will have an impact on the attainability of the Helstrom bound.

As ${\mathrm{G}}^M={\mathit{j}}_M^{*}\mathrm{G}$, we immediately obtain (see Equation (16))

$${\mathrm{G}}_{\gamma ,\zeta }^M\left(V_{\gamma ,\zeta },V_{\gamma \zeta }\right)={\mathrm{G}}_{{\rho }_{\gamma ,\zeta }}\left({\mathbb{Y}}_{{\mathbf{a}}^V}\left({\rho }_{\gamma ,\zeta }\right),{\mathbb{Y}}_{{\mathbf{a}}^V}\left({\rho }_{\gamma ,\zeta }\right)\right)={\rho }_{\gamma ,\zeta }\left(\{{\mathbf{a}}^V,{\mathbf{a}}^V\}\right)-{\left({\rho }_{\gamma ,\zeta }\left({\mathbf{a}}^V\right)\right)}^2,$$

(50)

and similarly for ${\mathrm{G}}_{\gamma ,\zeta }^M\left(V_{\gamma ,\zeta },W_{\gamma \zeta }\right)$ and ${\mathrm{G}}_{\gamma ,\zeta }^M\left(W_{\gamma ,\zeta },W_{\gamma \zeta }\right)$. Then, as V and W provide a basis of tangent vectors at each point in M, the tensor ${\mathrm{G}}^M$ can be computed to be

$${\mathrm{G}}^M=\left({\mathrm{e}}^{-2\zeta \gamma }+\frac{{\zeta }^2}{{\mathrm{e}}^{2\zeta \gamma }-1}\right)\mathrm{d}\gamma \otimes \mathrm{d}\gamma +\left(\frac{\zeta \gamma }{{\mathrm{e}}^{2\zeta \gamma }-1}\right)\mathrm{d}\gamma {\otimes }_S\mathrm{d}\zeta +\left(\frac{{\gamma }^2}{{\mathrm{e}}^{2\zeta \gamma }-1}\right)\mathrm{d}\zeta \otimes \mathrm{d}\zeta .$$

(51)

Example 5

(Lie group and Lie algebra parametric models). Motivated by the model in Example and by some of the models commonly used in the quantum context [5,100], we introduce the notion of a Lie group parametric model and of a Lie algebra parametric model.

Let G be a Lie group which is realized as a Lie subgroup of the Lie group $\mathcal{G}$ of invertible elements in $\mathcal{A}$, and let ${\rho }_0$ be a state in $\mathcal{S}$. Set $M=G$ and define the map ${\mathit{j}}_G:M\to \mathcal{O}$, where $\mathcal{O}$ is the orbit containing ${\rho }_0$, by means of

$${\mathit{j}}_G\left(\mathrm{g}\right):=\mathrm{\Phi }(\mathrm{g},{\rho }_0).$$

(52)

This map is clearly smooth and we call $(G,{\mathit{j}}_G,\mathcal{O})$ a Lie group parametric model. If the fiducial state ${\rho }_0$ is such that

$$\mathrm{\Phi }(\mathrm{g},{\rho }_0)={\rho }_0⟺\mathrm{g}=\mathbb{I}\forall \mathrm{g}\in G,$$

(53)

then the model is identifiable.

As G is a subgroup of $\mathcal{G}$, the left action of G on itself is related with the action of G on $\mathcal{O}$ determined by the restriction of Φ to G in the way expressed in Equation (34). Specifically, let ψ be the left action of G on itself. Define an action Ψ of G on $\mathcal{O}$ given by

$$\mathrm{\Psi }(g,\rho ):=\mathrm{\Phi }\left(\mathrm{g}\right(g),\rho ),$$

(54)

where $g\in G$ and $\mathrm{g}\left(g\right)\in \mathcal{G}$ is the realization of g as an element of $\mathcal{G}$. Then, $g\mapsto \mathrm{g}\left(g\right)$ is a group homomorphism, that is, it satisfies

$$\mathrm{g}\left(g_1{g}_2\right)=\mathrm{g}\left(g_1\right)\mathrm{g}\left(g_2\right),$$

(55)

and thus it follows from Equations (52), (54), and (55) that

$${\mathit{j}}_G\left(\psi (g,h)\right)=\mathrm{\Psi }\left(\mathrm{g}\left(g\right),{\mathit{j}}_G\left(h\right)\right),$$

(56)

which means that the actions ψ and Ψ are equivariant with respect to ${\mathit{j}}_G$. This means that the fundamental vector fields of ψ are ${\mathit{j}}_G$-related with the fundamental vector fields of Ψ [92]. This instance may be helpful in computing the SLD adapting the steps outlined in Example 3.

If $(G,{\mathit{j}}_G,\mathcal{O})$ is a Lie group parametric model and we consider another parameter manifold which is a smooth homogeneous space $M=G/H$ of G admitting a global, smooth section $\eta :M\to G$, then we can immediately build another parametric model $(M,{\mathit{j}}_M,\mathcal{O})$ by setting ${\mathit{j}}_M:={\mathit{j}}_G\circ \eta$. This may be helpful to obtain identifiable models. Indeed, if ${\rho }_0$ has a non-trivial isotropy group $G_0\subset G$, which is the set of all elements $g\in G$ such that $\mathrm{\Phi }(g,{\rho }_0)={\rho }_0$, we have that $M=G/G_0$ is a smooth manifold. Then, if there is a smooth section η for M, the resulting parametric model will be identifiable. This is very similar to the notion of coherent state used in quantum theory [101,102].

Another relevant parametric models is obtained when we consider the Lie algebra $\mathfrak{g}$ of G. In this case, we have the exponential map $exp:\mathfrak{g}\to G$ that can be exploited to define a parametric model. Specifically, let $(G,\mathit{j},\mathcal{O})$ be a Lie group parametric model. Then, defining ${\mathit{j}}_{\mathfrak{g}}:={\mathit{j}}_G\circ exp$, we immediately obtain the parametric model $(\mathfrak{g},{\mathit{j}}_{\mathfrak{g}},\mathcal{O})$ which is referred to as a Lie algebra parametric model. If the Lie algebra $\mathfrak{g}$ is commutative, then the exponential map is a group homomorphism when the Lie algebra is thought of as a group with respect to the vector sum, and we obtain an equivariance relation with respect to ${\mathit{j}}_{\mathfrak{g}}$ between the left action ψ of $\mathfrak{g}$ on itself and its realization $\mathrm{\Psi }(\mathbf{v},\rho )=\mathrm{\Phi }(exp(\mathbf{v}),\rho )$ as a group acting on $\mathcal{O}$.

4. Parametric Statistical Models of States on ${\mathbf{C}}^{\ast }$-algebras

When an experiment is performed on a system in a given state $\rho$, we obtain an outcome lying in a given outcome space $\mathcal{X}$ which is associated with the measurement procedure. The state $\rho$ is then “transformed” into a probability distribution on $\mathcal{X}$ in the sense that different repetitions of the same experimental procedure (i.e., preparation of the system in the state $\rho$ followed by the measurement procedure with outcome space $\mathcal{X}$) will produce in general different outcomes characterized by a probability distribution which is associated with the state $\rho$ and with the measurement procedure adopted. In this work, we will always consider outcome spaces which are discrete and finite.

Given a discrete and finite outcome space ${\mathcal{X}}_n$ with n elements, the statistical interpretation of the state $\rho$ is encoded in a map ${\mathfrak{m}}^{\ast }:\mathcal{S}⟶\mathrm{P}\left({\mathcal{X}}_n\right)\equiv {\Delta }_n$, which we will assume to be convex in order to preserve one of the basic features of probabilities and states. From this, it follows that ${\mathfrak{m}}^{\ast }$ can be extended to a linear map ${\mathfrak{m}}^{\ast }:{\mathcal{A}}^{\ast }⟶\mathrm{S}\left({\mathcal{X}}_n\right)$, where $\mathrm{S}\left(\mathcal{X}\right)$ is the vector space of signed measures on ${\mathcal{X}}_n$. From the $C^{\ast }$-algebraic perspective, $\mathrm{S}\left({\mathcal{X}}_n\right)$ is the space of self-adjoint linear functionals on the Abelian $C^{\ast }$-algebra ${\mathcal{C}}_n:=C\left({\mathcal{X}}_n\right)$ of complex-valued, continuous functions on ${\mathcal{X}}_n$, and thus, as ${\mathfrak{m}}^{\ast }$ is continuous because ${\mathcal{A}}^{\ast }$ and $\mathrm{S}\left({\mathcal{X}}_n\right)$ are finite-dimensional, we immediately obtain that there is a continuous linear map $\mathfrak{m}:{\mathcal{C}}_n⟶\mathcal{A}$ of which ${\mathfrak{m}}^{\ast }$ is the dual map. By construction, the map $\mathfrak{m}$ must be such that its dual map ${\mathfrak{m}}^{\ast }$ sends the space of states of $\mathcal{A}$ into the space of states of ${\mathcal{C}}_n$. One way to implement this condition is to require $\mathfrak{m}:{\mathcal{C}}_n⟶\mathcal{A}$ to be a unital, positive map between $C^{\ast }$-algebras, that is, a linear map preserving the identity and sending positive elements into positive elements (clearly, any such map sends self-adjoint elements into self-adjoint elements).

Definition 2.

A positive unital map $\mathfrak{m}:{\mathcal{C}}_n\to \mathcal{A}$ is defined to be a measurement procedure.

Specifically, given a finite and discrete outcome space ${\mathcal{X}}_n$, we can always consider the basis of ${\mathcal{C}}_n$ given by the elements ${\left\{{\mathbf{e}}^j\right\}}_{j=1,...,n}$, where ${\mathbf{e}}^j$ is the “delta function” at the j-th element of ${\mathcal{X}}_n$. The measurement procedure $\mathfrak{m}$ amounts to define the elements

$${\mathbf{m}}^j:=\mathfrak{m}\left({\mathbf{e}}^j\right)\forall j=1,...,n,$$

(57)

in such a way that they satisfy

$$\sum _{j=1}^n{\mathbf{m}}^j=\mathbb{I},$$

(58)

and

$${\mathbf{m}}^j\ge \mathbf{0}\forall j=1,...,n.$$

(59)

Essentially, we are considering a (discrete) POVM in the $C^{\ast }$-algebraic framework. The probability distribution ${\mathfrak{m}}^{\ast }\left(\rho \right)$ associated with the state $\rho$ is characterized by the numbers

$$p^j:=\left({\mathfrak{m}}^{\ast }\left(\rho \right)\right)\left({\mathbf{e}}^j\right)=\rho \left(\mathfrak{m}\left({\mathbf{e}}^j\right)\right)=\rho \left({\mathbf{m}}^j\right).$$

(60)

Once a parametric model $(M,\mathit{j},\mathcal{O})$ is chosen, we immediately have the map

$${\mathit{j}}^c:={\mathfrak{m}}^{\ast }\circ \mathit{j}:M⟶{\Delta }_n.$$

(61)

We require this map to lie entirely in a given fixed orbit of states inside ${\Delta }_n$. Clearly, as every orbit in ${\Delta }_n$ is diffeomorphic to ${\Delta }_k^{+}$ for some $k\ne n$ (see Example 1), there is no loss of generality in requiring the codomain of ${\mathit{j}}^c$ to lie entirely inside the manifold ${\Delta }_n^{+}$ of faithful states on ${\mathcal{C}}_n$. Indeed, if this is not the case, it suffices to redefine ${\mathcal{X}}_n$ to be the subset $I_k$, exchange ${\mathcal{C}}_n$ with $C\left(I_k\right)$, and relabel k as n.

Definition 3.

Let $(M,\mathit{j},\mathcal{O})$ be a parametric model of states on a $C^{\ast }$-algebra $\mathcal{A}$. A measurement procedure  $\mathfrak{m}$ such that ${\mathit{j}}^c\left(M\right):={\mathfrak{m}}^{\ast }\circ \mathit{j}\left(M\right)\subseteq {\Delta }_n^{+}$ is called regular for $(M,\mathit{j},\mathcal{O})$.

Once a regular measurement procedure $\mathfrak{m}$ for $(M,\mathit{j},\mathcal{O})$ is chosen, we are ready to build a parametric statistical model (in the sense of information geometry [2,3,4]) associated with the parametric model $(M,\mathit{j},\mathcal{O})$.

Definition 4.

Let $(M,\mathit{j},\mathcal{O})$ be a parametric model of states on a $C^{\ast }$-algebra $\mathcal{A}$, and let $\mathfrak{m}$ be a regular measurement procedure for $(M,\mathit{j},\mathcal{O})$. Then, the triple $(M,{\mathit{j}}^c,{\Delta }_n^{+})$, with ${\mathit{j}}^c$ as in Equation (61), is defined to be the parametric statistical model associated with the parametric model $(M,\mathit{j},\mathcal{O})$ by means of the measurement procedure $\mathfrak{m}$.

The open interior of the simplex ${\Delta }_n^{+}$ coincides with the space of faithful states on the finite-dimensional, commutative $C^{\ast }$-algebra ${\mathcal{C}}_n$ of complex-valued continuous functions on the discrete n-point space $\mathcal{X}n$, and thus the Radon–Nikodym derivative of $\mathbf{p}\in {\Delta }_n^{+}$ with respect to the counting measure on ${\mathcal{X}}_n$ is well defined as a function on ${\mathcal{X}}_n$, and it is called the probability density function of $\mathbf{p}$. Clearly, being ${\mathit{j}}^c\left(M\right)\subseteq {\Delta }_n^{+}$, every element $m\in M$ may be uniquely associated with the probability density function of ${\mathbf{p}}_m={\mathit{j}}^c\left(m\right)$. Moreover, for every $x\in {\mathcal{X}}_n$, the function $p(m,x)={\mathbf{p}}_m\left(\left\{x\right\}\right)$ is a smooth function on M because ${\mathbf{p}}_m$ is a linear functional on ${\mathcal{C}}_n$ and ${\mathit{j}}^c$ is smooth, and its support does not depend on the chosen $x\in {\mathcal{X}}_n$ because ${\mathit{j}}^c\left(M\right)\subseteq {\Delta }_n^{+}$. These regularity properties are particularly meaningful with respect to the Cramer–Rao bound discussed in Section 6.

Remark 1

(Classical statistical models). In the specific case when the algebra $\mathcal{A}$ is commutative, i.e., $\mathcal{A}={\mathcal{C}}_n$ for some $n\in \mathbb{N}$, a parametric model $(M,\mathit{j},\mathcal{O})$ of states on ${\mathcal{C}}_n$ is already a parametric statistical model by itself. Indeed, according to Example 1, the orbit $\mathcal{O}$ is diffeomorphic to the open interior ${\Delta }_k^{+}$ of a k-simplex with $k\ne n$. Specifically, we have a subset $I_k\subseteq {\mathcal{X}}_n$ of k elements, the $C^{\ast }$-algebra ${\mathcal{C}}_k$ generated by the elements ${\mathbf{e}}^j\in {\mathcal{C}}_n$ with j such that ${\mathbf{x}}_j\in I_k$, and $\mathcal{O}$ is diffeomorphic to the orbit of faithful states of ${\mathcal{C}}_k$. Then, we have a “natural” measurement procedure $\mathfrak{m}:{\mathcal{C}}_k\to {\mathcal{C}}_n$ at our disposal given by the natural identification ${\mathrm{i}}_k$ map of ${\mathcal{C}}_k$ in ${\mathcal{C}}_n$, and the map ${\mathit{j}}^c={\mathfrak{m}}^{\ast }\circ \mathit{j}={\mathrm{i}}_k^{*}\circ j$ gives rise to the statistical model $(M,{\mathit{j}}^c,{\Delta }_k^{+})$ associated with $(M,\mathit{j},\mathcal{O})$. From this, it is clear that once we have the parametric model $(M,\mathit{j},\mathcal{O})$ we immediately have a “natural” parametric statistical model $(M,{\mathit{j}}^c,{\Delta }_k^{+})$ associated with it. No additional choices must be made.

Exploiting the Riemannian geometry of ${\Delta }_n^{+}$, the parameter manifold M may be endowed with another symmetric, covariant $(0,2)$ tensor which is in general different from the metric ${\mathrm{G}}^M$ introduced before. Indeed, we may consider the Fisher–Rao Riemannian metric ${\mathrm{G}}_{FR}$ on ${\Delta }_n^{+}$, which is the Riemannian metric tensor $\mathrm{G}$ associated with the Jordan product of the self-adjoint part of ${\mathcal{C}}_n$ as described in Section 2, and then take its pullback

$${\mathrm{G}}^{Mc}={\left({\mathit{j}}^c\right)}^{*}{\mathrm{G}}_{FR}$$

(62)

to M (the “c” stands for classical, or commutative). In this case, we obtain a symmetric covariant tensor on M which, unlike ${\mathrm{G}}^M$ given by Equation (21), cannot feel the possible non-commutativity of $\mathcal{A}$, and which is the pullback of the Fisher–Rao metric tensor on M thought of as a parametric statistical model in ${\Delta }_n^{+}$ along the lines of classical information geometry.

To accommodate multiple runs, say N, of the same experimental procedure on N identical and independent copies of the initial state, we introduce the parametric model $(M,{\mathit{j}}^N,{\mathcal{O}}^N)$, where ${\mathcal{O}}^N$ is the manifold of states on the tensor product algebra

$${\mathcal{A}}^{\otimes N}:=\mathcal{A}\otimes \cdots \otimes \mathcal{A}$$

(63)

containing the product states of the form ${\rho }_1\otimes \cdots \otimes {\rho }_N$ with ${\rho }_j\in \mathcal{O}$ for every $j=1,...,N$, and ${\mathit{j}}^N:M⟶{\mathcal{O}}^N$ is given by

$${\mathit{j}}^N\left(m\right):=\mathit{j}\left(m\right)\otimes \cdots \otimes \mathit{j}\left(m\right)\equiv {\rho }_m\otimes \cdots \otimes {\rho }_m\equiv {\rho }_m^{\otimes N}.$$

(64)

Clearly, we may endow M with the Riemannian metric ${\mathrm{G}}^{MN}$ defined by

$${\mathrm{G}}^{MN}:={\left({\mathit{j}}^N\right)}^{*}{\mathrm{G}}^N,$$

(65)

where ${\mathrm{G}}^N$ denotes the canonical Riemannian metric on ${\mathcal{O}}^N$ associated with the Jordan product on ${\mathcal{A}}^{\otimes N}$. As the smooth embedding ${\mathit{j}}^N$ has been defined in terms of a “multiplicative object”, namely, the tensor product, it is reasonable to expect that this multiplicative feature reflects also in the pullback metric. Indeed, below we will prove that

$${\mathrm{G}}^{MN}=N{\mathrm{G}}^M.$$

(66)

Performing N runs of an experiment provides us with a list of N outcomes, and we consider the outcome space

$${\mathcal{X}}^N=\mathcal{X}\times \cdots \times \mathcal{X}.$$

(67)

At this point, we must choose a measurement procedure ${\mathfrak{m}}^N:{\mathcal{C}}_n^{\otimes N}=C\left({\mathcal{X}}^N\right)⟶{\mathcal{A}}^{\otimes N}$ so that, setting ${\mathit{j}}^{cN}={\mathfrak{m}}^N\circ {\mathit{j}}^N$, we can build a statistical model $(M,{\mathit{j}}^{cN},{\Delta }_{Nn}^{+})$ in the obvious way. We may endow M with the Riemannian metric ${\mathrm{G}}^{McN}$ defined by

$${\mathrm{G}}^{McN}:=N{\left({\mathit{j}}^{cN}\right)}^{*}{\mathrm{G}}_{FR},$$

(68)

where $N{\mathrm{G}}_{FR}$ is the Fisher–Rao metric tensor on ${\Delta }_{nN}^{+}$ (this either follows from standard arguments in classical information geometry, or by Proposition 1 below applied to the case where $\mathcal{A}={\mathcal{C}}_n$).

Proposition 1.

With the notations introduced above, we have

$${\mathrm{G}}^{MN}=N{\mathrm{G}}^M.$$

(69)

Proof. 

We start proving that, if $v_m\in T_{m}M$ is such that

$$T_m\mathit{j}\left(v_m\right)={\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right),$$

(70)

then it holds

$$T_m{\mathit{j}}^N\left(v_m\right)={\mathbb{Y}}_{a^N}^N\left({\rho }_m^{\otimes N}\right),$$

(71)

where ${\mathbb{Y}}_{a^N}^N$ is the gradient vector field on ${\mathcal{O}}^N$ associated with

$${\mathbf{a}}^N=\mathbf{a}\otimes \mathbb{I}\otimes \cdots \otimes \mathbb{I}+\mathbb{I}\otimes \mathbf{a}\otimes \mathbb{I}\otimes \cdots \otimes \mathbb{I}+\cdots +\mathbb{I}\otimes \cdots \otimes \mathbb{I}\otimes \mathbf{a}.$$

(72)

Recall that simple elements of the form ${\mathbf{b}}_1\otimes \cdots \otimes {\mathbf{b}}_N$ generate ${\mathcal{A}}^{\otimes N}$, and thus, to prove Equation (71), it is sufficient to compute

$$⟨\mathrm{d}{f}_{{\mathbf{b}}_1\otimes \cdots \otimes {\mathbf{b}}_N}\left({\rho }_m^{\otimes N}\right),T_m{\mathit{j}}^N\left(v_m\right)⟩=⟨\mathrm{d}{\left({\mathit{j}}^N\right)}^{*}{f}_{{\mathbf{b}}_1\otimes \cdots \otimes {\mathbf{b}}_N}\left(m\right),v_m⟩.$$

(73)

Denoting by $m_t$ a smooth curve in M starting at m with initial tangent vector $v_m$, we have

$$\begin{array}{cc}\hfill ⟨\mathrm{d}{\left({\mathit{j}}^N\right)}^{*}{f}_{{\mathbf{b}}_1\otimes \cdots \otimes {\mathbf{b}}_N}\left(m\right),v_m⟩& =\frac{\mathrm{d}}{\mathrm{d}t}{\left({\rho }_{m_t}^{\otimes N}({\mathbf{b}}_1\otimes \cdots \otimes {\mathbf{b}}_N)\right)}_{t=0}=\hfill \\ & =\frac{\mathrm{d}}{\mathrm{d}t}{\left({\rho }_{m_t}\left({\mathbf{b}}_1\right)\cdots {\rho }_{m_t}\left({\mathbf{b}}_N\right)\right)}_{t=0},\hfill \end{array}$$

(74)

from which Equation (71) follows applying the Leibniz rule and recalling that $T_m\mathit{j}\left(v_m\right)={\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right)$.

We now take $v_m,w_m\in T_{m}M$ such that

$$\begin{array}{cc}\hfill T_m{\mathit{j}}^N\left(v_m\right)& ={\mathbb{Y}}_{a^N}^N\left({\rho }_m^{\otimes N}\right)\hfill \\ \hfill T_m{\mathit{j}}^N\left(w_m\right)& ={\mathbb{Y}}_{b^N}^N\left({\rho }_m^{\otimes N}\right),\hfill \end{array}$$

(75)

with ${\mathbf{a}}^N$ and ${\mathbf{b}}^N$ as in Equation (72). Recalling that ${\mathrm{G}}^{MN}={\left({\mathit{j}}^N\right)}^{*}{\mathrm{G}}^N$, and noting that

$${\mathrm{G}}_{{\rho }_m^{\otimes N}}^N({\mathbb{Y}}_{a^N}^N\left({\rho }_m^{\otimes N}\right),{\mathbb{Y}}_{b^N}^N\left({\rho }_m^{\otimes N}\right))={\rho }_m^{\otimes N}\left(\{{\mathbf{a}}^N,{\mathbf{b}}^N\}\right)-{\rho }_m^{\otimes N}\left({\mathbf{a}}^N\right){\rho }_m^{\otimes N}\left({\mathbf{b}}^N\right)$$

(76)

because of Equation (16), we have

$$\begin{array}{cc}\hfill {\mathrm{G}}_m^{MN}(v_m,w_m)& ={\mathrm{G}}_{{\rho }_m^{\otimes N}}^N({\mathbb{Y}}_{a^N}^N\left({\rho }_m^{\otimes N}\right),{\mathbb{Y}}_{b^N}^N\left({\rho }_m^{\otimes N}\right))\hfill \\ & ={\rho }_m^{\otimes N}\left(\{{\mathbf{a}}^N,{\mathbf{b}}^N\}\right)-{\rho }_m^{\otimes N}\left({\mathbf{a}}^N\right){\rho }_m^{\otimes N}\left({\mathbf{b}}^N\right)=\hfill \\ & =\left(N{\rho }_m\left(\{\mathbf{a},\mathbf{b}\}\right)+N(N-1){\rho }_m\left(\mathbf{a}\right){\rho }_m\left(\mathbf{b}\right)\right)-N^2{\rho }_m\left(\mathbf{a}\right){\rho }_m\left(\mathbf{b}\right)=\hfill \\ & =N\left({\rho }_m\left(\{\mathbf{a},\mathbf{b}\}\right)-{\rho }_m\left(\mathbf{a}\right){\rho }_m\left(\mathbf{b}\right)\right)=\hfill \\ & =N{\mathrm{G}}_m^M(v_m,w_m)\hfill \end{array}$$

(77)

as desired. □

5. The Problem of Estimation Theory

The purpose of estimation theory is to manipulate the outcomes of experiments in such a way to obtain an estimate of the “true state” on which the experiment has been performed. This is done by means of a map $\mathcal{E}:{\mathcal{X}}_n⟶M$ called estimator. In the following, we will always consider non-constant estimators.

Clearly, we need to come up with a way of establishing optimality for estimators. For this purpose, we introduce a smooth cost function $C:M\times M⟶\mathbb{R}$ which is non-negative and vanishes only on the diagonal. The choice of the cost function is essentially left to the ingenuity of the theoretician, and it is difficult to outline a general selection methodology. However, in some cases, the choice of the cost function is suggested by the context.

Starting with a cost function C, and writing ${\mathcal{E}}_j\equiv \mathcal{E}\left({\mathbf{x}}_j\right)$ for the value of the estimator at the j-th element of the outcome space ${\mathcal{X}}_n$, we introduce the function $L:M\times M⟶\mathbb{R}$ given by

$$L(m_1,m_2):=\sum _{j=1}^{n}C(m_1,{\mathcal{E}}_j)p^j\left({\mathrm{m}}_2\right)=\sum _{j=1}^{n}C(m_1,{\mathcal{E}}_j){\rho }_{m_2}\left({\mathbf{m}}^j\right),$$

(78)

where $(p^1\left(m_2\right),\cdots ,p^n\left(m_2\right))={\mathit{j}}^c\left(m_2\right)={\mathfrak{m}}^{\ast }\left({\rho }_{m_2}\right)$, and $\mathfrak{m}$ is the measurement procedure “generating” the statistical model $(M,{\mathit{j}}^c,{\Delta }_n^{+})$ associated with the parametric model $(M,\mathit{j},\mathcal{O})$ of states on $\mathcal{A}$ under investigation. It is clear from Equation (78) that if the cost function C is constant, then L does not actually depend on $m_2$, and the problem of estimation theory as will be now developed will lose meaning.

The function L may be seen as the expectation value of the real-valued, M-parametric random variable $C(m_1,\mathcal{E}(·))$ on ${\mathcal{X}}_n$ with respect to the M-parametric probability distribution $\mathfrak{m}\left({\rho }_{m_2}\right)$ on ${\mathcal{X}}_n$. Therefore, L measures how centered is the probability distribution generated by $C(m_1,\mathcal{E}(·))$.

Let $m_{\ast }\in M$ and denote by $L_{\ast }$ the function

$$L_{\ast }\left(m\right):=L(m,m_{\ast }).$$

(79)

The estimator $\mathcal{E}$ is called stationary for the cost function C at $m_{\ast }$ if $L_{\ast }$ has an extremum at $m=m_{\ast }$, that is, if

$$\left(V{L}_{\ast }\right)\left(m_{\ast }\right)=0$$

(80)

for all vector fields V on M. The estimator $\mathcal{E}$ is called unbiased for the cost function C at $m_{\ast }\in M$ if the function $L_{\ast }$ has a minimum at $m=m_{\ast }$, and it is called locally unbiased for the cost function C at $m_{\ast }$ if $L_{\ast }$ has a local minimum at $m=m_{\ast }$. In general, for a given cost function C, unbiased estimators need not exist.

Now, we may define an M-parametric self-adjoint element $\mathcal{M}$ in $\mathcal{A}$ setting

$${\mathcal{M}}_{m_1}:=\sum _{j=1}^{n}C(m_1,{\mathcal{E}}_j){\mathbf{m}}^j.$$

(81)

This element clearly depends also on the estimator $\mathcal{E}$ and on the measurement procedure $\mathfrak{m}$. Moreover, it allows us to write the function L as the expectation value of ${\mathcal{M}}_{m_1}$ with respect to the state ${\rho }_{m_2}$ according to

$$L(m_1,m_2)={\rho }_{m_2}\left({\mathcal{M}}_{m_1}\right).$$

(82)

The estimation problem may be approached from two different perspectives of increasing difficulty:

• the regular measurement procedure $\mathfrak{m}$ is fixed, and the unknown of the problem is the estimator $\mathcal{E}$, and
• both the regular measurement procedure $\mathfrak{m}$ and the estimator $\mathcal{E}$ are considered unknown.

Clearly, the first case reduces to the classical problem of estimation, and may be faced relying on well-known methods like the maximum likelihood estimator. The limit on the precision is then governed by the Cramer–Rao bound (see Section 6). The second case is definitely more difficult to address because the freedom in the choice of the regular measurement procedure adds another layer of complexity. However, in this case, the precision is governed by the Helstrom bound (see Section 7), and allows for a sharpening of the Cramer–Rao bound. Indeed, the freedom in choosing the measurement procedure reflects in the possibility of consider different “classical scenarios”, and choose the one with the lowest Cramer–Rao bound.

Unfortunately, for both forms of the problem, there is no algorithm to solve the problem in full generality, and a case-by-case analysis is mandatory.

Remark 2

(Stationary estimators for Euclidean cost function). Suppose that M is explicitly realized as an n-dimensional submanifold of ${\mathbb{R}}^N$ for some positive $N\in \mathbb{N}$ with $n\le N$. In this context, a common choice in parameter estimation theory is to consider the cost function C which is the Euclidean distance on ${\mathbb{R}}^N\times {\mathbb{R}}^N$ restricted to $M\times M$. Specifically, we have

$$C(m_1,m_2):=\frac{1}{2}{\left|m_1-m_2\right|}^2,$$

(83)

so that the function L reads

$$L(m_1,m_2):=\frac{1}{2}\sum _{j=1}^n{\left|m_1-{\mathcal{E}}_j\right|}^2{p}^j\left({\mathrm{m}}_2\right).$$

(84)

This type of cost function is called a Euclidean cost function for obvious reasons. Clearly, the Euclidean cost function C depends on the actual realization of the (a priori abstract) manifold M into a suitable ${\mathbb{R}}^N$. In particular, because of Whitney’s embedding theorem, given a parameter manifold M we can always build a Euclidean cost function. Of course, the actual usefulness of such a cost function is in principle not clear and should be investigated case by case. However, it often happens in concrete models that the parameter manifold M is “naturally” immersed in some given ${\mathbb{R}}^N$ by construction, and thus the Euclidean cost function unavoidably presents itself from the start.

If $\{{\theta }^1,...,{\theta }^n\}$ is a local system of coordinates on M, it is easy to see that being stationary at $m_{\ast }$ is equivalent to (see Equation (80))

$$m_{\ast }^k\left(\theta \right)={\mathrm{E}}_{m_{\ast }\left(\theta \right)}\left[{\mathcal{E}}^k\right]\forall k=1,...,N and \forall r=1,...,n,$$

(85)

where $m_1^k$ is the smooth function on M obtained by composing the canonical immersion of M in ${\mathbb{R}}^N$ with the canonical projection on the k-th factor, ${\mathcal{E}}^k$ is the real-valued random variable on $\mathcal{X}$ obtained by composing $\mathcal{E}$ with the canonical immersion of M in ${\mathbb{R}}^N$ and with the canonical projection on the k-th factor, and where ${\mathrm{E}}_{m_{\ast }}[·]$ denote the expectation value with respect to the M-parametric probability distribution ${\mathbf{p}}_{m_{\ast }}$.

As $C>0$ for all $(m_1,m_2)\in M\times M$ unless $m_1=m_2$, in which case it vanishes, we see that a stationary estimator at $m\in M$ is also locally unbiased at $m\in M$.

When M is an open subset of ${\mathbb{R}}^N$ and $\{{\theta }^1,...,{\theta }^N\}$ is a system of Cartesian coordinates, and when Equation (85) holds for all $m\in M$, we recover the standard definition of an unbiased estimator used in classical and quantum estimation theory ([3] ch. 4).

6. The Cramer–Rao Bound

Here, we recall Hendrik’s derivation of the Cramer–Rao bound for estimators with values in a manifold [29] when the underlying outcome space is discrete and finite. This gives a clear geometric picture of the Cramer–Rao bound which does not depend on the existence of a privileged coordinatization of the parameter space M as it is the case in most of the existing literature (see, for instance, in ([3] ch. 4) where it is clearly stated that the notion of unbiased estimator developed there is coordinate-dependent, as well as in [28,29,30])

Let $(M,\mathit{j},{\Delta }_n^{+})$ be a parametric statistical model. We refer to Definition 4 and the paragraph right after it, as well as to Remark 1 for a discussion of the regularity properties satisfied by the model $(M,\mathit{j},{\Delta }_n^{+})$. Recall that the metric ${\mathrm{G}}^M$ determined by Equation (21) coincides with the Fisher–Rao tensor on M as determined by standard methods of information geometry [1,2,3]. We assume that ${\mathrm{G}}^M$ is invertible.

In order to obtain the generalized Cramer–Rao bound for a stationary estimator, we need to exploit the geometrical properties of the product structure of the manifold $M\times M$. We will now recall these geometrical properties following ([103] sec. 2), to which we refer for the explicit proofs.

First of all, we note that there are two projections ${\pi }_l$ and ${\pi }_r$ from $M\times M$ to M given by

$$\begin{array}{cc}\hfill {\pi }_l(m_1,m_2)& :=m_1\hfill \\ \hfill {\pi }_r(m_1,m_2)& :=m_2,\hfill \end{array}$$

(86)

and there is also the diagonal immersion $i_d$ of M into $M\times M$ given by

$${\mathrm{i}}_d\left(m\right):=(m,m).$$

(87)

Given a vector field X on M, we may define its left and right lift to be the vector fields $X_l$ and $X_r$ on $M\times M$ characterized by

$$\begin{array}{cc}\hfill X_l\left({\pi }_l^{*}f\right)& ={\pi }_l^{*}\left(X\left(f\right)\right)\hfill \\ \hfill X_r\left({\pi }_r^{*}f\right)& ={\pi }_r^{*}\left(X\left(f\right)\right)\hfill \end{array}$$

(88)

for every smooth function f on M. It is possible to prove that every vector field X on M is $i_d$-related with the vector field $X_l+X_r$ on $M\times M$ ([103] sec. 2).

If $\mathcal{E}$ is a stationary estimator at $m_{\ast }\in M$ then $L_{\ast }$ has an extremum at $m_{\ast }$, and this is equivalent to

$${\left({\mathrm{i}}_d\left(X_{l}L\right)\right)}_{m=m_{\ast }}=0$$

(89)

for all vector fields $X_l$ on $M\times M$. We assume that $\mathcal{E}$ is a stationary estimator for all $m_{\ast }\in M$. This means that the function $\mathrm{L}={\mathrm{i}}_d\left(X_{l}L\right)$ identically vanishes. Consequently, given an arbitrary vector field Y on M, we also have

$$0=Y\left(i_d^{*}\mathrm{L}\right)=Y\left(i_d^{*}\left(X_{l}L\right)\right)=i_d^{*}\left((Y_l{X}_l+Y_r{X}_l)L\right),$$

(90)

which means

$$i_d^{*}\left(Y_l{X}_{l}L\right)=-i_d^{*}\left(Y_r{X}_{l}L\right).$$

(91)

As $\mathcal{E}$ is stationary at every $m_{\ast }$, it follows that the Hessian form ${\mathrm{H}}_{\ast }$ of $L_{\ast }$ at $m_{\ast }$ is well defined and we have

$${\mathrm{H}}_{\ast }(X\left(m_{\ast }\right),Y\left(m_{\ast }\right)):=\left(YX{L}_{\ast }\right)(m_{\ast }).$$

(92)

A moment of reflection shows that

$$\left(YX{L}_{\ast }\right)\left(m_{\ast }\right)=\left(i_d^{\ast }\left(Y_l{X}_{l}L\right)\right)\left(m_{\ast }\right)$$

(93)

so that

$${\mathrm{H}}_{\ast }(X\left(m_{\ast }\right),Y\left(m_{\ast }\right))=-\left(i_d^{\ast }\left(Y_r{X}_{l}L\right)\right)\left(m_{\ast }\right)$$

(94)

because of Equation (91). Set

$$\begin{array}{cc}\hfill C_{{\mathcal{E}}_j}\left(m\right)& :=C(m,{\mathcal{E}}_j)\hfill \end{array}$$

(95)

so that we have

$$L(m_1,m_2):=\sum _{j=1}^n{C}_{{\mathcal{E}}_j}\left(m_1\right)p^j\left({\mathrm{m}}_2\right)$$

(96)

and we obtain

$${\mathrm{H}}_{\ast }(X\left(m_{\ast }\right),Y\left(m_{\ast }\right))=-\sum _{j=1}^n\left(X_l{C}_{{\mathcal{E}}_j}\right)\left(m_{\ast }\right)\left(Y_r{p}^j\right)\left(m_{\ast }\right).$$

(97)

Introducing the real-valued random variables on the probability space $({\mathcal{X}}_n,\mathbf{p}\left(m_{\ast }\right))$ given by

$$\begin{array}{cc}\hfill F_X^{\ast }\left({\mathbf{x}}_j\right)& :=\left(X_l{C}_{{\mathcal{E}}_j}\right)\left(m_{\ast }\right)\hfill \\ \hfill G_Y^{\ast }\left({\mathbf{x}}_j\right)& :=\left(Y_{r}ln\left(p^j\right)\right)\left(m_{\ast }\right),\hfill \end{array}$$

(98)

we can rewrite the right hand side of Equation (97) as

$${\mathrm{H}}_{\ast }(X\left(m_{\ast }\right),Y\left(m_{\ast }\right))=-{\mathrm{E}}_{\ast }\left[F_X^{\ast }{G}_Y^{\ast }\right],$$

(99)

where ${\mathrm{E}}_{\ast }\left[·\right]$ denotes the expectation value with respect to the probability measure $\mathbf{p}\left(m_{\ast }\right)$. The expression

$${⟨F,G⟩}_{\ast }:={\mathrm{E}}_{\ast }\left[FG\right]$$

(100)

is an inner product on the space of random variables on the probability space $({\mathcal{X}}_n,\mathbf{p}\left(m_{\ast }\right)$, and the Cauchy–Schwarz inequality may be applied to obtain

$${\left({\mathrm{H}}_{\ast }(X\left(m_{\ast }\right),Y\left(m_{\ast }\right))\right)}^2\le {\mathrm{E}}_{\ast }\left[F_X^{\ast }{F}_X^{\ast }\right]{\mathrm{E}}_{\ast }\left[G_Y^{\ast }{G}_Y^{\ast }\right].$$

(101)

Then, a direct computation shows that

$$\begin{array}{cc}\hfill {\mathrm{E}}_{\ast }\left[G_Y^{\ast }{G}_Y^{\ast }\right]& =\sum _{j=1}^n\left(Y_{r}ln\left(p^j\right)\right)\left(m_{\ast }\right)\left(Y_{r}ln\left(p^j\right)\right)\left(m_{\ast }\right)p^j\left(m_{\ast }\right)=\hfill \\ & ={\mathrm{G}}^M(Y\left(m_{\ast }\right),Y\left(m_{\ast }\right)).\hfill \end{array}$$

(102)

Next, we introduce the expression

$$\begin{array}{cc}\hfill \mathcal{C}(X\left(m_{\ast }\right),Y\left(m_{\ast }\right))& :={\mathrm{E}}_{\ast }\left[F_X^{\ast }{F}_Y^{\ast }\right],\hfill \end{array}$$

(103)

which according to (98) implicitly contains the cost function C, so that we can write Equation (97) as

$${\left({\mathrm{H}}_{\ast }(X\left(m_{\ast }\right),Y\left(m_{\ast }\right))\right)}^2\le \mathcal{C}(X\left(m_{\ast }\right),X\left(m_{\ast }\right)){\mathrm{G}}^M(Y\left(m_{\ast }\right),Y\left(m_{\ast }\right)).$$

(104)

Clearly, $\mathcal{C}$ depends on the cost function C and the estimator $\mathcal{E}$.

Now, fix $X_{m_{\ast }}\in T_{m_{\ast }}M$, and define the function $H:T_{m_{\ast }}M⟶\mathbb{R}$ given by

$$Y\left(m_{\ast }\right)\equiv Y_{m_{\ast }}\mapsto H\left(Y_{m_{\ast }}\right):={\mathrm{H}}_{\ast }(X_{m_{\ast }},Y_{m_{\ast }}).$$

(105)

This function admits a maximum on the unit sphere determined by the Fisher–Rao metric. Indeed, the Fisher–Rao unit sphere in $T_{m_{\ast }}M$ is compact because the Fisher–Rao metric is a Riemannian metric (positive). Let $Y_{m_{\ast }}^0$ be a point on which H is maximum. Then, we may always find a real number $\lambda$ such that

$$H\left(Y_{m_{\ast }}\right)=\lambda {\mathrm{G}}^M(Y_{m_{\ast }}^0,Y_{m_{\ast }}),$$

(106)

so that

$$H\left(Y_{m_{\ast }}^0\right)=\lambda {\mathrm{G}}^M(Y_{m_{\ast }}^0,Y_{m_{\ast }}^0)=\lambda$$

(107)

because $Y_{m_{\ast }}^0$ lies on the Fisher–Rao unit sphere.

With an evident abuse of notation, we denote by ${\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right)$ the covector in $T_{m_{\ast }}^{\ast }M$ acting as

$$⟨{\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right),Z_{m_{\ast }}⟩:={\mathrm{H}}_{\ast }(Z_{m_{\ast }},X_{m_{\ast }})\forall Z_{m_{\ast }}\in T_{m_{\ast }}M,$$

(108)

and by ${\mathrm{G}}^M\left(Y_{m_{\ast }}^0\right)$ the covector in $T_{m_{\ast }}^{\ast }M$ given by

$$⟨{\mathrm{G}}^M\left(Y_{m_{\ast }}^0\right),Z_{m_{\ast }}⟩:={\mathrm{G}}^M\left(Y_{m_{\ast }}^0,Z_{m_{\ast }}\right)\forall Z_{m_{\ast }}\in T_{m_{\ast }}M.$$

(109)

Then, comparing Equation (105) with Equations (106), (108), and (109) allows us to conclude that

$${\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right)={\mathrm{G}}^M\left(\lambda Y_{m_{\ast }}^0\right),$$

(110)

which, assuming ${\mathrm{G}}^M$ to be invertible, is equivalent to

$${\left({\mathrm{G}}^M\right)}^{-1}\left({\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right),{\alpha }_{m_{\ast }}\right)=⟨{\alpha }_{m_{\ast }},\lambda Y_{m_{\ast }}^0⟩$$

(111)

for all covectors ${\alpha }_{m_{\ast }}\in T_{m_{\ast }}^{\ast }M$. In particular, setting ${\alpha }_{m_{\ast }}={\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right)$ we get

$${\left({\mathrm{G}}^M\right)}^{-1}\left({\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right),{\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right)\right)=⟨{\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right),\lambda Y_{m_{\ast }}^0⟩=\lambda H\left(Y_{m_{\ast }}^0\right)$$

(112)

because of Equations (108) and (105). Now, Equation (105) together with Equations (107) and (112) imply that

$$\begin{array}{cc}\hfill {\left({\mathrm{H}}_{\ast }(Y_{m_{\ast }}^0,X_{m_{\ast }})\right)}^2& ={\left(H\left(Y_{m_{\ast }}^0\right)\right)}^2=\lambda H\left(Y_{m_{\ast }}^0\right)=\hfill \\ & ={\left({\mathrm{G}}^M\right)}^{-1}\left({\mathrm{H}}_{m_{\ast }}\left(X_{m_{\ast }}\right),{\mathrm{H}}_{m_{\ast }}\left(X_{m_{\ast }}\right)\right).\hfill \end{array}$$

(113)

Eventually, recalling that $Y_{m_{\ast }}^0$ lies on the Fisher–Rao unit sphere, Equations (104) and (113) lead us to the generalized Cramer–Rao bound

$$\mathcal{C}(X_{m_{\ast }},X_{m_{\ast }})\ge {\left({\mathrm{G}}^M\right)}^{-1}\left({\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right),{\mathrm{H}}_{\ast }\left(X_{m_{\ast }}\right)\right).$$

(114)

If the Hessian form of $L_{\ast }$ at $m_{\ast }$ is invertible, we define the covariance bivector $\mathrm{Cov}$ as

$$\mathrm{Cov}({\xi }_{m_{\ast }},{\eta }_{m_{\ast }}):=\mathcal{C}\left({\mathrm{H}}_{\ast }^{-1}\left({\xi }_{m_{\ast }}\right),{\mathrm{H}}_{\ast }^{-1}\left({\eta }_{m_{\ast }}\right)\right),$$

(115)

where ${\xi }_{m_{\ast }},{\eta }_{m_{\ast }}\in T_{m_{\ast }}^{\ast }M$. We may then rewrite the generalized Cramer–Rao bound in terms of covectors. We proved the following.

Proposition 2.

Let $(M,\mathit{j},{\Delta }_n^{+})$ be a parametric statistical model for which ${\mathrm{G}}^M$ is invertible. Let C be a cost function and let $\mathcal{E}$ be a stationary estimator for C at $m_{\ast }$. If the Hessian form of $L_{\ast }$ at $m_{\ast }$ is invertible, then we have the generalized Cramer–Rao bound

$$\mathrm{Cov}({\xi }_{m_{\ast }},{\xi }_{m_{\ast }})\ge {\left({\mathrm{G}}^M\right)}^{-1}\left({\xi }_{m_{\ast }},{\xi }_{m_{\ast }}\right)$$

(116)

for all ${\xi }_{m_{\ast }}\in T_{m\ast }^{\ast }M$.

Let us stress that, because of the regularity properties satisfied by the model $(M,\mathit{j},{\Delta }_n^{+})$ (see Definition 4, the paragraph right after it, and Remark 1) and because of the assumed invertibility of ${\mathrm{G}}^M$, the formulation of the Cramer–Rao bound given in Proposition 2 refers to the case in which the support of the considered probability distributions does not depend on the element m in the parameter manifold M. It is worth noting that in the literature, when the support of the considered probability density functions may depend on the parameter, there is still a version of the Cramer–Rao bound, the so-called Cramer–Rao–Leibniz bound, see, for instance, in [104].

A stationary estimator $\mathcal{E}$ which saturates the Cramer–Rao bound for every $v_m$ is called efficient. The Cramer–Rao bound is related to the cost function C and to the estimator $\mathcal{E}$; however, it is expressed in terms of the (inverse of the) Fisher–Rao metric tensor on M which is a geometrical object on M, which is completely independent of the cost function and the estimator. Note, however, that the expression (115) is invariant under rescaling the cost function C, because the expression $\mathcal{C}$ by (103) contains such a scaling factor quadratically, and this is canceled because the inverse of the Hessian enters quadratically into (115).

Remark 3

(The Cramer–Rao bound for Euclidean cost functions). The “standard form” of the Cramer–Rao inequality used in classical information geometry is obtained when we M and the cost function C are as in Remark 2. In this case, a direct computation shows that, in local coordinates around $m_{\ast }$, the components Hessian form of $L_{\ast }$ at every stationary point are given by

$${\left({\mathrm{H}}_{\ast }\right)}_{jk}=\left({\delta }_{rs}\frac{\partial m^r}{\partial {\theta }^j}\frac{\partial m^s}{\partial {\theta }^k}\right)\left(m_{\ast }\right).$$

(117)

Assuming that M is open in the ambient manifold ${\mathbb{R}}^N$, and taking $\{{\theta }^1,...,{\theta }^N\}$ to be the Cartesian coordinates associated with the canonical projections of ${\mathbb{R}}^N$ on $\mathbb{R}$ we immediately see that

$${\left({\mathrm{H}}_{\ast }\right)}_{jk}={\delta }_{jk}.$$

(118)

Therefore, writing

$${\left(\mathrm{Cov}\left(m_{\ast }\right)\right)}^{jk}\equiv \mathrm{Cov}(\mathrm{d}{\theta }^j\left(m_{\ast }\right),\mathrm{d}{\theta }^k\left(m_{\ast }\right)),$$

(119)

a direct computation shows that the covariance matrix ${\left(\mathrm{Cov}\left(m_{\ast }\right)\right)}^{jk}$ at the point $m_{\ast }$ for which $\mathcal{E}$ is a stationary estimator reads

$$\begin{array}{cc}\hfill {\left(\mathrm{Cov}\left(m_{\ast }\right)\right)}^{jk}& ={\mathrm{E}}_{p_{\ast }}\left[\left({\mathcal{E}}^j-{\mathrm{E}}_{p_{\ast }}\left[{\mathcal{E}}^j\right]\right)\left({\mathcal{E}}^k-{\mathrm{E}}_{p_{\ast }}\left[{\mathcal{E}}^k\right]\right)\right]\hfill \end{array},$$

(120)

which is essentially the form usually found in standard textbooks on estimation theory in statistics. The “standard form” of the Cramer–Rao bound follows immediately.

7. The Helstrom Bound

The Cramer–Rao bound found in Section 6 applies to parametric statistical models. As such, it depends only on the Fisher–Rao metric on M, which, in turn, depends on the properties of the Abelian algebra underlying the parametric statistical model. Accordingly, if $(M,{\mathit{j}}^c,{\Delta }_n^{+})$ is the parametric statistical model associated with a parametric model of states $(M,\mathit{j},\mathcal{O})$ on the possibly noncommutative $C^{\ast }$-algebra $\mathcal{A}$, the Cramer–Rao bound for $(M,{\mathit{j}}^c,{\Delta }_n^{+})$ “does not feel” the possible noncommutativity of the algebra $\mathcal{A}$. However, it is possible to formulate a bound which “feels” the possible non-commutativity of $\mathcal{A}$, and this bound is related with the metric tensor ${\mathrm{G}}^M$ and its relation with ${\mathrm{G}}^{Mc}$. This bound is essentially the $C^{\ast }$-algebraic formulation of the Helstrom bound used in quantum information theory, and the content of the following proposition will be the key point to formulate the Helstrom bound in the $C^{\ast }$-algebraic framework.

Proposition 3.

Let $(M,\mathit{j},\mathcal{O})$ be a parametric model of states on the finite-dimensional $C^{\ast }$-algebra $\mathcal{A}$, and let ${\mathrm{G}}^M$ be the symmetric covariant tensor on M defined by Equation (21). Let $(M,{\mathit{j}}^c,{\Delta }_n^{+})$ be a parametric statistical model associated with $(M,\mathit{j},\mathcal{O})$, and let ${\mathrm{G}}^{Mc}$ be the symmetric covariant tensor on M defined by Equation (62). Then, we have

$${\mathrm{G}}_m^M(v_m,v_m)\ge {\mathrm{G}}_m^{Mc}(v_m,v_m)$$

(121)

for every $m\in M$ and every $v_m\in T_{m}M$.

Proof. 

According to the definition of the SLD given in Equation (23), given an arbitrary tangent vector $v_m\in T_{m}M$, there is a gradient vector field ${\mathbb{Y}}_{\mathbf{a}}$ on $\mathcal{O}$ such that

$$T_m\mathit{j}\left(v_m\right)={\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right).$$

(122)

Consequently, we have (recalling (16))

$${\mathrm{G}}_m^M(v_m,v_m)={\mathrm{G}}_{{\rho }_m}({\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right),{\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right))={\rho }_m\left({\mathbf{a}}^2\right)-{\left({\rho }_m\left(\mathbf{a}\right)\right)}^2.$$

(123)

On the other hand, by definition, we have

$${\mathrm{G}}^{Mc}={\left({\mathit{j}}^c\right)}^{*}{\mathrm{G}}_{FR}={({\mathfrak{m}}^{\ast }\circ \mathit{j})}^{*}{\mathrm{G}}_{FR}={\mathit{j}}^{*}\left({\left({\mathfrak{m}}^{\ast }\right)}^{*}{\mathrm{G}}_{FR}\right),$$

(124)

which means

$${\mathrm{G}}_m^{Mc}(v_m,v_m)={\left({\left({\mathfrak{m}}^{\ast }\right)}^{*}{\mathrm{G}}_{FR}\right)}_{{\rho }_m}({\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right),{\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right)),$$

(125)

and thus we have to prove that

$${\left({\left({\mathfrak{m}}^{\ast }\right)}^{*}{\mathrm{G}}_{FR}\right)}_{{\rho }_m}({\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right),{\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right))\le {\rho }_m\left({\mathbf{a}}^2\right)-{\left({\rho }_m\left(\mathbf{a}\right)\right)}^2$$

(126)

to prove the proposition.

We note that, with any fixed $\rho \in \mathcal{O}$ and given an arbitrary non-zero gradient tangent vector ${\mathbb{Y}}_{\mathbf{a}}\left(\rho \right)$, there is an element ${\mathbf{a}}_c\in {\mathcal{C}}_n\equiv C\left({\mathcal{X}}_n\right)$ and a gradient tangent vector ${\mathbb{Y}}_{a_c}\left({\mathfrak{m}}^{\ast }\left(\rho \right)\right)$ at ${\mathfrak{m}}^{\ast }\left(\rho \right)\in {\mathcal{O}}^c$ such that

$$T_{\rho }{\mathfrak{m}}^{\ast }\left({\mathbb{Y}}_{\mathbf{a}}\left(\rho \right)\right)={\mathbb{Y}}_{a_c}\left({\mathfrak{m}}^{\ast }\left(\rho \right)\right),$$

(127)

and a direct computation shows that ${\mathbf{a}}_c$ is characterized by the property

$$\rho \left(\{\mathbf{a},\mathfrak{m}\left({\mathbf{b}}_c\right)\}\right)-\rho \left(\mathbf{a}\right)\rho \left(\mathfrak{m}\left({\mathbf{b}}_c\right)\right)=\rho \left(\mathfrak{m}\left({\mathbf{a}}_c{\mathbf{b}}_c\right)\right)-\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\rho \left(\mathfrak{m}\left({\mathbf{b}}_c\right)\right)$$

(128)

for all ${\mathbf{b}}_c\in {\mathcal{C}}_n$. Therefore, we have

$$\begin{array}{cc}\hfill {\left({\left({\mathfrak{m}}^{\ast }\right)}^{*}{\mathrm{G}}_{FR}\right)}_{\rho }({\mathbb{Y}}_{\mathbf{a}}\left(\rho \right),{\mathbb{Y}}_{\mathbf{a}}\left(\rho \right))& ={\left({\mathrm{G}}_{FR}\right)}_{{\mathfrak{m}}^{\ast }\left(\rho \right)}\left(T_{\rho }{\mathfrak{m}}^{\ast }\left({\mathbb{Y}}_{\mathbf{a}}\left(\rho \right)\right),T_{\rho }{\mathfrak{m}}^{\ast }\left({\mathbb{Y}}_{\mathbf{a}}\left(\rho \right)\right)\right)=\hfill \\ & ={\left({\mathrm{G}}_{FR}\right)}_{{\mathfrak{m}}^{\ast }\left(\rho \right)}\left({\mathbb{Y}}_{a_c}\left({\mathfrak{m}}^{\ast }\left(\rho \right)\right),{\mathbb{Y}}_{a_c}\left({\mathfrak{m}}^{\ast }\left(\rho \right)\right)\right)=\hfill \\ & =\rho \left(\mathfrak{m}\left({\mathbf{a}}_c^2\right)\right)-{\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\right)}^2.\hfill \end{array}$$

(129)

Recalling Equation (126), we see that if the inequality

$$\rho \left(\mathfrak{m}\left({\mathbf{a}}_c^2\right)\right)-{\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\right)}^2\le \rho \left({\mathbf{a}}^2\right)-{\left(\rho \left(\mathbf{a}\right)\right)}^2$$

(130)

holds for all $\rho ,\mathbf{a},{\mathbf{a}}_c$ and $\mathfrak{m}$ satisfying Equation (127), then the proposition is proved.

Next, by means of Equation (128), we write

$$\rho \left(\mathfrak{m}\left({\mathbf{a}}_c^2\right)\right)-{\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\right)}^2=\rho \left(\{\mathbf{a},\mathfrak{m}\left({\mathbf{a}}_c\right)\}\right)-\rho \left(\mathbf{a}\right)\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right),$$

(131)

and since $\rho \left(\right\{·,·\left\}\right)-\rho (·)\rho (·)$ is an inner product on the space of self-adjoint elements of $\mathcal{A}$, we may apply the Cauchy–Schwarz inequality to obtain

$${\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c^2\right)\right)-{\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\right)}^2\right)}^2\le \left(\rho \left({\mathbf{a}}^2\right)-{\left(\rho \left(\mathbf{a}\right)\right)}^2\right)\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\mathfrak{m}\left({\mathbf{a}}_c\right)\right)-{\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\right)}^2\right).$$

(132)

Now, $\mathfrak{m}$ is a positive unital map, and thus it satisfies Kadison’s inequality

$$\mathfrak{m}\left({\mathbf{a}}_c^2\right)\ge \mathfrak{m}\left({\mathbf{a}}_c\right)\mathfrak{m}\left({\mathbf{a}}_c\right),$$

(133)

from which it follows that

$$\rho \left(\mathfrak{m}\left({\mathbf{a}}_c^2\right)\right)\ge \rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\mathfrak{m}\left({\mathbf{a}}_c\right)\right).$$

(134)

Consequently, assuming that $\rho \left(\mathfrak{m}\left({\mathbf{a}}_c^2\right)\right)-{\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\right)}^2\ne 0$, we have

$$\frac{\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\mathfrak{m}\left({\mathbf{a}}_c\right)\right)-{\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\right)}^2}{\rho \left(\mathfrak{m}\left({\mathbf{a}}_c^2\right)\right)-{\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\right)}^2}\le 1$$

(135)

and thus

$$\begin{array}{cc}\hfill \rho \left(\mathfrak{m}\left({\mathbf{a}}_c^2\right)\right)-{\left(\rho \left(\mathfrak{m}\left({\mathbf{a}}_c\right)\right)\right)}^2& \le \rho \left({\mathbf{a}}^2\right)-{\left(\rho \left(\mathbf{a}\right)\right)}^2,\hfill \end{array}$$

(136)

and the proposition is proved. □

From the proof of Proposition 3, we easily obtain the following corollary.

Corollary 1.

Let $(M,\mathit{j},\mathcal{O})$ be a parametric model of states on the $C^{\ast }$-algebra $\mathcal{A}$. Suppose there is a unital, Abelian $C^{\ast }$-subalgebra $\mathcal{C}\subseteq \mathcal{A}$ such that, for all $v_m\in T_{m}M$, the SLD ${\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right)$ of $v_m$ at ${\rho }_m=\mathit{j}\left(m\right)$ given by

$$T_m\mathit{j}\left(v_m\right)={\mathbb{Y}}_{\mathbf{a}}\left({\rho }_m\right)$$

(137)

is such that $\mathbf{a}\in \mathcal{C}$. Suppose also that the measurement procedure $\mathfrak{m}:={\mathit{i}}_{\mathcal{C}}$ given by the natural inclusion of $\mathcal{C}$ in $\mathcal{A}$ gives rise to a parametric statistical model $(M,{\mathit{j}}^c,{\Delta }_n^{+})$ associated with $(M,\mathit{j},\mathcal{O})$. Then, it holds

$${\mathrm{G}}_m^M(v_m,v_m)={\mathrm{G}}_m^{Mc}(v_m,v_m).$$

(138)

Now, let $(M,\mathit{j},\mathcal{O})$ be a parametric model of states on the $C^{\ast }$-algebra $\mathcal{A}$, and let $(M,{\mathit{j}}^c,{\Delta }_n^{+})$ be a parametric statistical model associated with $(M,\mathit{j},\mathcal{O})$. Assume $(M,\mathit{j},\mathcal{O})$ and $(M,{\mathit{j}}^c,{\Delta }_n^{+})$ to be such that ${\mathrm{G}}^M$ and ${\mathrm{G}}^{Mc}$ are invertible. Let C be a cost function and $\mathcal{E}$ an estimator as in Section 5. Assume $\mathcal{E}$ is a stationary estimator at $m_{\ast }$, and let $C_{{\mathcal{E}}_j}:M\to \mathbb{R}$ be the smooth function given by $C_{{\mathcal{E}}_j}\left(m\right):=C(m,{\mathcal{E}}_j)$, where ${\mathcal{E}}_j\equiv \mathcal{E}\left({\mathbf{x}}_j\right)$ with ${\mathbf{x}}_j\in {\mathcal{X}}_n$.

According to the results of Section 6 (see Equations (98), (103), and (114)), given $v_{m_{\ast }},w_{m_{\ast }}\in T_{m_{\ast }}M$, the bilinear form

$$\mathcal{C}(v_{m_{\ast }},w_{m_{\ast }}):=\sum _{j=1}^n{v}_{m_{\ast }}\left(C_{{\mathcal{E}}_j}\right)w_{m_{\ast }}\left(C_{{\mathcal{E}}_j}\right)p^j\left(m_{\ast }\right),$$

(139)

where $v_{m_{\ast }}\left(C_{{\mathcal{E}}_j}\right)$ is the derivative of $C_{{\mathcal{E}}_j}$ in the direction of $v_{m_{\ast }}$ evaluated at $m_{\ast }\in M$ (and similarly for $w_{m_{\ast }}\left(C_{{\mathcal{E}}_j}\right)$), satisfies the Cramer–Rao bound given by

$$\mathcal{C}(v_{m_{\ast }},v_{m_{\ast }})\ge {\left({\mathrm{G}}_{m_{\ast }}^{Mc}\right)}^{-1}\left({\mathrm{H}}_{m_{\ast }}\left(v_{m_{\ast }}\right),{\mathrm{H}}_{m_{\ast }}\left(v_{m_{\ast }}\right)\right),$$

(140)

where ${\mathrm{G}}^{Mc}$ is the Fisher–Rao metric on M seen as a parametric statistical model in ${\Delta }_n^{+}$, and ${\mathrm{H}}_{m_{\ast }}$ is the Hessian form of the function $L_{m_{\ast }}:M\to \mathbb{R}$ given by $L_{m_{\ast }}\left(m_1\right):=L(m_1,m_{\ast })$ at the point $m_1=m_{\ast }$ (see Equation (78)).

Then, Proposition 3 states that

$${\mathrm{G}}_m^M(w_m,w_m)\ge {\mathrm{G}}_m^{Mc}(w_m,w_m)$$

(141)

for every $w_m\in T_{m}M$. Consequently, we also obtain that

$${\left({\mathrm{G}}_m^M\right)}^{-1}({\alpha }_m,{\alpha }_m)\le {\left({\mathrm{G}}_m^{Mc}\right)}^{-1}({\alpha }_m,{\alpha }_m)$$

(142)

for every ${\alpha }_m\in T_m^{\ast }M$ (see ([105] Ex. 1.2.12)), and the Cramer–Rao bound in Equation (116) allows us to state that

$$\mathcal{C}(v_{m_{\ast }},v_{m_{\ast }})\ge {\left({\mathrm{G}}_{m_{\ast }}^{Mc}\right)}^{-1}\left({\mathrm{H}}_{m_{\ast }}\left(v_{m_{\ast }}\right),{\mathrm{H}}_{m_{\ast }}\left(v_{m_{\ast }}\right)\right)\ge {\left({\mathrm{G}}_{m_{\ast }}^M\right)}^{-1}\left({\mathrm{H}}_{m_{\ast }}\left(v_{m_{\ast }}\right),{\mathrm{H}}_{m_{\ast }}\left(v_{m_{\ast }}\right)\right).$$

(143)

We proved the following.

Proposition 4.

Let $(M,{\mathit{j}}^c,{\Delta }_n^{+})$ be the parametric statistical model associated with a parametric model of states $(M,\mathit{j},\mathcal{O})$. Assume that both ${\mathrm{G}}^M$ and ${\mathrm{G}}^{Mc}$ are invertible. Let C be a cost function and let $\mathcal{E}$ be a stationary estimator for C at m. If the Hessian form of $L_{m_{\ast }}$ at $m_{\ast }$ is invertible, then we have the generalized Helstrom bound

$$\mathrm{Cov}({\xi }_{m_{\ast }},{\xi }_{m_{\ast }})\ge {\left({\mathrm{G}}_{m_{\ast }}^{Mc}\right)}^{-1}\left({\xi }_{m_{\ast }},{\xi }_{m_{\ast }}\right)\ge {\left({\mathrm{G}}_{m_{\ast }}^M\right)}^{-1}\left({\xi }_{m_{\ast }},{\xi }_{m_{\ast }}\right)$$

(144)

for all ${\xi }_{m_{\ast }}\in T_{m\ast }^{\ast }M$.

This is the Helstrom bound for parametric models of states on a $C^{\ast }$-algebra. Indeed, when $\mathcal{A}$ is the algebra $\mathcal{B}\left(\mathcal{H}\right)$ of bounded operators on the Hilbert space $\mathcal{H}$ of a finite-level quantum system, $\mathcal{O}$ is the orbit of faithful density operators on $\mathcal{H}$, M is an open subset of some ${\mathbb{R}}^k$ with $k\in \mathbb{N}$. Then, in accordance with Remark 2, the cost function C may be taken to be the Euclidean distance on ${\mathbb{R}}^k\times {\mathbb{R}}^k$ pulled back on $M\times M$, and a direct computation shows that Equation (143) reduces to the so-called Helstrom bound used in quantum estimation theory or quantum metrology [6,7,8,90].

Remark 4

(Helstrom bound for multiple-round models). If we consider multiple rounds as in the end of Section 4, that is, we set $\mathcal{X}={\mathcal{Y}}^N$, then Proposition 1 implies that the Helstrom bound can be written as

$$\begin{array}{cc}\hfill \mathcal{C}(v_m,v_m)& \ge {\left({\mathrm{G}}_m^{McN}\right)}^{-1}\left({\mathrm{H}}_m\left(v_m\right),{\mathrm{H}}_m\left(v_m\right)\right)\hfill \\ & \ge {\left({\mathrm{G}}_m^{MN}\right)}^{-1}\left({\mathrm{H}}_m\left(v_m\right),{\mathrm{H}}_m\left(v_m\right)\right)\hfill \\ & \ge \frac{1}{N}{\left({\mathrm{G}}_m^M\right)}^{-1}\left({\mathrm{H}}_m\left(v_m\right),{\mathrm{H}}_m\left(v_m\right)\right),\hfill \end{array}$$

(145)

and this equation allows for the asymptotic analysis of the bound.

The Helstrom bound is a universal bound for all the possible parametric statistical models associated with a given parametric model of states on a given $C^{\ast }$-algebra. This makes it quite a remarkable bound.

It is clear that, independently of the cost function and of the estimator we may choose, the Helstrom bound may be saturated if and only if

$${\mathrm{G}}_m^M(v_m,v_m)={\mathrm{G}}_m^{Mc}(v_m,v_m).$$

(146)

Then, Corollary 1 shows that this is in principle always true for one-dimensional models because we can always take the unital, Abelian $C^{\ast }$-subalgebra generated by the self-adjoint element $\mathbf{a}$ associated with the SLD of a given $v_m$ at ${\rho }_m$, and we are in the hypothesis of the corollary. However, it is also clear that for higher-dimensional models like the one in Example 4, this strategy may not be available.

8. Conclusions

We presented a preliminary account of the formulation of estimation theory in the context of parametric models of states on finite-dimensional $C^{\ast }$-algebras. The aim is to set the stage for the development of a mathematical formulation of estimation theory that can deal with the classical and quantum case “at the same time” by simply switching between commutative and noncommutative algebras.

After reviewing the differential geometric properties of the space of states $\mathcal{S}$ of an arbitrary finite-dimensional $C^{\ast }$-algebra $\mathcal{A}$, we introduced the notion of parametric model of states on $\mathcal{A}$. Then, following what is done in quantum information theory using POVMs, we considered how the explicit choice of a positive linear map from $\mathcal{A}$ to a suitable commutative $C^{\ast }$-algebra $\mathcal{C}$ gives rise to the notion of parametric statistical model of states associated with the starting parametric model of states on $\mathcal{A}$. This parametric statistical model may be viewed as a classical-like snapshot of the given parametric model of states on the possibly noncommutative algebra $\mathcal{A}$, and the Cramer–Rao bound for manifold-valued estimators is available for this model.

The fact that when $\mathcal{A}$ is noncommutative there is more than one such classical-like snapshot means that there is a Cramer–Rao bound for every classical-like snapshot of a given parametric model of states on $\mathcal{A}$. This instance leads us to reformulate the so-called Helstrom bound to the case of a parametric model of states on a generic $C^{\ast }$-algebra and not just the algebra of bounded linear operators on a Hilbert space as it is customarily done in quantum information theory. The Helstrom bound gives a lower bound for all the possible Cramer–Rao bounds associated with the classical-like snapshots of a given parametric model of states on $\mathcal{A}$. The possibility of considering also multiple-round models is briefly discussed, and the Helstrom bound derived in this context will be the starting point for the asymptotic theory of estimation theory in the $C^{\ast }$-algebraic framework we will deal with in future works.

As already remarked in the introduction, this work should be interpreted as a preliminary step toward a more general understanding of classical and quantum estimation theory. Accordingly, there are different instances that are left open for further developments. For instance, it is necessary to understand the general conditions for the attainability of the Helstrom bound for parametric models of states of dimension greater or equal than 2. It is also necessary to understand how to formulate other relevant bounds like the RLD-bound and the Holevo bound used in quantum information theory in the $C^{\ast }$-algebraic framework, as well as to understand how to perform the transition to the infinite dimensional case. From another point of view, it would be interesting to understand a suitable $C^{\ast }$-algebraic counterpart of the Amari–Cencov 3-tensor and the affine geometry it encodes in order generalize to the quantum case the understanding of the role of Frobenius manifolds recently investigated in the classical case [106,107]. We plan to address these issues in future works.