# Riemannian simplices and triangulations

- 705 Downloads
- 2 Citations

## Abstract

We study a natural intrinsic definition of geometric simplices in Riemannian manifolds of arbitrary finite dimension, and exploit these simplices to obtain criteria for triangulating compact Riemannian manifolds. These geometric simplices are defined using Karcher means. Given a finite set of vertices in a convex set on the manifold, the point that minimises the weighted sum of squared distances to the vertices is the Karcher mean relative to the weights. Using barycentric coordinates as the weights, we obtain a smooth map from the standard Euclidean simplex to the manifold. A Riemannian simplex is defined as the image of this barycentric coordinate map. In this work we articulate criteria that guarantee that the barycentric coordinate map is a smooth embedding. If it is not, we say the Riemannian simplex is degenerate. Quality measures for the “thickness” or “fatness” of Euclidean simplices can be adapted to apply to these Riemannian simplices. For manifolds of dimension 2, the simplex is non-degenerate if it has a positive quality measure, as in the Euclidean case. However, when the dimension is greater than two, non-degeneracy can be guaranteed only when the quality exceeds a positive bound that depends on the size of the simplex and local bounds on the absolute values of the sectional curvatures of the manifold. An analysis of the geometry of non-degenerate Riemannian simplices leads to conditions which guarantee that a simplicial complex is homeomorphic to the manifold.

### Keywords

Riemannian centre of mass Karcher means Barycentric coordinates Triangulation Riemannian manifold Sampling conditions Riemannian simplices### Mathematics Subject Classification

57R05## 1 Introduction

In this work we study a natural definition of geometric simplices in Riemannian manifolds of arbitrary finite dimension. The definition is intrinsic; the simplex is defined by the positions of its vertices in the manifold, which need not be embedded in an ambient space. The standard definition of a Euclidean simplex as the convex hull of its vertices is not useful for defining simplices in general Riemannian manifolds. Besides the problem that convex hulls are difficult to compute (almost nothing is known about the convex hull of three distinct points, for example [4], section 6.1.3]), the resulting objects could not be used as building blocks for triangulations, i.e., they cannot be used to define geoemetric simplicial complexes. This is because if two full dimensional convex simplices share a boundary facet, that facet must itself be convex. This constrains the facet to lie on a totally geodesic submanifold (i.e., minimising geodesics between points on the facet must lie in the facet), and when the curvature is not constant such submanifolds cannot be expected to exist (see [4], Thm 58] or [16], Section 11]).

*does*extend to general Riemannian manifolds in a natural way. The construction is based on the fact that the barycentric coordinate functions can be defined by a “centre of mass” construction. Suppose \(\{v_0, \ldots , v_n\} \subset \mathbb {R}^n\), and \(\{\lambda _{i}\}_{0 \le i \le n}\) is a set of non-negative weights that sum to 1. If

*u*is the point that minimises the function

*u*in the simplex \([v_0, \ldots , v_n]\).

We can view a given set of barycentric coordinates \(\lambda = (\lambda _{0},\ldots ,\lambda _{n})\) as a point in \(\mathbb {R}^{n+1}\). The set \(\varvec{\varDelta }^{n}\) of all points in \(\mathbb {R}^{n+1}\) with non-negative coefficients that sum to 1 is called the *standard Euclidean**n*-*simplex*. Thus the minimisation of the function (1) defines a map from the standard Euclidean simplex to the Euclidean simplex \([v_0,\ldots ,v_n] \subset \mathbb {R}^n\)

If instead the points \(\{v_i\}\) lie in a convex set *W* in a Riemannian manifold \(M\), then, by using the metric of the manifold instead of \(d_{\mathbb {R}^n}\) in Eq. (1), we obtain a function \(\fancyscript{E}_{\lambda }:W \rightarrow \mathbb {R}\) that has a unique minimum \(x \in W\), provided \(W\) is sufficently small (see Sect. 2.1). In this way we obtain a mapping \(\lambda \mapsto x\) from \(\varvec{\varDelta }^{n}\) to *W*. We call the image of this map an *intrinsic simplex*, or a *Riemannian simplex*.

### 1.1 Previous work

Equation (1) defines a point with given barycentric coordinates as a weighted centre of mass. Centres of mass were apparently introduced in this context in 1929 by Cartan [13] for a finite number of points in a symmetric setting [4], Section 6.1]. Fréchet also studied such functions in a more general setting, with integrals instead of sums, in 1948 [22]. However, Karcher [26] gave an extensive treatment particular to the Riemannian setting, and averages defined in this way are often referred to as “Karcher means”.

Karcher’s exposition [26] is the standard reference for Karcher means. However, for our purposes a particularly good resource is the work by Buser and Karcher [11], Sections 6, 8]. This work was exploited by Peters [32], where Karcher means are used to interpolate between locally defined diffeomorphisms between manifolds in order to construct a global diffeomorphism in a proof of Cheeger’s finiteness theorem. Chavel [14], Ch. IX] gives a detailed exposition of Peters’s argument. Kendal [28] provides another important reference for Karcher means. Riemannian simplices are not explicitly considered in any of these works.

More recently, Rustamov [33] introduced barycentric coordinates on a surface via Karcher means. Sander [34] used the method in arbitrary dimensions to define Riemannian simplices as described above. He called them *geodesic finite elements*, reflecting the application setting in numerical solutions to partial differential equations involving functions which take values in a manifold.

Our work is motivated by a desire to develop sampling requirements for representing a compact smooth Riemannian manifold with a simplicial complex. By this we mean that we seek conditions on a finite set \(S\subset M\) that guarantee that \(S\) can be the vertex set of an (abstract) simplicial complex \(\fancyscript{A}\) that is homeomorphic to \(M\). A simplicial complex \(\fancyscript{A}\) defines a topological space, \(\left| \fancyscript{A}\right| \) called the *carrier* of \(\fancyscript{A}\). We call a homeomorphism \(H :\left| \fancyscript{A}\right| \rightarrow M\) a *triangulation* of \(M\). In this work we present criteria sufficient to construct a triangulation \(H\), given \(\fancyscript{A}\).

We are particularly interested in manifolds of dimension greater than 2. For 2-dimensional manifolds a triangulation is guaranteed to exist when \(S\) meets density requirements that can be specified either in terms of extrinsic criteria, for surfaces embedded in Euclidean space [1, 10], or in terms of intrinsic criteria [20, 29]. In higher dimensions, although it is well known that a smooth manifold admits a triangulation, to the best of our knowledge well-founded sampling conditions sufficient to guarantee the existence of a triangulation with a given sample points as vertices have yet to be described.

For arbitrary finite dimension, Cairns [12] first demonstrated that a smooth compact manifold admits a triangulation by embedding Euclidean complexes into the manifold via coordinate charts, and showing that if the complexes were sufficiently refined the embedding maps could be perturbed so that they remain embeddings and the images of simplices coincide where patches overlap, thus constructing a global embedding of a complex. Whitehead [36] refined the technique into a general approximation theory which is described in detail by Munkres [30] and is not restricted to compact manifolds. Whitney [37] used his result that a manifold can be embedded into Euclidean space to triangulate the manifold by intersecting it with a fine Cartesian grid in the ambient space. The problem has been revisited more recently in the computational geometry community, where the focus is on the algorithm used to construct a triangulation when a compact submanifold is known only through a finite set of sample points. Cheng et al. [17] used the generic triangulation result of Edelsbrunner and Shah [21] to argue that a weighted Delaunay complex will triangulate a manifold, and Boissonnat and Ghosh [9] adapted Whitney’s argument to demonstrate a triangulation by a Delaunay-based complex whose computation depends only linearly on the ambient dimension.

In every case a metric on the manifold was employed in the computation of the triangulation. A simplicial complex is constructed, some measure of simplex quality is introduced, and a lower bound on this quality measure is an essential component of the construction. In the computational geometry setting that motivated this work, the construction of the simplicial complex starts by introducing sample points on the manifold, which will serve as the vertices of the constructed complex. What becomes interesting in this context is the density of sample points that is required to construct a triangulation. Although density bounds have been made that are sufficient to construct a manifold simplicial complex, there have been no explicit estimates on sampling density sufficient to ensure the existence of a homeomorphism between the complex and the original manifold. In all of the above-mentioned triangulation results, there is only the unquantified assurance that if the maximum distance between adjacent vertices is small enough, a triangulation may be obtained.

In this work we do not address the problem of constructing a simplicial complex. We focus on the problem of establishing sampling density criteria sufficient to ensure that a given complex defines a natural triangulation. Thus our sampling density criteria are dependent on the properties of the given simplicial complex. In fact, the only quantative property of the complex that comes into play is a measure of the quality of the simplices involved. Rather than supplying sampling density estimates for triangulation that are implicitly tied to a specific construction, we provide a flexible framework that allows one to determine the sampling density sufficient to ensure a triangulation by any given construction. We express this density by a scale parameter \(h\) which is effectively an upper bound on the geodesic distance between adjacent vertices.

### 1.2 Overview

When we speak about the quality of a Euclidean simplex, we are referring to a function that parameterises how close the simplex is to being degenerate. A common quality measure for an *n*-simplex is the ratio of the volume to the *n*th power of the longest edge length. Another useful quality measure is the ratio of the smallest altitude to the longest edge length. A Euclidean simplex is degenerate if and only if its quality measure vanishes.

In this work we shed light on the relationship between the local curvature in the manifold, and the size and quality of the simplices involved in a triangulation. We articulate explicit criteria that are sufficient to guarantee that a simplicial complex with vertices on the manifold is homeomorphic to the manifold. The intrinsic simplices defined by the centre of mass construction provide a convenient tool for this purpose.

Although the idea of Riemannian simplices defined in this way has been in the mathematical community for some time (see Berger [4], 6.1.5]), we are not aware of any published work exploiting the notion (of simplices in particular) prior to that of Rustamov [33] and Sander [34]. For our purposes we need to establish a property that Sander did not consider. We need to ensure that the map from the Euclidean simplex to the manifold is a smooth embedding (i.e., the map extends to a smooth map from an open neighbourhood of the Euclidean simplex). This ensures that the barycentric coordinates mapped to the manifold do in fact provide a local system of coordinates. If the map is not a smooth embedding, we call the Riemannian simplex *degenerate*. Independently, von Deylen [19] has also treated the question of degeneracy of Riemannian simplices. His work includes a detailed analysis of the geometry of the barycentric coordinate map, and several applications. He does not address the problem of sampling criteria for triangulation.

A Euclidean simplex is non-degenerate if and only if its vertices are affinely independent. We show that a Riemannian simplex is non-degenerate if and only if for every point in the simplex the vertices are affinely independent when they are lifted by the inverse of the exponential map to the tangent space of that point.

