On the quantitative isoperimetric inequality in the plane with the barycentric distance

In this paper we study the following quantitative isoperimetric inequality in the plane: $\lambda_0^2(\Omega) \leq C \delta(\Omega)$ where $\delta$ is the isoperimetric deficit and $\lambda_0$ is the barycentric asymmetry. Our aim is to generalize some results obtained by B. Fuglede in \cite{Fu93Geometriae}. For that purpose, we consider the shape optimization problem: minimize the ratio $\delta(\Omega)/\lambda_0^2(\Omega)$ in the class of compact connected sets and in the class of convex sets

Volume of the polar of random sets and shadow systems

We obtain optimal inequalities for the volume of the polar of random sets, generated for instance by the convex hull of independent random vectors in Euclidean space. Extremizers are given by random vectors uniformly distributed in Euclidean balls. This provides a random extension of the Blaschke-Santalo inequality which, in turn, can be derived by the law of large numbers. The method involves generalized shadow systems, their connection to Busemann type inequalities, and how they interact with functional rearrangement inequalities

A characterization of Blaschke addition

A characterization of Blaschke addition as a map between origin-symmetric convex bodies is established. This results from a new characterization of Minkowski addition as a map between origin-symmetric zonoids, combined with the use of L\'{e}vy-Prokhorov metrics. A full set of examples is provided that show the results are in a sense the best possible

Operations between sets in geometry

An investigation is launched into the fundamental characteristics of operations on and between sets, with a focus on compact convex sets and star sets (compact sets star-shaped with respect to the origin) in $n$-dimensional Euclidean space $\R^n$. For example, it is proved that if $n\ge 2$, with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, GL(n) covariant, and associative if and only if it is $L_p$ addition for some $1\le p\le\infty$. It is also demonstrated that if $n\ge 2$, an operation * between compact convex sets is continuous in the Hausdorff metric, GL(n) covariant, and has the identity property (i.e., $K*\{o\}=K=\{o\}*K$ for all compact convex sets $K$, where $o$ denotes the origin) if and only if it is Minkowski addition. Some analogous results for operations between star sets are obtained. An operation called $M$-addition is generalized and systematically studied for the first time. Geometric-analytic formulas that characterize continuous and GL(n)-covariant operations between compact convex sets in terms of $M$-addition are established. The term "polynomial volume" is introduced for the property of operations * between compact convex or star sets that the volume of $rK*sL$, $r,s\ge 0$, is a polynomial in the variables $r$ and $s$. It is proved that if $n\ge 2$, with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, GL(n) covariant, associative, and has polynomial volume if and only if it is Minkowski addition

Fuchsian convex bodies: basics of Brunn--Minkowski theory

The hyperbolic space \H^d can be defined as a pseudo-sphere in the $(d+1)$ Minkowski space-time. In this paper, a Fuchsian group $\Gamma$ is a group of linear isometries of the Minkowski space such that \H^d/\Gamma is a compact manifold. We introduce Fuchsian convex bodies, which are closed convex sets in Minkowski space, globally invariant for the action of a Fuchsian group. A volume can be associated to each Fuchsian convex body, and, if the group is fixed, Minkowski addition behaves well. Then Fuchsian convex bodies can be studied in the same manner as convex bodies of Euclidean space in the classical Brunn--Minkowski theory. For example, support functions can be defined, as functions on a compact hyperbolic manifold instead of the sphere. The main result is the convexity of the associated volume (it is log concave in the classical setting). This implies analogs of Alexandrov--Fenchel and Brunn--Minkowski inequalities. Here the inequalities are reversed