{"id":"arxiv/2609.01079","url":"https://arxiv.org/abs/2609.01079","tags":["math.MG"],"score":0,"title":"A threshold phenomenon for embeddings of Euclidean snowflakes and impossibility of dimension reduction","domain":"math.MG","source":"arxiv","authors":["Assaf Naor","Kevin Ren"],"reviews":0,"subject":"math.MG","summary":"Fix $0 1$, and this dimension bound is optimal as $k\\to \\infty$ up to lower order factors. We deduce from this statement that if $2<p<\\infty$, then there exist arbitrarily large $n$-point subsets of $\\ell_p$ with the property that if they embed with distortion $O(1)$ into $\\ell_p^m$, then necessarily $m\\gtrsim_p ((\\log n)/(\\log\\log n)^2)^{p/2}$, thus demonstrating that the statement of the Johnson--Lindenstrauss dimension reduction lemma fails to hold for $\\ell_p$","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}