In a two dimensional manifold this condition is satisfied for a triangle as long as the vertices do not lie on a common geodesic. Similar to the Euclidean case, such a configuration can be avoided by applying an arbitrarily small perturbation to the vertices. However, when the dimension is greater than two, a non-trivial constraint on simplex quality is required. In dimension 2 a sampling density for triangulation can be specified in terms of the convexity radius [20, 29] (maximal radius for which a geodesic ball is convex, see Sect. 2.1), and depends only on an upper bound on the sectional curvatures (Lemma 1). In dimension higher than 2, we require the simplex size (maximum edge length) to also be constrained by a lower bound on the sectional curvatures (the upper bound on the edge lengths is inversely proportional to the square root of an upper bound on the absolute value of the sectional curvatures), so we cannot express the sampling density requirements in terms of a convexity radius alone.

We may define a quality measure for a Riemannian simplex by considering the quality of the Euclidean simplex obtained by lifting the vertices to the tangent space at one of the vertices. For our purposes we require a lower bound on the smallest such quality measure when each of the vertices is considered.

The quality of the Riemannian simplex that is required to ensure that it is non-degenerate depends on the maximum edge length, as well as the magnitude of the sectional curvatures in the neighbourhood. We establish this relationship with the aid of the Rauch comparison theorem, which provides an estimate on the differences in edge lengths of Euclidean simplices obtained by lifting the vertices of the Riemannian simplex to different tangent spaces. By exploiting previously established bounds on the degradation of the quality of a Euclidean simplex under perturbations of the edge lengths [7], we establish conditions that guarantee that the Riemannian simplex is non-degenerate.

We use this result to establish conditions that guarantee that a simplicial complex is homeomorphic to the manifold. This is the primary motivation for this work. Given an abstract simplicial complex whose vertex set is identified with points on the manifold, we are ensured that it triangulates the manifold if certain conditions are met, the principle one being a relationship between the size and quality of the Riemannian simplices.

### 1.3 Outline and main results

In Sect. 2 we present the framework for centre of mass constructions, and introduce the barycentric coordinate map and Riemannian simplices. Riemannian simplices are defined (Definition 4) as the image of the barycentric coordinate map, so they are “filled in” geometric simplices. A Riemannian simplex \(\varvec{\sigma }_M\) is defined by its vertices \(\varvec{\sigma }= \{p_0, \ldots , p_n\} \subset M\), which are constrained to lie in a convex neighbourhood \(B_{\rho }\subset M\). For any \(x \in B_{\rho }\) we define a Euclidean simplex \(\varvec{\sigma }(x) \subset T_{x}{M}\) by \(\varvec{\sigma }(x) = \{v_0(x), \ldots , v_n(x)\}\), where \(v_i(x) = \exp _x^{-1}(p_i)\). We use a subscript indicating the ambient space when we are referring to a simplex as a set of non-negative barycentric coordinates, otherwise we mean a finite vertex set; the convex hull of \(\varvec{\sigma }(x)\) is \(\varvec{\sigma }_{\mathbb {E}}(x)\).

In Sect. 2.3 we give a characterisation of non-degenerate Riemannian simplices in terms of affine independence. We show that \(\varvec{\sigma }_M\) is non-degenerate if and only if \(\varvec{\sigma }(x)\) is non-degenerate for every \(x \in \varvec{\sigma }_M\).

In Sect. 3 we establish criteria to ensure that a Riemannian simplex is non-degenerate. We first review properties of Euclidean simplices, including *thickness*, the quality measure we employ. The thickness is essentially the ratio of the smallest altitude to the longest edge length of the simplex. If the edge lengths in a Euclidean simplex change by a small amount, we can quantify the change in the thickness. In particular, if \(F:\mathbb {R}^n\rightarrow \mathbb {R}^n\) is a bi-Lipschitz map, we can quantify a bound on the thickness, \(t\left( \varvec{\sigma }\right) \), of a simplex \(\varvec{\sigma }\) relative to the metric distortion (i.e., the bi-Lipschitz constant) that establishes when the Euclidean simplex \(F(\varvec{\sigma })\) is non-degenerate.

An open *geodesic ball* of radius *r* centred at \(x \in M\) is the set \(B_{M}(x;r)\) of all points in \(M\) whose geodesic distance from *x* is less than *r*. The *injectivity radius at**x*, denoted \(\iota (x)\), is the supremum of the radii *r* for which \(\exp _x\) restricts to a diffeomorphism between the Euclidean ball of radius *r* centred at \(0\in T_xM\), and \(B_{M}(x;r)\). The injectivity radius of \(M\) is the infimum of \(\iota (x)\) over all \(x\in M\), and is denoted \(\iota _{M}\).

**Theorem 1**

If *p* is a vertex in an abstract simplicial complex \(\fancyscript{A}\), we define the *star of**p* to be the subcomplex \(\underline{{{\mathrm{St}}}}(p)\) of \(\fancyscript{A}\) consisting of all simplices that contain *p*, together with the faces of these simplices. The underlying topological space (or *carrier*) of a complex \(\fancyscript{A}\) is denoted \(\left| \fancyscript{A}\right| \). We say that \(\underline{{{\mathrm{St}}}}(p)\) is a *full star* if \(\left| \underline{{{\mathrm{St}}}}(p)\right| \) is a closed topological ball of dimension *n* with *p* in its interior, and \(\fancyscript{A}\) contains no simplices of dimension greater than *n*.

In Sect. 4 we develop our sampling criteria for triangulating manifolds. We establish properties of maps whose differentials are bounded close to a fixed linear isometry, and use these properties to reveal conditions under which a full star will be embedded into a manifold. This allows us to express generic conditions that ensure that a simplicial complex is homeomorphic to the manifold. We then exploit a refinement of the Rauch theorem, and other estimates established by Buser and Karcher [11], to bound the differential of the barycentric coordinate map as required, and thus arrive at:

**Theorem 2**

*n*-dimensional Riemannian manifold with sectional curvatures \(K\) bounded by \(\left| K\right| \le \varLambda \), and \(\fancyscript{A}\) is an abstract simplicial complex with finite vertex set \(S\subset M\). Define a quality parameter \(t_0> 0\), and let

- 1.
For every \(p \in S\), the vertices of \(\underline{{{\mathrm{St}}}}(p)\) are contained in \(B_{M}(p;h)\), and the balls \(\{B_{M}(p;h)\}_{p \in S}\) cover \(M\).

- 2.
For every \(p \in S\), the restriction of the inverse of the exponential map \(\exp _p^{-1}\) to the vertices of \(\underline{{{\mathrm{St}}}}(p) \subset \fancyscript{A}\) defines a piecewise linear embedding of \(\left| \underline{{{\mathrm{St}}}}(p)\right| \) into \(T_{p}{M}\), realising \(\underline{{{\mathrm{St}}}}(p)\) as a full star such that every simplex \(\varvec{\sigma }(p)\) has thickness \(t\left( \varvec{\sigma }(p)\right) \ge t_0\).

The techniques employed to obtain Theorem 2 exploit stronger bounds on the differential of the exponential map, and provide a slightly better bound for non-degeneracy than the one stated in Theorem 1, but at the expense of a stronger constraint on the allowed diameter of the simplex. This is the reason Eq. (4) appears as a stronger constraint on the thickness than the curvature controlled part of Eq. (5).

We refer to the criteria of Theorem 2 as sampling criteria, even though they require a simplicial complex for their definition. Although there is no explicit constraint on the minimal distance between points of \(S\), one is implicitly imposed by the quality constraint on the Riemannian simplices. The required sampling density depends on the quality of the Riemannian simplices, which leaves open the question of what kind of quality of simplices can we hope to attain. Recent work [7] constructs a Delaunay complex conforming to the requirements of Theorem 2 with the thickness \(t_0\) bounded by \(1/2^{\fancyscript{O}(n^3)}\). It would be interesting to see this improved.

The complex \(\fancyscript{A}\) in Theorem 2 naturally admits a piecewise linear metric by assigning edge lengths to the simplices given by the geodesic distance in \(M\) between the endpoints. In Sect. 5 we observe that in order to ensure that this does in fact define a piecewise-flat metric, we need to employ slightly stronger constraints on the scale parameter *h*. In this case, the complex \(\fancyscript{A}\) becomes a good geometric approximation of the original manifold, and we find:

**Theorem 3**

The criteria of these three theorems can also be formulated in terms of the thickness of the Euclidean simplices defined by the geodesic edge lengths of the Riemannian simplices, rather than the Euclidean simplices we find in the tangent spaces. In “Appendix 1” we briefly mention this alternative formulation of our results. We also compare the thickness quality measure for simplices with a commonly used volumetric quality measure which we call fatness.

In “Appendix 1” an alternate approach to non-degenerate Riemannian simplices is presented. This approach is based on bounding angles and edge lengths in geodesic triangles via the Toponogov comparison theorem.

## 2 Riemannian simplices

In this section we summarise the results of the theory of Riemannian centres of mass that we need in order to define Riemannian simplices. We then give an explicit description of the barycentric coordinate map that is used to define these simplices. We take the view that if the barycentric coordinate map is well defined, then the simplex is well defined, but it may be degenerate. The geodesic finite elements employed by Sander [34] are Riemannian simplices without a requirement of non-degeneracy. In Sect. 2.3 we demonstrate that non-degeneracy of a Riemannian simplex \(\varvec{\sigma }_M\) is characterised by the affine independence of the vertices when lifted to the tangent space of any point in \(\varvec{\sigma }_M\).

### 2.1 Riemannian centre of mass

We work with an *n*-dimensional Riemannian manifold \(M\). The centre of mass construction developed by Karcher [26] hinges on the notion of convexity in a Riemannian manifold. A set \(B \subseteq M\) is *convex* if any two points \(x,y \in B\) are connected by a minimising geodesic \(\gamma _{xy}\) that is unique in \(M\), and contained in \(B\). For \(c \in M\), the geodesic ball of radius *r* is the set \(B_{M}(c;r)\) of points in \(M\) whose distance from *c* is less than *r*, and we denote its closure by \(\overline{B}_{M}(c;r)\). If *r* is small enough, \(\overline{B}_{M}(c;r)\) will be convex; the following lemma quantifies “small enough”.

In order to obtain non-degeneracy criteria for Riemannian simplices we require both an upper and a lower bound on the sectional curvatures, so it is convenient to work with a bound \(\varLambda \) on the absolute value of the sectional curvatures, \(\left| K\right| \le \varLambda \). However, the *definition* of Riemannian simplices only requires an upper bound on the sectional curvatures. In order to emphasise this we introduce distinct symbols for the upper and lower bounds on the sectional curvatures. Thus \(\varLambda _{-}\le K\le \varLambda _{+}\), and \(\varLambda = \max \{\varLambda _{+}, - \varLambda _{-}\}\).

