The isotropic position and the reverse Santaló inequality

Apostolos Giannopoulos,Grigoris Paouris,Beatrice-Helen Vritsiou

DOI: https://doi.org/10.48550/arXiv.1112.3073

2011-12-14

Abstract: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.

Metric Geometry

What problem does this paper attempt to address?

Anisotropic symmetrization, convex bodies, and isoperimetric inequalities

Gabriele Bianchi,Andrea Cianchi,Paolo Gronchi

2024-11-02

Abstract:This work is concerned with a Pólya-Szegö type inequality for anisotropic functionals of Sobolev functions. The relevant inequality entails a double-symmetrization involving both trial functions and functionals. A new approach that uncovers geometric aspects of the inequality is proposed. It relies upon anisotropic isoperimetric inequalities, fine properties of Sobolev functions, and results from the Brunn-Minkowski theory of convex bodies. Importantly, unlike previously available proofs, the one offered in this paper does not require approximation arguments and hence allows for a characterization of extremal functions.

Functional Analysis,Metric Geometry
A Santaló inequality for the $L^p$-polar body

Vlassis Mastrantonis

2024-01-20

Abstract:In recent work with Berndtsson and Rubinstein, a notion of $L^p$-polarity was introduced, with classical polarity recovered in the limit $p\to\infty$, and $L^1$-polarity closely related to Bergman kernels of tube domains. A Santaló inequality for the $L^p$-polar was proved for symmetric convex bodies. The aim of this article is to remove the symmetry assumption. Thus, an $L^p$-Santaló inequality holds for any convex body after translation by the $L^p$-Santaló point. As a corollary, this yields an optimal upper bound on Bergman kernels of tube domains. The proof is by Steiner symmetrization, but unlike the symmetric case, a careful translation of the body is required before each symmetrization.

Functional Analysis,Complex Variables
Symmetric Rearrangement and Geometric Inequalities on Riemannian Manifolds

Richard Stone

2024-11-23

Abstract:This paper starts by introducing results from geometric measure theory to prove symmetric decreasing rearrangement inequalities on $\mathbb{R}^n$, which give multiple proofs of the isoperimetric and Pólya-Szegő inequalities. Then we consider smooth oriented Riemannian manifolds of the form $M^n = (0,\infty)\times \Sigma^{n-1}$, and test what results carry over from the $\mathbb{R}^n$ setting or what assumptions about $M^n$ need to be added. Of particular interest was proving the smooth co-area formula in the Riemannian manifolds setting and re-formulating particular geometric inequalities.

Differential Geometry
Higher-Order Reverse Isoperimetric Inequalities for Log-concave Functions

Dylan Langharst,Francisco Marín Sola,Jacopo Ulivelli

2024-03-24

Abstract:The Rogers-Shephard and Zhang's projection inequalities are two reverse, affine isoperimetric inequalities relating the volumes of a convex body and its difference body and polar projection body, respectively. Following a classical work by Schneider, both inequalities have been extended to the so-called higher-order setting. In this work, we establish the higher-order analogues for these inequalities in the setting of log-concave functions.

Metric Geometry,Functional Analysis
Affine isoperimetric inequalities in the functional Orlicz-Brunn-Minkowski theory

Umut Caglar,Deping Ye

DOI: https://doi.org/10.48550/arXiv.1506.02974

2016-06-06

Abstract:In this paper, we develop a basic theory of Orlicz affine and geominimal surface areas for convex and $s$-concave functions. We prove some basic properties for these newly introduced functional affine invariants and establish related functional affine isoperimetric inequalities as well as functional Santaló type inequalities.

Metric Geometry,Functional Analysis
Blaschke–Santaló and Petty projection inequalities in Gaussian space

Junjie Shan,Wenxue Xu,Leiqin Yin

DOI: https://doi.org/10.1007/s00013-023-01959-7

2024-01-14

Archiv der Mathematik

Abstract:The analogues of the mixed volumes inequality, the Brunn–Minkowski inequality, the Blaschke–Santaló inequality, and the Petty projection inequality in Gaussian space are established.

mathematics
Blaschke-Santaló type inequalities and quermassintegral inequalities in space forms

Yingxiang Hu,Haizhong Li

DOI: https://doi.org/10.48550/arXiv.2207.04281

2022-07-09

