The information manifold for relatively bounded potentials (Q2714697)

The aim of this long, technical, interesting paper is to present a quantum version of the theory of quantum manifolds along the lines of the work by \textit{G. Pistone} and the present reviewer in the classical case [Ann. Stat. 23, No. 5, 1543--1561 (1995; Zbl 0848.62003)]. Here account has to be taken of the noncommutative nature of the potentials. A key role is played by a ``free Hamiltonian'' \(H_0\), a selfadjoint operator with domain \(D(H_0)\subset\mathcal{H}\) (a Hilbert space) for which there exists a constant \(\beta_0>0\) such that \(\rho_0:=Z_0^{-1}\,e^{-\beta\,H_0}\) is a density operator for all \(\beta>\beta_0\); it may be assumed that \(H_0\geq I\) and \(\beta_0<1\).NEWLINENEWLINE In section 2, the basic manifold \(\mathcal{M}_0\) of states satisfying a certain condition is constructed. Here the theory of forms and sesquiforms is used. The states \(\rho_X\) of \(\mathcal{M}_0\) have all finite entropy \(S(\rho_X):=-\text{Tr}(\rho_X\,\ln \rho_X)\). The analysis on \(\mathcal{M}_0\) is studied in section 3 while the affine geometry on \(\mathcal{M}_0\) is the object of section 4 where the \((+1)\)-affine connection is introduced. Finally a Banach manifold is defined. This extends some of the author's previous work [Rep. Math. Phys. 38, No. 3, 419--436 (1996; Zbl 0888.46053)].NEWLINENEWLINEFor the entire collection see [Zbl 0952.00070].