Curvature-dimension conditions for diffusions under time change

Bang-Xian Han; Karl-Theodor Sturm

arxiv: 1907.05761 · v1 · pith:O5GJM5SGnew · submitted 2019-07-12 · 🧮 math.FA · math.DG· math.PR

Curvature-dimension conditions for diffusions under time change

Bang-Xian Han , Karl-Theodor Sturm This is my paper

Pith reviewed 2026-05-24 22:12 UTC · model grok-4.3

classification 🧮 math.FA math.DGmath.PR

keywords curvature-dimension conditiontime changeDirichlet formsmetric measure spacesBakry-Emery conditionLott-Sturm-Villani conditionRicci curvature bounds

0 comments

The pith

Time changes of diffusions transform curvature-dimension conditions via explicit formulas.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives precise rules for how lower Ricci curvature bounds, expressed as curvature-dimension conditions, change when the underlying diffusion or space undergoes a time change. For local Dirichlet forms the Bakry-Emery condition transforms in a controlled way; for metric measure spaces the Lott-Sturm-Villani condition does likewise. A reader would care because time changes appear routinely in stochastic analysis and geometry, and these formulas let one track curvature properties without re-deriving them from scratch each time.

Core claim

The authors establish explicit transformation formulas showing that if a diffusion or metric measure space satisfies a curvature-dimension condition CD(K,N), then its time-changed version satisfies a modified condition whose new curvature parameter K' and dimension parameter N' are determined by the original K, N and by the time-change function together with its first and second derivatives.

What carries the argument

The time-change transformation of the Dirichlet form (or of the metric measure space), which rescales the energy measure and the reference measure by a positive function and thereby produces a new object to which the curvature-dimension condition is reapplied.

If this is right

A space satisfying CD(K,N) yields a time-changed space satisfying CD(K',N') with K' and N' given by closed-form expressions involving the time-change function.
The same formulas apply uniformly to both the Bakry-Emery setting on Dirichlet forms and the Lott-Sturm-Villani setting on metric measure spaces.
Known examples with synthetic curvature bounds can be extended to new families by composing with suitable time changes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The formulas may allow one to produce spaces with prescribed curvature bounds by solving for an appropriate time-change function.
The transformation rules could be compared with known conformal or quasi-conformal changes in Riemannian geometry to identify common patterns.
Applying the formulas to Brownian motion on a manifold would give an immediate check on how the Ricci lower bound changes under time reparametrization.

Load-bearing premise

The time-change function is positive and regular enough that the transformed object remains a local Dirichlet form or a metric measure space to which the curvature-dimension condition can still be applied.

What would settle it

An explicit computation on Euclidean space or the circle, where the transformed CD bound predicted by the formula is compared against an independent verification of the curvature-dimension condition on the time-changed process.

read the original abstract

We derive precise transformation formulas for synthetic lower Ricci bounds under time change. More precisely, for local Dirichlet forms we study how the curvature-dimension condition in the sense of Bakry-Emery will transform under time change. Similarly, for metric measure spaces we study how the curvature-dimension condition in the sense of Lott-Sturm-Villani will transform under time change.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Han and Sturm give explicit formulas showing how CD(K,N) bounds transform under time change for both Dirichlet forms and mm-spaces.

read the letter

The main takeaway is that the paper derives the precise transformation rules for synthetic curvature-dimension conditions when the underlying diffusion or metric measure space is reparametrized by a time change. They treat the Bakry-Émery version on local Dirichlet forms and the Lott-Sturm-Villani version on mm-spaces separately and produce explicit formulas relating the original (K,N) to the new parameters after the change of time scale. This is the concrete new piece: the formulas themselves, which had not appeared in the cited literature of the abstract. The work is useful because time changes arise routinely when one rescales processes or adjusts metrics, and having the curvature bound move across in a controlled way saves later case-by-case calculations. The derivation is presented under the standard regularity assumptions on the time-change function, namely that it stays positive and smooth enough for the transformed object to remain a Dirichlet form or an mm-space; that is the natural boundary condition and the paper does not claim the formulas hold without it. The soft spots are limited. The abstract supplies no proof details, so one still needs to verify that the calculations are complete and that no extra regularity is hidden in the steps, but the central claim does not appear over-stated or circular. No internal inconsistency shows up from the given material. The paper is aimed at researchers already working inside the synthetic Ricci program who need to apply curvature bounds to time-changed objects. A reader familiar with the Bakry-Émery and LSV setups will extract the formulas directly and put them to use. It deserves a serious referee because the result is a self-contained technical tool rather than a broad existence claim, and the formulas are falsifiable once written down.

Referee Report

