On Dvoretzky's theorem for subspaces of \(L_p\) (Q1655791)

From MaRDI portal
Revision as of 01:33, 14 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: reviewed by (P1447): Item:Q388877)
scientific article
Language Label Description Also known as
English
On Dvoretzky's theorem for subspaces of \(L_p\)
scientific article

    Statements

    On Dvoretzky's theorem for subspaces of \(L_p\) (English)
    0 references
    0 references
    0 references
    10 August 2018
    0 references
    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}}\}. \]
    0 references
    almost Euclidean subspaces
    0 references
    concentration of measure
    0 references
    Gaussian analytic inequalities
    0 references
    isotropic measures on \(S^{n - 1}\)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references