The Quasi Curvature-Dimension Condition with applications to sub-Riemannian manifolds

Emanuel Milman

The Quasi Curvature-Dimension Condition with applications to sub-Riemannian manifolds

T0 review · 0 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A quasi-curvature-dimension condition extends sharp spectral estimates to Heisenberg groups.

desk verdict A coherent and important paper: the QCD relaxation plus localization yields first dimension-independent Poincaré/log-Sobolev constants on Heisenberg and ideal sub-Riemannian spaces; the external interpolation inequality is the only real caveat. read the letter →

arxiv 1908.01513 v5 pith:ONYPYSNJ submitted 2019-08-05 math.FA math.DGmath.MGmath.SP

Emanuel Milman This is my paper · ORCID

classification math.FAmath.DGmath.MGmath.SP MSC 53C1749Q2235P15

keywords QuasiCurvature-Dimensionconditionsub-RiemannianmanifoldsHeisenberggroupsLp-Poincaréinequalitylog-Sobolevlocalizationmeasurecontractionpropertyspectralgap

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper argues that many strictly sub-Riemannian spaces, long known to fail the curvature-dimension condition, still satisfy a quasi-convex version of it, and that this is enough to transfer the standard analytic consequences of curvature-dimension theory. The new condition, $\mathsf{QCD}(Q,K,N)$, relaxes the $\mathsf{CD}(K,N)$ interpolation inequality by a slack factor $Q$; on an ideal sub-Riemannian manifold of topological dimension $n$, the measure contraction property $\mathsf{MCP}(K,N)$ implies $\mathsf{QCD}(Q,K,N)$ with $Q = 2^{N-n}$. A general localization theorem then reduces functional inequalities on QCD spaces to the one-dimensional line, where every QCD density is squeezed between a CD density and $Q$ times it. The payoff is that on every Heisenberg group, regardless of dimension, the Li-Yau / Zhong-Yang spectral-gap estimate holds up to the universal factor $Q = 4$.

What carries the argument

The driving object is the new condition $\mathsf{QCD}(Q,K,N)$, a quasi-convex relaxation in which the $\mathsf{CD}(K,N)$ density interpolation inequality holds with an extra factor $1/Q^{1/N}$. It is powered by the Jacobian interpolation inequality (2.1), which bounds the density along a Wasserstein geodesic by the interpolated endpoint densities with sharp exponents $1/n$; combining that with $\mathsf{MCP}(K,N)$ and Jensen's inequality yields the QCD inequality with $Q = 2^{N-n}$. The second mechanism is the general localization theorem, which disintegrates a QCD space into one-dimensional geodesics carrying the same interpolation coefficients, and the one-dimensional equivalence—any QCD density lies between a CD density and $Q$ times it—turns the geodesic problem into a known one-dimensional extremal problem.

What would settle it

Compute the Neumann spectral gap of the sub-Laplacian on a geodesic ball of diameter $D$ in the Heisenberg group $\mathbb{H}^d$. The paper predicts $D^2\lambda \geq \pi^2/4$ for every $d$; if any dimension yields a normalized gap below this threshold, the factor-$4$ conclusion fails.

Watch

Extended reading notes

Core claim

The central claim is that a broad family of strictly sub-Riemannian spaces, which are excluded from the usual curvature-dimension theory, nevertheless carries a quasi-convex version of it, and that this version is strong enough to reproduce the standard analytic consequences. The author proves that on an ideal sub-Riemannian manifold of topological dimension $n$, the measure contraction property $\mathsf{MCP}(K,N)$ together with the Jacobian interpolation inequality along Wasserstein geodesics (Theorem 2.1) implies $\mathsf{QCD}(Q,K,N)$ with $Q = 2^{N-n}$; for non-ideal corank-1 Carnot groups the same conclusion, with $Q = 4$, follows from the companion interpolation inequality (Theorem 2.2). A localization theorem for arbitrary interpolation coefficients reduces any $\mathsf{QCD}(Q,K,N)$ space to one-dimensional geodesics, and on the line every QCD density $h$ is squeezed between a CD density $f$ and $Qh$. Hence the best $L^p$-Poincaré and log-Sobolev constants on the QCD space are bounded below by $1/Q$ times the sharp one-dimensional CD constants, which gives the first dimension-independent spectral-gap and log-Sobolev estimates on Heisenberg groups in every dimension.

Load-bearing premise

The load-bearing premise is an external, deep Jacobian interpolation inequality along optimal geodesics, holding with exact exponents and no error term; if that inequality carries any correction or extra dimension factor, the final constants degrade by at least that amount, and outside the ideal and corank-1 settings it is not covered.

Editorial extensions

If this is right

