We obtain new principles for transferring log-Sobolev and Spectral-Gap
inequalities from a source metric-measure space to a target one, when the
curvature of the target space is bounded from below. As our main application,
we obtain explicit estimates for the log-Sobolev and Spectral-Gap constants of
various conservative spin system models, consisting of non-interacting and
weakly-interacting particles, constrained to conserve the mean-spin.
We obtain a new proof of Bobkov's lower bound on the first positive
eigenvalue of the (negative) Neumann Laplacian (or equivalently, the Cheeger
constant) on a bounded convex domain $K$ in Euclidean space. Our proof avoids
employing the localization method or any of its geometric extensions. Instead,
we deduce the lower bound by invoking a spectral transference principle for
log-concave measures, comparing the uniform measure on $K$ with an
appropriately scaled Gaussian measure which is conditioned on $K$.
We extend several Cheeger-type isoperimetric bounds for convex sets in
Euclidean space, due to Bobkov and Kannan-Lov\'asz-Simonovits, to Riemannian
manifolds having non-negative Ricci curvature. In order to extend Bobkov's
bound, we require in addition an upper bound on the sectional curvature of the
space, which permits us to use comparison tools in Cartan-Alexandrov-Toponogov
(or CAT) spaces. Along the way, we also quantitatively improve our previous
result that weak concentration assumptions imply a Cheeger-type isoperimetric
bound, to a sharp bound with respect to all parameters.
A theorem of L. Caffarelli implies the existence of a map pushing forward a
source Gaussian measure to a target measure which is more log-concave than the
source one, which contracts Euclidean distance (in fact, Caffarelli showed that
the optimal-transport Brenier map $T_{opt}$ is a contraction in this case).
It is well known that isoperimetric inequalities imply in a very general
measure-metric-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.
Various properties of isoperimetric, functional, Transport-Entropy and
concentration inequalities are studied on a Riemannian manifold equipped with a
measure, whose generalized Ricci curvature is bounded from below. First,
stability of these inequalities with respect to perturbation of the measure is
obtained. The extent of the perturbation is measured using several different
distances between perturbed and original measure, such as a one-sided
$L^\infty$ bound on the ratio between their densities, Wasserstein distances,
and Kullback - Leibler divergence.
Various properties of isoperimetric, functional, Transport-Entropy and
concentration inequalities are studied on a Riemannian manifold equipped with a
measure, whose generalized Ricci curvature is bounded from below. First,
stability of these inequalities with respect to perturbation of the measure is
obtained. The extent of the perturbation is measured using several different
distances between perturbed and original measure, such as a one-sided
$L^\infty$ bound on the ratio between their densities, Wasserstein distances,
and Kullback - Leibler divergence.