---
title: Riemannian Gibbs Process
url: https://www.emergentmind.com/topics/riemannian-gibbs-process
type: topic
---

# Riemannian Gibbs Process

A Riemannian Gibbs process is a stochastic dynamics on a Riemannian manifold whose invariant law is a Gibbs measure of the form
\[
\pi(dx)=Z^{-1}e^{-\beta V(x)}\,d\mathrm{vol}_g(x),
\qquad
Z=\int_M e^{-\beta V(x)}\,d\mathrm{vol}_g(x),
\]
with inverse temperature $\beta>0$, potential $V$, and Riemannian volume $d\mathrm{vol}_g$ [2606.13453]. In the papers considered here, this phrase is used most directly for overdamped Langevin diffusions driven by manifold Brownian motion, but it also appears in closely related forms: explicit Riemannian Langevin samplers on the manifold of fixed-rank positive semidefinite matrices [2309.04072], Riemannian Hamiltonian Monte Carlo [1710.06261], Gibbs-invariant Hamiltonian PDE dynamics on function spaces [1509.02093], and graph-based interacting particle systems whose hydrodynamic limits are weighted diffusions on manifolds and principal bundles [2410.20167].

## 1. Gibbs structure on a Riemannian manifold

The geometric input is a smooth Riemannian manifold $(M,g)$ together with a smooth potential. The Gibbs measure is defined relative to the Riemannian volume rather than Euclidean Lebesgue measure. In a local chart with metric tensor $G(q)=[g_{ij}(q)]$, the volume form is
\[
d\mathrm{Vol}_g(q)=\sqrt{\det G(q)}\,dq,
\]
so the density relative to coordinates acquires the Jacobian factor $\sqrt{\det G(q)}$ [1710.06261].

For overdamped dynamics, the canonical process targeting $\pi$ is
\[
dX_t=-\nabla_g V(X_t)\,dt+\sqrt{\frac{2}{\beta}}\,dB_t^g,
\]
where $B_t^g$ is Brownian motion on $(M,g)$, $\nabla_g$ is the Riemannian gradient, and the infinitesimal generator is
\[
\mathcal{L}f=-\langle \nabla_g V,\nabla_g f\rangle+\frac{1}{\beta}\Delta_g f
\]
on $C^2(M)$ [2606.13453]. The measure $\pi$ is invariant and the process is reversible in $L^2(\pi)$ [2606.13453].

A persistent point across the literature is that the geometry enters twice: through the gradient and through the reference volume. In the fixed-rank PSD setting, this dependence is fully explicit because the density factor $\sqrt{\det g(X)}$ can be written in eigen-coordinate charts for different metrics on the same manifold [2309.04072]. A common misconception is therefore that a Riemannian Gibbs process is obtained by replacing $\nabla$ with $\nabla_g$ while leaving the target density unchanged. The cited constructions show that the metric changes both the drift and the base measure.

## 2. Langevin dynamics, Itô corrections, and invariant law

In the continuous-time sampling literature, the coordinate-free formulation is the Stratonovich Riemannian Langevin equation
\[
dX_t=-\operatorname{grad}_g \mathcal{E}(X_t)\,dt+\sqrt{\frac{2}{\beta}}\circ dB_t^g,
\]
with invariant law
\[
\pi_g(dX)\propto e^{-\beta \mathcal{E}(X)}\,d\mathrm{vol}_g(X)
\]
for a smooth energy $\mathcal{E}$ [2309.04072]. Passing to Itô form introduces an additional drift:
\[
dX_t=-\operatorname{grad}_g \mathcal{E}(X_t)\,dt+\sqrt{\frac{2}{\beta}}\,dW_t^g+\frac{1}{\beta}\,\mathrm{drift}_g(X_t)\,dt.
\]
This Itô–Stratonovich correction encodes curvature and connection terms [2309.04072].

