Jordan algebras arise naturally in (quantum) information geometry, and we want to understand their role and their structure within that framework. Inspired by Kirillov's discussion of the symplectic structure on coadjoint orbits, we provide a similar construction in the case of real Jordan algebras. Given a real, finite-dimensional, formally real Jordan algebra
J, we exploit the generalized distribution determined by the Jordan product on the dual
J⋆ to induce a pseudo-Riemannian metric tensor on the leaves of the distribution. In particular, these leaves are the orbits of a Lie group, which is the structure group of
J, in clear analogy with what happens for coadjoint orbits. However, this time in contrast with the Lie-algebraic case, we prove that not all points in
J∗ lie on a leaf of the canonical Jordan distribution. When the leaves are contained in the cone of positive linear functionals on
J, the pseudo-Riemannian structure becomes Riemannian and, for appropriate choices of
J, it coincides with the Fisher-Rao metric on non-normalized probability distributions on a finite sample space, or with the Bures-Helstrom metric for non-normalized, faithful quantum states of a finite-level quantum system, thus showing a direct link between the mathematics of Jordan algebras and both classical and quantum information geometry.
The Jordan product on the self-adjoint part of a finite-dimensional C * -algebra A is shown to give rise to Riemannian metric tensors on suitable manifolds of states on A , and the covariant derivative, the geodesics, the Riemann tensor, and the sectional curvature of all these metric tensors are explicitly computed. In particular, it is proved that the Fisher-Rao metric tensor is recovered in the Abelian case, that the Fubini-Study metric tensor is recovered when we consider pure states on the algebra B ( H ) of linear operators on a finite-dimensional Hilbert space H , and that the Bures-Helstrom metric tensors is recovered when we consider faithful states on B ( H ) . Moreover, an alternative derivation of these Riemannian metric tensors in terms of the GNS construction associated to a state is presented. In the case of pure and faithful states on B ( H ) , this alternative geometrical description clarifies the analogy between the Fubini-Study and the Bures-Helstrom metric tensor.