Showing 1–50 of 55 results for author: Milman, E

Standard bubbles (and other Möbius-flat partitions) on model spaces are stable

Authors: Emanuel Milman, Botong Xu

Abstract: We verify that for all $n \geq 3$ and $2 \leq k \leq n+1$, the standard $k$-bubble clusters, conjectured to be minimizing total perimeter in $\mathbb{R}^n$, $\mathbb{S}^n$ and $\mathbb{H}^n$, are stable -- an infinitesimal regular perturbation preserving volume to first order yields a non-negative second variation of area modulo the volume constraint. In fact, stability holds for all standard… ▽ More We verify that for all $n \geq 3$ and $2 \leq k \leq n+1$, the standard $k$-bubble clusters, conjectured to be minimizing total perimeter in $\mathbb{R}^n$, $\mathbb{S}^n$ and $\mathbb{H}^n$, are stable -- an infinitesimal regular perturbation preserving volume to first order yields a non-negative second variation of area modulo the volume constraint. In fact, stability holds for all standard $\textit{partitions}$, in which several cells are allowed to have infinite volume. In the Gaussian setting, any partition in $\mathbb{G}^n$ ($n\geq 2$) obeying Plateau's laws and whose interfaces are all $\textit{flat}$, is stable. Our results apply to non-standard partitions as well - starting with any (regular) flat Voronoi partition in $\mathbb{S}^n$ and applying Möbius transformations and stereographic projections, the resulting partitions in $\mathbb{R}^n$, $\mathbb{S}^n$ and $\mathbb{H}^n$ are stable. Our proof relies on a new conjugated Brascamp-Lieb inequality on partitions with conformally flat umbilical boundary, and the construction of a good conformally flattening boundary potential. △ Less

Submitted 15 April, 2025; originally announced April 2025.

Comments: 52 pages, 9 figures. Comments welcome!

Gaussian Correlation via Inverse Brascamp-Lieb

Authors: Emanuel Milman

Abstract: We give a simple alternative proof of Royen's Gaussian Correlation inequality by using (a slightly generalized version of) Nakamura-Tsuji's symmetric inverse Brascamp-Lieb inequality for even log-concave functions. We explain that this inverse inequality is in a certain sense a dual counterpart to the forward inequality of Bennett-Carbery-Christ-Tao and Valdimarsson, and that the log-concavity ass… ▽ More We give a simple alternative proof of Royen's Gaussian Correlation inequality by using (a slightly generalized version of) Nakamura-Tsuji's symmetric inverse Brascamp-Lieb inequality for even log-concave functions. We explain that this inverse inequality is in a certain sense a dual counterpart to the forward inequality of Bennett-Carbery-Christ-Tao and Valdimarsson, and that the log-concavity assumption therein cannot be omitted in general. △ Less

Submitted 19 January, 2025; originally announced January 2025.

Comments: 10 pages

A Blaschke-Santaló inequality for unconditional log-concave measures

Authors: Emanuel Milman, Amir Yehudayoff

Abstract: The Blaschke-Santaló inequality states that the volume product $|K| \cdot |K^o|$ of a symmetric convex body $K \subset \mathbb{R}^n$ is maximized by the standard Euclidean unit-ball. Cordero-Erausquin asked whether the inequality remains true for all even log-concave measures. We verify that the inequality is true for all unconditional log-concave measures. The Blaschke-Santaló inequality states that the volume product $|K| \cdot |K^o|$ of a symmetric convex body $K \subset \mathbb{R}^n$ is maximized by the standard Euclidean unit-ball. Cordero-Erausquin asked whether the inequality remains true for all even log-concave measures. We verify that the inequality is true for all unconditional log-concave measures. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Comments: 6 pages

Fixed and Periodic Points of the Intersection Body Operator

Authors: Emanuel Milman, Shahar Shabelman, Amir Yehudayoff

Abstract: The intersection body $IK$ of a star-body $K$ in $\mathbb{R}^n$ was introduced by E. Lutwak following the work of H. Busemann, and plays a central role in the dual Brunn-Minkowski theory. We show that when $n \geq 3$, $I^2 K = c K$ iff $K$ is a centered ellipsoid, and hence $I K = c K$ iff $K$ is a centered Euclidean ball, answering long-standing questions by Lutwak, Gardner, and Fish-Nazarov-Ryab… ▽ More The intersection body $IK$ of a star-body $K$ in $\mathbb{R}^n$ was introduced by E. Lutwak following the work of H. Busemann, and plays a central role in the dual Brunn-Minkowski theory. We show that when $n \geq 3$, $I^2 K = c K$ iff $K$ is a centered ellipsoid, and hence $I K = c K$ iff $K$ is a centered Euclidean ball, answering long-standing questions by Lutwak, Gardner, and Fish-Nazarov-Ryabogin-Zvavitch. To this end, we recast the iterated intersection body equation as an Euler-Lagrange equation for a certain volume functional under radial perturbations, derive new formulas for the volume of $I K$, and introduce a continuous version of Steiner symmetrization for Lipschitz star-bodies, which (surprisingly) yields a useful radial perturbation exactly when $n\geq 3$. △ Less

Submitted 10 June, 2025; v1 submitted 15 August, 2024; originally announced August 2024.

Comments: 49 pages, added figures. Final version, to appear in Invent. Math

Isoperimetric Inequalities on Slabs with applications to Cubes and Gaussian Slabs

Authors: Emanuel Milman

Abstract: We study isoperimetric inequalities on "slabs", namely weighted Riemannian manifolds obtained as the product of the uniform measure on a finite length interval with a codimension-one base. As our two main applications, we consider the case when the base is the flat torus $\mathbb{R}^2 / 2 \mathbb{Z}^2$ and the standard Gaussian measure in $\mathbb{R}^{n-1}$. The isoperimetric conjecture on the t… ▽ More We study isoperimetric inequalities on "slabs", namely weighted Riemannian manifolds obtained as the product of the uniform measure on a finite length interval with a codimension-one base. As our two main applications, we consider the case when the base is the flat torus $\mathbb{R}^2 / 2 \mathbb{Z}^2$ and the standard Gaussian measure in $\mathbb{R}^{n-1}$. The isoperimetric conjecture on the three-dimensional cube predicts that minimizers are enclosed by spheres about a corner, cylinders about an edge and coordinate planes. This has only been established for relative volumes close to $0$, $1/2$ and $1$ by compactness arguments. Our analysis confirms the isoperimetric conjecture on the three-dimensional cube with side lengths $(β,1,1)$ in a new range of relatives volumes $\bar v \in [0,1/2]$. In particular, we confirm the conjecture for the standard cube ($β=1$) for all $\bar v \leq 0.120582$, when $β\leq 0.919431$ for the entire range where spheres are conjectured to be minimizing, and also for all $\bar v \in [0,1/2] \setminus (\frac{1}π - \fracβ{4},\frac{1}π + \fracβ{4})$. When $β\leq 0.919431$ we reduce the validity of the full conjecture to establishing that the half-plane $\{ x \in [0,β] \times [0,1]^2 \; ; \; x_3 \leq \frac{1}π \}$ is an isoperimetric minimizer. We also show that the analogous conjecture on a high-dimensional cube $[0,1]^n$ is false for $n \geq 10$. In the case of a slab with a Gaussian base of width $T>0$, we identify a phase transition when $T = \sqrt{2 π}$ and when $T = π$. In particular, while products of half-planes with $[0,T]$ are always minimizing when $T \leq \sqrt{2 π}$, when $T > π$ they are never minimizing, being beaten by Gaussian unduloids. In the range $T \in (\sqrt{2 π},π]$, a potential trichotomy occurs. △ Less