0 major / 3 minor

Summary. The paper derives explicit transformation formulas for the Bakry-Émery curvature-dimension condition CD(K,N) on local Dirichlet forms and the Lott-Sturm-Villani CD(K,N) condition on metric measure spaces when the underlying diffusion or distance is subjected to a time change.

Significance. If the derivations hold, the results supply concrete rules for propagating synthetic Ricci lower bounds across time changes. This is useful in the study of time-dependent or reparametrized diffusions and mm-spaces, extending the applicability of CD theory without requiring new curvature computations from scratch. The work is framed as a direct derivation rather than a numerical or fitted construction.

minor comments (3)

The abstract states that formulas are derived, but the introduction should explicitly list the main transformation rules (with the precise dependence on the time-change function and its derivatives) so that readers can locate the central results without scanning the full proofs.
The weakest assumption (positivity and sufficient regularity of the time-change function so that the transformed object remains a Dirichlet form or mm-space) should be stated as a numbered hypothesis at the beginning of each main theorem, rather than left implicit.
Notation for the time-changed objects (e.g., the new Dirichlet form or the new distance) should be introduced once in a dedicated notation subsection and used consistently thereafter.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation and the recommendation of minor revision. No specific major comments appear in the report, so we have no point-by-point items to address.

Circularity Check

0 steps flagged

No significant circularity in derivation of transformation formulas

full rationale

The paper states it derives explicit transformation rules for Bakry-Émery CD(K,N) on local Dirichlet forms and Lott-Sturm-Villani CD(K,N) on metric measure spaces under time change. The provided abstract and context frame this as a direct mathematical derivation from the standard definitions of the respective CD conditions and the regularity assumptions on the time-change function. No equations, self-citations, or steps are exhibited that reduce any claimed result to an input by construction, rename a known pattern, or rely on fitted parameters presented as predictions. The central claims remain independent of the paper's own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no identifiable free parameters, axioms, or invented entities; the work is a transformation derivation within an existing synthetic-curvature framework.

