Dually flat structures induced from monotone metrics on a two-level quantum state space

The notion of dually flatness is of central importance in information geometry. Nevertheless, little is known about dually flat structures on quantum statistical manifolds except that the Bogoliubov metric admits a global dually flat structure on a quantum state space S(Cd)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {S}}}({{\mathbb {C}}}^d)$$\end{document} for any d≥2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$d\ge 2$$\end{document}. In this paper, we show that every monotone metric on a two-level quantum state space S(C2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {S}}}({{\mathbb {C}}}^2)$$\end{document} admits a local dually flat structure.


Introduction
A Riemannian metric g on a flat manifold (M, ∇) is called a Hessian metric if there is a function ψ on M such that g = ∇dψ, or equivalently, where (θ i ) is a ∇-affine local coordinate system [1]. It is well known that a metric g on a flat manifold (M, ∇) is of Hessian type if and only if it satisfies the Codazzi equation Since ∇ is assumed to be a flat connection, the integrability condition (2) is equivalent to saying that the dual affine connection ∇ * defined by is torsion free. Thus, (g, ∇) is a Hessian structure if and only if (g, ∇, ∇ * ) is a (local) dually flat structure [2,3]. As mentioned above, it is straightforward to verify whether a Riemannian metric g on a flat manifold (M, ∇) is of Hessian type. In this paper, we are interested in a slightly different problem. Given a Riemannian manifold (M, g), determine whether there is an affine connection ∇ that makes g of Hessian type. This is equivalent to asking whether there is a local coordinate system (θ i ) and a function ψ that satisfy (1). If this is the case, we say that the Riemannian manifold (M, g) admits a Hessian structure. a e-mail: fujiwara@math.sci.osaka-u.ac.jp (corresponding author) This problem was raised in [2, p. 102] and was recalled in [3,4]. Determining whether a manifold admits a global dually flat structure was studied in [5]. For a local structure, a clarification was made by Bryant [6] and Amari and Armstrong [7], who proved the following Proposition 1 If dim M = 2 and g is analytic, a Riemannian manifold (M, g) admits a Hessian structure. If dim M ≥ 3, a Riemannian manifold (M, g) does not always admit a Hessian structure.
The idea behind the proof of Proposition 1 is simple. Letting n = dim M, the left-hand side of (1) consists of 1 2 n(n + 1) functions g i j , while the right-hand side of (1) depends only on (n + 1) functions θ 1 , . . . , θ n , and ψ. Thus, if n > 2, not every metric g can be represented in the form (1). Note that Amari and Armstrong [7] further discussed a curvature obstruction to the existence of Hessian metrics when dim M ≥ 4.
Turning our attention to quantum information geometry [3], there is a standard affine connection ∇ (m) , called the mixture connection (m-connection, for short), on a quantum state space S. Since the m-connection stems from the natural convex structure of S, the 2-tuple (S, ∇ (m) ) forms a flat manifold. It is then natural to inquire whether a Riemannian metric g on the flat manifold (S, ∇ (m) ) is of Hessian type. A crucial answer to this problem was given by Nagaoka [3], who proved that a metric g on (S, ∇ (m) ) induced from a generalized covariance is of Hessian type if and only if g is the Bogoliubov metric. The canonical divergence of the corresponding dually flat structure is the Umegaki relative entropy [8].
A variety of other divergence-like quantities on a quantum state space S have been devised, and their relationships to information geometry have been discussed (see, for example, [9][10][11][12][13][14][15], and the references cited therein). In particular, it is known that every monotone quantum metric on S can be linked with some quantum relative entropy [12]. However, none of them except the Umegaki relative entropy is interpreted as the canonical divergence associated with some dually flat structure. In other words, we do not know any monotone quantum metric besides the Bogoliubov metric that admits a Hessian structure. It is then interesting to inquire whether there are other monotone metrics on a quantum state space that admit Hessian structures. The purpose of this paper is to give a positive answer to this question. The main result is the following Theorem 2 Every monotone metric on a two-level quantum state space admits a Hessian structure.
The paper is organized as follows. In Sect. 2, we give a brief review of monotone metrics on a quantum state space S(H) over a finite-dimensional Hilbert space H. In Sect. 3, we prove Theorem 2 by showing the existence of a local coordinate system (θ i ) and a function ψ that satisfy (1) for any monotone metric on S(C 2 ). In Sect. 4, we demonstrate the dually flat structures induced from the SLD and the RLD metrics in depth. Section 5 is devoted to concluding discussion.