On every Heisenberg group $\mathbb{H}^d$, the sharp Li-Yau / Zhong-Yang spectral-gap bound holds up to the universal factor $4$, independently of the dimension $d$.
Ideal generalized H-type groups, the Grushin plane, Sasakian and 3-Sasakian manifolds, and corank-1 Carnot groups all obtain $L^p$-Poincaré and log-Sobolev constants within the factor $Q = 2^{N-n}$ of the best one-dimensional $\mathsf{CD}(K,N)$ constants.
Because $Q$ depends only on the gap $N-n$ between geodesic and topological dimension, any family of these spaces with uniformly bounded $N-n$ admits estimates that do not degrade with the ambient dimension.
The results constitute the first quantitative functional inequalities on these sub-Riemannian spaces that are truly independent of dimension.
The same mechanism applies to any property of $\mathsf{CD}(K,N)$ spaces that is amenable to localization and stable under the one-dimensional density perturbation $h \leq f \leq Qh$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the Jacobian interpolation inequality is established beyond the ideal and corank-1 settings, the same proof should produce QCD and hence dimension-independent functional inequalities on broader classes of sub-Riemannian manifolds.
The one-dimensional density characterization suggests that a QCD space is, in a measure-theoretic sense, sandwiched between a genuine CD space and a bounded perturbation of it; a natural testable extension is to search for explicit CD densities dominating the Heisenberg measure along transport geodesics.
The quasi Brunn-Minkowski inequality implied by QCD points toward a possible stability and tensorization theory for QCD, although the paper does not develop such a theory, and this remains an open direction.
Because the constants are explicit, one could numerically test the sharpness of the factor $4$ by computing spectral gaps of the sub-Laplacian on geodesic balls in the Heisenberg group and comparing with the predicted universal constant.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Milman's QCD paper is a real advance. The new definition QCD(Q,K,N) is a quasi-convex relaxation of CD that is weak enough to hold on ideal sub-Riemannian manifolds and strong enough to deliver quantitative functional inequalities. The main Theorem 2.9 delivers what the abstract promises: L^p-Poincaré and log-Sobolev constants on QCD spaces are within factor Q of the sharp CD constants. For Heisenberg groups Q=4, independent of dimension, which is the first estimate of that kind. The chain is transparent: MCP plus the Barilari–Rizzi interpolation inequality yields QCD via Jensen with Q=2^{N-n}, the generalized localization Theorem 4.1 reduces the problem to geodesics, Proposition 5.7 shows one-dimensional QCD densities are trapped between h and Qh by a CD density, and the stability lemma transfers the functional inequalities with factor Q. I read the proofs of Theorem 4.1 and Section 6 and found no gaps. The Q factor is not fitted; it is derived from explicit exponents. The paper is also honest about what is external and gives credit where it is due.

The soft spots are real but not fatal. The load-bearing external input is the Jacobian interpolation inequality (2.1), cited to Barilari–Rizzi and Balogh–Kristály–Sipos, in the exact form with exponent 1/n and no extra constant. If that inequality carried a hidden dimension-dependent factor or used an effective dimension different from the topological dimension, the factor Q=2^{N-n} would change. This is a dependency on published peer-reviewed results, not an internal flaw. Relatedly, the non-ideal case is covered only for corank 1 Carnot groups, and the ideal assumption excludes many sub-Riemannian structures; the paper says so explicitly. The long analytic proofs are not machine-checked, so the reader's MODERATE confidence is fair. The citation pattern is fine: self-citations to Han–Milman and the author's earlier localization work are appropriate, and the central claim does not reduce to those results.

This paper is for researchers in optimal transport, metric measure spaces, sub-Riemannian geometry, and functional inequalities. It deserves a serious referee. I would send it out and expect it to be accepted after normal revision; the main theorem is important and the internal structure is coherent.

Referee Report

0 major / 3 minor

Summary. The paper introduces the Quasi Curvature-Dimension condition QCD(Q,K,N), a quasi-convex relaxation of the Lott-Sturm-Villani CD(K,N) condition. On an n-dimensional ideal sub-Riemannian manifold, it shows that MCP(K,N) implies QCD(2^{N-n},K,N) by combining the Barilari-Rizzi Jacobian interpolation inequality with Jensen's inequality; a result of Balogh-Kristaly-Sipos covers non-ideal corank-1 Carnot groups. The paper then proves a general localization theorem for Monge spaces satisfying arbitrary interpolation inequalities, establishes that one-dimensional QCD densities are equivalent up to the factor Q to CD densities via a CD upper envelope, and combines these to show that L^p-Poincaré and log-Sobolev constants on QCD spaces lie within a factor Q of sharp one-dimensional CD constants. Applications include Heisenberg groups (factor 4 in all dimensions), generalized H-type groups, corank-1 Carnot groups, the Grushin plane, and Sasakian/3-Sasakian manifolds.