pith-pipeline@v0.9.0 · 5575 in / 962 out tokens · 22914 ms · 2026-05-24T22:12:08.001301+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We derive precise transformation formulas for synthetic lower Ricci bounds under time change... BE(k',N') condition provided k' ≤ e^{-2w}[k - (N-2)(N'-2)/(N'-N) Γ(w) - Δ_ac w]
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 3.7... time-changed metric measure space (X,dw,mw) satisfies RCD(K',N')

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar ´ e, Calculus and heat ﬂow in metric measure spaces and applications to spaces with Ricci bounds from below, Invent. math., (2013), pp. 1–103. [2] , Metric measure spaces with riemannian Ricci curvature boun ded from below, Duke Math. J., 163 (2014), pp. 1405–1490. 21

work page 2013
[2]

Probab., 43 (2015), pp

, Bakry- ´Emery curvature-dimension condition and Riemannian Ricci cur- vature bounds, Ann. Probab., 43 (2015), pp. 339–404

work page 2015
[3]

Ambrosio, A

L. Ambrosio, A. Mondino, and G. Savar ´ e, On the Bakry- ´Emery con- dition, the gradient estimates and the local-to-global pro perty of RCD(K, N ) metric measure spaces , J. Geom. Anal., 26 (2016), pp. 24–56

work page 2016
[4]

Bakry and M

D. Bakry and M. ´Emery, Diﬀusions hypercontractives, in S´ eminaire de prob- abilit´ es, XIX, 1983/84, vol. 1123 of Lecture Notes in Math., Spring er, Berlin, 1985, pp. 177–206

work page 1983
[5]

Cavalletti, An overview of L1 optimal transportation on metric measure spaces, in Measure theory in non-smooth spaces, Partial Diﬀer

F. Cavalletti, An overview of L1 optimal transportation on metric measure spaces, in Measure theory in non-smooth spaces, Partial Diﬀer. Equ. Mea s. Theory, De Gruyter Open, Warsaw, 2017, pp. 98–144

work page 2017
[6]

Cavalletti and A

F. Cavalletti and A. Mondino , Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds , Invent. Math., 208 (2017), pp. 803–849

work page 2017
[7]

Cavalletti and A

F. Cavalletti and A. Mondino , New formulas for the Laplacian of distance functions and applications . Preprint, arXiv:1803.09687, 2018

work page arXiv 2018
[8]

Erbar, K

M. Erbar, K. Kuwada, and K.-T. Sturm , On the equivalence of the en- tropic curvature-dimension condition and Bochner’s inequ ality on metric mea- sure spaces, Invent. Math., 201 (2015), pp. 993–1071

work page 2015
[9]

Fukushima, Y

M. Fukushima, Y. Oshima, and M. Takeda , Dirichlet forms and symmet- ric Markov processes , vol. 19 of De Gruyter Studies in Mathematics, Walter de Gruyter & Co., Berlin, extended ed., 2011

work page 2011
[10]

Gigli , On the diﬀerential structure of metric measure spaces and ap plica- tions, Mem

N. Gigli , On the diﬀerential structure of metric measure spaces and ap plica- tions, Mem. Amer. Math. Soc., 236 (2015), pp. vi+91. [12] , Nonsmooth diﬀerential geometry—an approach tailored for s paces with Ricci curvature bounded from below , Mem. Amer. Math. Soc., 251 (2018), pp. v+161

work page 2015
[11]

Han , Conformal transformation on metric measure spaces , Potential Analysis, (2018)

B.-X. Han , Conformal transformation on metric measure spaces , Potential Analysis, (2018)

work page 2018
[12]

, Ricci tensor on RCD ∗(K, N ) spaces, J. Geom. Anal., 28 (2018), pp. 1295– 1314

work page 2018
[13]

Lierl and K.-T

J. Lierl and K.-T. Sturm , Neumann heat ﬂow and gradient ﬂow for the entropy on non-convex domains , Calc. Var. Partial Diﬀerential Equations, 57 (2018), p. 25

work page 2018
[14]

Lott and C

J. Lott and C. Villani , Ricci curvature for metric-measure spaces via op- timal transport, Ann. of Math. (2), 169 (2009), pp. 903–991. 22

work page 2009
[15]

Savar´ e, Self-improvement of the Bakry-´ emery condition and Wasser stein contraction of the heat ﬂow in RCD (K, ∞ ) metric measure spaces, Disc

G. Savar´ e, Self-improvement of the Bakry-´ emery condition and Wasser stein contraction of the heat ﬂow in RCD (K, ∞ ) metric measure spaces, Disc. Cont. Dyn. Sist. A, 34 (2014), pp. 1641–1661

work page 2014
[16]

Sturm , Analysis on local Dirichlet spaces

K.-T. Sturm , Analysis on local Dirichlet spaces. II. Upper Gaussian esti mates for the fundamental solutions of parabolic equations , Osaka J. Math., 32 (1995), pp. 275–312. [19] , On the geometry deﬁned by Dirichlet forms , in Seminar on Stochastic Analysis, Random Fields and Applications (Ascona, 1993), vol. 36 of P rogr. Probab., Birkh¨ auser, Basel, ...

work page 1995
[17]

I , Acta Math., 196 (2006), pp

, On the geometry of metric measure spaces. I , Acta Math., 196 (2006), pp. 65–131

work page 2006
[18]

II , Acta Math., 196 (2006), pp

, On the geometry of metric measure spaces. II , Acta Math., 196 (2006), pp. 133–177

work page 2006
[19]

, Gradient ﬂows for semiconvex functions on metric measure sp aces— existence, uniqueness, and Lipschitz continuity , Proc. Amer. Math. Soc., 146 (2018), pp. 3985–3994

work page 2018
[20]

Sturm , Ricci tensor for diﬀusion operators and curvature-dimensi on inequalities under conformal transformations and time cha nges, J

K.-T. Sturm , Ricci tensor for diﬀusion operators and curvature-dimensi on inequalities under conformal transformations and time cha nges, J. Funct. Anal., 275 (2018), pp. 793 – 829. 23

work page 2018

[1] [1]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar ´ e, Calculus and heat ﬂow in metric measure spaces and applications to spaces with Ricci bounds from below, Invent. math., (2013), pp. 1–103. [2] , Metric measure spaces with riemannian Ricci curvature boun ded from below, Duke Math. J., 163 (2014), pp. 1405–1490. 21

work page 2013

[2] [2]

Probab., 43 (2015), pp

, Bakry- ´Emery curvature-dimension condition and Riemannian Ricci cur- vature bounds, Ann. Probab., 43 (2015), pp. 339–404

work page 2015

[3] [3]

Ambrosio, A

L. Ambrosio, A. Mondino, and G. Savar ´ e, On the Bakry- ´Emery con- dition, the gradient estimates and the local-to-global pro perty of RCD(K, N ) metric measure spaces , J. Geom. Anal., 26 (2016), pp. 24–56

work page 2016

[4] [4]

Bakry and M

D. Bakry and M. ´Emery, Diﬀusions hypercontractives, in S´ eminaire de prob- abilit´ es, XIX, 1983/84, vol. 1123 of Lecture Notes in Math., Spring er, Berlin, 1985, pp. 177–206

work page 1983

[5] [5]

Cavalletti, An overview of L1 optimal transportation on metric measure spaces, in Measure theory in non-smooth spaces, Partial Diﬀer

F. Cavalletti, An overview of L1 optimal transportation on metric measure spaces, in Measure theory in non-smooth spaces, Partial Diﬀer. Equ. Mea s. Theory, De Gruyter Open, Warsaw, 2017, pp. 98–144

work page 2017

[6] [6]

Cavalletti and A

F. Cavalletti and A. Mondino , Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds , Invent. Math., 208 (2017), pp. 803–849

work page 2017

[7] [7]

Cavalletti and A

F. Cavalletti and A. Mondino , New formulas for the Laplacian of distance functions and applications . Preprint, arXiv:1803.09687, 2018

work page arXiv 2018

[8] [8]

Erbar, K

M. Erbar, K. Kuwada, and K.-T. Sturm , On the equivalence of the en- tropic curvature-dimension condition and Bochner’s inequ ality on metric mea- sure spaces, Invent. Math., 201 (2015), pp. 993–1071

work page 2015

[9] [9]

Fukushima, Y

M. Fukushima, Y. Oshima, and M. Takeda , Dirichlet forms and symmet- ric Markov processes , vol. 19 of De Gruyter Studies in Mathematics, Walter de Gruyter & Co., Berlin, extended ed., 2011

work page 2011

[10] [10]

Gigli , On the diﬀerential structure of metric measure spaces and ap plica- tions, Mem

N. Gigli , On the diﬀerential structure of metric measure spaces and ap plica- tions, Mem. Amer. Math. Soc., 236 (2015), pp. vi+91. [12] , Nonsmooth diﬀerential geometry—an approach tailored for s paces with Ricci curvature bounded from below , Mem. Amer. Math. Soc., 251 (2018), pp. v+161

work page 2015

[11] [11]

Han , Conformal transformation on metric measure spaces , Potential Analysis, (2018)

B.-X. Han , Conformal transformation on metric measure spaces , Potential Analysis, (2018)

work page 2018

[12] [12]

, Ricci tensor on RCD ∗(K, N ) spaces, J. Geom. Anal., 28 (2018), pp. 1295– 1314

work page 2018

[13] [13]

Lierl and K.-T

J. Lierl and K.-T. Sturm , Neumann heat ﬂow and gradient ﬂow for the entropy on non-convex domains , Calc. Var. Partial Diﬀerential Equations, 57 (2018), p. 25

work page 2018

[14] [14]

Lott and C

J. Lott and C. Villani , Ricci curvature for metric-measure spaces via op- timal transport, Ann. of Math. (2), 169 (2009), pp. 903–991. 22

work page 2009

[15] [15]

Savar´ e, Self-improvement of the Bakry-´ emery condition and Wasser stein contraction of the heat ﬂow in RCD (K, ∞ ) metric measure spaces, Disc

G. Savar´ e, Self-improvement of the Bakry-´ emery condition and Wasser stein contraction of the heat ﬂow in RCD (K, ∞ ) metric measure spaces, Disc. Cont. Dyn. Sist. A, 34 (2014), pp. 1641–1661

work page 2014

[16] [16]

Sturm , Analysis on local Dirichlet spaces

K.-T. Sturm , Analysis on local Dirichlet spaces. II. Upper Gaussian esti mates for the fundamental solutions of parabolic equations , Osaka J. Math., 32 (1995), pp. 275–312. [19] , On the geometry deﬁned by Dirichlet forms , in Seminar on Stochastic Analysis, Random Fields and Applications (Ascona, 1993), vol. 36 of P rogr. Probab., Birkh¨ auser, Basel, ...

work page 1995

[17] [17]

I , Acta Math., 196 (2006), pp

, On the geometry of metric measure spaces. I , Acta Math., 196 (2006), pp. 65–131

work page 2006

[18] [18]

II , Acta Math., 196 (2006), pp

, On the geometry of metric measure spaces. II , Acta Math., 196 (2006), pp. 133–177

work page 2006

[19] [19]

, Gradient ﬂows for semiconvex functions on metric measure sp aces— existence, uniqueness, and Lipschitz continuity , Proc. Amer. Math. Soc., 146 (2018), pp. 3985–3994

work page 2018

[20] [20]

Sturm , Ricci tensor for diﬀusion operators and curvature-dimensi on inequalities under conformal transformations and time cha nges, J

K.-T. Sturm , Ricci tensor for diﬀusion operators and curvature-dimensi on inequalities under conformal transformations and time cha nges, J. Funct. Anal., 275 (2018), pp. 793 – 829. 23

work page 2018