Monotone metrics on quantum state spaces
Let L(H) and L sa (H) denote the sets of linear operators and selfadjoint operators on a finite-dimensional complex Hilbert space H, and let L ++ (H) denote the subset of L sa (H) comprising strictly positive operators. In this paper, we are interested in information geometrical structures of the set which is called the quantum state space on H.
In quantum information geometry, it is customary to use a pair of operator representations of tangent vectors called the m-representation and the e-representation [3]. The mrepresentation X (m) of a tangent vector X ∈ T ρ S at ρ ∈ S is simply defined by As to the e-representation, there are several ways of introducing it. For later convenience, we adopt the following definition. Given a monotone increasing continuous function f : R ++ → R ++ satisfying the normalization f (1) = 1 and the symmetry condition where ρ : L(H) → L(H) is the modular operator [16] for ρ ∈ S defined by A Riemannian metric g on S is then defined by the pairing between e-and m-representations. A metric g is called monotone [17,18] if it satisfies the monotonicity for any completely positive trace-preserving map γ : L(H) → L(H). The physical implication of this inequality is that the distinguishability of two nearby quantum states as measured by g cannot be enhanced by any physical process γ . Thus, the monotonicity is regarded as a fundamental requirement for a metric. According to Petz's theorem [18], the metric g given by (4) is monotone if and only if the representing function f is operator monotone.
In what follows, we denote the set of normalized symmetric operator monotone functions f : Note that 2t/(1 + t) and (1 + t)/2 are the minimum and the maximum elements of F [19].
In [20]. Since the correspondence between f and f ⊥ is one to one (in fact, ( f ⊥ ) ⊥ = f ), we could express the e-representation (3) in terms of f ⊥ ∈ F as follows: Actually, in his original argument, Petz [18] employed this expression to represent monotone metrics.
Let us derive an explicit formula for the monotone metric g associated with an operator monotone function f ∈ F . Let f associated with f ∈ F is given by and the corresponding monotone metric g is given by Here, the second equality is due to the symmetry f (t) = t f (1/t). This formula will be used in calculating the components of a monotone metric g.