Submitted 18 March, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

Comments: 61 pages, 9 figures. Added references and a figure, corrected typos, and rigorously justified the numeric computation in the Appendix

$L^p$-Minkowski Problem under Curvature Pinching

Authors: Mohammad N. Ivaki, Emanuel Milman

Abstract: Let $K$ be a smooth, origin-symmetric, strictly convex body in $\mathbb{R}^n$. If for some $\ell\in GL(n,\mathbb{R})$, the anisotropic Riemannian metric $\frac{1}{2}D^2 \Vert\cdot\Vert_{\ell K}^2$, encapsulating the curvature of $\ell K$, is comparable to the standard Euclidean metric of $\mathbb{R}^{n}$ up-to a factor of $γ> 1$, we show that $K$ satisfies the even $L^p$-Minkowski inequality and u… ▽ More Let $K$ be a smooth, origin-symmetric, strictly convex body in $\mathbb{R}^n$. If for some $\ell\in GL(n,\mathbb{R})$, the anisotropic Riemannian metric $\frac{1}{2}D^2 \Vert\cdot\Vert_{\ell K}^2$, encapsulating the curvature of $\ell K$, is comparable to the standard Euclidean metric of $\mathbb{R}^{n}$ up-to a factor of $γ> 1$, we show that $K$ satisfies the even $L^p$-Minkowski inequality and uniqueness in the even $L^p$-Minkowski problem for all $p \geq p_γ:= 1 - \frac{n+1}γ$. This result is sharp as $γ\searrow 1$ (characterizing centered ellipsoids in the limit) and improves upon the classical Minkowski inequality for all $γ< \infty$. In particular, whenever $γ\leq n+1$, the even log-Minkowski inequality and uniqueness in the even log-Minkowski problem hold. △ Less

Submitted 15 December, 2023; v1 submitted 31 July, 2023; originally announced July 2023.

Comments: 19 pages. Final version, to appear in International Mathematics Research Notices

Plateau Bubbles and the Quintuple Bubble Theorem on $\mathbb{S}^n$

Authors: Emanuel Milman, Joe Neeman

Abstract: Sullivan's multi-bubble isoperimetric conjectures in $n$-dimensional Euclidean and spherical spaces assert that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was confirmed by Hutchings-Morgan-Ritoré-Ros (and later extended to $\mathbb{R}^n$). The double-bubble conjecture o… ▽ More Sullivan's multi-bubble isoperimetric conjectures in $n$-dimensional Euclidean and spherical spaces assert that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was confirmed by Hutchings-Morgan-Ritoré-Ros (and later extended to $\mathbb{R}^n$). The double-bubble conjecture on $\mathbb{S}^n$ ($n \geq 2$) and the triple- and quadruple- bubble conjectures on $\mathbb{R}^n$ and $\mathbb{S}^n$ (for $n \geq 3$ and $n \geq 4$, respectively) were recently confirmed in our previous work, but the approach employed there does not seem to allow extending these results further. In this work, we confirm the quintuple-bubble conjecture on $\mathbb{S}^n$ ($n \geq 5$), and as a consequence, by approximation, also the quintuple-bubble conjecture on $\mathbb{R}^n$ ($n \geq 5$) but without the uniqueness assertion. Moreover, we resolve the conjectures on $\mathbb{S}^n$ and on $\mathbb{R}^n$ (without uniqueness) for all $q \leq n+1$, conditioned on the assumption that the singularities which appear at the meeting locus of several bubbles obey a higher-dimensional analogue of Plateau's laws. Another scenario we can deal with is when the bubbles are full-dimensional ("in general position"), or arrange in some good lower-dimensional configurations. To this end, we develop the spectral theory of the corresponding Jacobi operator (finding analogies with the quantum-graph formalism), and a new method for deforming the bubbles into a favorable configuration. As a by-product, we show that the Jacobi operator on a minimizing configuration always has index precisely $q-1$ and hence the corresponding isoperimetric profile is concave, answering a question of Heppes. Several compelling conjectures are proposed, which would allow extending our results to all $q \leq n+1$ unconditionally. △ Less

Submitted 28 December, 2024; v1 submitted 16 July, 2023; originally announced July 2023.

Comments: 82 pages, addressed the slight difference in conventions from arXiv:2205.09102, added reference to Heppes' question on the concavity of the isoperimetric profile and additional recent references regarding isoperimetric problems on clusters

Uniqueness of solutions to a class of isotropic curvature problems

Authors: Mohammad N. Ivaki, Emanuel Milman

Abstract: Employing a local version of the Brunn-Minkowski inequality, we give a new and simple proof of a result due to Andrews, Choi and Daskalopoulos that the origin-centred balls are the only closed, self-similar solutions of the Gauss curvature flow. Extensions to various non-linearities are obtained, assuming the centroid of the enclosed convex body is at the origin. By applying our method to the Alex… ▽ More Employing a local version of the Brunn-Minkowski inequality, we give a new and simple proof of a result due to Andrews, Choi and Daskalopoulos that the origin-centred balls are the only closed, self-similar solutions of the Gauss curvature flow. Extensions to various non-linearities are obtained, assuming the centroid of the enclosed convex body is at the origin. By applying our method to the Alexandrov-Fenchel inequality, we also show that origin-centred balls are the only solutions to a large class of even Christoffel-Minkowski type problems. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Comments: 11 pages

The Structure of Isoperimetric Bubbles on $\mathbb{R}^n$ and $\mathbb{S}^n$

Authors: Emanuel Milman, Joe Neeman

