We show a reverse isoperimetric inequality within the class of relative outer parallel bodies, with respect to a general convex body $E$, along with its equality condition. Based on the convexity of the sequence of quermassintegrals of Minkowski sums we also prove further inequalities.
We prove a reverse isoperimetric inequality for domains homeomorphic to a disc with the boundary of curvature bounded below lying in two-dimensional Alexandrov spaces of curvature $\geqslant c$. We also study the equality case.
We consider the class of $λ$-concave bodies in $\mathbb R^{n+1}$; that is, convex bodies with the property that each of their boundary points supports a tangent ball of radius $1/λ$ that lies locally (around the boundary point) inside the body. In this class we solve a reverse isoperimetric problem: we show that the convex hull of two balls of radius $1/λ$ (a sausage body) is a unique volume minimizer among all $λ$-concave bodies of given surface area. This is in a surprising contrast to the standard isoperimetric problem for which, as it is well-known, the unique maximizer is a ball. We solve…
In recent years, it has been shown that some classical inequalities follow from a local stochastic dominance for naturally associated random polytopes. We strengthen planar isoperimetric inequalities by attaching a stochastic model to some classical inequalities, such as Mahler's Theorem, and a reverse Lutwak-Zhang inequality, the polar for $L_p$ centroid bodies. In particular, we obtain the dual counterpart to a result of Bisztriczky-Böröczky.
We prove a pair of sharp reverse isoperimetric inequalities for domains in nonpositively curved surfaces: (1) metric disks centered at the vertex of a Euclidean cone of angle at least $2π$ have minimal area among all nonpositively curved disks of the same perimeter and the same total curvature; (2) geodesic triangles in a Euclidean (resp. hyperbolic) cone of angle at least $2π$ have minimal area among all nonpositively curved geodesic triangles (resp. all geodesic triangles of curvature at most $-1$) with the same side lengths and angles.
It is shown that if $C$ is an $n$-dimensional convex body then there is an affine image $\widetilde C$ of $C$ for which $${|\partial \widetilde C|\over |\widetilde C|^{n-1\over n}}$$ is no larger than the corresponding expression for a regular $n$-dimensional ``tetrahedron''. It is also shown that among $n$-dimensional subspaces of $L_p$ (for each $p\in [1,\infty]), \ell^n_p$ has maximal volume ratio.\vskip3in
In this paper we solve several reverse isoperimetric problems in the class of $λ$-convex bodies, i.e., convex bodies whose curvature at each point of their boundary is bounded below by some $λ> 0$. We give an affirmative answer in $\mathbb{R}^3$ to a conjecture due to Borisenko which states that the $λ$-convex lens, i.e., the intersection of two balls of radius $1/λ$, is the unique minimizer of volume among all $λ$-convex bodies of given surface area. Also, we prove a reverse inradius inequality: in model spaces of constant curvature and arbitrary dimension, we show that the $λ$-convex lens (p…
We consider the family of $r$-parallel sets in $\mathbb{R}^d$, that is sets of the form $A_r=A+rB_2^n$, where $B_2^n$ is the unit Euclidean ball and $A$ is an arbitrary Borel set. We show that the ratio between the upper surface area measure of an $r$-parallel set and its volume is upper bounded by $d/r$. Equality is achieved for $A$ being a single point. As a consequence of our main result we show that the Gaussian upper surface area measure of an $r$-parallel set is upper bounded by $18d \max(\sqrt{d},r^{-1})$. Moreover, we observe that there exists a $1$-parallel set with Gaussian surface a…
We present proofs of the reverse Santaló inequality, the existence of M-ellipsoids and the reverse Brunn-Minkowski inequality, using purely convex geometric tools. Our approach is based on properties of the isotropic position.
The $r$-parallel set of a measurable set $A \subseteq \mathbb R^d$ is the set of all points whose distance from $A$ is at most $r$. In this paper, we show that the surface area of an $r$-parallel set in $\mathbb R^d$ with volume at most $V$ is upper-bounded by $e^{Θ(d)}V/r$, whereas its Gaussian surface area is upper-bounded by $\max(e^{Θ(d)}, e^{Θ(d)}/r)$. We also derive a reverse form of the Brunn-Minkowski inequality for $r$-parallel sets, and as an aside a reverse entropy power inequality for Gaussian-smoothed random variables. We apply our results to two problems in theoretical machine le…
The famous Minkowski inequality provides a sharp lower bound for the mixed volume $V(K,M[n-1])$ of two convex bodies $K,M\subset\mathbb{R}^n$ in terms of powers of the volumes of the individual bodies $K$ and $M$. The special case where $K$ is the unit ball yields the isoperimetric inequality. In the plane, Betke and Weil (1991) found a sharp upper bound for the mixed area of $K$ and $M$ in terms of the perimeters of $K$ and $M$. We extend this result to general dimensions by proving a sharp upper bound for the mixed volume $V(K,M[n-1])$ in terms of the mean width of $K$ and the surface area o…
We establish a quantitative isoperimetric inequality for weighted Riemannian manifolds with $\mathrm{Ric}_{\infty} \ge 1$. Precisely, we give an upper bound of the volume of the symmetric difference between a Borel set and a sub-level (or super-level) set of the associated guiding function (arising from the needle decomposition), in terms of the deficit in Bakry-Ledoux's Gaussian isoperimetric inequality. This is the first quantitative isoperimetric inequality on noncompact spaces besides Euclidean and Gaussian spaces. Our argument makes use of Klartag's needle decomposition (also called local…
Sharp isoperimetric inequalities for the sine transform of even isotropic measures are established. The corresponding reverse inequalities are obtained in an asymptotically optimal form. These new inequalities have direct applications to strong volume estimates for convex bodies from data about their sections or projections.
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-capa…
Zhang's reverse affine isoperimetric inequality states that among all convex bodies $K\subseteq\mathbb{R}^n$, the affine invariant quantity $|K|^{n-1}|Π^*(K)|$ (where $Π^*(K)$ denotes the polar projection body of $K$) is minimized if and only if $K$ is a simplex. In this paper we prove an extension of Zhang's inequality in the setting of integrable log-concave functions, characterizing also the equality cases.