The fixed-rank PSD case makes this correction especially transparent. Under the embedded metric on
\[
\mathcal S_+^{n,p}=\{X\in\mathbb{R}^{n\times n}:X=X^T,\ X\succeq 0,\ \operatorname{rank}(X)=p\},
\]
the Itô SDE takes the form
\[
dX_t=-\operatorname{grad}\mathcal{E}(X_t)\,dt+\sqrt{\frac{2}{\beta}}\,dW_t^{n,p,X_t}+\frac{1}{\beta}H(X_t)\,dt,
\]
where the noise is the orthogonal projection of ambient white noise onto the tangent space and $H(X_t)$ is the mean curvature vector of the embedding $\mathcal S_+^{n,p}\subset\mathbb{R}^{n\times n}$ [2309.04072]. The paper states that this term pushes the process away from the boundary, where the smallest nonzero eigenvalue tends to zero, thereby stabilizing rank $p$ [2309.04072].

This geometry-dependent correction is not special to embedded schemes. In the Bures–Wasserstein formulation, the process is lifted to full-rank factors $Y\in\mathbb{R}^{n\times p}_*$ with $X=YY^T$, and the correction becomes the gradient of a logarithmic orbit-volume, written as a Boltzmann entropy term $S(Y)$ [2309.04072]. The general lesson is that the invariant Gibbs law on a manifold is enforced by manifold Brownian noise together with an explicit curvature correction in Itô form.

## 3. Fixed-rank PSD matrices and explicit samplers

A particularly detailed realization of the Riemannian Gibbs process is given for fixed-rank PSD matrices under two metrics: the embedded metric $g_E$ and the Bures–Wasserstein metric $g_{BW}$ [2309.04072]. In eigen-coordinate charts $X=Q\Lambda Q^T$, with $\Lambda=\operatorname{diag}(\lambda_1,\dots,\lambda_p)$, the density factor of the Riemannian volume depends strongly on the metric. For the embedded metric,
\[
\det g(X)=\Big(\prod_{1\le i<j\le p}|\lambda_i-\lambda_j|^2\Big)\Big(\prod_{i=1}^p \lambda_i^{2(n-p)}\Big),
\]
whereas for the Bures–Wasserstein metric,
\[
\det g(X)=\Big(\prod_{1\le i<j\le p}\frac{|\lambda_i-\lambda_j|^2}{\lambda_i+\lambda_j}\Big)\Big(\prod_{i=1}^p \lambda_i^{(n-p)}\Big)
\]
[2309.04072]. The two Gibbs laws therefore differ even for the same energy $\mathcal{E}$.

Under $g_E$, the tangent space at $X=U\Lambda U^T$ is represented by block matrices
\[
T_X\mathcal S_+^{n,p}
=
\left\{
[U,U_\perp]
\begin{bmatrix}
H & K^T\\
K & 0
\end{bmatrix}
[U^T;U_\perp^T]
\right\},
\]
with $H=H^T$ and $K\in\mathbb{R}^{(n-p)\times p}$ [2309.04072]. Given a symmetric Euclidean gradient $\nabla \mathcal{E}(X)$, the Riemannian gradient is
\[
\operatorname{grad}\mathcal{E}(X)
=
P_U\nabla\mathcal{E}(X)P_U
+
P_{U_\perp}\nabla\mathcal{E}(X)P_U
+
P_U\nabla\mathcal{E}(X)P_{U_\perp},
\]
with the efficient implementation
\[
T=\nabla\mathcal{E}(X)U,\qquad
H=U^TT,\qquad
U_p=T-UH,
\]
\[
\operatorname{grad}\mathcal{E}(X)=UHU^T+U_pU^T+UU_p^T
\]
[2309.04072].

The corresponding explicit Euler–Maruyama discretization, Scheme E, updates $X_k$ by adding the Riemannian gradient drift, projected Gaussian noise in the tangent space, and a mean-curvature block term proportional to $\sum_i 1/\lambda_i$, followed by Euclidean projection onto the rank-$p$ PSD cone via top-$p$ eigendecomposition [2309.04072]. The paper states that the mean curvature correction is essential under $g_E$ to avoid rank-deficiency [2309.04072].

