BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Emanuel Milman

Emanuel Milman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.MGmath.DGmath.SPmath.PRmath-phmath.MPmath.AP

Catalog footprint

What is connected

22works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

22 published item(s)

preprint2022arXiv

Sharp Isoperimetric Inequalities for Affine Quermassintegrals

The affine quermassintegrals associated to a convex body in $\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 $k$-th affine quermassintegral is minimized precisely on the family of ellipsoids. The known cases $k=1$ and $k=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,\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 $L^p$-moment quermassintegrals, and interpret the case $p=0$ as a sharp averaged Loomis--Whitney isoperimetric inequality.

0 citations0 reviewsNo code linkedOpen access
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,{\mathsf d},{\mathfrak m})$ (so that $(\text{supp} \; {\mathfrak m},{\mathsf d})$ is a length-space and ${\mathfrak m}(X) < \infty$) verifying the local Curvature-Dimension condition $\mathsf{CD}_{loc}(K,N)$ with parameters $K \in \mathbb{R}$ and $N \in (1,\infty)$, also verifies the global Curvature-Dimension condition $\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 $L^1$ and $L^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.

0 citations0 reviewsNo code linkedOpen access
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 $\textrm{MCP}(K,N)$, whose diameter is bounded above by $D$. 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 $K$, $N$ and $D$. 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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

We obtain the best known quantitative estimates for the $L^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 $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ály-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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

$M$-estimates for isotropic convex bodies and their $L_q$-centroid bodies

Let $K$ be a centrally-symmetric convex body in $\mathbb{R}^n$ and let $\|\cdot\|$ be its induced norm on ${\mathbb R}^n$. We show that if $K \supseteq r B_2^n$ then: \[ \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)=\int_{S^{n-1}} \|x\|\, dσ(x)$ is the mean-norm, $C>0$ is a universal constant, and $v^{-}_k(K)$ denotes the minimal volume-radius of a $k$-dimensional orthogonal projection of $K$. We apply this result to the study of the mean-norm of an isotropic convex body $K$ in ${\mathbb R}^n$ and its $L_q$-centroid bodies. In particular, we show that if $K$ has isotropic constant $L_K$ then: \[ M(K) \leqslant \frac{C\log^{2/5}(e+ n)}{\sqrt[10]{n}L_K} . \]

0 citations0 reviewsNo code linkedOpen access
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 $n$-dimensional weighted Riemannian manifolds satisfying the Curvature-Dimension condition, when the generalized dimension $N$ is negative, and more generally, is in the range $N \in (-\infty,1)$, extending the scope from the traditional range $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 $N$-sphere and Gaussian measure when $N \in [n,\infty]$): a (positively curved) sphere of (possibly negative) dimension $N \in (-\infty,1)$. When curvature is non-negative, we show that arbitrarily weak concentration implies an $N$-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 \in (-\infty,1-ε]$, and enjoy a two-level concentration of the type $\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 \in (-\infty,1)$.

0 citations0 reviewsNo code linkedOpen access
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 $(\mathbb{R}^d,g_0)$, we are interested in obtaining Poincaré and log-Sobolev type inequalities on $(Ω,g_0,μ)$. To this end, we change the metric $g_0$ to a more general Riemannian one $g$, adapted in a certain sense to $μ$, and perform our analysis on $(Ω,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,μ)$ 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 $(Ω,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,μ)$. In some cases, we can only ensure that the latter manifold is (generalized) mean-convex, resulting in additional boundary terms in our inequalities.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Harmonic Measures on the Sphere via Curvature-Dimension

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

0 citations0 reviewsNo code linkedOpen access
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 $Ω\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_μ$. In particular, we obtain a simple proof of a conjecture of Kannan--Lovász--Simonovits for unit-balls of $\ell^n_p$, originally due to Sodin and Latała--Wojtaszczyk.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

Elementary proofs of sharp isoperimetric inequalities on a normed space $(\mathbb{R}^n,||\cdot||)$ equipped with a measure $μ= w(x) dx$ so that $w^p$ is homogeneous are provided, along with a characterization of the corresponding equality cases. When $p \in (0,\infty]$ and in addition $w^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 \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 $w^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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

For any origin-symmetric convex body $K$ in $\mathbb{R}^n$ in isotropic position, we obtain the bound: \[ M^*(K) \leq C \sqrt{n} \log(n)^2 L_K ~, \] where $M^*(K)$ denotes (half) the mean-width of $K$, $L_K$ is the isotropic constant of $K$, and $C>0$ is a universal constant. This improves the previous best-known estimate $M^*(K) \leq C n^{3/4} L_K$. Up to the power of the $\log(n)$ term and the $L_K$ one, the improved bound is best possible, and implies that the isotropic position is (up to the $L_K$ term) an almost $2$-regular $M$-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 $L_p$-centroid bodies, extending a sharp upper bound of Paouris for $1 \leq p \leq \sqrt{n}$ to an almost-sharp bound for an arbitrary $p \geq \sqrt{n}$. The question of whether it is possible to remove the $L_K$ term from the new bound is essentially equivalent to the Slicing Problem, to within logarithmic factors in $n$.

0 citations0 reviewsNo code linkedOpen access
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 $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$. 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.

0 citations0 reviewsNo code linkedOpen access
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 $n$-sphere and Gauss space, corresponding to generalized dimension being $n$ 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 $T_{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 $T$, 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 $T_{opt}$ by generalizing Caffarelli's argument, employing in addition further results of Caffarelli. As applications, we obtain new correlation and isoperimetric inequalities.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

Given an isotropic random vector $X$ with log-concave density in Euclidean space $\Real^n$, we study the concentration properties of $|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>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 $ψ_α$ ($α\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 $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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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^\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.

0 citations0 reviewsNo code linkedOpen access
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, $q$-log-Sobolev inequalities ($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,\infty)$ curvature-dimension condition of Bakry--Émery.

0 citations0 reviewsNo code linkedOpen access