---
title: Bogoliubov–Kubo–Mori Manifold
url: https://www.emergentmind.com/topics/bogoliubov-kubo-mori-geometric-manifold
type: topic
---

# Bogoliubov–Kubo–Mori Manifold

The Bogoliubov–Kubo–Mori geometric manifold is the manifold of quantum states, or of a structured submanifold of quantum states, equipped with the Bogoliubov–Kubo–Mori metric induced by the second-order expansion of quantum relative entropy. In finite dimensions this geometry appears on the manifold of faithful states on \(B(\mathcal H)\); in matrix analysis it appears on \(\mathrm{SPD}_n\); in continuous-variable theory it appears on the manifold of faithful, zero-displacement Gaussian states parameterised by covariance matrices; and in operator-algebraic quantum field theory it appears as a local Hessian geometry at modular self-dual points [1805.10857] [1909.03852] [2404.09600] [2605.19106].

## 1. Relative-entropy origin of the BKM metric

The foundational definition is entropic. For density operators, the relevant two-point function is the quantum relative entropy
\[
S(\hat{\rho}\Vert \hat{\rho}')=\operatorname{tr}\!\left[\hat{\rho}\big(\ln \hat{\rho}-\ln \hat{\rho}'\big)\right].
\]
The Kubo–Mori–Bogoliubov inner product, also called the Bogoliubov–Kubo–Mori metric, is defined as the mixed second derivative of relative entropy,
\[
g_{\hat{\rho}}(\hat{A},\hat{B}) := -\frac{\partial^2}{\partial s\,\partial t}\bigg|_{s=t=0} S\!\big(\hat{\rho}+t\hat{A}\,\Vert\,\hat{\rho}+s\hat{B}\big),
\]
and the same geometry is described in one source by the statement that \(ds^2=-d^2S(\hat\rho)\) [2404.09600].

In finite dimensions, the same bilinear form is written through the Kubo–Mori map
\[
\mathcal K_{\rho}(X)=\int_0^1 ds\, \rho^{\,s}X\rho^{\,1-s},
\]
with inverse
\[
\mathcal K_{\rho}^{-1}(X)= \int_0^\infty du\,(\rho+uI)^{-1}X(\rho+uI)^{-1},
\]
and the BKM bilinear form
\[
\gamma_{\rho}^{\mathrm{BKM}}(X,Y) = \operatorname{Tr}\!\left[ X\,\mathcal K_{\rho}^{-1}(Y) \right].
\]
In spectral form,
\[
\gamma_{\rho}^{\mathrm{BKM}}(X,Y) = \sum_{i,j} c_{\mathrm{BKM}}(p_i,p_j)\, X_{ij}Y_{ji},
\]
with
\[
c_{\mathrm{BKM}}(x,y) = \frac{\log x-\log y}{x-y}, \qquad c_{\mathrm{BKM}}(x,x)=\frac1x.
\]
The same kernel appears in the monotone-metric framework through the operator-monotone function
\[
f_{\mathrm{BKM}}(t)=\frac{t-1}{\ln t},
\]
and the Morozova–Chentsov function
\[
c_{\mathrm{BKM}}(x,y)=\frac{\ln x-\ln y}{x-y}.
\]
These formulas place the BKM manifold inside the standard family of monotone quantum metrics [2006.10595].

## 2. Faithful-state manifolds and logarithmic coordinates

