Noncommutative Information Geometry and Exponential Families

Noncommutative information geometry treats faithful quantum states as a manifold whose tangent vectors are noncommuting operator variations. Exponential families provide natural coordinates, relative entropy supplies a divergence, and the Bogoliubov–Kubo–Mori metric appears as both a Hessian and a connected imaginary-time covariance. The classical formulas survive only after ordinary products are replaced by ordered operator means.

Required background. Bures, Kubo–Mori, and monotone metrics supply the competing quantum geometries and their contraction properties.

Helpful background. Connes cocycles supply a coordinate-free comparison of faithful states.

Quantum exponential families

Let $\rho_0>0$ and choose Hermitian sufficient operators $F_a$. A finite-dimensional exponential family is

$$\rho(\theta) =\exp\!\left[ \log\rho_0+\theta^aF_a-\psi(\theta) \right],$$

where

$$\psi(\theta) =\log\operatorname{Tr} \exp\!\left(\log\rho_0+\theta^aF_a\right)$$

normalizes the state. No commutativity among $\rho_0$ and the $F_a$ is assumed.

The derivative of an exponential is the Duhamel integral. Defining centered operators

$$\widehat F_a=F_a-\langle F_a\rangle_\theta\mathbf1,$$

one obtains

$$\partial_a\rho =\int_0^1du\; \rho^u\widehat F_a\rho^{1-u}.$$

The expectation coordinates are dual to $\theta$:

$$\eta_a=\partial_a\psi=\langle F_a\rangle_\theta.$$

Replacing the integral by $\rho\widehat F_a$ is valid only in a commuting family.

The structural map places Noncommutative Information Geometry and Exponential Families along the perturbative sequence from normalized state or shape variations to information metrics and modular transport.

At fixed comparison algebra, normalization removes the linear term in relative entropy. The second response supports several inequivalent constructions: state and shape tangents, stress-tensor kernels, monotone metrics, and zero-mode-projected transport. The diagram is schematic and not to scale.

Hessian and Kubo–Mori covariance

Differentiating again gives

$$g_{ab}^{\rm KM} =\partial_a\partial_b\psi =\int_0^1du\; \operatorname{Tr} \left(\rho^u\widehat F_a\rho^{1-u}\widehat F_b\right).$$

This matrix is real symmetric for Hermitian parameter directions and positive semidefinite. Its operator-mean interpretation fits the monotone-metric classification of Petz 1996, pp. 87–90. It becomes positive definite after quotienting any redundant combination of $F_a$ that is constant on the family.

For a Gibbs family $\rho\propto e^{-\beta(H-\theta^aF_a)}$, the same object is an imaginary-time connected susceptibility. Thus Kubo–Mori geometry links statistical distinguishability, thermodynamic response, and modular correlation without equating it to the SLD/Bures metric.

Relative entropy as a quantum Bregman divergence

For two states in the same exponential family,

$$\begin{aligned} S(\rho_\theta\Vert\rho_{\theta'}) &=\operatorname{Tr}\rho_\theta (\log\rho_\theta-\log\rho_{\theta'})\\ &=\psi(\theta')-\psi(\theta) -(\theta'^a-\theta^a)\eta_a(\theta). \end{aligned}$$

This is the Bregman divergence generated by $\psi$, with the argument order shown. Its local Hessian is $g^{\rm KM}$. Reversing the relative-entropy arguments reverses the Bregman orientation and changes cubic and higher terms, though the quadratic metric is the same.

The Legendre transform

$$\varphi(\eta)=\theta^a\eta_a-\psi(\theta)$$

gives dual expectation coordinates where the Hessian is the inverse metric on nonredundant directions.

Mixture and exponential connections

Mixture coordinates regard the density matrix itself as affine:

$$\rho_\lambda=(1-\lambda)\rho_0+\lambda\rho_1.$$

Exponential coordinates regard $\log\rho$ modulo its scalar normalization as affine. The corresponding connections are dual with respect to the Kubo–Mori metric on a faithful quantum exponential family. Parallel transport preserves different structures in the two connections, so their geodesics generally differ.

This duality should not be confused with the modular Berry connection. Information-geometric connections transport tangent vectors on state space; modular Berry transport also quotients transformations commuting with a family of modular generators.

Algebraic and QFT extension

The trace exponential need not exist for a local type-III algebra. The algebraic replacement uses faithful normal states, relative modular operators, and perturbations by suitable self-adjoint algebra elements or forms. Connes cocycles compare the resulting modular flows without selecting a trace.

A QFT exponential-family claim should specify:

• the reference normal state and local algebra;
• whether the perturbing operator is bounded, smeared, or only a quadratic form;
• the domain and relative boundedness needed for the perturbed state;
• the normalization or cocycle construction;
• the topology in which the tangent and Hessian converge;
• the regulator dependence of contact and boundary terms.

For Euclidean source families, $\psi$ is a renormalized generating functional. Its Hessian includes connected two-point functions and local source counterterms. Only scheme-independent coefficients or explicitly renormalized metrics should be compared across regulators.

Faithful-domain boundary

Exponential coordinates naturally stay faithful at finite dimension, but a QFT limit or zero-temperature limit may approach a nonfaithful boundary. The logarithmic coordinate and Kubo–Mori metric can diverge there. Mixture curves can also leave the faithful interior at an endpoint.

A finite Bures distance to a pure state does not imply a finite Kubo–Mori distance. The chosen geometry determines which boundary is at finite distance.

Common pitfalls

Differentiating $e^{A+\lambda B}$ as $e^AB$. Noncommutativity requires the Duhamel integral and produces the Kubo–Mori operator mean.

Reversing the Bregman arguments. Relative entropy is asymmetric. Write the full formula before assigning primal and dual coordinates.

Using a trace exponential for a type-III local algebra. Formulate the family through normal-state perturbations and relative modular data, or state the regulator explicitly.

Before interpreting this response coefficient, use the validity map to check normalization, tangent domains, contact and regulator terms, metric choice, and analyticity independently.

Normalization, domain, contact-term, metric, and analyticity checks are independent. A failed gate narrows or withdraws the physical claim; it is not a change of notation. The decision map is schematic and not to scale.

References

• Petz, Dénes. “Monotone Metrics on Matrix Spaces.” Linear Algebra and its Applications 244 (1996): 81–96. DOI.

Further reading

• Araki, Huzihiro. “Relative Entropy of States of von Neumann Algebras.” Publications of the Research Institute for Mathematical Sciences 11 (1976): 809–833. DOI.