Abstract: The multi-bubble isoperimetric conjecture in $n$-dimensional Euclidean and spherical spaces from the 1990's asserts that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was confirmed in 2000 by Hutchings-Morgan-Ritoré-Ros, and is nowadays fully resolved for all $n \geq 2$. T… ▽ More The multi-bubble isoperimetric conjecture in $n$-dimensional Euclidean and spherical spaces from the 1990's asserts that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was confirmed in 2000 by Hutchings-Morgan-Ritoré-Ros, and is nowadays fully resolved for all $n \geq 2$. The double-bubble conjecture on $\mathbb{S}^2$ and triple-bubble conjecture on $\mathbb{R}^2$ have also been resolved, but all other cases are in general open. We confirm the conjecture on $\mathbb{R}^n$ and on $\mathbb{S}^n$ for all $q \leq \min(5,n+1)$, namely: the double-bubble conjectures for $n \geq 2$, the triple-bubble conjectures for $n \geq 3$ and the quadruple-bubble conjectures for $n \geq 4$. In fact, we show that for all $q \leq n+1$, a minimizing cluster necessarily has spherical interfaces, and after stereographic projection to $\mathbb{S}^n$, its cells are obtained as the Voronoi cells of $q$ affine-functions, or equivalently, as the intersection with $\mathbb{S}^n$ of convex polyhedra in $\mathbb{R}^{n+1}$. Moreover, the cells (including the unbounded one) are necessarily connected and intersect a common hyperplane of symmetry, resolving a conjecture of Heppes. We also show for all $q \leq n+1$ that a minimizer with non-empty interfaces between all pairs of cells is necessarily a standard bubble. The proof makes crucial use of considering $\mathbb{R}^n$ and $\mathbb{S}^n$ in tandem and of Möbius geometry and conformal Killing fields; it does not rely on establishing a PDI for the isoperimetric profile as in the Gaussian setting, which seems out of reach in the present one. △ Less

Submitted 20 April, 2025; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: 91 pages, 14 figures. Made some final corrections

Journal ref: Acta Math. 234 (1), 71-188, 2025

Centro-Affine Differential Geometry and the Log-Minkowski Problem

Authors: Emanuel Milman

Abstract: We interpret the log-Brunn-Minkowski conjecture of Böröczky-Lutwak-Yang-Zhang as a spectral problem in centro-affine differential geometry. In particular, we show that the Hilbert-Brunn-Minkowski operator coincides with the centro-affine Laplacian, thus obtaining a new avenue for tackling the conjecture using insights from affine differential geometry. As every strongly convex hypersurface in… ▽ More We interpret the log-Brunn-Minkowski conjecture of Böröczky-Lutwak-Yang-Zhang as a spectral problem in centro-affine differential geometry. In particular, we show that the Hilbert-Brunn-Minkowski operator coincides with the centro-affine Laplacian, thus obtaining a new avenue for tackling the conjecture using insights from affine differential geometry. As every strongly convex hypersurface in $\mathbb{R}^n$ is a centro-affine unit-sphere, it has constant centro-affine Ricci curvature equal to $n-2$, in stark contrast to the standard weighted Ricci curvature of the associated metric-measure space, which will in general be negative. In particular, we may use the classical argument of Lichnerowicz and a centro-affine Bochner formula to give a new proof of the Brunn-Minkowski inequality. For origin-symmetric convex bodies enjoying fairly generous curvature pinching bounds (improving with dimension), we are able to show global uniqueness in the $L^p$- and log-Minkowski problems, as well as the corresponding global $L^p$- and log-Minkowski conjectured inequalities. As a consequence, we resolve the isomorphic version of the log-Minkowski problem: for any origin-symmetric convex body $\bar K$ in $\mathbb{R}^n$, there exists an origin-symmetric convex body $K$ with $\bar K \subset K \subset 8 \bar K$, so that $K$ satisfies the log-Minkowski conjectured inequality, and so that $K$ is uniquely determined by its cone-volume measure $V_K$. If $\bar K$ is not extremely far from a Euclidean ball to begin with, an analogous isometric result, where $8$ is replaced by $1+ε$, is obtained as well. △ Less

Submitted 1 March, 2023; v1 submitted 26 April, 2021; originally announced April 2021.

Comments: 64 pages; corrected referee comments, added for completeness statement (2b) to the equivalent statements of Theorem 2.1. Final version, to appear in Journal of European Math Society (JEMS)

A sharp centro-affine isospectral inequality of Szegö--Weinberger type and the $L^p$-Minkowski problem

Authors: Emanuel Milman

