Mean width of regular polytopes and expected maxima of correlated Gaussian variables
An old conjecture states that among all simplices inscribed in the unit sphere the regular one has the maximal mean width. An equivalent formulation is that for any centered Gaussian vector satisfying one has
where are independent standard Gaussian variables. Using this probabilistic interpretation we derive an asymptotic version of the conjecture. We also show that the mean width of the regular simplex with vertices is remarkably close to the mean width of the regular crosspolytope with the same number of vertices. Interpreted probabilistically, our result states that
where is an absolute constant. We also compute the higher moments of the projection length of the regular cube, simplex and crosspolytope onto a line with random direction, thus proving several formulas conjectured by S. Finch. Finally, we prove distributional limit theorems for the length of random projection as the dimension goes to . In the case of the -dimensional unit cube , we prove that
whereas for the simplex and the crosspolytope the limiting distributions are related to the Gumbel double exponential law.
Key words and phrases:Mean width, intrinsic volumes, regular simplex, regular crosspolytope, maxima of Gaussian processes, random projections, extreme value theory
2010 Mathematics Subject Classification:Primary, 52A23; secondary, 52A39, 52A20, 60G15, 60G70, 46B06
1. Conjecture on the mean width
The mean width of a compact convex body is the expected length of a projection of this body onto a line with uniformly chosen, random direction. That is, the mean width equals , where
and is uniformly distributed on the unit sphere .
How should points be arranged on the -dimensional unit sphere so as to maximize the mean width of their convex hull? An old conjecture states (see [14, Section 9.10.2]) that the arrangement must be regular.
The mean width is just a multiple of the first intrinsic volume , namely
see [20, p. 210]. The first intrinsic volume has the advantage of not depending on the dimension of the surrounding space. Hence the conjecture can be formulated as follows:
where is a regular simplex with vertices inscribed in the sphere , and denotes the convex hull.
This question is surprisingly hard. Several authors [13, 3, 4, 23] assumed the existence of a proof, but the problem is still open. Besides very natural formulation in Convex Geometry this problem is very important in Information Theory, as it is closely related to the the long-standing simplex code conjecture .
1.2. Probabilistic statement
The conjecture can be reformulated in terms of Gaussian processes in the following way. Throughout the paper, denotes a standard Gaussian vector in . Consider a compact set . Using the fact that the norm and the direction of are independent, it is not difficult to derive Sudakov’s formula
(see  for details and for a generalization to the infinite-dimensional case, or Theorem 3.1 in the present paper for a more general result). This probabilistic interpretation of the first intrinsic volume allows to reformulate the conjecture as follows.
For every integer the following two statements are equivalent:
and the equality is attained iff are vertices of a regular simplex.
For every centered Gaussian vector satisfying
and the equality is attained iff for all .
First of all note that
because there is an -dimensional affine subspace (and hence, an -dimensional sphere of radius at most ) containing . Therefore, we can restate (i) as follows:
and the equality is attained iff are vertices of a regular simplex centered at the origin. Let be a standard orthonormal basis in . As a realization of such a simplex we can take the convex hull of the points
To see this, note that the -dimensional regular simplex
can be inscribed in an -dimensional sphere of radius centered at . It follows from (3) applied to that
To any points we associate a centered Gaussian vector such that via
If we agree to identify two Gaussian vectors if they have the same distribution and two tuples and if for all , then this correspondence becomes one-to-one because . It follows from (3) that
The Gaussian vector corresponding to the points satisfies
Taken together, the above considerations show the equivalence of (i) and (ii). ∎
1.3. Asymptotic version of the conjecture
We now show that (2) holds asymptotically.
For some absolute constant and all ,
The first inequality is trivial because we can take to be the vertices of . Replacing by and using (7) we can restate that second inequality as follows: For all ,
Fix . For define Gaussian random variables and note that has zero mean and unit variance. It is known (see, e.g., [7, p. 138]) that
We provide a proof for the sake of completeness. For one has
Letting yields (10).
2. Regular simplex and regular crosspolytope
In this section we compare the mean width of the regular simplex to the mean width of the regular -dimensional crosspolytope defined by
Note that both and (which can be considered as a degenerate simplex) have vertices and can be inscribed in . We will show that conjecture (2) is true in this special case, that is . Moreover, we will prove a lower bound which shows that the mean width of is remarkably close to the mean width of .
2.1. Mean width and extreme values
where we recall that . It is well-known in the theory of extreme values [15, Theorem 1.5.3 on p. 14] that
where is any sequence satisfying , for example
Note that (15) (together with (14)) expresses the fact that the minimum and the maximum of become asymptotically independent; see [15, Theorem 1.8.3 on p. 28]. Taking the expectation (which is justified by ) and noting that the expectation of the Gumbel distribution on the right-hand side of (14) and (15) is the Euler constant , we obtain the large asymptotics
2.2. Comparing and
If are independent standard Gaussian variables, then
The left hand-side inequality immediately follows from Slepian’s lemma [15, Corollary 4.2.3 on p. 84] because the random vector is uncorrelated, whereas the off-diagonal correlations of are non-positive. The proof of the second estimate will be given in Section 4. Theorem 2.1 together with (12) and (13) implies the following
For every ,
We now provide a bound which is asymptotically sharper. Its proof will be given in Section 5.
Let be independent standard Gaussian variables. Then, as , one has
3. Higher moments and limiting distribution of the random width
3.1. Sudakov’s formula for higher moments
Given a convex compact set we denote by the length of the projection of onto a uniformly chosen direction, that is
where has uniform distribution on the sphere . In this section we study the higher moments of the random variable .
Recall that denotes a random vector having standard normal distribution on . The isonormal Gaussian process is defined by
It is characterized by
For a compact set define the range of over to be
The next theorem generalizes Sudakov’s formula (3) to higher moments.
If the set is convex and compact, then
If, moreover, the set is symmetric with respect to the origin, then
Tsirelson  generalized Sudakov’s formula (3) to all intrinsic volumes. After the acceptance of this paper we have learned that Paouris and Pivovarov extended Tsirelson’s formula to higher moments (see [17, Prop. 4.1]) thereby proving a more general variant of Theorem 3.1.
The standard Gaussian vector in can be written as
where and are such that
is a random vector with uniform distribution on the unit sphere in ;
is a random variable having -distribution with degrees of freedom;
and are independent.
It follows that we have the distributional equality
Taking -th moments of both parts and noting that and are independent, we obtain that
The moments of the -distribution are known. Inserting the value of the moment, we obtain (21) (which holds without the symmetry assumption on ). If the set is symmetric with respect to the origin, then and we obtain (22). ∎
Note that the symmetry assumption on is not needed in the derivation of (24) because in the last equality we used only that has the same distribution as .
3.2. Applications to regular polytopes
Let be the -dimensional cube of unit volume. It is easy to see that . Therefore, by (21),
In particular, taking and noting that we obtain that the mean width is
or, equivalently, , which is well known. The second moment of the projection length is given by
where we have used that and . This formula has been conjectured by Finch [11, p. 9] who established it for by purely geometric arguments . Using (25) it is possible to compute more moments of , for example
where we have used that , , , .
For the regular -dimensional simplex , Theorem 3.1 yields
Note that in this formula, is projected onto a random direction in , even though is -dimensional.
It is more natural to state the corresponding formula for (which is a regular simplex with vertices inscribed in ) projected onto a random direction in . As a realization of we take the points
in the hyperplane (which can be identified with ). By (20), the isonormal process on satisfies
so that for its range on we have
Therefore, for the projection length of onto a uniformly chosen random direction in the hyperplane we obtain
For , this formula was conjectured by Finch [11, p. 4] who verified it for small values of .
3.3. Limit distribution for the random width
What is the asymptotic distribution of the projection length of a high-dimensional regular polytope onto a random line? The next two theorems answer this question. The proofs are postponed to Section 6.
The random width of the cube satisfies the following central limit theorem:
After the acceptance of this paper we became aware of the reference  where the central limit theorem was established for the volume of the projection of the cube onto a random linear subspace of any fixed dimension.
For the random width of the simplex and the crosspolytope we have
where are independent random variables with the Gumbel double exponential distribution , .
It is easy to check that the density of equals , , where
is the modified Bessel function of the second kind.
As already mentioned, the first estimate in Theorem 2.1 is a consequence of the Slepian lemma. Therefore, we concentrate on proving the inequality
For the inequality follows by direct calculations, thus we assume that .
with correlations defined by
and otherwise. We have
Hence it is sufficient to show that the function
is non-increasing on . Consider the function
It is immediate that
Therefore we only need to show that for any the function
is non-increasing on .
In what follows, stands for . Set and let us denote by the probability density function of . It is a well-known property of that
and otherwise. Thus we obtain
It is easy to check that