We show that for convex domains in Euclidean space, Cheeger's isoperimetric inequality, spectral gap of the Neumann Laplacian, exponential concentration of Lipschitz functions, and the a-priori weakest requirement that Lipschitz functions have arbitrarily slow uniform tail-decay, are all quantitatively equivalent (to within universal constants, independent of the dimension). This substantially extends previous results of Maz'ya, Cheeger, GromovMilman, Buser and Ledoux. As an application, we conclude a sharp quantitative stability result for the spectral gap of convex domains under convex perturbations which preserve volume (up to constants) and under maps which are "on-average" Lipschitz. We also provide a new characterization (up to constants) of the spectral gap of a convex domain, as one over the square of the average distance from the "worst" subset having half the measure of the domain. In addition, we easily recover and extend many previously known lower bounds on the spectral gap of convex domains, due to Payne-Weinberger, Li-Yau, KannanLovász-Simonovits, Bobkov and Sodin. The proof involves estimates on the diffusion semigroup following Bakry-Ledoux and a result from Riemannian Geometry on the concavity of the isoperimetric profile. Our results extend to the more general setting of Riemannian manifolds with density which satisfy the CD(0, ∞) curvature-dimension condition of BakryEmery.
We obtain new sharp isoperimetric inequalities on a Riemannian manifold equipped with a probability measure, whose generalized Ricci curvature is bounded from below (possibly negatively), and generalized dimension and diameter of the convex support are bounded from above (possibly infinitely). Our inequalities are sharp for sets of any given measure and with respect to all parameters (curvature, dimension and diameter). Moreover, for each choice of parameters, we identify the model spaces which are extremal for the isoperimetric problem. In particular, we recover the Gromov-Lévy and Bakry-Ledoux isoperimetric inequalities, which state that whenever the curvature is strictly positively bounded from below, these model spaces are the n-sphere and Gauss space, corresponding to generalized dimension being n and ∞, respectively. In all other cases, which seem new even for the classical Riemannian-volume measure, it turns out that there is no single model space to compare to, and that a simultaneous comparison to a natural one parameter family of model spaces is required, nevertheless yielding a sharp result.When q = ∞, the last term in (1.1) is interpreted as 0, whereas when q = 0, this term only makes sense if Ψ is constant, in which case Ric g,Ψ,0 := Ric g . Here as usual Ric g denotes the Ricci curvature tensor and ∇ g denotes the Levi-Civita covariant derivative.1 Definition (Curvature-Dimension-Diameter Condition). (M n , g, µ) is said to satisfy the Curvature-Dimension-Diameter Condition, if µ is supported on the closure of a geodesically convex domain Ω ⊂ M of diameter at most D, having (possibly empty) C 2 boundary, µ = Ψ · vol g | Ω with Ψ > 0 on Ω and log(Ψ) ∈ C 2 (Ω), and as 2-tensor fields:Ric g,Ψ,q ≥ ρg on Ω .When Ω = M and D = +∞, the latter definition coincides with the celebrated Bakry-Emery Curvature-Dimension condition CD(ρ, n + q), introduced in an equivalent form in [3] (in the more abstract framework of diffusion generators). Indeed, the generalized Ricci tensor incorporates information on curvature and dimension from both the geometry of (M, g) and the measure µ, and so ρ may be thought of as a generalized-curvature lower bound, and n + q as a generalized-dimension upper bound. The generalized Ricci tensor (1.1) was introduced with q = ∞ in [50,51] and in general in [2] (the equivalent form (1.2) was noted in [52]), and has been extensively studied and used in recent years (see e.g. also [67,45,73,65,7,70,53,76,62] and the references therein).In this work, we obtain a sharp isoperimetric inequality on (M n , g, µ) under the CDD(ρ, n+ q, D) condition, for the entire range of parameters ρ ∈ R, q ∈ [0, ∞], D ∈ (0, ∞], in a single unified framework. In particular, for each choice of parameters, we identify the model spaces which are extremal for the isoperimetric problem. Our results seem new even in the classical constant-density case (q = 0) when ρ ≤ 0 and D < ∞ or when ρ > 0 and D < π (n − 1)/ρ. We start by recalling the notion of an isoperimetric inequality in a general measure-metric space settin...
The Lott-Sturm-Villani Curvature-Dimension condition provides a synthetic notion for a metric-measure space to have Ricci-curvature bounded from below and dimension bounded from above. We prove that it is enough to verify this condition locally: an essentially non-branching metric-measure space (X, d, m) (so that (supp(m), d) is a length-space and m(X) < ∞) verifying the local Curvature-Dimension condition CD loc (K, N ) with parameters K ∈ R and N ∈ (1, ∞), also verifies the global Curvature-Dimension condition CD(K, N ), meaning that the Curvature-Dimension condition enjoys the globalization (or local-to-global) property. The main new ingredients of our proof are an explicit change-of-variables formula for densities of Wasserstein geodesics depending on a second-order derivative of an associated Kantorovich potential; a surprising third-order bound on the latter Kantorovich potential, which holds in complete generality on any proper geodesic space; and a certain rigidity property of the change-of-variables formula, allowing us to bootstrap the a-priori available regularity. The change-of-variables formula is obtained via a new synthetic notion of Curvature-Dimension we dub CD 1 (K, N ). Contents
Given an isotropic random vector X with log-concave density in Euclidean space R n , we study the concentration properties of |X| on all scales, both above and below its expectation. We show in particular thatfor some universal constants c, C > 0. This improves the best known deviation results on the thin-shell and mesoscopic scales due to Fleury and Klartag, respectively, and recovers the sharp large-deviation estimate of Paouris. Another new feature of our estimate is that it improves when X is ψ α (α ∈ (1, 2]), in precise agreement with Paouris' estimates. The upper bound on the thin-shell width Var(|X|) we obtain is of the order of n 1/3 , and improves down to n 1/4 when X is ψ 2 . Our estimates thus continuously interpolate between a new best known thin-shell estimate and the sharp large-deviation estimate of Paouris. As a consequence, a new best known bound on the Cheeger isoperimetric constant appearing in a conjecture of Kannan-Lovász-Simonovits is deduced.
It is well known that isoperimetric inequalities imply in a very general measuremetric-space setting appropriate concentration inequalities. The former bound the boundary measure of sets as a function of their measure, whereas the latter bound the measure of sets separated from sets having half the total measure, as a function of their mutual distance. The reverse implication is in general false. It is shown that under a (possibly negative) lower bound condition on a natural notion of curvature associated to a Riemannian manifold equipped with a density, completely general concentration inequalities imply back their isoperimetric counterparts, up to dimension independent bounds. The results are essentially best possible (up to constants), and significantly extend all previously known results, which could only deduce dimension dependent bounds, or could not deduce anything stronger than a linear isoperimetric inequality in the restrictive non-negative curvature setting. As a corollary, all of these previous results are recovered and extended by generalizing an isoperimetric inequality of Bobkov. Further applications will be described in subsequent works. Contrary to previous attempts in this direction, our method is entirely geometric, continuing the approach set forth by Gromov and adapted to the manifold-with-density setting by Morgan.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.