Abstract
Quantum information geometry studies families of quantum states by means of differential geometry. A new approach is followed. The emphasis is shifted from a manifold of strictly positive density matrices to a manifold \({\mathbb M}\) of faithful quantum states on a von Neumann algebra of bounded linear operators working on a Hilbert space. In order to avoid technicalities the theory is developed for the algebra of n-by-n matrices. A chart is introduced which is centered at a given faithful state \(\omega _\rho \). It maps the manifold \({\mathbb M}\) onto a real Banach space of self-adjoint operators belonging to the commutant algebra. The operator labeling any state \(\omega _\sigma \) of \({\mathbb M}\) also determines a tangent vector in the point \(\omega _\rho \) along the exponential geodesic in the direction of \(\omega _\sigma \). A link with the theory of the modular automorphism group is worked out. Explicit expressions for the chart can be derived in terms of the modular conjugation and the relative modular operators.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
- Information geometry
- Quantum statistical manifolds
- Quantum exponential family
- Modular automorphism group
- Relative modular operator
1 Introduction
In quantum information theory [1] the state of the system is described either by a wave function, which is a normalized element of a Hilbert space, or, more generally, by a density matrix. Density matrices are also used in quantum statistical physics. The equilibrium state of a quantum system at the inverse temperature \(\beta \) is given by the density matrix
Here, H is a Hermitian matrix, called the Hamiltonian, and \(Z(\beta )=\,\mathrm{Tr}\,\exp (-\beta H)\) is the normalizing factor and is called the partition sum. The expression is the quantum analogue of a Boltzmann-Gibbs distribution. It is the prototype of a model belonging to the quantum exponential family.
Information geometry deals with the application of differential geometry to statistical models. A quantum version of Amari’s dually flat geometry [2] was studied by Hasegawa [3, 4], Jenčová [5] and others. The approach of Pistone and Sempi [6] was transferred to the quantum setting by Streater [7, 8].
In [9], the present author proposes to shift the emphasis from manifolds of density matrices to manifolds of states on a von Neumann algebra. The intention of this move is to get rid of tracial states and, by doing so, to facilitate further generalizations. However, both [9] and the present work are limited to the case of a finite-dimensional Hilbert space in order to avoid technicalities. A first attempt to advance with the general case is found in [10].
The next three sections review the mathematical formalism, the notion of a manifold of quantum states and some elements of the theory of the modular automorphism group. Section 5 derives an explicit expression for the positive operators wich belong to the commutant algebra and characterize the states of the manifold. In Sect. 6 the vectors tangent to an exponential geodesic are characterized. The paper finishes with a short discussion in Sect. 7.
2 The GNS Representation
The space of n-by-n matrices forms a Hilbert space for the Hilbert-Schmidt inner product
Here, \(B^*\) is the adjoint matrix, i.e. the Hermitian conjugate of the matrix B. Operators on are sometimes called superoperators because the matrices are themselves already operators on the Hilbert space \({\mathbb C}^n\). An alternative view is offered by the Gelfand-Naimark-Segal (GNS) representation. It is more powerful and very general. The starting point is the remark that the Hilbert-Schmidt inner product can be written as
where the density matrix \(\rho _0\) is the identity matrix \({\mathbb I}\) divided by n.
By definition, a density matrix \(\rho \) is positive and has trace equal to one: \(\,\mathrm{Tr}\,\rho =1\). By the GNS theorem there exists a Hilbert space \(\mathcal H\), a vector \(\varOmega _\rho \) in \(\mathcal H\) and a *-representation of the algebra \(\mathcal A\) of n-by-n matrices as operators on \(\mathcal H\) such that
The map \(A\mapsto \omega _\rho (A)=(A\varOmega _\rho ,\varOmega _\rho )\) belongs to the dual \(\mathcal{A}^*\) of \(\mathcal A\) and is called a state. Its defining properties are that \(\omega _\rho (A^*A)\ge 0\) for all A (positivity) and \(\omega _\rho ({\mathbb I})=1\) (normalization). The state is said to be faithful if \(\omega _\rho (A^*A)=0\) implies \(A=0\). This is the case if the density matrix \(\rho \) is non-degenerate.
In the case of a non-degenerate density matrix \(\rho \) the GNS representation can be made explicit as follows. The Hilbert space \(\mathcal H\) is the tensor product \({\mathbb C}^n\otimes {\mathbb C}^n\). Each matrix A is replaced by the matrix \(A\otimes {\mathbb I}\), which has dimension \(n^2\)-by-\(n^2\). Choose an orthonormal basis \(\psi _j\), \(j = 1, 2, \cdots , n\) of eigenvectors of \(\rho \). One has \(\rho \psi _j=p_j\psi _j\) with eigenvalues \(p_j>0\). Let
A short calculation then shows that for any n-by-n matrix A one has \(\omega _\rho (A)=\,\mathrm{Tr}\,\rho A=(A\varOmega _\rho ,\varOmega _\rho )\).
The main advantage of this representation of the state \(\omega \) is that the commutant \(\mathcal{A}'\) of the algebra \(\mathcal{A}\) is explicitly present. It consists of all matrices of the form \({\mathbb I}\otimes A\). They clearly commute with all matrices of the form \(A\otimes {\mathbb I}\). In particular, with any density matrix \(\sigma \) there corresponds a unique positive operator \(X_\sigma \) in the commutant \(\mathcal{A}'\) such that
3 The Manifold
The manifold \({\mathbb M}\) consists of all states \(\omega _\sigma \) on the von Neumann algebra \(\mathcal A\), where \(\sigma \) is any non-degenerate density matrix of dimension n-by-n. Guided by recent works of Pistone et al. [11, 12] a chart \(\chi _\rho \) is introduced which is centered at a state \(\omega _\rho \), corresponding with an arbitrary chosen but fixed non-degenerate density matrix \(\rho \). For any state \(\omega _\sigma \) in \({\mathbb M}\) the chart defines an element \(\chi _\rho (\omega _\sigma )\) of the commutant \(\mathcal{A}'\). Its construction follows later on in Sect. 6.
If \(t\mapsto \omega _t\in {\mathbb M}\) is a smooth curve then tangent vectors \(f_{t}\) are defined by
They belong to the dual \(\mathcal{A}^*\) of the algebra \(\mathcal A\) and satisfy \(f_{t}({\mathbb I})=0\) and \(f_{t}(A^*)=\overline{f_{t}(A)}\). The tangent plane at the point \(\omega _\rho \) is denoted \(T_\rho {\mathbb M}\) and consists of all linear functionals \(f_K\) of the form
where K belongs to the Banach space \(\mathcal{B}_x\) of all self-adjoint elements of the commutant algebra \(\mathcal{A}'\) and satisfies \((\varOmega _\rho ,K\varOmega _\rho )=0\).
The metric chosen on the tangent plane is that of Bogoliubov (see for instance [1, 2, 13, 14]). It can be derived from Umegaki’s relative entropy [15]
by taking twice a derivative. The metric is not discussed in the present paper. Details can be found in [9].
A geodesic corresponding to the exponential connection and connecting the state \(\omega _\sigma \in {\mathbb M}\) to the state \(\omega _\rho \) at the center is of the form \(t\mapsto \omega _{\sigma ,t}\), where
The chart \(\chi _\rho \) is constructed in such a way that the tangent in the point \(\omega _\rho \) equals the linear functional \(f_K\) with \(K=\chi _\rho (\omega _\sigma )\).
4 Relative Modular Operators
In [9] the chart \(\chi _\rho \) is constructed in an indirect manner. A more direct construction is given below in Sect. 6. It is based on Araki’s notion of relative modular operators [16, 17].
Let S denote the modular conjugation operator [18] determined by the vector \(\varOmega _\rho \). It is the anti-linear operator defined by \(SA\varOmega _\rho =A^*\varOmega _\rho \) for all A in \(\mathcal A\). The modular operator \(\varDelta \) equals \(S^*S\) and does not depend on the specific choice of the vector \(\varOmega _\rho \) representing the state \(\omega _\rho \). The polar decomposition of S reads \(S=J\varDelta ^{1/2}\). The operator J satisfies \(J^*=J\), \(J^2={\mathbb I}\). An important result of Tomita-Takesaki theory, needed further on, states that JAJ belongs to the commutant algebra \(\mathcal{A}'\) if and only if A belongs to \(\mathcal A\).
Given any vector \(\varXi \) in the Hilbert space \(\mathcal H\) the relative modular conjugation operator \(S_{\varXi ,\varOmega _\rho }\) is defined by
For convenience, let us introduce the notation \(S_\sigma \equiv S_{\varXi ,\varOmega _\rho }\) when \(\varXi =X^{1/2}_\sigma \varOmega _\rho \). The relative modular operator \(\varDelta _\sigma \) is then given by
Consider now the geodesic \(t\mapsto \omega _{\sigma ,t}\) given by (3). Because \(\varDelta \rho ^{-1}\) commutes with \(\sigma _t\) it follows from \(\varDelta _{\sigma ,t}=\varDelta \rho ^{-1}\sigma _t\) that
One concludes that the operator \(H_\sigma \) which generates the exponential geodesic also describes the relative modular operator \(\varDelta _{\sigma ,t}\) for all states \(\omega _{\sigma ,t}\) along the geodesic.
5 Explicit Expressions
In [9] the operator \(X_\sigma \), which characterizes the state \(\omega _\sigma \) via (1) is defined in an indirect manner by requiring that
An explicit expression is given by the following proposition.
Proposition 1
The operator \(X_\sigma \) satisfies \(X_\sigma =S\rho ^{-1}\sigma S\). The relative modular operator \(\varDelta _\sigma \) satisfies
Proof
One has for all A in \(\mathcal A\)
Because \(\varOmega _\rho \) is cyclic for \(\mathcal A\) this implies that \(X_\sigma =S\rho ^{-1}\sigma S\). Next use that \(\rho ^{-1}\varDelta =\varDelta \rho ^{-1}\) belongs to the commutant \(\mathcal{A}'\) to obtain
Finally, one has for all A in \(\mathcal A\)
This implies \(S_\sigma =X^{1/2}_\sigma S\) and hence
\(\Box \)
6 The Chart
In [9] the operator \(\chi _\rho (\omega _\sigma )\) belonging to the commutant \(\mathcal{A}'\) is defined by the relation
Its main property is that, given an exponential geodesic \(t\mapsto \omega _{\sigma ,t}\) of the form (3), the tangent vector at \(t=0\) satisfies
There is a one-to-one correspondence between the tangent vectors of \(T_\rho {\mathbb M}\) and the elements of the Banach space \(\mathcal{B}_x\).
6.1 Alternative proof of (6)
Starting point is the following relation between any state \(\omega _\sigma \) in the manifold \({\mathbb M}\) and the corresponding relative modular operator \(\varDelta _\sigma \)
Consider a geodesic \(t\mapsto \omega _{\sigma ,t}\) of the form (3). The relative modular operator \(\varDelta _{\sigma ,t}\) satisfies
Use the identity
to obtain
From (5) one obtains
Combine this with
and (8) to obtain
Putting the pieces together one obtains (6) from (7) and (9)
7 Discussion
The manifold \({\mathbb M}\) of faithful states on the von Neumann algebra \(\mathcal A\) of n-by-n matrices is studied. An arbitrary state \(\omega _\rho \) in \({\mathbb M}\) is selected as the reference state. Other states in \({\mathbb M}\) are labeled with operators in the commutant of the G.N.S.-representation of the selected state. Tangent vectors are linear functionals on the von Neumann algebra. They are also labeled with operators belonging to the commutant algebra. In particular, the vectors tangent to an exponential geodesic are characterized. By the use of the theory of the modular automorphism group [18] and the relative modular operators [16, 17] explicit expressions are obtained for operators which were introduced already in a previous paper [9]. The explicit expressions should help in generalizing the present approach to manifolds of states on arbitrary \(\sigma \)-finite von Neumann algebras.
The expression (4) for the logarithm of the relative modular operator is affine along the exponential geodesic, up to a scalar function which is due to normalization. It resembles the similar expression (3) for the density matrix. Both use the operator \(H_\sigma =\log \sigma -\log \rho \) as the generator of the geodesic connecting the state \(\omega _\sigma \) to the state \(\omega _\rho \). The map \(\omega _\sigma \mapsto H_\sigma \) labels the states of the manifold with operators belonging to the algebra \(\mathcal A\). On the other hand, the chart \(\chi _\rho \), defined in Sect. 6, uses operators belonging to the commutant algebra \(\mathcal{A}'\). This chart determines in a direct manner the vectors tangent to the exponential geodesics at the state \(\omega _\rho \).
References
Petz, D.: Quantum Information Theory and Quantum Statistics. Springer, Berlin (2008). https://doi.org/10.1007/978-3-540-74636-2
Amari, S., Nagaoka, H.: Methods of Information Geometry. Oxford University Press, Oxford (2000)
Hasegawa, H.: \(\alpha \)-divergence of the non-commutative information geometry. Rep. Math. Phys. 33, 87–93 (1993)
Hasegawa, H.: Exponential and mixture families in quantum statistics: dual structure and unbiased parameter estimation. Rep. Math. Phys. 39, 49–68 (1997)
Jenčová, A.: Geometry of quantum states: dual connections and divergence functions. Rep. Math. Phys. 47, 121–138 (2001)
Pistone, G., Sempi, C.: An infinite-dimensional structure on the space of all the probability measures equivalent to a given one. Ann. Stat. 23, 1543–1561 (1995)
Streater, R.F.: Duality in quantum information geometry. Open Syst. Inf. Dyn. 11, 71–77 (2004)
Streater, R.F.: Quantum Orlicz spaces in information geometry. Open Syst. Inf. Dyn. 11, 359–375 (2004)
Naudts, J.: Quantum statistical manifolds. Entropy 20, 472 (2018). https://doi.org/10.3390/e20060472. Correction 20, 796 (2018)
Naudts, J.: Quantum statistical manifolds: the linear growth case. Rep. Math. Phys., in print; arXiv:1801.07642v2 (2019)
Pistone, G.: Nonparametric information geometry. In: Nielsen, F., Barbaresco, F. (eds.) GSI 2013. LNCS, vol. 8085, pp. 5–36. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40020-9_3
Montrucchio, L., Pistone, G.: Deformed exponential bundle: the linear growth case. In: Nielsen, F., Barbaresco, F. (eds.) GSI 2017. LNCS, vol. 10589, pp. 239–246. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-68445-1_28
Naudts, J., Verbeure, A., Weder, R.: Linear response theory and the KMS condition. Commun. math. Phys. 44, 87–99 (1975)
Petz, D., Toth, G.: The Bogoliubov inner product in quantum statistics. Lett. Math. Phys. 27, 205–216 (1993)
Umegaki, H.: Conditional expectation in an operator algebra. IV. entropy and information. Kodai Math. Sem. Rep. 14, 59–85 (1962)
Araki, H.: Relative entropy of states of von neumann algebras. Publ. RIMS Kyoto Univ. 11, 809–833 (1976)
Araki, H.: Relative entropy for states of von neumann algebras II. Publ. RIMS Kyoto Univ. 13, 173–192 (1977)
Takesaki, M.: Tomita’s Theory of Modular Hilbert Algebras and its Applications. LNM, vol. 129. Springer, Heidelberg (1970). https://doi.org/10.1007/BFb0065832
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Naudts, J. (2019). Quantum Statistical Manifolds: The Finite-Dimensional Case. In: Nielsen, F., Barbaresco, F. (eds) Geometric Science of Information. GSI 2019. Lecture Notes in Computer Science(), vol 11712. Springer, Cham. https://doi.org/10.1007/978-3-030-26980-7_65
Download citation
DOI: https://doi.org/10.1007/978-3-030-26980-7_65
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-26979-1
Online ISBN: 978-3-030-26980-7
eBook Packages: Computer ScienceComputer Science (R0)