For the Bures–Wasserstein metric, the quotient representation
\[
\mathcal S_+^{n,p}\simeq \mathbb{R}^{n\times p}_*/O_p,
\qquad
\theta(Y)=YY^T
\]
is used [2309.04072]. If $F(Y)=\mathcal{E}(YY^T)$, then
\[
\operatorname{grad}F(Y)=2\nabla_X\mathcal{E}(YY^T)Y,
\]
and Scheme BW updates $Y_k$ by
\[
Y_{k+1}=Y_k-h[2\nabla\mathcal{E}(Y_kY_k^T)Y_k]+\sqrt{\frac{2h}{\beta}}\,B_k+\frac{h}{\beta}M_k,
\]
where $M_k$ is computed from the compact SVD of $Y_k$ through the curvature correction
\[
U_k\operatorname{diag}\Big(\sum_{j\neq i}\frac{\sigma_i}{\sigma_i^2+\sigma_j^2}\Big)V_k^T
\]
[2309.04072]. No projection is needed if $Y_{k+1}$ remains full rank, and the paper gives per-iteration complexity $O(np^2+p^3)$, compared with a typically $O(n^3)$ cost for Scheme E [2309.04072].

Validation is carried out with three energies: $\mathcal{E}(X)=\tfrac12\|X\|_F^2$, the von Neumann entropy $\mathcal{E}(X)=\operatorname{tr}(X\log X)$, and the shifted quadratic $\mathcal{E}(X)=\tfrac12\|X-A\|_F^2$ for a large center $A$ [2309.04072]. For the quadratic case, the scalar statistic $D=\|X\|_F$ has closed-form $\chi^2$ laws whose empirical CDFs match the predictions under both metrics, and the paper also reports MCMC integration identities with empirical estimates converging at $O(1/\sqrt{m})$ [2309.04072].

## 4. Mixing theory, entropy decay, and quotient geometry

The analytic theory of rapid mixing for Gibbs measures on Riemannian manifolds is formulated in terms of entropy, Fisher information, logarithmic Sobolev inequalities, and Poincaré inequalities [2606.13453]. For a probability measure $\mu\ll\pi$ with density $f=d\mu/d\pi$,
\[
H(\mu\mid\pi)=\int_M f\log f\,d\pi,
\qquad
I(\mu\mid\pi)=\frac{1}{\beta}\int_M \|\nabla_g\log f\|^2\,d\mu.
\]
Along the Langevin flow, the entropy production identity is
\[
\frac{d}{dt}H(\mu_t\mid\pi)=-I(\mu_t\mid\pi),
\]
and an LSI with constant $\alpha>0$ yields
\[
H(\mu_t\mid\pi)\le e^{-2\alpha t}H(\mu_0\mid\pi),
\]
hence exponential decay in total variation through the Pinsker–Csiszár–Kullback inequality [2606.13453].

The paper identifies two regimes. In the high-temperature or strongly convex case, a Bakry–Émery curvature bound
\[
\nabla_g^2V+\frac{1}{\beta}\operatorname{Ric}_g\ge \kappa g,\qquad \kappa>0,
\]
implies an LSI with $\alpha\ge \kappa$ [2606.13453]. In the low-temperature regime with symmetry and multiple equivalent minima, the strategy is to quotient by a compact connected Lie group $G$ acting freely and isometrically, analyze the base manifold $M/G$, prove a Poincaré inequality there, lift it back to $M$, and then tighten PI to LSI [2606.13453].