Abstract:In this paper, we prove a family of identities for closed and strictly convex hypersurfaces in the sphere and hyperbolic/de Sitter space. As applications, we prove Blaschke-Santaló type inequalities in the sphere and hyperbolic/de Sitter space, which generalizes the previous work of Gao, Hug and Schneider \cite{GHS03}. We also prove the quermassintegral inequalities in hyperbolic/de Sitter space.

Differential Geometry
Short note on some geometric inequalities derived from matrix inequalities

Nico Lombardi,Eugenia Saorín Gómez,Lombardi, Nico

DOI: https://doi.org/10.1007/s11117-024-01042-7

2024-03-20

Positivity

Abstract:Using the connection between ellipsoids and positive semidefinite matrices we provide alternative proofs to some recently proven inequalities concerning the volume of zonoids as consequences of classical inequalities for matrices.

mathematics
Reverse isoperimetric problems under curvature constraints

Kostiantyn Drach,Kateryna Tatarko

2023-03-04

Abstract:In this paper we solve several reverse isoperimetric problems in the class of $\lambda$-convex bodies, i.e., convex bodies whose curvature at each point of their boundary is bounded below by some $\lambda > 0$. We give an affirmative answer in $\mathbb{R}^3$ to a conjecture due to Borisenko which states that the $\lambda$-convex lens, i.e., the intersection of two balls of radius $1/\lambda$, is the unique minimizer of volume among all $\lambda$-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 $\lambda$-convex lens (properly defined in non-zero curvature spaces) has the smallest inscribed ball among all $\lambda$-convex bodies of given surface area. This solves a conjecture due to Bezdek on minimal inradius of isoperimetric ball-polyhedra in $\mathbb{R}^n$.

Metric Geometry,Differential Geometry
Bézout Type Inequality in Convex Geometry

Jian Xiao

DOI: https://doi.org/10.1093/imrn/rnx232

2017-01-01

International Mathematics Research Notices

Abstract:We give a Bezout type inequality for mixed volumes, which holds true for any convex bodies. The key ingredient is the reverse Khovanskii-Teissier inequality for convex bodies, which was obtained in our previous work and inspired by its correspondence in complex geometry.
The isoperimetric inequality

Simon Brendle,Michael Eichmair

2024-02-08

Abstract:We discuss several classical and recent proofs of the isoperimetric inequality and the Sobolev inequality.

Differential Geometry
Towards Strong Reverse Minkowski-type Inequalities for Lattices

Daniel Dadush,Oded Regev

DOI: https://doi.org/10.48550/arXiv.1606.06913

2016-06-22

Abstract:We present a natural reverse Minkowski-type inequality for lattices, which gives upper bounds on the number of lattice points in a Euclidean ball in terms of sublattice determinants, and conjecture its optimal form. The conjecture exhibits a surprising wealth of connections to various areas in mathematics and computer science, including a conjecture motivated by integer programming by Kannan and Lovász (Annals of Math. 1988), a question from additive combinatorics asked by Green, a question on Brownian motions asked by Saloff-Coste (Colloq. Math. 2010), a theorem by Milman and Pisier from convex geometry (Ann. Probab. 1987), worst-case to average-case reductions in lattice-based cryptography, and more. We present these connections, provide evidence for the conjecture, and discuss possible approaches towards a proof. Our main technical contribution is in proving that our conjecture implies the $\ell_2$ case of the Kannan and Lovász conjecture. The proof relies on a novel convex relaxation for the covering radius, and a rounding procedure for based on "uncrossing" lattice subspaces.

Metric Geometry,Computational Complexity,Functional Analysis,Probability
Isoperimetric inequalities in high-dimensional convex sets

Bo'az Klartag,Joseph Lehec

2024-06-03

Abstract:These are lecture notes focusing on recent progress towards Bourgain's slicing problem and the isoperimetric conjecture proposed by Kannan, Lovasz and Simonovits (KLS).

Functional Analysis,Probability
On weak inverse mean curvature flow and Minkowski-type inequalities in hyperbolic space

Brian Harvie

2024-07-29

