---
title: Curvature–Dimension (CD) Inequality
url: https://www.emergentmind.com/topics/curvature-dimension-inequality-cd
type: topic
---

# Curvature–Dimension (CD) Inequality

A curvature–dimension inequality (abbreviated here as CD inequality) is a synthetic analytic or geometric condition designed to enforce lower Ricci curvature bounds and upper dimension bounds in a unified framework, extending from smooth Riemannian manifolds to metric measure spaces, weighted settings, sub-Riemannian geometries, graphs, and nonlocal operators. The archetype is the Bakry–Émery condition, formulated in terms of the carré du champ Γ and its second iteration Γ₂, but the definition admits powerful generalizations across smooth and discrete, local and nonlocal, and even negative-dimension settings.

## 1. Classical Bakry–Émery CD(ρ, n) Condition

Given a smooth Riemannian manifold $(M,g)$, possibly with a weight $V\in C^2(M)$ and associated measure $\mu(dx) = Z^{-1} e^{-V(x)} d\mathrm{vol}_g(x)$, define:
- Generator: $L = \Delta_g + \nabla V \cdot \nabla$
- Carré du champ:
  $$
  \Gamma(f, h) = \frac{1}{2}(L(fh) - f L h - h L f),\quad \Gamma(f) = \Gamma(f, f)
  $$
- Iterated carré du champ:
  $$
  \Gamma_2(f, h) = \frac{1}{2}(L \Gamma(f, h) - \Gamma(f, L h) - \Gamma(h, L f)),\quad \Gamma_2(f) = \Gamma_2(f, f)
  $$

The $CD(\rho, n)$ condition states that for all $f\in C^\infty(M)$,
$$
\Gamma_2(f) \geq \rho\, \Gamma(f) + \frac{1}{n}(L f)^2
$$
with curvature parameter $\rho\in \mathbb{R}$ and dimension parameter $n\neq 0$. For $n > d = \dim M$ and Ricci curvature $\mathrm{Ric}_g \geq \rho\,g$, the classical Bochner–Lichnerowicz formula ensures that the unweighted Laplacian satisfies $CD(\rho, n)$.

### Generalizations
- For $n<0$ (negative dimension), the theory extends to “negative effective dimension” models, such as generalized Cauchy distributions, which satisfy $CD(\rho, n)$ with $\rho>0$ and $n<0$.
- Weighted CD$(0,n)$ inequalities correspond to measures of the form $\phi^{-\beta} dx$ with $\nabla^2 \phi \geq c g$ and allow for models with no log-Sobolev but valid Poincaré and Beckner inequalities [1903.00214].

## 2. Synthetic and Metric CD$(K, N)$ Theory

In the metric measure setting, the curvature–dimension condition is formulated via the convexity of entropy along Wasserstein geodesics:
- Let $(X, d, m)$ be a complete separable geodesic metric space with a reference measure $m$.
- For $N\in [1, \infty)$ and $K\in\mathbb{R}$, the $CD(K, N)$ condition asserts that for any pairs of absolutely continuous measures, the $N$-Rényi entropy $\mathcal{E}_N(\mu) = -\int \rho^{1-1/N} dm$ (where $\mu = \rho m$) evolves $K$-convexly along $W_2$-geodesics, with explicit comparison via distortion coefficients defined from $K, N$ and the distance between points [1506.03279, 2210.01494, 2209.13424].

The key analytic expression is:
$$
\mathcal{E}_N(\mu_t) \leq -\int \left[ \tau_{K, N}^{(1-t)}(d(x, y)) \rho_0(x)^{-1/N} + \tau_{K, N}^{(t)}(d(x, y)) \rho_1(y)^{-1/N} \right] d\pi(x, y),
$$
where $\pi$ is an optimal transport plan, $\mu_0, \mu_1$ are absolutely continuous, and $\tau_{K, N}^{(t)}$ are distortion coefficients.

## 3. Main Analytic and Geometric Implications

A core consequence of the CD condition is the derivation of sharp functional inequalities with explicit constants depending on the curvature and dimension parameters [1903.00214, 1505.02061, 1412.5165]:
- **Poincaré/Variance bound:** 
  $$
  \mathrm{Var}_\mu(f) \leq \frac{n-1}{\rho n} \int \Gamma(f) d\mu \quad \text{(for } CD(\rho, n), \rho>0\text{)}
  $$
