Abstract:We prove a new family of inequalities, which compare the integral of a geometric convolution of non-negative functions with the integrals of the original functions. For classical inf-convolution, this type of inequality is called the Prékopa-Leindler inequality, which, restricted to indicators of convex bodies, gives the classical Brunn-Minkowski inequality. The convolution we consider is a different one, which arises from the study of the polarity transform for functions. While inf-convolution arises as the pull back of usual addition of convex functions under the Legendre transform, our geometric inf-convolution arises as the pull back of the second order reversing transform on geometric convex functions (called either polarity transform or $A$-transform). These are, up to linear terms, the only order reversing isomorphisms on the class of geometric convex functions. We prove that the integral of this new geometric convolution of two functions is bounded from below by the harmonic average of the individual integrals. Our inequality implies the Brunn-Minkowski inequality, as well as some other, new, inequalities for volumes of bodies. Our inequalities are intimately connected with Busemann's convexity theorem, a new variant of which we prove for 1-convex hulls and log-concave densities.

The Beurling-Malliavin density, the Polya density and their connection

On the connection between the Beurling-Malliavin density and the asymptotic density

Density of quantized approximations

A Chebotarev Density Theorem over Local Fields

A density theorem for Borel-Type Congruence subgroups and arithmetic applications

Positivity of the density for rough differential equations

On a question of Kaplansky concerning his density theorem

Some remarks on points of Lebesgue density and density-degree functions

A Szemerédi type theorem for sets of positive density in approximate lattices

Densities for sets of natural numbers vanishing on a given family

Variétés abéliennes et théorème de Minkowski-Hlawka

Combinational Proof for a Theorem Concerning the Upper Banach Density

Simple Graph Density Inequalities with no Sum of Squares Proofs

A Minkowski theorem for Meyer sets

Polynomial effective density in quotient of $\mathrm{SL}_2(\mathbb{Q}_p) \times \mathrm{SL}_2(\mathbb{Q}_p)$

Beurling densities of regular spectra of self-similar spectral measure with consecutive digit sets

Densities on Dedekind domains, completions and Haar measure

Quantitative twisted patterns in positive density subsets

Density of subalgebras of Lipschitz functions in metric Sobolev spaces and applications to Wasserstein Sobolev spaces

On lower density operators

Functional Brunn-Minkowski Inequalities Induced by Polarity