We have [14], Thm. IX.6.1]:

**Lemma 1**

*Remark 2*

*x*. Let \(K(x)\) be an upper bound on the sectional curvatures at

*x*, and denote the injectivity radius at

*x*by \(\iota (x)\). Now define \(I(x)\) and \(\varLambda _{+}(x)\) to be the infimum and supremum respectively of \(\iota (y)\) and \(K(y)\), where \(y\) ranges over the ball \(B_{M}(x;R)\) of radius

*r*. For simplicity, we will continue to refer to global bounds, but everywhere they occur a similar remark applies.

Also, in all cases where an upper bound on the sectional curvatures is employed, this bound is only relevant when it is positive. If \(M\) has non-positive curvature, then \(1 / \sqrt{\varLambda _{+}}\) may be assumed to be infinite.

*x*on the boundary of \(\overline{B}\), the gradient vector lies in a cone of outward pointing vectors. It follows that the minima of \(\fancyscript{E}_{\lambda }\) lie in \(B\). The more difficult result that the minimum is unique, Karcher showed by demonstrating that \(\fancyscript{E}_{\lambda }\) is convex. If \(B \subseteq M\) is a convex set, a function \(f :B \rightarrow \mathbb {R}\) is

*convex*if for any geodesic \(\gamma :I \rightarrow B\), the function \(f \circ \gamma \) is convex (here \(I \subseteq \mathbb {R}\) is an open interval). If \(f\) has a minimum in \(B\), it must be unique. By Eq. (7), it is the point

*x*where

**Lemma 3**

Karcher gives an explicit expression for \(C(\varLambda _{+}, \rho )\), but we will not need to refer to it here. Also, Karcher expresses the centre of mass concept in more generality by using an integral over a set whose measure is 1, rather than a weighted sum over a finite set as we have used.

### 2.2 The barycentric coordinate map

Let \(\varvec{\varDelta }^{j}\) denote the standard Euclidean *j*-simplex. This can be realised as the set of points \(\lambda \in \mathbb {R}^{j+1}\) whose components are non-negative, \(\lambda _{i} \ge 0\), and sum to one: \(\sum _i \lambda _{i} = 1\). We index the coordinates starting from zero: these are the *barycentric coordinates* on the standard simplex.

**Definition 4**

*(Riemannian simplex)*If a finite set \(\varvec{\sigma }^j = \{p_0, \ldots , p_j\} \subset M\) in an

*n*-manifold is contained in an open geodesic ball \(B_{\rho }\) whose radius, \(\rho \), satisfies Eq. (3), then \(\varvec{\sigma }^j\) is the set of vertices of a geometric

*Riemannian simplex*, denoted \(\varvec{\sigma }_M^j\), and defined to be the image of the map

*non-degenerate*if \(\fancyscript{B}_{\varvec{\sigma }^j}\) is a smooth embedding; otherwise it is

*degenerate*.

Define an *i*-face of \(\varvec{\sigma }_M^j\) to be the image of an *i*-face of \(\varvec{\varDelta }^{j}\). Since an *i*-face of \(\varvec{\varDelta }^{j}\) may be identified with \(\varvec{\varDelta }^{i}\) (e.g., by an order preserving map of the vertex indices), the *i*-faces of \(\varvec{\sigma }_M^j\) are themselves Riemannian *i*-simplices. In particular, if \(\tau \) and \(\mu \) are the vertices of Riemannian simplices \(\varvec{\tau }_M\) and \(\varvec{\mu }_M\), and \(\varvec{\sigma }^i = \tau \cap \mu \), then the Riemannian *i*-simplex \(\varvec{\sigma }_M^i\) is a face of both \(\varvec{\tau }_M\) and \(\varvec{\mu }_M\). The *edges* of a Riemannian simplex are the Riemannian 1-faces. We observe that these are geodesic segments. We will focus on full dimensional simplices, i.e., unless otherwise specified, \(\varvec{\sigma }_M\) will refer to a Riemannian simplex defined by a set \(\varvec{\sigma }\) of \(n+1\) vertices in our *n*-dimensional manifold \(M\).

*Remarks* The barycentric coordinate map \(\fancyscript{B}_{\varvec{\sigma }}\) is differentiable. This follows from the implicit function theorem, as is shown by Buser and Karcher [11], Section 8.3.3], for example. They work in local coordinates on the tangent bundle, and use the connection to split the derivative of \({{\mathrm{grad}}}\fancyscript{E}_{\lambda }:M\rightarrow TM\) into horizontal and vertical components. The strict convexity condition (8) implies that the vertical component of the derivative is full rank, and permits the use of the implicit function theorem.

The argument of Buser and Karcher assumes that the map is defined on an open domain. We observe that \(\fancyscript{B}_{\varvec{\sigma }}\) is well defined if we allow negative barycentric coordinates of small magnitude. For a sufficiently small \(\epsilon > 0\), Lemma 3 holds if the barycentric coordinates \(\lambda _{i}\) satisfy \(\sum \lambda _{i} = 1\) and \(\lambda _{i} > - \epsilon \) for all \(i \in \{0, \ldots , n\}\), albeit with \(C(\varLambda _{+}, \rho )\) replaced with a smaller positive constant. This follows from the observation that \(\frac{d^2}{dt^2}\fancyscript{E}_{\lambda }\) is continuous in the barycentric coordinates, thus since it is strictly positive on the boundary of \(\varvec{\varDelta }^{n}\), it can be extended to an open neighbourhood. This means that \(\fancyscript{B}_{\varvec{\sigma }}\) is smooth on the closed domain \(\varvec{\varDelta }^{n}\), as defined in Sect. 4.1.

Karcher himself mentioned that his result can accommodate signed measures [26], Remark 1.8], and Sander has demonstrated this in some detail [35]. However, for our current purposes we are only claiming that we can accommodate arbitrarily small negative barycentric coordinates assuming the stated bound on \(\rho _0\) (Eq. 3).

A Riemannian simplex is not convex in general, but as Karcher observed [26], being the image of the barycentric coordinate map, it will be contained in any convex set that contains the vertices of the simplex. Thus the Riemannian simplex is contained in the intersection of such sets.

Equation (3) gives an upper bound on the size of a Riemannian simplex that depends only on the injectivity radius and an *upper* bound on the sectional curvature. For example, in a non-positively curved manifold, the size of a well defined Riemannian simplex is constrained only by the injectivity radius. However, if the dimension *n* of the manifold is greater than \(2\), we will require also a *lower* bound on the sectional curvatures in order to ensure that the simplex is non-degenerate.

Lemma 3 demands that a Riemannian simplex be contained in a ball whose radius is constrained by \(\rho _0\). Thus Riemannian simplices always have edge lengths less than \(2\rho _0\). If the longest edge length, \(L\left( \varvec{\sigma }_M\right) \), of \(\varvec{\sigma }_M\) is less than \(\rho _0\), then \(\varvec{\sigma }_M\) must be contained in the closed ball of radius \(L\left( \varvec{\sigma }_M\right) \) centred at a vertex. Indeed, any open ball centred at a vertex whose radius is larger than \(L\left( \varvec{\sigma }_M\right) \), but smaller than \(\rho _0\), must contain the vertices and have a convex closure. The simplex is thus contained in the intersection of these balls. If \(L\left( \varvec{\sigma }_M\right) \ge \rho _0\), then a ball of radius \(L\left( \varvec{\sigma }_M\right) \) need not be convex. In this case we claim only that \(\varvec{\sigma }_M\) is contained in a ball of radius \(2\rho _0\) centred at any vertex.

### 2.3 The affine independence criterion for non-degeneracy

In this subsection we show that a Riemannian simplex \(\varvec{\sigma }_M\) is non-degenerate if, and only if, for any \(x \in \varvec{\sigma }_M\), the lift of the vertices by the inverse exponential map yields a non-degenerate Euclidean simplex. We first introduce some notation and terminology to better articulate this statement.

*Notation* A Euclidean simplex \(\varvec{\sigma }\) of dimension \(k\) is defined by a set of \(k+1\) points in Euclidean space \(\varvec{\sigma }= \{v_0, \ldots , v_k \} \subset \mathbb {R}^n\). In general we work with abstract simplices, even though we attribute geometric properties to the simplex, inherited from the embedding of the vertices in the ambient space (see Sect. 3.1). When we wish to make the dimension explicit, we write it as a superscript, thus \(\varvec{\sigma }^k\) is a \(k\)-simplex. Traditional “filled in” geometric simplices are denoted by boldface symbols; \(\varvec{\sigma }_{\mathbb {E}}= {{\mathrm{conv}}}(\varvec{\sigma })\) is the convex hull of \(\varvec{\sigma }\). If such a simplex is specified by a vertex list, we employ square brackets: \(\varvec{\sigma }_{\mathbb {E}}= [v_0, \ldots , v_k]\).

The *barycentric coordinate functions*\(\{ \lambda _{i} \}\) associated to \(\varvec{\sigma }\) are affine functions \(\mathbb {R}^n \rightarrow \mathbb {R}\) that satisfy \(\lambda _{i}(v_j) = \delta _{ij}\) and \(\sum _{i=0}^n \lambda _{i} = 1\). It is often convenient to choose one of the vertices, \(v_0\) say, of \(\varvec{\sigma }\) to be the origin. We let *P* be the \(n \times k\) matrix whose \(i^{\text {th}}\) column is \(v_i - v_0\). Then the barycentric coordinate functions \(\{\lambda _{i}\}\) are linear functions for \(i>0\), and they are dual to the basis defined by the columns of *P*. This means that if we represent the function \(\lambda _{i}\) as a row vector, then the matrix *Q* whose *i*th *row* is \(\lambda _{i}\) satisfies \(QP = I_{k \times k}\).

A full dimensional Euclidean simplex \(\varvec{\sigma }\) is non-degenerate, if and only if the corresponding matrix *P* is non-degenerate. In particular, if \(\varvec{\sigma }\) is full dimensional (i.e., \(k=n\)), then \(Q = {P}^{-1}\). Suppose \(\varvec{\sigma }\subset \mathbb {R}^n\) is an *n*-simplex. If \(\xi \in \mathbb {R}^n\), let \(\lambda (\xi ) = {(\lambda _{1}(\xi ), \ldots , \lambda _{n}(\xi ))}^\mathsf {T}\). Then \(\lambda (\xi )\) is the vector of coefficients of \(\xi - v_0\) in the basis defined by the columns of *P*. I.e., \(\xi - v_0 = P\lambda (\xi )\).

