Snowflake embedding conjecture for finite-dimensional normed spaces

For \upomega(0,1]\upomega\in(0,1], the \upomega\upomega-snowflake of a metric space is obtained by raising its distance to the power \upomega\upomega. A quadratic average distortion embedding into 2\ell_2 is an embedding whose distortion is measured using the quadratic, or p=2p=2, average.

Finite-dimensional snowflake embedding conjecture. For every \upomega(0,12)\upomega\in(0,\tfrac12), there exists C\upomega>0\mathsf{C}_\upomega>0 such that, for every integer k2k\geqslant 2, the \upomega\upomega-snowflake of every kk-dimensional normed space embeds into 2\ell_2 with quadratic average distortion at most C\upomega(logk)\upomega\mathsf{C}_\upomega(\log k)^\upomega.

The conjecture would improve the currently obtained O\upomega(logk)O_\upomega(\sqrt{\log k}) bound and, according to the source, would yield an asymptotically sharp estimate for fixed \upomega\upomega as kk\to\infty.

Sources & referencesView supporting material

Primary source

Assaf Naor, “An average John theorem”, arXiv:1905.01280 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.