- **Beckner-type inequalities:**
  $$
  \frac{p}{p-1} \left[ \int f^2 d\mu - \left( \int f^{2/p} d\mu \right)^p \right] \leq 2 C_{p, \phi, \beta} \int \Gamma(f) d\mu
  $$
  with precise $C_{p, \phi, \beta} = 1/(c(\beta-1))$ under $CD(0, n)$ for weighted measures [1903.00214].
- **Logarithmic Sobolev and spectral gap inequalities** in essentially non-branching or smooth CD$(K, N)$ settings [1505.02061].
- **Li–Yau differential Harnack inequalities** and heat kernel bounds, refined by the exact CD parameters [1412.5165, 1306.0494, 1412.3340].

## 4. Entropy Flows, Bochner Formula, and Equivalence Properties

The information-theoretic viewpoint connects CD conditions to the concavity or convexity of entropy along Wasserstein geodesics [2407.15576, 1510.07793]:
- For $(M, g, \mu)$ smooth, the CD$(K, m)$ condition is equivalent to the differential inequality for entropy $H(t) = \int p \log p\, d\mu$ along smooth geodesics in Wasserstein space:
  $$
  -H''(t) \geq (H'(t))^2/m + K W_2^2(p_0, p_1)
  $$
  with a characterization of rigidity models as $(K, m)$-Einstein manifolds with Hessian soliton potentials attaining equality.
- In the synthetic theory, displacement convexity of entropy functional (e.g., relative entropy or Rényi entropy) along all transport geodesics is both necessary and sufficient for the CD condition; this convexity yields local Poincaré inequalities, volume doubling, and the uniqueness of almost every geodesic [1107.4842].

## 5. Discrete, Nonlocal, and Sub-Riemannian CD Inequalities

### Discrete (Graphs and Markov Chains)
Discrete analogues of the CD condition have been formulated for graphs (undirected, directed), Markov chains, and nonlocal operators:
- On a graph $(V, E, w, \mu)$, with normalized Laplacian $\Delta$ and carré du champ $\Gamma$, the Bakry–Émery $CD(n, K)$ inequality takes the form [1512.02677, 1701.01510]:
  $$
  \Gamma_2(f)(x) \geq \frac{1}{n} (\Delta f(x))^2 + K \Gamma(f)(x).
  $$
  Equivalent properties include gradient bounds, Poincaré and reverse Poincaré inequalities, and new variants such as CDE$'(\infty, K)$ suited to discrete settings with positive functions and the square-root transformation [1512.02677, 1501.05839].
- Nonlinear variants involving $\psi$-Laplacians, such as $CD_\psi(d, 0)$, are appropriate for generalizing Li–Yau inequalities to graphs [1412.3340].
- The discrete CD$_\Upsilon$ inequality for Markov chains is tailored to yield entropy decay estimates and Beckner-type functional inequalities using nonlinear carré du champ [2007.01264].

### Nonlocal Operators
For nonlocal operators $L$ on $\mathbb{Z}$ determined by a symmetric jump kernel, the CD$(K, N)$ inequality controls the sums-of-squares representation of $L$ and gives a dimension bound if the second moment is finite [1903.00517]. Fractional Laplacians typically fail such CD inequalities for any finite $N$.

### Sub-Riemannian Settings
Generalized CD$(\rho_1, \rho_2, \kappa, m)$ conditions have been developed for subelliptic operators, involving an additional vertical carré du champ $\Gamma^Z$. Consequences include volume doubling, Poincaré, and Harnack inequalities across Sasakian manifolds, Carnot groups, and more [1007.1600].

## 6. Structural and Model Cases, Examples, and Limitations

A variety of model spaces arise that saturate or illustrate the CD condition in different parameter regimes:
- **Gaussian measure:** $V(x)=\frac{1}{2}\rho |x|^2$, $CD(\rho, \infty)$ holds and sharp Beckner inequalities are attained [1903.00214].
- **Generalized Cauchy distributions:** $CD(0, n)$ or $CD(\rho, n<0)$ can hold, despite absence of log-Sobolev inequality.
- **Weighted manifolds and metric measure spaces:** CD$(k, N)$ is characterized pointwise by variable Ricci curvature lower bounds and extends naturally to non-constant curvature functions and product spaces, with stability under Gromov–Hausdorff convergence [1506.03279].

### Stability, Rigidity, and Branching
- CD conditions are stable under measured Gromov–Hausdorff convergence, including the "negative dimension" regime $N<0$ when equipped with the appropriate quasi-Radon framework [2104.03588].
- Topological dimension need not be constant in CD spaces (example: spaces with branching or collapsed regions) [2102.00042].
- The weak CD$(K,N)$ property does not in general guarantee non-branching, highlighting differences between synthetic Ricci curvature bounds and classical Riemannian structure.

## 7. Deep Equivalences and Reformulations

Recent advances emphasize the intrinsic equivalence between the CD condition and generalized Brunn–Minkowski type inequalities, specifically:
- On weighted Riemannian manifolds, BM$(K, N)$ and CD$(K, N)$ are equivalent, providing a metric–measure characterization of curvature-dimension solely in terms of volume growth of interpolated sets [2209.13424].
- In essentially non-branching metric spaces, the “strong Brunn–Minkowski” inequality SBM$(K, N)$ is equivalent to CD$(K, N)$; the global version of the sharp Brunn–Minkowski is thus a full geometric characterization of synthetic Ricci bounds [2210.01494].
- These equivalences enable direct access to sharp functional inequalities (Poincaré, log-Sobolev, Talagrand, Sobolev) with model constants, and allow for globalization arguments for local curvature-dimension conditions [1505.02061].

---

### Table: Formulations of the Curvature–Dimension Condition

| Setting              | CD Inequality                                                   | Main Analytic Implication                  |
|----------------------|-----------------------------------------------------------------|--------------------------------------------|
| Riemannian (smooth)  | $\Gamma_2(f) \geq \rho\,\Gamma(f) + \frac{1}{n}(L f)^2$       | Sharp Poincaré, log-Sobolev, spectral gap  |
| Metric measure space | $\mathcal{E}_N(\mu_t)$ convex along $W_2$-geodesic             | Brunn–Minkowski, doubling, Poincaré        |
| Discrete (graph)     | $\Gamma_2(f)(x) \geq \frac{1}{n} (\Delta f(x))^2 + K \Gamma(f)$| Spectral gap, heat kernel estimates        |
| Nonlocal (operator)  | Similar, with discrete sums                                     | Effective dimension, decay estimates       |
| Sub-Riemannian       | Involves $\Gamma_2$, $\Gamma_2^Z$, with extra coupling terms    | Volume doubling, Harnack, functional ineq. |

---

## References

- "A family of Beckner inequalities under various curvature-dimension conditions" [1903.00214]
- "On the geometry of metric measure spaces with variable curvature bounds" [1506.03279]
- "The Brunn--Minkowski inequality implies the CD condition in weighted Riemannian manifolds" [2209.13424]
- "Equivalent Properties of CD Inequality on Graph" [1512.02677]
- "Curvature-dimension condition, rigidity theorems and entropy differential inequalities on Riemannian manifolds" [2407.15576]
- "Curvature-dimension inequalities for non-local operators in the discrete setting" [1903.00517]
- "Example of an Highly Branching CD Space" [2102.00042]
- "Li-Yau inequality on finite graphs via non-linear curvature dimension conditions" [1412.3340]
- "The Li-Yau inequality and applications under a curvature-dimension condition" [1412.5165]
- "Sharp geometric and functional inequalities in metric measure spaces with lower Ricci curvature bounds" [1505.02061]
- "Li-Yau and Harnack type inequalities in $RCD^*(K,N)$ metric measure spaces" [1306.0494]
- "Equivalence between dimensional contractions in Wasserstein distance and the curvature-dimension condition" [1510.07793]
- "The entropy method under curvature-dimension conditions in the spirit of Bakry-Émery in the discrete setting of Markov chains" [2007.01264]
- "A sub-Riemannian curvature-dimension inequality, volume doubling property and the Poincaré inequality" [1007.1600]
- "The strong Brunn--Minkowski inequality and its equivalence with the CD condition" [2210.01494]
- "Convergence of metric measure spaces satisfying the CD condition for negative values of the dimension parameter" [2104.03588]
- "Local Poincaré inequalities from stable curvature conditions on metric spaces" [1107.4842]
- "Curvature dimension inequalities on directed graphs" [1701.01510]
- "Remarks on curvature dimension conditions on graphs" [1501.05839]

Source: https://www.emergentmind.com/topics/curvature-dimension-inequality-cd