New Orlicz Brunn-Minkowski inequalities are established for rigid motion compatible Minkowski valuations of arbitrary degree. These extend classical log-concavity properties of intrinsic volumes and generalize seminal results of Lutwak and others. Two different approaches which refine previously employed techniques are explored. It is shown that both lead to the same class of Minkowski valuations for which these inequalities hold. An appendix by Semyon Alesker contains the proof of a new classification of generalized translation invariant valuations.
A description of continuous rigid motion compatible Minkowski valuations is established. As an application, we present a Brunn-Minkowski type inequality for intrinsic volumes of these valuations.
A Steiner type formula for continuous translation invariant Minkowski valuations is established. In combination with a recent result on the symmetry of rigid motion invariant homogeneous bivaluations, this new Steiner type formula is used to obtain a family of Brunn-Minkowski type inequalities for rigid motion intertwining Minkowski valuations.
A complete classification of all continuous GL(n) contravariant Minkowski valuations is established. As an application we present a family of sharp isoperimetric inequalities for such valuations which generalize the classical Petty projection inequality.
Elaborating on the similarity between the entropy power inequality and the Brunn-Minkowski inequality, Costa and Cover conjectured in {\it On the similarity of the entropy power inequality and the Brunn-Minkowski inequality} (IEEE Trans. Inform. Theory 30 (1984), no. 6, 837-839) the $\frac{1}{n}$-concavity of the outer parallel volume of measurable sets as an analogue of the concavity of entropy power. We investigate this conjecture and study its relationship with geometric inequalities.
It is shown that for any sufficiently regular even Minkowski valuation $Φ$ which is homogeneous and intertwines rigid motions, there exists a neighborhood of the unit ball, where balls are the only solutions to the fixed-point problem $Φ^2 K = αK$. This significantly generalizes results by Ivaki for projection bodies and suggests, via the Lutwak--Schneider class reduction technique, a new approach to Petty's conjectured projection inequality.
The projection body operator Π, which associates with every convex body in Euclidean space Rn its projection body, is a continuous valuation, it is invariant under translations and equivariant under rotations. It is also well known that Π maps the set of polytopes in Rn into itself. We show that Π is the only non-trivial operator with these properties.
A new integral representation of smooth translation invariant and rotation equivariant even Minkowski valuations is established. Explicit formulas relating previously obtained descriptions of such valuations with the new more accessible one are also derived. Moreover, the action of Alesker's Hard Lefschetz operators on these Minkowski valuations is explored in detail.
A classification of SL$(n)$ contravariant Minkowski valuations on convex functions and a characterization of the projection body operator are established. The associated LYZ measure is characterized. In addition, a new SL$(n)$ covariant Minkowski valuation on convex functions is defined and characterized.
A convolution representation of continuous translation invariant and SO(n) equivariant Minkowski valuations is established. This is based on a new classification of translation invariant generalized spherical valuations. As applications, Crofton and kinematic formulas for Minkowski valuations are obtained.
It is shown that for any sufficiently regular even Minkowski valuation $Φ$ which is homogeneous and intertwines rigid motions, and for any convex body $K$ in a smooth neighborhood of the unit ball, there exists a sequence of positive numbers $(γ_m)_{m=1}^\infty$ such that $(γ_mΦ^m K)_{m=1}^\infty$ converges to the unit ball with respect to the Hausdorff metric.
For a broad class of integral functionals defined on the space of $n$-dimensional convex bodies, we establish necessary and sufficient conditions for monotonicity, and necessary conditions for the validity of a Brunn-Minkowski type inequality. In particular, we prove that a Brunn-Minkowski type inequality implies monotonicity, and that a general Brunn-Minkowski type inequality is equivalent to the functional being a mixed volume.
A classification of all continuous GL(n) equivariant Minkowski valuations on convex bodies in $\mathbb{R}^n$ is established. Together with recent results of F.E. Schuster and the author, this article therefore completes the description of all continuous GL(n) intertwining Minkowski valuations.
In this paper, we study the conjecture of Gardner and Zvavitch from \cite{GZ}, which suggests that the standard Gaussian measure $γ$ enjoys $\frac{1}{n}$-concavity with respect to the Minkowski addition of \textbf{symmetric} convex sets. We prove this fact up to a factor of 2: that is, we show that for symmetric convex $K$ and $L,$ $$ γ(λK+(1-λ)L)^{\frac{1}{2n}}\geq λγ(K)^{\frac{1}{2n}}+(1-λ)γ(L)^{\frac{1}{2n}}. $$ Further, we show that under suitable dimension-free uniform bounds on the Hessian of the potential, the log-concavity of even measures can be strengthened to $p$-concavity, with $p>…
All SL(n)-contravariant $L_p$-Minkowski valuations on polytopes are completely classified. The prototypes of such valuations turn out to be the asymmetric $L_p$-projection body operators.
For $1 \leq p < \infty$, Ludwig, Haberl and Parapatits classified $L_p$ Minkowski valuations intertwining the special linear group with additional conditions such as homogeneity and continuity. In this paper,a complete classification of $L_p$ Minkowski valuations intertwining the special linear group on polytopes without any additional conditions is established for $p \geq 1$ including $p = \infty$. For $n=3$ and $p=1$, there exist valuations not mentioned before.
All continuous SL(n)-covariant $L_p$-Minkowski valuations defined on convex bodies are completely classified. The $L_p$-moment body operators turn out to be the nontrivial prototypes of such maps.
A complete classification is established of Minkowski valuations on lattice polytopes that intertwine the special linear group over the integers and are translation invariant. In the contravariant case, the only such valuations are multiples of projection bodies. In the equivariant case, the only such valuations are generalized difference bodies combined with multiples of the newly defined discrete Steiner point.
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…
A classification of SL$(n)$ contravariant, continuous function valued valuations on convex bodies is established. Such valuations are natural extensions of SL$(n)$ contravariant $L_p$ Minkowski valuations, the classification of which characterized $L_p$ projection bodies, which are fundamental in the $L_p$ Brunn-Minkowski theory, for $p \geq 1$. Hence our result will help to better understand extensions of the $L_p$ Brunn-Minkowski theory. In fact, our results characterize general projection functions which extend $L_p$ projection functions ($p$-th powers of the support functions of $L_p$ proj…
Several open problems concerning Minkowski endomorphisms and Minkowski valuations are solved. More precisely, it is proved that all Minkowski endomorphisms are uniformly continuous but that there exist Minkowski endomorphisms that are not weakly-monotone. This answers questions posed repeatedly by various authors. Furthermore, a recent representation result for Minkowski valuations by Schuster and Wannerer is improved under additional homogeneity assumptions. Also a question related to the structure of Minkowski endomorphisms by the same authors is answered. Finally, it is shown that there exi…
We provide a description of the space of continuous and translation invariant Minkowski valuations $Φ:\mathcal{K}^n\to\mathcal{K}^n$ for which there is an upper and a lower bound for the volume of $Φ(K)$ in terms of the volume of the convex body $K$ itself. Although no invariance with respect to a group acting on the space of convex bodies is imposed, we prove that only two types of operators appear: a family of operators having only cylinders over $(n-1)$-dimensional convex bodies as images, and a second family consisting essentially of 1-homogeneous operators. Using this description, we give…
The local Minkowski tensors are valuations on the space of convex bodies in Euclidean space with values in a space of tensor measures. They generalize at the same time the intrinsic volumes, the curvature measures and the isometry covariant Minkowski tensors that were introduced by McMullen and characterized by Alesker. In analogy to the characterization theorems of Hadwiger and Alesker, we give here a complete classification of all locally defined tensor measures on convex bodies that share with the local Minkowski tensors the basic geometric properties of isometry covariance and weak continu…
A classification of $\operatorname{SL}(n)$ and translation covariant Minkowski valuations on log-concave functions is established. The moment vector and the recently introduced level set body of log-concave functions are characterized. Furthermore, analogs of the Euler characteristic and volume are characterized as $\operatorname{SL}(n)$ and translation invariant valuations on log-concave functions.
We consider a different $L^p$-Minkowski combination of compact sets in $\mathbb{R}^n$ than the one introduced by Firey and we prove an $L^p$-Brunn-Minkowski inequality, $p \in [0,1]$, for a general class of measures called convex measures that includes log-concave measures, under unconditional assumptions. As a consequence, we derive concavity properties of the function $t \mapsto μ(t^{\frac{1}{p}} A)$, $p \in (0,1]$, for unconditional convex measures $μ$ and unconditional convex body $A$ in $\mathbb{R}^n$. We also prove that the (B)-conjecture for all uniform measures is equivalent to the (B)…
We consider valuations defined on polytopes containing the origin which have measures on the sphere as values. We show that the classical surface area measure is essentially the only such valuation which is SL(n) contravariant of degree one. Moreover, for all real $p$, an $L_p$ version of the above result is established for GL(n) contravariant valuations of degree $p$. This provides a characterization of the $L_p$ surface area measures from the $L_p$ Brunn-Minkowski theory.
The theory of coconvex bodies was formalized by A.~Khovanski{\uı} and V.~Timorin in \cite{KT}. It has fascinating relations with the classical theory of convex bodies, as well as applications to Lorentzian geometry. In a recent preprint \cite{schnei2}, R.~Schneider proved a result that implies a reversed Brunn--Minkowski inequality for coconvex bodies, with description of equality case. In this note we show that this latter result is an immediate consequence of a more general result, namely that the volume of coconvex bodies is strictly convex. This result itself follows from a classical eleme…
We consider a functional $\mathcal F$ on the space of convex bodies in $\R^n$ defined as follows: ${\mathcal F}(K)$ is the integral over the unit sphere of a fixed continuous functions $f$ with respect to the area measure of the convex body $K$. We prove that if $\mathcal F$ satisfies an inequality of Brunn--Minkowski type, then $f$ is the support function of a convex body, i.e., $\mathcal F$ is a mixed volume. As a consequence, we obtain a characterization of translation invariant, continuous valuations which are homogeneous of degree $n-1$ and satisfy a Brunn--Minkowski type inequality.
The continuity of the inverse Klain map is investigated and the class of centrally symmetric convex bodies at which every valuation depends continuously on its Klain function is characterized. Among several applications, it is shown that McMullen's decomposition is not possible in the class of translation-invariant, continuous, positive valuations. This implies that there exists no McMullen decomposition for translation-invariant, continuous Minkowski valuations, which solves a problem first posed by Schneider and Schuster.
Minkowski tensors for point clouds and voxelized data: robust, asymptotically unbiased estimators
Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院）；German Aerospace Center (DLR)（德国航空航天中心）；Ludwig-Maximilians-Universität München（慕尼黑大学）；Friedrich Alexander University Erlangen-Nuremberg（埃尔朗根-纽伦堡弗里德里希·亚历山大大学）
