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 only if $X$ is finite. In the case of power functions we give a uniform bound on the cardinality of $X$ depending only on the power exponent and the dimension of the vector space.
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})^ε$, for some $n\in \mathbb N_0$ and $ε\in (0,1]$, where $d_{\rm E}$ is the Euclidean distance, if and only if it is locally compact, $2$-point isometrically homogeneous, and admits dilations of any factor.
Let $X$ be an $n$-point subset of a Euclidean space and $0 < a < 1$. The classical theorem of Schoenberg implies that the snowflake space $X^a$ can be isometrically embedded into Euclidean space. In the paper we show that points in the image of such an embedding always are in general position. As application we prove the analogue of Schoenberg's result for quotients of Euclidean spaces by finite groups.
We study metric spaces with bounded rough angles. E. Le Donne, T. Rajala and E. Walsberg implicitly used this notion to show that infinite snowflakes can not be isometrically embedded into finite dimensional Banach spaces. We show that bounded non-rectifiable self-contracted curves contain metric subspaces with bounded rough angles. Which provides rectifiability of bounded self-contracted curves in a wide class of metric spaces including reversible $C^{\infty}$-Finsler manifolds, locally compact $CAT(k)$-spaces with locally extendable geodesics and locally compact Busemann spaces with locally …
We construct a locally finite graph and a bounded geometry metric space which do not admit a quasi-isometric embedding into any uniformly convex Banach space. Connections with the geometry of $c_0$ and superreflexivity are discussed.
We study the horofunction boundaries of Hilbert and Thompson geometries, and of Banach spaces, in arbitrary dimension. By comparing the boundaries of these spaces, we show that the only Hilbert and Thompson geometries that are isometric to Banach spaces are the ones defined on the cone of positive continuous functions on a compact space.
In this paper we show that a countable, residually amenable group admits a proper isometric affine action on some uniformly convex Banach space if and only if one (or equivalently, all) of its box families admits a fibred cofinitely-coarse embedding into some uniformly convex Banach space.
Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of $\ell_\infty$.
School of Mathematical Sciences, Key Laboratory of Intelligent Computing and Applications (Tongji University), Ministry of Education, Tongji University（同济大学数学科学学院，教育部智能计算与应用重点实验室）
The complex conjecture of Stefan Banach states that if V is a Banach space over the complex numbers where for some n, 1<n<dim(V), all of its n-dimensional subspaces are isometric, then V is a Hilbert space. Mikhail Gromov proved it for n even in 1967. Here, we prove it for n congruent to 1 mod 4.
Warped cones are metric spaces introduced by John Roe from discrete group actions on compact metric spaces to produce interesting examples in coarse geometry. We show that a certain class of warped cones $\mathcal{O}_Γ(M)$ admit a fibred coarse embedding into a $L_p$-space ($1\leq p<\infty$) if and only if the discrete group $Γ$ admits a proper affine isometric action on a $L_p$-space. This actually holds for any class of Banach spaces stable under taking Lebesgue-Bochner $L_p$-spaces and ultraproducts, e.g., uniformly convex Banach spaces or Banach spaces with nontrivial type. It follows that…
Let $V$ be a Banach space where for fixed $n$, $1<n<\dim(V)$, all of its $n$-dimensional subspaces are isometric. In 1932, Banach asked if under this hypothesis $V$ is necessarily a Hilbert space. Gromov, in 1967, answered it positively for even $n$ and all $V$. In this paper we give a positive answer for real $V$ and odd $n$ of the form $n=4k+1$, with the possible exception of $n=133.$ Our proof relies on a new characterization of ellipsoids in ${\mathbb{R}}^n$, $n\geq 5$, as the only symmetric convex bodies all of whose linear hyperplane sections are linearly equivalent affine bodies of revo…
Using isometric embedding of metric trees into Banach spaces, this paper will investigate barycenters, type and cotype, and various measures of compactness of metric trees. A metric tree ($T$, $d$) is a metric space such that between any two of its points there is an unique arc that is isometric to an interval in $\mathbb{R}$. We begin our investigation by examining isometric embeddings of metric trees into Banach spaces. We then investigate the possible images $x_0=π((x_1+\ldots+x_n)/n)$, where $π$ is a contractive retraction from the ambient Banach space $X$ onto $T$ (such a $π$ always exist…
In a 2013 paper, Cheeger and Kleiner introduced a new type of dimension for metric spaces, the "Lipschitz dimension". We study the dimension-theoretic properties of Lipschitz dimension, including its behavior under Gromov-Hausdorff convergence, its (non-)invariance under various classes of mappings, and its relationship to the Nagata dimension and Cheeger's "analytic dimension". We compute the Lipschitz dimension of various natural spaces, including Carnot groups, snowflakes of Euclidean spaces, metric trees, and Sierpinski carpets. As corollaries, we obtain a short proof of a quasi-isometric …
We study locally compact metric spaces that enjoy various forms of homogeneity with respect to Möbius self-homeomorphisms. We investigate connections between such homogeneity and the combination of isometric homogeneity with invertibility. In particular, we provide a new characterization of snowflakes of boundaries of rank-one symmetric spaces of non-compact type among locally compact and connected metric spaces. Furthermore, we investigate the metric implications of homogeneity with respect to uniformly strongly quasi-Möbius self-homeomorphisms, connecting such homogeneity with the combinatio…
We study finite subsets of $\ell_2$, and more generally any metric space, and consider whether these isometrically embed into a Banach space. Our results partially answer a question of Ostrovskii, on whether every infinite-dimensional Banach space contains every finite subset of $\ell_2$ isometrically. The updated version contains acknowledgement that Theorem 3.1 has been proven previously in a paper of Shkarin.
We prove that for every $p\in(1,\infty)$, $p\ne 2$, there exist a Banach space $X$ isomorphic to $\ell_p$ and a finite subset $U$ in $\ell_p$, such that $U$ is not isometric to a subset of $X$. This result shows that the finite isometric version of the Krivine theorem (which would be a strengthening of the Krivine theorem (1976)) does not hold.
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 $\varepsilon>0$, every $θ\in (0,1/p]$ and every finite metric space $(X,d_X)$, the metric space $(X,d_{X}^θ)$ embeds into $\mathscr{P}_p(\mathbb{R}^3)$ with distortion at most $1+\varepsilon$. We show that this is sharp when $p\in (1,2]$ in the sense that the exponent $1/p$ cannot be replaced by any larger number. In fact, for arbitrarily large $n\in \mathbb{N}$ there …
Fudan University（复旦大学）；AI for Scientific Simulation and Discovery Lab, Westlake University（西湖大学科学模拟与发现人工智能实验室）；Westlake University（西湖大学）；University of Glasgow（格拉斯哥大学）；ShanghaiTech University（上海科技大学）
We introduce the notions of almost Lipschitz embeddability and nearly isometric embeddability. We prove that for $p\in [1,\infty]$, every proper subset of $L_p$ is almost Lipschitzly embeddable into a Banach space $X$ if and only if $X$ contains uniformly the $\ell_p^n$'s. We also sharpen a result of N. Kalton by showing that every stable metric space is nearly isometrically embeddable in the class of reflexive Banach spaces.
We introduce the quasi-hyperbolicity constant of a metric space, a rough isometry invariant that measures how a metric space deviates from being Gromov hyperbolic. This number, for unbounded spaces, lies in the closed interval $[1,2]$. The quasi-hyperbolicity constant of an unbounded Gromov hyperbolic space is equal to one. For a CAT$(0)$-space, it is bounded from above by $\sqrt{2}$. The quasi-hyperbolicity constant of a Banach space that is at least two dimensional is bounded from below by $\sqrt{2}$, and for a non-trivial $L_p$-space it is exactly $\max\{2^{1/p},2^{1-1/p}\}$. If $0 < α< 1$ …
We prove a geometric characterization of a-T-menability through proper, affine, isometric actions on the Banach spaces $L_p[0,1]$ for $1<p<2$. This answers a question of A. Valette.
We prove that any convex-like structure in the sense of Nate Brown is affinely and isometrically isomorphic to a closed convex subset of a Banach space. This answers an open question of Brown. As an intermediate step, we identify Brown's algebraic axioms as equivalent to certain well-known axioms of abstract convexity. We conclude with a new characterization of convex subsets of Banach spaces.
We consider the problem of isometric embedding of metric spaces to the Banach spaces; and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly dense isometric embedding into a Banach space. The first nontrivial example of such a space was given by R. Holmes; he proved that the universal Urysohn space has this property. We give a criterion of linear rigidity of a metric space, which allows us to give a simple proof of the linear rigidity of the Urysohn space and some other metric spaces. The variou…
We show that Sobolev maps with values in a dual Banach space can be characterized in terms of weak derivatives in a weak* sense. Since every metric space embeds isometrically into a dual Banach space, this implies a characterization of metric space valued Sobolev maps in terms of such derivatives. Furthermore, we investigate for which target spaces Sobolev maps are weak* differentiable almost everywhere.
The paper is devoted to isometric Banach-space-theoretical structure of transportation cost (TC) spaces on finite metric spaces. The TC spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein spaces. A new notion of a roadmap pertinent to a transportation problem on a finite metric space has been introduced and used to simplify proofs for the results on representation of TC spaces as quotients of $\ell_1$ spaces on the edge set over the cycle space. A Tolstoi-type theorem for roadmaps is proved, and directed subgraphs of the canonical graphs, which are supports of maximal optimal …