We will be interested in Euclidean simplices that are defined by the vertices of a Riemannian simplex: If \(\varvec{\sigma }= \{p_0, \ldots , p_n\} \subset B_{\rho }\subset M\) is the set of vertices of \(\varvec{\sigma }_M\), it is convenient to introduce the notation \(v_i(x) = \exp _x^{-1}(p_i)\), and \(\varvec{\sigma }(x) = \exp _x^{-1}(\varvec{\sigma })\). Thus \(\varvec{\sigma }(x) = \{v_0(x), \ldots , v_n(x)\}\) is a Euclidean simplex in \(T_{x}{M}\).

The norm of a vector \(v\) in a Euclidean space is denoted \(\left| v\right| \). For example, if \(v \in T_pM\), then \(\left| v\right| = \left\langle v,v\right\rangle ^{\frac{1}{2}}\), where \(\left\langle \cdot ,\cdot \right\rangle \) is inner product defined by the Riemannian metric tensor on \(M\). The differential of a map \(F :M\rightarrow \bar{M}\) is denoted by \(dF\); so \(dF_x :T_xM\rightarrow T_{F(x)}\bar{M}\) is a linear map whose operator norm is \(\left\| dF_x\right\| \). All differentiable maps, operators, and manifolds are assumed to be \(C^\infty \).

*An expression for the differential* The expression for the differential obtained in Equation (10) below is obtained as a particular case of an argument presented by Buser and Karcher [11], Section 8.3]. The argument was later exploited by Peters [32] to sharpen bounds on Cheeger’s finiteness theorem [15]. A thorough exposition appears also in Chavel [14], IX.8].

*n*-simplex \(\varvec{\sigma }_M\subset B_{\rho }\). Label the vertices of \(\tilde{\varvec{\sigma }}= \{\tilde{v}_0, \ldots , \tilde{v}_n\}\) such that \(\tilde{v}_i = \phi (p_i)\), and assume \(\tilde{v}_0\) is at the origin. The affine functions \(\lambda _{i} :u \mapsto \lambda _{i}(u)\) are the barycentric coordinate functions of \(\tilde{\varvec{\sigma }}\). We consider \({{\mathrm{grad}}}\fancyscript{E}_{\lambda }\), introduced in Eq. (7), now to be a vector field that depends on both \(u \in U\) and \(x \in B_{\rho }\). Specifically, we consider the vector field \(\nu :U \times B_{\rho }\rightarrow T_{}{M}\) defined by

*x*fixed, i.e.,

*The differential as a matrix*Recalling Eq. (9), notice that when

*x*is fixed, \(\nu \) is an affine map \(\mathbb {R}^n\supset U \rightarrow T_xM\), and so \(\left( \partial _u \nu \right) _v = \left( \partial _u \nu \right) _w\) for all \(v,w \in U\). We see that

*linear*functions, and we use the canonical identification of tangent spaces in \(\mathbb {R}^n\) to conclude that \(d\lambda _{i}(\xi ) = \lambda _{i}(\xi )\), where in the right hand side we view \(\xi \) as an element of \(\mathbb {R}^n\), rather than an element of \(T_{u}{\mathbb {R}^n}\). As discussed above, we have \(\lambda (\xi ) = \tilde{P}^{-1}\xi \), where \(\lambda (\xi ) = {(\lambda _{1}(\xi ), \ldots , \lambda _{n}(\xi ))}^\mathsf {T}\), and \(\tilde{P}\) is the matrix whose \(i^{\text {th}}\) column is \(\tilde{v}_i\). Thus, using an arbitrary linear isometry to get a coordinate system for \(T_{x}{M}\), and letting

*P*be the matrix whose \(i^{\text {th}}\) column is \((v_i(x) - v_0(x))\), we may rewrite Eq. (11) as

*P*is of full rank, and this is the case if and only if \(\varvec{\sigma }(x)\) is a non-degenerate Euclidean simplex, i.e., its vertices \(\{v_i(x)\}\) are affinely independent.

We observe that if \(db\) is non-degenerate on \(\varvec{\sigma }_M\), then \(b\) must be injective. Indeed, if \(x = b(u)\), then \(\{ \lambda _{i}(u) \}\), the barycentric coordinates of *u* with respect to \(\tilde{\varvec{\sigma }}\), are also the barycentric coordinates of the origin in \(T_{x}{M}\), with respect to the simplex \(\varvec{\sigma }(x)\). Thus if \(b(u) = x = b(\tilde{u})\), then \(\lambda _{i}(u) = \lambda _{i}(\tilde{u})\), and we must have \(\tilde{u} = u\) by the uniqueness of the barycentric coordinates.

In summary, we have

**Proposition 5**

A Riemannian simplex \(\varvec{\sigma }_M\subset M\) is non-degenerate if and only if \(\varvec{\sigma }(x) \subset T_xM\) is non-degenerate for every \(x \in \varvec{\sigma }_M\).

## 3 Non-degeneracy criteria

In this section we exploit Proposition 5 to establish geometric criteria that ensure that a Riemannian simplex is non-degenerate. In Sect. 2.3 we worked in an arbitrary coordinate chart \(\phi :M\supset W \rightarrow \mathbb {R}^n\), where the convex ball \(B_{\rho }\) containing \(\varvec{\sigma }_M\) is contained in \(W\). Now we will choose \(\phi \) to be the inverse of the exponential map at some fixed point \(p \in B_{\rho }\). Specifically, we set \(\phi = \mathbf {u}\circ \exp _p^{-1} :W \rightarrow \mathbb {R}^m\), where \(\mathbf {u}:T_pM\rightarrow \mathbb {R}^n\) is an arbitrary linear isometry that defines the \(u\)-coordinate functions in \(U = \phi (W)\). The Euclidean simplex \(\tilde{\varvec{\sigma }}\) in the coordinate domain can now be identified with \(\varvec{\sigma }(p)\), and we observe that \(\exp _x^{-1} \circ \exp _p\) maps \(\varvec{\sigma }(p)\) to \(\varvec{\sigma }(x)\).

In Sect. 3.1 we review some properties of Euclidean simplices, including *thickness*, the quality measure that we use, and recall a lemma that bounds the difference in thickness between two simplices whose corresponding edge lengths are almost the same. Thus given an assumed thickness of \(\varvec{\sigma }(p)\), the question of whether or not \(\varvec{\sigma }_M\) is degenerate becomes a question of how much the exponential transition function (2) distorts distances. In order to address this question, we exploit the Rauch comparison theorem, which we discuss in Sect. 3.2. We put these observations together in Sect. 3.3 to obtain explicit bounds on the required quality of \(\varvec{\sigma }(p)\), relative to its size (longest edge length) and the sectional curvatures in \(B_{\rho }\).

### 3.1 The stability of Euclidean simplex quality

A Euclidean simplex \(\varvec{\sigma }= \{v_0, \ldots , v_k\} \subset \mathbb {R}^n\) has a number of geometric attributes. An *i*-face of \(\varvec{\sigma }\) is a subset of \(i+1\) vertices, and a \((k-1)\) face of a \(k\)-simplex is a *facet*. The facet of \(\varvec{\sigma }\) that does not have \(v_i\) as a vertex is denoted \({\varvec{\sigma }}_{v_i}\). The *altitude* of \(v_i \in \varvec{\sigma }\) is the distance from \(v_i\) to the affine hull of \({\varvec{\sigma }}_{v_i}\), denoted \(a_{v_i}(\varvec{\sigma })\), and the longest edge length is denoted \(L\left( \varvec{\sigma }\right) \). When there is no risk of confusion, we will omit explicit reference to the simplex, and ignore the distinction between the vertices and their labels. Thus we write \(L\), and \(a_i\) instead of \(L\left( \varvec{\sigma }\right) \) and \(a_{v_i}(\varvec{\sigma })\).

*thickness*of a \(k\)-simplex \(\varvec{\sigma }\), defined as

*degenerate*. We say that \(\varvec{\sigma }\) is \(t_0\)-thick, if \(t\left( \varvec{\sigma }\right) \ge t_0\). If \(\varvec{\sigma }\) is \(t_0\)-thick, then so are all of its faces. We write \(t\) for the thickness if the simplex in question is clear.

As discussed in Sect. 2.3, we can associate a matrix *P* to a Euclidean simplex. The quality of a simplex \(\varvec{\sigma }\) is closely related to the quality of *P*, which can be quantified by means of its *singular values*. In fact, we are only interested in the smallest and largest singular values. The smallest singular value, \(s_{k}(P) = \inf _{\left| x\right| =1}\left| Px\right| \), vanishes if and only if the matrix *P* does not have full rank. The largest singular value is the same as the operator norm of *P*, i.e., \(s_{1}(P) = \left\| P\right\| = \sup _{\left| x\right| =1}\left| Px\right| \). We have the following result [8], Lem. 2.4] relating the thickness of \(\varvec{\sigma }\) to the smallest singular value of *P*:

**Lemma 6**

*P*be the \(n \times k\) matrix whose \(i\text {th}\) column is \(v_i - v_0\). Then the \(ith\) row of the pseudo-inverse \({P}^{-1}_{\text {left}} = ({P}^\mathsf {T}P)^{-1}{P}^\mathsf {T}\) is given by \({w}^\mathsf {T}_i\), where \(w_i\) is orthogonal to \(aff({\varvec{\sigma }}_{v_i})\), and

*P*:

The appearance of the dimension *k* in the denominator in the definition of thickness is a convention introduced so that \(t\) provides a dimension-independent bound on the condition number of *P*: Since the columns of *P* have norm bounded by \(L\), we have that \(s_{1}(P) \le \sqrt{k}L\), and thus Lemma 6 implies \(\frac{s_{1}(P)}{s_{k}(P)} \le t^{-1}\). Although we adhere to definition (13) in this work, we acknowledge that this normalisation convention may obscure the relationship between simplex quality and dimension. We frequently make use of the fact that for a *k*-simplex \(\varvec{\sigma }\), we have \(kt\left( \varvec{\sigma }\right) \le 1\).

The crucial property of thickness for our purposes is its stability. If two Euclidean simplicies with corresponding vertices have edge lengths that are almost the same, then their thicknesses will be almost the same. This allows us to quantify a bound on the smallest singular value of the matrix associated with one of the simplices, given a bound on the other. To be precise, we have the following consequence of the more general Lemma 25 demonstrated in Sect. 5.1:

**Lemma 7**

*P*be the matrix whose \(i{\text {th}}\) column is \(v_i - v_0\), and define \(\tilde{P}\) similarly.

### 3.2 The Rauch comparison theorem

The Rauch theorem can be found in Buser and Karcher [11], Section 6.4] or in Chavel [14], Thm. IX.2.3], for example. In the statement of the theorem we implicitly use the identification between the tangent spaces of a tangent space and the tangent space itself.