A central realization of the BKM manifold is the manifold \(\mathbb M\) of faithful quantum states on \(B(\mathcal H)\), with \(\mathcal H\) finite-dimensional. Every faithful state is represented by a unique strictly positive density matrix \(\rho\) through
\[
\omega_\rho(A)=\operatorname{Tr}\rho A,
\]
and the paper on quantum statistical manifolds constructs \(\mathbb M\) as a differentiable Banach manifold. At a base point \(\omega_\rho\), tangent vectors are Hermitian linear functionals
\[
f_{\rho,K}(A)=\bigl(\pi(A)\Omega_\rho,K\Omega_\rho\bigr),
\]
with \(K\) in the real Banach space \(B_\rho\) of centered self-adjoint elements in the commutant \(\pi(\mathcal A)'\). The first atlas \(\xi_\rho\) gives the manifold structure, while the second atlas \(X_\rho\) is adapted to the Bogoliubov inner product and the exponential connection [1805.10857].

The BKM-compatible coordinates are built from the centered logarithmic perturbation
\[
A_{\rho,\sigma}=\log \sigma-\log \rho + D(\rho\|\sigma),
\]
through
\[
G_\rho X_\rho(\omega_\sigma)\Omega_\rho = \pi(A_{\rho,\sigma})\Omega_\rho.
\]
On tangent spaces one obtains the inner product
\[
(f_{\rho,P},f_{\rho,Q})_\rho=(G_\rho P\Omega_\rho,Q\Omega_\rho),
\]
and this coincides with the Hessian metric derived from relative entropy. In the same framework, exponential geodesics satisfy
\[
\log \rho_t = (1-t)\log \rho_0 + t\log \rho_1 - \Phi(t),
\]
and the \(X_p\)-coordinates are affine along them:
\[
X_p(\omega_t)=(1-t)X_p(\omega_0)+tX_p(\omega_1).
\]
This gives affine coordinates for the exponential connection [1805.10857].

A complementary realization uses logarithmic coordinates directly on the manifold of faithful states. On
\[
P_{+}=\{\rho>0\}, \qquad S_{+}=\{\rho>0,\ \mathrm{Tr}\rho=1\},
\]
the logarithmic chart is
\[
\psi(\rho)=\ln(\rho),\qquad \psi^{-1}(h)=e^h.
\]
In this chart the BKM geometry is tied to an action of
\[
U\rtimes_R V \cong T^*U
\]
on faithful states,
\[
\Xi((U,a),\rho)=\frac{e^{U\ln\rho\,U^\dagger+a}}{\mathrm{Tr}(e^{U\ln\rho\,U^\dagger+a})},
\]
and the BKM gradient vector field of the expectation \(f_a(\rho)=\mathrm{Tr}(\rho a)\) is
\[
\mathbb Z_a(\rho)=\int_0^1 \rho^\lambda a\rho^{1-\lambda}\,d\lambda-\mathrm{Tr}(\rho a)\rho.
\]
This realizes the BKM manifold as a faithful-state manifold with a logarithmic homogeneous geometry generated by the cotangent extension of the unitary group [2006.10595].

## 3. The BKM manifold on \(\mathrm{SPD}_n\)

A second major realization is the manifold
\[
M=\mathrm{SPD}_n,
\]
with tangent spaces canonically identified as
\[
T_\Sigma M \simeq \mathrm{Sym}_n.
\]
In this setting the Bogoliubov–Kubo–Mori metric is given in integral form by
\[
g_\Sigma^{\mathrm{BKM}}(X,Y) = \int_0^\infty \operatorname{tr}\!\left((\Sigma+tI_n)^{-1}X(\Sigma+tI_n)^{-1}Y\right)\,dt,
\]
and equivalently by the differential-logarithm form
\[
g_\Sigma^{\mathrm{BKM}}(X,Y) = \operatorname{tr}\!\big(\partial_X\log(\Sigma)\,Y\big) = \operatorname{tr}\!\big(X\,\partial_Y\log(\Sigma)\big).
\]
The ambient Euclidean metric is
\[
g_\Sigma^E(X,Y)=\operatorname{tr}(XY),
\]
while the log-Euclidean metric is
\[
g_\Sigma^{LE}(X,Y) = \operatorname{tr}\!\big(\partial_X\log(\Sigma)\,\partial_Y\log(\Sigma)\big).
\]
The paper characterizes \(g^{\mathrm{BKM}}\) as the balanced metric between the Euclidean and log-Euclidean geometries [1909.03852].

The structural consequence is information-geometric. Since Euclidean and log-Euclidean metrics are flat, their balanced bilinear form yields a dually flat manifold. The explicit corollary is that
\[
(\mathrm{SPD}_n,g^{\mathrm{BKM}},\nabla^{LE},\nabla^E)
\]
is a dually flat manifold. In the same paper, BKM is also placed inside the mixed-power-Euclidean family
\[
g^{E,\theta_1,\theta_2}_\Sigma(X,Y) = \frac{1}{\theta_1\theta_2} \operatorname{tr}\!\big( \partial_X \mathrm{pow}_{\theta_1}(\Sigma)\, \partial_Y \mathrm{pow}_{\theta_2}(\Sigma) \big),
\]
with BKM as the case \((\theta_1,\theta_2)=(1,0)\). This formulation makes precise the statement that the BKM manifold on \(\mathrm{SPD}_n\) balances linear and logarithmic flat structures rather than being introduced as an isolated metric space [1909.03852].

## 4. Gaussian-state BKM geometry and curvature

For continuous-variable systems, the BKM manifold is realized on the space of faithful, zero-displacement \(N\)-mode Gaussian states. The manifold is
\[
M=\{\sigma\in \mathrm{Sym}(2N,\mathbb R): \sigma+i\Omega/2>0\},
\]
with each tangent space identified with the real symmetric \(2N\times 2N\) matrices. A Gaussian state is written as
\[
\hat{\rho}(\sigma):= \sqrt{\frac{1}{\det (\sigma+i\Omega/2)}} \exp\!\left[-\frac{1}{2}\,\underline{\hat{x}}^{T} H_{\sigma}\,\underline{\hat{x}}\right],
\]
and faithfulness means
\[
\nu_j>\frac12,\qquad \forall j=1,\dots,N,
\]
where the \(\nu_j\) are the symplectic eigenvalues of \(\sigma\) [2404.09600].

The BKM metric is obtained from the relative entropy of two Gaussian states and takes the explicit form
\[
g_\sigma(A,B)=\operatorname{Tr}\!\big[B\,\Delta_\sigma(A)\big],
\]
with
\[
\Delta_\sigma(\cdot):= \int_{-1}^{1} d\lambda\; [2\sigma+i\lambda\Omega]^{-1} (\cdot)\, [2\sigma+i\lambda\Omega]^{-1}.
\]
The corresponding line element is
\[
ds^2 = \int_{-1}^{1} d\lambda\; \operatorname{Tr}\!\left[ d\sigma\, [2\sigma+i\lambda\Omega]^{-1} d\sigma\, [2\sigma+i\lambda\Omega]^{-1} \right].
\]
This metric is invariant under symplectic transformations,
\[
g_{S\sigma S^T}(SAS^T,SBS^T)=g_\sigma(A,B).
\]
The Levi-Civita connection and geodesic equation are also explicit:
\[
\Gamma_\sigma(A,B) = -\frac12\,\Delta_\sigma^{-1}\!\cdot d\Delta_\sigma(B)(A),
\]
and a curve \(\gamma(t)=\sigma(t)\) is a geodesic iff
\[
\ddot{\gamma}(t) = \frac12\, \Delta_{\gamma(t)}^{-1}\cdot d\Delta_{\gamma(t)}\big(\dot{\gamma}(t)\big)\big(\dot{\gamma}(t)\big).
\]
The paper does not solve these equations in closed form for generic boundary conditions [2404.09600].

Curvature is the distinctive feature of this realization. The paper derives explicit formulas for the Riemann tensor, Ricci tensor, and scalar curvature, and reduces the scalar curvature to a symmetric function of the symplectic eigenvalues,
\[
\mathrm{Scal}(\sigma) = \sum_{i=1}^N \varphi_1[\nu_i] + \sum_{i<j}^N \varphi_2[\nu_i,\nu_j] + \sum_{i<j<k}^N \varphi_3[\nu_i,\nu_j,\nu_k].
\]
In the single-mode case \(N=1\), the paper proves that \(\mathrm{Scal}(\sigma)\) is strictly increasing in \(\nu\in(1/2,\infty)\), hence strictly increasing with entropy, with asymptotics
\[
\operatorname{Scal}(\sigma)\to -2 \quad (\nu\to\infty), \qquad \operatorname{Scal}(\sigma)\to -\infty \quad (\nu\to 1/2).
\]
For higher modes, the paper gives analytic high-temperature evidence and numerical support for the same monotonic relation between scalar curvature and entropy [2404.09600].

## 5. Local modular self-duality and type III BKM susceptibility

In operator-algebraic quantum field theory, the BKM manifold is not constructed as a global manifold of all states. Instead, the geometry is local and Hessian. In finite dimensions one fixes an antiunitary involution \(J\) and a reflected family \(\rho_J(g)=J\rho(g)J\). At a modularly self-dual point \(g_\star\), where \(\rho(g_\star)=\rho_J(g_\star)\), the comparison functional is the symmetrized Umegaki relative entropy
\[
\mathfrak S_J(g) = S\!\left(\rho(g)\middle\|\rho_J(g)\right) + S\!\left(\rho_J(g)\middle\|\rho(g)\right),
\]
which vanishes at the fixed point. Its Hessian is governed by the BKM quantum Fisher information:
\[
I_J(g_\star)=8\,F_{\mathrm{BKM}}(g_\star),
\]
with
\[
F_{\mathrm{BKM}}(g_\star)= \gamma_{\rho_\star}^{\mathrm{BKM}}(X_\star,X_\star).
\]
Here the relevant tangent is the reflected-difference tangent selected by the modular pairing [2605.19106].

The type III extension replaces density matrices by faithful normal states on local von Neumann algebras \(M_t=\mathcal A(O_t)\). For a family \(\varpi_g\), one compares the local restriction
\[
\omega_{g,t}:=\varpi_g|_{M_t}
\]
with the modular pullback of the commutant restriction,
\[
\widetilde{\omega}_{g,t}:= \bigl(\varpi_g|_{M_t'}\bigr)\circ j_t, \qquad j_t(A):=J_tA^*J_t.
\]
At a self-dual point \(\omega_{0,t}=\widetilde{\omega}_{0,t}=:\omega_t\), the symmetrized Araki relative entropy is
\[
S(g,t) := S_{M_t}(\omega_{g,t}\Vert\widetilde{\omega}_{g,t}) + S_{M_t}(\widetilde{\omega}_{g,t}\Vert\omega_{g,t}),
\]
and the local BKM susceptibility is defined by
\[
F_{\mathrm{BKM}}^{\mathcal A}(t) := \gamma_{\omega_t}^{\mathrm{BKM}}(u_t,u_t),
\]
where
\[
u_t:=u_t^{(1)}-u_t^{(2)}.
\]
The Hessian relation is
\[
I_A(t)=2\,\gamma_{\omega_t}^{\mathrm{BKM}}(u_t,u_t)=2F_{\mathrm{BKM}}^{\mathcal A}(t).
\]
Exact coherent-state realizations are obtained for the free scalar field on wedge algebras and for the chiral \(U(1)\) current on half-line algebras; in both examples the comparison functional is exactly quadratic in the deformation parameter, and the susceptibility coefficients admit explicit boost-energy, stress-tensor, or half-line integral representations [2605.19106].

## 6. Measure-theoretic and random-state realizations

The BKM manifold also appears through the measure induced by the BKM metric on state space. One recent paper studies a random mixed-state ensemble induced from von Neumann entropy through the BKM metric. For density matrices \(\rho\) with eigenvalues \(\lambda_1,\dots,\lambda_m\), the spectral density is
\[
f(\lambda)=C(a)\, \delta\!\Bigl(1-\sum_{i=1}^m \lambda_i\Bigr) \prod_{1\le i<j\le m} (\lambda_i-\lambda_j)(\ln \lambda_i-\ln \lambda_j) \prod_{i=1}^m \lambda_i^{a},
\]
with
\[
C(a)=\Gamma^m(a+1)\prod_{i=1}^m \Gamma(i), \qquad \beta = m(a+m+1).
\]
The unconstrained lift
\[
g(x)=\frac{1}{C(a)} \prod_{1\le i<j\le m} (x_i-x_j)(\ln x_i-\ln x_j) \prod_{i=1}^m x_i^a e^{-x_i}
\]
factorizes under \(x_i=R\lambda_i\) into a gamma trace variable and a simplex spectral part. The logarithmic divided-difference factor
\[
\prod_{i<j}(\lambda_i-\lambda_j)(\ln\lambda_i-\ln\lambda_j)
\]
is the paper’s distinctive fingerprint of the BKM geometry [2606.17960].

A qutrit realization uses the unitary-invariant stratified manifold
\[
\mathfrak{P}_3 = \{\varrho\in M_3(\mathbb C)\mid \varrho=\varrho^\dagger,\ \varrho\ge0,\ \operatorname{tr}\varrho=1\},
\]
with the BKM monotone metric determined by
\[
f_{\mathrm{BKM}}(t)=\frac{t-1}{\ln t}, \qquad c_{\mathrm{BKM}}(x,y)=\frac{\ln x-\ln y}{x-y}.
\]
In this setting the BKM metric is used to define a Riemannian volume form and a unitary-invariant random ensemble, and the main observable is the classicality indicator \(\mathcal Q_3\), the probability that a random qutrit state has a nonnegative Wigner function everywhere. The global qutrit BKM indicator has
\[
\min \mathcal{Q}_3(\zeta)=0.0000121609, \qquad \zeta_{\min}=0.527798, \qquad \mathcal{Q}_3(0)-\mathcal{Q}_3(\pi/3)=0.0000216102.
\]
Within the comparison HS/Bures/BKM, the BKM ensemble gives the smallest classicality indicator [2208.13908].

## 7. Applications, scope, and common distinctions

An applied realization appears in quantum reservoir computing, where the underlying state space is treated as a BKM manifold near the unconditional state \(\rho\). For nearby conditional states
\[
\rho' = \rho + \lambda \,\delta \rho,
\]
the Fréchet derivative of the logarithm is
\[
\left.\frac{d}{d\lambda}\ln(\rho+\lambda\delta\rho)\right|_{\lambda=0} = \int_0^\infty (\rho+xI)^{-1}\,\delta\rho\,(\rho+xI)^{-1}\,dx,
\]
and the BKM metric is
\[
g^{\mathrm{BKM}}_{\rho}(\delta\rho,\delta\rho) = \operatorname{Tr}\!\left[ \delta\rho \int_0^\infty (\rho+xI)^{-1}\,\delta\rho\,(\rho+xI)^{-1}\,dx \right].
\]
The quadratic approximation
\[
S(\rho+\lambda\delta\rho \,\|\, \rho) \sim \frac{\lambda^2}{2}\, g^{\mathrm{BKM}}_{\rho}(\delta\rho,\delta\rho)
\]
allows Holevo memory and predictive capacities to be rewritten as average BKM norms, which are then expanded into explicit spectral-response formulas. In that paper, the BKM manifold is the analytic bridge from relative entropy to spectral resonance, predictive performance, and a generalized Landauer bound for continuous temporal processing [2607.02157].

The term should be distinguished from several nearby but nonidentical geometries. In a two-band Bose–Einstein condensate, the relevant geometric object is the band quantum metric, explicitly identified as the natural Fubini–Study metric on the Bloch sphere of lower-band Bloch states; that paper states that it does not discuss the Bogoliubov–Kubo–Mori metric [2210.15408]. In Hartree–Fock–Bogoliubov theory, the geometric manifold is the orbit of admissible generalized one-particle density matrices under Bogoliubov transformations, yielding reductive homogeneous spaces with invariant symplectic forms and, under spectral conditions, Kähler homogeneous spaces; this is Bogoliubov orbit geometry, not the Kubo–Mori metric manifold [2402.15606]. A further neighboring topic is the theory of weighted Kubo–Ando geometric means, which develops operator perspectives and characterization theorems for geometric means but does not define the BKM metric, tangent-space bilinear forms, or a state-space manifold in the information-geometric sense [2503.13379].

Taken together, these constructions show that the Bogoliubov–Kubo–Mori geometric manifold is not a single rigid model but a family of relative-entropy manifolds. Its recurring structural features are the Hessian origin in relative entropy, the logarithmic divided-difference kernel
\[
\frac{\log x-\log y}{x-y},
\]
faithfulness or strict positivity as the natural domain, and a geometry that is local in some settings, globally homogeneous in others, and explicitly curved in the Gaussian covariance realization.

Source: https://www.emergentmind.com/topics/bogoliubov-kubo-mori-geometric-manifold