In the previous post I described a few probability spaces associated to star and convex bodies. Now I’ll describe three basic classes of random variables defined on these spaces and how they lead to some interesting constructions in convex geometry.
2. Linear functionals as random variables
Given a probability measure on every linear functional can be considered as a random variable and it makes sense to consider its distribution (i.e., the induced probability measure on the real line) together with its moments
Other related random variables on are and , which we shall also consider along with their moments and for and, in fact, for any value of for which we can make sense of the moments using the theory of Schwartz distributions. However, in this post we’ll just consider .
For the rest of this post, I’ll assume that all -moments for these random variables exist whatever the value of .
3. Centroid bodies
Given a probability measure on its centroid is the unit vector such that for every linear functional . In other words
The centroid body
Given a probability measure on consider the function . This function is homogeneous of degree one and, provided we make some very basic assumptions on the measure , defines an asymmetric norm on . The unit ball for this norm
is the polar centroid body of the measure . The dual body of , to be denoted as , is the centroid body of .
Using a minimal amount of distribution theory (i.e., that the derivative of the function is the Heaviside function), we can give an alternative description of the centroid body:
Notice that the differential of
is the vector-valued map
It follows that every point in the boundary of is the integral of the vector-valued measure over a half-space that contains the origin in its boundary.
The -centroid body and its polar.
For every we define the polar -centroid body of the measure as the set
Under very general assumptions is a star body in for every and a convex body for every .
The -centroid body of the measure is the dual body of and will be denoted by .
Remark. I’ll leave this post unfinished for a while, but here is the general idea of where things are going: (1) applying the constructions above to the different probability measures associated to convex bodies yields many of the interesting constructions in convex geometry; (2) it may be that these constructions are also interesting for rather general classes of measures (log-concave measures, for example); (3) there are deep and interesting inequalities related to these constructions; (4) there are other interesting constructions in probability and statistics (i.e. entropy, Fisher information, etc.) that have also been studied.