Abstract:We prove that a proper weak solution $\{ \Omega_{t} \}_{0 \leq t < \infty}$ to inverse mean curvature flow in $\mathbb{H}^{n}$, $3\leq n \leq 7$, is smooth and star-shaped by the time \begin{equation*} T= (n-1) \log \left( \frac{\text{sinh} \left( r_{+} \right)}{ \text{sinh} \left( r_{-} \right)} \right), \end{equation*} where $r_{+}$ and $r_{-}$ are the geodesic out-radius and in-radius of the initial domain $\Omega_{0}$. The argument is inspired by the Alexandrov reflection method for extrinsic curvature flows in $\mathbb{R}^{n}$ due to Chow-Gulliver and uses a result of Li-Wei. In addition to this, our methods establish expanding spheres as the only proper weak IMCF on $\mathbb{H}^{n} \setminus \{ 0 \}$ in all dimensions. As applications, we extend the Minkowski inequalities of Brendle-Hung-Wang and De Lima-Girao to outer-minimizing domains $\Omega_{0} \subset \mathbb{H}^{n}$ in dimensions $3 \leq n \leq 7$. From this, we also extend a Penrose-type inequality to balanced asymptotically hyperbolic graphs over the exteriors of outer-minimizing domains of $\mathbb{H}^{n}$ in these dimensions.

Differential Geometry,Analysis of PDEs
A geometric inequality on hypersurface in hyperbolic space

Haizhong Li,Yong Wei,Changwei Xiong

DOI: https://doi.org/10.1016/j.aim.2013.12.003

IF: 1.675

2014-01-01

Advances in Mathematics

Abstract:In this paper, we use the inverse curvature flow to prove a sharp geometric inequality on star-shaped and two-convex hypersurface in hyperbolic space.
Rigidities of Isoperimetric inequality under nonnegative Ricci curvature

Fabio Cavalletti,Davide Manini

2024-08-07

Abstract:The sharp isoperimetric inequality for non-compact Riemannian manifolds with non-negative Ricci curvature and Euclidean volume growth has been obtained in increasing generality with different approaches in a number of contributions [<a class="link-https" data-arxiv-id="1812.05022" href="https://arxiv.org/abs/1812.05022">arXiv:1812.05022</a>, <a class="link-https" data-arxiv-id="2012.09490" href="https://arxiv.org/abs/2012.09490">arXiv:2012.09490</a>, <a class="link-https" data-arxiv-id="2009.13717" href="https://arxiv.org/abs/2009.13717">arXiv:2009.13717</a>, <a class="link-https" data-arxiv-id="2103.08496" href="https://arxiv.org/abs/2103.08496">arXiv:2103.08496</a>] culminated by Balogh and Kristaly [<a class="link-https" data-arxiv-id="2012.11862" href="https://arxiv.org/abs/2012.11862">arXiv:2012.11862</a>] covering also m.m.s.'s verifying the non-negative Ricci curvature condition in the synthetic sense of Lott, Sturm and Villani. In sharp contrast with the compact case of positive Ricci curvature, for a large class of spaces including weighted Riemannian manifolds, no complete characterisation of the equality cases is present in the literature. The scope of this note is to settle this problem by proving, in the same generality of [<a class="link-https" data-arxiv-id="2012.11862" href="https://arxiv.org/abs/2012.11862">arXiv:2012.11862</a>], that the equality in the isoperimetric inequality can be attained only by metric balls. Whenever this happens the space is forced, in a measure theoretic sense, to be a cone. Our result applies to different frameworks yielding as corollaries new rigidity results: it extend to weighted Riemannian manifold the rigidity results of [<a class="link-https" data-arxiv-id="2009.13717" href="https://arxiv.org/abs/2009.13717">arXiv:2009.13717</a>], it extend to general $\mathsf{RCD}$ spaces the rigidity results of [<a class="link-https" data-arxiv-id="2201.04916" href="https://arxiv.org/abs/2201.04916">arXiv:2201.04916</a>] and finally applies also to the Euclidean setting by proving that that optimisers in the anisotropic and weighted isoperimetric inequality for Euclidean cones are necessarily the Wulff shapes.

Metric Geometry
A new trick for for Santalo's integral geometric proof of the strong Bonnesen inequality

Michael E. Gage

2024-06-03

