---
abstract: 'We investigate the geometry of the family ${\mathcal{M}}$ of isometry classes of compact metric spaces, endowed with the Gromov–Hausdorff metric. We show that sufficiently small neighborhoods of generic finite spaces in the subspace of all finite metric spaces with the same number of points are isometric to some neighborhoods in the space ${\mathbb{R}}^N_{\infty}$, i.e., in the space ${\mathbb{R}}^N$ with the norm $\|(x_1,\ldots,x_N)\|=\max_i|x_i|$. As a corollary, we get that each finite metric space can be isometrically embedded into ${\mathcal{M}}$ in such a way that its image belongs to a subspace consisting of all finite metric spaces with the same number $k$ of points. If the initial space has $n$ points, then one can take $k$ as the least possible integer with $n\le k(k-1)/2$.'
author:
- 'Alexander O. Ivanov, Stavros Iliadis, Alexey A. Tuzhilin'
title: 'Local Structure of Gromov–Hausdorff Space, and Isometric Embeddings of Finite Metric Spaces into this Space'
---

Introduction
============

By ${\mathcal{M}}$ we denote the space of all compact metric spaces (considered up to an isometry) endowed with the Gromov–Hausdorff metric. It is well-known that ${\mathcal{M}}$ is linear connected, complete, separable, but not proper. In a recent paper @IvaNikTuz, A. Ivanov, N. Nikolaeva, and A. Tuzhilin have shown that ${\mathcal{M}}$ is geodesic. There are many other open questions concerning geometrical properties of ${\mathcal{M}}$. S. Iliadis formulated the following problem: *is it true that ${\mathcal{M}}$ is universal for the family of compact metric spaces*? The latter may be interpreted in weak and strong senses. The weak sense means that any compact metric space can be isometrically embedded into ${\mathcal{M}}$. The strong sense means in addition that each isometric embedding of a subspace of a compact metric space can be extended to an isometric embedding of the whole space. It is easy to see that ${\mathcal{M}}$ is not universal in the strong sense (see below). Concerning the weak universality, we show the following: *each finite metric space can be isometrically embedded into ${\mathcal{M}}$*. Moreover, we construct such an embedding with its image belonging to the subspace of all finite metric spaces with $k$ points: if the initial space has $n$ points, then one can chose $k$ as the least possible integer such that $n\le k(k-1)/2$.

The construction of such embedding is based on our results concerning the local geometry of the family of finite metric spaces with fixed number of points considered in sufficiently small neighborhoods of generic spaces. More precisely, we show that such neighborhoods are isometric to some neighborhoods of the corresponding points in the space ${\mathbb{R}}^k_{\infty}$, i.e., in the space ${\mathbb{R}}^k$ with the norm $\bigl\|(x_1,\ldots,x_k)\bigr\|=\max_i|x_i|$.

Preliminaries
=============

Let $X$ be an arbitrary metric space. By $|xy|$ we denote the distance between points $x$ and $y$ in $X$. For every point $x\in X$ and a real number $r>0$ by $U_r(x)$ we denote the open ball of radius $r$ centered at $x$; for every nonempty $A{\subset}X$ and real number $r>0$ we put $U_r(A)=\cup_{a\in A}U_r(a)$.

For nonempty $A,\,B{\subset}X$, let us put $$d_H(A,B)=\inf\bigl\{r>0:A{\subset}U_r(B)\&B{\subset}U_r(A)\bigr\}.$$ This value is called the *Hausdorff distance between $A$ and $B$*. It is well-known @BurBurIva that the restriction of the Hausdorff distance to the family of all closed bounded subsets of $X$ is a metric.

Let $X$ and $Y$ be metric spaces. A triple $(X',Y',Z)$ that consists of a metric space $Z$ and its subsets $X'$ and $Y'$ isometric to $X$ and $Y$, respectively, is called a *realization of the pair $(X,Y)$*. The *Gromov–Hausdorff distance $d_{GH}(X,Y)$ between $X$ and $Y$* is the greatest lower bound of the real numbers $r$ such that there exists a realization $(X',Y',Z)$ of the pair $(X,Y)$ with $d_H(X',Y')\le r$. It is well-known @BurBurIva that the $d_{GH}$ restricted to the family ${\mathcal{M}}$ of isometry classes of compact metric spaces is a metric.