The landscape assumptions on the quotient potential $\tilde F$ are strong and explicit: unique global minimum, all other critical points are saddle points, escaping directions from saddles with
\[
\lambda_{\min}(\nabla_h^2\tilde F(y))\le -\lambda_*<0,
\qquad
\lambda_{\min}(\nabla_h^2\tilde F(x^*))\ge \lambda_*>0,
\]
isolated and separated critical points, and a “no barren plateaus” condition
\[
\|\nabla_h \tilde F(x)\|\ge C_{\tilde F}\,d_h(x,\operatorname{Crit}(\tilde F))
\]
[2606.13453]. Under these assumptions and for sufficiently large $\beta$, the paper gives explicit LSI constants:
\[
\frac{1}{\alpha_{M/G}}=\frac{736\,\beta\,(A_2+R_{M/G})\,\operatorname{diam}(M/G)^2}{\lambda_*},
\]
\[
\frac{1}{\alpha_M}
=
4\,\beta\,(A_2+R_M)\,\operatorname{diam}(M)^2
\max\!\left\{
\frac{184}{\lambda_*},
\frac{\operatorname{diam}(G)^2\,\beta}{\pi^2}
\right\}
\]
[2606.13453]. The resulting mixing time scales polynomially in $\dim M$ when the relevant geometric quantities and $\beta$ do so [2606.13453].

A plausible implication is that the geometry of the manifold and the symmetry structure of the energy landscape are not auxiliary technicalities but part of the mixing mechanism itself. In this formulation, rapid mixing depends simultaneously on Ricci curvature, Hessian structure, saddle escape, fiber geometry, and quotient diameter.

## 5. Hamiltonian variants and geometry-adapted Monte Carlo

Riemannian Hamiltonian Monte Carlo is a discrete-time, Metropolized Riemannian Gibbs process on the cotangent bundle $T^*M$ [1710.06261]. For local coordinates $q$ and metric tensor $G(q)$, the Hamiltonian is
\[
H(q,p)=U(q)+\frac12 p^\top G(q)^{-1}p+\frac12\log\det G(q),
\]
and the momentum is refreshed from $N(0,G(q))$ [1710.06261]. The $\frac12\log\det G(q)$ term ensures that the marginal in $q$ is exactly the Gibbs law $e^{-U(q)}\,d\mathrm{Vol}_g(q)$ [1710.06261].

The Hamiltonian equations are
\[
\dot q=G(q)^{-1}p,
\qquad
\dot p=-\partial U(q)-\frac12\operatorname{Tr}[G^{-1}\partial G]+\frac12 v^\top (\partial G)v,
\]
and the second-order form is
\[
\ddot q^k+\sum_{i,j}\Gamma^k_{ij}(q)\,\dot q^i\dot q^j
=
-\sum_i g^{ki}(q)\,\partial_i U(q),
\]
which exhibits geodesic motion modulated by the Riemannian gradient of the potential [1710.06261].

One RHMC transition consists of momentum refresh, numerical integration of the Hamiltonian ODE for time $\tau$ with a reversible symplectic manifold integrator, and Metropolis acceptance with probability $\alpha=\min\{1,e^{-\Delta H}\}$ [1710.06261]. The convergence analysis is expressed through conductance and a manifold analog of the KLS conjecture for Gibbs distributions. If $\Phi$ is conductance and $\gamma$ the $L^2$ spectral gap, then
\[
\gamma\ge \tfrac12\Phi^2,
\qquad
t_{\mathrm{mix}}(\varepsilon)\le \frac{2}{\Phi^2}\log\!\Big(\frac1\varepsilon\Big)
\]
[1710.06261].

The main algorithmic application is to polytopes equipped with the log-barrier metric
\[
\phi(x)=-\sum_{i=1}^m \log(b_i-a_i^\top x),
\qquad
G(x)=\nabla^2\phi(x)=\sum_{i=1}^m \frac{a_i a_i^\top}{(b_i-a_i^\top x)^2},
\]
which inflates distances near the boundary [1710.06261]. For uniform sampling from a polytope, the density relative to $d\mathrm{Vol}_g$ becomes
\[
\pi(x)\propto \frac{1_P(x)}{\sqrt{\det G(x)}}=\exp(-U(x)),
\qquad
U(x)=-\tfrac12\log\det G(x),
\]
so the potential term in the Hamiltonian cancels and the dynamics reduce to pure geodesic motion with Gaussian momentum up to numerical integration error [1710.06261]. Under the paper’s regularity assumptions, both uniform sampling and polytope volume computation require a total number of RHMC steps
\[
O^*(m\,n^{2/3})
\]
[1710.06261].