Significance. If correct, the result gives the best known quantitative L^p-Poincaré and log-Sobolev estimates on these sub-Riemannian spaces and the first dimension-independent spectral-gap estimate up to factor 4 on all Heisenberg groups. The paper's main strengths are the explicit, parameter-free constant Q=2^{N-n}, the fully detailed localization argument for general interpolation coefficients, the clean one-dimensional equivalence (Proposition 5.7), and the optimality discussion via Juillet's construction. The central derivation is transparent: the only non-elementary input is the exact Jacobian interpolation inequality (2.1) from [17] and [14], which is cited rather than reproved. This is a genuine external dependency, but it is clearly identified and does not create an internal gap.

minor comments (3)

[Theorem 1.1, log-Sobolev display] The denominator appears to be 4k^2 C D^2, whereas Theorem 2.9 together with Q=4k yields the constant pi^2/(4k C D^2); please correct the displayed formula or explain the extra factor k.
[References, [44]] The first author's name is corrupted as 'Haj/suppress lasz'; it should read Hajłasz.
[Section 2 table, ideal Carnot groups row] The entry N in [n, infinity) is ambiguous without a sentence clarifying that Q=2^{N-n} and that dimension-independent estimates require a uniform bound on N-n.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the QCD factor is derived algebraically from external interpolation inequalities, and the subsequent functional-inequality results are obtained by a self-contained localization and one-dimensional envelope argument.

full rationale

The paper's derivation chain is not circular. Proposition 2.4 starts from the external Jacobian interpolation inequalities of Barilari-Rizzi (Theorem 2.1) and Balogh-Kristaly-Sipos (Theorem 2.2), combines them with the MCP lower bound on the distortion coefficients, and applies Jensen's inequality with exponent n/N. The slack factor Q = 2^{N-n} emerges algebraically from that exponent and is not fitted to any target inequality. The QCD condition is explicitly introduced as a quasi-convex relaxation, and the paper openly states that deriving it from the interpolation input is essentially trivial; the substance lies in the localization theorem (Theorem 4.1) and the one-dimensional equivalence (Proposition 5.7). Theorem 4.1 is proved in the paper, building on the Cavalletti-Mondino localization framework, while Proposition 5.7 is proved by constructing the CD(K,N) upper envelope via the model-density ODE, not by assuming the conclusion. The constants for one-dimensional CD spaces are cited from independent published work (Bakry-Qian, Matei, Valtorta, etc.). The self-citations that appear, such as [28] (Cavalletti-Milman), [46] (Han-Milman), and [67] (Milman), are used for prior localization facts, the geo(Omega) variant, or a technical lemma about model densities; none of these cited results assumes the QCD functional-inequality conclusions, so they do not make the argument circular. The main genuine dependency is on the external interpolation inequalities and the prior localization theory, but reliance on published external theorems with assumptions that do not include the target result is not circularity. No prediction is fitted to data, no known result is merely renamed, and no uniqueness theorem is imported from the authors to force the choice of QCD.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No fitted parameters and no invented entities. The QCD condition is a new definition but not a postulated physical or mathematical entity; Q=2^{N-n} is forced by Jensen's inequality. All numerical inputs (N values, MCP results) come from cited prior work.

assumptions (7)

domain assumption Jacobian interpolation inequality (2.1) of Barilari-Rizzi for ideal sub-Riemannian manifolds
External deep result cited as Theorem 2.1; Proposition 2.4 combines it with Jensen to derive QCD(Q,K,N) from MCP(K,N).
domain assumption Jacobian interpolation inequality of Balogh-Kristaly-Sipos for corank 1 Carnot groups
Cited as Theorem 2.2; used in Corollary 2.6 to handle non-ideal corank 1 Carnot groups.
domain assumption MCP(0,N) holds for the specific sub-Riemannian spaces with stated N (generalized H-type, Heisenberg, Grushin, Sasakian, 3-Sasakian, H-type foliations, corank 1 Carnot groups)
Facts from [79, 80, 15, 56, 17, 16, 21, 7] imported into Proposition 2.4 and Corollaries 2.5-2.6.
domain assumption Monge property of ideal sub-Riemannian manifolds and step-2 Carnot groups
From Figalli-Rifford [40], McCann [65], and Badreddine-Rifford [7]; required for the optimal-transport definitions of QCD, CD, and MCP to apply.
domain assumption Localization theorem for MCP(K,N) spaces (Theorem 3.10)
Borrowed from [32] and [30]; Theorem 4.1 extends it to general interpolation coefficients but assumes its main conclusions.
domain assumption Sharp one-dimensional CD(K,N) spectral constants (2.7)-(2.9)
Imported from Bakry-Qian [12], Matei [63], Valtorta [85], Esposito-Nitsch-Trombetti [38], and Naber-Valtorta [69]; used to compute the final constants in Theorem 2.9.
standard math Basic optimal transport facts (cyclical monotonicity, uniqueness of optimal plans on Monge spaces)
Used throughout but standard in the field; no special assumptions beyond the Monge framework.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Quasi Curvature-Dimension Condition with applications to sub-Riemannian manifolds." pith.science (2026). https://pith.science/paper/ONYPYSNJ