Abstract: We establish a sharp upper-bound for the first non-zero even eigenvalue (corresponding to an even eigenfunction) of the Hilbert-Brunn-Minkowski operator associated to a strongly convex $C^2$-smooth origin-symmetric convex body $K$ in $\mathbb{R}^n$. Our isospectral inequality is centro-affine invariant, attaining equality if and only if $K$ is a (centered) ellipsoid; this is reminiscent of the (no… ▽ More We establish a sharp upper-bound for the first non-zero even eigenvalue (corresponding to an even eigenfunction) of the Hilbert-Brunn-Minkowski operator associated to a strongly convex $C^2$-smooth origin-symmetric convex body $K$ in $\mathbb{R}^n$. Our isospectral inequality is centro-affine invariant, attaining equality if and only if $K$ is a (centered) ellipsoid; this is reminiscent of the (non affine invariant) classical Szegö--Weinberger isospectral inequality for the Neumann Laplacian. The new upper-bound complements the conjectural lower-bound, which has been shown to be equivalent to the log-Brunn-Minkowski inequality and is intimately related to the uniqueness question in the even log-Minkowski problem. As applications, we obtain new strong non-uniqueness results in the even $L^p$-Minkowski problem in the subcritical range $-n < p < 0$, as well as new rigidity results for the critical exponent $p=-n$ and supercritical regime $p < -n$. In particular, we show that any $K$ as above which is not an ellipsoid is a witness to non-uniqueness in the even $L^p$-Minkowski problem for all $p \in (-n,p_K)$ and some $p_K \in (-n,0)$, and that $K$ can be chosen so that $p_K$ is arbitrarily close to $0$. △ Less

Submitted 13 June, 2022; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: 32 pages; final version, to appear in Journal of Differential Geometry

Reverse Hölder Inequalities for log-Lipschitz Functions

Authors: Emanuel Milman

Abstract: Reverse Hölder inequalities for a class of functions on a probability space constitute an important tool in Analysis in Probability. After revisiting how a (modified) log-Sobolev inequality can be used to derive reverse Hölder inequalities for the class of log-Lipschitz functions, we obtain a weaker condition using general Transport-Entropy inequalities, which can also handle approximately log-Lip… ▽ More Reverse Hölder inequalities for a class of functions on a probability space constitute an important tool in Analysis in Probability. After revisiting how a (modified) log-Sobolev inequality can be used to derive reverse Hölder inequalities for the class of log-Lipschitz functions, we obtain a weaker condition using general Transport-Entropy inequalities, which can also handle approximately log-Lipschitz functions. In its weakest form, the condition degenerates to the assumption of satisfying a concentration inequality. We compare this with a scenario in which the underlying space only satisfies a Poincaré inequality. △ Less

Submitted 30 November, 2020; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 13 pages. Added a paragraph in the Introduction on reverse Holder inequalities on the discrete cube. To appear in special issue of Pure Appl. Funct. Anal. dedicated to Louis Nirenberg

Sharp Isoperimetric Inequalities for Affine Quermassintegrals

Authors: Emanuel Milman, Amir Yehudayoff

Abstract: 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 p… ▽ More 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. △ Less

Submitted 19 August, 2022; v1 submitted 10 May, 2020; originally announced May 2020.

Comments: 43 pages, improved references, restructured preliminaries section and added a figure, added details on measurability and continuity. Final version, to appear in J. Amer. Math. Soc

Regular Random Sections of Convex Bodies and the Random Quotient-of-Subspace Theorem

Authors: Emanuel Milman, Yuval Yifrach

Abstract: It was shown by G. Pisier that any finite-dimensional normed space admits an $α$-regular $M$-position, guaranteeing not only regular entropy estimates but moreover regular estimates on the diameters of minimal sections of its unit-ball and its dual. We revisit Pisier's argument and show the existence of a \emph{different} position, which guarantees the same estimates for \emph{randomly sampled} se… ▽ More It was shown by G. Pisier that any finite-dimensional normed space admits an $α$-regular $M$-position, guaranteeing not only regular entropy estimates but moreover regular estimates on the diameters of minimal sections of its unit-ball and its dual. We revisit Pisier's argument and show the existence of a \emph{different} position, which guarantees the same estimates for \emph{randomly sampled} sections \emph{with high-probability}. As an application, we obtain a \emph{random} version of V. Milman's Quotient-of-Subspace Theorem, asserting that in the above position, \emph{typical} quotients of subspaces are isomorphic to Euclidean, with a distance estimate which matches the best-known deterministic one (and beating all prior estimates which hold with high-probability). Our main novel ingredient is a new position of convex bodies, whose existence we establish by using topological arguments and a fixed-point theorem. △ Less

Submitted 26 May, 2021; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: 17 pages; final version, to appear in J. Func. Anal

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

Authors: Emanuel Milman

Abstract: 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 constitute… ▽ More 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. △ Less

Submitted 16 September, 2020; v1 submitted 5 August, 2019; originally announced August 2019.

Comments: 38 pages; corrected typos, added references to the works of Balogh-Kristaly-Sipos, Baudoin-Grong-Molino-Rizzi and B. Kim; the results now apply to (possibly non-ideal) corank $1$ Carnot groups and to H-type foliations with completely parallel torsion and non-negative horizontal sectional curvature. To appear in Communications on Pure and Applied Mathematics (CPAM)

Sharp Poincaré inequalities under Measure Contraction Property

Authors: Bang-Xian Han, Emanuel Milman

Abstract: 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 o… ▽ More 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. △ Less

Submitted 20 May, 2020; v1 submitted 14 May, 2019; originally announced May 2019.

Comments: 24 pages; addressed comments by referee, to appear in Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. Changed conv(A) notation to geo(A)

Reciprocals and Flowers in Convexity

Authors: Emanuel Milman, Vitali Milman, Liran Rotem

Abstract: We study new classes of convex bodies and star bodies with unusual properties. First we define the class of reciprocal bodies, which may be viewed as convex bodies of the form "$1/K$". The map $K\mapsto K^\prime$ sending a body to its reciprocal is a duality on the class of reciprocal bodies, and we study its properties. To connect this new map with the classic polarity we use another constructi… ▽ More We study new classes of convex bodies and star bodies with unusual properties. First we define the class of reciprocal bodies, which may be viewed as convex bodies of the form "$1/K$". The map $K\mapsto K^\prime$ sending a body to its reciprocal is a duality on the class of reciprocal bodies, and we study its properties. To connect this new map with the classic polarity we use another construction, associating to each convex body $K$ a star body which we call its flower and denote by $K^\clubsuit$. The mapping $K\mapsto K^\clubsuit$ is a bijection between the class $\mathcal{K}_0^n$ of convex bodies and the class $\mathcal{F}^n$ of flowers. We show that the polarity map $\circ:\mathcal{K}_0^n\to\mathcal{K}_0^n$ decomposes into two separate bijections: First our flower map $\clubsuit:\mathcal{K}_0^n\to\mathcal{F}^n$, followed by the spherical inversion $Φ$ which maps $\mathcal{F}^n$ back to $\mathcal{K}_0^n$. Each of these maps has its own properties, which combine to create the various properties of the polarity map. We study the various relations between the four maps $\prime$, $\circ$, $\clubsuit$ and $Φ$ and use these relations to derive some of their properties. For example, we show that a convex body $K$ is a reciprocal body if and only if its flower $K^\clubsuit$ is convex. We show that the class $\mathcal{F}^n$ has a very rich structure, and is closed under many operations, including the Minkowski addition. This structure has corollaries for the other maps which we study. For example, we show that if $K$ and $T$ are reciprocal bodies so is their "harmonic sum" $(K^\circ+T^\circ)^\circ$. We also show that the volume $\left|\left(\sum_iλ_{i}K_i\right)^\clubsuit\right|$ is a homogeneous polynomial in the $λ_i$'s, whose coefficients can be called "$\clubsuit$-type mixed volumes". Related geometric inequalities are also derived. △ Less

Submitted 20 December, 2018; originally announced December 2018.

The Gaussian Double-Bubble and Multi-Bubble Conjectures

Authors: Emanuel Milman, Joe Neeman

Abstract: We establish the Gaussian Multi-Bubble Conjecture: the least Gaussian-weighted perimeter way to decompose $\mathbb{R}^n$ into $q$ cells of prescribed (positive) Gaussian measure when $2 \leq q \leq n+1$, is to use a "simplicial cluster", obtained from the Voronoi cells of $q$ equidistant points. Moreover, we prove that simplicial clusters are the unique isoperimetric minimizers (up to null-sets).… ▽ More We establish the Gaussian Multi-Bubble Conjecture: the least Gaussian-weighted perimeter way to decompose $\mathbb{R}^n$ into $q$ cells of prescribed (positive) Gaussian measure when $2 \leq q \leq n+1$, is to use a "simplicial cluster", obtained from the Voronoi cells of $q$ equidistant points. Moreover, we prove that simplicial clusters are the unique isoperimetric minimizers (up to null-sets). In particular, the case $q=3$ confirms the Gaussian Double-Bubble Conjecture: the unique least Gaussian-weighted perimeter way to decompose $\mathbb{R}^n$ ($n \geq 2$) into three cells of prescribed (positive) Gaussian measure is to use a tripod-cluster, whose interfaces consist of three half-hyperplanes meeting along an $(n-2)$-dimensional plane at $120^{\circ}$ angles (forming a tripod or "Y" shape in the plane). The case $q=2$ recovers the classical Gaussian isoperimetric inequality. To establish the Multi-Bubble conjecture, we show that in the above range of $q$, stable regular clusters must have flat interfaces, therefore consisting of convex polyhedral cells (with at most $q-1$ facets). In the Double-Bubble case $q=3$, it is possible to avoid establishing flatness of the interfaces by invoking a certain dichotomy on the structure of stable clusters, yielding a simplified argument. △ Less

Submitted 30 November, 2021; v1 submitted 28 May, 2018; originally announced May 2018.

Comments: 89 pages; merged with our prior Double-Bubble manuscript arXiv:1801.09296v1 and now supersedes it. Corrected typos, updated references and exported some remarks. Final version, to appear in Annals of Mathematics

The Gaussian Double-Bubble Conjecture

Authors: Emanuel Milman, Joe Neeman

Abstract: We establish the Gaussian Double-Bubble Conjecture: the least Gaussian-weighted perimeter way to decompose $\mathbb{R}^n$ into three cells of prescribed (positive) Gaussian measure is to use a tripod-cluster, whose interfaces consist of three half-hyperplanes meeting along an $(n-2)$-dimensional plane at $120^{\circ}$ angles (forming a tripod or "Y" shape in the plane). Moreover, we prove that tri… ▽ More We establish the Gaussian Double-Bubble Conjecture: the least Gaussian-weighted perimeter way to decompose $\mathbb{R}^n$ into three cells of prescribed (positive) Gaussian measure is to use a tripod-cluster, whose interfaces consist of three half-hyperplanes meeting along an $(n-2)$-dimensional plane at $120^{\circ}$ angles (forming a tripod or "Y" shape in the plane). Moreover, we prove that tripod-clusters are the unique isoperimetric minimizers (up to null-sets). △ Less

Submitted 8 October, 2021; v1 submitted 28 January, 2018; originally announced January 2018.

Comments: For publication purposes, this manuscript has been merged with our subsequent one "The Gaussian Multi-Bubble Conjecture" into a single paper entitled "The Gaussian Double-Bubble and Multi-Bubble Conjectures", which now supersedes both previous manuscripts -- see arXiv:1805.10961. To appear in Annals of Mathematics

Poincaré and Brunn--Minkowski inequalities on the boundary of weighted Riemannian manifolds

Authors: Alexander V. Kolesnikov, Emanuel Milman

Abstract: We study a Riemannian manifold equipped with a density which satisfies the Bakry--Émery Curvature-Dimension condition (combining a lower bound on its generalized Ricci curvature and an upper bound on its generalized dimension). We first obtain a Poincaré-type inequality on its boundary assuming that the latter is locally-convex; this generalizes a purely Euclidean inequality of Colesanti, original… ▽ More We study a Riemannian manifold equipped with a density which satisfies the Bakry--Émery Curvature-Dimension condition (combining a lower bound on its generalized Ricci curvature and an upper bound on its generalized dimension). We first obtain a Poincaré-type inequality on its boundary assuming that the latter is locally-convex; this generalizes a purely Euclidean inequality of Colesanti, originally derived as an infinitesimal form of the Brunn-Minkowski inequality, thereby precluding any extensions beyond the Euclidean setting. A dual version for generalized mean-convex boundaries is also obtained, yielding spectral-gap estimates for the weighted Laplacian on the boundary. Motivated by these inequalities, a new geometric evolution equation is proposed, which extends to the Riemannian setting the Minkowski addition operation of convex domains, a notion thus far confined to the purely linear setting. This geometric flow is characterized by having parallel normals (of varying velocity) to the evolving hypersurface along the trajectory, and is intimately related to a homogeneous Monge-Ampère equation on the exterior of the convex domain. Using the aforementioned Poincaré-type inequality on the boundary of the evolving hypersurface, we obtain a novel Brunn--Minkowski inequality in the weighted-Riemannian setting, amounting to a certain concavity property for the weighted-volume of the evolving enclosed domain. All of these results appear to be new even in the classical non-weighted Riemannian setting. △ Less

Submitted 23 November, 2017; originally announced November 2017.

Comments: 43 pages, to appear in American Journal of Mathematics. This is the second part of the work originally posted in arXiv:1310.2526, which has been split into two parts for publication

Local $L^p$-Brunn-Minkowski inequalities for $p < 1$

Authors: Alexander V. Kolesnikov, Emanuel Milman

Abstract: The $L^p$-Brunn-Minkowski theory for $p\geq 1$, proposed by Firey and developed by Lutwak in the 90's, replaces the Minkowski addition of convex sets by its $L^p$ counterpart, in which the support functions are added in $L^p$-norm. Recently, Böröczky, Lutwak, Yang and Zhang have proposed to extend this theory further to encompass the range $p \in [0,1)$. In particular, they conjectured an $L^p$-Br… ▽ More The $L^p$-Brunn-Minkowski theory for $p\geq 1$, proposed by Firey and developed by Lutwak in the 90's, replaces the Minkowski addition of convex sets by its $L^p$ counterpart, in which the support functions are added in $L^p$-norm. Recently, Böröczky, Lutwak, Yang and Zhang have proposed to extend this theory further to encompass the range $p \in [0,1)$. In particular, they conjectured an $L^p$-Brunn-Minkowski inequality for origin-symmetric convex bodies in that range, which constitutes a strengthening of the classical Brunn-Minkowski inequality. Our main result confirms this conjecture locally for all (smooth) origin-symmetric convex bodies in $\mathbb{R}^n$ and $p \in [1 - \frac{c}{n^{3/2}},1)$. In addition, we confirm the local log-Brunn--Minkowski conjecture (the case $p=0$) for small-enough $C^2$-perturbations of the unit-ball of $\ell_q^n$ for $q \geq 2$, when the dimension $n$ is sufficiently large, as well as for the cube, which we show is the conjectural extremal case. For unit-balls of $\ell_q^n$ with $q \in [1,2)$, we confirm an analogous result for $p=c \in (0,1)$, a universal constant. It turns out that the local version of these conjectures is equivalent to a minimization problem for a spectral-gap parameter associated with a certain differential operator, introduced by Hilbert (under different normalization) in his proof of the Brunn-Minkowski inequality. As applications, we obtain local uniqueness results in the even $L^p$-Minkowski problem, as well as improved stability estimates in the Brunn-Minkowski and anisotropic isoperimetric inequalities. △ Less

Submitted 20 February, 2018; v1 submitted 3 November, 2017; originally announced November 2017.

Comments: 85 pages; corrected typos, and added a section with additional applications regarding new and improved stability estimates in the Brunn-Minkowski and anisotropic isoperimetric inequalities

The Globalization Theorem for the Curvature Dimension Condition

Authors: Fabio Cavalletti, Emanuel Milman

Abstract: 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… ▽ More 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. △ Less

Submitted 24 February, 2021; v1 submitted 22 December, 2016; originally announced December 2016.

Comments: 92 pages; polished the introduction, added some heuristic arguments to provide insight, and corrected typos. To appear in Inventiones Mathematicae

Generalized Dual Sudakov Minoration via Dimension Reduction - A Program

Authors: Shahar Mendelson, Emanuel Milman, Grigoris Paouris

Abstract: We propose a program for establishing a conjectural extension to the class of (origin-symmetric) log-concave probability measures $μ$, of the classical dual Sudakov Minoration on the expectation of the supremum of a Gaussian process: \begin{equation} \label{eq:abstract} M(Z_p(μ), C \int ||x||_K dμ\cdot K) \leq \exp(C p) \;\;\, \forall p \geq 1 . \end{equation} Here $K$ is an origin-symmetric conve… ▽ More We propose a program for establishing a conjectural extension to the class of (origin-symmetric) log-concave probability measures $μ$, of the classical dual Sudakov Minoration on the expectation of the supremum of a Gaussian process: \begin{equation} \label{eq:abstract} M(Z_p(μ), C \int ||x||_K dμ\cdot K) \leq \exp(C p) \;\;\, \forall p \geq 1 . \end{equation} Here $K$ is an origin-symmetric convex body, $Z_p(μ)$ is the $L_p$-centroid body associated to $μ$, $M(A,B)$ is the packing-number of $B$ in $A$, and $C > 0$ is a universal constant. The Program consists of first establishing a Weak Generalized Dual Sudakov Minoration, involving the dimension $n$ of the ambient space, which is then self-improved to a dimension-free estimate after applying a dimension-reduction step. The latter step may be thought of as a conjectural "small-ball one-sided" variant of the Johnson--Lindenstrauss dimension-reduction lemma. We establish the Weak Generalized Dual Sudakov Minoration for a variety of log-concave probability measures and convex bodies (for instance, this step is fully resolved assuming a positive answer to the Slicing Problem). The Separation Dimension-Reduction step is fully established for ellipsoids and, up to logarithmic factors in the dimension, for cubes, resulting in a corresponding Generalized (regular) Dual Sudakov Minoration estimate for these bodies and arbitrary log-concave measures, which are shown to be (essentially) best-possible. Along the way, we establish a regular version of (\ref{eq:abstract}) for all $p \geq n$ and provide a new direct proof of Sudakov Minoration via The Program. △ Less

Submitted 6 May, 2018; v1 submitted 28 October, 2016; originally announced October 2016.

Comments: 44 pages, to appear in Studia Math

The KLS Isoperimetric Conjecture for Generalized Orlicz Balls

Authors: Alexander V. Kolesnikov, Emanuel Milman

Abstract: What is the optimal way to cut a convex bounded domain $K$ in Euclidean space $(\mathbb{R}^n,|\cdot|)$ into two halves of equal volume, so that the interface between the two halves has least surface area? A conjecture of Kannan, Lovász and Simonovits asserts that, if one does not mind gaining a universal numerical factor (independent of $n$) in the surface area, one might as well dissect $K$ using… ▽ More What is the optimal way to cut a convex bounded domain $K$ in Euclidean space $(\mathbb{R}^n,|\cdot|)$ into two halves of equal volume, so that the interface between the two halves has least surface area? A conjecture of Kannan, Lovász and Simonovits asserts that, if one does not mind gaining a universal numerical factor (independent of $n$) in the surface area, one might as well dissect $K$ using a hyperplane. This conjectured essential equivalence between the former non-linear isoperimetric inequality and its latter linear relaxation, has been shown over the last two decades to be of fundamental importance to the understanding of volumetric and spectral properties of convex domains. In this work, we address the conjecture for the subclass of generalized Orlicz balls \[ K = \left \{x \in \mathbb{R}^n \; ; \; \sum_{i=1}^n V_i(x_i) \leq E \right \} , \] confirming its validity for certain levels $E \in \mathbb{R}$ under a mild technical assumption on the growth of the convex functions $V_i$ at infinity (without which we confirm the conjecture up to a $\log(1+n)$ factor). In sharp contrast to previous approaches for tackling the KLS conjecture, we emphasize that no symmetry is required from $K$. This significantly enlarges the subclass of convex bodies for which the conjecture is confirmed. △ Less

Submitted 2 February, 2018; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: 39 pages, to appear in the Annals of Probability. Improved growth assumption from finite Ψ_1 norm to finite L^2 norm of V'_i(y) y; noted that 1 + E V(X) is always a good level set for the generalized Orlicz ball (where X is distributed according to \exp(-V(x)) dx); and analyzed Example 1.4 in greater generality, following a suggestion by the referee

Sharp Poincaré-type inequality for the Gaussian measure on the boundary of convex sets

Authors: Alexander V. Kolesnikov, Emanuel Milman

Abstract: A sharp Poincaré-type inequality is derived for the restriction of the Gaussian measure on the boundary of a convex set. In particular, it implies a Gaussian mean-curvature inequality and a Gaussian iso second-variation inequality. The new inequality is nothing but an infinitesimal form of Ehrhard's inequality for the Gaussian measure. A sharp Poincaré-type inequality is derived for the restriction of the Gaussian measure on the boundary of a convex set. In particular, it implies a Gaussian mean-curvature inequality and a Gaussian iso second-variation inequality. The new inequality is nothing but an infinitesimal form of Ehrhard's inequality for the Gaussian measure. △ Less

Submitted 14 July, 2016; v1 submitted 12 January, 2016; originally announced January 2016.

Comments: 14 pages, to appear in GAFA Seminar Notes (Springer's Lecture Notes in Math. 2169)

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

Authors: Alexander V. Kolesnikov, Emanuel Milman

Abstract: 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… ▽ More 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. △ Less

Submitted 30 June, 2016; v1 submitted 10 October, 2015; originally announced October 2015.

Comments: 46 pages, to appear in Calc. Var. & PDE

Spectral Estimates, Contractions and Hypercontractivity

Authors: Emanuel Milman

Abstract: Sharp comparison theorems are derived for all eigenvalues of the (weighted) Laplacian, for various classes of weighted-manifolds (i.e. Riemannian manifolds endowed with a smooth positive density). Examples include Euclidean space endowed with strongly log-concave and log-convex densities, extensions to $p$-exponential measures, unit-balls of $\ell_p^n$, one-dimensional spaces and Riemannian submer… ▽ More Sharp comparison theorems are derived for all eigenvalues of the (weighted) Laplacian, for various classes of weighted-manifolds (i.e. Riemannian manifolds endowed with a smooth positive density). Examples include Euclidean space endowed with strongly log-concave and log-convex densities, extensions to $p$-exponential measures, unit-balls of $\ell_p^n$, one-dimensional spaces and Riemannian submersions. Our main tool is a general Contraction Principle for "eigenvalues" on arbitrary metric-measure spaces. Motivated by Caffarelli's Contraction Theorem, we put forth several conjectures pertaining to the existence of contractions from the canonical sphere (and Gaussian space) to weighted-manifolds of appropriate topological type having (generalized) Ricci curvature positively bounded below; these conjectures are consistent with all known isoperimetric, heat-kernel and Sobolev-type properties, and would imply sharp conjectural spectral estimates on such spaces. While we do not resolve these conjectures for the individual eigenvalues, we verify their Weyl asymptotic distribution in the compact and non-compact settings, obtain non-asymptotic estimates using the Cwikel--Lieb--Rozenblum inequality, and estimate the trace of the associated heat-kernel assuming that the associated heat semi-group is hypercontractive. As a side note, an interesting trichotomy for the heat-kernel is obtained. △ Less

Submitted 4 May, 2018; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 38 pages; corrected typos and removed duplicate reference. To appear in Journal of Spectral Theory, published by the European Mathematical Society

Harmonic Measures on the Sphere via Curvature-Dimension

Authors: Emanuel Milman

Abstract: 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 "ha… ▽ More 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. △ Less

Submitted 16 May, 2015; originally announced May 2015.

Comments: 11 pages

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

Authors: Emanuel Milman

Abstract: 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-spac… ▽ More 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)$. △ Less

Submitted 17 December, 2016; v1 submitted 14 September, 2014; originally announced September 2014.

Comments: 38 pages. Corrected Typo in the formulation of Theorem 1.3 (2). Final version to appear in Trans. of Amer. Math. Soc

Remarks on the KLS conjecture and Hardy-type inequalities

Authors: Alexander V. Kolesnikov, Emanuel Milman

Abstract: 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… ▽ More 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. △ Less

Submitted 13 August, 2015; v1 submitted 3 May, 2014; originally announced May 2014.

Comments: 18 pages. Numbering of propositions, theorems, etc.. as appeared in final form in GAFA seminar notes

Journal ref: Lectures Notes in Math. 2116, GAFA Seminar Notes 2011-2013, 273-292, 2014

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

Authors: Apostolos Giannopoulos, Emanuel Milman

Abstract: 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… ▽ More 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} . \] △ Less

