Source author record

Emanuel Milman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

22works
8topics
4close collaborators

Published work

22 publications

preprint2022arXiv

Sharp Isoperimetric Inequalities for Affine Quermassintegrals

The affine quermassintegrals associated to a convex body in Rn\mathbb{R}^n are affine-invariant analogues of the classical intrinsic volumes from the Brunn-Minkowski theory, and thus constitute a central pillar of affine convex geometry. They were introduced in the 1980's by E. Lutwak, who conjectured that among all convex bodies of a given volume, the kk-th affine quermassintegral is minimized precisely on the family of ellipsoids. The known cases k=1k=1 and k=n−1k=n-1 correspond to the classical Blaschke-Santaló and Petty projection inequalities, respectively. In this work we confirm Lutwak's conjecture, including characterization of the equality cases, for all values of k=1,…,n−1k=1,\ldots,n-1, in a single unified framework. In fact, it turns out that ellipsoids are the only local minimizers with respect to the Hausdorff topology. For the proof, we introduce a number of new ingredients, including a novel construction of the Projection Rolodex of a convex body. In particular, from this new view point, Petty's inequality is interpreted as an integrated form of a generalized Blaschke--Santaló inequality for a new family of polar bodies encoded by the Projection Rolodex. We extend these results to more general LpL^p-moment quermassintegrals, and interpret the case p=0p=0 as a sharp averaged Loomis--Whitney isoperimetric inequality.

preprint2021arXiv

The Globalization Theorem for the Curvature Dimension Condition

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)(X,{\mathsf d},{\mathfrak m}) (so that (supp  m,d)(\text{supp} \; {\mathfrak m},{\mathsf d}) is a length-space and m(X)<∞{\mathfrak m}(X) < \infty) verifying the local Curvature-Dimension condition CDloc(K,N)\mathsf{CD}_{loc}(K,N) with parameters K∈RK \in \mathbb{R} and N∈(1,∞)N \in (1,\infty), also verifies the global Curvature-Dimension condition CD(K,N)\mathsf{CD}(K,N). In other words, the Curvature-Dimension condition enjoys the globalization (or local-to-global) property, answering a question which had remained open since the beginning of the theory. For the proof, we establish an equivalence between L1L^1 and L2L^2 optimal-transport-based interpolation. The challenge is not merely a technical one, and several new conceptual ingredients which are of independent interest are developed: an explicit change-of-variables formula for densities of Wasserstein geodesics depending on a second-order temporal derivative of associated Kantorovich potentials; a surprising third-order theory for the latter Kantorovich potentials, 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. As a consequence, numerous variants of the Curvature-Dimension condition proposed by various authors throughout the years are shown to, in fact, all be equivalent in the above setting, thereby unifying the theory.

preprint2020arXiv

Sharp Poincaré inequalities under Measure Contraction Property

We prove a sharp Poincaré inequality for subsets ΩΩ of (essentially non-branching) metric measure spaces satisfying the Measure Contraction Property MCP(K,N)\textrm{MCP}(K,N), whose diameter is bounded above by DD. This is achieved by identifying the corresponding one-dimensional model densities and a localization argument, ensuring that the Poincaré constant we obtain is best possible as a function of KK, NN and DD. Another new feature of our work is that we do not need to assume that ΩΩ is geodesically convex, by employing the geodesic hull of ΩΩ on the energy side of the Poincaré inequality. In particular, our results apply to geodesic balls in ideal sub-Riemannian manifolds, such as the Heisenberg group.

preprint2020arXiv

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