**Lemma 8**

*r*, and if \(\varLambda _{+}> 0\), then the left inequality is valid for all

*r*.

**Lemma 9**

### 3.3 Non-degenerate Riemannian simplices

*x*and \(y\) provides an upper bound on the distance between \(F(x)\) and \(F(y)\):

*P*be the matrix associated with \(\varvec{\sigma }(p)\), and using \(C_0= 21\varLambda \rho ^2\), in Lemma 7, we find that the matrix \(\tilde{P}\) associated with \(\varvec{\sigma }(x)\) in Proposition 5 is non-degenerate if \(\varvec{\sigma }(p)\) satisfies a thickness bound of \(t_0> 10 \sqrt{\varLambda }\rho \), and we have

**Theorem 1**

The last assertion follows from the remark at the end of Sect. 2.2: If \(L\left( \varvec{\sigma }_M\right) < \rho _0\), then \(\varvec{\sigma }_M\) is contained in a closed ball of radius \(L\left( \varvec{\sigma }_M\right) \) centred at one of the vertices.

*Remark 10*

*Orientation* In Euclidean space \(\mathbb {E}^n\) we can define an orientation as an equivalence class of frames, two frames being equivalent if the linear transformation between them has positive determinant. We can likewise associate an orientation to a (non-degenerate) Euclidean *n*-simplex \(\varvec{\sigma }= \{v_0, \ldots , v_n\}\): it is the orientation associated with the basis \(\{(v_i - v_0)\}_{i \in \{1,\ldots ,n\}}\). The orientation depends on how we have indexed the points. Any even permutation of the indices yields the same orientation.

In a manifold, we can assign an orientation locally, in a neighbourhood \(U \subset M\) on which the tangent bundle admits a local trivialisation, for example. Then we can define an orientation by defining an orientation on \(T_{p}{M}\) for some \(p \in U\). If \(\varvec{\sigma }= \{p_0, \ldots , p_n\} \subset U\) defines a non-degenerate Riemannian simplex, then we can associate an orientation to that simplex: it is the orientation of \(\varvec{\sigma }(p_0) \subset T_{p_0}{M}\). Again, we will get agreement on the orientation if we perform any even permutation of the vertex indices. The reason is that our non-degeneracy assumption implies that the orientation of \(\varvec{\sigma }(p_i)\) will agree with the orientation of \(\varvec{\sigma }(p_j)\) for any \(i,j \in \{0, \ldots , n\}\).

*db*everywhere, since it does not vanish on its domain.

## 4 Triangulation criteria

We are interested in the following scenario. Suppose we have a finite set of points \(S\subset M\) in a compact Riemannian manifold, and an (abstract) simplicial complex \(\fancyscript{A}\) whose vertex set is \(S\), and such that every simplex in \(\fancyscript{A}\) defines a non-degenerate Riemannian simplex. When can we be sure that \(\fancyscript{A}\) triangulates \(M\)? Consider a convex ball \(B_{\rho }\) centred at \(p \in S\). We require that, when lifted to \(T_pM\), the simplices near *p* triangulate a neighbourhood of the origin. If we require that the simplices be small relative to \(\rho \), and triangulate a region extending to near the boundary of the lifted ball, then Riemannian simplices outside of \(B_{\rho }\) cannot have points in common with the simplices near the centre of the ball, and it is relatively easy to establish a triangulation.

*p*, (i.e., the star of

*p*) is embedded by a given map into the manifold. In order to achieve this result we require a strong constraint on the differential of the map in question. Since we work locally, in a coordinate chart, we consider maps \(F:\mathbb {R}^n \supseteq U \rightarrow \mathbb {R}^n\). We demand that for some linear isometry \(T :\mathbb {R}^n \rightarrow \mathbb {R}^n\) we have

*the same*linear isometry for all \(u \in U\).

Using a local constraint of the form (16) to establish the embedding of vertex stars, we demonstrate, in Sect. 4.1, generic criteria which ensure that a map from a simplicial complex to a Riemannian manifold is a homeomorphism. We then turn our attention to the specific case where the map in question is the barycentric coordinate map on each simplex.

Using a refinement of the Rauch theorem established by Buser and Karcher [11] we show, in Sect. 4.2, that transition functions arising from the exponential map (Eq. (2)) are subject to bounds of the form (16). Then in Sect. 4.3 we observe that the barycentric coordinate map is also subjected to such bounds, and thus yield Theorem 2 as a particular case of the generic triangulation criteria.

### 4.1 Generic triangulation criteria

We say that a map \(F :\mathbb {R}^m\rightarrow \mathbb {R}^n\) is *smooth* if it is of class \(C^\infty \). If \(A \subset \mathbb {R}^m\), then \(F :A \rightarrow \mathbb {R}^n\) is *smooth* on \(A\) if *F* can be extended to a function that is smooth in an open neighbourhood of *A*, i.e., there exists an open neighbourhood \(U \in \mathbb {R}^m\) and a smooth map \(\tilde{F} :U \rightarrow \mathbb {R}^n\) such that \(A \subseteq U\), and \(\tilde{F}|_A = F\). This definition is independent of the ambient space \(\mathbb {R}^m\) containing \(A\). In particular, if \(A \subseteq \mathbb {R}^k \subseteq \mathbb {R}^m\), then the smoothness of \(F\) does not depend on whether we consider *A* to be a subset of \(\mathbb {R}^k\) or of \(\mathbb {R}^m\). In the case that *A* is the closure of a non-empty open set, continuity of the partial derivatives implies that they are well defined on all of *A* and independent of the chosen extension. See Munkres [30], Section 1] for more details.

*n*into an

*n*-dimensional manifold \(M\). We will work within coordinate charts, so our primary focus will be on maps of the form

**Lemma 11**

*Proof*

We observe that it is sufficient to consider the case \(T = {{\mathrm{Id}}}\), because if \(\tilde{F} = T^{-1} \circ F\), then \(\left\| d\tilde{F} - {{\mathrm{Id}}}\right\| = \left\| dF - T\right\| \), and \(\left| \tilde{F}(u) - \tilde{F}(v)\right| = \left| F(u) - F(v)\right| \).

For our purposes we will be free to choose a coordinate system so that \(F\) keeps a vertex fixed. We will have use for the following observation, which can be demonstrated with an argument similar to the proof of Lemma 11.

**Lemma 12**

*Embedding complexes* In preparation for considering triangulations we first consider the problem of mappings of complexes into \(\mathbb {R}^n\).

A simplicial complex \(\fancyscript{C}\) is a set of abstract simplices such that if \(\varvec{\sigma }\in \fancyscript{C}\), then \(\tau \in \fancyscript{C}\) for every face \(\tau \subset \varvec{\sigma }\). We will only consider finite simplicial complexes. A subcomplex of \(\fancyscript{C}\) is a subset that is also a simplicial complex. The *star* of a simplex \(\varvec{\sigma }\in \fancyscript{C}\) is the smallest subcomplex of \(\fancyscript{C}\) consisting of all simplices that have \(\varvec{\sigma }\) as a face, and is denoted \(\underline{{{\mathrm{St}}}}(\varvec{\sigma })\). In particular, if *p* is a vertex of \(\fancyscript{C}\), then \(\underline{{{\mathrm{St}}}}(p)\) is the set of simplices that contain *p*, together with the faces of these simplices.

The *carrier* (“geometric realisation”) of \(\fancyscript{C}\) is denoted \(\left| \fancyscript{C}\right| \). We are interested in complexes endowed with a *piecewise flat metric*. This is a metric on \(\left| \fancyscript{C}\right| \) that can be realised by assigning lengths to the edges in \(\fancyscript{C}\) such that each simplex \(\varvec{\sigma }\in \fancyscript{C}\) is associated with a Euclidean simplex \(\varvec{\sigma }_{\mathbb {E}}\subset \left| \fancyscript{C}\right| \) that has the prescribed edge lengths. Certain constraints on the edge lengths must be met in order to define a valid piecewise flat metric, but for our current purposes we will have a metric inherited from an embedding in Euclidean space.

We say that \(\fancyscript{C}\) is *embedded* in \(\mathbb {R}^n\) if the vertices lie in \(\mathbb {R}^n\) and the convex hulls of any two simplices in \(\fancyscript{C}\) either do not interesect, or their intersection is the convex hull of a simplex in \(\fancyscript{C}\). In other words, to each \(\varvec{\sigma },\tau \in \fancyscript{C}\) we associate \(\varvec{\sigma }_{\mathbb {E}}= {{\mathrm{conv}}}(\varvec{\sigma }), \varvec{\tau }_{\mathbb {E}}= {{\mathrm{conv}}}(\tau )\), and we have \(\varvec{\sigma }_{\mathbb {E}}\cap \varvec{\tau }_{\mathbb {E}}= {{\mathrm{conv}}}(\varvec{\sigma }\cap \tau )\). The topological boundary of a set \(B \subset \mathbb {R}^n\) is denoted by \(\partial {B}\), and its topological interior by \({{\mathrm{int}}}(B)\). If \(\fancyscript{C}\) is embedded in \(\mathbb {R}^n\), and *p* is a vertex of \(\fancyscript{C}\), we say that \(\underline{{{\mathrm{St}}}}(p)\) is a *full star* if \(p \in {{\mathrm{int}}}(\left| \underline{{{\mathrm{St}}}}(p)\right| )\).

The *scale* of \(\fancyscript{C}\) is an upper bound on the length of the longest edge in \(\fancyscript{C}\), and is denoted by \(h\). We say that \(\fancyscript{C}\) is \(t_0\)-*thick* if each simplex in \(\fancyscript{C}\) has thickness greater than \(t_0\). The *dimension* of \(\fancyscript{C}\) is the largest dimension of the simplices in \(\fancyscript{C}\). We call a complex of dimension *n* an *n*-*complex*. If every simplex in \(\fancyscript{C}\) is the face of an *n*-simplex, then \(\fancyscript{C}\) is a *pure**n*-*complex*.

A map \(F:\left| \fancyscript{C}\right| \rightarrow \mathbb {R}^n\) is *smooth on*\(\fancyscript{C}\) if for each \(\varvec{\sigma }\in \fancyscript{C}\) the restriction \(F \big |_{\varvec{\sigma }_{\mathbb {E}}}\) is smooth. This means that \(d(F\big |_{\varvec{\sigma }_{\mathbb {E}}})\) is well defined, and even though \(dF\) is not well defined, we will use this symbol when the particular restriction employed is either evident or unimportant. When the underlying complex on which \(F\) is smooth is unimportant, we simply say that \(F\) is *piecewise smooth*.

