A doubling subset of \(L_p\) for \(p>2\) that is inherently infinite dimensional (Q464256): Difference between revisions

A metric space \((X, d)\) has a doubling constant \(K\in(1,\infty)\) if every ball in \(X\) can be covered by at most \(K\) balls of half radius. \((X, d)\) is said to be a doubling metric space if it has a doubling constant \(K\) for some \(K\in(1,\infty)\). A metric space \((X, d)\) embeds into a normed space \((Y, \|\cdot\|)\) with distortion \(D\in(1,\infty)\) if there exists \(f :\, X\rightarrow Y\) such that, for all \(x, y\in X\), we have \(d(x, y)\leq\|f(x)-f(y)\|\leq Dd(x, y)\). When \(X\) embeds into \(Y\) with finite distortion we say that \(X\) admits a bi-Lipschitz embedding into \(Y\). In this paper, the authors use a variant of the method that was proposed in [\textit{A. Naor} and \textit{O. Neiman}, Rev. Mat. Iberoam. 28, No. 4, 1123--1142 (2012; Zbl 1260.46016)] to show that, for every \(p\in(2,\infty)\), there exists a doubling subset of \(L_p\) that does not admit a bi-Lipschitz embedding into \(\mathbb{R}^k\) for any \(k\in\mathbb{N}\). In the case of \(p\in(1,2]\), the corresponding result is still unknown.