Submitted 31 January, 2016; v1 submitted 4 February, 2014; originally announced February 2014.

Comments: 23 pages ; final version, as published in Springer's GAFA Seminar Notes

Journal ref: Lecture Notes in Math. 2116, GAFA Seminar Notes 2011-2013, 159-182

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

Authors: Emanuel Milman

Abstract: 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… ▽ More 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$. △ Less

Submitted 8 May, 2014; v1 submitted 2 February, 2014; originally announced February 2014.

Comments: 15 pages; added references, to appear in IMRN. See publisher's website for final version

Brascamp-Lieb type inequalities on weighted Riemannian manifolds with boundary

Authors: Alexander V. Kolesnikov, Emanuel Milman

Abstract: It is known that by dualizing the Bochner-Lichnerowicz-Weitzenböck formula, one obtains Poincaré-type inequalities on Riemannian manifolds equipped with a density, which satisfy the Bakry-Émery Curvature-Dimension condition (combining a lower bound on its generalized Ricci curvature and an upper bound on its generalized dimension). When the manifold has a boundary, an appropriate generalization of… ▽ More It is known that by dualizing the Bochner-Lichnerowicz-Weitzenböck formula, one obtains Poincaré-type inequalities on Riemannian manifolds equipped with a density, which satisfy the Bakry-Émery Curvature-Dimension condition (combining a lower bound on its generalized Ricci curvature and an upper bound on its generalized dimension). When the manifold has a boundary, an appropriate generalization of the Reilly formula may be used instead. By systematically dualizing this formula for various combinations of boundary conditions of the domain (convex, mean-convex) and the function (Neumann, Dirichlet), we obtain new Brascamp-Lieb type inequalities on the manifold. All previously known inequalities of Lichnerowicz, Brascamp-Lieb, Bobkov-Ledoux and Veysseire are recovered, extended to the Riemannian setting and generalized into a single unified formulation, and their appropriate versions in the presence of a boundary are obtained. Our framework allows to encompass the entire class of Borell's convex measures, including heavy-tailed measures, and extends the latter class to weighted-manifolds having negative generalized dimension. △ Less

