On Dvoretzky's theorem for subspaces of \(L_p\) (Q1655791): Difference between revisions

Figiel, Lindenstrauss and Milman showed in their paper ``The dimension of almost spherical sections of convex bodies'' [\textit{T. Figiel} et al., Acta Math. 139, 53--94 (1977; Zbl 0375.52002)] that in \(\ell_{p}^{n}\), \(n\in\mathbb N\), there are subspaces \(E_{n}\) with \(d(E_{n},\ell_{2}^{k_{n}})\leq1+\epsilon\) for the Banach-Mazur distance between \(E_{n}\) and \(\ell_{2}^{k_{n}} \) and \[ k_{n}\geq c(p,\epsilon)\begin{cases} n & 1\leq p\leq 2, \\ n^{\frac{2}{p}} & 2\leq p\leq\infty, \\ \ln n & p=\infty. \end{cases} \] Subsequently, the dependence of the constant \(c(p,\epsilon)\) on \(p\) and \(\epsilon\) has been investigated. From the proof of Figiel et al. [loc. cit.], it follows that \(c(p,\epsilon)\) can be chosen as \(c\epsilon^{2}/\ln\frac{1}{\epsilon}\). The present authors prove a concentration inequality for standard \(n\)-dimensional Gaussian vectors \(Z_{n}\) in \(\ell_{p}^{n}\), namely, \[ \mathbb P(\|Z_{n}\|_{p}-\mathbb E\|Z_{n}\|_{p}>\epsilon\mathbb E\|Z_{n}\|_{p})) \leq C\exp\left(- c\min\{\alpha_{p}\epsilon^{2}n,(\epsilon\cdot n)^{\frac{2}{p}}\}\right), \] where \(\| \cdot \|_{p}\) denotes the norm in \(\ell_{p}^{n}\) and \(\alpha_{p}\) a constant depending on \(p\). Using this concentration inequality, they show that \[ k_{n}\geq c_{p}\min\{\epsilon^{2}n,(\epsilon\cdot n)^{\frac{2}{p}}\}. \]