We obtain the best known quantitative estimates for the LpL^p-Poincaré 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 11 Carnot groups, the Grushin plane, and various H-type foliations, Sasakian and 33-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 44. We achieve this by introducing a quasi-convex relaxation of the Lott-Sturm-Villani CD(K,N)\mathsf{CD}(K,N) condition we call the Quasi Curvature-Dimension condition QCD(Q,K,N)\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 nn, the Measure Contraction Property MCP(K,N)\mathsf{MCP}(K,N) implies QCD(Q,K,N)\mathsf{QCD}(Q,K,N) with Q=2N−n≥1Q = 2^{N-n} \geq 1, thereby verifying the latter property on the aforementioned ideal spaces; a result of Balogh-Kristály-Sipos is used instead to handle non-ideal corank 11 Carnot groups. By extending the localization paradigm to completely general interpolation inequalities, we reduce the study of various analytic and geometric inequalities on QCD\mathsf{QCD} spaces to the one-dimensional case. Consequently, we deduce that while (strictly) sub-Riemannian manifolds do not satisfy any type of CD\mathsf{CD} condition, many of them satisfy numerous functional inequalities with \emph{exactly the same} quantitative dependence (up to a factor of QQ) as their CD\mathsf{CD} counterparts.

preprint2016arXiv

MM-estimates for isotropic convex bodies and their LqL_q-centroid bodies

Let KK be a centrally-symmetric convex body in Rn\mathbb{R}^n and let ∥⋅∥\|\cdot\| be its induced norm on Rn{\mathbb R}^n. We show that if K⊇rB2nK \supseteq r B_2^n then: nM(K)⩽C∑k=1n1kmin⁡(1r,nklog⁡(e+nk)1vk−(K)). \sqrt{n} M(K) \leqslant C \sum_{k=1}^{n} \frac{1}{\sqrt{k}} \min\left(\frac{1}{r} , \frac{n}{k} \log\Big(e + \frac{n}{k}\Big) \frac{1}{v_{k}^{-}(K)}\right) . where M(K)=∫Sn−1∥x∥ dσ(x)M(K)=\int_{S^{n-1}} \|x\|\, dσ(x) is the mean-norm, C>0C>0 is a universal constant, and vk−(K)v^{-}_k(K) denotes the minimal volume-radius of a kk-dimensional orthogonal projection of KK. We apply this result to the study of the mean-norm of an isotropic convex body KK in Rn{\mathbb R}^n and its LqL_q-centroid bodies. In particular, we show that if KK has isotropic constant LKL_K then: M(K)⩽Clog⁡2/5(e+n)n10LK. M(K) \leqslant \frac{C\log^{2/5}(e+ n)}{\sqrt[10]{n}L_K} .

preprint2016arXiv

Beyond traditional Curvature-Dimension I: new model spaces for isoperimetric and concentration inequalities in negative dimension

We study the isoperimetric, functional and concentration properties of nn-dimensional weighted Riemannian manifolds satisfying the Curvature-Dimension condition, when the generalized dimension NN is negative, and more generally, is in the range N∈(−∞,1)N \in (-\infty,1), extending the scope from the traditional range N∈[n,∞]N \in [n,\infty]. In particular, we identify the correct one-dimensional model-spaces under an additional diameter upper bound, and discover a new case yielding a \emph{single} model space (besides the previously known NN-sphere and Gaussian measure when N∈[n,∞]N \in [n,\infty]): a (positively curved) sphere of (possibly negative) dimension N∈(−∞,1)N \in (-\infty,1). When curvature is non-negative, we show that arbitrarily weak concentration implies an NN-dimensional Cheeger isoperimetric inequality, and derive various weak Sobolev and Nash-type inequalities on such spaces. When curvature is strictly positive, we observe that such spaces satisfy a Poincaré inequality uniformly for all N∈(−∞,1−ε]N \in (-\infty,1-ε], and enjoy a two-level concentration of the type exp⁡(−min⁡(t,t2))\exp(-\min(t,t^2)). Our main technical tool is a generalized version of the Heintze--Karcher theorem, which we extend to the range N∈(−∞,1)N \in (-\infty,1).

preprint2016arXiv

Riemannian metrics on convex sets with applications to Poincaré and log-Sobolev inequalities