Submitted 23 November, 2017; v1 submitted 9 October, 2013; originally announced October 2013.

Comments: 24 pages. The original submission has been split into two parts for publication. The first part, corresponding to the present arXiv version, was published in J. Geom. Anal. The second part, corresponding to a new arXiv version submitted on Nov 23, 2017, will appear in the Amer. J. of Math

Journal ref: J. Geom. Anal. 27 (2), 1680-1702, 2017

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

Authors: Emanuel Milman, Liran Rotem

Abstract: 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 classi… ▽ More 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. △ Less

Submitted 21 June, 2014; v1 submitted 26 August, 2013; originally announced August 2013.

Comments: 38 pages; corrected typos and incorporated referee's comments. This arXiv version corrects several incomplete statements which appeared in the published journal version

Journal ref: Advances in Mathematics 262 (2014) 867-908

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

Authors: Franck Barthe, Emanuel Milman

Abstract: 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 part… ▽ More 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. △ Less

Submitted 23 February, 2012; originally announced February 2012.

Comments: 57 pages

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

Authors: Emanuel Milman

Abstract: 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,… ▽ More 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. △ Less

Submitted 5 February, 2012; originally announced February 2012.

Comments: 17 pages

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

Authors: Bo'az Klartag, Emanuel Milman

Abstract: 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… ▽ More 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. △ Less

