Consider $K\subset S^{n-1}$. Its Gaussian Mean Width is defined to be $$ \mathbb{E}\,\sup_{x\in K}\vert \big
Gaussian Mean Width
-
1Does $S^{n-1}$ stand for $n-1$ dimensional hypersphere defined by $x_1^2+x_2^2+\cdots+x_n^2 = 1$? – 2012-05-23
-
0Yes, $S^{n-1}$ is the $n-1$ dimensional unit ball in $\mathbb{R}^{n}$. – 2012-05-23
-
0@Sasha: But the rotation is not allowed to depend on $x$, hence your argument breaks down, see my answer. – 2012-05-24
-
0@Didier I removed my comment, however I am still much confused. Should I replace $| \langle u, x \rangle |$ with even powers, they are easily seen to dependent only on $\langle x, x \rangle$ which is the same for all $x \in S^{n-1}$. Numerical simulation also shows that $\mathbf{E}(| \langle u, x \rangle |)$ has the same value for all $x \in S^{n-1}$. In fact argument I made can be translated to carrying out the expectation. Let $\vec{Z} = {z_1,z_2,\ldots,z_n}$ be standard normal vector. For every $\vec{x} \in S^{n-1}$ I can introduce hyperspherical coordinates.... – 2012-05-24
-
0@Didier ... such that $\vec{x}$ is aligned with the north pole. Then $\mathbf{E}(|\langle u, x \rangle|) = \frac{1}{B((n-1)/2,1/2)} \int_0^\pi | \cos(\theta) | \sin^{n-2} \theta \mathrm{d} \theta = \frac{\Gamma(n/2)}{\Gamma(n/2+1/2)} \frac{1}{\sqrt{\pi}}$. – 2012-05-24
-
0@Sasha You might be confusing pointwise invariance and invariance in distribution. Let $x$ in $S^{n-1}$ and $u$ uniform on $S^{n-1}$. Then $\langle u,x\rangle$ does not depend on $x$ in distribution (hence $E(|\langle u,x\rangle|^k)$ does not depend on $x$, for any $k$) but it depends on $x$ pointwise. For example the random variables $\langle u,x\rangle$ and $\langle u,y\rangle$ are not almost surely equal, if $x\ne y$. – 2012-05-24
-
0@Didier Silly me, I should have paid attention that supremum is actually inside the expectation. Thank you! – 2012-05-24
-
0@Sasha Aaaah... so, THIS was the source of the confusion. Makes sense now. – 2012-05-24
1 Answers
Recall that the distribution of $g$ is rotationally invariant, more precisely, $g=ru$ where $r\gt0$ and $u$ in $S^{n-1}$ are independent random variables such that $u$ is uniformly distributed on $S^{n-1}$ (the distribution of $r$ is explicit and depends on $n$).
Hence $\langle g,x\rangle=r\langle u,x\rangle$ and, by independence, the gaussian mean width of $K$ is also $$ \gamma_n(K)=c_n\cdot\mathrm E\left(\sup\limits_{x\in K}|\langle u,x\rangle|\right), $$ where $c_n=\mathrm E(r)$ is a constant which depends only on the dimension $n$.
Now, for every realization of $u$, one looks for the point $x$ in $K$ such that $u$ and $x$ are as best aligned as possible and $\gamma_n(K)$ is the average over $u$ of the result, scaled by $c_n$.
If $K$ is gaussian wide in the sense that for nearly every $u$ in $S^{n-1}$ there exists some $x$ in $K$ such that $\langle u,x\rangle$ is nearly $+1$ or nearly $-1$, then the average is close to $1$ and $\gamma_n(K)$ is close to $c_n$. On the contrary, if $K$ is sparse in the sense that for some $u$ in $S^{n-1}$, no good $x$ in $K$ exists, then the average over $u$, and as a consequence $\gamma_n(K)$ itself, are smaller.
-
0Thank you for your response. – 2012-05-24
-
0Can $c_n$ here be seen as a normalized rotation invariant measure on the sphere? Thanks! – 2014-11-28
-
0@Did: Besides, $g=ru$, can I think that $r$ stands for radius, and $u$ stands for the $e^{jq}$,Thanks! – 2014-11-28
-
1@sleevechen No, $c_n$ is a *number*, not a measure on the sphere. Yes, $g=ru$ holds with $r=\|g\|$ and $u=g/\|g\|$ hence, in dimension 2, $u$ would indeed be $e^{i\varphi}$. – 2014-11-28
-
0A detailed problem: If want to find the expected value, we must do $\int_{-\infty}^{\infty}\sup\limits_{x\in K}|\langle u,x\rangle|f_u(u)du$, $f_u(u)$ is the pdf of $u$. Since this is uniformly distributed, it is a constant, which is 1/(surface area of the sphere). Can we view this pdf as a normalized rotation invariant measure on the sphere? – 2014-11-29
-
1@sleevechen That u is uniformly distributed on the sphere means exactly that its distribution is *the unique* "rotation invariant measure on the sphere" with mass 1 (but, contrarily to what your last comment suggests, it is not a measure with a density on the real line). – 2014-11-29