Given a probability measure μμ supported on a convex subset ΩΩ of Euclidean space (Rd,g0)(\mathbb{R}^d,g_0), we are interested in obtaining Poincaré and log-Sobolev type inequalities on (Ω,g0,μ)(Ω,g_0,μ). To this end, we change the metric g0g_0 to a more general Riemannian one gg, adapted in a certain sense to μμ, and perform our analysis on (Ω,g,μ)(Ω,g,μ). The types of metrics we consider are Hessian metrics (intimately related to associated optimal-transport problems), product metrics (which are very useful when μμ is unconditional, i.e. invariant under reflection with respect to the principle hyperplanes), and metrics conformal to the Euclidean one, which have not been previously explored in this context. Invoking on (Ω,g,μ)(Ω,g,μ) tools such as Riemannian generalizations of the Brascamp--Lieb inequality and the Bakry--Émery criterion, and passing back to the original Euclidean metric, we obtain various weighted inequalities on (Ω,g0,μ)(Ω,g_0,μ): refined and entropic versions of the Brascamp--Lieb inequality, weighted Poincaré and log-Sobolev inequalities, Hardy-type inequalities, etc. Key to our analysis is the positivity of the associated Lichnerowicz--Bakry--Émery generalized Ricci curvature tensor, and the convexity of the manifold (Ω,g,μ)(Ω,g,μ). In some cases, we can only ensure that the latter manifold is (generalized) mean-convex, resulting in additional boundary terms in our inequalities.

preprint2015arXiv

Harmonic Measures on the Sphere via Curvature-Dimension

We show that the family of probability measures on the nn-dimensional unit sphere, having density proportional to: Sn∋y↦1∣y−x∣n+α, S^n \ni y \mapsto \frac{1}{|y - x|^{n+α}}, satisfies the Curvature-Dimension condition CD(n−1−n+α4,−α)CD(n-1-\frac{n+α}{4},-α), for all ∣x∣<1|x| < 1, α≥−nα\geq -n and n≥2n\geq 2. The case α=1α= 1 corresponds to the hitting distribution of the sphere by Brownian motion started at xx (so-called "harmonic measure" on the sphere). Applications involving isoperimetric, spectral-gap and concentration estimates, as well as potential extensions, are discussed.

preprint2015arXiv

Remarks on the KLS conjecture and Hardy-type inequalities

We generalize the classical Hardy and Faber-Krahn inequalities to arbitrary functions on a convex body Ω⊂RnΩ\subset \mathbb{R}^n, not necessarily vanishing on the boundary ∂Ω\partial Ω. This reduces the study of the Neumann Poincaré constant on ΩΩ to that of the cone and Lebesgue measures on ∂Ω\partial Ω; these may be bounded via the curvature of ∂Ω\partial Ω. A second reduction is obtained to the class of harmonic functions on ΩΩ. We also study the relation between the Poincaré constant of a log-concave measure μμ and its associated K. Ball body KμK_μ. In particular, we obtain a simple proof of a conjecture of Kannan--Lovász--Simonovits for unit-balls of ℓpn\ell^n_p, originally due to Sodin and Latała--Wojtaszczyk.

preprint2014arXiv

Complemented Brunn-Minkowski Inequalities and Isoperimetry for Homogeneous and Non-Homogeneous Measures

Elementary proofs of sharp isoperimetric inequalities on a normed space (Rn,∣∣⋅∣∣)(\mathbb{R}^n,||\cdot||) equipped with a measure μ=w(x)dxμ= w(x) dx so that wpw^p is homogeneous are provided, along with a characterization of the corresponding equality cases. When p∈(0,∞]p \in (0,\infty] and in addition wpw^p is assumed concave, the result is an immediate corollary of the Borell-Brascamp-Lieb extension of the classical Brunn-Minkowski inequality, providing an elementary proof of a recent result of Cabré-Ros Oton-Serra. When p∈(−1/n,0)p \in (-1/n,0), the relevant property turns out to be a novel "complemented Brunn-Minkowski" inequality, which we show is always satisfied by μμ when wpw^p is homogeneous. This gives rise to a new class of measures, which are "complemented" analogues of the class of convex measures introduced by Borell, but which have vastly different properties. The resulting isoperimetric inequality and characterization of isoperimetric minimizers extends beyond the recent results of Cañete--Rosales and Howe. The isoperimetric and Brunn-Minkowski type inequalities extend to the non-homogeneous setting, under a certain log-convexity assumption on the density. Finally, we obtain functional, Sobolev and Nash-type versions of the studied inequalities.

