Related papers: Dimension of a snowflake of a finite Euclidean sub…

We consider a general notion of snowflake of a metric space by composing the distance by a nontrivial concave function. We prove that a snowflake of a metric space $X$ isometrically embeds into some finite-dimensional normed space if and…

A classic result in the study of spanners is the existence of light low-stretch spanners for Euclidean spaces. These spanners ahve arbitrary low stretch, and weight only a constant factor greater than that of the minimum spanning tree of…

We give a metric characterization of snowflakes of Euclidean spaces. Namely, a metric space is isometric to $\mathbb R^n$ equipped with a distance $(d_{\rm E})^\epsilon$, for some $n\in \mathbb N_0$ and $\epsilon\in (0,1]$, where $d_{\rm…

We prove that the $\frac12$-snowflake of a finite-dimensional normed space $(X,\|\cdot\|_X)$ embeds into a Hilbert space with quadratic average distortion $$O\Big(\sqrt{\log \mathrm{dim}(X)}\Big).$$ We deduce from this (optimal) statement…

We show that a snowflake of a metric space with positive Hausdorff dimension does not admit an isometric embedding into euclidean space.

For $p\in (1,\infty)$ let $\mathscr{P}_p(\mathbb{R}^3)$ denote the metric space of all $p$-integrable Borel probability measures on $\mathbb{R}^3$, equipped with the Wasserstein $p$ metric $\mathsf{W}_p$. We prove that for every…

A well-known theorem of Assouad states that metric spaces satisfying the doubling property can be snowflaked and bi-Lipschitz embedded into Euclidean spaces. Due to the invariance of many geometric properties under bi-Lipschitz maps, this…

We give a new proof of a theorem of Kleiner-Leeb: that any quasi-isometrically embedded Euclidean space in a product of symmetric spaces and Euclidean buildings is contained in a metric neighborhood of finitely many flats, as long as the…

It was shown by G. Pisier that any finite-dimensional normed space admits an $\alpha$-regular $M$-position, guaranteeing not only regular entropy estimates but moreover regular estimates on the diameters of minimal sections of its unit-ball…

The study of embeddings of smooth manifolds into Euclidean and projective spaces has been for a long time an important area in topology. In this paper we obtain improvements of classical results on embeddings of smooth manifolds, focusing…

In [The Space of Spaces: Curvature Bounds and Gradient Flows on the Space of Metric Measure Spaces. Memoirs of the American Mathematical Society. American Mathematical Society, 2023], Sturm studied the space of all metric measure spaces up…

We prove an equivalence between open questions about the embeddability of the space of persistence diagrams and the space of probability distributions (i.e.~Wasserstein space). It is known that for many natural metrics, no coarse embedding…

We prove some infinitesimal analogs of classical results of Menger, Schoenberg and Blumenthal giving the existence conditions for isometric embeddings of metric spaces in the finite-dimensional Euclidean spaces.

We prove that if $X$ is a topological space that admits Debreu's classical utility theorem (eg.\ $X$ is separable and connected, second countable, etc.), then order relations on $X$ satisfying milder completeness conditions can be…

We prove that if an asymptotically Schwarzschildean 3-manifold (M,g) contains a properly embedded stable minimal surface, then it is isometric to the Euclidean space. This implies, for instance, that in presence of a positive ADM mass any…

We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.

Given a spherical spacelike three-geometry, there exists a very simple algebraic condition which tells us whether, and in which, Schwarzschild solution this geometry can be smoothly embedded. One can use this result to show that any given…

We discuss and prove a theorem which asserts that any n-dimensional semi-Riemannian manifold can be locally embedded in a (n+1)-dimensional space with a non-degenerate Ricci tensor which is equal, up to a local analytic diffeomorphism, to…

It is shown that for every $K>0$ and $\e\in (0,1/2)$ there exist $N=N(K)\in \N$ and $D=D(K,\e)\in (1,\infty)$ with the following properties. For every separable metric space $(X,d)$ with doubling constant at most $K$, the metric space…

We show that for every $\alpha > 0$, there exist $n$-point metric spaces (X,d) where every "scale" admits a Euclidean embedding with distortion at most $\alpha$, but the whole space requires distortion at least $\Omega(\sqrt{\alpha \log…