Proof of Theorem 2
In this section, we prove that any monotone metric on the quantum state space S(C 2 ) admits a Hessian structure. Each element ρ of S(C 2 ) is uniquely specified by the so-called Stokes parameters (x 1 , x 2 , x 3 ) ∈ R 3 as follows: where σ 1 , σ 2 , σ 3 are the standard Pauli matrices. In order to assure the strict positivity of ρ, the parameters must belong to the open unit ball which is sometimes referred to as the Bloch ball. In what follows, we adopt the Stokes parameters (x 1 , x 2 , x 3 ) as a reference coordinate system of S(C 2 ). Due to the Codazzi equation (2), a Riemannian manifold (S(C 2 ), g) admits a Hessian structure if and only if there is a local coordinate system θ = (θ i ) that satisfies where are the components of g with respect to the reference coordinate system x = (x λ ), and Einstein's summation convention is used.
Suppose we are given an operator monotone function f ∈ F . Then, by a direct computation using (5), the components g λμ of the corresponding monotone metric g are given by where r : We shall prove Theorem 2 by showing the existence of a local coordinate system θ = (θ i ) that satisfies the integrability conditions (7). To this end, we assume that the solution x i = x i (θ ) has the form where F is a smooth positive function. This transformation will turn out to be pertinent to our problem because the functional form is covariant under the uniform shift of the origin θ i → θ i + c. Note that the local coordinate system θ = (θ i ) in (9) only covers the positive octant of the Bloch ball B. This difficulty is evaded just by rotating the reference frame (σ 1 , σ 2 , σ 3 ) in (6), which results in rotating the x i -axes in R 3 . In this way, we can construct an atlas that covers the Bloch ball except the origin. Since where R := e 2θ 1 + e 2θ 2 + e 2θ 3 . Further, since the Jacobian of the coordinate transformation (9) is Let us solve Eq. (7), which comprise nine partial differential equations corresponding to all combinations of i, j, k ∈ {1, 2, 3} with i < k. It is shown by direct computations that if i, j, k are different, the differences between both sides of (7) for the coordinate transformation (9) become zero; otherwise, the differences take the form where H (R, F(R), F (R)) is a certain function that is linear in F (R). Therefore, under (10) and (11), the integrability conditions (7) are compressed into a single ordinary differential equation (ODE) H (R, F(R), F (R)) = 0, which reads where S := R F(R) 2 (= r ).
Since every operator monotone function f is infinitely differentiable [19,21], the righthand side of (12) is locally Lipschitz, and hence, the initial value problem for the ODE (12) has a unique solution on the domain (10). Moreover, any solution of (12) on the domain (10) satisfies (11). In fact, using the ODE (12) and the symmetry condition f (t) = t f (1/t) as well as its derivative, we have which is positive for 0 < S < 1 because f is positive and monotone increasing. Let us choose a solution F(R) of (12) arbitrarily. Then, the components g i j of g with respect to the new local coordinate system θ = (θ i ) are represented as follows (cf., Appendix A): where It is important to realize that which is verified by a direct computation using the ODE (12). Thus, we conclude that the above g i j is rewritten as where ψ(R) is a primitive function of φ 1 (R), i.e., This completes the proof of Theorem 2. Now, that we have found a potential function ψ for θ , computing the dual affine coordinate system η = (η i ), the dual potential ϕ(η) and the canonical divergence are standard. For example, In the next section, we demonstrate the dually flat structures induced from the SLD and the RLD metrics in more depth.

SLD metric
In quantum statistics, one of the most important Riemannian metrics on the quantum state space is the one derived from the symmetric logarithmic derivative (SLD, for short) [22][23][24], and the corresponding metric is usually referred to as the SLD metric. The SLD metric corresponds to the operator monotone function f (t) = 2t/(1 + t), which is the minimum element of F . For this operator monotone function, the ODE (12) is reduced to This ODE has the following solutions on the domain (10): Note that changing the value of the integration constant C yields shifting the origin of the θ -coordinate system, and thus, the induced affine connection is invariant. Therefore, we set C = 1 without loss of generality. In this case, The dual affine coordinate system η = (η i ) is and the dual potential ϕ(η) for the coordinate system η is We thus arrive at the canonical divergence where θ(τ ) = (θ i (τ )) and η(τ ) = (η i (τ )) denote the θ -and η-coordinates of τ ∈ S(C 2 ), and To our surprise, the canonical divergence D(ρ σ ) is identical, up to the factor of 1/4, to the classical Kullback-Leibler divergence between the probability distributions p = ( p 0 , p 1 , p 2 , p 3 ) and q = (q 0 , q 1 , q 2 , q 3 ), and the coordinate systems θ i and η i correspond to the standard e-and m-affine coordinate systems on the probability 3-simplex in classical information geometry. It is interesting to realize that such a classical structure is hidden in the quantum state space S(C 2 ) endowed with one of the most important quantum metrics, the SLD metric.

