An average John theorem

From MaRDI portal
Publication:2048458




Abstract: We prove that the frac12-snowflake of a finite-dimensional normed space (X,|cdot|X) embeds into a Hilbert space with quadratic average distortion OBig(sqrt{log mathrm{dim}(X)}Big). We deduce from this (optimal) statement that if an n-vertex expander embeds with average distortion Dgeqslant1 into (X,|cdot|X), then necessarily mathrmdim(X)geqslantnOmega(1/D), which is sharp by the work of Johnson, Lindenstrauss and Schechtman (1987). This improves over the previously best-known bound mathrmdim(X)gtrsim(logn)2/D2 of Linial, London and Rabinovich (1995), strengthens a theorem of Matouv{s}ek (1996) which resolved questions of Johnson and Lindenstrauss (1982), Bourgain (1985) and Arias-de-Reyna and Rodr{'{i}}guez-Piazza (1992), and answers negatively a question that was posed (for algorithmic purposes) by Andoni, Nguyen, Nikolov, Razenshteyn and Waingarten (2016).



Cites work







This page was built for publication: An average John theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2048458)