@misc{pith2026190801513,
  author       = {Pith},
  title        = {Pith review of: The Quasi Curvature-Dimension Condition with applications to sub-Riemannian manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ONYPYSNJ}},
  note         = {Machine review of arXiv:1908.01513}
}

abstract

We obtain the best known quantitative estimates for the $L^p$-Poincar\'e and log-Sobolev inequalities on domains in various sub-Riemannian manifolds, including ideal Carnot groups and in particular ideal generalized H-type Carnot groups and the Heisenberg groups, corank $1$ Carnot groups, the Grushin plane, and various H-type foliations, Sasakian and $3$-Sasakian manifolds. Moreover, this constitutes the first time that a quantitative estimate independent of the dimension is established on these spaces. For instance, the Li-Yau / Zhong-Yang spectral-gap estimate holds on all Heisenberg groups of arbitrary dimension up to a factor of $4$. We achieve this by introducing a quasi-convex relaxation of the Lott-Sturm-Villani $\mathsf{CD}(K,N)$ condition we call the Quasi Curvature-Dimension condition $\mathsf{QCD}(Q,K,N)$. Our motivation stems from a recent interpolation inequality along Wasserstein geodesics in the ideal sub-Riemannian setting due to Barilari and Rizzi. We show that on an ideal sub-Riemannian manifold of dimension $n$, the Measure Contraction Property $\mathsf{MCP}(K,N)$ implies $\mathsf{QCD}(Q,K,N)$ with $Q = 2^{N-n} \geq 1$, thereby verifying the latter property on the aforementioned ideal spaces; a result of Balogh-Krist\'aly-Sipos is used instead to handle non-ideal corank $1$ Carnot groups. By extending the localization paradigm to completely general interpolation inequalities, we reduce the study of various analytic and geometric inequalities on $\mathsf{QCD}$ spaces to the one-dimensional case. Consequently, we deduce that while (strictly) sub-Riemannian manifolds do not satisfy any type of $\mathsf{CD}$ condition, many of them satisfy numerous functional inequalities with \emph{exactly the same} quantitative dependence (up to a factor of $Q$) as their $\mathsf{CD}$ counterparts.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

92 extracted references · 72 canonical work pages

[17]

Barilari and L

D. Barilari and L. Rizzi. Sub-Riemannian interpolatio n inequalities. Invent. Math. , 215:977–1038, 2019

work page 2019
[14]

Z. M. Balogh, A. Krist´ aly, and K. Sipos. Jacobian deter minant inequality on corank 1 Carnot groups with applications. J. Funct. Anal. , 277(12):108293, 36, 2019

work page 2019
[1]

Agrachev, D

A. Agrachev, D. Barilari, and U. Boscain. A Comprehensive Introduction to Sub- Riemannian Geometry. Cambridge Studies in Advanced Mathematics. Cambridge Uni - versity Press, 2019

2019
[2]

Ambrosio

L. Ambrosio. Lecture notes on optimal transport problem s. In Mathematical aspects of evolving interfaces (Funchal, 2000) , volume 1812 of Lecture Notes in Math. , pages 1–52. Springer, Berlin, 2003

2000
[3]

Ambrosio and N

L. Ambrosio and N. Gigli. A user’s guide to optimal transp ort. Modelling and Op- timisation of Flows on Networks, Lecture Notes in Mathemati cs, Vol. 2062, Springer, 2011. 34 The Quasi Curvature-Dimension Condition

2011
[4]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar´ e. Gradient ﬂows in metric spaces and in the space of probability measures. Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag,Basel, second edition, 2008

2008
[5]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar´ e. Metric measure spa ces with riemannian Ricci curvature bounded from below. Duke Math. J. , 163:1405–1490, 2014

2014
[6]

Andrews and J

B. Andrews and J. Clutterbuck. Sharp modulus of continui ty for parabolic equations on manifolds and lower bounds for the ﬁrst eigenvalue. Anal. PDE , 6(5):1013–1024, 2013

2013

Show all 92 references

[7]