*F* is *piecewise linear* if its restriction to each simplex is an affine map. The *secant map* of \(F\) is the piecewise linear map defined by the restriction of \(F\) to the vertices of \(\fancyscript{C}\).

We are interested in conditions that ensure that \(F :\left| \fancyscript{C}\right| \rightarrow \mathbb {R}^n\) is a topological embedding. Our primary concern is with the behaviour of the boundary. The reason for this is captured by the following variation of a lemma by Whitney [37], Lem AII.15a]:

**Lemma 13**

(Whitney) Let \(\fancyscript{C}\) be a (finite) simplicial complex embedded in \(\mathbb {R}^n\) such that \({{\mathrm{int}}}(\left| \fancyscript{C}\right| )\) is non-empty and connected, and \(\partial {\left| \fancyscript{C}\right| }\) is a compact \((n-1)\)-manifold. Suppose \(F :\left| \fancyscript{C}\right| \rightarrow \mathbb {R}^n\) is smooth on \(\fancyscript{C}\) and such that \(\det d(F\big |_{\varvec{\sigma }_{\mathbb {E}}}) > 0\) for each *n*-simplex \(\varvec{\sigma }\in \fancyscript{C}\). If the restriction of \(F\) to \(\partial {\left| \fancyscript{C}\right| }\) is an embedding, then \(F\) is a topological embedding.

*Proof*

The assumptions on \({{\mathrm{int}}}(\left| \fancyscript{C}\right| )\) and \(\partial {\left| \fancyscript{C}\right| }\) imply that \(\fancyscript{C}\) is a pure *n*-complex, and that each \((n-1)\) simplex is either a boundary simplex, or the face of exactly two *n*-simplices. Whitney showed [37], Lem AII.15a] that any \(x \in {{\mathrm{int}}}(\left| \fancyscript{C}\right| )\) admits an open neighbourhood \(U \subset {{\mathrm{int}}}(\left| \fancyscript{C}\right| )\) such that the restriction of \(F\) to \(U\) is a homeomorphism. In particular, \(F({{\mathrm{int}}}(\left| \fancyscript{C}\right| ))\) is open.

By the Jordan-Brouwer separation theorem [31], Section IV.7], \(\mathbb {R}^n \setminus F(\partial {\left| \fancyscript{C}\right| })\) consists of two open components, one of which is bounded. Since \(F(\left| \fancyscript{C}\right| )\) is compact, \(F({{\mathrm{int}}}(\left| \fancyscript{C}\right| ))\) must coincide with the bounded component, and in particular \(F({{\mathrm{int}}}(\left| \fancyscript{C}\right| )) \cap F(\partial {\left| \fancyscript{C}\right| }) = \emptyset \), so \(F({{\mathrm{int}}}(\left| \fancyscript{C}\right| ))\) is a single connected component.

We need to show that \(F\) is injective. First we observe that the set of points in \(F({{\mathrm{int}}}(\left| \fancyscript{C}\right| ))\) that have exaclty one point in the preimage is non-empty. It suffices to look in a neigbhourhood of a point \(y \in F(\partial {\left| \fancyscript{C}\right| })\). Choose \(y = F(x)\), where *x* is in the relative interior of \(\varvec{\sigma }_{\mathbb {E}}^{n-1} \subset \partial {\left| \fancyscript{C}\right| }\). Then there is a neighbourhood \(V\) of \(y\) such that \(V\) does not intersect the image of any other simplex of dimension less than or equal to \(n-1\). Let \(\varvec{\sigma }^n\) be the unique *n*-simplex that has \(\varvec{\sigma }^{n-1}\) as a face. Then \(F^{-1}(V \cap F(\left| \fancyscript{C}\right| ) \subset \varvec{\sigma }_{\mathbb {E}}^n\), and it follows that every point in \(V \cap {{\mathrm{int}}}(\left| \fancyscript{C}\right| )\) has a unique point in its image.

**Lemma 14**

*n*-complex embedded in \(\mathbb {R}^n\) such that all of the

*n*-simplices are incident to a single vertex,

*p*, and \(p \in {{\mathrm{int}}}(\left| \fancyscript{C}\right| )\) (i.e., \(\underline{{{\mathrm{St}}}}(p)\) is a full star). If \(F :\left| \fancyscript{C}\right| \rightarrow \mathbb {R}^n\) is smooth on \(\fancyscript{C}\), and satisfies

*n*-simplex of \(\fancyscript{C}\), then \(F\) is an embedding.

*Proof*

If \(\left| \fancyscript{C}\right| \) is convex, then the claim follows immediately from Lemma 11.

From the definition of thickness, we observe that \(nt_0\le 1\), and therefore \(\left\| dF\right\| > 0\). By Lemma 13, it suffices to consider points \(x,y \in \partial {\left| \fancyscript{C}\right| }\). Rather than integrating the differential of a direction, as we did implicitly in the proof of Lemma 11, we will integrate the differential of an angle.

Let *Q* be the 2-dimensional plane defined by \(p, x\), and \(y\). We define the angle function \(\phi :\mathbb {R}^n\rightarrow \mathbb {R}\) as follows: For \(z \in \mathbb {R}^n\), let \(\check{z}\) be the orthogonal projection of \(z\) into \(Q\). Then \(\phi (z)\) is the angle that \(\check{z}-p\) makes with \(x-p\), where the orientation is chosen so that \(\phi (y) < \pi \) (We can assume that *x* and \(y\) are not colinear with *p*, since in that case \([x,y]\) must be contained in \(\left| \fancyscript{C}\right| \), and the arguments of Lemma 11 ensure that we would not have \(F(x)=F(y)\)).

*p*. Parameterise \(\alpha \) by the angle \(\phi \), i.e., by the arc between \(\frac{x-p}{\left| x-p\right| }\) and \(\frac{y-p}{\left| y-p\right| }\) on the unit circle in \(Q\). Then \(d\phi (\alpha ') = 1\), and we have

*p*is a vertex of a \(t_0\)-thick

*n*-simplex \(\varvec{\sigma }_{\mathbb {E}}\), and \(\varvec{\tau }_{\mathbb {E}}\) is the facet opposite

*p*. Then a line

*r*through

*p*and \(\varvec{\tau }_{\mathbb {E}}\) makes an angle \(\theta \) with \(\varvec{\tau }_{\mathbb {E}}\) that is bounded by

*p*satisfies \(a_{p} \ge nt_0L\) by the definition of thickness, and the distance between

*p*and the point of intersection of

*r*with \(\varvec{\tau }_{\mathbb {E}}\) is less than \(L\).

*r*with \(\varvec{\tau }_{\mathbb {E}}\), we observe that \(d\phi (\alpha '(s)) = \left| \alpha '(s)\right| \sin \theta \), i.e., the magnitude of the component of \(\alpha '(s)\) orthogonal to

*r*. By the hypothesis (18), the angle \(\beta \) between \(dF\alpha '(s)\) and \(\alpha '(s)\) satisfies \(\sin \beta < nt_0\). Therefore

*Triangulations* For our purposes a *manifold* is always compact and without boundary. A simplicial complex \(\fancyscript{A}\) is a *manifold simplicial complex* if \(\left| \fancyscript{A}\right| \) is a topological manifold. A *triangulation* of a manifold \(M\) is a homeomorphism \(H :\left| \fancyscript{A}\right| \rightarrow M\), where \(\fancyscript{A}\) is a simplicial complex. If \(M\) is a differentiable manifold, then \(H\) is a *smooth triangulation* if it is smooth on \(\fancyscript{A}\), i.e., the restriction of \(H\) to any simplex in \(\fancyscript{A}\) is smooth. We are concerned with smooth triangulations of compact Riemannian manifolds.

Our homeomorphism argument is based on the following observation:

**Lemma 15**

Let \(\fancyscript{A}\) be a manifold simplicial complex of dimension *n* with finite vertex set \(S\), and let \(M\) be a compact *n*-manifold. Suppose \(H :\left| \fancyscript{A}\right| \rightarrow M\) is such that for each \(p \in S, H \big |_{\left| \underline{{{\mathrm{St}}}}(p)\right| } :\left| \underline{{{\mathrm{St}}}}(p)\right| \rightarrow M\) is an embedding. If for each connected component \(M_i\) of \(M\) there is a point \(y \in M_i\) such that \(h^{-1}(y)\) contains exactly one point in \(\left| \fancyscript{A}\right| \), then \(H\) is a homeomorphism.

*Proof*

The requirement that the star of each vertex be embedded means that \(H\) is locally a homeomorphism, so it suffices to observe that it is bijective. It is surjective by Brouwer’s invariance of domain; thus \(H\) is a covering map. The requirement that each component of \(M\) has a point with a single point in its pre-image implies that \(H :\left| \fancyscript{A}\right| \rightarrow M\) is a single-sheeted covering, and therefore a homeomorphism. \(\square \)

The following proposition generically models the situation we will work with when we describe a triangulation by Riemannian simplices:

**Proposition 16**

*n*-complex with finite vertex set \(S\), and \(M\) a compact Riemannian manifold with an atlas \(\{(W_p,\phi _p)\}_{p \in S}\) indexed by \(S\). Suppose

- 1.
For each \(p \in S\) the secant map of \(\phi _p \circ H\) restricted to \(\left| \underline{{{\mathrm{St}}}}(p)\right| \) is a piecewise linear embedding \(\fancyscript{L}_p :\left| \underline{{{\mathrm{St}}}}(p)\right| \rightarrow \mathbb {R}^n\) such that each simplex \(\varvec{\sigma }\in \fancyscript{C}_p = \fancyscript{L}_p(\underline{{{\mathrm{St}}}}(p))\) is \(t_0\)-thick, and \(\left| \fancyscript{C}_p\right| \subset B_{\mathbb {R}^n}(\fancyscript{L}_p(p);h)\), with \(\fancyscript{L}_p(p) \in {{\mathrm{int}}}(\left| \fancyscript{C}_p\right| )\). The scale parameter \(h\) must satisfy \(h < \frac{\iota _{M}}{4}\), where \(\iota _{M}\) is the injectivity radius of \(M\).

- 2.
For each \(p \in S, \phi _p :W_p \mathop {\longrightarrow }\limits ^{\cong } U_p \subset \mathbb {R}^n\) is such that \(\overline{B} = \overline{B}_{\mathbb {R}^n}(\fancyscript{L}_p(p);\frac{3}{2}h) \subseteq U_p\), and \(\left\| (d\phi _p^{-1})_u\right\| \le \frac{4}{3}\), for every \(u \in \overline{B}\).

- 3.The mapsatisfies$$\begin{aligned} F_p = \phi _p \circ H \circ \fancyscript{L}_p^{-1} :\left| \fancyscript{C}_p\right| \rightarrow \mathbb {R}^n\end{aligned}$$on each$$\begin{aligned} \left\| (dF_p)_u-{{\mathrm{Id}}}\right\| \le \frac{nt_0}{2} \end{aligned}$$
*n*-simplex \(\varvec{\sigma }\in \fancyscript{C}_p\), and every \(u \in \varvec{\sigma }_{\mathbb {E}}\).

*H*is a smooth triangulation of \(M\).

*Proof*

By Lemma 14, \(F_p\) is a homeomorphism onto its image. It follows then that \(H\big |_{\left| \underline{{{\mathrm{St}}}}(p)\right| }\) is an embedding for every \(p\in S\). Therefore, since \(\left| \fancyscript{A}\right| \) is compact, \(H :\left| \fancyscript{A}\right| \rightarrow M\) is a covering map.

*p*a vertex of \(\varvec{\sigma }_{\mathbb {E}}\), let \(\tilde{x} = \fancyscript{L}_p(x) \in \left| \fancyscript{C}_p\right| \). Then the bound on \(dF\) implies that \(\left| F_p(\tilde{x}) - \fancyscript{L}_p(p)\right| \le \left( 1 + \frac{nt_0}{2} \right) h \le \frac{3}{2}h\), so \(F_p(\tilde{x}) \in \overline{B}\). Since \(\phi _p^{-1} \circ F_p(\tilde{x}) = H(x)\), and

Suppose \(y \in \left| \fancyscript{A}\right| \) with \(H(y) = H(x)\). Let \(\tau \in \fancyscript{A}\) with \(y \in \varvec{\tau }_{\mathbb {E}}\), and \(q \in \tau \) a vertex. Then \(d_{M}(H(p),H(q)) \le 4h < \iota _{M}\). Thus there is a path \(\gamma \) from \(H(x)\) to \(H(p)\) to \(H(q)\) to \(H(y) = H(x)\) that is contained in the topological ball \(B_{M}(H(p);\iota _{M})\), and is therefore null-homotopic. Since \(H\) is a covering map, this implies that \(x = y\). Thus \(H\) is injective, and therefore defines a smooth triangulation. \(\square \)

### 4.2 The differential of exponential transitions

If there is a unique minimising geodesic from *x* to \(y\), we denote the parallel translation along this geodesic by \(T_{yx}\). As a preliminary step towards exploiting Proposition 16 in the context of Riemannian simplices, we show here that the estimates of Buser and Karcher [11], Section 6] imply

**Proposition 17**

The primary technical result that we use in the demonstration of Proposition 17 is a refinement of the Rauch theorem demonstrated by Buser and Karcher [11], Section 6.4]. We make use of a simplified particular case of their general result:

**Lemma 18**

*x*and

*p*. If \(v = \exp _p^{-1}(x)\), and

*Proof*

*w*perpendicular to

*v*, and as long as \(\mathbf {S}_{\kappa }\) is nonnegative. Here \(\kappa \) is arbitrary, and \(\lambda = \max \{\varLambda _{+}- \kappa , \kappa - \varLambda _{-}\}\).

We obtain a bound on the differential of the inverse of the exponential map from Lemma 18 and the following observation:

**Lemma 19**

*Proof*

We first bound \(\left\| A^{-1}\right\| = s_{n}(A)^{-1}\), the inverse of the smallest singular value. Since \(s_{n}(A) = s_{n}(T^{-1}A)\), and \(\left\| T^{-1}A - {{\mathrm{Id}}}\right\| \le \eta \), we have \(\left| s_{n}(A) - 1\right| \le \eta \). Thus \(s_{n}(A)^{-1} \le (1-\eta )^{-1} \le 1 + 2\eta \).

**Lemma 20**

*Proof*

In order to compare \(T_{xp}\) with \(T_{xy}T_{yp}\) we exploit further estimates demonstrated by Buser and Karcher. If \(\alpha :[0,1] \rightarrow M\) is a curve, let \(T_{\alpha (t)} :T_{\alpha (0)}M\rightarrow T_{\alpha (t)}M\) denote the parallel translation operator (we do not require that \(\alpha \) be a minimising geodesic). Buser and Karcher [11], Sections 6.1, 6.2] bound the difference in the parallel translation operators between two homotopic curves:

**Lemma 21**

*p*to \(q\), and let

In our case the two curves of interest form the edges of a geodesic triangle. A *geodesic triangle* in \(M\) is a set of three points (vertices) such that each pair is connected by a unique minimising geodesic, together with these three minimising geodesics (edges). Any three points in a convex set are the vertices of a geodesic triangle. Buser and Karcher [11], Section 6.7] demonstrate an estimate of A. D. Aleksandrow that says that the edges of a small geodesic triangle are the boundary of a topological disk whose area admits a natural bound:

**Lemma 22**

*pxy*form the boundary of an immersed topological disk whose area \(\mathfrak {a}\) satisfies

*pxy*satisfies

### 4.3 Triangulations with Riemannian simplices

Choose a vertex \(p_0\) of \(\varvec{\sigma }_M\), and an arbitrary linear isometry \(u :T_{p_0}M\rightarrow \mathbb {R}^n\) to establish a coordinate system on \(T_{p_0}{M}\), i.e., \(v_0(p_0)\) remains the origin. Let *P* be the matrix whose *i*th column is \(v_i(p_0)\). For \(x \in B_{\rho }\), rather than placing an arbitrary coordinate system on \(T_xM\), we identify \(T_{p_0}M\) and \(T_xM\) by the parallel translation operator \(T_{p_0x}\), i.e., use \(u \circ T_{p_0x}\) for coordinates. Let \(\tilde{P}\) be the matrix whose \(i^{\text {th}}\) column is \(v_i(x) - v_0(x)\).

*P*and \(\tilde{P}\):

**Theorem 2**

*n*-dimensional Riemannian manifold with sectional curvatures \(K\) bounded by \(\left| K\right| \le \varLambda \), and \(\fancyscript{A}\) is an abstract simplicial complex with finite vertex set \(S\subset M\). Define a quality parameter \(t_0> 0\), and let

- 1.
For every \(p \in S\), the vertices of \(\underline{{{\mathrm{St}}}}(p)\) are contained in \(B_{M}(p;h)\), and the balls \(\{B_{M}(p;h)\}_{p \in S}\) cover \(M\).

- 2.
For every \(p \in S\), the restriction of the inverse of the exponential map \(\exp _p^{-1}\) to the vertices of \(\underline{{{\mathrm{St}}}}(p) \subset \fancyscript{A}\) defines a piecewise linear embedding of \(\left| \underline{{{\mathrm{St}}}}(p)\right| \) into \(T_{p}{M}\), realising \(\underline{{{\mathrm{St}}}}(p)\) as a full star such that every simplex \(\varvec{\sigma }(p)\) has thickness \(t\left( \varvec{\sigma }(p)\right) \ge t_0\).

## 5 The piecewise flat metric

The complex \(\fancyscript{A}\) described in Theorem 2 naturally inherits a piecewise flat metric from the construction. The length assigned to an edge \(\{p,q\} \in \fancyscript{A}\) is the geodesic distance in \(M\) between its endpoints: \(\ell _{pq} = d_{M}(p,q)\). We first examine, in Sect. 5.1, conditions which ensure that this assignment of edge lengths does indeed make each \(\varvec{\sigma }\in \fancyscript{A}\) isometric to a Euclidean simplex. With this piecewise flat metric on \(\fancyscript{A}\), the barycentric coordinate map is a bi-Lipschitz map between metric spaces \(H :\left| \fancyscript{A}\right| \rightarrow M\). In Sect. 5.2 we estimate the metric distortion of this map.

Several of the lemmas in this section are generalisations of lemmas that appeared in [7], Section A.1]. The arguments are essentially the same, but we have included the proofs here for convenience.

