Gromov's Lipschitz order is an order relation on the set of metric measure spaces. One of the compactifications of the space of isomorphism classes of metric measure spaces equipped with the concentration topology is constructed by using the Lipschitz order. The concentration topology is deeply related to the concentration of measure phenomenon. In this paper, we extend the Lipschitz order to that with additive errors and prove useful properties. We also discuss the relation of it to a map with the property of 1-Lipschitz up to an additive error.
A metric space has the universal Lipschitz extension property if for each subspace S embedded quasi-isometrically into an arbitrary metric space M there exists a continuous linear extension of Banach-valued Lipschitz functions on S to those on all of M. We show that the finite direct sum of Gromov hyperbolic spaces of bounded geometry is universal in the sense of this definition.
The Gromov--Hausdorff distance measures the difference in shape between compact metric spaces. While even approximating the distance up to any practical factor poses an NP-hard problem, its relaxations have proven useful for the problems in geometric data analysis, including on point clouds, manifolds, and graphs. We investigate the modified Gromov--Hausdorff distance, a relaxation of the standard distance that retains many of its theoretical properties, which includes their topological equivalence on a rich set of families of metric spaces. We show that the two distances are Lipschitz-equival…
M. Gromov introduced the Lipschitz order relation on the set of metric measure spaces and developed a rich theory. In particular, he claimed that an isoperimetric inequality on a non-discrete space is represented by using the Lipschitz order. We relax the definition of the Lipschitz order allowing an additive error to relate with an isoperimetric inequality on a discrete space. As an application, we obtain an isoperimetric inequality on the non-discrete $n$-dimensional $l^1$-cube by taking the limits of an isoperimetric inequality of the discrete $l^1$-cubes.
We prove that any measured Gromov-Hausdorff precompact set of metric measure spaces which is contained in a certain set, called a pyramid, is bounded by some metric measure space with respect to the Lipschitz order inside the pyramid. This is proved as a step towards a possible extension of the statement of Gromov, for which we gave a detailed proof in our previous work. Several related results are also obtained.
The aim of this article is to prove a Lipschitz extension theorem for partially defined Lipschitz maps to jet spaces endowed with a left-invariant sub-Riemannian Carnot-Carathéodory distance. The jet spaces give a model for a certain class of Carnot groups, including in particular all Heisenberg groups. The proofs or our theorems are rather elementary, they are inspired by ideas in papers of Gromov, Young, and Lang-Schlichenmaier.
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 …
In this paper, we prove an exponential and Ganssian concentration inequality for 1-Lipschitz maps from mm-spaces to Hadamard manifolds. In particular, we give a complete answer to a question by M. Gromov.
The present paper opens a new branch in the theory of variational problems with branching extremals, the investigation of one-dimensional minimal fillings of finite pseudo-metric spaces. On the one hand, this problem is a one-dimensional version of a generalization of Gromov's minimal fillings problem to the case of stratified manifolds (the filling in our case is a weighted graph). On the other hand, this problem is interesting in itself and also can be considered as a generalization of another classical problem, namely, the Steiner problem on the construction of a shortest network joining a …
We show that for every quasi-isometric map from a Hadamard manifold of pinched negative curvature to a locally compact, Gromov hyperbolic, ${\rm CAT}(0)$-space there exists an energy minimizing harmonic map at finite distance. This harmonic map is moreover Lipschitz. This generalizes a recent result of Benoist-Hulin.
The space of metric measure spaces (complete separable metric spaces with a probability measure) is becoming more and more important as state space for stochastic processes. Of particular interest is the subspace of (continuum) metric measure trees. Greven, Pfaffelhuber and Winter introduced the Gromov-Prohorov metric d_{GPW} on the space of metric measure spaces and showed that it induces the Gromov-weak topology. They also conjectured that this topology coincides with the topology induced by Gromov's Box_1 metric. Here, we show that this is indeed true, and the metrics are even bi-Lipschitz …
There is a standard "word length" metric canonically associated to any set of generators for a group. In particular, for any integers a and b greater than 1, the additive group of integers has generating sets {a^i}_{i=0}^{\infty} and {b^j}_{j=0}^{\infty} with associated metrics d_A and d_B, respectively. It is proved that these metrics are bi-Lipschitz equivalent if and only if there exist positive integers m and n such that a^m = b^n.
We give a detailed proof to Gromov's statement that precompact sets of metric measure spaces are bounded with respect to the box distance and the Lipschitz order.
A partial order on the set of metric measure spaces is defined; it generalizes the Lipschitz order of Gromov. We show that our partial order is closed when metric measure spaces are equipped with the Gromov-weak topology and give a new characterization for the Lipschitz order. We will then consider some probabilistic applications. The main importance is given to the study of Fleming-Viot processes with different resampling rates. Besides that application we also consider tree-valued branching processes and two semigroups on metric measure spaces.
For a metric measure space, we treat the set of distributions of 1-Lipschitz functions, which is called the 1-measurement. On the 1-measurement, we have a partial order relation by the Lipschitz order introduced by Gromov. The aim of this paper is to study the maximum and maximal elements of the 1-measurement with respect to the Lipschitz order. We present a necessary condition of a metric measure space for the existence of the maximum of the 1-measurement. We also consider a metric measure space that has the maximum of its 1-measurement.
In the first part of the paper we show how to relate several dimension theories (asymptotic dimension with Higson property, asymptotic dimension of Gromov, and capacity dimension of Buyalo \cite{Buyalo1}) to Nagata-Assouad dimension. This is done by applying two functors on the Lipschitz category of metric spaces: microscopic and macroscopic. In the second part we identify (among spaces of finite Nagata-Assouad dimension) spaces of Nagata-Assouad dimension at most $n$ as those for which the $n$-sphere $S^n$ is a Lipschitz extensor. Large scale and small scale analogs of that result are given.
We discuss a variation of Gromov's notion of asymptotic dimension that was introduced and named Nagata dimension by Assouad. The Nagata dimension turns out to be a quasisymmetry invariant of metric spaces. The class of metric spaces with finite Nagata dimension includes in particular all doubling spaces, metric trees, euclidean buildings, and homogeneous or pinched negatively curved Hadamard manifolds. Among others, we prove a quasisymmetric embedding theorem for spaces with finite Nagata dimension in the spirit of theorems of Assouad and Dranishnikov, and we characterize absolute Lipschitz re…
It is well-known that a paracompact space X is of covering dimension n if and only if any map f from X to a simplicial complex K can be pushed into its n-skeleton. We use the same idea to define dimension in the coarse category. It turns out the analog of maps f from X to K is related to asymptotically Lipschitz maps, the analog of paracompact spaces are spaces related to Yu's Property A, and the dimension coincides with Gromov's asymptotic dimension.
A well-known class of questions asks the following: If $X$ and $Y$ are metric measure spaces and $f:X\rightarrow Y$ is a Lipschitz mapping whose image has positive measure, then must $f$ have large pieces on which it is bi-Lipschitz? Building on methods of David (who is not the present author) and Semmes, we answer this question in the affirmative for Lipschitz mappings between certain types of Ahlfors $s$-regular, topological $d$-manifolds. In general, these manifolds need not be bi-Lipschitz embeddable in any Euclidean space. To prove the result, we use some facts on the Gromov-Hausdorff con…
We study a new bi-Lipschitz invariant λ(M) of a metric space M; its finiteness means that Lipschitz functions on an arbitrary subset of M can be linearly extended to functions on M whose Lipschitz constants are enlarged by a factor controlled by λ(M). We prove that λ(M) is finite for several important classes of metric spaces. These include metric trees of arbitrary cardinality, groups of polynomial growth, Gromov-hyperbolic groups, certain classes of Riemannian manifolds of bounded geometry and finite direct sums of arbitrary combinations of these objects. On the other hand we construct an ex…
The measure concentration property of an mm-space $X$ is roughly described as that any 1-Lipschitz map on $X$ to a metric space $Y$ is almost close to a constant map. The target space $Y$ is called the screen. The case of $Y=\mathbb{R}$ is widely studied in many literature (see \cite{gromov}, \cite{ledoux}, \cite{mil2}, \cite{milsch}, \cite{sch}, \cite{tal}, \cite{tal2} and its reference). M. Gromov developed the theory of measure concentration in the case where the screen $Y$ is not necessarily $\mathbb{R}$ (cf. \cite{gromovcat}, {gromov2}, \cite{gromov}). In this paper, we consider the case …
We show how to make precise the vague idea that for compact metric spaces that are close together for Gromov-Hausdorff distance, suitable vector bundles on one metric space will have counterpart vector bundles on the other. Our approach employs the Lipschitz constants of projection-valued functions that determine vector bundles. We develop some computational techniques, and we illustrate our ideas with simple specific examples involving vector bundles on the circle, the two-torus, the two-sphere, and finite metric spaces. Our topic is motivated by statements concerning "monopole bundles" over …
By a quantum metric space we mean a C^*-algebra (or more generally an order-unit space) equipped with a generalization of the Lipschitz seminorm on functions which is defined by an ordinary metric. We develop for compact quantum metric spaces a version of Gromov-Hausdorff distance. We show that the basic theorems of the classical theory have natural quantum analogues. Our main example involves the quantum tori, $A_þ$. We show, for consistently defined ``metrics'', that if a sequence $\{þ_n\}$ of parameters converges to a parameter $þ$, then the sequence $\{A_{þ_n}\}$ of quantum tori converges …
We construct an isometric embedding from Gigli's abstract tangent module into the concrete tangent module of a space admitting a (weak) Lipschitz differentiable structure, and give two equivalent conditions which characterize when the embedding is an isomorphism. Together with arguments from a recent article by Bate--Kangasniemi--Orponen, this equivalence is used to show that the ${\rm Lip}-{\rm lip}$ -type condition ${\rm lip} f\le C|Df|$ implies the existence of a Lipschitz differentiable structure, and moreover self-improves to ${\rm lip} f =|Df|$. We also provide a direct proof of a result…
In this paper, we consider a concentration of measure problem on Riemannian manifolds with boundary. We study concentration phenomena of non-negative $1$-Lipschitz functions with Dirichlet boundary condition around zero, which is called boundary concentration phenomena. We first examine relation between boundary concentration phenomena and large spectral gap phenomena of Dirichlet eigenvalues of Laplacian. We will obtain analogue of the Gromov-V. D. Milman theorem and the Funano-Shioya theorem for closed manifolds. Furthermore, to capture boundary concentration phenomena, we introduce a new in…
For a contractive iterated function system (IFS), it is known that there is a natural hyperbolic graph structure (augmented tree) on the symbolic space of the IFS that reflects the relationship among neighboring cells, and its hyperbolic boundary with the Gromov metric is Hölder equivalent to the attractor $K$. This setup was taken up to study the probabilistic potential theory on $K$, and the bi-Lipschitz equivalence on $K$. In this paper, we formulate a broad class of hyperbolic graphs, called expansive hyperbolic graphs, to capture the most essential properties from the augmented trees and …
We define the smooth Lipschitz topology on the moduli space and show that each conformal class is dense in the moduli space endowed with Gromov-Hausdorff topology, which offers an answer to the Tuschmann's question.
Motivated by questions in geometric group theory we define a quasisymmetric co-Hopfian property for metric spaces and provide an example of a metric Sierpiński carpet with this property. As an application we obtain a quasi-isometrically co-Hopfian Gromov hyperbolic space with a Sierpiński carpet boundary at infinity. In addition, we give a complete description of the quasisymmetry group of the constructed Sierpiński carpet. This group is uncountable and coincides with the group of bi-Lipschitz transformations.
Tukia and Vaisala showed that every quasi-conformal map of $\R^n$ extends to a quasi-conformal self-map of $\R^{n+1}$. The restriction of the extended map to the upper half-space $\R^n \times \R^+$ is, in fact, bi-Lipschitz with respect to the hyperbolic metric. More generally, every homogeneous negatively curved manifold decomposes as $M = N \rtimes \R^+$ where $N$ is a nilpotent group with a metric on which $\R^+$ acts by dilations. We show that under some assumptions on $N$, every quasi-symmetry of $N$ extends to a bi-Lipschitz map of $M$. The result applies to a wide class of manifolds $M$…
Inspired by a recent work of Wang-Zhao, in this note we prove that for a fixed $n$-dimensional closed Riemannian manifold $(M^n, g)$, if an $\mathrm{RCD}(K, n)$ space $(X, \mathsf{d}, \mathfrak{m})$ is Gromov-Hausdorff close to $M^n$, then there exists a regular homeomorphism $F$ from $X$ to $M^n$ such that $F$ is Lipschitz continuous and that $F^{-1}$ is Hölder continuous, where the Lipschitz constant of $F$, the Hölder exponent and the Hölder constant of $F^{-1}$ can be chosen arbitrary close to $1$. This is sharp in the sense that in general such a map cannot be improved to being bi-Lipschi…
In the 1970s and again in the 1990s, Gromov gave a number of theorems and conjectures motivated by the notion that the real homotopy theory of compact manifolds and simplicial complexes influences the geometry of maps between them. The main technical result of this paper supports this intuition: we show that maps of differential algebras are closely shadowed, in a technical sense, by maps between the corresponding spaces. As a concrete application, we prove the following conjecture of Gromov: if $X$ and $Y$ are finite complexes with $Y$ simply connected, then there are constants $C(X,Y)$ and $…
We characterise rectifiable subsets of a complete metric space $X$ in terms of local approximation, with respect to the Gromov--Hausdorff distance, by an $n$-dimensional Banach space. In fact, if $E\subset X$ with $\mathcal{H}^n(E)<\infty$ and has positive lower density almost everywhere, we prove that it is sufficient that, at almost every point and each sufficiently small scale, $E$ is approximated by a bi-Lipschitz image of Euclidean space. We also introduce a generalisation of Preiss's tangent measures that is suitable for the setting of arbitrary metric spaces and formulate our characteri…
We define the isoperimetric constant for any locally finite metric space and we study the property of having isoperimetric constant equal to zero. This property, called Small Neighborhood property, clearly extends amenability to any locally finite space. Therefore, we start making a comparison between this property and other notions of amenability for locally finite metric spaces that have been proposed by Gromov, Lafontaine and Pansu, by Ceccherini-Silberstein, Grigorchuk and de la Harpe and by Block and Weinberger. We discuss possible applications of the property SN in the study of embedding…
Naor and Mendel's metric cotype extends the notion of the Rademacher cotype of a Banach space to all metric spaces. Every Banach space has metric cotype at least 2. We show that any metric space that is bi-Lipschitz equivalent to an ultrametric space has infinimal metric cotype 1. We discuss the invariance of metric cotype inequalities under snowflaking mappings and Gromov-Hausdorff limits, and use these facts to establish a partial converse of the main result.
We show that all the standard distances from metric geometry and functional analysis, such as Gromov-Hausdorff distance, Banach-Mazur distance, Kadets distance, Lipschitz distance, Net distance, and Hausdorff-Lipschitz distance have all the same complexity and are reducible to each other in a precisely defined way. This is done in terms of descriptive set theory and is a part of a larger research program initiated by the authors in \emph{Complexity of distances: Theory of generalized analytic equivalence relations}. The paper is however targeted also to specialists in metric geometry and geome…
We show that for convex domains in Euclidean space, Cheeger's isoperimetric inequality, spectral gap of the Neumann Laplacian, exponential concentration of Lipschitz functions, and the a-priori weakest requirement that Lipschitz functions have \emph{arbitrarily slow} uniform tail-decay, are all quantitatively equivalent (to within universal constants, independent of the dimension). This substantially extends previous results of Maz'ya, Cheeger, Gromov--Milman, Buser and Ledoux. As an application, we conclude a sharp quantitative stability result for the spectral gap of convex domains under con…