Submitted 24 August, 2011; originally announced August 2011.

Comments: 12 pages

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

Authors: Emanuel Milman

Abstract: 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, d… ▽ More 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. △ Less

Submitted 29 August, 2012; v1 submitted 23 August, 2011; originally announced August 2011.

Comments: 37 pages, corrected more typos, added Section with concluding remarks and a taste of applications

MSC Class: 32F32; 53C21; 53C20

Centroid Bodies and the Logarithmic Laplace Transform - A Unified Approach

Authors: Bo'az Klartag, Emanuel Milman

Abstract: 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… ▽ More 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. △ Less

Submitted 15 March, 2011; originally announced March 2011.

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

Authors: Olivier Guédon, Emanuel Milman

Abstract: 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 devia… ▽ More 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. △ Less

Submitted 2 June, 2011; v1 submitted 3 November, 2010; originally announced November 2010.

Comments: 29 pages - formulation is now general, estimating deviation of a linear image of X, and dependence on the ψ_αconstant is explicit. Corrected typos and refined explanations. To appear in GAFA

Isoperimetric Bounds on Convex Manifolds

Authors: Emanuel Milman

Abstract: 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. Alon… ▽ More 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. △ Less

Submitted 5 May, 2011; v1 submitted 4 April, 2010; originally announced April 2010.

Comments: 16 pages; addressed referee's comments; to appear in Contemporary Math., proceedings of the Workshop on "Concentration,Functional Inequalities and Isoperimetry" in Florida, November 2009

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

Authors: Young-Heon Kim, Emanuel Milman

Abstract: 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 o… ▽ More 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. △ Less

Submitted 19 July, 2011; v1 submitted 1 February, 2010; originally announced February 2010.

Comments: 33 pages; corrected typos, shortened Section 6 and some of the standard proofs. To appear in Math. Annal

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

Authors: Emanuel Milman

Abstract: 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 pe… ▽ More 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. △ Less

Submitted 10 November, 2010; v1 submitted 1 September, 2009; originally announced September 2009.

Comments: 29 pages, shortened version for journal. To appear in Probability Theory and Related Fields by https://www.springer.com

A converse to Maz'ya's inequality for capacities under curvature lower bound

Authors: Emanuel Milman