preprint2014arXiv

On the mean-width of isotropic convex bodies and their associated LpL_p-centroid bodies

For any origin-symmetric convex body KK in Rn\mathbb{R}^n in isotropic position, we obtain the bound: M∗(K)≤Cnlog⁡(n)2LK , M^*(K) \leq C \sqrt{n} \log(n)^2 L_K ~, where M∗(K)M^*(K) denotes (half) the mean-width of KK, LKL_K is the isotropic constant of KK, and C>0C>0 is a universal constant. This improves the previous best-known estimate M∗(K)≤Cn3/4LKM^*(K) \leq C n^{3/4} L_K. Up to the power of the log⁡(n)\log(n) term and the LKL_K one, the improved bound is best possible, and implies that the isotropic position is (up to the LKL_K term) an almost 22-regular MM-position. The bound extends to any arbitrary position, depending on a certain weighted average of the eigenvalues of the covariance matrix. Furthermore, the bound applies to the mean-width of LpL_p-centroid bodies, extending a sharp upper bound of Paouris for 1≤p≤n1 \leq p \leq \sqrt{n} to an almost-sharp bound for an arbitrary p≥np \geq \sqrt{n}. The question of whether it is possible to remove the LKL_K term from the new bound is essentially equivalent to the Slicing Problem, to within logarithmic factors in nn.

preprint2012arXiv

A Proof of Bobkov's Spectral Bound For Convex Domains via Gaussian Fitting and Free Energy Estimation

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 KK 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 KK with an appropriately scaled Gaussian measure which is conditioned on KK. The crux of the argument is to establish a good overlap between these two measures (in say the relative-entropy or total-variation distances), which boils down to obtaining sharp lower bounds on the free energy of the conditioned Gaussian measure.

preprint2012arXiv

Sharp Isoperimetric Inequalities and Model Spaces for Curvature-Dimension-Diameter Condition

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 nn-sphere and Gauss space, corresponding to generalized dimension being nn and ∞\infty, 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.

preprint2012arXiv

Transference Principles for Log-Sobolev and Spectral-Gap with Applications to Conservative Spin Systems

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. When the self-interaction is a perturbation of a strongly convex potential, this partially recovers and partially extends previous results of Caputo, Chafa\"ı, Grunewald, Landim, Lu, Menz, Otto, Panizo, Villani, Westdickenberg and Yau. When the self-interaction is only assumed to be (non-strongly) convex, as in the case of the two-sided exponential measure, we obtain sharp estimates on the system's spectral-gap as a function of the mean-spin, independently of the size of the system.

preprint2011arXiv

A Generalization of Caffarelli's Contraction Theorem via (reverse) Heat Flow

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 ToptT_{opt} is a contraction in this case). We generalize this result to more general source and target measures, using a condition on the third derivative of the potential, using two different proofs. The first uses a map TT, whose inverse is constructed as a flow along an advection field associated to an appropriate heat-diffusion process. The contraction property is then reduced to showing that log-concavity is preserved along the corresponding diffusion semi-group, by using a maximum principle for parabolic PDE. In particular, Caffarelli's original result immediately follows by using the Ornstein-Uhlenbeck process and the Prékopa--Leindler Theorem. The second uses the map ToptT_{opt} by generalizing Caffarelli's argument, employing in addition further results of Caffarelli. As applications, we obtain new correlation and isoperimetric inequalities.

preprint2011arXiv

Centroid Bodies and the Logarithmic Laplace Transform - A Unified Approach