Abstract:Given a lamina $K$ whose boundary $\partial K$ is convex we define the Bonnesen functional by integrating over the position and orientation of a disk of radius $r$ its intersections with the lamina and its boundary. \[ B(r) = \frac{1}{2\pi}\int (\frac{n}{2}-\nu)dx\,dy\,d\theta =rL-A-\pi r^2\] where $n$ is the number of intersections of the boundary of $K$ with the boundary of the disk and $\nu$ (with values either 0 or 1) is the number of intersections of the interiors. Analyzing the interval on which $B(r)\ge 0$ leads to a number of isoperimetric inequalities. For example Santalo observed that $B(r)$ is non-negative on $[r_{in},r_{out}]$ where $r_{in}$, the inradius, is the largest disk contained in $K$ and $r_{out}$, the outradius, is the smallest disk containing $K$. For this configuration if the bodies intersect than their boundaries must intersect in 2 or more points (generically) so the integrand is always non-negative and $B(r)\ge 0$. In this paper we show that $B(r)\ge 0$ on the interval$[\rho_{in}, \rho_{out}]$ where these are the inner and outer radii of the annulus of minimal width which surrounds $\partial K$. In this case the integrand is not always positive but we carefully analyze the integral and use an ``averaging trick'' to balance regions where the integrand is negative with regions where the integrand is positive to show that $B(r)\ge 0$ The final isoperimetric inequalities obtained are not new, the same results have been obtained by cleverly cutting $\partial K$ and doubling it to create two centrally symmetric curves and analyzing those, but I believe that the averaging trick is new in this context. The paper also reviews the concept of ``positive centers'' and shows how the isoperimetric inequalities can be used to the show that the final shape of the curve shortening flow in Euclidean and Minkowski geometries are respectively the disk and the isoperimetrix.

Metric Geometry
Affine Isoperimetric Inequalities for Higher-Order Projection and Centroid Bodies

Julián Haddad,Dylan Langharst,Eli Putterman,Michael Roysdon,Deping Ye

2023-05-08

Abstract:In 1970, Schneider generalized the difference body of a convex body to higher-order, and also established the higher-order analogue of the Rogers-Shephard inequality. In this paper, we extend this idea to the projection body, centroid body, and radial mean bodies, as well as prove the associated inequalities (analogues of Zhang's projection inequality, Petty's projection inequality, the Busemann-Petty centroid inequality and Busemann's random simplex inequality). We also establish a new proof of Schneider's higher-order Rogers-Shephard inequality. As an application, a higher-order affine Sobolev inequality for functions of bounded variation is provided.

Functional Analysis,Classical Analysis and ODEs,Metric Geometry
The Extremals of Minkowski's Quadratic Inequality

Yair Shenfeld,Ramon van Handel

DOI: https://doi.org/10.1215/00127094-2021-0033

2021-04-09

Abstract:In a seminal paper "Volumen und Oberfläche" (1903), Minkowski introduced the basic notion of mixed volumes and the corresponding inequalities that lie at the heart of convex geometry. The fundamental importance of characterizing the extremals of these inequalities was already emphasized by Minkowski himself, but has to date only been resolved in special cases. In this paper, we completely settle the extremals of Minkowski's quadratic inequality, confirming a conjecture of R. Schneider. Our proof is based on the representation of mixed volumes of arbitrary convex bodies as Dirichlet forms associated to certain highly degenerate elliptic operators. A key ingredient of the proof is a quantitative rigidity property associated to these operators.

Metric Geometry,Differential Geometry,Functional Analysis,Spectral Theory
A Blaschke-Santaló inequality for unconditional log-concave measures

Emanuel Milman,Amir Yehudayoff

2024-10-28

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.

Functional Analysis

The isotropic position and the reverse Santaló inequality

Anisotropic symmetrization, convex bodies, and isoperimetric inequalities

A Santaló inequality for the $L^p$-polar body

Symmetric Rearrangement and Geometric Inequalities on Riemannian Manifolds

Higher-Order Reverse Isoperimetric Inequalities for Log-concave Functions

Affine isoperimetric inequalities in the functional Orlicz-Brunn-Minkowski theory

Blaschke–Santaló and Petty projection inequalities in Gaussian space

Blaschke-Santaló type inequalities and quermassintegral inequalities in space forms

Short note on some geometric inequalities derived from matrix inequalities

Reverse isoperimetric problems under curvature constraints

Bézout Type Inequality in Convex Geometry

The isoperimetric inequality

Towards Strong Reverse Minkowski-type Inequalities for Lattices

Isoperimetric inequalities in high-dimensional convex sets

On weak inverse mean curvature flow and Minkowski-type inequalities in hyperbolic space

A geometric inequality on hypersurface in hyperbolic space

Rigidities of Isoperimetric inequality under nonnegative Ricci curvature

A new trick for for Santalo's integral geometric proof of the strong Bonnesen inequality

Affine Isoperimetric Inequalities for Higher-Order Projection and Centroid Bodies

The Extremals of Minkowski's Quadratic Inequality

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