We consider the problem of lower bounding a generalized Minkowski measure of subsets of a convex body with a log-concave probability measure, conditioned on the set size. A bound is given in terms of diameter and set size, which is sharp for all set sizes, dimensions, and norms. In the case of uniform density a stronger theorem is shown which is also sharp.
The aim of this note is twofold: to give a short proof of the results in [S. Larson, A bound for the perimeter of inner parallel bodies, J. Funct. Anal. 271 (2016), 610-619] and [G. Domokos and Z. Lángi, The isoperimetric quotient of a convex body decreases monotonically under the eikonal abrasion model, Mathematika 65 (2019), 119-129]; and to generalize them to the anisotropic case.
The minimizers of the anisotropic fractional isoperimetric inequality with respect to the convex body $K$ in $\mathbb{R}^n$ are shown to be equivalent to star bodies whenever $K$ is strictly convex and unconditional. From this a Pólya-Szegö principle for anisotropic fractional seminorms is derived by using symmetrization with respect to star bodies.
We establish a family of isoperimetric inequalities for sets that interpolate between intersection bodies and dual Lp centroid bodies. This provides a bridge between the Busemann intersection inequality and the Lutwak--Zhang inequality. The approach depends on new empirical versions of these inequalities.
Sharp Lp affine isoperimetric inequalities are established for the entire class of Lp projection bodies and the entire class of Lp centroid bodies. These new inequalities strengthen the Lp Petty projection and the Lp Busemann--Petty centroid inequality.
We prove a sharp dimension-free isoperimetric inequality, involving the volume entropy, in non-compact metric measure spaces with non-negative synthetic Ricci curvature.
Star-shaped bodies are an important nonconvex generalization of convex bodies (e.g., linear programming with violations). Here we present an efficient algorithm for sampling a given star-shaped body. The complexity of the algorithm grows polynomially in the dimension and inverse polynomially in the fraction of the volume taken up by the kernel of the star-shaped body. The analysis is based on a new isoperimetric inequality. Our main technical contribution is a tool for proving such inequalities when the domain is not convex. As a consequence, we obtain a polynomial algorithm for computing the …
Using Fourier analysis, we derive Wirtinger-type inequalities of arbitrary high order. As applications, we prove various sharp geometric inequalities for closed curves on the Euclidean plane. In particular, we obtain both sharp lower and upper bounds for the isoperimetric deficit.
The Orlicz-Brunn-Minkowski theory receives considerable attention recently, and many results in the $L_p$-Brunn-Minkowski theory have been extended to their Orlicz counterparts. The aim of this paper is to develop Orlicz $L_ϕ$ affine and geominimal surface areas for single convex body as well as for multiple convex bodies, which generalize the $L_p$ (mixed) affine and geominimal surface areas -- fundamental concepts in the $L_p$-Brunn-Minkowski theory. Our extensions are different from the general affine surface areas by Ludwig (in Adv. Math. 224 (2010)). Moreover, our definitions for Orlicz $…
The Blaschke Santaló inequality and the $L_p$ affine isoperimetric inequalities are major inequalities in convex geometry and they have a wide range of applications. Functional versions of the Blaschke Santaló inequality have been established over the years through many contributions. More recently and ongoing, such functional versions have been established for the $L_p$ affine isoperimetric inequalities as well. These functional versions involve notions from information theory, like entropy and divergence. We list stability versions for the geometric inequalities as well as for their function…
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--Le…
We extend the definition of the centroid body operator to an Orlicz--Lorentz centroid body operator on the star bodies in $\mathbb R^n$, and establish the sharp affine isoperimetric inequality that bounds (from below) the volume of the Orlicz--Lorentz centroid body of any convex body containing the origin in its interior by the volume of this convex body.
We prove that a plane domain which is almost isoperimetric (with respect to the $L^1$ metric) is close to a square whose sides are parallel to the coordinates axis. Closeness is measured either by $L^\infty$ Haussdorf distance or Fraenkel asymmetry. In the first case, we determine the extremal domains.
We prove that if $(X,\mathsf{d},\mathfrak{m})$ is a metric measure space with $\mathfrak{m}(X)=1$ having (in a synthetic sense) Ricci curvature bounded from below by $K>0$ and dimension bounded above by $N\in [1,\infty)$, then the classic Lévy-Gromov isoperimetric inequality (together with the recent sharpening counterparts proved in the smooth setting by E. Milman for any $K\in \mathbb{R}$, $N\geq 1$ and upper diameter bounds) hold, i.e. the isoperimetric profile function of $(X,\mathsf{d},\mathfrak{m})$ is bounded from below by the isoperimetric profile of the model space. Moreover, if equal…
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 c…
It is shown that every even, zonal measure on the Euclidean unit sphere gives rise to an isoperimetric inequality for sets of finite perimeter which directly implies the classical Euclidean isoperimetric inequality. The strongest member of this large family of inequalities is shown to be the only affine invariant one among them - the Petty projection inequality. As an application, a family of sharp Sobolev inequalities for functions of bounded variation is obtained, each of which is stronger than the classical Sobolev inequality. Moreover, corresponding families of Lp isoperimetric and Sobolev…
We obtain symmetrization inequalities on probability metric spaces with convex isoperimetric profile which incorporate in their formulation the isoperimetric estimator and that can be applied to provide a unified treatment of sharp Sobolev-Poincaré and Nash inequalities.
Employing the affine normal flow, we prove a stability version of the $p$-affine isoperimetric inequality for $p\geq1$ in $\mathbb{R}^2$ in the class of origin-symmetric convex bodies. That is, if $K$ is an origin-symmetric convex body in $\mathbb{R}^2$ such that it has area $π$ and its $p$-affine perimeter is close enough to the one of an ellipse with the same area, then, after applying a special linear transformation, $K$ is close to an ellipse in the Hausdorff distance.
We prove a sharp isoperimetric inequality for the class of metric measure spaces verifying the synthetic Ricci curvature lower bounds $MCP(0,N)$ and having Euclidean volume growth at infinity. We avoid the classical use of the Brunn-Minkowski inequality, not available for $MCP(0,N)$, and of the PDE approach, not available in the singular setting. Our approach will be carried over by using a scaling limit of localisation.
Let $(E,\F,μ)$ be a $\si$-finite measure space. For a non-negative symmetric measure $J(\d x, \d y):=J(x,y) \,μ(\d x)\,μ(\d y)$ on $E\times E,$ consider the quadratic form $$\E(f,f):= \frac{1}{2}\int_{E\times E} (f(x)-f(y))^2 \, J(\d x,\d y)$$ in $L^2(μ)$. We characterize the relationship between the isoperimetric inequality and the super Poincaré inequality associated with $\E$. In particular, sharp Orlicz-Sobolev type and Poincaré type isoperimetric inequalities are derived for stable-like Dirichlet forms on $\R^n$, which include the existing fractional isoperimetric inequality as a special …
We introduce f-divergence, a concept from information theory and statistics, for convex bodies in R^n. We prove that f-divergences are SL(n) invariant valuations and we establish an affine isoperimetric inequality for these quantities. We show that generalized affine surface area and in particular the L_p affine surface area from the L_p Brunn Minkowski theory are special cases of f-divergences.
Let $K$ be a convex body in $\mathbb R^n$. We introduce a new affine invariant, which we call $Ω_K$, that can be found in three different ways: as a limit of normalized $L_p$-affine surface areas, as the relative entropy of the cone measure of $K$ and the cone measure of $K^\circ$, as the limit of the volume difference of $K$ and $L_p$-centroid bodies. We investigate properties of $Ω_K$ and of related new invariant quantities. In particular, we show new affine isoperimetric inequalities and we show a "information inequality" for convex bodies.
In 2015, I. Soprunov and A. Zvavitch have shown how to use the Bernstein-Khovanskii-Kushnirenko theorem to derive non-negativity of a certain bilinear form $F_Δ$, defined on (pairs of) convex bodies. Together with C. Saroglou, they proved non-negativity of $F_K$ characterizes simplices, among all polytopes. It is conjectured the characterization further holds among all convex bodies. Towards this conjecture, several necessary conditions on $K$ (for non-negativity of $F_K$), were derived. We give a new necessary condition, expressed with isoperimetric ratios, which provides a further step towar…
We extend the recent $L^{1}$ uncertainty inequalities obtained by Dall'ara-Trevisan to the metric setting. For this purpose we introduce a new class of weights, named *isoperimetric weights*, for which the growth of the measure of their level sets $μ(\{w\leq r\})$ can be controlled by $rI(r),$ where $I$ is the isoperimetric profile of the ambient metric space. We use isoperimetric weights, new *localized Poincaré inequalities*, and interpolation, to prove $L^{p},1\leq p<\infty,$ uncertainty inequalities on metric measure spaces. We give an alternate characterization of the class of isoperimetr…
We prove the stability of the ball as global minimizer of an attractive shape functional under volume constraint, by means of mass transportation arguments. The stability exponent is $1/2$ and it is sharp. Moreover, we use such stability result together with the quantitative (possibly fractional) isoperimetric inequality to prove that the ball is a global minimizer of a shape functional involving both an attractive and a repulsive term with a sufficiently large fixed volume and with a suitable (possibly fractional) perimeter penalization.
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.
We solve a class of isoperimetric problems on $\mathbb{R}^N $ with respect to weights that are powers of the distance to the origin. For instance we show that if $k\in [0,1]$, then among all smooth sets $Ω$ in $\mathbb{R} ^N$ with fixed Lebesgue measure, $\int_{\partial Ω} |x|^k \, \mathscr{H}_{N-1} (dx)$ achieves its minimum for a ball centered at the origin. Our results also imply a weighted Polya-Szëgo principle. In turn, we establish radiality of optimizers in some Caffarelli-Kohn-Nirenberg inequalities, and we obtain sharp bounds for eigenvalues of some nonlinear problems.
The notion of strictly outward minimising hull is investigated for open sets of finite perimeter sitting inside a complete noncompact Riemannian manifold. Under natural geometric assumptions on the ambient manifold, the strictly outward minimising hull $Ω^*$ of a set $Ω$ is characterised as a maximal volume solution of the least area problem with obstacle, where the obstacle is the set itself. In the case where $Ω$ has $\mathscr{C}^{1, α}$-boundary, the area of $\partial Ω^*$ is recovered as the limit of the $p$-capacities of $Ω$, as $p \to 1^+$. Finally, building on the existence of strictly …
Motivared by Carleman's proof of the isoperimetric inequality in the plane, we study some sharp integral inequalities for harmonic functions on the upper halfspace. We also derive the regularity for nonnegative solutions of the associated integral system and some Liouville type theorems.