let m be a smooth submanifold of $\mathbb{r}^n$ equipped with the euclidean(chordal) metric. this talk will consider the smallest dimension, m, for which there exists a bi-lipschitz function f : m → $\mathbb{r}^m$ with bilipschitz constants close to one. we will begin by presenting a bound for the embedding dimension m from below in terms of the bi-lipschitz constants of f and the reach, volume, diameter, and dimension of m. we will then discuss how this lower bound can be applied to show that prior upper bounds by eftekhari and wakin on the minimal low-distortion embedding dimension of such manifolds using random matrices achieve near-optimal dependence on dimension, reach, and volume (even when compared against nonlinear competitors). next, we will discuss a new class of linear maps for embedding arbitrary (infinite) subsets of $\mathbb{r}^n$ with sufficiently small gaussian width which can both (i) achieve near-optimal embedding dimensions of submanifolds, and (ii) be multiplied by vectors in faster than fft-time. when applied to d-dimensional submanifolds of $\mathbb{r}^n$ we will see that these new constructions improve on prior fast embedding matrices in terms of both runtime and embedding dimension when d is sufficiently small.

this is joint work with benjamin schmidt (msu) and arman tavakoli (msu).