Abstract: We survey some classical inequalities due to Maz'ya relating isocapacitary inequalities with their functional and isoperimetric counterparts in a measure-metric space setting, and extend Maz'ya's lower bound for the $q$-capacity ($q>1$) in terms of the 1-capacity (or isoperimetric) profile. We then proceed to describe results by Buser, Bakry, Ledoux and most recently by the author, which show th… ▽ More We survey some classical inequalities due to Maz'ya relating isocapacitary inequalities with their functional and isoperimetric counterparts in a measure-metric space setting, and extend Maz'ya's lower bound for the $q$-capacity ($q>1$) in terms of the 1-capacity (or isoperimetric) profile. We then proceed to describe results by Buser, Bakry, Ledoux and most recently by the author, which show that under suitable convexity assumptions on the measure-metric space, Maz'ya's inequality for capacities may be reversed, up to dimension independent numerical constants: a matching lower bound on 1-capacity may be derived in terms of the $q$-capacity profile. We extend these results to handle arbitrary $q > 1$ and weak semi-convexity assumptions, by obtaining some new delicate semi-group estimates. △ Less

Submitted 27 March, 2009; originally announced March 2009.

Comments: 26 pages, to appear in Springer's International Mathematical Series Vols. 10-13

Isoperimetric and Concentration Inequalities - Equivalence under Curvature Lower Bound

Authors: Emanuel Milman

Abstract: 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. We show that under a lower bound condition… ▽ More 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. We show that under a lower bound condition on the Bakry--Émery curvature tensor of a Riemannian manifold equipped with a density, completely general concentration inequalities imply back their isoperimetric counterparts, up to dimension \emph{independent} bounds. As a corollary, we can recover and extend all previously known (dimension dependent) results by generalizing an isoperimetric inequality of Bobkov, and provide a new proof that under natural convexity assumptions, arbitrarily weak concentration implies a dimension independent linear isoperimetric inequality. Further applications will be described in a subsequent work. 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. △ Less

Submitted 30 November, 2009; v1 submitted 9 February, 2009; originally announced February 2009.

Comments: 28 pages; to appear in Duke Math. J. - shortened exposition and addressed referees' useful comments

Journal ref: Duke Math. J. 154, no. 2 (2010), 207-239

On the role of Convexity in Functional and Isoperimetric Inequalities

Authors: Emanuel Milman

Abstract: 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, generalizin… ▽ More 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. △ Less

Submitted 24 December, 2008; v1 submitted 2 April, 2008; originally announced April 2008.

Comments: 42 pages, to appear in the Proceedings of the London Mathematical Society; small revision

MSC Class: 32F32; 26D10; 46E35; 31C15

On the role of Convexity in Isoperimetry, Spectral-Gap and Concentration

Authors: Emanuel Milman

Abstract: 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 \emph{arbitrarily slow} uniform tail-decay, are all quantitatively equivalent (to within universal constants, independent of the dimension). This substant… ▽ More 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 \emph{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, Gromov--Milman, 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, Kannan--Lovász--Simonovits, Bobkov and Sodin. The proof involves estimates on the diffusion semi-group 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,\infty)$ curvature-dimension condition of Bakry-Émery. △ Less

Submitted 24 December, 2008; v1 submitted 25 December, 2007; originally announced December 2007.

Comments: 45 pages, to appear in Inventiones Mathematicae; revised version

An isoperimetric inequality for uniformly log-concave measures and uniformly convex bodies

Authors: Emanuel Milman, Sasha Sodin

Abstract: We prove an isoperimetric inequality for the uniform measure on a uniformly convex body and for a class of uniformly log-concave measures (that we introduce). These inequalities imply (up to universal constants) the log-Sobolev inequalities proved by Bobkov--Ledoux as well as the isoperimetric inequalities due to Bakry-Ledoux and Bobkov--Zegarlinski. We also recover a concentration inequality fo… ▽ More We prove an isoperimetric inequality for the uniform measure on a uniformly convex body and for a class of uniformly log-concave measures (that we introduce). These inequalities imply (up to universal constants) the log-Sobolev inequalities proved by Bobkov--Ledoux as well as the isoperimetric inequalities due to Bakry-Ledoux and Bobkov--Zegarlinski. We also recover a concentration inequality for uniformly convex bodies, similar to that proved by Gromov--Milman. △ Less

Submitted 21 November, 2007; v1 submitted 28 March, 2007; originally announced March 2007.

Comments: 39 pages

Journal ref: J. Funct. Anal., vol. 254, issue 5 (2008), pp 1235-1268

Generalized Intersection Bodies are not Equivalent

Authors: Emanuel Milman

Abstract: In 2000, A. Koldobsky asked whether two types of generalizations of the notion of an intersection-body, are in fact equivalent. The structures of these two types of generalized intersection-bodies have been studied by the author in [https://arxiv.boxedpaper.com/sub/www/math.MG/0512058], providing substantial positive evidence for a positive answer to this question. The purpose of this note is to construct a cou… ▽ More In 2000, A. Koldobsky asked whether two types of generalizations of the notion of an intersection-body, are in fact equivalent. The structures of these two types of generalized intersection-bodies have been studied by the author in [https://arxiv.boxedpaper.com/sub/www/math.MG/0512058], providing substantial positive evidence for a positive answer to this question. The purpose of this note is to construct a counter-example, which provides a surprising negative answer to this question in a strong sense. This implies the existence of non-trivial non-negative functions in the range of the spherical Radon transform, and the existence of non-trivial spaces which embed in L_p for certain negative values of p. △ Less

Submitted 4 February, 2007; v1 submitted 26 January, 2007; originally announced January 2007.

Comments: 18 pages, added a section with equivalent formulations using Fourier Transforms and Embeddings into L_p for p<0

On Gaussian Marginals of Uniformly Convex Bodies

Authors: Emanuel Milman

Abstract: Recently, Bo'az Klartag showed that arbitrary convex bodies have Gaussian marginals in most directions. We show that Klartag's quantitative estimates may be improved for many uniformly convex bodies. These include uniformly convex bodies with power type 2, and power type $p>2$ with some additional type condition. In particular, our results apply to all unit-balls of subspaces of quotients of… ▽ More Recently, Bo'az Klartag showed that arbitrary convex bodies have Gaussian marginals in most directions. We show that Klartag's quantitative estimates may be improved for many uniformly convex bodies. These include uniformly convex bodies with power type 2, and power type $p>2$ with some additional type condition. In particular, our results apply to all unit-balls of subspaces of quotients of $L_p$ for $1<p<\infty$. The same is true when $L_p$ is replaced by $S_p^m$, the $l_p$-Schatten class space. We also extend our results to arbitrary uniformly convex bodies with power type $p$, for $2 \leq p < 4$. These results are obtained by putting the bodies in (surprisingly) non-isotropic positions and by a new concentration of volume observation for uniformly convex bodies. △ Less

Submitted 5 April, 2008; v1 submitted 27 April, 2006; originally announced April 2006.

Comments: 21 pages, revised version comparing between our results and Klartag's, accepted for publication in Journal of Theoretical Probability