---
abstract: |
    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 $(\xi_1,\dots,\xi_n)$ satisfying ${\mathbb E}\xi_1^2= \dots ={\mathbb E}\xi_n^2=1$ one has $${\mathbb E}\,\max\{\xi_1,\dots,\xi_n\}\leq\sqrt{\frac{n}{n-1}}\, {\mathbb E}\,\max\{\eta_1,\dots,\eta_n\},$$ where $\eta_1,\eta_2,\dots,$ 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 $2n$ vertices is remarkably close to the mean width of the regular crosspolytope with the same number of vertices. Interpreted probabilistically, our result states that $$1\leq\frac{{\mathbb E}\,\max\{|\eta_1|,\dots,|\eta_n|\}}{{\mathbb E}\,\max\{\eta_1,\dots,\eta_{2n}\}}
      \leq\min\left\{\sqrt{\frac{2n}{2n-1}}, \, 1+\frac{C}{n\, \log n} \right\},$$ where $C>0$ is an absolute constant. We also compute the higher moments of the projection length $W$ 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 $\infty$. In the case of the $n$-dimensional unit cube $Q_n$, we prove that $$W_{Q_n} -  \sqrt{\frac{2n}{\pi}} {\overset{d}{\underset{n\to\infty}\longrightarrow}}{\mathcal{N}} \left(0, \frac{\pi-3}{\pi}\right),$$ whereas for the simplex and the crosspolytope the limiting distributions are related to the Gumbel double exponential law.
address:
- 'Zakhar Kabluchko, Institut für Mathematische Statistik, Universität Münster, Orléans–Ring 10, 48149 Münster, Germany'
- 'Alexander E. Litvak, Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, AB, T6G 2G1'
- |
    Dmitry Zaporozhets\
    St. Petersburg Department of Steklov Institute of Mathematics, Fontanka 27, 191011 St. Petersburg, Russia
author:
- Zakhar Kabluchko
- 'Alexander E. Litvak'
- Dmitry Zaporozhets
bibliography:
- 'simpl\_cross.bib'
title: Mean width of regular polytopes and expected maxima of correlated Gaussian variables
---

[^1]

Conjecture on the mean width
============================

Introduction
------------

The mean width of a compact convex body $K\subset {\mathbb{R}}^n$ is the expected length of a projection of this body onto a line with uniformly chosen, random direction. That is, the mean width equals ${\mathbb E}\, [W_K]$, where $$W_K = \sup_{t\in K} \langle U,t \rangle - \inf_{t\in K} \langle U,t \rangle,$$ and $U$ is uniformly distributed on the unit sphere ${\mathbb{S}}^{n-1}\subset {\mathbb{R}}^n$.

How should $n+1$ points be arranged on the $(n-1)$-dimensional unit sphere so as to maximize the mean width of their convex hull? An old conjecture states (see @GK94 [Section 9.10.2]) that the arrangement must be *regular*.