Recall that a *relation* between sets $X$ and $Y$ is a subset of the Cartesian product $X{\times}Y$. By ${\mathcal{P}}(X,Y)$ we denote the set of all nonempty relations between $X$ and $Y$. If $\pi_X{\colon}(x,y)\mapsto x$ and $\pi_Y{\colon}(x,y)\mapsto y$ are the canonical projections, then their restrictions to each ${\sigma}\in{\mathcal{P}}(X,Y)$ are denoted in the same manner.

We consider each relation ${\sigma}\in{\mathcal{P}}(X,Y)$ as a multivalued mapping, whose domain may be less than the whole $X$. By analogy with with mappings, for every $x\in X$ its image ${\sigma}(x)=\{y\in Y\mid(x,y)\in{\sigma}\}$ is defined, and for every $y\in Y$ its preimage ${\sigma}^{-1}(y)=\{x\in X\mid(x,y)\in{\sigma}\}$ is defined also; for every $A{\subset}X$ its image ${\sigma}(A)$ is the union of the images of all the elements from $A$, and, similarly, for every $B{\subset}Y$ its preimage is the union of the preimages of all the elements from $B$.

A relation $R$ between $X$ and $Y$ is called a *correspondence*, if the restrictions of the canonical projections $\pi_X$ and $\pi_Y$ onto $R$ are surjections. By ${\mathcal{R}}(X,Y)$ we denote the set of all correspondences between $X$ and $Y$.

Let $X$ and $Y$ be metric spaces, then for every relation ${\sigma}\in{\mathcal{P}}(X,Y)$ its *distortion ${\operatorname{dis}}{\sigma}$* is defined as $${\operatorname{dis}}{\sigma}=\sup\Bigl\{\bigl||xx'|-|yy'|\bigr|: (x,y)\in{\sigma},\ (x',y')\in{\sigma}\Bigr\}.$$

The following result is well-known.

\[@BurBurIva\]\[th:GH-metri-and-relations\] For any metric spaces $X$ and $Y$ we have $$d_{GH}(X,Y)=\frac12\inf\bigl\{{\operatorname{dis}}R\mid R\in{\mathcal{R}}(X,Y)\bigr\}.$$

If $X$ and $Y$ are finite metric spaces, then the set ${\mathcal{R}}(X,Y)$ is finite, hence, there exists an $R\in{\mathcal{R}}(X,Y)$ such that $d_{GH}(X,Y)=\frac12{\operatorname{dis}}R$. Every such correspondence $R$ is called *optimal*. Notice that optimal correspondences do also exist for any compact metric spaces $X$ and $Y$, see @IvaIliadisTuz. By ${\mathcal{R}}_{{\operatorname{opt}}}(X,Y)$ we denote the set of all optimal correspondences between $X$ and $Y$.

For arbitrary nonempty sets $X$ and $Y$ a correspondence $R\in{\mathcal{R}}(X,Y)$ is called *irreducible*, if it is a minimal element of the set ${\mathcal{R}}(X,Y)$ w.r.t. the order given by the inclusion relation. By ${\mathcal{R}}^0(X,Y)$ we denote the set of all nonempty irreducible correspondences between $X$ and $Y$.

The next result describes the structure of irreducible correspondences.

\[prop:IrreducibleRelation\] Every irreducible correspondence $R\in{\mathcal{R}}(X,Y)$ generates partitions $X=X'_1\sqcup X''_1\sqcup X_2$ and $Y=Y'_1\sqcup Y''_1\sqcup Y_2$, together with the partitions ${\widehat{X}}'_1$ and ${\widehat{Y}}'_1$ of the sets $X'_1$ and $Y'_1$, respectively. Also, $R$ induces a bijection ${\widehat{R}}$ between the sets ${\widehat{X}}={\widehat{X}}'_1\sqcup X''_1\sqcup X_2$ and ${\widehat{Y}}=Y_2\sqcup Y''_1\sqcup{\widehat{Y}}'_1$ such that $(x,y)\in R$ iff either $x\in{\hat{x}}\in{\widehat{X}}'_1,\,y={\widehat{R}}({\hat{x}})\in Y_2$, or $x\in X''_1,\,y={\widehat{R}}(y)\in Y''_1$, or $x\in X_2,\,y\in{\hat{y}}={\widehat{R}}(x)\in{\widehat{Y}}'_1$.

Figure \[fig:IrreducibleRelation\] illustrated the latter theorem.

