Related papers: Nonlinear Dimension Reduction via Outer Bi-Lipschi…

The celebrated Johnson-Lindenstrauss lemma states that for all $\varepsilon \in (0,1)$ and finite sets $X \subseteq \mathbb{R}^N$ with $n>1$ elements, there exists a matrix $\Phi \in \mathbb{R}^{m \times N}$ with…

We study the design of embeddings into Euclidean space with outliers. Given a metric space $(X,d)$ and an integer $k$, the goal is to embed all but $k$ points in $X$ (called the ``outliers") into $\ell_2$ with the smallest possible…

We prove that for every $n\in \mathbb{N}$ there exists a metric space $(X,d_X)$, an $n$-point subset $S\subseteq X$, a Banach space $(Z,\|\cdot\|_Z)$ and a $1$-Lipschitz function $f:S\to Z$ such that the Lipschitz constant of every function…

Johnson and Lindenstrauss proved that any Lipschitz mapping from an $n$-point subset of a metric space into Hilbert space can be extended to the whole space, while increasing the Lipschitz constant by a factor of $O(\sqrt{\log n})$. We…

Let $\mathcal{M}$ be a compact $d$-dimensional submanifold of $\mathbb{R}^N$ with reach $\tau$ and volume $V_{\mathcal M}$. Fix $\epsilon \in (0,1)$. In this paper we prove that a nonlinear function $f: \mathbb{R}^N \rightarrow…

We prove a global implicit function theorem. In particular we show that any Lipschitz map $f:\bR^n\times \bR^m\to\bR^n$ (with $n$-dim. image) can be precomposed with a bi-Lipschitz map $\bar{g}:\bR^n\times \bR^m\to \bR^n\times \bR^m$ such…

Let $\varepsilon\in(0,1)$ and $X\subset\mathbb R^d$ be arbitrary with $|X|$ having size $n>1$. The Johnson-Lindenstrauss lemma states there exists $f:X\rightarrow\mathbb R^m$ with $m = O(\varepsilon^{-2}\log n)$ such that $$ \forall x\in X\…

Given metric spaces $(X,d)$ and $(Y,\rho)$ and an ordering $x_1,x_2,\ldots,x_n$ of $(X,d)$, an embedding $f: X \rightarrow Y$ is said to have a prioritized distortion $\alpha(\cdot)$, if for any pair $x_j,x'$ of distinct points in $X$, the…

We show that every centrally symmetric bi-Lipschitz embedding of the circle into the plane can be extended to a global bi-Lipschitz map of the plane with linear bounds on the distortion. This answers a question of Daneri and Pratelli in the…

We consider Lipschitz maps with values in quasi-metric spaces and extend such maps to finitely many points. We prove that in this context every 1-Lipschitz map admits an extension such that its Lipschitz constant is bounded from above by…

The problem of computing a bi-Lipschitz embedding of a graphical metric into the line with minimum distortion has received a lot of attention. The best-known approximation algorithm computes an embedding with distortion $O(c^2)$, where $c$…

This note addresses the quantitative aspect of the bilipschitz extension problem. The main result states that any bilipschitz embedding of $\mathbb R$ into $\mathbb R^2$ can be extended to a bilipschitz self-map of $\mathbb R^2$ with a…

The Lipschitz extension modulus $e(M)$ of a metric space $M$ is the infimum over $L\ge 1$ such that for any Banach space $Z$ and any $C\subset M$, any 1-Lipschitz function $f:C\to Z$ can be extended to an $L$-Lipschitz function $F:M\to Z$.…

The Johnson-Lindenstrauss transform is a fundamental method for dimension reduction in Euclidean spaces, that can map any dataset of $n$ points into dimension $O(\log n)$ with low distortion of their distances. This dimension bound is tight…

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…

A direct application of Zorn's Lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ has an extension to a Lipschitz map $\widetilde f: \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$. This is analogous, but more easy,…

Let $\mathcal{M}$ be a smooth submanifold of $\mathbb{R}^n$ equipped with the Euclidean (chordal) metric. This note considers the smallest dimension $m$ for which there exists a bi-Lipschitz function $f: \mathcal{M} \mapsto \mathbb{R}^m$…

We study the problem of extending any order-preserving Lipschitz function that maps a subset of a partially ordered Hilbert space X into a Hadamard poset Y without increasing its Lipschitz constant and preserving its monotonicity. This sort…

Let $n$ be a positive integer. We provide an explicit geometrically motivated $1$-Lipschitz map from the space of persistence diagrams on $n$ points (equipped with the Bottleneck distance) into the Hilbert space $\ell^2$. Such maps are a…

We study permutation-invariant embeddings of $d$-dimensional point sets, which are defined by sorting $D$ independent one-dimensional projections of the input. Such embeddings arise in graph deep learning where outputs should be invariant…