We show that a radial continuous valuation defined on the $n$-dimensional star bodies extends uniquely to a continuous valuation on the $n$-dimensional bounded star sets. Moreover, we provide an integral representation of every such valuation, in terms of the radial function, which is valid on the dense subset of the simple Borel star sets. We also show that every radial continuous valuation defined on the $n$-dimensional star bodies can be decomposed as a sum $V=V^+-V^-$, where both $V^+$ and $V^-$ are positive radial continuous valuations.
Classifications of $\rm{SL}(n)$ covariant function-valued valuations are established with some assumptions of continuity. New valuations, for example, weighted moment functions, are introduced and our classifications give unified characterizations of the Laplace transform on convex bodies, $L_p$ moment bodies, $L_p$ difference bodies, and polar $L_p$ moment bodies ($L_{-p}$ intersection bodies). Using the new classifications, we also establish some Euler-type relations.
Very recently J. Kotrbaty has proven general inequalities for translation invariant smooth valuations formally analogous to the Hodge- Riemann bilinear relations in the Kahler geometry. The goal of this note is to apply Kotrbaty's theorem to obtain a few apparently new inequalities for mixed volumes of convex bodies.
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…
The Alesker-Bernig-Schuster theorem asserts that each irreducible representation of the special orthogonal group appears with multiplicity at most one as a subrepresentation of the space of continuous translation-invariant valuations with fixed degree of homogeneity. Moreover, the theorem describes in terms of highest weights which irreducible representations appear with multiplicity one. In this paper, we present a refinement of this result, namely the explicit construction of a highest weight vector in each irreducible subrepresentation. We then describe how important natural operations on v…
In this paper, we endow the space of continuous translation invariant valuation on convex sets generated by mixed volumes coupled with a suitable Radon measure on tuples of convex bodies with two appropriate norms. This enables us to construct a continuous extension of the convolution operator on smooth valuations to non-smooth valuations, which are in the completion of the spaces of valuations with respect to these norms. The novelty of our approach lies in the fact that our proof does not rely on the general theory of wave fronts, but on geometric inequalities deduced from optimal transport …
In this paper we introduce and study a topological abelian group of convex bodies, analogous to the scissors congruence group and McMullen's polytope algebra, with the universal property that continuous valuations on convex bodies correspond to continuous homomorphisms on the group of convex bodies. To study this group, we first obtain a version of McMullen polynomiality for valuations that take values not in fields or vector spaces, but in abelian groups. Using this, we are able to equip the group of convex bodies with a grading that consists of real vector spaces in all positive degrees, mir…
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…
Valuations on convex functions and convex sets and Monge-Ampere operators
在凸体上赋值的概念是非常经典的。关于一类函数的赋值的概念是最近由M。路德维希和其他人。研究了在添加任意线性泛函下不变的凸函数上的连续赋值与凸体上平移不变连续赋值之间的一个显式关系。更准确地说，我们构造了一个从前一个空间到后一个空间的自然线性映射，并证明了它具有稠密像和无穷维核。证明利用了作者的不可约性定理和A. D. Alexandrov和Z.布洛克进一步，我们将展示如何使用复杂的，四元数，和八元数的Monge-Ampere算子，以类似的方式构建更多的例子连续赋值的凸函数。
A classical theorem of P. McMullen describes all valuations on polytopes that are invariant under translations and weakly continuous, i.e., continuous with respect to parallel displacements of the facets of a polytope. While it is typically not difficult to check that a valuation is weakly continuous, it is not clear how to decide whether it admits a continuous extension to convex bodies. In a special case of McMullen's construction a simple necessary and sufficient condition on the initial data of such an extension is obtained.
Central limit theorems for the log-volume of a class of random convex bodies in $\mathbb{R}^n$ are obtained in the high-dimensional regime, that is, as $n\to\infty$. In particular, the case of random simplices pinned at the origin and simplices where all vertices are generated at random is investigated. The coordinates of the generating vectors are assumed to be independent and identically distributed with subexponential tails. In addition, asymptotic normality is established also for random convex bodies (including random simplices pinned at the origin) when the spanning vectors are distribut…