The next results (see also @IvaTuzIrreducible) demonstrates the importance of the irreducible correspondences for calculating the Gromov–Hausdorff distances.

For every $R\in{\mathcal{R}}(X,Y)$ there exists an $R^0\in{\mathcal{R}}^0(X,Y)$ such that $R^0{\subset}R$.

Now, let $X$ and $Y$ be metric spaces. We put ${\mathcal{R}}^0_{{\operatorname{opt}}}(X,Y)={\mathcal{R}}^0(X,Y)\cap{\mathcal{R}}_{{\operatorname{opt}}}(X,Y)$.

For any $X,Y\in{\mathcal{M}}$ we have ${\mathcal{R}}^0_{{\operatorname{opt}}}(X,Y)\ne{\emptyset}$.

If $X$ is a metric space, then by ${\operatorname{diam}}X$ we denote the diameter of $X$, i.e., the value $${\operatorname{diam}}X=\sup\bigl\{|xx'|:x,x'\in X\bigr\}.$$ The next result is well-known @BurBurIva.

\[prop:dist\_and\_diams\]

1.  \[prop:dist\_and\_diams:1\] If ${\Delta}_1$ stands for the one-point metric space, and $X$ is an arbitrary metric space, then $$d_{GH}({\Delta}_1,X)=\frac12{\operatorname{diam}}X.$$

2.  \[prop:dist\_and\_diams:2\] For any metric spaces $X$ and $Y$ it holds $$d_{GH}(X,Y)\le\frac12\max\{{\operatorname{diam}}X,\,{\operatorname{diam}}Y\}.$$

Strong Non-Universality of the Gromov–Hausdorff Space
=====================================================

Show that the two-point metric space $\{A,B\}$ with the distance $|AB|=1/2$ may be isometrically embedded into ${\mathcal{M}}$ in such a way that this embedding can not be extended to an isometric embedding of three-point metric space $\{A,B,C\}$ with distances $|AC|=1/2$ and $|BC|=2/3$. This example demonstrates that the space ${\mathcal{M}}$ is not universal in the strong sense.

Indeed, we map the $A$ to the one-point space ${\Delta}_1$, and the $B$ to the two-point space ${\Delta}_2$ with distance $1$. By \[prop:dist\_and\_diams\] (\[prop:dist\_and\_diams:1\]), we have $d_{GH}({\Delta}_1,{\Delta}_2)=\frac12{\operatorname{diam}}{\Delta}_2=1/2$, thus, we have embedded isometrically the $\{A,B\}$ into ${\mathcal{M}}$.

Now, suppose that the $C$ is mapped to a point $X\in{\mathcal{M}}$ such that $|AC|=d_{GH}({\Delta}_1,X)$. By \[prop:dist\_and\_diams\] (\[prop:dist\_and\_diams:1\]), $|AC|=\frac12{\operatorname{diam}}X=1/2$, hence, ${\operatorname{diam}}X=1$. However, by \[prop:dist\_and\_diams\] (\[prop:dist\_and\_diams:2\]), $d_{GH}({\Delta}_2,X)\le\frac12\max\{{\operatorname{diam}}{\Delta}_2,\,{\operatorname{diam}}X\}=1/2$. Thus, the distance $|X{\Delta}_2|$ can not be equal to $2/3$ for any choice of the $X$.

Geometry of Gromov–Hausdorff Space in Neighborhoods of Generic Spaces
=====================================================================

By ${\mathcal{M}}_n$ we denote the subset of ${\mathcal{M}}$ consisting of all metric spaces each of which has at most $n$ points; let ${\mathcal{M}}_{[n]}$ stand for the subset of ${\mathcal{M}}_n$ consisting of all $n$-point metric spaces.

For every $n\in{\mathbb{N}}$ we define a mapping $\nu{\colon}{\mathcal{M}}_{[n]}\to{\mathbb{R}}^{n(n-1)/2}_{\infty}$ in the following way. For $X=\{x_1,\ldots,x_n\}\in{\mathcal{M}}_{[n]}$ we consider all the distances $|x_ix_j|$ between distinct points, arrange these values in ascending order, and let $\nu(X)$ be the resulting vector from ${\mathbb{R}}^{n(n-1)/2}$ divided by $2$. Let $\nu^i(X)$ be the $i$th coordinate of the vector $\nu(X)$.