The mean width is just a multiple of the first intrinsic volume $V_1$, namely $$\label{eq:mean_width_V1}
V_1(K)= \sqrt \pi\, \frac{\Gamma(\frac{n+1}{2})}{\Gamma(\frac{n}{2})}{\mathbb E}\, [W_K];$$ see @Sch-book [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: $$\label{2011}
 \sup_{x_1,\dots,x_{n+1}\in{\mathbb{S}}^{n-1}}V_1({\mathop{\mathrm{conv}}\nolimits}(x_1,\dots,x_{n+1}))=V_1(T_n),$$ where $T_n$ is a regular simplex with $n+1$ vertices inscribed in the sphere ${\mathbb{S}}^{n-1}$, and ${\mathop{\mathrm{conv}}\nolimits}$ denotes the convex hull. This question is surprisingly hard. Several authors @eG52 [@aB63; @aB65; @cW68] 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 @code.

Probabilistic statement
-----------------------

The conjecture can be reformulated in terms of Gaussian processes in the following way. Throughout the paper, $\eta=(\eta_1,\dots,\eta_n)$ denotes a standard Gaussian vector in ${\mathbb{R}}^n$. Consider a compact set $K\subset{\mathbb{R}}^n$. Using the fact that the norm and the direction of $\eta$ are independent, it is not difficult to derive Sudakov's formula $$\label{1802}
 V_1({\mathop{\mathrm{conv}}\nolimits}(K))=\sqrt{2\pi}\, {\mathbb E}\,\sup_{x\in K}\langle \eta,x\rangle$$ (see @vS76 for details and for a generalization to the infinite-dimensional case, or Theorem \[theo:sudakov\_general\] 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 $n\geq2$ the following two statements are equivalent:

-   One has $$\label{2004}
    \sup_{x_1,\dots,x_{n}\in{\mathbb{S}}^{n-2}}V_1({\mathop{\mathrm{conv}}\nolimits}(x_1,\dots,x_{n}))=V_1(T_{n-1}),$$ and the equality is attained iff $x_1,\ldots,x_n$ are vertices of a regular simplex.

-   For every centered Gaussian vector $(\xi_1,\dots,\xi_n)$ satisfying $$\label{eq:unit_var}
    {\mathbb E}\xi_1^2=\dots ={\mathbb E}\xi_n^2=1,$$ one has $$\label{eq:conj_for_exp}
    {\mathbb E}\,\max\{\xi_1,\dots,\xi_n\}\leq\sqrt{\frac{n}{n-1}}\, {\mathbb E}\,\max\{\eta_1,\dots,\eta_n\},$$ and the equality is attained iff ${\mathbb E}\, [\xi_i\xi_j] = -1/(n-1)$ for all $i\neq j$.

First of all note that $$\label{1603}
\sup_{x_1,\dots,x_{n}\in{\mathbb{S}}^{n-2}}V_1({\mathop{\mathrm{conv}}\nolimits}(x_1,\dots,x_{n}))=\sup_{y_1,\dots,y_{n}\in{\mathbb{S}}^{n-1}}V_1({\mathop{\mathrm{conv}}\nolimits}(y_1,\dots,y_{n}))$$ because there is an $(n-1)$-dimensional affine subspace (and hence, an $(n-2)$-dimensional sphere of radius at most $1$) containing $y_1,\ldots,y_n$. Therefore, we can restate (i) as follows: $$\label{2004_restate}
\sup_{y_1,\dots,y_{n}\in{\mathbb{S}}^{n-1}}V_1({\mathop{\mathrm{conv}}\nolimits}(y_1,\dots,y_{n}))=V_1(T_{n-1}),$$ and the equality is attained iff $y_1,\ldots,y_n$ are vertices of a regular simplex centered at the origin. Let $\{e_1,\dots,e_n\}$ be a standard orthonormal basis in ${\mathbb{R}}^n$. As a realization of such a simplex we can take the convex hull of the points $$v_i := \sqrt\frac{n}{n-1}\left(e_i -\frac{e_1+\ldots+e_n}{n}\right), \quad i=1,\ldots,n.$$ To see this, note that the $(n-1)$-dimensional regular simplex $$S_{n-1}:={\mathop{\mathrm{conv}}\nolimits}(e_1,\dots,e_n)$$ can be inscribed in an $(n-2)$-dimensional sphere of radius $\sqrt{(n-1)/n}$ centered at $(e_1+\ldots+e_n)/n$. It follows from  applied to $K=S_{n-1}$ that $$\label{1833}
V_1(T_{n-1}) = \sqrt{\frac{n}{n-1}}V_1(S_{n-1}) = \sqrt{2\pi}\sqrt{\frac{n}{n-1}}{\mathbb E}\,\max\{\eta_1,\dots,\eta_n\}.$$

To any points $y_1,\dots,y_{n}\in{\mathbb{S}}^{n-1}$ we associate a centered Gaussian vector $(\xi_1,\dots,\xi_n)$ such that ${\mathbb E}\xi_1^2=\dots ={\mathbb E}\xi_n^2=1$ via $$\xi_1:=\langle \eta, y_1\rangle, \ldots, \xi_n:=\langle \eta, y_n\rangle.$$ If we agree to identify two Gaussian vectors if they have the same distribution and two tuples $(y_1,\ldots,y_n)$ and $(y_1',\ldots,y_n')$ if $\langle y_i, y_j\rangle = \langle y_i',y_j'\rangle$ for all $i,j\in \{1,\ldots,n\}$, then this correspondence becomes one-to-one because ${\mathop{\mathrm{Cov}}\nolimits}(\xi_i,\xi_j) = \langle y_i, y_j\rangle$. It follows from  that $$\sqrt{2\pi}\, {\mathbb E}\,\max\{\xi_1,\dots,\xi_n\}=V_1({\mathop{\mathrm{conv}}\nolimits}(y_1,\dots,y_n)).$$ The Gaussian vector corresponding to the points $v_1,\ldots,v_n$ satisfies $${\mathbb E}\, [\xi_i \xi_j] = \langle v_i, v_j\rangle =-1/(n-1), \quad i\neq j.$$ Taken together, the above considerations show the equivalence of (i) and (ii).

Asymptotic version of the conjecture
------------------------------------

We now show that  holds *asymptotically*.

For some absolute constant $C>0$ and all $n\in{\mathbb{N}}$, $$\begin{aligned}
V_1(T_n)
\leq
\sup_{x_1,\dots,x_{n+1}\in{\mathbb{S}}^{n-1}} V_1({\mathop{\mathrm{conv}}\nolimits}(x_1,\dots,x_{n+1}))
\leq
V_1(T_n)\left(1+C\frac{\log\log n}{\log n}\right).
  \end{aligned}$$

The first inequality is trivial because we can take $x_1,\ldots, x_{n+1}$ to be the vertices of $T_n$. Replacing $n$ by $n-1$ and using  we can restate that second inequality as follows: For all $n\geq 2$, $$\sup_{x_1,\dots,x_{n}\in{\mathbb{S}}^{n-1}} V_1({\mathop{\mathrm{conv}}\nolimits}(x_1,\dots,x_{n}))
\leq
V_1(T_{n-1})\left(1+C\frac{\log\log n}{\log n}\right)$$ Fix $x_1,\dots,x_n\in{\mathbb{S}}^{n-1}$. For $k=1,\dots,n$ define Gaussian random variables $\xi_k:=\langle x_k,\eta\rangle$ and note that $\xi_k$ has zero mean and unit variance. It is known (see, e.g., @Chatterjee_book [p. 138]) that $$\label{2104}
{\mathbb E}\,\max\{\xi_1,\dots,\xi_n\}\leq\sqrt{2\log n}.$$ We provide a proof for the sake of completeness. For $t>0$ one has $$\begin{aligned}
\exp\left( t\, {\mathbb E}\,\max\{\xi_1,\dots,\xi_n\} \right)    &
\leq {\mathbb E}\, \exp\left( t\max\{\xi_1,\dots,\xi_n\}\right)   \\
&={\mathbb E}\,\max\{{{\rm e}}^{t\xi_1},\dots,{{\rm e}}^{t\xi_n}\}\leq\sum_{k=1}^n {\mathbb E}\, {{\rm e}}^{t\xi_k}=n{{\rm e}}^{t^2/2}.\end{aligned}$$ Letting $t=\sqrt{2\log n}$ yields .

On the other hand, it is well-known in the theory of extreme values, see @leadbetter_etal_book [Theorem 1.5.3 on p. 14] and @pickands_moments, that $$\label{maximu}
{\mathbb E}\,\max\{\eta_1,\dots,\eta_n\}=\sqrt{2\log n}-O\left(\frac{\log\log n}{\sqrt{2\log n}}\right),\quad n\to\infty.$$ Using  and , we obtain $$V_1({\mathop{\mathrm{conv}}\nolimits}(x_1,\dots,x_{n}))
= \sqrt{2 \pi}\,  {\mathbb E}\, \max\{\xi_1,\ldots,\xi_n\}
\leq \sqrt{4\pi\log n}.$$ Combining this with  and  gives $$\begin{aligned}
V_1({\mathop{\mathrm{conv}}\nolimits}(x_1,\dots,x_{n}))
&\leq V_1(T_{n-1})\cdot\sqrt{\frac{n-1}{n}}\left(1 - O\left(\frac{\log\log n}{\log n}\right)\right)^{-1}\\
&=V_1(T_{n-1})\cdot\left(1+O\left(\frac{\log\log n}{\log n}\right)\right),\end{aligned}$$ as $n\to\infty$. This proves the claim.

Regular simplex and regular crosspolytope
=========================================

In this section we compare the mean width of the regular simplex $T_{2n-1}$ to the mean width of the regular $n$-dimensional crosspolytope defined by $$C_n={\mathop{\mathrm{conv}}\nolimits}(\pm e_1,\dots,\pm e_n).$$ Note that both $T_{2n-1}$ and $C_{n}$ (which can be considered as a degenerate simplex) have $2n$ vertices and can be inscribed in ${\mathbb{S}}^{2n-2}$. We will show that conjecture  is true in this special case, that is $V_1(C_{n}) \leq V_1(T_{2n-1})$. Moreover, we will prove a lower bound which shows that the mean width of $T_{2n-1}$ is remarkably close to the mean width of $C_n$.

Mean width and extreme values {#subsec:extremes}
-----------------------------

It follows from Sudakov's formula , see also , that $$\begin{aligned}
&V_1(T_{n-1})
=
\sqrt{2\pi}\sqrt{\frac{n}{n-1}}{\mathbb E}\,\max\{\eta_1,\dots,\eta_n\}
=\sqrt{\frac{n}{n-1}} V_1(S_{n-1}),
\label{1833_simplex}\\
&V_1(C_n)
= \sqrt {2\pi}\, {\mathbb E}\,\max\{\pm \eta_1,\dots,\pm \eta_{n}\}
=\sqrt {2\pi}\, {\mathbb E}\,\max\{|\eta_1|,\dots,|\eta_{n}|\},
\label{1833_cross}\end{aligned}$$ where we recall that $S_{n-1} = {\mathop{\mathrm{conv}}\nolimits}(e_1,\ldots,e_n)$. It is well-known in the theory of extreme values @leadbetter_etal_book [Theorem 1.5.3 on p. 14] that $$\begin{aligned}
&\lim_{n\to\infty} {\mathbb{P}}\left[\max\{ \eta_1,\ldots, \eta_n\}\leq  u_n + \frac{x}{\sqrt{2\log n}} \right] ={{\rm e}}^{-{{\rm e}}^{-x}},\label{eq:max_gumbel1}\\
&\lim_{n\to\infty} {\mathbb{P}}\left[\max\{ |\eta_1|,\ldots, |\eta_n|\}\leq  u_{2n} + \frac{x}{\sqrt{2\log n}} \right] ={{\rm e}}^{-{{\rm e}}^{-x}}, \label{eq:max_gumbel2}\end{aligned}$$ where $u_n$ is any sequence satisfying $\sqrt{2\pi} u_n {{\rm e}}^{u_n^2/2} \sim n$, for example[^2] $$\label{eq:def_u_n}
u_n = \sqrt{2\log n} - \frac{\frac 12 \log \log n +\log (2\sqrt{\pi})}{\sqrt{2\log n}}.$$ Note that  (together with ) expresses the fact that the minimum and the maximum of $\eta_1,\ldots,\eta_n$ become asymptotically independent; see @leadbetter_etal_book [Theorem 1.8.3 on p. 28]. Taking the expectation (which is justified by @pickands_moments) and noting that the expectation of the Gumbel distribution on the right-hand side of  and  is the Euler constant $\gamma$, we obtain the large $n$ asymptotics $$\begin{aligned}
V_1(T_{n-1}) &= \sqrt{2\pi}\left( u_n + \frac{\gamma+o(1)}{\sqrt{2\log n}}\right), \quad n\to\infty,\label{eq:asympt_simplex} \\
V_1(C_n) &= \sqrt{2\pi}\left( u_{2n} + \frac{\gamma+o(1)}{\sqrt{2\log n}}\right), \quad n\to\infty. \label{eq:asympt_cross}\end{aligned}$$ These formulas are known; see @affentranger_schneider, @finch_simplex [p. 5], @finch_cross [p. 8].

Comparing $V_1(T_{2n-1})$ and $V_1(C_n)$
----------------------------------------

We are going to show that distance between $V_1(T_{2n-1})$ and $V_1(C_n)$ is in fact much smaller than the bound $o(1/\sqrt{2\log n})$ implied by  and . First we state the corresponding probabilistic result.

\[1053\] If $\eta_1,\ldots, \eta_{2n}$ are independent standard Gaussian variables, then $${\mathbb E}\,\max\{\eta_1,\dots,\eta_{2n}\}\leq
{\mathbb E}\,\max\{|\eta_1|,\dots,|\eta_n|\}\leq
\sqrt{\frac{2n}{2n-1}}\, {\mathbb E}\,\max\{\eta_1,\dots,\eta_{2n}\}.$$

The left hand-side inequality immediately follows from Slepian's lemma @leadbetter_etal_book [Corollary 4.2.3 on p. 84] because the random vector $(\eta_1,\ldots,\eta_{2n})$ is uncorrelated, whereas the off-diagonal correlations of $(\eta_1,-\eta_1,\ldots, \eta_n,-\eta_n)$ are non-positive. The proof of the second estimate will be given in Section \[sec:proof1\]. Theorem \[1053\] together with  and  implies the following

For every $n\in{\mathbb{N}}$, $$\sqrt{\frac{2n-1}{2n}}V_1(T_{2n-1})\leq V_1(C_n)\leq V_1(T_{2n-1}).$$

We now provide a bound which is asymptotically sharper. Its proof will be given in Section \[sec:proof2\].

\[1053\_asympt\] Let $\eta_1,\eta_2,\dots,$ be independent standard Gaussian variables. Then, as $n\to\infty$, one has $${\mathbb E}\,\max\{|\eta_1|,\dots,|\eta_n|\} =
    \left( 1 + \frac{1+o(1)}{8n \log n}\right) \, {\mathbb E}\,\max\{\eta_1,\dots,\eta_{2n}\}.$$

Combining Theorem \[1053\_asympt\] with  and  yields the following

As $n\to\infty$, $$V_1(C_n) = V_1(T_{2n-1}) \left(1-\frac{1+o(1)}{4n}\right),
\quad
V_1(C_n) = V_1(S_{2n-1}) \left(1+\frac{1+o(1)}{8n\log n}\right).$$

It is possible to obtain further asymptotic terms in  and , (see, e.g., @leadbetter_etal_book [Eq. (2.4.8) on p. 39]) but it seems that none of these expansions can correctly capture the very small difference between the expectations in Theorems \[1053\] and \[1053\_asympt\].

Higher moments and limiting distribution of the random width
============================================================

Sudakov's formula for higher moments
------------------------------------

Given a convex compact set $K\subset {\mathbb{R}}^n$ we denote by $W_K$ the length of the projection of $K$ onto a uniformly chosen direction, that is $$\label{eq:W_def_repeat}
W_K = \sup_{t\in K} \langle U,t \rangle - \inf_{t\in K} \langle U,t \rangle,$$ where $U$ has uniform distribution on the sphere ${\mathbb{S}}^{n-1}$. In this section we study the higher moments of the random variable $W_K$.

Recall that $\eta=(\eta_1,\ldots,\eta_n)$ denotes a random vector having standard normal distribution on ${\mathbb{R}}^n$. The *isonormal Gaussian process* is defined by $$\Xi(t)=\langle \eta, t\rangle,\quad  t\in {\mathbb{R}}^n.$$ It is characterized by $$\label{eq:isonormal_cov}
{\mathbb E}\, [\Xi(t)] = 0, \quad {\mathbb E}\, [\Xi(t) \Xi(s)] = \langle t, s\rangle, \quad t,s\in{\mathbb{R}}^n.$$ For a compact set $K\subset {\mathbb{R}}^n$ define the range of $\Xi$ over $K$ to be $${\mathop{\mathrm{Range}}}_{t\in K} \Xi(t)
=
\sup_{t\in K} \Xi(t) - \inf_{t\in K} \Xi(t).$$ The next theorem generalizes Sudakov's formula  to higher moments.

\[theo:sudakov\_general\] If the set $K\subset {\mathbb{R}}^n$ is convex and compact, then $$\label{eq:E_W_k_repeat}
{\mathbb E}[W^k_K] =
2^{-\frac k2} \frac{\Gamma\left(\frac n2\right)}{\Gamma\left(\frac{n+k}{2}\right)}
{\mathbb E}\left[ \left( {\mathop{\mathrm{Range}}}_{t\in K} \Xi(t) \right)^k\right].
$$ If, moreover, the set $K$ is symmetric with respect to the origin, then $$\label{eq:E_W_k}
{\mathbb E}[W_K^k]
=
2^{\frac k2} \frac{\Gamma\left(\frac n2\right)}{\Gamma\left(\frac{n+k}{2}\right)} \,
{\mathbb E}\left[\left(\sup_{t\in K}\Xi(t)\right)^k\right].$$

Tsirelson @tsirelson2 generalized Sudakov's formula  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 @PP13 [Prop. 4.1]) thereby proving a more general variant of Theorem \[theo:sudakov\_general\].

The standard Gaussian vector $\eta$ in ${\mathbb{R}}^n$ can be written as $$\eta {\stackrel{d}{=}}RU,$$ where $U$ and $R^2$ are such that

1.  $U$ is a random vector with uniform distribution on the unit sphere in ${\mathbb{R}}^n$;

2.  $R^2$ is a random variable having $\chi^2$-distribution with $n$ degrees of freedom;

3.  $U$ and $R^2$ are independent.

It follows that we have the distributional equality $$\label{eq:uniform_vs_gaussian_width}
{\mathop{\mathrm{Range}}}_{t\in K} \Xi(t)
=
\sup_{t\in K} \langle \eta ,t \rangle - \inf_{t\in K} \langle \eta, t\rangle
{\stackrel{d}{=}}\sup_{t\in K} \langle RU ,t \rangle - \inf_{t\in K} \langle RU, t\rangle
=
RW_K.$$ Taking $k$-th moments of both parts and noting that $R$ and $W_K$ are independent, we obtain that $${\mathbb E}\left[\left({\mathop{\mathrm{Range}}}_{t\in K} \Xi(t)\right)^k\right] = {\mathbb E}[R^k]\, {\mathbb E}[W_K^k].$$ The moments ${\mathbb E}[R^k]$ of the $\chi^2$-distribution are known. Inserting the value of the moment, we obtain  (which holds without the symmetry assumption on $K$). If the set $K$ is symmetric with respect to the origin, then ${\mathop{\mathrm{Range}}}_{t\in K} \Xi(t) = 2\sup_{t\in K} \Xi(t)$ and we obtain .

In particular, taking $k=1$ in Theorem \[theo:sudakov\_general\] and noting that the first intrinsic volume is related to the mean width ${\mathbb E}\, [W_K]$ by , we recover from  Sudakov's @vS76 formula $$\label{eq:sudakov_repeat}
V_1(K) =  \sqrt{\frac{\pi}2}\, {\mathbb E}\left[{\mathop{\mathrm{Range}}}_{t\in K} \Xi(t)\right] =  \sqrt {2\pi}\, {\mathbb E}\left[\sup_{t\in K} \Xi(t)\right].$$ Note that the symmetry assumption on $K$ is not needed in the derivation of  because in the last equality we used only that $\sup_{t\in K}\Xi(t)$ has the same distribution as $-\inf_{t\in K}\Xi(t)$.

Applications to regular polytopes
---------------------------------

Theorem \[theo:sudakov\_general\] can be used to prove several conjectures on projections of regular polytopes which are due to Finch @finch_cross [@finch_simplex; @finch_width_distr].

Let $Q_n=[-\frac 12, +\frac 12]^n$ be the $n$-dimensional cube of unit volume. It is easy to see that ${\mathop{\mathrm{Range}}}_{t\in Q_n} \Xi(t) = \sum_{i=1}^n |\eta_i|$. Therefore, by , $$\label{eq:moment_W_cube}
{\mathbb E}[W_{Q_n}^k]  = 2^{-\frac k2} \frac{\Gamma\left(\frac n2\right)}{\Gamma\left(\frac{n+k}{2}\right)} {\mathbb E}\left[\left(\sum_{i=1}^n |\eta_i|\right)^k\right].$$ In particular, taking $k=1$ and noting that ${\mathbb E}|\eta_1|=\sqrt{\frac 2\pi}$ we obtain that the mean width is $${\mathbb E}[W_{Q_n}] = \frac{\Gamma \left(\frac n2\right)}{\sqrt 2\, \Gamma\left(\frac{n+1}{2}\right)}\, n \, {\mathbb E}|\eta_1| =   \frac{n\, \Gamma \left(\frac n2\right)}{\sqrt {\pi} \, \Gamma\left(\frac{n+1}{2}\right)},$$ or, equivalently, $V_1(Q_n) = n$, which is well known. The second moment of the projection length is given by $${\mathbb E}[W^2_{Q_n}]
=
\frac{1}{n} {\mathbb E}\left[\left(|\eta_1|+\ldots+|\eta_n|\right)^2\right] = {\mathbb E}|\eta_1^2|  + (n-1) {\mathbb E}|\eta_1\eta_2|
=
1  + \frac{2}{\pi}(n-1),$$ where we have used that ${\mathbb E}|\eta_1^2|=1$ and ${\mathbb E}|\eta_1\eta_2|=({\mathbb E}|\eta_1|)^2 = \frac{2}{\pi}$. This formula has been conjectured by Finch @finch_simplex [p. 9] who established it for $n=2,3$ by purely geometric arguments @finch_width_distr. Using  it is possible to compute more moments of $W_{Q_n}$, for example $$\begin{aligned}
{\mathbb E}[W_{Q_n}^3] &=  \frac{\Gamma\left(\frac n2\right)}{2\Gamma\left(\frac{n+3}{2}\right)} \pi^{-\frac 32} n \left(2n^2 + (3\pi-6)n + 4-\pi\right),\\
{\mathbb E}[W_{Q_n}^4] &= \frac{1}{(n+2)\pi^2} \left(4n^3 + (12\pi-24)n^2 + (44 - 20\pi + 3\pi^2) n +8\pi-24\right),\end{aligned}$$ where we have used that ${\mathbb E}|\eta_1| = \sqrt{\frac 2\pi}$, ${\mathbb E}|\eta_1^2|=1$, ${\mathbb E}|\eta_1^3| = 2\sqrt{\frac 2\pi}$, ${\mathbb E}|\eta_1^4| = 3$.

For the regular crosspolytope $C_n={\mathop{\mathrm{conv}}\nolimits}(\pm e_1,\ldots,\pm e_n)$ we have $\sup_{t\in C_n} \Xi(t) = \max\{|\eta_1|,\ldots,|\eta_n|\}$ and therefore Theorem \[theo:sudakov\_general\] yields $${\mathbb E}[W^k_{C_n}] = 2^{\frac k2} \frac{\Gamma\left(\frac n2\right)}{\Gamma\left(\frac{n+k}{2}\right)}
{\mathbb E}\left[ \left(\max_{1\leq i\leq n}  |\eta_i|\right)^k\right],
\quad k\in{\mathbb{N}}.$$ For $k=2$, this formula was conjectured by Finch in @finch_cross [p. 3]; see also @finch_simplex.

For the regular $(n-1)$-dimensional simplex $S_{n-1}={\mathop{\mathrm{conv}}\nolimits}(e_1,\ldots,e_n)\subset {\mathbb{R}}^n$, Theorem \[theo:sudakov\_general\] yields $${\mathbb E}[W^k_{S_{n-1}}] = 2^{-\frac k2} \frac{\Gamma\left(\frac n2\right)}{\Gamma\left(\frac{n+k}{2}\right)}
{\mathbb E}\left[\left(\max_{1\leq i\leq n} \eta_i -\min_{1\leq i\leq n} \eta_i\right)^k\right].$$ Note that in this formula, $S_{n-1}$ is projected onto a random direction in ${\mathbb{R}}^n$, even though $S_{n-1}$ is $(n-1)$-dimensional.

It is more natural to state the corresponding formula for $T_{n-1}$ (which is a regular simplex with $n$ vertices inscribed in ${\mathbb{S}}^{n-2}\subset {\mathbb{R}}^{n-1}$) projected onto a random direction in ${\mathbb{R}}^{n-1}$. As a realization of $T_{n-1}$ we take the points $$v_i := \sqrt\frac{n}{n-1}\left(e_i -\frac{e_1+\ldots+e_n}{n}\right), \quad i=1,\ldots,n,$$ in the hyperplane $L:= \{x_1+\ldots+x_n=0\}\subset {\mathbb{R}}^n$ (which can be identified with ${\mathbb{R}}^{n-1}$). By , the isonormal process $\Xi$ on $L$ satisfies $$(\Xi(v_i))_{i=1,\ldots,n} {\stackrel{d}{=}}\sqrt\frac {n}{n-1} \left(\eta_i -\frac{\eta_1+\ldots+\eta_n}{n}\right)_{i=1,\ldots,n},$$ so that for its range on $T_{n-1}$ we have $${\mathop{\mathrm{Range}}}_{t\in T_{n-1}} \Xi(t) {\stackrel{d}{=}}\sqrt\frac {n}{n-1} \left(\max_{1\leq i\leq n} \eta_i -\min_{1\leq i\leq n} \eta_i\right).$$ Therefore, for the projection length of $T_{n-1}$ onto a uniformly chosen random direction in the hyperplane $L$ we obtain $${\mathbb E}[W^k_{T_{n-1}}] =
2^{-\frac k2} \frac{\Gamma\left(\frac {n-1}2\right)}{\Gamma\left(\frac{n-1+k}{2}\right)} \left(\frac {n}{n-1}\right)^{k/2}
{\mathbb E}\left[\left(\max_{1\leq i\leq n} \eta_i -\min_{1\leq i\leq n} \eta_i\right)^k\right].$$ For $k=2$, this formula was conjectured by Finch @finch_simplex [p. 4] who verified it for small values of $n$.

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 \[sec:proofs3\].

\[theo:shadow\_cube\_limit\_distr\] The random width of the cube $Q_n =[-\frac 12, \frac 12]^n$ satisfies the following central limit theorem: $$W_{Q_n} -  \sqrt{\frac{2n}{\pi}} {\overset{d}{\underset{n\to\infty}\longrightarrow}}{\mathcal{N}} \left(0, \frac{\pi-3}{\pi}\right).$$

After the acceptance of this paper we became aware of the reference @paourisetal 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.

\[theo:shadow\_simpl\_cross\_limit\_distr\] For the random width of the simplex $S_{n-1} = {\mathop{\mathrm{conv}}\nolimits}(e_1,\ldots,e_n)$ and the crosspolytope $C_n={\mathop{\mathrm{conv}}\nolimits}(\pm e_1,\ldots,\pm e_n)$ we have $$\begin{aligned}
\sqrt{2n\log n} \left(W_{S_{n-1}} - \frac{2 u_{n}}{\sqrt n} \right)  &{\overset{d}{\underset{n\to\infty}\longrightarrow}}G_1+G_2\label{eq:limit_width_simpl},
\\
\sqrt{2n\log n} \left(W_{C_{n}} - \frac{2 u_{2n}}{\sqrt n} \right)  &{\overset{d}{\underset{n\to\infty}\longrightarrow}}2G_1, \label{eq:limit_width_cross}\end{aligned}$$ where $G_1,G_2$ are independent random variables with the Gumbel double exponential distribution ${\mathbb{P}}[G_1\leq x]= {\mathbb{P}}[G_2\leq x] = {{\rm e}}^{-{{\rm e}}^{-x}}$, $x\in{\mathbb{R}}$.

It is easy to check that the density of $G_1+G_2$ equals $2{{\rm e}}^{-x} K_0(2{{\rm e}}^{-x/2})$, $x\in{\mathbb{R}}$, where $$K_0(z)=\int_0^{\infty} {{\rm e}}^{-z\cosh t} {{\rm d}}t, \quad z>0,$$ is the modified Bessel function of the second kind.

Proof of Theorem \[1053\] {#sec:proof1}
=========================

As already mentioned, the first estimate in Theorem \[1053\] is a consequence of the Slepian lemma. Therefore, we concentrate on proving the inequality $${\mathbb E}\,\max\{|\eta_1|,\dots,|\eta_n|\}\leq
\sqrt{\frac{2n}{2n-1}}\, {\mathbb E}\,\max\{\eta_1,\dots,\eta_{2n}\}.$$

For $n=1$ the inequality follows by direct calculations, thus we assume that $n\geq 2$.

The idea of the proof of goes back to the work of Chatterjee (see @sC05 or @AT09 [p. 50]). For $t\in[0,1]$ consider a centered Gaussian vector $$\xi(t)=(\xi_1(t),\dots,\xi_{2n}(t))$$ with correlations defined by $$\begin{aligned}
{\mathbb E}\,[\xi_i^2(t)]&=\frac{2n}{t+2n-1}, \quad i=1,\dots,2n,\\
{\mathbb E}\,[\xi_{2i-1}(t)\xi_{2i}(t)] &= -\frac{2nt}{t+2n-1}, \quad i=1,\dots,n,\end{aligned}$$ and ${\mathbb E}\,[\xi_i(t)\xi_j(t)]=0$ otherwise. We have $$\xi(0)\overset{d}{=}\sqrt{\frac{2n}{2n-1}}\, (\eta_1,\dots,\eta_{2n}), \quad \xi(1)\overset{d}{=}(\eta_1, -\eta_1, \eta_2, -\eta_2, \dots,\eta_n, -\eta_n).$$ Hence it is sufficient to show that the function $$\varphi(t):={\mathbb E}\,\max\{\xi_1(t),\dots,\xi_{2n}(t)\}$$ is non-increasing on $[0,1]$. Consider the function $$F_\beta(x_1,\dots,x_{2n}):=\frac1\beta\log\left(\sum_{i=1}^{2n}{{\rm e}}^{\beta x_i}\right).$$ It is immediate that $$\max\{x_1,\dots,x_{2n}\}\le F_\beta(x_1,\dots,x_{2n})\le \frac{\log 2n}{\beta}+\max\{x_1,\dots,x_{2n}\}.$$ Therefore we only need to show that for any $\beta>0$ the function $$\varphi_\beta(t):={\mathbb E}\,F_\beta(\xi(t))$$ is non-increasing on $[0,1]$.

In what follows, ${\mathbf{x}}$ stands for $(x_1,\dots,x_{2n})$. Set $\sigma_{ij}(t):={\mathbb E}\,[\xi_i(t)\xi_j(t)]$ and let us denote by $f(t,{\mathbf{x}})$ the probability density function of $\xi(t)$. It is a well-known property of $f$ that $$\frac{\partial f}{\partial \sigma_{ii}}=\frac12\frac{\partial^2f}{\partial x^2_i},
\quad\quad
\frac{\partial f}{\partial \sigma_{ij}}=\frac{\partial^2f}{\partial x_i\partial x_j}, \quad i\ne j.$$ Therefore, $$\frac{\partial\varphi_\beta}{\partial t}=\int_{{\mathbb{R}}^{2n}}F_\beta({\mathbf{x}})\frac{\partial f}{\partial t}({\mathbf{x}})\,{{\rm d}}{\mathbf{x}}=\int_{{\mathbb{R}}^{2n}}F_\beta({\mathbf{x}})\sum_{1\le i\le j\le 2n}\frac{\partial f}{\partial \sigma_{ij}}({\mathbf{x}})\frac{\partial \sigma_{ij}}{\partial t}\,{{\rm d}}{\mathbf{x}}.$$ We have $$\begin{aligned}
\frac{\partial \sigma_{ii}}{\partial t}&=-\frac{2n}{(t+2n-1)^2}, \quad i=1,\dots,2n,\\
\frac{\partial \sigma_{2i-1,2i}}{\partial t}&=-\frac{2n(2n-1)}{(t+2n-1)^2}, \quad i=1,\dots,n,\end{aligned}$$ and $\partial\sigma_{ij}/\partial t=0$ otherwise. Thus we obtain $$\begin{aligned}
\frac{\partial\varphi_\beta}{\partial t}&=-\frac{n}{(t+2n-1)^2}\int_{{\mathbb{R}}^{2n}}F_\beta({\mathbf{x}})\sum_{i=1}^n\left[\frac{\partial^2 f}{\partial x^2_{2i-1}}({\mathbf{x}})+2(2n-1)\frac{\partial^2 f}{\partial x_{2i-1}\partial x_{2i}}({\mathbf{x}})+\frac{\partial^2 f}{\partial x^2_{2i}}({\mathbf{x}})\right]\,{{\rm d}}{\mathbf{x}}\\
&=-\frac{n}{(t+2n-1)^2}\sum_{i=1}^n\int_{{\mathbb{R}}^{2n}}f({\mathbf{x}})\left[\frac{\partial^2 F_\beta}{\partial x^2_{2i-1}}({\mathbf{x}})+2(2n-1)\frac{\partial^2 F_\beta}{\partial x_{2i-1} \partial x_{2i}}({\mathbf{x}})+\frac{\partial^2 F_\beta}{\partial x^2_{2i}}({\mathbf{x}})\right]\,{{\rm d}}{\mathbf{x}}\\
&=-\frac{n}{(t+2n-1)^2}\sum_{i=1}^n{\mathbb E}\,\left[\frac{\partial^2 F_\beta}{\partial x^2_{2i-1}}({\mathbf{x}})+2(2n-1)\frac{\partial^2 F_\beta}{\partial x_{2i-1}\partial x_{2i}}({\mathbf{x}})+\frac{\partial^2 F_\beta}{\partial x^2_{2i}}({\mathbf{x}})\right].\end{aligned}$$ It is easy to check that $$\frac{\partial^2 F_\beta}{\partial x^2_{i}}({\mathbf{x}})=\beta(p_i({\mathbf{x}})-p_i^2({\mathbf{x}})),
\quad\quad
\frac{\partial^2 F_\beta}{\partial x_{i}\partial x_{j}}({\mathbf{x}})=-\beta p_i({\mathbf{x}})p_j({\mathbf{x}}),
\quad i\ne j,$$ where $$p_i({\mathbf{x}}):=\frac{\partial F_\beta}{\partial x_{i}}({\mathbf{x}})=\frac{{{\rm e}}^{\beta x_i}}{\sum_{k=1}^{2n}{{\rm e}}^{\beta x_k}}.$$ Thus, $$\begin{aligned}
\lefteqn{-\frac{(t+2n-1)^2}{n\beta} \cdot  \frac{\partial\varphi_\beta}{\partial t}=} \label{2230}\\
&=
\sum_{i=1}^{2n}{\mathbb E}\, [p_{i}(\xi(t))] - \sum_{i=1}^{2n} {\mathbb E}\,[p_{i}^2(\xi(t))] - 2 (2n-1) \sum_{i=1}^{n} {\mathbb E}\, [p_{2i-1}(\xi(t))p_{2i}(\xi(t))]\notag \\
&= 1-\sum_{i=1}^{2n} {\mathbb E}\, [p_{i}^2(\xi(t))] - 2(2n-1) \sum_{i=1}^n {\mathbb E}\, [p_{2i-1}(\xi(t))p_{2i}(\xi(t))]. \notag\end{aligned}$$ As we already mentioned, we assume that $n\geq 2$. For $i=1,\dots,n$ we have $${\mathbb E}\, [p_{2i-1}(\xi(t))p_{j}(\xi(t))]=\left\{
                                        \begin{array}{ll}
                                          {\mathbb E}\, [p_{1}(\xi(t))p_{2}(\xi(t))], & \hbox{$j=2i$;} \\
                                          {\mathbb E}\, [p_{1}(\xi(t))p_{3}(\xi(t))], & \hbox{$j\ne 2i-1,2i$.}
                                        \end{array}
                                      \right.$$ Therefore, $$\begin{aligned}
\lefteqn{-\frac{(t+2n-1)^2}{n\beta} \cdot  \frac{\partial\varphi_\beta}{\partial t}=} \\
&
1- {\mathbb E}\left[\sum_{i=1}^{2n}p_{i}(\xi(t))\right]^2-2n(2n-2){\mathbb E}\, [p_{1}(\xi(t))p_{2}(\xi(t))]+2n(2n-2){\mathbb E}\, [p_{1}(\xi(t))p_{3}(\xi(t))]\notag \\
&=-2n(2n-2){\mathbb E}\, [p_{1}(\xi(t))p_{2}(\xi(t))]+2n(2n-2){\mathbb E}\, [p_{1}(\xi(t))p_{3}(\xi(t))]. \notag\end{aligned}$$ Thus, to show that $ \frac{\partial\varphi_\beta}{\partial t}\le0$ and to complete the proof it is sufficient to prove that $${\mathbb E}\, [p_{1}(\xi(t))p_{2}(\xi(t))]\le {\mathbb E}\, [p_{1}(\xi(t))p_{3}(\xi(t))],$$ which is equivalent to $${\mathbb E}\,\left[\frac{{{\rm e}}^{\beta \xi_1(t)}({{\rm e}}^{\beta \xi_2(t)}-{{\rm e}}^{\beta \xi_3(t)})}{(\sum_{i=1}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}\right]\le0.$$ Since the vectors $(\xi_1(t),\xi_2(t),\xi_3(t),\xi_4(t))$ and $(\xi_4(t),\xi_3(t),\xi_2(t),\xi_1(t))$ are equidistributed and independent from $(\xi_5(t),\dots,\xi_{2n}(t))$, the last inequality is equivalent to $${\mathbb E}\,\left[\frac{{{\rm e}}^{\beta \xi_4(t)}({{\rm e}}^{\beta \xi_3(t)}-{{\rm e}}^{\beta \xi_2(t)})}{(\sum_{i=1}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}\right]\le0.$$ Since the left hand sides of two last inequalities are equal, summing them up, we observe that it is enough to prove $$\label{1434}
{\mathbb E}\,\left[\frac{({{\rm e}}^{\beta \xi_1(t)}-{{\rm e}}^{\beta \xi_4(t)})({{\rm e}}^{\beta \xi_2(t)}-{{\rm e}}^{\beta \xi_3(t)})}{(\sum_{i=1}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}\right]\le0.$$ By the construction of vector $\xi(t)$, we have $$\frac{{\mathbb E}\,[\xi_{1}(t)\xi_{2}(t)]}{\sqrt{{\mathbb E}\,[\xi^2_{1}(t)]{\mathbb E}\,[\xi^2_{2}(t)]}}=-t$$ and $$\sigma^2:={\mathbb E}\,[\xi_i^2(t)]=\frac{2n}{t+2n-1}.$$ Denote by $h(x_1,x_2,x_3,x_4)$ the probability density function of $(\xi_1(t),\xi_2(t),\xi_3(t),\xi_4(t))$: $$\label{1436}
h(x_1,x_2,x_3,x_4)=\frac{1}{4\pi^2\sigma^4(1-t^2)}\exp\left[-\frac{1}{2\sigma^2(1-t^2)}(x_1^2+x_2^2+x_3^2+x_4^2+2t(x_1x_2+x_3x_4))\right].$$ Consider subsets $A,B\subset{\mathbb{R}}^4$ defined as $$A=\{(x_1,x_2,x_3,x_4)\in{\mathbb{R}}^4\,:\,(x_1-x_4)(x_2-x_3)>0\},$$ $$B=\{(x_1,x_2,x_3,x_4)\in{\mathbb{R}}^4\,:\,(x_1-x_4)(x_2-x_3)<0\}.$$ We have $$\begin{gathered}
{\mathbb E}\,\left[\frac{({{\rm e}}^{\beta \xi_1(t)}-{{\rm e}}^{\beta \xi_4(t)})({{\rm e}}^{\beta \xi_2(t)}-{{\rm e}}^{\beta \xi_3(t)})}{(\sum_{i=1}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}\right]
\\={\mathbb E}\,\left[\int_A\frac{({{\rm e}}^{\beta x_1}-{{\rm e}}^{\beta x_4})({{\rm e}}^{\beta x_2}-{{\rm e}}^{\beta x_3})}{({{\rm e}}^{\beta x_1}+{{\rm e}}^{\beta x_2}+{{\rm e}}^{\beta x_3}+{{\rm e}}^{\beta x_4}+\sum_{i=5}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}h(x_1,x_2,x_3,x_4){{\rm d}}x_1{{\rm d}}x_2{{\rm d}}x_3{{\rm d}}x_4\right]
\\+{\mathbb E}\,\left[\int_B\frac{({{\rm e}}^{\beta x_1}-{{\rm e}}^{\beta x_4})({{\rm e}}^{\beta x_2}-{{\rm e}}^{\beta x_3})}{({{\rm e}}^{\beta x_1}+{{\rm e}}^{\beta x_2}+{{\rm e}}^{\beta x_3}+{{\rm e}}^{\beta x_4}+\sum_{i=5}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}h(x_1,x_2,x_3,x_4){{\rm d}}x_1{{\rm d}}x_2{{\rm d}}x_3{{\rm d}}x_4\right].\end{gathered}$$ Interchanging $x_2$ and $x_3$ in the second term, we get $$\begin{gathered}
{\mathbb E}\,\left[\int_B\frac{({{\rm e}}^{\beta x_1}-{{\rm e}}^{\beta x_4})({{\rm e}}^{\beta x_2}-{{\rm e}}^{\beta x_3})}{({{\rm e}}^{\beta x_1}+{{\rm e}}^{\beta x_2}+{{\rm e}}^{\beta x_3}+{{\rm e}}^{\beta x_4}+\sum_{i=5}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}h(x_1,x_2,x_3,x_4){{\rm d}}x_1{{\rm d}}x_2{{\rm d}}x_3{{\rm d}}x_4\right]
\\=-{\mathbb E}\,\left[\int_A\frac{({{\rm e}}^{\beta x_1}-{{\rm e}}^{\beta x_4})({{\rm e}}^{\beta x_2}-{{\rm e}}^{\beta x_3})}{({{\rm e}}^{\beta x_1}+{{\rm e}}^{\beta x_2}+{{\rm e}}^{\beta x_3}+{{\rm e}}^{\beta x_4}+\sum_{i=5}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}h(x_1,x_3,x_2,x_4){{\rm d}}x_1{{\rm d}}x_2{{\rm d}}x_3{{\rm d}}x_4\right],\end{gathered}$$ which yields $$\begin{gathered}
{\mathbb E}\,\left[\frac{({{\rm e}}^{\beta \xi_1(t)}-{{\rm e}}^{\beta \xi_4(t)})({{\rm e}}^{\beta \xi_2(t)}-{{\rm e}}^{\beta \xi_3(t)})}{(\sum_{i=1}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}\right]
\\={\mathbb E}\,\left[\int_A\frac{({{\rm e}}^{\beta x_1}-{{\rm e}}^{\beta x_4})({{\rm e}}^{\beta x_2}-{{\rm e}}^{\beta x_3})(h(x_1,x_2,x_3,x_4)-h(x_1,x_3,x_2,x_4))}{({{\rm e}}^{\beta x_1}+{{\rm e}}^{\beta x_2}+{{\rm e}}^{\beta x_3}+{{\rm e}}^{\beta x_4}+\sum_{i=5}^{2n}{{\rm e}}^{\beta \xi_i(t)})^2}{{\rm d}}x_1{{\rm d}}x_2{{\rm d}}x_3{{\rm d}}x_4\right].\end{gathered}$$ Since the exponent is increasing function and $\beta>0$, we have for $(x_1,x_2,x_3,x_4)\in A$ $$({{\rm e}}^{\beta x_1}-{{\rm e}}^{\beta x_4})({{\rm e}}^{\beta x_2}-{{\rm e}}^{\beta x_3})\ge0.$$ Thus, to get  it is enough to show that for $(x_1,x_2,x_3,x_4)\in A$ $$h(x_1,x_2,x_3,x_4)-h(x_1,x_3,x_2,x_4)\le 0.$$ Indeed, using  we obtain that for $(x_1,x_2,x_3,x_4)\in A$ $$\begin{aligned}
\frac{h(x_1,x_3,x_2,x_4)}{h(x_1,x_2,x_3,x_4)}&=\exp\left[-\frac{t}{\sigma^2(1-t^2)}(x_1x_3+x_2x_4-x_1x_2-x_3x_4)\right]
\\&=\exp\left[\frac{t}{\sigma^2(1-t^2)}(x_1-x_4)(x_2-x_3)\right]\ge 1,\end{aligned}$$ which completes the proof.

$\Box$

Proof of Theorem \[1053\_asympt\] {#sec:proof2}
=================================

Recall that both $A_n:={\mathbb E}\,\max_{1\leq i\leq n} |\eta_i|$ and $B_n := {\mathbb E}\,\max_{1\leq i\leq 2n} \eta_i$ are asymptotically equivalent to $\sqrt{2\log n}$. Therefore, in order to prove the theorem, we need to show that $$\label{eq:A_n_minus_B_n}
\lim_{n\to\infty}   4 n\sqrt{2\log n}\, \left({\mathbb E}\,\max_{1\leq i\leq n} |\eta_i| - {\mathbb E}\,\max_{1\leq i\leq 2n} \eta_i\right) =1.$$ Denote the tail function of the standard normal distribution by $$\bar \Phi (t) = \int_t^{\infty} {{\rm e}}^{-s^2/2}\, \frac{{{\rm d}}s}{\sqrt{2\pi}}.$$ It is well known @AT09 [p. 9] or @Chatterjee_book [p. 137] that for $t>0$ one has $$\label{est}
\frac{1}{\sqrt{2\pi}} \left(\frac{1}{t} - \frac{1}{t^3}\right)  \, {{\rm e}}^{-t^2/2}
\leq
\bar \Phi (t)
\leq
\frac{1}{\sqrt{2\pi}\, t} \, {{\rm e}}^{-t^2/2}.$$ The distribution functions of the maxima we are interested in are given by $$\begin{aligned}
F_n(t)
&:=
{\mathbb{P}}\left[\max _{1\leq i\leq n}|\eta _i|\leq t \right]
=
\left(\int_{-t}^{t} {{\rm e}}^{-s^2/2}\, \frac{{{\rm d}}s}{\sqrt{2\pi}} \right)^n
=
(1-2\bar \Phi(t))^n, \quad t\geq 0, \label{eq:F_n_def}\\
G_n (t)
&:=
{\mathbb{P}}\left[\max _{1\leq i\leq 2n}\eta _i \leq t\right]
=
\left(\int_{-\infty}^{t} {{\rm e}}^{-s^2/2}\, \frac{{{\rm d}}s}{\sqrt{2\pi}} \right)^{2n}
=(1-\bar \Phi(t))^{2n}, \quad t\in{\mathbb{R}}. \label{eq:G_n_def}\end{aligned}$$ It follows that $$\begin{aligned}
A_n
&=
{\mathbb E}\,\max_{1\leq i\leq n} |\eta_i|
 =
\int_0^{\infty} (1- F_n(t)) \, {{\rm d}}t,\\
B_n
&=
{\mathbb E}\,\max_{1\leq i\leq 2n}\eta_i
=
\int_0^{\infty} (1- G_n(t)) \, {{\rm d}}t - \int_0^{\infty} (\bar \Phi(t))^{2n} \, {{\rm d}}t.\end{aligned}$$ To prove the second equality, note that for $M := \max _{1\leq i\leq 2n}\eta _i$ we have $M=M_+-M_-$ with $M_+=\max(M,0)$, $M_- = \max(-M,0)$, and $$\begin{aligned}
  {\mathbb{P}}\left[M_+ > t  \right]
  &= 1-G_n(t),\quad t > 0,\\
  {\mathbb{P}}\left[M_{-} > t  \right] &= {\mathbb{P}}\left[M <-t   \right]
  =(1-\bar \Phi(-t))^{2n} = (\bar \Phi(t))^{2n},\quad t > 0.\end{aligned}$$

In fact, the second integral in the formula for $B_n$ is negligible. Indeed, noting that $\bar \Phi(0)=1/2$ and using  we obtain $$\begin{aligned}
\int_0^{\infty} (\bar \Phi(t))^{2n}\, {{\rm d}}t
&\leq  (\bar \Phi(0))^{2n} +
\int_1^{\infty} (\bar \Phi(t))^{2n}\, {{\rm d}}t
\leq
2^{-2n} +  \int_1^{\infty}
   \left(2\pi \right)^{-n} t^{-2n}
   {{\rm e}}^{-t^2 n} {{\rm d}}t\\
&\leq  2^{-2n} + \left(2\pi {{\rm e}}\right)^{-n} \leq 2^{-n}.\end{aligned}$$

In view of the above considerations, in order to prove  it suffices to show that $$\lim_{n\to\infty} 4 n\sqrt{2\log n} \int_{0}^{\infty} (G_n(t)-F_n(t)) \,{{\rm d}}t = 1.$$ After a change of variable $t := t_n + \frac a {t_n}$, $a\in{\mathbb{R}}$, where $t_n\sim \sqrt{2\log n}$ is the solution to the equation $$\label{eq:def_t_n}
\bar \Phi(t_n)= \frac 1{2n},$$ our task reduces to proving that $$\label{eq:int1}
\lim_{n\to\infty}   \int_{-t_n^2}^{\infty} 4n \left(G_n\left(t_n + \frac a {t_n}\right)-F_n\left(t_n + \frac a {t_n}\right)\right) \,{{\rm d}}a = 1.$$

First we prove the pointwise convergence of the function under the integral sign. If $a\in{\mathbb{R}}$ is fixed and $n\to\infty$, then by  and , $$\label{eq:r_n_asympt}
r_n := \bar \Phi\left(t_n + \frac a {t_n}\right)
\sim
\frac 1 {\sqrt{2\pi}\,t_n} {{\rm e}}^{-\frac 12 \left(t_n + \frac a {t_n}\right)^2}
\sim
\frac 1 {\sqrt{2\pi}\,t_n} {{\rm e}}^{-\frac 12 t_n^2} {{\rm e}}^{-a}
\sim
\frac{{{\rm e}}^{-a}}{2n}.$$ Recalling the formulas for $F_n$ and $G_n$, see , , we can write $$\begin{aligned}
F_n\left(t_n + \frac a {t_n}\right)
&=(1-2r_n)^{n}
={{\rm e}}^{n \log (1 - 2r_n)},\\
\quad
G_n\left(t_n + \frac a {t_n}\right)
&=(1-r_n)^{2n}
={{\rm e}}^{2n \log (1 - r_n)}.\end{aligned}$$ Using  and the Taylor series for the logarithm and the exponent, we obtain $$\begin{aligned}
F_n\left(t_n + \frac a {t_n}\right)
&=
\exp\left\{-n \left(2r_n + 2 r_n^2 + o\left(\frac 1{n^2}\right) \right)\right\}
=
{{\rm e}}^{-2n r_n} \left(1- 2 n r_n^2+o\left(\frac 1{n}\right)\right),\\
G_n\left(t_n + \frac a {t_n}\right)
&=
\exp\left\{-2n \left(r_n + \frac {r_n^2} 2 + o\left(\frac 1{n^2}\right) \right)\right\}
=
{{\rm e}}^{-2n r_n} \left(1 - n r_n^2+o\left(\frac 1{n}\right)\right).\end{aligned}$$ Subtracting both expansions and using  twice, we obtain $$4n \left(G_n\left(t_n + \frac a {t_n}\right)-F_n\left(t_n + \frac a {t_n}\right)\right)
 =
4n {{\rm e}}^{-2n r_n} \left( n r_n^2+o\left(\frac 1{n}\right)\right)
{\overset{}{\underset{n\to\infty}\longrightarrow}}{{\rm e}}^{-{{\rm e}}^{-a}} {{\rm e}}^{-2a}.$$ If we allow for a moment interchanging the limit and the integral, the limit in  equals $${\text{LHS of }}\eqref{eq:int1}
=
\int_{-\infty}^{+\infty} {{\rm e}}^{-{{\rm e}}^{-a}} {{\rm e}}^{-2a} \,{{\rm d}}a
=
\int_0^{\infty} {{\rm e}}^{-y} y \,{{\rm d}}y = 1,$$ where we used the change of variable $y={{\rm e}}^{-a}$.

To complete the proof we need to justify the use of the Lebesgue dominated convergence theorem. It suffices to show that for some integrable function $g(a)$, $$\label{eq:dominated1}
0\leq n \left(G_n\left(t_n + \frac a {t_n}\right)- F_n\left(t_n + \frac a {t_n}\right)\right) \leq g(a), \quad a > - \frac 14t_n^2, \quad n\in{\mathbb{N}},$$ and $$\label{eq:dominated2}
\lim_{n\to\infty} n \int_{-t_n^2}^{-t_n^2/4} \left(G_n\left(t_n + \frac a {t_n}\right)-F_n\left(t_n + \frac a {t_n}\right)\right) \, {{\rm d}}a = 0.$$

The non-negativity of $G_n-F_n$ is a consequence of the inequality $(1-z)^2 \geq 1-2z$; see , . Now we prove the upper bound in . Using the inequality $$y^n-x^n \leq n(y-x) y^{n-1}$$ for $0\leq x\leq y$, we obtain that $$\label{eq:g_n_f_n}
G_n(t) - F_n(t)
=
(1-2\bar \Phi(t) +\bar \Phi^2(t))^n - (1-2\bar \Phi(t))^n
\leq n
\bar \Phi^2 (t) (1-\bar \Phi(t))^{2n-2}.$$ In the following, $C, C_1,\ldots>0$ denote absolute constants. Let first $a>-\frac 14 t_n^2$ so that $t_n+\frac a{t_n}> \frac 34 t_n$. By  and , $$\label{eq:bar_Phi_upper}
\bar \Phi\left(t_n + \frac a {t_n}\right)
\leq
\frac {C_1} {t_n+\frac a{t_n}} {{\rm e}}^{-\frac 12 \left(t_n + \frac a {t_n}\right)^2}
\leq
\frac {4C_1} {3t_n} {{\rm e}}^{-\frac 12 t_n^2} {{\rm e}}^{-a}
\leq
\frac{C_2}{n} {{\rm e}}^{-a}.$$ On the other hand, if $a\in [-\frac 14 t_n^2,0]$, then again using  and  we obtain $$\label{eq:bar_Phi_lower}
\bar \Phi\left(t_n + \frac a {t_n}\right)
\geq
\frac {C_1'} {t_n+\frac a{t_n}} {{\rm e}}^{-\frac 12 \left(t_n + \frac a {t_n}\right)^2}
\geq
\frac {C_1'} {t_n} {{\rm e}}^{-\frac 12 t_n^2} {{\rm e}}^{-a} {{\rm e}}^{-\frac{a^2}{2t_n^2}}
\geq
\frac{C_2'}{n} {{\rm e}}^{-\frac 78 a},$$ where in the last estimate we used that $-\frac{a^2}{2t_n^2} \geq \frac 18 a$.

Note that because of $-a \leq \frac 14 t_n^2 \sim \frac 12\log n$, the right hand-side of  can be estimated above by $C n^{-1/4}$. Using the inequality $1-x\leq {{\rm e}}^{-\frac 12x}$ (which is valid for sufficiently small $x>0$) together with , we obtain that for $a\in [-\frac 14 t_n^2,0]$, $$\left(1-\bar \Phi\left(t_n+\frac a {t_n}
\right)\right)^{2n-2}
\leq
{{\rm e}}^{- (n-1) \frac{C_2'}{n} {{\rm e}}^{-\frac 78 a}}
\leq
{{\rm e}}^{- C' {{\rm e}}^{-\frac 78 a}}.$$ It follows from this and , that for all $a>-\frac 12 t_n^2$, $$\begin{aligned}
n (G_n-F_n)\left(t_n+\frac a {t_n}\right)
&\leq
n^2\bar \Phi^2 \left(t_n+\frac a {t_n}\right) \left(1-\bar \Phi\left(t_n+\frac a {t_n}
\right)\right)^{2n-2}\\
&\leq C'' {{\rm e}}^{-2a} {{\rm e}}^{- C'{{\rm e}}^{-\frac 78 a}},\end{aligned}$$ where in the case $a>0$ we used the trivial estimate $1-\bar \Phi(t)\leq 1$. The function on the right-hand side is integrable in $a$, thus completing the proof of .

We turn now to . Using again , the trivial estimate $\bar \Phi(t)\leq 1$, and the increasing property of $1-\bar \Phi(t)$, we obtain that $$\begin{aligned}
I_n := n \int_{-t_n^2}^{-t_n^2/4} (G_n-F_n)\left(t_n + \frac a {t_n}\right) \, {{\rm d}}a
\leq
n^2 t_n^2 \left(1-\bar \Phi\left(\frac 34 t_n^2\right)\right)^{2n-2}.\end{aligned}$$ Recall now that $t_n^2\sim 2\log n$ and use  which implies that for some ${\varepsilon}\in (0,1)$, $$\bar \Phi\left(\frac 34 t_n^2\right) \geq C n^{-{\varepsilon}}, \text{ but } \lim_{n\to\infty}\bar \Phi\left(\frac 34 t_n^2\right) =0.$$ Again using inequality $1-x\leq {{\rm e}}^{-\frac 12x}$ (valid for small $x>0$), we obtain $$I_n \leq C n^2 (\log n) {{\rm e}}^{- C n^{-{\varepsilon}} (n-1)}  {\overset{}{\underset{n\to\infty}\longrightarrow}}0,$$ thus proving . $\Box$

Proofs of Theorems \[theo:shadow\_cube\_limit\_distr\] and \[theo:shadow\_simpl\_cross\_limit\_distr\] {#sec:proofs3}
======================================================================================================

Both proofs rely on the observation that a random vector $U$ distributed uniformly on ${\mathbb{S}}^{n-1}$ can be represented as $$\label{eq:U_rep}
U {\stackrel{d}{=}}\left(\frac{\eta_1}{\sqrt{\eta_1^2 + \ldots +\eta_n^2}},\ldots, \frac{\eta_n}{\sqrt{\eta_1^2 + \ldots +\eta_n^2}} \right).$$

\[Proof of Theorem \[theo:shadow\_cube\_limit\_distr\]\] It follows from the definition of $W_{Q_n}$, see , and from the central symmetry of the cube that $$\label{eq:W_Q_n_rep}
W_{Q_n} = 2 \sup_{t\in Q_n} \langle t, U \rangle {\stackrel{d}{=}}\frac {|\eta_1|+\ldots+|\eta_n|}{\sqrt{\eta_1^2 + \ldots +\eta_n^2}}.$$ Consider a random vector $(X_n,Y_n)$ with $$\label{eq:def_X_n_Y_n}
X_n := \frac{ |\eta_1| + \ldots + |\eta_n| - n \mu }{\sigma\sqrt n},
\quad
Y_n :=  \frac{ \eta_1^2 + \ldots + \eta_n^2 - n}{v\sqrt n},$$ where $$\begin{aligned}
\mu &:= {\mathbb E}|\eta_1| = \sqrt{2/\pi}, \label{eq:def_mu}\\
\sigma^2 &:= {\mathop{\mathrm{Var}}\nolimits}|\eta_1| = {\mathbb E}[\eta_1^2] - ({\mathbb E}|\eta_1|)^2 = (\pi-2)/\pi, \label{eq:def_sigma}\\
v^2 &:= {\mathop{\mathrm{Var}}\nolimits}(\eta_1^2) = {\mathbb E}[\eta_1^4] - ({\mathbb E}[\eta_1^2])^2 = 2. \label{eq:def_v}\end{aligned}$$ Note that ${\mathbb E}X_n={\mathbb E}Y_n = 0$ and ${\mathop{\mathrm{Var}}\nolimits}X_n={\mathop{\mathrm{Var}}\nolimits}Y_n=1$, while $$\label{eq:def_r}
r := {\mathop{\mathrm{Cov}}\nolimits}(X_n,Y_n) = \frac{n {\mathop{\mathrm{Cov}}\nolimits}(|\eta_1| ,\eta^2_1)}{\sigma v n} = \frac 1 {\sqrt{\pi-2}},$$ where we used that ${\mathbb E}|\eta_1^3| = 2\sqrt{2/\pi}$. By the bivariate central limit theorem, $$\label{eq:CLT_bivariate}
(X_n, Y_n) {\overset{d}{\underset{n\to\infty}\longrightarrow}}(X,Y),$$ where $(X,Y)$ is a bivariate Gaussian vector with standard margins and covariance $r$. It follows from  that $$W_{Q_n}{\stackrel{d}{=}}\frac {|\eta_1|+\ldots+|\eta_n|}{\sqrt{\eta_1^2 + \ldots +\eta_n^2}}
=
\frac{\mu n + \sigma \sqrt n X_n}{\sqrt{n + v\sqrt n Y_n}}
=
\frac{\mu n \left(1+ \frac{\sigma  X_n}{\mu\sqrt n}\right)}{\sqrt n\sqrt{1 + \frac{v Y_n}{\sqrt n}}}.$$ Letting $n\to\infty$, expanding into a Taylor series around $0$ and noting that $X_n=O_P(1)$, $Y_n=O_P(1)$, we get $$\frac {|\eta_1|+\ldots+|\eta_n|}{\sqrt{\eta_1^2 + \ldots +\eta_n^2}}
=
\mu \sqrt n \left( 1 + \frac 1 {\sqrt n}\left(\frac{\sigma X_n}{\mu} - \frac {v Y_n} 2\right) + O_P\left(\frac 1n\right)\right),
\quad n\to\infty.$$ It follows that $$\frac {|\eta_1|+\ldots+|\eta_n|}{\sqrt{\eta_1^2 + \ldots +\eta_n^2}} -\mu \sqrt n
=
\sigma X_n - \frac 12 \mu v Y_n + O_P\left(\frac 1 {\sqrt n}\right),
\quad n\to\infty.$$ Note that by the bivariate central limit theorem , the sequence $\sigma X_n - \frac 12 \mu v Y_n$ has limiting normal distribution with mean zero and variance $${\mathop{\mathrm{Var}}\nolimits}\left[\sigma X_n - \frac 12 \mu v Y_n\right] = \sigma^2 +\frac 14 \mu^2 v^2 - \sigma \mu v r = \frac{\pi-3}{\pi},$$ where we used , , , . Recalling  we obtain $$W_{Q_n} - \sqrt{\frac{2n}{\pi}} {\stackrel{d}{=}}\frac {|\eta_1|+\ldots+|\eta_n|}{\sqrt{\eta_1^2 + \ldots +\eta_n^2}} -\mu \sqrt n
{\overset{d}{\underset{n\to\infty}\longrightarrow}}{\mathcal{N}} \left(0,\frac{\pi-3}{\pi}\right),$$ which proves the claim.

Self-normalized or studentized sums of the form $$R_n := \frac{\zeta_1+\ldots+\zeta_n}{\sqrt{\zeta_1^2+\ldots+\zeta_n^2}}
\quad \text{ or } \quad
T_n := \frac{\zeta_1+\ldots+\zeta_n}{\sqrt{(\zeta_1-\bar \zeta_n)^2+\ldots+(\zeta_n-\bar \zeta_n)^2}},$$ where $\zeta_1,\zeta_2,\ldots$ are i.i.d. random variables and $\bar \zeta_n= \frac 1n (\zeta_1+\ldots+\zeta_n)$, have been extensively studied in the literature; see, e.g., @pena_lai_shao_book, with main emphasis on the central case ${\mathbb E}[\zeta_i] = 0$. The non-central case ${\mathbb E}[\zeta_i] \neq 0$ has been analyzed by @bentkus_etal (who studied $T_n$) and by @omey_van_gulck (who studied $1/R_n^2$ and related quantities). After some calculations, our central limit theorem for $W_{Q_n}$ could be deduced from @omey_van_gulck [Theorem 3.1(v)], but since these authors studied $1/R_n^2$ instead of $R_n$ it was easier to provide a direct proof.

\[Proof of Theorem \[theo:shadow\_simpl\_cross\_limit\_distr\]\] We prove . Using representation , we obtain $$\label{eq:width_simplex_repre}
W_{S_{n-1}} {\stackrel{d}{=}}\frac{\max_{1\leq i\leq n}\eta_i - \min_{1\leq i\leq n}\eta_i}{\sqrt{\eta_1^2+\ldots +\eta_n^2}}.$$ It is known from extreme-value theory that the range of the standard normal sample satisfies $$\label{eq:def_Z_n}
Z_n := u_n\left(\max_{1\leq i\leq n}\eta_i - \min_{1\leq i\leq n}\eta_i -  2u_{n}\right){\overset{d}{\underset{n\to\infty}\longrightarrow}}G_1+G_2,$$ where $u_n\sim\sqrt{2\log n}$ is as in . In fact, this follows from the asymptotic independence @leadbetter_etal_book [Theorem 1.8.3 on p. 28] of $\max_{1\leq i\leq n}\eta_i$ and $-\min_{1\leq i\leq n}\eta_i$ which both have limiting Gumbel distribution as in . Define $Y_n$ as in  and observe that $Y_n$ has limiting standard normal distribution by the central limit theorem. We have $$\frac{\max_{1\leq i\leq n}\eta_i - \min_{1\leq i\leq n}\eta_i}{\sqrt{\eta_1^2+\ldots +\eta_n^2}}
=
\frac{2u_n + \frac{Z_n}{u_n}}{\sqrt{n + \sqrt{2n} Y_n}}
=
\frac{2u_n}{\sqrt n} \frac{1 + \frac{Z_n}{2u_n^2}}{\sqrt{1 + \sqrt{2/n} Y_n}}.$$ Noting that both $Z_n$ and $Y_n$ are $O_P(1)$ and expanding into a Taylor series, we obtain $$\frac{\max_{1\leq i\leq n}\eta_i - \min_{1\leq i\leq n}\eta_i}{\sqrt{\eta_1^2+\ldots +\eta_n^2}}
=
\frac{2u_n}{\sqrt n} \left(1 + \frac{Z_n}{2u_n^2} + O_P\left(\frac 1{u_n^4}\right)\right),$$ where we have used that $u_n\sim \sqrt{2\log n}$ and hence, the term with $Y_n$ is negligible. It follows from  that $$u_n \sqrt n  \left(\frac{\max_{1\leq i\leq n}\eta_i - \min_{1\leq i\leq n}\eta_i}{\sqrt{\eta_1^2+\ldots +\eta_n^2}}  - \frac{2u_n}{\sqrt n}\right)
{\overset{d}{\underset{n\to\infty}\longrightarrow}}G_1+G_2,$$ which, in view of , implies .

The proof of  is analogous but instead of  it uses the representation $$\label{eq:width_cross_repre}
W_{C_{n}} {\stackrel{d}{=}}\frac{2\max_{1\leq i\leq n}|\eta_i|}{\sqrt{\eta_1^2+\ldots +\eta_n^2}}.$$ together with the limit relation $$\label{eq:def_Z_n_abs_value}
Z_n' := u_n \left(\max_{1\leq i\leq n}|\eta_i| - u_{2n}\right){\overset{d}{\underset{n\to\infty}\longrightarrow}}G_1$$ following from the asymptotic independence of the maximum and the minimum.

<span>**Acknowledgments.**</span> We are grateful to Manjunath Krishnapur and Tulasi Ram Reddy Annapareddy for noticing a gap in the first version of the proof of Theorem \[1053\]. We also wish to thank Peter Pivovarov for bringing @PP13 to our attention.

[^1]: The work of the third author is supported by the grant RFBR 13-01-00256 and by the Program of Fundamental Researches of Russian Academy of Sciences "Modern Problems of Fundamental Mathematics".

[^2]: $a_n \sim b_n$ means $a_n/b_n\to 1$ as $n\to \infty$.

{'source': 'arXiv_out/1511'}