We unify and slightly improve several bounds on the isotropic constant of high-dimensional convex bodies; in particular, a linear dependence on the body's psi-2 constant is obtained. Along the way, we present some new bounds on the volume of L_p-centroid bodies and yet another equivalent formulation of Bourgain's hyperplane conjecture. Our method is a combination of the L_p-centroid body technique of Paouris and the logarithmic Laplace transform technique of the first named author.

preprint2011arXiv

Inner Regularization of Log-Concave Measures and Small-Ball Estimates

In the study of concentration properties of isotropic log-concave measures, it is often useful to first ensure that the measure has super-Gaussian marginals. To this end, a standard preprocessing step is to convolve with a Gaussian measure, but this has the disadvantage of destroying small-ball information. We propose an alternative preprocessing step for making the measure seem super-Gaussian, at least up to reasonably high moments, which does not suffer from this caveat: namely, convolving the measure with a random orthogonal image of itself. As an application of this "inner-thickening", we recover Paouris' small-ball estimates.

preprint2011arXiv

Interpolating Thin-Shell and Sharp Large-Deviation Estimates For Isotropic Log-Concave Measures

Given an isotropic random vector XX with log-concave density in Euclidean space $\Real^n$, we study the concentration properties of ∣X∣|X| on all scales, both above and below its expectation. We show in particular that: \[ ¶(\abs{|X| -\sqrt{n}} \geq t \sqrt{n}) \leq C \exp(-c n^{1/2} \min(t^3,t)) \;\;\; \forall t \geq 0 ~, \] for some universal constants c,C>0c,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 XX is ψαψ_α (α∈(1,2]α\in (1,2]), in precise agreement with Paouris' estimates. The upper bound on the thin-shell width $\sqrt{\Var(|X|)}$ we obtain is of the order of n1/3n^{1/3}, and improves down to n1/4n^{1/4} when XX is ψ2ψ_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.

preprint2011arXiv

Isoperimetric Bounds on Convex Manifolds

We extend several Cheeger-type isoperimetric bounds for convex sets in Euclidean space, due to Bobkov and Kannan-Lovász-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.

preprint2010arXiv

Properties of Isoperimetric, Functional and Transport-Entropy Inequalities Via Concentration

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∞L^\infty bound on the ratio between their densities, Wasserstein distances, and Kullback--Leibler divergence. In particular, an extension of the Holley--Stroock perturbation lemma for the log-Sobolev inequality is obtained, and the dependence on the perturbation parameter is improved from linear to logarithmic. Second, the equivalence of Transport-Entropy inequalities with different cost-functions is verified, by obtaining a reverse Jensen type inequality. The main tool used is a previous precise result on the equivalence between concentration and isoperimetric inequalities in the described setting. Of independent interest is a new dimension independent characterization of Transport-Entropy inequalities with respect to the 1-Wasserstein distance, which does not assume any curvature lower bound.

preprint2008arXiv

On the role of Convexity in Functional and Isoperimetric Inequalities

This is a continuation of our previous work 0712.4092. It is well known that various isoperimetric inequalities imply their functional ``counterparts'', but in general this is not an equivalence. We show that under certain convexity assumptions (e.g. for log-concave probability measures in Euclidean space), the latter implication can in fact be reversed for very general inequalities, generalizing a reverse form of Cheeger's inequality due to Buser and Ledoux. We develop a coherent single framework for passing between isoperimetric inequalities, Orlicz-Sobolev functional inequalities and capacity inequalities, the latter being notions introduced by Maz'ya and extended by Barthe--Cattiaux--Roberto. As an application, we extend the known results due to the latter authors about the stability of the isoperimetric profile under tensorization, when there is no Central-Limit obstruction. As another application, we show that under our convexity assumptions, qq-log-Sobolev inequalities (q∈[1,2]q \in [1,2]) are equivalent to an appropriate family of isoperimetric inequalities, extending results of Bakry--Ledoux and Bobkov--Zegarlinski. Our results extend to the more general setting of Riemannian manifolds with density which satisfy the CD(0,∞)CD(0,\infty) curvature-dimension condition of Bakry--Émery.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.