Badreddine and L

Z. Badreddine and L. Riﬀord. Measure contraction propert ies for two-step analytic sub- Riemannian structures and Lipschitz Carnot groups. arxiv. org/abs/1712.09900, 2017

2017 arXiv
[8]

D. Bakry. L’hypercontractivit´ e et son utilisation en th´ eorie des semigroupes. InLectures on probability theory (Saint-Flour, 1992) , volume 1581 of Lecture Notes in Math. , pages 1–114. Springer, Berlin, 1994

1992
[9]

Bakry, F

D. Bakry, F. Baudoin, M. Bonnefont, and D. Chafa¨ ı. On gra dient bounds for the heat kernel on the Heisenberg group. J. Funct. Anal. , 255(8):1905–1938, 2008

1905
[10]

Bakry and M

D. Bakry and M. ´Emery. Diﬀusions hypercontractives. In S´ eminaire de probabilit´ es, XIX, 1983/84, volume 1123 of Lecture Notes in Math. , pages 177–206. Springer, Berlin, 1985

1983
[11]

Bakry, I

D. Bakry, I. Gentil, and M. Ledoux. Analysis and geometry of Markov diﬀusion operators , volume 348 of Grundlehren der Mathematischen Wissenschaften [Fundamen tal Principles of Mathematical Sciences] . Springer, Cham, 2014

2014
[12]

Bakry and Z

D. Bakry and Z. Qian. Some new results on eigenvectors vi a dimension, diameter, and Ricci curvature. Adv. Math., 155(1):98–153, 2000

2000
[13]

Z. M. Balogh, A. Krist´ aly, and K. Sipos. Geometric ineq ualities on Heisenberg groups. Calc. Var. Partial Diﬀerential Equations , 57(2):Art. 61, 41, 2018

2018
[15]

Barilari and L

D. Barilari and L. Rizzi. Sharp measure contraction pro perty for generalized H-type Carnot groups. Commun. Contemp. Math. , 20(6):1750081, 24, 2018

2018
[16]

Barilari and L

D. Barilari and L. Rizzi. Bakry– ´Emery curvature and model spaces in Sub-Riemannian geometry. arxiv.org/abs/1906.08307, 2019

1906 arXiv
[18]

Baudoin and M

F. Baudoin and M. Bonnefont. Log-Sobolev inequalities for subelliptic operators satis- fying a generalized curvature dimension inequality. J. Funct. Anal. , 262(6):2646–2676, 2012

2012
[19]

Baudoin, M

F. Baudoin, M. Bonnefont, and N. Garofalo. A sub-Rieman nian curvature-dimension inequality, volume doubling property and the Poincar´ e inequality. Math. Ann. , 358(3- 4):833–860, 2014

2014
[20]

Baudoin and N

F. Baudoin and N. Garofalo. Curvature-dimension inequ alities and Ricci lower bounds for sub-Riemannian manifolds with transverse symmetries. J. Eur. Math. Soc. (JEMS) , 19(1):151–219, 2017

2017
[21]

Baudoin, E

F. Baudoin, E. Grong, G. Molino, and L. Rizzi. Compariso n theorems on H-type sub- Riemannian manifolds. arXiv:1909.03532, 2019

1909 arXiv
[22]

Bianchini and L

S. Bianchini and L. Caravenna. On the extremality, uniq ueness and optimality of trans- ference plans. Bull. Inst. Math. Acad. Sin. (N.S.) , 4(4):353–454, 2009

2009
[23]

Bianchini and F

S. Bianchini and F. Cavalletti. The Monge problem for di stance cost in geodesic spaces. Comm. Math. Phys. , 318(3):615–673, 2013

2013
[24]

Bonnefont, D

M. Bonnefont, D. Chafa¨ ı, and R. Herry. On logarithmic sobolev inequalities for the heat kernel on the heisenberg group. arxiv.org/abs/1607.02741 , to appear in Annales de la Facult des Sciences de Toulouse, 2016

2016 arXiv
[25]

Calderon

E. Calderon. Functional inequalities on weighted Riemannian manifolds sub- ject to curvature-dimension conditions . PhD thesis, Technion - I.I.T., 2018. 35 The Quasi Curvature-Dimension Condition arXiv.org/abs/1905.08866

2018 arXiv
[26]

Cavalletti

F. Cavalletti. Monge problem in metric measure spaces w ith Riemannian curvature- dimension condition. Nonlinear Anal., 99:136–151, 2014

2014
[27]

Cavalletti

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

2017
[28]

Cavalletti and E

F. Cavalletti and E. Milman. The globalization theorem for the Curvature-Dimension condition. arxiv.org/abs/1612.07623, 2016

2016 arXiv
[29]