We say that $X,Y\in{\mathcal{M}}_{[n]}$ are *structural isomorphic* if there exists a bijection $f{\colon}X\to Y$ preserving the order on the set of distances: $|xy|\le |zw|$ iff $|f(x)f(y)|\le|f(z)f(w)|$. Every such $f$ we call a *structural isomorphism*. Notice that for a structural isomorphism $f{\colon}X\to Y$ and each $1\le i\le n(n-1)/2$ the condition $\nu^i(X)=|xx'|/2$ implies $\nu^i(Y)=\bigl|f(x)f(x')\bigr|/2$. In other words, for any $i$, the $i$th coordinates of vectors $\nu(X)$ and $\nu(Y)$ are equal to half-distances between the pairs of points from $X$ and $Y$ corresponding to each other under the structural isomorphism $f$. Thus, if we consider $f$ as a correspondence between $X$ and $Y$, i.e., $f\in{\mathcal{R}}(X,Y)$, then we get $\big|\nu(X)\nu(Y)\big|=\frac12{\operatorname{dis}}f$.

By ${\mathcal{M}}'_{[n]}$ we denote the subset of ${\mathcal{M}}_{[n]}$ consisting of all the spaces such that all non-zero distances in them are distinct. Notice that if $X,Y\in{\mathcal{M}}'_{[n]}$ are structural isomorphic, then structural isomorphism is uniquely defined. Moreover, the structural isomorphism generates an equivalence relation on ${\mathcal{M}}'_{[n]}$, therefore, ${\mathcal{M}}'_{[n]}$ is partitioned into the corresponding equivalence classes that are referred as *classes of structural isomorphism*. Notice the following obvious property: for any structural isomorphic $X,Y\in{\mathcal{M}}'_{[n]}$, a space $Z\in{\mathcal{M}}_{[n]}$ is structurally isomorphic to $X$ iff it is structurally isomorphic to $Y$. The latter proves the correctness of the concept of the *closure of a structural isomorphism class* as of the family of all $Z\in{\mathcal{M}}_{[n]}$ which are structurally isomorphic to some $X\in{\mathcal{M}}'_{[n]}$ (this definition does not depend on the choice of the representative $X$ in the structural isomorphism class). Thus, the space ${\mathcal{M}}_{[n]}$ is covered by the closures of the structural isomorphism classes, and each two spaces from the same such closure are structurally isomorphic. It is not difficult to show that these closures can be defined as maximal subfamilies of ${\mathcal{M}}_{[n]}$ such that any two their elements are structurally isomorphic.

The next result is not used in the present paper but seems to be self-important.

Let $C{\subset}{\mathcal{M}}_{[n]}$ be the closure of a structural isomorphism class. Then the mapping $\nu{\colon}C\to{\mathbb{R}}^{n(n-1)/2}_{\infty}$ is incompressible.

Let us choose arbitrary $X,Y\in C$, and let $R{\colon}X\to Y$ be a structural isomorphism. Then $R\in{\mathcal{R}}(X,Y)$, therefore, $$d_{GH}(X,Y)\le\frac12{\operatorname{dis}}R=|\nu(X)\nu(Y)|.$$

By a *generic space* we mean every finite metric space such that all its non-zero distances are pairwise distinct, and all its triangle inequality hold strictly. By ${\mathcal{M}}^{{\operatorname{gen}}}$ we denote the family of all the generic spaces. Clearly that ${\mathcal{M}}^{{\operatorname{gen}}}$ is everywhere dense in ${\mathcal{M}}$. We put ${\mathcal{M}}_{[n]}^{{\operatorname{gen}}}={\mathcal{M}}_{[n]}\cap{\mathcal{M}}^{{\operatorname{gen}}}$. By definition, ${\mathcal{M}}_{[n]}^{{\operatorname{gen}}}{\subset}{\mathcal{M}}'_{[n]}$, thus, ${\mathcal{M}}_{[n]}^{{\operatorname{gen}}}$ is also partitioned into the structural isomorphism classes.

Let $X=\{x_1,\ldots,x_n\}\in{\mathcal{M}}$, $n\ge3$. We define ${\delta}(X)$ to be equal to the least of the following two numbers:

&{|x\_ix\_j|+|x\_jx\_k|-|x\_ix\_k|:\#{i,j,k}=3},&\
&{||x\_ix\_j|-|x\_px\_q||:\#{i,j,p,q}3}.&

For $n=2$ we put ${\delta}(X)=|x_1x_2|$.

If we put $p=q$ in the definition of the second minimum, then we get $|x_ix_j|$. Thus, ${\delta}(X)\le|x_ix_j|$ for all $i\ne j$. For $n=2$ this property holds as well.

It is easy to see that $X=\{x_1,\ldots,x_m\}$ belongs to ${\mathcal{M}}^{{\operatorname{gen}}}$ iff ${\delta}(X)>0$. Besides, for any $Y=\{y_1,\ldots,y_n\}\in{\mathcal{M}}$ such that $\bigl||x_ix_j|-|y_iy_j|\bigr|<{\delta}(X)/3$ for all $1\le i,\,j\le n$ we have $Y\in{\mathcal{M}}^{{\operatorname{gen}}}$, the $X$ and $Y$ are structurally isomorphic, and the mapping $x_i\mapsto y_i$ is a structural isomorphism.

\[thm:isometry\] Let $X=\{x_1,\ldots,x_n\}\in{\mathcal{M}}^{{\operatorname{gen}}}$. We put ${\delta}={\delta}(X)/6$, $U=U_{\delta}(X){\subset}{\mathcal{M}}_n$, $N=n(n-1)/2$, $V=U_{\delta}\bigl(\nu(X)\bigr){\subset}{\mathbb{R}}^N_\infty$. Then the mapping $\nu|_U{\colon}U\to V$ is an isometry.

Choose an arbitrary $Y\in U$. Let us show that $\#Y=n$. Indeed, suppose otherwise that $\#Y<n$, then for any $R\in{\mathcal{R}}(X,Y)$ there exists an $y\in Y$ such that for some distinct $x_1,x_2\in X$ it holds $(x_1,y),\,(x_2,y)\in R$, hence, ${\operatorname{dis}}R\ge|x_1x_2|\ge{\delta}(X)=6{\delta}$. Therefore, $d_{GH}(X,Y)\ge3{\delta}$, a contradiction.

So, $Y=\{y_1,\ldots,y_n\}$. Choose an arbitrary $R\in{\mathcal{R}}^0_{{\operatorname{opt}}}(X,Y)$. If $R$ is not a bijection, then we can apply the arguments we used just above and come to a contradiction again. Thus, $R$ has to be a bijection. Renumbering if necessary the elements from $Y$, without loss of generality we can assume that $y_i=R(x_i)$ for all $1\le i\le n$. Now, show that $R$ is a structural isomorphism. Notice that for any $1\le i,\,j\le n$ the relations $$\bigl||y_iy_j|-|x_ix_j|\bigr|\le{\operatorname{dis}}R=2d_{GH}(X,Y)<2{\delta}={\delta}(X)/3$$ are valid, and hence, if $0<|x_ix_j|<|x_px_q|$, then we have $|y_py_q|-|y_iy_j|>{\delta}(X)/3>0$, because $|x_px_q|-|x_ix_j|\ge{\delta}(X)$.

Therefore, $\big|\nu(X)\nu(Y)\big|=\frac12{\operatorname{dis}}R=d_{GH}(X,Y)$, thus, the mapping $\nu$ is an isometry.

It remains to show that $\nu$ is surjective. Choose an arbitrary $Z=({\rho}_{12},\ldots,{\rho}_{(n-1)n})\in V$, and for every $1\le i<j\le n$ put ${\rho}_{ji}={\rho}_{ij}$. Since $Z\in U_{\delta}\bigl(\nu(X)\bigr)$, we have $\bigl|{\rho}_{ij}-|x_ix_j|/2\bigr|<{\delta}$ for all distinct $1\le i,\,j\le n$. Choose arbitrary pairwise distinct $1\le i,\,j,\,k\le n$, then $${\rho}_{ij}+{\rho}_{jk}-{\rho}_{ik}>\frac12\bigl(|x_ix_j|+|x_jx_k|-|x_ix_k|\bigr)-3{\delta}\ge{\delta}(X)/2-{\delta}(X)/2=0.$$ Besides ${\rho}_{ij}>|x_ix_j|/2-{\delta}\ge{\delta}(X)/2-{\delta}(X)/6>0$. Thus, the values $2{\rho}_{ij}$ generates a metric $|y_iy_j|=2{\rho}_{ij}$ on the set $\{y_1,\ldots,y_n\}$. Let $Y=\{y_1,\ldots,y_n\}$ be the metric space obtained in this way, and let $R\in{\mathcal{R}}(X,Y)$ be the bijection $x_i\mapsto y_i$. Then $$d_{GH}(X,Y)\le\frac12{\operatorname{dis}}R=\frac12\max\Bigl\{\bigl||y_iy_j|-|x_ix_j|\bigr|\Bigr\}= \max\Bigl\{\bigl|{\rho}_{ij}-|x_ix_j|/2\bigr|\Bigr\}<{\delta},$$ thus, $Y\in U_{\delta}(X)=U$. It remains to notice that $\nu(Y)=Z$.

Isometric Embedding of a Finite Metric Space into ${\mathcal{M}}$
=================================================================

In this section we prove the weak universality of the Gromov–Hausdorff space for finite metric spaces.

Let $X$ be an arbitrary finite metric space consisting of $n$ points, and $k$ be the least integer such that $n\le k(k-1)/2$. Then $X$ can be isometrically embedded into ${\mathcal{M}}$ in such a way that its image belongs to ${\mathcal{M}}_{[k]}$.

Put $X=\{x_1,\ldots,x_n\}$. First assume that $n=k(k-1)/2$ for some $k\in{\mathbb{N}}$.

By $f{\colon}X\to{\mathbb{R}}^n_\infty$ we denote the isometric Kuratowski embedding: $f{\colon}x_i\mapsto\bigl(|x_1x_i|,\ldots,|x_nx_i|\bigr)$, see @ITMinFil. Recall that the translations are isometries of ${\mathbb{R}}^n_\infty$.

Let $d$ stand for the diameter of $X$. Consider a generic metric space $S\in{\mathcal{M}}_{[k]}$ such that ${\delta}(S)/6>d$. Put ${\delta}={\delta}(S)/6$, then $Z=\nu(S)+f(X){\subset}U_{\delta}\bigl(\nu(S)\bigr){\subset}{\mathbb{R}}^n_\infty$. As we mentioned above, the space $Z$ with the metric induced from ${\mathbb{R}}^n_\infty$ is isometric to $X$.

Put $U=U_{\delta}(S){\subset}{\mathcal{M}}_{[k]}$ and $V=U_{\delta}(\nu(S)){\subset}{\mathbb{R}}^n_\infty$, then, by Theorem \[thm:isometry\], $\nu|_U{\colon}U\to V$ is an isometry. Therefore, $\nu^{-1}(Z){\subset}{\mathcal{M}}_{[k]}{\subset}{\mathcal{M}}$ is isometric to $X$.

Now, assume that $n\ne k(k-1)/2$ for any $k\in{\mathbb{N}}$. Consider the least $k$ such that $n<k(k-1)/2$. Extend $X$ upto a metric space $Y$ consisting of $k(k-1)/2$ points. We do it in such a way that the distances between points from $X$ are preserved, and all the remaining distances are equal to the diameter $d$ of the space $X$ (it is easy to verify that $Y$ is a metric space). By the previous arguments, $Y$ is isometric to a subspace of ${\mathcal{M}}_{[k]}$, thus, $X$ is isometric to the corresponding part of this subspace.

<span>99</span> Ivanov A.O., Nikolaeva N.K., Tuzhilin A.A. *The Gromov-Hausdorff Metric on the Space of Compact Metric Spaces is Strictly Intrinsic*. <span>arXiv:1504.03830</span>, 2015. Burago D., Burago Yu., Ivanov S. *A Course in Metric Geometry*. Graduate Studies in Mathematics, vol.33. A.M.S., Providence, RI, 2001. Ivanov A.O., Iliadis S., Tuzhilin A.A. *Realizations of Gromov-Hausdorff Distance*. ArXiv e-prints, <span>arXiv:1603.08850</span>, 2016. Ivanov A.O., Tuzhilin A.A. *Gromov–Hausdorff Distance, Irreducible Correspondences, Steiner Problem, and Minimal Fillings*. ArXiv e-prints, <span>arXiv:1604.06116</span>, 2016. Ivanov A.O., Tuzhilin A.A., "One-dimensional Gromov Minimal Filling," ArXiv e-prints, <span>arXiv:1101.0106</span>, 2011.

{'source': 'arXiv_out/1604'}