English

On Dvoretzky's theorem for subspaces of $L_p$

Functional Analysis 2017-10-24 v2 Metric Geometry

Abstract

We prove that for any 2<p<2<p<\infty and for every nn-dimensional subspace XX of LpL_p, represented on Rn\mathbb R^n, whose unit ball BXB_X is in Lewis' position one has the following two-level Gaussian concentration inequality: P(ZEZ>εEZ)Cexp(cmin{αpε2n,(εn)2/p}),0<ε<1, \mathbb P\left( \big| \|Z\| - \mathbb E\|Z\| \big| > \varepsilon \mathbb E\|Z\| \right) \leq C \exp \left (- c \min \left\{ \alpha_p \varepsilon^2 n, (\varepsilon n)^{2/p} \right\} \right), \quad 0<\varepsilon<1 , where ZZ is a standard nn-dimensional Gaussian vectors, αp>0\alpha_p>0 is a constant depending only on pp and C,c>0C,c>0 are absolute constants. As a consequence we show optimal lower bound for the dimension of almost spherical sections for these spaces. In particular, for any 2<p<2<p<\infty and every nn-dimensional subspace XX of LpL_p, the Euclidean space 2k\ell_2^k can be (1+ε)(1+\varepsilon)-embedded into XX with kcpmin{ε2n,(εn)2/p}k\geq c_p \min\{ \varepsilon^2 n , (\varepsilon n)^{2/p}\}, where cp>0c_p>0 is a constant depending only on pp. This improves upon the previously known estimate due to Figiel, Lindenstrauss and V. Milman.

Keywords

Cite

@article{arxiv.1510.07289,
  title  = {On Dvoretzky's theorem for subspaces of $L_p$},
  author = {Grigoris Paouris and Petros Valettas},
  journal= {arXiv preprint arXiv:1510.07289},
  year   = {2017}
}

Comments

25 pages; minor changes