### 5.1 Euclidean simplices defined by edge lengths

If *G* is a symmetric positive definite \(n \times n\) matrix, then it can be written as a Gram matrix, \(G = {P}^\mathsf {T}P\) for some \(n \times n\) matrix *P*. Then *P* describes a Euclidean simplex with one vertex at the origin, and the other vertices defined by the column vectors. The matrix *P* is not unique, but if \(G= {Q}^\mathsf {T}Q\), then \(Q = OP\) for some linear isometry *O*. Thus a symmetric positive definite matrix defines a Euclidean simplex, up to isometry.

*G*defined by

We would like to use the smallest eigenvalue of *G* to estimate the thickness of \(\varvec{\sigma }_{\mathbb {E}}\), however, an unfortunate choice of vertex labels can prevent us from doing this easily. We make use of the following observation:

**Lemma 23**

*P*be the \(n\times k\) matrix whose

*i*th column is \(v_i - v_0\). If for some \(i\ne 0\), an altitude at least as small as \(a_0\) is realised, i.e, \(a_i \le a_0\), then

*Proof*

*G*is positive definite, then we may write \(G= {P}^\mathsf {T}P\), where

*P*is a matrix describing \(\varvec{\sigma }_{\mathbb {E}}= [v_0, \ldots , v_k]\), with the edge lengths \(\{\ell _{ij}\}\) dictating the vertex labelling. If \(\mu _k(G) = s_{k}(P)^2\) is the smallest eigenvalue of

*G*, then

*provided some vertex other than*\(v_0\)

*realises the smallest altitude in*\(\varvec{\sigma }_{\mathbb {E}}\), Lemma 23 yields

**Lemma 24**

*i*th column is \(\tilde{v}_i - \tilde{v}_0\), and define the matrix

*G*by

*E*be the matrix that records the difference between

*G*and the Gram matrix \({\tilde{P}}^\mathsf {T}\tilde{P}\):

*Proof*

We have the following extension of the “Thickness under distortion” Lemma 7 ([7], Section 4.2]):

**Lemma 25**

*P*be matrices whose \(i^{\text {th}}\) column is given by \(\tilde{v}_i - \tilde{v}_0\), and \(v_i-v_0\) respectively. Then

*Proof*

If \(\tilde{\varvec{\sigma }}\) is degenerate, then by (23), \(\{\ell _{ij}\}\) is the set of edge lengths of \(\tilde{\varvec{\sigma }}\) and there is nothing to prove. Therefore, assume \(t\left( \tilde{\varvec{\sigma }}\right) >0\).

*G*be the matrix defined by Eq. (20), and define the matrix

*E*by \(G= {\tilde{P}}^\mathsf {T}\tilde{P} + E\), and let

*x*be a unit eigenvector of

*G*associated with the smallest eigenvalue \(\mu _k\). Then

