On the Riemannian metric of ?-entropies of density matrices

Jochen Dittmann

陽介 奥平, Yosuke Okudaira

Jochen Dittmann

Dėnes Petz

A Riemannian metric is defined on the state space of a finite quantum system by the canonical correlation (or Kubo–Mori/Bogoliubov scalar product). This metric is infinitesimally induced by the (nonsymmetric) relative entropy functional or the von Neumann entropy of density matrices. Hence its geometry expresses maximal uncertainty. It is proven that the metric is monotone under stochastic mappings, however, an example shows that it is not the only such Riemannian metric. This fact is remarkable because in the probabilistic case, the Markovian monotonicity property characterizes the Fisher information metric. The essential difference appears in the curvatures of a classical state space and a quantum one. A conjecture is made that the scalar curvature is monotone with respect to the ‘‘more mixed’’ (statistical) partial order of density matrices. Furthermore, an information inequality resembling the Cramér–Rao inequality of classical statistics is established. The inequality provides a lower bound for the canonical correlation matrix (of an unbiased observable) and it is saturated when a (partial) observation level and the corresponding family of coarse-grained states are considered.

Attila Andai

The canonical correlation or Kubo-Mori scalar product on the state space of a finite quantum system is a natural generalization of the classical Fisher metric. This metric is induced by the von Neumann entropy or the relative entropy of the quantum mechanical states. An important conjecture of Petz that the scalar curvature of the state space with Kubo-Mori scalar product as Riemannian metric is monotone with respect to the majorisation relation of states: the scalar curvature is increases if one goes to more mixed states. We give an appropriate grouping for the summands in the expression for the scalar curvature. The conjecture will follows from the monotonicity of the summands. We prove the monotonicity for some of these summands and we give numerical evidences that the remaining terms are monotone too. Note that the real density matrices form a submanifold of the complex density matrices. We prove that if Petz's conjecture true for complex density matrices then it is true for real density matrices too.

Roger Balian

The von Neumann entropy S( D ^ ) generates in the space of quantum density matrices D ^ the Riemannian metric ds2 = −d2S( D ^ ), which is physically founded and which characterises the amount of quantum information lost by mixing D ^ and D ^ + d D ^ . A rich geometric structure is thereby implemented in quantum mechanics. It includes a canonical mapping between the spaces of states and of observables, which involves the Legendre transform of S( D ^ ). The Kubo scalar product is recovered within the space of observables. Applications are given to equilibrium and non equilibrium quantum statistical mechanics. There the formalism is specialised to the relevant space of observables and to the associated reduced states issued from the maximum entropy criterion, which result from the exact states through an orthogonal projection. Von Neumann’s entropy specialises into a relevant entropy. Comparison is made with other metrics. The Riemannian properties of the metric ds2 = −d2S( D ^ ) are derived. The curvature arises from the non-Abelian nature of quantum mechanics; its general expression and its explicit form for q-bits are given, as well as geodesics.