Cavalletti and A

F. Cavalletti and A. Mondino. Optimal maps in essential ly non-branching spaces. Com- mun. Contemp. Math. , 19(6):1750007, 27, 2017

2017
[30]

Cavalletti and A

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

2017
[31]

Cavalletti and A

F. Cavalletti and A. Mondino. Sharp geometric and funct ional inequalities in metric measure spaces with lower Ricci curvature bounds. Geom. Topol., 21(1):603–645, 2017

2017
[32]

Cavalletti and A

F. Cavalletti and A. Mondino. New formulas for the Lapla cian of distance functions and applications. to appear in Anal. PDE, arXiv:1803.09687, 20 18

arXiv
[33]

Cavalletti and F

F. Cavalletti and F. Santarcangelo. Isoperimetric ine quality under Measure-Contraction property. J. Func. Anal. , 277(9):2893–2917, 2019

2019
[34]

Cordero-Erausquin, R

D. Cordero-Erausquin, R. J. McCann, and M. Schmuckensc hl¨ ager. A Riemannian in- terpolation inequality ` a la Borell, Brascamp and Lieb. Invent. Math. , 146(2):219–257, 2001

2001
[35]

Y. X. Dong, G. Z. Lu, and L. J. Sun. Global Poincar´ e inequ alities on the Heisenberg group and applications. Acta Math. Sin. (Engl. Ser.) , 23(4):735–744, 2007

2007
[36]

B. K. Driver and T. Melcher. Hypoelliptic heat kernel in equalities on the Heisenberg group. J. Funct. Anal. , 221(2):340–365, 2005

2005
[37]

J. F. Escobar. Uniqueness theorems on conformal deform ation of metrics, Sobolev in- equalities, and an eigenvalue estimate. Comm. Pure Appl. Math. , 43(7):857–883, 1990

1990
[38]

Esposito, C

L. Esposito, C. Nitsch, and C. Trombetti. Best constant s in Poincar´ e inequalities for convex domains. J. Convex Anal. , 20(1):253–264, 2013

2013
[39]

L. C. Evans. Partial diﬀerential equations and Monge-Ka ntorovich mass transfer. In Current developments in mathematics, 1997 (Cambridge, MA) , pages 65–126. Int. Press, Boston, MA, 1999

1997
[40]

Figalli and L

A. Figalli and L. Riﬀord. Mass transportation on sub-Rie mannian manifolds. Geom. Funct. Anal., 20(1):124–159, 2010

2010
[41]

N. Gigli. On the diﬀerential structure of metric measure spaces and applications. Mem. Amer. Math. Soc. , 236(1113):vi+91, 2015

2015
[42]

M. Gromov. Metric structures for Riemannian and non-Riemannian space s, volume 152 of Progress in Mathematics . Birkh¨ auser Boston Inc., Boston, MA, 1999

1999
[43]

Gromov and V

M. Gromov and V. D. Milman. Generalization of the spheri cal isoperimetric inequality to uniformly convex Banach spaces. Compositio Math., 62(3):263–282, 1987

1987
[44]

Haj/suppress lasz and P

P. Haj/suppress lasz and P. Koskela. Sobolev met Poincar´ e. Mem. Amer. Math. Soc. , 145(688):x+101, 2000

2000
[45]

B. Han. Sharp p-Poincar´ e inequalities under measure contraction property. to appear in Manuscripta Math., https://doi.org/10.1007/s00229-019-01138-5, 2019

2019 doi
[46]

Han and E

B. Han and E. Milman. Sharp Poincar´ e inequalities under Measure Contraction Property. to appear in Ann Scuola Norm-Sci, arxiv.org/abs/1905.0546 5, 2019

1905
[47]

Hebisch and B

W. Hebisch and B. Zegarli´ nski. Coercive inequalitieson metric measure spaces. J. Funct. Anal., 258(3):814–851, 2010

2010
[48]

Holley and D

R. Holley and D. Stroock. Logarithmic Sobolev inequali ties and stochastic Ising models. J. Statist. Phys. , 46(5-6):1159–1194, 1987

1987
[49]

D. Jerison. The Poincar´ e inequality for vector ﬁelds s atisfying H¨ ormander’s condition. 36 The Quasi Curvature-Dimension Condition Duke Math. J. , 53(2):503–523, 1986

1986
[50]

N. Juillet. Geometric inequalities and generalized Ri cci bounds in the Heisenberg group. Int. Math. Res. Not. IMRN , (13):2347–2373, 2009

2009
[51]

N. Juillet. SubRiemannian structures do not satisfy Ri emannian Brunn–Minkowski in- equalities. HAL preprint hal-01910412, 2018

2018
[52]

Kannan, L

R. Kannan, L. Lov´ asz, and M. Simonovits. Isoperimetric problems for convex bodies and a localization lemma. Discrete Comput. Geom. , 13(3-4):541–559, 1995

1995
[53]

B. Kim. Poincar´ e inequality and the uniqueness of solutions for the heat equation asso- ciated with subelliptic diﬀusion operators. arXiv:1305.05 08, 2013

2013
[54]

B. Klartag. Needle decompositions in Riemannian geome try. Mem. Amer. Math. Soc. , 249(1180):v + 77, 2017

2017
[55]

M. Ledoux. The concentration of measure phenomenon , volume 89 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2001

2001
[56]

P. W. Y. Lee, C. Li, and I. Zelenko. Ricci curvature type lower bounds for sub-Riemannian structures on Sasakian manifolds. Discrete Contin. Dyn. Syst. , 36(1):303–321, 2016

2016
[57]

H.-Q. Li. Estimation optimale du gradient du semi-grou pe de la chaleur sur le groupe de Heisenberg. J. Funct. Anal. , 236(2):369–394, 2006

2006
[58]

Li and S.T

P. Li and S.T. Yau. Estimates of eigenvalues of a compact Riemannian manifold. In Geometry of the Laplace operator (Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979) , Proc. Sympos. Pure Math., XXXVI, pages 205–239. Amer. Math . Soc., Providence, R.I., 1980

1979
[59]

Lichnerowicz

A. Lichnerowicz. G´ eom´ etrie des groupes de transformations. Travaux et Recherches Math´ ematiques, III. Dunod, Paris, 1958

1958
[60]

Lott and C

J. Lott and C. Villani. Weak curvature conditions and fu nctional inequalities. J. Funct. Anal., 245(1):311–333, 2007

2007
[61]

Lott and C

J. Lott and C. Villani. Ricci curvature for metric-meas ure spaces via optimal transport. Ann. of Math. (2) , 169(3):903–991, 2009

2009
[62]

Luˇ ci´ c and E

D. Luˇ ci´ c and E. Pasqualetto. Inﬁnitesimal Hilbertianity of weighted Riemannian mani- folds. arxiv.org/abs/1809.05919, to appear in Canadian Ma thematical Bulletin, 2018

2018 arXiv
[63]

A.-M. Matei. First eigenvalue for the p-Laplace operator. Nonlinear Anal., 39(8, Ser. A: Theory Methods):1051–1068, 2000

2000
[64]

R. J. McCann. A convexity principle for interacting gas es. Adv. Math., 128(1):153–179, 1997

1997
[65]

R. J. McCann. Polar factorization of maps on Riemannian manifolds. Geom. Funct. Anal., 11(3):589–608, 2001

2001
[66]

R. J. McCann and N. Guillen. Five lectures on optimal tra nsportation: geometry, regu- larity and applications. In Analysis and geometry of metric measure spaces , volume 56 of CRM Proc. Lecture Notes , pages 145–180. Amer. Math. Soc., Providence, RI, 2013

2013
[67]

E. Milman. Beyond traditional curvature-dimension I: new model spaces for isoperi- metric and concentration inequalities in negative dimensi on. Trans. Amer. Math. Soc. , 369(5):3605–3637, 2017

2017
[68]

Monti and M

R. Monti and M. Rickly. Geodetically convex sets in the H eisenberg group. J. Convex Anal., 12(1):187–196, 2005

2005
[69]

Naber and D

A. Naber and D. Valtorta. Sharp estimates on the ﬁrst eig envalue of the p-Laplacian with negative Ricci lower bound. Math. Z. , 277(3-4):867–891, 2014

2014
[70]

S.-I. Ohta. On the measure contraction property of metr ic measure spaces. Comment. Math. Helv. , 82(4):805–828, 2007

2007
[71]

S.-I. Ohta. Finsler interpolation inequalities. Calc. Var. Partial Diﬀerential Equations , 36(2):211–249, 2009

2009
[72]

S.-I. Ohta. ( K, N)-convexity and the curvature-dimension condition for neg ative N. J. Geom. Anal., 26(3):2067–2096, 2016. 37 The Quasi Curvature-Dimension Condition

2016
[73]

Otto and C

F. Otto and C. Villani. Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality. J. Funct. Anal. , 173(2):361–400, 2000

2000
[74]

L. E. Payne and H. F. Weinberger. An optimal Poincar´ e inequality for convex domains. Arch. Rational Mech. Anal. , 5:286–292, 1960

1960
[75]

Petrunin

A. Petrunin. Alexandrov meets Lott-Villani-Sturm. M¨ unster J. Math., 4:53–64, 2011

2011
[76]

S. T. Rachev and L. R¨ uschendorf.Mass transportation problems. Vol. I . Probability and its Applications (New York). Springer-Verlag, New York, 19 98
[77]

T. Rajala. Failure of the local-to-global property for CD(K, N) spaces. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 15:45–68, 2016

2016
[78]

Rajala and K.-T

T. Rajala and K.-T. Sturm. Non-branching geodesics and optimal maps in strong CD(K, ∞)-spaces. Calc. Var. Partial Diﬀerential Equations , 50(3-4):831–846, 2014

2014
[79]

L. Riﬀord. Ricci curvatures in Carnot groups. Math. Control Relat. Fields , 3(4):467–487, 2013

2013
[80]

L. Rizzi. Measure contraction properties of Carnot gro ups. Calc. Var. Partial Diﬀerential Equations, 55(3):Art. 60, 20, 2016

2016
[81]

S. M. Srivastava. A course on Borel sets , volume 180 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1998

1998
[82]

K.-T. Sturm. On the geometry of metric measure spaces. I . Acta Math., 196(1):65–131, 2006

2006
[83]

K.-T. Sturm. On the geometry of metric measure spaces. I I. Acta Math., 196(1):133–177, 2006

2006
[84]

J. Urbas. Mass transfer problems. Lecture notes, Unive rsity of Bonn, 1998

1998
[85]

Valtorta

D. Valtorta. Sharp estimate on the ﬁrst eigenvalue of th e p-Laplacian. Nonlinear Anal., 75(13):4974–4994, 2012

2012
[86]

C. Villani. Topics in optimal transportation , volume 58 of Graduate Studies in Mathe- matics. American Mathematical Society, Providence, RI, 2003

2003
[87]

C. Villani. Optimal transport - old and new , volume 338 of Grundlehren der Mathema- tischen Wissenschaften [Fundamental Principles of Mathem atical Sciences] . Springer- Verlag, Berlin, 2009

2009
[88]

von Renesse and K.-T

M.-K. von Renesse and K.-T. Sturm. Transport inequalit ies, gradient estimates, entropy, and Ricci curvature. Comm. Pure Appl. Math. , 58(7):923–940, 2005

2005
[89]

C. Xia. The ﬁrst nonzero eigenvalue for manifolds with R icci curvature having positive lower bound. In Chinese mathematics into the 21st century (Tianjin, 1988) , pages 243–

1988
[90]

Q. Xia. Sharp spectral gap for the Finsler p-Laplacian. Sci. China Math. , 62(8):1615– 1644, 2019

2019
[91]

J. Q. Zhong and H. C. Yang. On the estimate of the ﬁrst eige nvalue of a compact Riemannian manifold. Sci. Sinica Ser. A , 27(12):1265–1273, 1984. 38

1984
[249]

Press, Beijing, 1991

Peking Univ. Press, Beijing, 1991

1991

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [17]

Barilari and L

D. Barilari and L. Rizzi. Sub-Riemannian interpolatio n inequalities. Invent. Math. , 215:977–1038, 2019

work page 2019

[2] [14]

Z. M. Balogh, A. Krist´ aly, and K. Sipos. Jacobian deter minant inequality on corank 1 Carnot groups with applications. J. Funct. Anal. , 277(12):108293, 36, 2019

work page 2019

[3] [1]

Agrachev, D

A. Agrachev, D. Barilari, and U. Boscain. A Comprehensive Introduction to Sub- Riemannian Geometry. Cambridge Studies in Advanced Mathematics. Cambridge Uni - versity Press, 2019

2019

[4] [2]

Ambrosio

L. Ambrosio. Lecture notes on optimal transport problem s. In Mathematical aspects of evolving interfaces (Funchal, 2000) , volume 1812 of Lecture Notes in Math. , pages 1–52. Springer, Berlin, 2003

2000

[5] [3]

Ambrosio and N

L. Ambrosio and N. Gigli. A user’s guide to optimal transp ort. Modelling and Op- timisation of Flows on Networks, Lecture Notes in Mathemati cs, Vol. 2062, Springer, 2011. 34 The Quasi Curvature-Dimension Condition

2011

[6] [4]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar´ e. Gradient ﬂows in metric spaces and in the space of probability measures. Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag,Basel, second edition, 2008

2008

[7] [5]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar´ e. Metric measure spa ces with riemannian Ricci curvature bounded from below. Duke Math. J. , 163:1405–1490, 2014

2014

[8] [6]

Andrews and J

B. Andrews and J. Clutterbuck. Sharp modulus of continui ty for parabolic equations on manifolds and lower bounds for the ﬁrst eigenvalue. Anal. PDE , 6(5):1013–1024, 2013

2013