Introduction The aim of information geometry is to introduce a suitable geometrical structure on families of probability distributions or quantum states. For parametrised statistical models, such structure is based on two fundamental notions: the Fisher information and the exponential family with its dual mixed parametrisation, see for example (Amari 1985, Amari and Nagaoka 2000). For the non-parametric situation, the solution was given by Pistone and Sempi (Pistone and Sempi 1995, Pistone and Rogantin 1999), who introduced a Banach manifold structure on the set P of probability distributions, equivalent to a given one. For each µ ∈ ρ, the authors considered the non-parametric exponential family at µ. As it turned out, this provides a C ∞ -atlas on ρ, with the exponential Orlicz spaces Lφ(µ) as the underlying Banach spaces, here φ is the Young function of the form φ(x) = cosh(x) — 1. The present contribution deals with the case of quantum states: we want to introduce a similar manifold structure on the set of faithful normal states of a von Neumann algebra M. Since there is no suitable definition of a non-commutative Orlicz space with respect to a state φ, it is not clear how to choose the Banach space for the manifold. Of course, there is a natural Banach space structure, inherited from the predualM. But, as it was already pointed out in (Streater 2004), this structure is not suitable to define the geometry of states: for example, any neighbourhood of a state φ contains states such that the relative entropy with respect to φ is infinite.
The geometrical description of a Hilbert space associated with a quantum system considers a Hermitian tensor to describe the scalar inner product of vectors which are now described by vector fields. The real part of this tensor represents a flat Riemannian metric tensor while the imaginary part represents a symplectic two-form. The immersion of classical manifolds in the complex projective space associated with the Hilbert space allows to pull-back tensor fields related to previous ones, via the immersion map. This makes available, on these selected manifolds of states, methods of usual Riemannian and symplectic geometry. Here, we consider these pulled-back tensor fields when the immersed submanifold contains separable states or entangled states. Geometrical tensors are shown to encode some properties of these states. These results are not unrelated with criteria already available in the literature. We explicitly deal with some of these relations.
A fundamental starting point in quantum information theory is the consideration of the von Neumann entropy and its generalization to relative quantum entropies. A particular feature of quantum relative entropies is their relation via their Hessian to monotonic Riemannian metrics on the dense set of invertible mixed quantum states (Lesniewski and Ruskai 1999). These metrics are also known as quantum Fisher information metrics and provide a direct link to quantum estimation theory (Helstrom 1969). Quantum Fisher information metrics which are extendable to pure states coincide all with the Fubini Study metric of the projective Hilbert space of complex rays. This theses outlines possible advantages of an inverse approach to quantum information theory, by starting with the Fubini Study metric rather then with the von Neumann entropy. This is done in a first step by associating to the Fubini Study metric a covariant and a contra-variant structure on the punctured Hilbert space as being available in the geometric formulation of quantum mechanics. While the contra-variant structure leads to a quantum version of the Cramér-Rao inequality for general 1-dimensional submanifolds of pure states, the covariant structure provides alternative entanglement monotones by identifying an inner product on the pullback tensor fields on local unitary group orbits of quantum states. It is shown in the case of two qubits that these monotones yield a more efficient estimation of entanglement than standard measures from the literature as those associated with the linearization of the von Neumann entropy.
Most quantum divergences derive their structure from classical f-divergences or Renyi-type constructions, a dependence that obscures several quantum geometric effects. We introduce a quantum relative-alpha-entropy that extends Umegaki's relative entropy while falling outside the f-divergence class. The proposed divergence exhibits a nonlinear convexity property, which yields a generalized convexity result for the Petz-Renyi divergence for alpha greater than one, complementing the known convexity for alpha less than one. It is additive under tensor products, invariant under unitary transformations, and depends only on the relative geometry of quantum states rather than their absolute magnitudes. Using Nussbaum-Szkola-type distributions, we also establish an exact correspondence of this divergence with classical relative-alpha-entropy. This reveals relative-alpha-entropy as a fundamentally geometric notion of quantum distinguishability not captured by existing divergence frameworks.
We develop a GNS-based construction of geometric tensors on smooth parametric statistical models over
C∗-algebras. Since the state space of a
C∗-algebra is generally not a smooth manifold, the construction does not rely on pulling back tensors from an ambient state manifold. Instead, the GNS Hilbert spaces and their duals are organized into non-locally-trivial Hilbert fibrations over the state space. For models satisfying a compatibility condition expressing derivatives of expectation values as continuous functionals on the realified GNS fibers, each tangent vector admits a canonical dual GNS representative. Pulling back the dual GNS Hermitian product along the corresponding canonical lift produces a Hermitian tensor
K on the complexified tangent bundle of the model, whose real and imaginary parts define, under suitable regularity assumptions, a smooth weak Riemannian metric tensor
G and a smooth two-form
Ω. In finite-dimensional parameter manifolds the metric is, of course, strong. The construction recovers the Fisher--Rao metric in the commutative dominated case, the Fubini--Study geometry for pure states up to the normalization and sign convention imposed by the dual GNS pairing, and the SLD metric for faithful quantum states. In finite-dimensional faithful models, the two-form
Ω is proportional, up to convention, to the expected commutator of the SLD representatives, equivalently to the mean Uhlmann curvature. We show through faithful qubits and displaced thermal states that
Ω need not be closed. For bundle-regular models, the associated fiberwise symplectic form on the real dual GNS bundle admits connection-dependent closed extensions to the total space, while closedness of
Ω on the parameter manifold is controlled by the covariant exterior derivative of the canonical real dual GNS lift.