Euclidean embedding, randomized clustering, and Lipschitz extension for finite and doubling subsets of $L_p$ when $p>2$
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908903609991168 |
|---|---|
| author | Naor, Assaf Ren, Kevin |
| author_facet | Naor, Assaf Ren, Kevin |
| contents | Fix $p>2$. We prove that the Euclidean distortion of every $n$-point subset of $L_p$ is $p^3(\log n)^{\frac12+o(1)}$, thus, in particular, demonstrating that all $n$-point subsets of $L_p$ exhibit an asymptotic improvement over the $O(\log n)$ Euclidean distortion guarantee that Bourgain's embedding theorem provides for arbitrary $n$-point metric spaces. We also prove that the separation modulus of every $n$-point subset of $ L_p$ is $O(p^2\sqrt{\log n})$, which is sharp up to the dependence on $p$. We deduce from (a refinement of) this asymptotic evaluation of the finitary separation modulus of $ L_p$ that for any $n$-point subset $\mathcal{C}$ of $ L_p$, any Banach space $\mathbf{Z}$, and any $1$-Lipschitz function $f:\mathcal{C}\to \mathbf{Z}$, there exists a $O(p^2\sqrt{\log n})$-Lipschitz function $F:L_p\to \mathbf{Z}$ that extends $f$. We obtain analogous separation and extension statements for doubling subsets of $L_p$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_10543 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Euclidean embedding, randomized clustering, and Lipschitz extension for finite and doubling subsets of $L_p$ when $p>2$ Naor, Assaf Ren, Kevin Functional Analysis Metric Geometry Fix $p>2$. We prove that the Euclidean distortion of every $n$-point subset of $L_p$ is $p^3(\log n)^{\frac12+o(1)}$, thus, in particular, demonstrating that all $n$-point subsets of $L_p$ exhibit an asymptotic improvement over the $O(\log n)$ Euclidean distortion guarantee that Bourgain's embedding theorem provides for arbitrary $n$-point metric spaces. We also prove that the separation modulus of every $n$-point subset of $ L_p$ is $O(p^2\sqrt{\log n})$, which is sharp up to the dependence on $p$. We deduce from (a refinement of) this asymptotic evaluation of the finitary separation modulus of $ L_p$ that for any $n$-point subset $\mathcal{C}$ of $ L_p$, any Banach space $\mathbf{Z}$, and any $1$-Lipschitz function $f:\mathcal{C}\to \mathbf{Z}$, there exists a $O(p^2\sqrt{\log n})$-Lipschitz function $F:L_p\to \mathbf{Z}$ that extends $f$. We obtain analogous separation and extension statements for doubling subsets of $L_p$. |
| title | Euclidean embedding, randomized clustering, and Lipschitz extension for finite and doubling subsets of $L_p$ when $p>2$ |
| topic | Functional Analysis Metric Geometry |
| url | https://arxiv.org/abs/2502.10543 |