7

2

What is the easiest (preferably without calculations) way to see that the mean value of $\max(x_1,x_2,\dots,x_n)$ on the sphere $\mathbb{S}^{d-1}= \{ (x_1,\dots,x_n):\ x_1^2+\dots+x_n^2=1 \}$ behaves like $\sqrt{\log(n)/n}$, or at least that is is much more then $1/\sqrt{n}$ for large $n$? The same (and less or more a priori equivalent) question concerns the standard Gaussian measure and expectation of $\infty$-norm w.r.t. it.

The proofs I know (for example, the one which V. Milman attributes to Figiel) use too many integrals.

And by the way, how to put {,} in math here? \ { does not work for me

flag
1 
\lbrace and \rbrace. – Gerry Myerson Nov 9 2010 at 12:01
1 
Or \\{ and \\}. – Andrey Rekalo Nov 9 2010 at 12:02
Oh, thanks! $\ \ $ – Fedor Petrov Nov 9 2010 at 12:50
doesn't the fact that on your hypersphere ($d$ should be $n$ in your question), $\|x\|_\infty \ge 1/\|x\|_1 \ge 1/\sqrt{n}$ help? – S. Sra Nov 10 2010 at 15:04

1 Answer

15

For some positive $c$ bounded away from zero, the probability that a standard gaussian variable is larger than $c\sqrt{\log n}$ is $1/n$. It follows that the probability that at least one variable out of $n$ independent standard gaussians is larger than $c\sqrt{\log n}$ is $1-(1-1/n)^n$ which tends to $1-1/e$. From that one gets that the expectation of the maximum of $n$ standard gaussians is at least (basically) $(1-1/e)c\sqrt{\log n}$. As you said the question about variables on the sphere is equivalent to that.

link|flag
Thanks, that's clear indeed. – Fedor Petrov Nov 9 2010 at 12:53

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.