## 6. Broader usages, neighboring constructions, and terminological scope

The phrase also appears in mathematical physics and stochastic geometry in ways that are related by invariant Gibbs measures but not identical in mechanism.

For the two-dimensional defocusing nonlinear Schrödinger equation on a compact Riemannian manifold without boundary or on a bounded domain in $\mathbb{R}^2$, the process is the stationary random evolution generated by the Wick-ordered Hamiltonian
\[
H_{\mathrm{Wick}}(u)=\frac12\int_M |\nabla_g u|^2\,d\mathrm{vol}_g+\frac{1}{2m}\int_M :|u|^{2m}:\,d\mathrm{vol}_g,
\]
with Gibbs measure
\[
d\mu(u)=Z^{-1}e^{-G(u)}\,d\mu_0(u),
\qquad
G(u)=\frac{1}{2m}\int_M :|u|^{2m}:\,d\mathrm{vol}_g
\]
[1509.02093]. The main invariance statement is that if $u(0)\sim \mu_\beta$, then for all $t\in\mathbb{R}$, $\operatorname{Law}(u(t))=\mu_\beta$ [1509.02093]. Here the “process” is a Gibbs-invariant Hamiltonian PDE flow on an infinite-dimensional function space rather than a sampling diffusion.

In quantum information geometry, the relevant object is the manifold of Gibbs thermal states
\[
\rho(h)=\frac{e^{-H(h)}}{Z(h)},
\qquad
H(h)=T-hS,
\]
equipped with monotone Riemannian metrics classified by operator monotone functions [2106.07599]. The paper gives a spectral representation of the full class of monotone metrics in terms of the dynamical structure factor $Q_S(\omega)$ and the dissipative susceptibility:
\[
d_f(S,S)=\frac{1}{\pi}\int_{-\infty}^{\infty} d\omega\, g_f\!\Big(\frac{\omega}{2}\Big)\,\chi_S''(\omega)
=
\int_{-\infty}^{\infty} d\omega\, g_f\!\Big(\frac{\omega}{2}\Big)\,\frac{1-e^{-\omega}}{\omega}\,Q_S(\omega)
\]
[2106.07599]. In that presentation, “Riemannian Gibbs process” denotes an end-to-end procedure for obtaining the metric from measurable response functions rather than a stochastic process in the Markov sense [2106.07599].

A different large-scale construction arises from the symmetric exclusion process on random neighborhood graphs drawn from Poisson point processes with Gibbs intensity on a complete connected Riemannian manifold [2410.20167]. With
\[
d\mu=e^{-U}\,d\mathrm{Vol}_M
\]
and suitably normalized symmetric weights, the hydrodynamic limit is the diffusion with drift induced by the Gibbs potential:
\[
\partial_t \rho_t = C_k(\Delta-\nabla U\cdot \nabla)\rho_t,
\]
and on principal bundles the lifted limit is
\[
\partial_t \widetilde\rho_t
=
C_{k_{\widetilde M}}
\big(\Delta^H-\widetilde\nabla \widetilde U\cdot \widetilde\nabla\big)\widetilde\rho_t
\]
[2410.20167]. The operator is reversible with respect to the corresponding Gibbs-weighted volume measure [2410.20167].

This suggests that the term is not fully standardized. Across these works, the unifying feature is not a single algorithmic template but the pairing of Riemannian geometry with a Gibbs law, together with a dynamics, flow, or geometric construction whose invariant, reversible, or hydrodynamic object is determined by that law.

Source: https://www.emergentmind.com/topics/riemannian-gibbs-process