Why is the dimension of Gaussian variables is bounded by the dimension of the space? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T21:19:47Z http://mathoverflow.net/feeds/question/54954 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/54954/why-is-the-dimension-of-gaussian-variables-is-bounded-by-the-dimension-of-the-spa Why is the dimension of Gaussian variables is bounded by the dimension of the space? Alex Gittens 2011-02-09T23:24:19Z 2011-02-10T11:12:53Z <p>I'm looking at a probabilistic proof of a local version of Dvoretzky's theorem in Pisier's manuscript "Probabilistic Methods in the Geometry of Banach Spaces."</p> <blockquote> <p>For each $\epsilon >0$ there is a number $\eta^\prime(\epsilon) > 0$ with the following property. Let $X$ be a Gaussian r.v. with values in a Banach space $B$ of dimension $N.$ Then $B$ contains a subspace $F$ of dimension $n = [\eta^\prime(\epsilon) d(X)]$ which is $(1+\epsilon)$-isomorphic to $\ell^n_2.$ Conversely, if $B$ contains a subspace $F$ with $F \stackrel{1+\epsilon}{\sim} \ell^n_2,$ then there is a $B$-valued Gaussian r.v. $X$ such that $d(X) \geq (1+\epsilon)^{-2}n.$</p> </blockquote> <p>This statement uses the "dimension" $d(X)$ of a Gaussian variable, $$d(X) = \mathbb{E}\|X\|^2/\sigma(X)^2,$$ where <code>$$\sigma(X)^2 = \sup \{ \mathbb{E} \xi(X)^2 \mid \|\xi\|_{B^\star} \leq 1 \}$$</code> is the weak variance of $X.$</p> <p>For this to match the usual $n = O(\log N)$ statement of the theorem, you'd need a lower bound on $d(X)$ of order $\log N,$ and as a sanity check an upper bound of $O(N).$</p> <p>Any hints or references on how to show these two bounds on $d(X)$? Pisier states that the upper bound $d(X) \leq N$ is easy to show, but I've not been able to prove even that. </p> http://mathoverflow.net/questions/54954/why-is-the-dimension-of-gaussian-variables-is-bounded-by-the-dimension-of-the-spa/55017#55017 Answer by Gideon Schechtman for Why is the dimension of Gaussian variables is bounded by the dimension of the space? Gideon Schechtman 2011-02-10T11:12:53Z 2011-02-10T11:12:53Z <p>None of these estimates is trivial. The upper bound follows from John's theorem that the Banach-Mazur distance between an N dimensional normed space and an N dimensional Euclidean space is at most $\sqrt N$. The lower bound is more involved and uses the Dvoretzky-Rogers lemma. A good reference for the Gaussian approach to Dvoretzky's theorem is Pisier's book: The volume of convex bodies and Banach space geometry. For a more geometrical approach see: Milman and Schechtman: Asymptotic theory of finite-dimensional normed spaces. The theorem and it's proof is presented in other books as well.</p>