RLD metric
Another important Riemannian metric in quantum statistics is the one derived from the right logarithmic derivative (RLD, for short) [24,25], and the corresponding metric is usually referred to as the RLD metric. Since the RLD metric is a complex metric, we here take its real part and call it as the real RLD metric. The real RLD metric corresponds to the operator monotone function f (t) = (1 + t)/2, which is the maximum element of F . For this operator monotone function, the ODE (12) is reduced to This ODE has the following implicit solutions: Set C = 0 without loss of generality. Then, the solution on the domain (10) is explicitly written as where W is the Lambert W -function, i.e., the inverse function of w → we w for w ≥ −1/e. For this solution, and The dual affine coordinate system η = (η i ) is given by Unfortunately, the inverse transformation (η i ) → (θ i ) is obtained only implicitly, and thus, neither the dual potential ϕ(η) nor the canonical divergence D(ρ σ ) can be written down in an explicit form.

Discussion
We have studied geometries of monotone quantum metrics and have found that any monotone metric on the quantum state space S(C 2 ) admits a Hessian structure (Theorem 2). The key ingredient for the proof was the coordinate transformation of the form (9), which was valid for all monotone metrics. One may be aware that (9) does not induce the standard m-connection for the Bogoliubov metric because the local coordinate system θ = (θ i ) only covers a single octant of the Bloch ball. In order to deal with this difficulty, we may use a generalized form of a coordinate transformation: For example, let us consider the case when G(t) := t, that is, This form of transformation is covariant under the uniform scaling ξ i → c ξ i . With this transformation, the integrability conditions (7) for the Bogoliubov metric, which corresponds to the operator monotone function f (t) = t log t/(t − 1), have solutions of the form where C is a positive constant. The first solution actually induces the standard m-connection for which the Stokes parameters x = (x i ) form a global affine coordinate system. The second solution, on the other hand, induces another Hessian structure. To be more specific, letting C = 1, the components g i j of the Bogoliubov metric with respect to the new coordinate system (ξ i ) are shown to satisfy Unfortunately, the coordinate transformation (14) is not universal, in that there are monotone metrics, such as the SLD metric, for which the integrability conditions (7) do not have solutions on the Bloch ball. In this sense, the universality of the exponential-type transformation (9) is highly beneficial. We have demonstrated rich geometrical structures of S(C 2 ) induced from monotone metrics, and thus, Theorem 2 as well as its proof might be of some interest in itself. Such a view could be supported by the fact that the two-level quantum system is a building block in quantum information science. Nevertheless, the attainment here is far from satisfactory because our goal is to characterize all monotone metrics on a generic quantum state space S(C d ) that admit Hessian structures. Unfortunately, the method presented here is not immediately applicable to a generic case because it essentially relies on a direct computation of the monotone metrics as well as the radial symmetric structure of the space S(C 2 ) for which the coordinate transformation (9) is valid. In order to deal with a higher-dimensional quantum state space, some novel ideas are needed. In what follows, we make a preliminary consideration that may shed new light on this problem.
Let M be the totality of monotone metrics on S. The set M is naturally regarded as a convex set, and the e-representation (3) of X ∈ T ρ S establishes a one-to-one affine correspondence between M and F . Further, due to Kubo and Ando's theory of operator means [20], each element of F is uniquely represented as where μ is a probability measure on the closed interval [0, 1]. This representation shows that the set F is a Choquet simplex, and its extreme points are given by Specifically, the functions f 1 (t) = 2t 1 + t and f 0 (t) = 1 + t 2 correspond, respectively, to the SLD metric and the real RLD metric. Now, in view of the decomposition (15), a possible approach to our problem may be decomposed into two questions as follows.
If both problems are resolved affirmatively, we can conclude that every monotone metric on a generic quantum state space S admits a Hessian structure. Conversely, if we find a counterexample to either of these problems, we will get a new perspective on the problem of flattenability of a Riemannian manifold. These questions are left for future research.

A Proof of (13)
Let us compute the components .
For the coordinate transformation x λ = F(R)e θ λ with R = e 2θ 1 + e 2θ 2 + e 2θ 3 , we have On the other hand, it follows from (8) that the components g λμ (x(θ )) are written as Thus, a direct computation shows that This proves (13).