We prove new Alexandrov-Fenchel type inequalities and new affine isoperimetric inequalities for mixed $p$-affine surface areas. We introduce a new class of bodies, the illumination surface bodies, and establish some of their properties. We show, for instance, that they are not necessarily convex. We give geometric interpretations of $L_p$ affine surface areas, mixed $p$-affine surface areas and other functionals via these bodies. The surprising new element is that not necessarily convex bodies provide the tool for these interpretations.
Several general mixed affine surface areas are introduced. We prove some important properties, such as, affine invariance, for these general mixed affine surface areas. We also establish new Alexandrov-Fenchel type inequalities, Santaló-type inequalities, and affine isoperimetric inequalities for these general mixed affine surface areas.
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.
We prove new $L_p$ affine isoperimetric inequalities for all $ p \in [-\infty,1)$. We establish, for all $p\neq -n$, a duality formula which shows that $L_p$ affine surface area of a convex body $K$ equals $L_\frac{n^2}{p}$ affine surface area of the polar body $K^\circ$.
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…
In this article, we propose the notion of the general $p$-affine capacity and prove some basic properties for the general $p$-affine capacity, such as affine invariance and monotonicity. The newly proposed general $p$-affine capacity is compared with several classical geometric quantities, e.g., the volume, the $p$-variational capacity and the $p$-integral affine surface area. Consequently, several sharp geometric inequalities for the general $p$-affine capacity are obtained. These inequalities extend and strengthen many well-known (affine) isoperimetric and (affine) isocapacitary inequalities…
In this paper we define an addition operation on the class of quasi-concave functions. While the new operation is similar to the well-known sup-convolution, it has the property that it polarizes the Lebesgue integral. This allows us to define mixed integrals, which are the functional analogs of the classic mixed volumes. We extend various classic inequalities, such as the Brunn-Minkowski and the Alexandrov-Fenchel inequality, to the functional setting. For general quasi-concave functions, this is done by restating those results in the language of rearrangement inequalities. Restricting ourselv…
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…
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 $…
In this paper we further develop the theory of f-divergences for log-concave functions and their related inequalities. We establish Pinsker inequalities and new affine invariant entropy inequalities. We obtain new inequalities on functional affine surface area and lower and upper bounds for the Kullback-Leibler divergence in terms of functional affine surface area. The functional inequalities lead to new inequalities for L_p-affine surface areas for convex bodies.
In this paper, we introduce first the mixed affine quermassintegrals. The Aleksandrov-Fenchel inequality for the mixed affine quermassintegrals is established. As an application, the Minkowski, Brunn-Minkowski inequalities for the mixed affine quermassintegrals are also derived.
Lutwak's notion of affine quermassintegrals of a convex body quickly became of great importance in convex and affine geometry and more recently, also in asymptotic geometric analysis. In this note we introduce the notion of Orlicz mixed affine quermassintegrals of a convex body as a generalization of the affine quermassintegrals in the framework of the Orlicz-Brunn-Minkowski theory. We prove a Orlicz-Minkowski inequality for the Orlicz mixed and affine quermassintegrals, and an Orlicz-Brunn-Minkowski inequality, which provides of a direct generalization of Lutwak's Brunn-Minkowski inequality f…
In this paper, we introduce the $L_p$ geominimal surface area for all $-n\neq p<1$, which extends the classical geominimal surface area ($p=1$) by Petty and the $L_p$ geominimal surface area by Lutwak ($p>1$). Our extension of the $L_p$ geominimal surface area is motivated by recent work on the extension of the $L_p$ affine surface area -- a fundamental object in (affine) convex geometry. We prove some properties for the $L_p$ geominimal surface area and its related inequalities, such as, the affine isoperimetric inequality and a Santaló style inequality. Cyclic inequalities are established to…
We prove sharp inequalities for the average number of affine diameters through the points of a convex body $K$ in ${\mathbb R}^n$. These inequalities hold if $K$ is either a polytope or of dimension two. An example shows that the proof given in the latter case does not extend to higher dimensions.
In this paper, we first introduce a new concept of {\it dual quermassintegral sum function} of two star bodies and establish Minkowski's type inequality for dual quermassintegral sum of mixed intersection bodies, which is a general form of the Minkowski inequality for mixed intersection bodies. Then, we give the Aleksandrov--Fenchel inequality and the Brunn--Minkowski inequality for mixed intersection bodies and some related results. Our results present, for intersection bodies, all dual inequalities for Lutwak's mixed prosection bodies inequalities.
We introduce a affine geometric quantity and call it Orlicz mixed chord integral, which generalize the chord integrals to Orlicz space. Minkoswki and Brunn-Minkowski inequalities for the Orlicz mixed chord integrals are establish. These new inequalities in special cases yield some isoperimetric inequalities for the usual chord integrals. The related concepts and inequalities of Lp-mixed chord integrals are also derived.
Mixed volumes, which are the polarization of volume with respect to the Minkowski addition, are fundamental objects in convexity. In this note we announce the construction of mixed integrals, which are functional analogs of mixed volumes. We build a natural addition operation + on the class of quasi-concave functions, such that every class of α-concave functions is closed under +. We then define the mixed integrals, which are the polarization of the integral with respect to +. We proceed to discuss the extension of various classic inequalities to the functional setting. For general quasi-conca…
The theory of dual mixed volumes is extended to star bodies in cotangent bundles and is used to prove several isosystolic inequalities for Hamiltonian systems and Finsler metrics.
This paper develops basic setting for the dual Orlicz-Brunn-Minkowski theory for star bodies. An Orlicz $φ$-radial addition of two or more star bodies is proposed and related dual Orlicz-Brunn-Minkowski inequality is established. Based on a linear Orlicz $φ$-radial addition of two star bodies, we derive a formula for the Orlicz $L_ϕ$-dual mixed volume. Moreover, a dual Orlicz-Minkowski inequality for the Orlicz $L_ϕ$-dual mixed volume, a dual Orlicz isoperimetric inequality for the Orlicz $L_ϕ$-dual surface area and a dual Orlicz-Urysohn inequality for the Orlicz $L_ϕ$-harmonic mean radius are…
Lutwak's volume inequalities for polar projection bodies of all orders are generalized to polarizations of Minkowski valuations generated by even, zonal measures on the Euclidean unit sphere. This is based on analogues of mixed projection bodies for such Minkowski valuations and a generalization of the notion of centroid bodies. A new integral representation is used to single out Lutwak's inequalities as the strongest among these families of inequalities, which in turn are related to a conjecture on affine quermassintegrals. In the dual setting, a generalization of volume inequalities for inte…
This paper considers affine analogues of the isoperimetric inequality in the sense of piecewise linear topology. Given a closed polygon P embedded in R^d having n edges, we give upper and lower bounds for the minimal number of triangles needed to forma triangulated embedded orientable surface in R^d having P as its geometric boundary. The most interesting case is dimension dimension 3, where we give an upper bound of 7 n^2 triangles, and a lower bound for some polygons P that require at least 1/2 n^2 triangles. In dimension 2 and dimensions 5 and above one needs only O(n) triangles. The case o…
In this paper, we introduce several mixed $L_p$ geominimal surface areas for multiple convex bodies for all $p\neq -n$. Our definitions are motivated from an equivalent formula for the mixed $p$-affine surface area. Some properties, such as the affine invariance, for these mixed $L_p$ geominimal surface areas are proved. Related inequalities, such as, Alexander-Fenchel type inequality, Santaló style inequality, affine isoperimetric inequalities, and cyclic inequalities are established. Moreover, we also study some properties and inequalities for the $i$-th mixed $L_p$ geominimal surface areas …
Two families of general affine surface areas are introduced. Basic properties and affine isoperimetric inequalities for these new affine surface areas as well as for $L_ϕ$ affine surface areas are established.
We study the class of (locally) anti-blocking bodies as well as some associated classes of convex bodies. For these bodies, we prove geometric inequalities regarding volumes and mixed volumes, including Godberson's conjecture, near-optimal bounds on Mahler volumes, Saint-Raymond-type inequalities on mixed volumes, and reverse Kleitman inequalities for mixed volumes. We apply our results to the combinatorics of posets and prove Sidorenko-type inequalities for linear extensions of pairs of 2-dimensional posets. The results rely on some elegant decompositions of differences of anti-blocking bodie…
A version of the Hodge-Riemann relations for valuations was recently conjectured and proved in several special cases by the first-named author. The Lefschetz operator considered there arises as either the product or the convolution with the mixed volume of several Euclidean balls. Here we prove that in (co-)degree one the Hodge-Riemann relations persist if the balls are replaced by several different (centrally symmetric) convex bodies with smooth boundary with positive Gauss curvature. While these mixed Hodge-Riemann relations for the convolution directly imply the Aleksandrov-Fenchel inequali…
Any collection of $n$ compact convex planar sets $K_1,\dots, K_n$ defines a vector of ${n\choose 2}$ mixed areas $V(K_i,K_j)$ for $1\leq i<j\leq n$. We show that for $n\geq 4$ these numbers satisfy certain Plücker-type inequalities. Moreover, we prove that for $n=4$ these inequalities completely describe the space of all mixed area vectors $(V(K_i,K_j) : 1\leq i<j\leq 4)$. For arbitrary $n\geq 4$ we show that this space has a semialgebraic closure of full dimension. As an application, we obtain an inequality description for the smallest positive homogeneous set containing the configuration spa…
In the course of classifying generic sparse polynomial systems which are solvable in radicals, Esterov recently showed that the volume of the Minkowski sum $P_1+\dots+P_d$ of $d$-dimensional lattice polytopes is bounded from above by a function of order $O(m^{2^d})$, where $m$ is the mixed volume of the tuple $(P_1,\dots,P_d)$. This is a consequence of the well-known Aleksandrov-Fenchel inequality. Esterov also posed the problem of determining a sharper bound. We show how additional relations between mixed volumes can be employed to improve the bound to $O(m^d)$, which is asymptotically sharp.…
In this paper, the Orlicz addition of measures is proposed and an interpretation of the $f$-divergence is provided based on a linear Orlicz addition of two measures. Fundamental inequalities, such as, a dual functional Orlicz-Brunn-Minkowski inequality, are established. We also investigate an optimization problem for the $f$-divergence and establish functional affine isoperimetric inequalities for the dual functional Orlicz affine and geominimal surface areas of measures.