Under the conditions of Theorem 2 we may have \(h^2 \varLambda = \frac{n t_0^2}{36}\), which gives us \(\eta = \frac{n}{18}\). Thus when \(n \ge 18\) we require stronger bounds on the scale than those imposed by Theorem 2 if we wish to ensure the existence of a piecewise flat metric on \(\fancyscript{A}\). Reducing the curvature controlled constraint on \(h\) in Theorem 2 by a factor of \(1/\sqrt{n}\) gives us \(\eta = \frac{1}{18}\), and Lemma 25 yields:

**Proposition 26**

### 5.2 Metric distortion of the barycentric coordinate map

In the context of Theorem 2 the barycentric coordinate map on each simplex defines a piecewise smooth homeomorphism \(H :\left| \fancyscript{A}\right| \rightarrow M\). If the condition of Proposition 26 is also met, then \(\fancyscript{A}\) is naturally endowed with a piecewise flat metric. We wish to compare this metric with the Riemannian metric on \(M\). It suffices to consider an *n*-simplex \(\varvec{\sigma }\in \fancyscript{A}\), and establish bounds on the singular values of the differential \(dH\). If \(p \in \varvec{\sigma }\), then we can write \(H \big |_{\varvec{\sigma }_{\mathbb {E}}} = b\circ \fancyscript{L}_p\), where \(\fancyscript{L}_p :\varvec{\sigma }_{\mathbb {E}}\rightarrow \varvec{\sigma }_{\mathbb {E}}(p)\) is the linear map that sends \(\varvec{\sigma }\in \fancyscript{A}\) to \(\varvec{\sigma }(p) \in T_pM\).

A bound on the metric distortion of a linear map that sends one Euclidean simplex to another is a consequence of the following (reformulation of [7], Lem A.4]):

**Lemma 27**

*P*and \(\tilde{P}\) are non-degenerate \(k \times k\) matrices such that

*Proof*

Lemma 27 implies:

**Lemma 28**

*i*, and \(C_0\le \frac{2}{3}\), then for all \(x,y \in \mathbb {R}^n\),

*Proof*

Let *P* be the matrix whose *i*th column is \(v_i - v_0\), and let \(\tilde{P}\) be the matrix whose \(i^{\text {th}}\) column is \(\tilde{v}_i - \tilde{v}_0\). Then we have the matrix form \(A(x) = \tilde{P}P^{-1}x +(\tilde{v}_0 - \tilde{P}P^{-1}v_0)\). It follows then from Lemma 27 that \(\eta \le s_{n}(P)^{-2}s_{1}(E)\), where \(E = {\tilde{P}}^\mathsf {T}\tilde{P} - {P}^\mathsf {T}P\).

By Lemma 24, \(s_{1}(E) \le 4n C_0L\left( \varvec{\sigma }\right) ^2\), and by Lemma 6, \(s_{n}(P)^2 \ge n t\left( \varvec{\sigma }\right) ^2L\left( \varvec{\sigma }\right) ^2\), and the result follows. \(\square \)

*A*in Lemma 28 is a linear map, then the lemma states that \(s_{1}(A) \le 1+\eta \) and \(s_{n}(A) \ge 1 - \eta \). We use this to estimate the metric distortion of \(H|_{\varvec{\sigma }_{\mathbb {E}}} = b\circ \fancyscript{L}_p\). Under the assumption of Proposition 26, specifically, given that \(h \le \frac{t_0}{6\sqrt{\varLambda }}\), we again exploit Eq. (24), so

**Theorem 3**

## Footnotes

## Notes

### Acknowledgments

We thank Stefan von Deylen for pointing out the work of Sander [34], and for stimulating discussions. We have also benefited from discussions with Arijit Ghosh. This research has been partially supported by the 7th Framework Programme for Research of the European Commission, under FET-Open Grant Number 255827 (CGL Computational Geometry Learning).

### References

- 1.Amenta, N., Choi, S., Dey, T.K., Leekha, N.: A simple algorithm for homeomorphic surface reconstruction. Int. J. Comput. Geom. Appl.
**12**(2), 125–141 (2002)MATHMathSciNetCrossRefGoogle Scholar - 2.Berger, M.: Geometry I. Universitext. Springer, Berlin (1987)CrossRefGoogle Scholar
- 3.Berger, M.: Geometry II. Universitext. Springer, Berlin (1987)CrossRefGoogle Scholar
- 4.Berger, M.: A Panoramic View of Riemannian Geometry. Springer, Berlin (2003)MATHCrossRefGoogle Scholar
- 5.Bhatia, R.: Matrix Analysis. No. 169 in Graduate Texts in Mathematics. Springer, Berlin (1997)Google Scholar
- 6.Bhatia, R., Friedland, S.: Variation of Grassman powers and spectra. Linear Algebra Appl.
**40**, 1–18 (1981)MATHMathSciNetCrossRefGoogle Scholar - 7.Boissonnat, J.D., Dyer, R., Ghosh, A.: Delaunay Triangulation of Manifolds. Research Report RR-8389, INRIA (2013) (also arXiv:1311.0117)
- 8.Boissonnat, J.D., Dyer, R., Ghosh, A.: The Stability of Delaunay Triangulations. Research report RR-8276, INRIA (2013) (to appear in Int. J. Comput. Geom. Appl. special issue for SoCG 2012)Google Scholar
- 9.Boissonnat, J.D., Ghosh, A.: Manifold reconstruction using tangential Delaunay complexes. Discrete Comput. Geom.
**51**(1), 221–267 (2014)MATHMathSciNetCrossRefGoogle Scholar - 10.Boissonnat, J.D., Oudot, S.: Provably good sampling and meshing of surfaces. Gr. Models
**67**(5), 405–451 (2005)MATHCrossRefGoogle Scholar - 11.Buser, P., Karcher, H.: Gromov’s Almost Flat Manifolds, Astérique, vol. 81. Société mathématique de France, Paris (1981)Google Scholar
- 12.Cairns, S.S.: On the triangulation of regular loci. Ann. Math. Second Ser.
**35**(3), 579–587 (1934). doi:10.2307/1968752 MathSciNetCrossRefGoogle Scholar - 13.Cartan, E.: Groupes simples clos et ouverts et géométrie riemanienne. Journal Mathématiques Pures et Appliquées
**8**, 1–33 (1929)MATHGoogle Scholar - 14.Chavel, I.: Riemannian Geometry: A Modern Introduction. No. 98 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2006)CrossRefGoogle Scholar
- 15.Cheeger, J.: Finiteness theorems for Riemannian manifolds. Am. J. Math.
**92**(1), 61–74 (1970)MATHMathSciNetCrossRefGoogle Scholar - 16.Chen, B.Y.: Riemannian submanifolds. In: Handbook of Differential Geometry, vol. I, pp. 187–418. North-Holland, Amsterdam (2000). doi:10.1016/S1874-5741(00)80006-0
- 17.Cheng, S.W., Dey, T.K., Ramos, E.A.: Manifold reconstruction from point samples. In: SODA, pp. 1018–1027 (2005)Google Scholar
- 18.Coxeter, H.: Non-Euclidean Geometry, 6th edn. The Mathematical Association of America, Washington (1998)MATHGoogle Scholar
- 19.von Deylen, S.W.: Numerische approximation in riemannschen mannigfaltigkeiten mithilfe des karcher’schen schwerpunktes. Ph.D. thesis, Freie Universität Berlin (2014) (to appear)Google Scholar
- 20.Dyer, R., Zhang, H., Möller, T.: Surface sampling and the intrinsic Voronoi diagram. Comput. Gr. Forum
**27**(5), 1393–1402 (2008). (Special Issue of Symp. Geometry Processing)CrossRefGoogle Scholar - 21.Edelsbrunner, H., Shah, N.R.: Triangulating topological spaces. Int. J. Comput. Geom. Appl.
**7**(4), 365–378 (1997)MATHMathSciNetCrossRefGoogle Scholar - 22.Fréchet, M.: Les éléments aléatoires de nature quelconque dans un espace distancié. Annales de l’Institut Henri Poincaré
**10**, 215–310 (1948)Google Scholar - 23.Friedland, S.: Variation of tensor powers and spectra. Linear Multilinear Algebra
**12**, 81–98 (1982)MATHMathSciNetCrossRefGoogle Scholar - 24.Golub, G.H., Van Loan, C.F.: Matrix Computations, vol. 3. JHU Press, Baltimore (1996)MATHGoogle Scholar
- 25.Ipsen, I., Rehman, R.: Perturbation bounds for determinants and characteristic polynomials. Soc. Ind. Appl. Math. J. Matrix Anal. Appl.
**30**(2), 762–776 (2008)MATHMathSciNetCrossRefGoogle Scholar - 26.Karcher, H.: Riemannian center of mass and mollifier smoothing. Commun. Pure Appl. Math.
**30**, 509–541 (1977)MATHMathSciNetCrossRefGoogle Scholar - 27.Karcher, H.: Riemannian comparison constructions. In: Chern, S. (ed.) Global Differential Geometry, pp. 170–222. The Mathematical Association of America, Washington (1989)Google Scholar
- 28.Kendall, W.: Probability, convexity, and harmonic maps with small image I: uniqueness and fine existence. Proc. Lond. Math. Soc.
**s3–61**(Issue 2), 371–406 (1990)MathSciNetCrossRefGoogle Scholar - 29.Leibon, G.: Random Delaunay Triangulations, the Thurston–Andreev Theorem, and Metric Uniformization. Ph.D. thesis, UCSD (1999). arXiv:math/0011016v1
- 30.Munkres, J.R.: Elementary Differential Topology, 2nd edn. Princton University Press, Princton (1968)Google Scholar
- 31.Outerelo, E., Ruiz, J.M.: Mapping Degree Theory, vol. 108. American Mathematical Society, Washington (2009)MATHGoogle Scholar
- 32.Peters, S.: Cheeger’s finiteness theorem for diffeomorphism classes of Riemannian manifolds. J. Reine Angew. Math.
**394**, 77–82 (1984)Google Scholar - 33.Rustamov, R.: Barycentric coordinates on surfaces. Eurogr. Symp. Geom. Process.
**29**(5), 1507–1516 (2010)Google Scholar - 34.Sander, O.: Geodesic finite elements on simplicial grids. Int. J. Numer. Methods Eng.
**92**(12), 999–1025 (2012). doi:10.1002/nme.4366 MathSciNetCrossRefGoogle Scholar - 35.Sander, O.: Geodesic finite elements of higher order (2013)Google Scholar
- 36.Whitehead, J.H.C.: On \(C^1\)-complexes. Ann. Math.
**41**(4), 809–824 (1940)MathSciNetCrossRefGoogle Scholar - 37.Whitney, H.: Geometric Integration Theory. Princeton University Press, Princeton (1957)MATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.