Tag Archives: Finsler geometry

Convex Bodies and Probability II

1. Introduction

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 \mu on V every linear functional \xi : V \rightarrow \mathbb{R} can be considered as a random variable and it makes sense to consider its distribution (i.e., the induced probability measure \xi_{\#}\mu on the real line) together with its moments

{\cal M}_p(\xi; \mu) := \int_{\mathbb{R}} t^p d(\xi_{\#}\mu)(t) = \int_V (\xi \cdot x)^p d\mu(x)  for (p \geq 0).

Other related random variables on V are \xi_+ := \max\{\xi, 0\} and |\xi|, which we shall also consider along with their moments {\cal M}_p (\xi_+ ; \mu) and {\cal M}_p (|\xi|; \mu) for p \geq 0 and, in fact, for any value of p for which we can make sense of the moments using the theory of Schwartz distributions. However, in this post we’ll just consider p \geq 0.

For the rest of this post, I’ll assume that all p-moments for these random variables exist whatever the value of p \geq 0.

3. Centroid bodies

Given a probability measure \mu on V its centroid is the unit vector c(\mu) \in V such that {\cal M}_1 (\xi; \mu) = \xi \cdot c(\mu) for every linear functional \xi. In other words

c(\mu) = \int_V x d\mu(x).

The centroid body

Given a probability measure \mu on V consider the function \xi \mapsto {\cal M}_1 (\xi_+ ; \mu). This function is homogeneous of degree one and, provided we make some very basic assumptions on the measure \mu, defines an asymmetric norm on V^*. The unit ball for this norm

\Gamma^*_1 (\mu) := \{\xi : {\cal M}_1 (\xi_+ ; \mu) \leq 1 \}

is the polar centroid body of the measure \mu. The dual body of \Gamma^*_1 (\mu), to be denoted as \Gamma_1 (\mu), is the centroid body of \mu.

Using a minimal amount of distribution theory (i.e., that the derivative of the function t \mapsto \max\{t,0\} is the Heaviside function), we can give an alternative description of the centroid body:

Notice that the differential of

\xi \mapsto {\cal M}_1 (\xi_+ ; \mu) = \int_V \max\{\xi \cdot x, 0\} d\mu(x)

is the vector-valued map

\xi \mapsto \int_V x H(\xi \cdot x) d\mu(x) =  \int_{\xi \cdot x \geq 0} x d\mu(x).

It follows that every point in the boundary of \Gamma_1 (\mu) is the integral of the vector-valued measure x \mu(x) over a half-space that contains the origin in its boundary.

The p-centroid body and its polar.

For every p > 0 we define the polar p-centroid body of the measure \mu as the set

\Gamma^*_p (\mu) := \{\xi \in V^* : {\cal M}_p (\xi_+ ; \mu) \leq 1\}

Under very general assumptions \Gamma^*_p (\mu) is a star body in V^* for every p > 0 and a convex body for every p \geq 1.

The p-centroid body of the measure \mu is the dual body of \Gamma^*_p (\mu) and will be denoted by \Gamma_p (\mu).

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.


Leave a comment

Filed under Convex geometry

When the sphere is not round I.

This is the first of a series of posts concerning the geometry of unit spheres in normed spaces with the aim of attracting the attention of fellow geometers to a number of delightful open problems.  I will start with a couple of problems posed by Juan Jorge Schäffer in his book ”Geometry of Spheres in Normed Spaces”, Lecture Notes in Pure and Appl. Math., vol. 20, Dekker, NY, 1976.

Let us define the girth of a normed space (X,\|\cdot\|) as the infimum of the lengths of all rectifiable, centrally-symmetric, closed curves on the unit sphere. This quantity can also be described in (at least) two other ways : (1) as twice the infimum of  the (intrinsic) distance between a pair of antipodal points on the unit sphere; (2) as twice the infimum of the lengths of non-contractible rectifiable curves on the projectivized space P(X) with the length metric induced from the unit sphere. This second description links the girth to the study of systoles in projective spaces endowed with Finsler metrics.

In his book, Schäffer made the following two conjectures about the girth of normed spaces—he does not assume the spaces are Banach:

Conjecture 1. The girth of a normed space is equal to the girth of its dual.

Conjecture 2. The girth of a normed space of dimension greater than two is at most 2\pi with equality if and only if the space is Euclidean.

Some years ago I was lucky enough to settle the first conjecture in the affirmative by using some  elementary considerations in symplectic geometry (the paper was published in the American Journal of Mathematics, 2006, vol. 128, no2, pp. 361-371, but you can also find it in the ArXiv). Therefore, it is really the second conjecture that I would like to talk about.

To understand why the conjecture is plausible we must recall a little gem of the theory of normed spaces: suppose you are a being living in a normed space of dimension two and you’ve heard somewhere that one of the most important constants in the universe is half the perimeter of the unit disc, so you go and measure it. What do you get? A Polish mathematician by the name of Golab did just that and he found that the value of “\pi” on a normed plane is between 3 and 4. Moreover, you only get three if your unit disc is linearly equivalent to a regular hexagon and you only get four if  your unit disc is a parallelogram. Notice furthermore that the girth of a normed plane is exactly the perimeter of its unit disc, so–in that case—having girth greater than 2\pi means ”squarish” (OK, this is not rigourous, but perhaps making it so is not worthwhile at this point).  Now take the unit ball of a normed space and consider its two-dimensional central sections (i.e., its intersections with two-dimensional subspaces). The perimeters of the unit discs in these sections are greater than or equal to the girth of the space. Therefore if the girth is greater than 2\pi, all the sections are “squarish”.

A vaguely stated principle in convex geometry is that of all the central sections of a symmetric convex body some are rounder (i.e. more elliptical) than others. In my view we (or at least I) are far  from understanding this principle, but it does find its way into some results such as

Dvoretzki’s theorem: Given a positive number \epsilon and a positive integer k, there exists a positive integer N(\epsilon,k) such that any normed space of dimension greater than N(\epsilon,k) has a k-dimensional subspace that is \epsilon-close—in the Banach-Mazur distance—to a Euclidean space.

In particular, the girth of an infinite-dimensional normed space is at most 2\pi. Schäffer remarks in his book that it is enough to prove the conjecture for three-dimensional normed spaces.

What puzzles me in approaching Schäffer’s conjecture is that I’m not sure whether the key to its solution is geometric or topological. When the sun is out and I feel optimistic, I start believing that the following question has an affirmative answer.

Question. Let \pi : E \rightarrow S^2 be a non-trivial two-dimensional vector bundle over the sphere. Assume that on every fiber E_x we have a norm \|\cdot\|_x varying continuously with the base point. Is it true that at some point z \in S^2 the perimeter of the unit disc in E_z is less than or equal to 2\pi ?


Filed under Geometry of normed spaces