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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
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]).
Given the vertices, a geometric Euclidean simplex can also be defined as the domain on which the barycentric coordinate functions are non-negative. This definition 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
where \(d_{\mathbb {R}^n}(x,y) = \left| x-y\right| \) is the Euclidean distance, then \(u = \sum \lambda _{i} v_i\), and the \(\{\lambda _{i}\}\) are the barycentric coordinates of 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 nth 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.
The Rauch theorem establishes bounds on the norm of the differential of the exponential map, relative to the sectional curvatures. Using this we obtain a bound on the metric distortion of the transition function
which maps \(\varvec{\sigma }(p)\) to \(\varvec{\sigma }(x)\), and so we are able to establish conditions ensuring that \(\varvec{\sigma }(x)\) is non-degenerate, based on quality assumptions on \(\varvec{\sigma }(p)\).
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
(Non-degeneracy criteria) Suppose \(M\) is a Riemannian manifold with sectional curvatures \(K\) bounded by \(\left| K\right| \le \varLambda \), and \(\varvec{\sigma }_M\) is a Riemannian simplex, with \(\varvec{\sigma }_M\subset B_{\rho }\subset M\), where \(B_{\rho }\) is an open geodesic ball of radius \(\rho \) with
Then \(\varvec{\sigma }_M\) is non-degenerate if there is a point \(p \in B_{\rho }\) such that the lifted Euclidean simplex \(\varvec{\sigma }(p)\) has thickness satisfying
where \(L\left( \varvec{\sigma }_M\right) \) is the geodesic length of the longest edge in \(\varvec{\sigma }_M\).
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
(Triangulation criteria) Suppose \(M\) is a compact 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
If
-
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\).
then \(\fancyscript{A}\) triangulates \(M\), and the triangulation is given by the barycentric coordinate map on each simplex.
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
(Metric distortion) If the requirements of Theorem 2, are satisfied with the scale parameter (5) replaced by
then \(\fancyscript{A}\) is naturally equipped with a piecewise flat metric \(d_{\fancyscript{A}}\) defined by assigning to each edge the geodesic distance in \(M\) between its endpoints.
If \(H :\left| \fancyscript{A}\right| \rightarrow M\) is the triangulation defined by the barycentric coordinate map in this case, then the metric distortion induced by \(H\) is quantified as
for all \(x,y \in \left| \fancyscript{A}\right| \).
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
Suppose the sectional curvatures of \(M\) are bounded by \(K\le \varLambda _{+}\), and \(\iota _{M}\) is the injectivity radius. If
then \(\overline{B}_{M}(x;r)\) is convex. (If \(\varLambda _{+}\le 0\), we take \(1 / \sqrt{\varLambda _{+}}\) to be infinite.)
Remark 2
Lemma 1 is stated in terms of global bounds on the injectivity radii and sectional curvatures (on a non-compact manifold, these may be useless), but really we only need these bounds in a neighbourhood of 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
Then Lemma 1 holds if \(\iota _{M}\) and \(\varLambda _{+}\) are replaced by \(I(x)\) and \(\varLambda _{+}(x)\) respectively in the bound on 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.
In our context, we are interested in finding a weighted centre of mass of a finite set \(\{p_0, \ldots , p_j\} \subset B \subset M\), where the containing set \(B\) is open, and its closure \(\overline{B}\) is convex. The centre of mass construction is based on minimising the function \(\fancyscript{E}_{\lambda }:\overline{B} \rightarrow \mathbb {R}\) defined by
where the \(\lambda _{i} \ge 0\) are non-negative weights that sum to \(1\), and \(d_{M}\) is the geodesic distance function on \(M\). Karcher’s first simple observation is that the minima of \(\fancyscript{E}_{\lambda }\) must lie in the interior of \(\overline{B}\), i.e., in \(B\) itself. This follows from considering the gradient of \(\fancyscript{E}_{\lambda }\):
At any point 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
We have the following result [26], Thm 1.2]:
Lemma 3
(Unique centre of mass) If \(\{p_0, \ldots , p_j\} \subset B_{\rho } \subset M\), and \(B_{\rho }\) is an open ball of radius \(\rho \) with
then on any geodesic \(\gamma :I \rightarrow B_{\rho }\), we have
where \(C(\varLambda _{+}, \rho )\) is a positive constant depending only on \(\varLambda _{+}\) and \(\rho \). In particular, \(\fancyscript{E}_{\lambda }\) is convex and has a unique minimum in \(B_{\rho }\).
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
We say that \(\varvec{\sigma }_M^j\) is 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 ith 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].
We work in a domain \(U \subset \mathbb {R}^n\) defined by a chart \(\phi :M\supset W \rightarrow U\) such that \(B_{\rho }\subset W\). Let \(\tilde{\varvec{\sigma }}= \phi (\varvec{\sigma })\) be the image of the vertices of a Riemannian 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
Let \(b:\varvec{\tilde{\sigma }}_{\mathbb {E}}\rightarrow \varvec{\sigma }_M\) be defined by \(b= \fancyscript{B}_{\varvec{\sigma }}\circ \fancyscript{L}\), where \(\fancyscript{L}\) is the canonical linear isomorphism that takes the vertices of \(\tilde{\varvec{\sigma }}\) to those of \(\varvec{\varDelta }^{n}\), and \(\fancyscript{B}_{\varvec{\sigma }}\) is the barycentric coordinate map introduced in Definition 4. This map is differentiable, by the arguments presented by Buser and Karcher, and \(\nu (u, b(u)) = 0\) for all \(u \in \varvec{\tilde{\sigma }}_{\mathbb {E}}\). Regarding \(\nu \) as a vector field along \(b\), its derivative may be expanded as
where \(\partial _u\nu \) denotes the differential of \(\nu (u,x)\) with x fixed, i.e.,
with \(\dot{u}(0)\) denoting the tangent vector at \(0\) to some curve \(t \mapsto u(t)\) in \(U\subset \mathbb {R}^n\). Similarly \(\nabla \nu \) is the covariant differential when \(u\) is fixed:
where \(D_t\nu \) is the covariant derivative along the curve \(x(t)\). Finally \(db:T_{u}{\mathbb {R}^n} \rightarrow T_{x}{M}\) is the differential of \(b\), our barycentric coordinate map onto the Riemannian simplex \(\varvec{\sigma }_M\).
Our objective is to exhibit conditions that ensure that \(db\) is non-degenerate. It follows from the strict convexity conditon (8) of Lemma 3 that the map \(\nabla \nu :w \mapsto \nabla _w\nu \) is non-degenerate. Indeed, if \(w \in T_xM\) for some \(x \in B_{\rho }\), there is a geodesic \(\gamma :I \rightarrow B_{\rho }\) with \(\gamma '(0)=w\), and \(\frac{d^2}{dt^2}\fancyscript{E}_{\lambda }(\gamma (t))\big |_{t=0} = \left\langle \nabla _{w}\nu ,w\right\rangle > 0\). Therefore, we have that
and thus \(db\) has full rank if and only if \(\partial _u\nu \) has full rank.
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
Since \(\sum _{i=0}^n \lambda _{i} = 1\), we have that \(\sum _{i=0}^n \, d \lambda _{i} = 0\). We may thus write \(d\lambda _{0} = - \sum _{i=1}^n d\lambda _{i}\), and so for \(\xi \in T_{u}{U}\), we have
Now, since the domain of the barycentric coordinates is \(U\), and the origin of \(U \subset \mathbb {R}^n\) coincides with \(\tilde{v}_0\), the functions \(\lambda _{i}\) for \(i \in \{1,\ldots ,n \}\) are 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
From Eq. (12) we conclude that \(\partial _u \nu \) is full rank if and only if 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 })\).
The simplex quality measure that we will use is the thickness of a \(k\)-simplex \(\varvec{\sigma }\), defined as
If \(t\left( \varvec{\sigma }\right) = 0\), then \(\varvec{\sigma }\) is 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
(Thickness and singular value) Let \(\varvec{\sigma }= \{v_0, \ldots , v_k\}\) be a non-degenerate \(k\)-simplex in \(\mathbb {R}^n\), with \(k>0\), and let 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
We have the following bound on the smallest singular value of 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
(Thickness under distortion) Suppose that \(\varvec{\sigma }= \{v_0, \ldots , v_k\}\) and \(\tilde{\varvec{\sigma }}= \{\tilde{v}_0, \ldots , \tilde{v}_k\}\) are two \(k\)-simplices in \(\mathbb {R}^n\) such that
for all \(0 \le i < j \le k\). Let P be the matrix whose \(i{\text {th}}\) column is \(v_i - v_0\), and define \(\tilde{P}\) similarly.
If
then
and
3.2 The Rauch comparison theorem
The Rauch comparison theorem gives us bounds on the norm of the differential of the exponential map. This in turn implies a bound on how much the exponential map can distort distances. It is called a comparison theorem because it is implicitly comparing the exponential map on the given manifold to that on a space of constant sectional curvatures. In this context we encounter the functions
parameterised by \(\kappa \), which can be thought of as representing a constant sectional curvature.
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
(Rauch theorem) Radially the exponential map \(\exp _p :T_{p}{M} \rightarrow M\) is an isometry:
Assume the sectional curvatures, \(K\), are bounded by \(\varLambda _{-}\le K\le \varLambda _{+}\). Taking \(\left| v\right| =1\), one has for any \(w\) perpendicular to \(v\)
The inequalities hold when \(r < 2\rho _0\) (defined in Eq. (3)). Also, if \(\varLambda _{-}< 0\), then the right inequality is valid for all r, and if \(\varLambda _{+}> 0\), then the left inequality is valid for all r.
For convenience, we will use a bound on the absolute value of the sectional curvatures, rather than separate upper and lower bounds. Thus \(\left| K\right| \le \varLambda \), where \(\varLambda = \max \{ \varLambda _{+}, - \varLambda _{-}\}\). We use Taylor’s theorem to obtain
Since \(d\exp _p\) preserves the lengths of any radial vector \(v\), the bound on the distortion of the length of a vector orthogonal to \(v\) implies a bound for all vectors. We can restate the Rauch theorem in a weaker, but more convenient form:
Lemma 9
Suppose the sectional curvatures in \(M\) are bounded by \(\left| K\right| \le \varLambda \). If \(v \in T_pM\) satisfies \(\left| v\right| = r < \frac{\pi }{2\sqrt{\varLambda }}\), then for any vector \(w \in T_v(T_pM) \cong T_pM\), we have
3.3 Non-degenerate Riemannian simplices
Our goal now is to estimate the metric distortion incurred when we map a simplex from one tangent space to another via the exponential maps
and this is accomplished by the bounds on the differential. Specifically, if \(F:\mathbb {R}^n \rightarrow \mathbb {R}^n\) satisfies \(\left\| dF\right\| \le \eta \), then the length of the image of the line segment between x and \(y\) provides an upper bound on the distance between \(F(x)\) and \(F(y)\):
If \(x,p, y \in B_{\rho }\), with \(y = \exp _{p}(v)\), then \(\left| v\right| < 2\rho \), and \(\left| \exp ^{-1}_x(y)\right| < 2\rho \). Then, if \(\rho < \rho _0\) given in Eq. (3), Lemma 9 tells us that
Therefore (14) yields
We can do the same argument the other way, so
and we find
Letting 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
(Non-degeneracy criteria) Suppose \(M\) is a Riemannian manifold with sectional curvatures \(K\) bounded by \(\left| K\right| \le \varLambda \), and \(\varvec{\sigma }_M\) is a Riemannian simplex, with \(\varvec{\sigma }_M\subset B_{\rho }\subset M\), where \(B_{\rho }\) is an open geodesic ball of radius \(\rho \) with
Then \(\varvec{\sigma }_M\) is non-degenerate if there is a point \(p \in B_{\rho }\) such that the lifted Euclidean simplex \(\varvec{\sigma }(p)\) has thickness satisfying
The ball \(B_{\rho }\) may be chosen so that this inequality is necessarily satisfied if
where \(L\left( \varvec{\sigma }_M\right) \) is the geodesic length of the longest edge in \(\varvec{\sigma }_M\).
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
Using Proposition 17 and Lemma 11 of Sect. 4, we can replace Eq. (15) with
and we find, that the Riemannian simplex \(\varvec{\sigma }_M\) of Theorem 1 is non-degenerate if
but with the caveat that \(\rho \) must now satisfy \(\rho \le \frac{1}{2}\rho _0\).
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\}\).
In the particular case discussed in this section, where \(\phi = u \circ \exp _{p}^{-1}\), for \(p \in B_{\rho }\), the barycentric map \(b:\varvec{\sigma }_{\mathbb {E}}(p) \rightarrow \varvec{\sigma }_M\) is orientation preserving. Since \(\exp _x^{-1}\circ \exp _y\) is orientation preserving for any \(x,y \in B_{\rho }\), it is enough to consider the case where \(p=p_0 \in \varvec{\sigma }\). Consider Eq. (10):
By Eq. (12), we have \((\partial _u \nu )_{v_0(p_0)} = - {{\mathrm{Id}}}\). Also, it follows from Lemma 3 that \(\nabla \nu \) has positive determinant. (Buser and Karcher [11], p. 132] show that \(\nabla \nu \) is bounded near the identity), and thus so must 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.
Instead, we aim for finer local control of the geometry. We establish geometric conditions (Lemma 14) that ensure that the complex consisting of simplices incident to 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
for some \(0 \le \eta \le 1\), and all \(u \in U\). This is stronger than the kind of bounds found, for example, in the Rauch theorem (Lemma 9), which have the form
Whereas (17) implies that \(dF_u\) is close to a linear isometry at every \(u\in U\), Eq. (16) means that \(dF_u\) is close to 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.
For our purposes, we are interested in smooth maps from non-degenerate closed Euclidean simplices of dimension n into an n-dimensional manifold \(M\). We will work within coordinate charts, so our primary focus will be on maps of the form
such that Eq. (16) is satisfied for all \(u \in \varvec{\sigma }_{\mathbb {E}}^n\). As an example of how we can exploit this bound, we observe that a map satisfying Eq. (16) is necessarily an embedding with bounded metric distortion if its domain is convex:
Lemma 11
Suppose \(A \subset \mathbb {R}^n\) is convex, and \(F :A \rightarrow \mathbb {R}^n\) is a smooth map such that, for some non-negative \(\eta <1\),
for all \(u \in A\), and some linear isometry \(T :\mathbb {R}^n\rightarrow \mathbb {R}^n\). Then
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| \).
Assume \(u\ne v\). For the lower bound we consider the unit vector \(\hat{u} = \frac{u-v}{\left| u-v\right| }\), and observe that
so, by integrating along the segment \([u,v]\), we find
For the upper bound we employ the unit vector \(\hat{w} = \frac{F(u) - F(v)}{\left| F(u) - F(v)\right| }\):
\(\square \)
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
If \(A \subseteq \mathbb {R}^n\) is a convex set and \(F :A \rightarrow \mathbb {R}^n\) is a smooth map with a fixed point \(p \in A\) and
then
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.
Now the injectivity of \(F\) follows from the fact that the number of points in the preimage is locally constant on \(F({{\mathrm{int}}}(\left| \fancyscript{C}\right| )) \setminus F(\partial {\left| \fancyscript{C}\right| })\), which in our case is connected. This is a standard argument in degree theory [31], Prop. IV.1.2]: A point \(a \in F({{\mathrm{int}}}(\left| \fancyscript{C}\right| )) \setminus F(\partial {\left| \fancyscript{C}\right| })\) has \(k\) points \(\{x_1, \ldots , x_k\}\) in its preimage. There is a neighbourood \(V\) of \(a\) and disjoint neighbourhoods \(U_i\) of \(x_i\) such that \(F|_{U_i} :U_i \rightarrow V\) is a homeomorphism for each \(i \in \{1,\ldots ,k\}\). It follows that the number of points in the preimage is \(k\) for every point in the open neighbourhood of \(a\) defined as
\(\square \)
Lemma 14
(Embedding a star) Suppose \(\fancyscript{C}= \underline{{{\mathrm{St}}}}(p)\) is a \(t_0\)-thick, pure 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
on each 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)\)).
Let \(\alpha \) be the piecewise linear curve obtained by projecting the segment \([x,y] \subset Q\) onto \(\partial {\left| \fancyscript{C}\right| }\) via the radial rays emanating from 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
We will show that \(d\phi (dF\alpha '(s)) > 0\); it follows that \(\phi (F(y)) > \phi (F(x))\) and hence \(F(y) \ne F(x)\).
We need an observation about thick simplices: Suppose that 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
Indeed, the altitude of 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\).
If \(\alpha (s)\) is the point of intersection of 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
\(\square \)
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
(Triangulation) Let \(\fancyscript{A}\) be a manifold simplicial 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
satisfies:
-
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 map
$$\begin{aligned} F_p = \phi _p \circ H \circ \fancyscript{L}_p^{-1} :\left| \fancyscript{C}_p\right| \rightarrow \mathbb {R}^n\end{aligned}$$satisfies
$$\begin{aligned} \left\| (dF_p)_u-{{\mathrm{Id}}}\right\| \le \frac{nt_0}{2} \end{aligned}$$on each n-simplex \(\varvec{\sigma }\in \fancyscript{C}_p\), and every \(u \in \varvec{\sigma }_{\mathbb {E}}\).
Then 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.
Given \(x \in \left| \fancyscript{A}\right| \), with \(x \in \varvec{\sigma }_{\mathbb {E}}\), and 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
for any \(u \in \varvec{\sigma }_{\mathbb {E}}\subset \left| \fancyscript{C}_p\right| \), we have that \(d_{M}(H(p),H(x)) \le 2h\).
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
(Strong exponential transition bound) Suppose the sectional curvatures on \(M\) satisfy \(\left| K\right| \le \varLambda \). Let \(v \in T_pM\), with \(y = \exp _p(v)\). If \(x,y \in B_{M}(p;\rho )\), with
then
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
(Strong Rauch theorem) Assume the sectional curvatures on \(M\) satisfy \(\left| K\right| \le \varLambda \), and suppose there is a unique minimising geodesic between x and p. If \(v = \exp _p^{-1}(x)\), and
then
Proof
Given distinct upper and lower bounds on the sectional curvatures, \(\varLambda _{-}\le K\le \varLambda _{+}\), the result of Buser and Karcher [11], Section 6.4.2] is stated as
for any vector 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 take \(\varLambda = \max \{ \varLambda _{+}, - \varLambda _{-}\}\), and \(\kappa = 0\). The stated bound results since now \(\mathbf {S}_{\kappa }(r) = \mathbf {S}_0(r) = r\), and the constraint \(r \le \frac{\pi }{2\sqrt{\varLambda }}\) ensures that
as observed in Sect. 3.2. The result applies to all vectors since the exponential preserves lengths in the radial direction. \(\square \)
We obtain a bound on the differential of the inverse of the exponential map from Lemma 18 and the following observation:
Lemma 19
Suppose \(A :\mathbb {R}^n\rightarrow \mathbb {R}^n\) is a linear operator that satisfies
for some linear isometry \(T :\mathbb {R}^n\rightarrow \mathbb {R}^n\). If \(\eta \le \frac{1}{2}\), then
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 \).
Now write \(A = T + \eta E\), where \(\left\| E\right\| \le 1\). The trick [24], p. 50] is to observe that
and the stated bound follows. \(\square \)
Lemma 20
Suppose the sectional curvatures on \(M\) satisfy \(\left| K\right| \le \varLambda \). Let \(v \in T_pM\), with \(y = \exp _p(v)\). If \(x,y \in B_{M}(p;\rho )\), with
then
Proof
By Lemma 1, \(B_{M}(p;\rho )\) is convex. Since \(d_{M}(x,y) < 2\rho \), Lemma 18 yields \(\left\| (d\exp _x)_w - T_{yx}\right\| < 2\varLambda \rho ^2 \le \frac{1}{2}\), where \(w = \exp _x^{-1}(y)\). Since \(T_{xy} = T_{yx}^{-1}\), we may use Lemma 19 to write
where \(E\) satisfies \(\left\| E\right\| \le 1\). We obtain the result by composing this with
where \(\left\| \tilde{E}\right\| \le 1\). \(\square \)
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
(Parallel translation comparison) Let \(c_i :[0,1] \rightarrow M\) be piecewise smooth curves from p to \(q\), and let
be a piecewise smooth homotopy between \(c_1\) and \(c_2\), i.e., \(c(1,t) = c_1(t)\), and \(c(2,t) = c_2(t)\). Let \(\mathfrak {a} = \int \det dc_{(s,t)} \,dsdt\) be the area of the homotopy. If the sectional curvatures are bounded by \(\left| K\right| \le \varLambda \), then
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
(Small triangle area) Let \(p,x,y \in M\) be the edges of a geodesic triangle whose edge lengths, \(\ell _{px},\ell _{xy},\ell _{yp}\) satisfy
where \(\varLambda _{+}\) is an upper bound on the sectional curvatures of \(M\), and \(\iota _{M}\) is the injectivity radius (if \(\varLambda _{+}\le 0\), then \(\varLambda _{+}^{-\frac{1}{2}}\) is considered infinite). Then the edges of triangle pxy form the boundary of an immersed topological disk whose area \(\mathfrak {a}\) satisfies
where \(\mathfrak {a}_{\varLambda _{+}}\) is the area of a triangle with the same edge lengths in the sphere of radius \(\frac{1}{\sqrt{\varLambda _{+}}}\).
Consider \(x,y \in B_{M}(p;\rho )\), where \(\rho < \frac{1}{2}\rho _0\) and as usual \(\varLambda \) is a bound on the absolute values of the sectional curvatures. In this case, Buser and Karcher [11], Section 6.7.1] observe that the area of the triangle in the sphere of radius \(\frac{1}{\sqrt{\varLambda }}\) that has the same edge lengths as pxy satisfies
It follows then, from Lemma 21, that
This, together with Lemma 20, yields
and we obtain Proposition 17.
4.3 Triangulations with Riemannian simplices
We now exploit Proposition 17 to demonstrate that a bound of the form (16) is satisfied by the differential (10) of the barycentric coordinate map defining a Riemannian simplex \(\varvec{\sigma }_M\)
and find a bound on the scale that allows us to exploit Proposition 16.
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 ith 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)\).
Now the map
can be considered as a map \(\mathbb {R}^n\supset U \rightarrow \mathbb {R}^n\), and the matrix whose \(i^{\text {th}}\) column is \(F(v_i(p_0))\) is \(\tilde{P}\). It follows from Proposition 17 that if \(h< \frac{1}{2}\rho _0\), then for any \(u \in B_{\mathbb {R}^n}(0;h)\), we have \(\left\| (dF)_u - {{\mathrm{Id}}}\right\| \le \eta \), with \(\eta = 6\varLambda h^2\).
Lemma 12 implies a bound on the difference of the column vectors of P and \(\tilde{P}\):
It follows that \(\left\| P - \tilde{P}\right\| \le \sqrt{n}\eta L\left( \varvec{\sigma }(p_0)\right) \). Assume also that \(t\left( \varvec{\sigma }(p_0)\right) \ge t_0\). Then, recalling Eq. (12), and recognising that \(T_{xp_0}\) is represented by the identity matrix in our coordinate systems, we have
Buser and Karcher show [11], Section 8.1.3] that for any \(x \in B_{M}(p;h)\), with \(h < \rho _0\), we have
When \(h < \frac{1}{2}\rho _0\), we have \(2\varLambda h^2 < \frac{1}{2}\), and Lemma 19 yields
Therefore we have, when \(b(u) = x\)
using \(h < \frac{\pi }{8\sqrt{\varLambda }}\).
Finally, in order to employ Proposition 16 we consider the composition \(\exp ^{-1}_{p_0} \circ b\). From Lemmas 18 and 19 we have that
Therefore, since \(T_{p_0x} = T_{xp_0}^{-1}\) we have
In order to meet the conditions of Proposition 16, we require
or
We obtain
Theorem 2
(Triangulation criteria) Suppose \(M\) is a compact 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
If
-
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\).
then \(\fancyscript{A}\) triangulates \(M\), and the triangulation is given by the barycentric coordinate map on each simplex.
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.
If \(\varvec{\sigma }= \{p_0, \ldots , p_n\} \subset B_{\rho }\), is the vertex set of a Riemannian simplex \(\varvec{\sigma }_M\), we define the numbers \(\ell _{ij} = d_{M}(p_i,p_j)\). These are the edge lengths of a Euclidean simplex \(\varvec{\sigma }_{\mathbb {E}}\) if and only if the matrix G defined by
is positive definite.
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
Suppose \(\varvec{\sigma }= \{v_0, \ldots , v_k\} \subset \mathbb {R}^n\) is a Euclidean \(k\)-simplex, and let P be the \(n\times k\) matrix whose ith 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
We assume that \(\varvec{\sigma }\) is non-degenerate, since otherwise the bound is trivial. If \(v_i\) is a vertex of minimal altitude, then by Lemma 6, the \(i{\text {th}}\) row of the pseudo-inverse \({P}^{-1}_{\text {left}}\) is given by \({w_i}^\mathsf {T}\), where
It follows then that \(s_{1}({P}^{-1}_{\text {left}}) \ge (k tL)^{-1}\), and therefore \(s_{k}(P) \le k tL\), yielding the stated bound. \(\square \)
If 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
For our current purposes, we can ensure the existence, and bound the thickness of \(\varvec{\sigma }_{\mathbb {E}}\) by comparing it with a related simplex such as \(\varvec{\sigma }(p_0)\). To this end we employ the following observation (where \(\tilde{\varvec{\sigma }}\) plays the role of \(\varvec{\sigma }(p_0)\)):
Lemma 24
Suppose \(\tilde{\varvec{\sigma }} = \{\tilde{v}_0, \ldots , \tilde{v}_k\}\) is a Euclidean \(k\)-simplex, and \(\{{\ell }_{ij}\}\) is a set of positive numbers defined for all \(0 \le i\ne j \le k\) such that \({\ell }_{ij} = {\ell }_{ji}\), and
Let \(\tilde{P}\) be the matrix whose ith column is \(\tilde{v}_i - \tilde{v}_0\), and define the matrix G by
Let E be the matrix that records the difference between G and the Gram matrix \({\tilde{P}}^\mathsf {T}\tilde{P}\):
If \(C_0\le \frac{2}{3}\), then the entries of \(E\) are bounded by \(\left| E_{ij}\right| \le 4 C_0L\left( \tilde{\varvec{\sigma }}\right) ^2\), and in particular
Proof
Let \(\tilde{\ell }_{ij} = \left| \tilde{v}_i- \tilde{v}_j\right| \). By the cosine rule we have
and we obtain a bound on the magnitude of the coefficients of \(E\):
This leads us to a bound on \(s_{1}(E) = \left| E\right| \). Indeed, the magnitude of the column vectors of \(E\) is bounded by \(\sqrt{k}\) times a bound on the magnitude of their coefficients, and the magnitude of \(s_{1}(E)\) is bounded by \(\sqrt{k}\) times a bound on the magnitude of the column vectors. We obtain Eq. (22). \(\square \)
We have the following extension of the “Thickness under distortion” Lemma 7 ([7], Section 4.2]):
Lemma 25
(Abstract Euclidean simplex) Suppose \(\tilde{\varvec{\sigma }} = \{\tilde{v}_0, \ldots , \tilde{v}_k\} \subset \mathbb {R}^n\), and \(\{\ell _{ij}\}_{0\le i,j \le k}\) is a set of positive numbers defined for all \(0 \le i\ne j \le k\) such that \({\ell }_{ij} = {\ell }_{ji}\), and such that
for all \(0 \le i < j \le k\).
If
then there exists a Euclidean simplex \(\varvec{\sigma }= \{{v}_0, \ldots , {v}_k\}\) whose edge lengths are described by the numbers \(\ell _{ij}\). Let \(\tilde{P}\) and P be matrices whose \(i^{\text {th}}\) column is given by \(\tilde{v}_i - \tilde{v}_0\), and \(v_i-v_0\) respectively. Then
and the thickness of \(\varvec{\sigma }\) satisfies
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\).
Let 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
From Lemma 6 we have \(s_{k}(\tilde{P})^2 \ge k t\left( \tilde{\varvec{\sigma }}\right) ^2 L\left( \tilde{\varvec{\sigma }}\right) ^2\), and by Lemma 24 \(s_{1}(E) \le 4kC_0L\left( \tilde{\varvec{\sigma }}\right) ^2\), so by the definition (23) of \(C_0\), we have that
and thus \(G\) is positive semi-definite, and the first inequality is satisfied because \(\mu _k = s_{k}(P)^2\) and \(\sqrt{1-\eta } \ge 1-\eta \).
In order to obtain the thickness bound, we employ Lemma 23. Since thickness is independent of the vertex labelling, we may assume that some vertex other than \({v}_0\) realises the minimal altitude in \({\varvec{\sigma }}\) (if necessary, we relabel the vertices of \(\tilde{\varvec{\sigma }}\) and \({\varvec{\sigma }}\), maintaining the correspondence). Then using Lemma 23 and Lemma 6 we have
The stated thickness bound follows since \(\frac{L\left( \tilde{\varvec{\sigma }}\right) }{L\left( \varvec{\sigma }\right) } \ge \frac{1}{1 + C_0} \ge \frac{4}{5}\). \(\square \)
Now we examine whether the simplices of the complex \(\fancyscript{A}\) of Theorem 2 meet the requirements of Lemma 25. If \(\varvec{\sigma }\in \fancyscript{A}\), with \(p \in \varvec{\sigma }\), then we can use the Rauch theorem 9 to compare \(\varvec{\sigma }\) with the Euclidean simplex \(\varvec{\sigma }(p) \in T_pM\). Under the assumptions of Theorem 2, we have \(\left\| d\exp _p\right\| \le 1 +\frac{\varLambda h^2}{2}\), and \(\left\| d\exp _p^{-1}\right\| \le 1 + \frac{\varLambda h^2}{3}\). Thus
and
and we can use
in Lemma 25. Thus in order to guarantee that the \(\ell _{ij}\) describe a non-degenerate Euclidean simplex, we require that
for some non-negative \(\eta < 1\).
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
If the requirements of Theorem 2, are satisfied when the scale parameter (5) is replaced with
then the geodesic distances between the endpoints of the edges in \(\fancyscript{A}\) defines a piecewise flat metric on \(\fancyscript{A}\) such that each simplex \(\varvec{\sigma }\in \fancyscript{A}\) satisfies
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
(Linear distortion bound) Suppose that P and \(\tilde{P}\) are non-degenerate \(k \times k\) matrices such that
Then there exists a linear isometry \(\varPhi :\mathbb {R}^k \rightarrow \mathbb {R}^k\) such that
Proof
Multiplying by \({P}^{-T} := { ( {P}^\mathsf {T})}^{-1}\) on the left, and by \({P}^{-1}\) on the right, we rewrite Eq. (25) as
where \(A = \tilde{P}{P}^{-1}\), and \(F = {P}^{-T}E{P}^{-1}\). Using the singular value decomposition \(A = U_A \varSigma _A {V}^\mathsf {T}_A\), we let \(\varPhi = U_A {V}^\mathsf {T}_A\) so that
From Eq. (26) we deduce that \(s_{1}(A)^2 \le 1 + s_{1}(F)\), and also that \(s_{k}(A)^2 \ge 1 - s_{1}(F)\). Using these two inequalities we find
and thus
The result now follows from Eq. (27). \(\square \)
Lemma 27 implies:
Lemma 28
Suppose \(\varvec{\sigma }= \{v_0, \ldots , v_n\}\) and \(\tilde{\varvec{\sigma }}= \{\tilde{v}_0, \ldots , \tilde{v}_n\}\) are two Euclidean simplices in \(\mathbb {R}^n\) such that
If \(A :\mathbb {R}^n \rightarrow \mathbb {R}^n\) is the affine map such that \(A(v_i) = \tilde{v}_i\) for all i, and \(C_0\le \frac{2}{3}\), then for all \(x,y \in \mathbb {R}^n\),
where
Proof
Let P be the matrix whose ith 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 \)
Observe that if 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
and, since \(\left\| \fancyscript{L}_p\right\| ^{-1} = s_{n}(\fancyscript{L}_p^{-1}) \ge 1 - \frac{2\varLambda h^2}{t_0^2}\), and the second term is less than \(\frac{1}{2}\), we also have
Using Eq. (19) we have
and
Recalling that \(dH \big |_{\varvec{\sigma }_{\mathbb {E}}} = (db) \fancyscript{L}_p\), and \(h^2 \le \frac{t_0^2}{36\varLambda }\), we obtain
and
The bound on the differential of \(H\) and its inverse enables us to estimate the Riemannian metric on \(M\) using the piecewise flat metric on \(\fancyscript{A}\). The metric distortion bound on \(H\) is found with the same kind of calculation as exhibited in Eq. (15), for example. We find:
Theorem 3
(Metric distortion) If the requirements of Theorem 2, are satisfied with the scale parameter (5) replaced by
then \(\fancyscript{A}\) is naturally equipped with a piecewise flat metric \(d_{\fancyscript{A}}\) defined by assigning to each edge the geodesic distance in \(M\) between its endpoints.
If \(H :\left| \fancyscript{A}\right| \rightarrow M\) is the triangulation defined by the barycentric coordinate map in this case, then the metric distortion induced by \(H\) is quantified as
for all \(x,y \in \left| \fancyscript{A}\right| \).
Notes
We have included the factor \(1/k\) to shorten the calculation below.
By which we mean that following inequality implies the previous.
References
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)
Berger, M.: Geometry I. Universitext. Springer, Berlin (1987)
Berger, M.: Geometry II. Universitext. Springer, Berlin (1987)
Berger, M.: A Panoramic View of Riemannian Geometry. Springer, Berlin (2003)
Bhatia, R.: Matrix Analysis. No. 169 in Graduate Texts in Mathematics. Springer, Berlin (1997)
Bhatia, R., Friedland, S.: Variation of Grassman powers and spectra. Linear Algebra Appl. 40, 1–18 (1981)
Boissonnat, J.D., Dyer, R., Ghosh, A.: Delaunay Triangulation of Manifolds. Research Report RR-8389, INRIA (2013) (also arXiv:1311.0117)
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)
Boissonnat, J.D., Ghosh, A.: Manifold reconstruction using tangential Delaunay complexes. Discrete Comput. Geom. 51(1), 221–267 (2014)
Boissonnat, J.D., Oudot, S.: Provably good sampling and meshing of surfaces. Gr. Models 67(5), 405–451 (2005)
Buser, P., Karcher, H.: Gromov’s Almost Flat Manifolds, Astérique, vol. 81. Société mathématique de France, Paris (1981)
Cairns, S.S.: On the triangulation of regular loci. Ann. Math. Second Ser. 35(3), 579–587 (1934). doi:10.2307/1968752
Cartan, E.: Groupes simples clos et ouverts et géométrie riemanienne. Journal Mathématiques Pures et Appliquées 8, 1–33 (1929)
Chavel, I.: Riemannian Geometry: A Modern Introduction. No. 98 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2006)
Cheeger, J.: Finiteness theorems for Riemannian manifolds. Am. J. Math. 92(1), 61–74 (1970)
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
Cheng, S.W., Dey, T.K., Ramos, E.A.: Manifold reconstruction from point samples. In: SODA, pp. 1018–1027 (2005)
Coxeter, H.: Non-Euclidean Geometry, 6th edn. The Mathematical Association of America, Washington (1998)
von Deylen, S.W.: Numerische approximation in riemannschen mannigfaltigkeiten mithilfe des karcher’schen schwerpunktes. Ph.D. thesis, Freie Universität Berlin (2014) (to appear)
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)
Edelsbrunner, H., Shah, N.R.: Triangulating topological spaces. Int. J. Comput. Geom. Appl. 7(4), 365–378 (1997)
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)
Friedland, S.: Variation of tensor powers and spectra. Linear Multilinear Algebra 12, 81–98 (1982)
Golub, G.H., Van Loan, C.F.: Matrix Computations, vol. 3. JHU Press, Baltimore (1996)
Ipsen, I., Rehman, R.: Perturbation bounds for determinants and characteristic polynomials. Soc. Ind. Appl. Math. J. Matrix Anal. Appl. 30(2), 762–776 (2008)
Karcher, H.: Riemannian center of mass and mollifier smoothing. Commun. Pure Appl. Math. 30, 509–541 (1977)
Karcher, H.: Riemannian comparison constructions. In: Chern, S. (ed.) Global Differential Geometry, pp. 170–222. The Mathematical Association of America, Washington (1989)
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)
Leibon, G.: Random Delaunay Triangulations, the Thurston–Andreev Theorem, and Metric Uniformization. Ph.D. thesis, UCSD (1999). arXiv:math/0011016v1
Munkres, J.R.: Elementary Differential Topology, 2nd edn. Princton University Press, Princton (1968)
Outerelo, E., Ruiz, J.M.: Mapping Degree Theory, vol. 108. American Mathematical Society, Washington (2009)
Peters, S.: Cheeger’s finiteness theorem for diffeomorphism classes of Riemannian manifolds. J. Reine Angew. Math. 394, 77–82 (1984)
Rustamov, R.: Barycentric coordinates on surfaces. Eurogr. Symp. Geom. Process. 29(5), 1507–1516 (2010)
Sander, O.: Geodesic finite elements on simplicial grids. Int. J. Numer. Methods Eng. 92(12), 999–1025 (2012). doi:10.1002/nme.4366
Sander, O.: Geodesic finite elements of higher order (2013)
Whitehead, J.H.C.: On \(C^1\)-complexes. Ann. Math. 41(4), 809–824 (1940)
Whitney, H.: Geometric Integration Theory. Princeton University Press, Princeton (1957)
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).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: Alternate criteria
We discuss alternative formulations of our results. In Sect. 1, we consider defining the quality of Riemannian simplices in terms of Euclidean simplices defined by the geodesic edge lengths of the Riemannian simplices. In Sect. 1 we compare thickness with a volume-based quality measure for simplices that we call fatness.
1.1 In terms of the intrinsic metric
We imposed a quality bound on a Riemannian simplex \(\varvec{\sigma }_M\) by imposing a quality bound on the Euclidean simplex \(\varvec{\sigma }(p)\) that is the lift of the vertices of \(\varvec{\sigma }_M\) to \(T_pM\). This was convenient for our purposes, but the quality of \(\varvec{\sigma }_M\) could also be characterised directly by its geodesic edge lengths.
As discussed in Sect. 5.1, we can use the smallest eigenvalue of the matrix (20) \(G\) to characterise the quality of \(\varvec{\sigma }_M\): When \(\mu _n(G) \ge 0\), there is a Euclidean simplex \(\varvec{\sigma }_{\mathbb {E}}\) with the same edge lengths as \(\varvec{\sigma }_M\), however we have the inconvenience that the lower bound (21) on \(t\left( \varvec{\sigma }_{\mathbb {E}}\right) \) with respect to \(\mu _k(G)\) is not valid for all choices of vertex labels.
This inconvenience can be avoided if a volumetric quality measure is used, such as the fatness discussed in Sect. 1. Determinant-based criteria for Euclidean simplex realisability are discussed by Berger [2], Section 9.7], for example.
In any event, we will express the alternate non-degeneracy criteria for \(\varvec{\sigma }_M\) in terms of the thickness of the associated Euclidean simplex \(\varvec{\sigma }_{\mathbb {E}}\). Using Proposition 5, and the Rauch theorem 9, we have the following reformulation of the non-degeneracy criteria of Theorem 1.
Proposition 29
(Non-degeneracy criteria) If \(\rho < \rho _0\) defined in Eq. (3), and the geodesic edge lengths of \(\varvec{\sigma }_M\subset B_{\rho }\subset M\) define a Euclidean simplex \(\varvec{\sigma }_{\mathbb {E}}\) with
then \(\varvec{\sigma }_M\) is non-degenerate. As in Theorem 1, the assertion holds if \(\rho \) replaces \(L\left( \varvec{\sigma }_{\mathbb {E}}\right) \) in the lower bound (28).
Proof
By Lemma 9 we have for any \(x \in B_{\rho }\)
and
Therefore
Then using \(C_0= 4 \varLambda \rho ^2\) in Lemma 7, we see that \(\varvec{\sigma }(x)\) is non-degenerate if \(t\left( \varvec{\sigma }_{\mathbb {E}}\right) > \sqrt{8} \sqrt{\varLambda } \rho \), and the result follows from Proposition 5, and the remarks at the end of Sect. 2.2. \(\square \)
The scale parameter h in Theorem 2 is in fact a strict upper bound on the geodesic edge lengths \(\ell _{ij}\) in \(\fancyscript{A}\). A similar argument to the proof of Proposition 29 allows us to restate Theorem 2 by employing a thickness bound on the Euclidean simplices with edge lengths \(\ell _{ij}\):
Proposition 30
(Triangulation criteria) Suppose \(M\) is a compact 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
If
-
1.
For every simplex \(\varvec{\sigma }= \{p_0, \ldots , p_n\} \in \fancyscript{A}\), the edge lengths \(\ell _{ij} = d_{M}(p_i,p_j)\) satisfy \(\ell _{ij} < h\), and they define a Euclidean simplex \(\varvec{\sigma }_{\mathbb {E}}\) with \(t\left( \varvec{\sigma }_{\mathbb {E}}\right) \ge t_0\).
-
2.
The balls \(\{B_{M}(p;h)\}_{p \in S}\) cover \(M\), and for each \(p \in S\) the secant map of \(\exp _p^{-1}\) realises \(\underline{{{\mathrm{St}}}}(p)\) as a full star.
then \(\fancyscript{A}\) triangulates \(M\), and the triangulation is given by the barycentric coordinate map on each simplex.
Proof
By the argument in the proof of Proposition 29, using \(h\) instead of \(2\rho \), we see that for any \(x,y \in B_{M}(p;h)\) we have
Then using \(C_0= \varLambda h^2 = \frac{\eta t_0^2}{4}\) in Lemma 7, we get
It follows that if \(\varvec{\sigma }\in \fancyscript{A}\), with \(p \in \varvec{\sigma }\), then
The bound on \(h\) then implies that \(h\le \frac{\sqrt{n}t\left( \varvec{\sigma }(p)\right) }{6\sqrt{\varLambda }}\), and so the result of Theorem 2 applies. \(\square \)
1.2 In terms of fatness
Many alternative quality measures for simplices have been employed in the literature. Thickness is employed by Munkres [30], using a slightly different normalisation than ours. It is also very popular to use a volume-based quality measure such as that employed by Whitney [37]. In this section we introduce Whitney’s quality measure, which we call fatness, and we compare it with thickness.
If \(\varvec{\sigma }\) is a j-simplex, then its volume, may be defined for \(j>0\) as
where P is the \(m \times j\) matrix whose \(i^\text {th}\) column is \(p_i - p_0\) for \(\varvec{\sigma }= \{p_0, \cdots , p_j\} \subset \mathbb {R}^m\). If \(j=0\) we define \({{\mathrm{vol}}}^{0}(\varvec{\sigma }) = 1\). Alternatively, the volume may be defined inductively from the formula
The fatness of a j-simplex \(\varvec{\sigma }\) is the dimensionless quantity
Lemma 31
(Fatness and thickness) For any j-simplex \(\varvec{\sigma }\)
where \(\varvec{\sigma }= \varvec{\sigma }^j \supset \varvec{\sigma }^{j-1} \supset \cdots \supset \varvec{\sigma }^1\) is any chain of faces of \(\varvec{\sigma }\) such that for each \(i<j, \varvec{\sigma }^i\) has maximal volume amongst all the facets of \(\varvec{\sigma }^{i+1}\).
Proof
It follows directly from the volume formula (29) that if \(\varvec{\sigma }^{k-1}\) is a face with maximal volume in \(\varvec{\sigma }^k = \{p_k\} \cup {\varvec{\sigma }^{k-1}}\), then \(p_k\) is a vertex with minimal altitude in \(\varvec{\sigma }^k\). Order the vertices of \(\varvec{\sigma }= \{p_0,\ldots ,p_j\}\) so that \(\varvec{\sigma }^k = \{p_0, \ldots , p_k\}\) for each \(k\le j\). Then, inductively expanding the volume formula (29), we get
The inequality \(\varTheta \left( \varvec{\sigma }\right) \le \prod _{k=1}^j t\left( \varvec{\sigma }^k\right) \) then follows from the definitions of thickness and fatness, and the observation that \(L\left( \varvec{\sigma }\right) \ge L\left( \varvec{\sigma }^k\right) \) for all \(k\le j\). Also from the definition of thickness we have the trivial bound \(t\left( \varvec{\sigma }^k\right) \le \frac{1}{k}\), from which the rightmost inequality follows.
The lower bound also follows from induction on Eq. (29). Using the same chain of faces and vertex labelling we get
\(\square \)
Although Lemma 31 gives the impression that fatness corresponds roughly to a power of thickness, we observe that thickness and fatness coincide for triangles, as well as edges, and vertices.
Lemma 31, provides a way to express our results in terms of fatness instead of thickness. For example, the quality bound for non-degeneracy in Theorem 1
is attained if
Appendix 2: The Toponogov point of view
1.1 Introduction
In this appendix we discuss a different approach to finding conditions that guarantee that a Riemannian simplex is non-degenerate, that is diffeomorphic to the standard simplex. It is based on the Toponogov comparison theorem, instead of Rauch’s theorem. This comparison theorem says that if the sectional curvatures of a manifold \(M\) are bounded from above by \(\varLambda _{+}\) and below by \(\varLambda _{-}\) and there is a geodesic triangle in \(M\) of which we know the lengths of the three geodesics, then the angles of the triangle are bounded by the angles for a geodesic triangle in a space of constant curvature \(\varLambda _{-}\) or \(\varLambda _{+}\) whose geodesics have the same lengths. Similarly if we are given lengths of two geodesics and the enclosed angle in a geodesic triangle in \(M\), the length of the third geodesic is bounded by the lengths of the third geodesic in a geodesic triangle with the same lengths for two geodesics and enclosed angle in a space of constant curvature \(\varLambda _{-}\) or \(\varLambda _{+}\). The dimension of the manifold shall be denoted by n.
Our non-degeneracy conditions are established in two steps: First we note that if for any point x in a neighbourhood of the vertices in the manifold there are n tangents to geodesics connecting this point x to some subset of the vertices (the choice of subset does depend on x) that are linearly independent, then the Riemannian simplex is non-degenerate. This condition is equivalent with the tangent vectors being affinely independent, because for a point x in a Riemannian simplex with barycentric coordinates \(\lambda _i\) we have \( \sum \lambda _i v_i(x)=0,\) with \(\sum \lambda _i= 1\), remember that we write \(v_i(x) = \exp ^{-1}_x(v_i)\). Secondly one has to find conditions on the vertex set in combination with geometric properties of the manifold, to be precise bounds on the sectional curvature, such that we can guarantee linear independence. We do so by looking at the angles between the tangent vectors discussed above. Using the Toponogov comparison theorem we can give estimates on the difference between these angles and the angles one would expect in a space of constant curvature \(\varLambda _{+}\) and \(\varLambda _{-}\) respectively. These small neighbourhoods in spaces of constant curvature are in turn well approximated by small subsets in Euclidean space. To be precise we compare to the simplex we find by lifting the vertices to the tangent space at one of these vertices via the exponential map. Using these estimates we can prove that if the simplex is small enough compared to the quality of the Euclidean simplex, there is a linearly independent set of tangent vectors so that we have non-degeneracy. This approach puts the emphasis on the geodesics as apposed to barycentric coordinate functions, which provides us with a very concrete geometric picture, see for example Fig. 1.
The result to which this method leads to the following result:
Theorem 38
Let \(v_0, \ldots ,v_n\) be a set of vertices lying in a Riemannian manifold \(M\), whose sectional curvatures are bounded in absolute value by \(\varLambda \), within a convex geodesic ball of radius \(D\) centred at one of the vertices \((v_r)\) and such that \(\sqrt{\varLambda } D<1/2\). If \(\sigma ^{\mathbb {E}} (v_r )\), the convex hull of \((\exp ^{-1}_{v_r}(v_i))_{i=0}^{n}= (v_i(v_r))_{i=0}^{n}\), satisfies
then the Riemannian simplex with vertices \(v_0, \ldots , v_n\) is non-degenerate, that is diffeomorphic to the standard n-simplex.
1.2 Preliminaries
The second step described in the introduction will use the Toponogov Comparison Theorem 33. In particular, we use this result to provide bounds on the angles between the vectors tangent to geodesics emanating from a point \(x \in \sigma _M\) to n (that is all but one) of the vertices of \(\sigma _M\). These angle bounds are then used to show that the reduced Gram matrix associated with these vectors is non-singular. Here we discuss the observations relating to (reduced) Gram matrices and bounds on determinants that we will use.
Gram matrices Gram matrices can be applied to general finite dimensional inner product spaces (\(\mathbb {R}^n_G\), if the innerproduct \(G=\delta _{ij}\), where \(\delta _{ij}\) denotes the Kronecker delta, we shall write \(\mathbb {R}^n_{\delta _{ij}} = \mathbb {E}^n\)), such as the tangent spaces \((T_x M)\) of Riemannian manifolds with inner product \(g(x)\). In this setting we have
where \(w_1, \ldots , w_n \in \mathbb {R}^n_G\), and \((w_1 , \ldots , w_n )\) denotes the matrix with \(w_i\) as columns. One can already think of the vectors \(w_i\) as the tangent vectors \(w_i=v_i(x)=\exp _{x}^{-1} (v_i)\) discussed in the introduction. This can be seen by taking the determinant of
This is an expression of the fact that the choise of the metric does not influence linear independence. Because we will be interested in the angles (as these feature in the Toponogov Comparison Theorem), we consider instead the Gram matrix associated with the normalized (we assume that \(w_i \ne 0\)) vectors \(w_i/|w_i|_G\):
where \(\theta _{i,j}\) denotes the angle between \(w_i\) and \(w_j\). The determinant of \(( \cos \theta _{i,j} )\) is zero if and only if the determinant of \((w_1, \ldots ,w_n )\) is zero, i.e., if and only if \(w_1, \ldots ,w_n\) are linearly dependent. We shall refer to the matrix of cosines of angles as the reduced Gram matrix.
Bounds on determinants The following result by Friedland [23], see also Bhatia and Friedland [6], Ipsen and Rehman [25] and Bhatia [5] problem I.1.6, will be essential to some estimates below:
where \(A\) and \(E\) are \(n \times n\)-matrices and \(\Vert \cdot \Vert _p \) is the p-norm, with \(1\le p\le \infty \), for linear operators:
with \(| \cdot |_p \) the p-norm on \(\mathbb {R}^n\). In our context \(A\) will be the reduced Gram matrix for the Euclidean case and \(E\) the matrix with the small angle deviations from the Euclidean case (or rather the deviations of their cosines) due to the local geometry, of which each entry is bounded by some \(\epsilon \).
From (31) we see that in this particular context
where we use that every entry of \(A\) and \(A+E\) is bounded in absolute value by \(1\) because it they are reduced Gram matrices, a matrices of cosines.
Toponogov comparison theorems and spaces of constant curvature We shall now first give the Toponogov Comparison Theorem and the definitions which go with it. Here we follow Karcher [27]. Then we give some results comparing the cosine rules in small neighbourhoods in spaces of constant curvature to those of Euclidean space. As mentioned in the introduction we assume that we work in neighbourhoods that lie within the convexity radius unless mentioned otherwise.
We shall use the notation \(\mathbb {H}^n(\varLambda _{-})\) for the space simply connected of dimension n with constant sectional curvature \(\varLambda _{-}\).
Definition 32
A geodesic triangle \(T\) in a Riemannian manifold consists of three minimizing geodesics connecting three points, sometimes also referred to as vertices. We stress that a geodesic triangle does not include an interior. Assume lower curvature bounds \(\varLambda _{-}\le K\) (or upper bounds \(K \le \varLambda _{+}\)). A triangle with the same edge lengths as \(T\) in \(\mathbb {H}^n(\varLambda _{-})\) (or \(\mathbb {H}^n(\varLambda _{+})\)), is called an Alexandrov triangle \(T_{\varLambda _{-}} \) (or \(T_{\varLambda _{+}}\)) associated with T, named after Alexandrov who used these in his study of convex surfaces [27]. See Fig. 2 for an illustration. Note that any two choices of \(T_{\varLambda _{-}}\) (or \(T_{\varLambda _{+}}\)) are equivalent due to the constant curvature of the space. Two edges of a geodesic triangle and the enclosed angle form a hinge; a Rauch hinge in \(\mathbb {H}^n(\varLambda _{-})\) (or \(\mathbb {H}^n(\varLambda _{+})\)) of a given hinge, consists of two geodesics emanating from a single point with the same lengths and enclosed angles as the original hinge. The edge closing the Rauch hinge in \(\mathbb {H}^n(\varLambda _{-})\) (or \(\mathbb {H}^n(\varLambda _{+})\)), that is the minimizing geodesic connecting the two endpoint of the geodesics emanating from a single point with the same lengths and enclosed angles as the hinge in a space of arbitrary curvature, will be called the Rauch edge.
The Toponogov Comparison Theorem or Triangle Comparison Theorem reads
Theorem 33
(Toponogov Comparison Theorem) Let \(T\) be a geodesic triangle in M and assume that the sectional curvatures \(K\) of \(M\) satisfy the bounds \( \varLambda _{-}\le K \le \varLambda _{+}\). If \(\varLambda _{+}>0\), assume also that the triangle perimeter is less then \(2 \pi \varLambda _{+}^{-1/2}\). Then Alexandrov triangles \(T_{\varLambda _{-}}\) and \(T_{\varLambda _{+}}\) exist. Moreover, any angle \(\alpha \) of T satisfies
where \(\alpha _{\varLambda _{-}}\) and \(\alpha _{\varLambda _{+}}\) are the corresponding angles in \(T_{\varLambda _{-}}\) and \(T_{\varLambda _{+}}\) respectively. The length c of the third edge closing a hinge is bounded in length by the lengths of the Rauch edges, \(c_{\varLambda _{-}}\) and \(c_{\varLambda _{+}}\), closing the Rauch hinges:
We also give the cosine rule which is of use in explicit calculations involving the Toponogov comparison theorem. The cosine rule for elliptic spaces, that is positive curved spaces of constant curvature, is given in Section 18.6 of Berger [3] and Section 12.7 of Coxeter [18] and reads
where we assume that the Gaussian (in two dimensions) or sectional curvature \(K\) satisfies \(K= 1/k^2\) (Fig. 3). The cosine rule for hyperbolic spaces, that is negatively curved spaces of constant curvature, is given in Section 19.3 of Berger [3] and Section 12.9 of Coxeter [18] to be
where we assume that the Gaussian or sectional curvature is \(K=-1/k^2\).
We now prove two lemmas for geodesic triangles in a space of constant curvature. In the following we use the notation \((c^{\mathbb {E}})^2= a^2 + b^2 - 2 a b \cos \gamma \), to denote the length of the (Rauch) edge closing a hinge with lengths \(a\) and \(b\) and enclosed angle \(\gamma \) in Euclidean space. In general we shall always use the index \(\mathbb {E}\) to indicate (comparisons to) Euclidean space.
Lemma 34
If \(M\) is a space of constant curvature and two of the edge-lengths \((a, b)\) of a hinge in \(M\) satisfy
here \(d_{\mathrm{max}}\) is some distance bound on the geodesics in the space of constant curvature, then we have that the length of the (Rauch) edge of the hinge c, where \(c^2 = (c^{\mathbb {E}})^2 + E'\), and \(|E'| \le 5 d_{\mathrm{max}}^4 /k^2\) a measure for the deviation from the Euclidean case.
Proof
Taylor’s theorem implies that we have that
here \(E\) stands for the error. These errors are bounded; if we assume that \(y\le \phi _m <1\) we have that
where \(e\) is Euler’s number. It is convenient to use only the weaker bounds found from the hyperbolic functions as this affords a universal approach. We therefore drop the subscript and write \(E\) and \(\tilde{E}\).
We define
Using these the cosine rules read
We shall now bound \( \phi _3\), assuming \(\phi _1 , \phi _2\) and \(\gamma \) given. Because \(\phi _1, \phi _2 \le \phi _m /2<1/4\) we have that implies that \( \phi _3 \le \phi _m\) by the triangle inequality. We find
and thus
with
\(\square \)
We study a geodesic triangle in a space of constant curvature for which we have some estimates on the edge-lengths. To be precise we assume that the edges of the geodesic triangle are themselves the closing (Rauch) edges of some hinges. Moreover, we assume that the conditions of the previous lemma are satisfied so that have the estimates on the deviation of the lengths of these closing edges compared to the value expected in Euclidean space. We provide to have similar bounds on the angles of the geodesic triangle for which we have estimates on the edge-lengths, that is we give bounds on the deviation of the angles of the geodesic triangle compared to the value expected in Euclidean space. To this end we define for some lengths \(a^{\mathbb {E}}, b^{\mathbb {E}}\) and \(c^{\mathbb {E}}\) the angle \(\alpha ^{\mathbb {E}}\) by
Lemma 35
If \(M\) is a space of constant sectional curvature and the edge-lengths \((a, b, c)\) of a geodesic triangle in \(M\) satisfyFootnote 1
with that \(E_1,E_2,E_3 \le 5 d_{\mathrm{max}}^4 /k^4\), and
then
Proof
To avoid having to drag along the \(1/k\) we shall write \(\psi _1= a/k, \psi _1^{\mathbb {E}}= a^{\mathbb {E}}/k\) et cetera. Using the previous lemma we see that \(\psi _1, \psi _2, \psi _3\) satisfy
PErforming a calculation similar to the one in the previous lemma we find that
\(\square \)
1.3 Relation with linear independence
In Euclidean simplex is non-degenerate if and only if for any point x in Euclidean space we can find n vertices such that the vectors from x to the vertices are linearly independent. Linear independence likewise plays an important role in the definition of a non-degenerate Riemannian simplex. We remind ourselves, see Sect. 2.2, that a Riemannian simplex \(\sigma _M\) is non-degenerate if the barycentric coordinate map \(\varvec{\varDelta }^{n}\rightarrow \sigma _M\) is a smooth embedding.
Lemma 36
If for any x in the image of the map given in Definition 4 \((\sigma _M)\) there are n tangents to geodesics connecting this point x to some subset of the vertices \(v_0 , \ldots , v_{j-1}, v_{j+1}, \ldots , v_n\) (this choice does depend on x) that are linearly independent then
-
The map \(\varvec{\varDelta }^{n}\rightarrow \sigma _{M}\) is bijective
-
The inverse of \(\varvec{\varDelta }^{n}\rightarrow \sigma _{M}\) is smooth
In the proof we shall need the following observation: Within any ball smaller than the injectivity radius containing \(v_i\), the vector field \(v_i(x) =\exp _{x} ^{-1}(v_i)\) depends smoothly on the point x for all \(x \ne v_i\). This is obvious if we consider Riemannian normal coordinates at \(v_i\). The geodesic between x and origin \((v_i)\) is a straight line, that depends smoothly on x. The same holds for the tangent to the geodesic at x, this is precisely \(v_i(x)=\exp _{x} ^{-1}(v_i)\).
Proof
We now prove the first of our claims by contradiction. Let us assume that
for some \(\lambda , \tilde{\lambda } \in \varvec{\varDelta }^{n}, \lambda \ne \tilde{\lambda } \). Because \(v_0(x), \ldots ,v_{j-1}(x) ,v_{j+1} (x), \ldots , v_n(x) \) are assumed to be linearly independent we have \(\lambda _j \ne 0, \tilde{\lambda }_j \ne 0\). This mean that we can solve for \(v_j\) in both cases, so
This contradicts the assumption of linear independence. This establishes injectivity.
We can use a similar argument to show that the inverse of \(\varvec{\varDelta }^{n}\rightarrow \sigma _{M}\) is smooth. As we have seen linear independence implies that \(\lambda _j \ne 0\), which means that we have
We can now regard the left hand side as the product of the matrix with columns \( (v_{i}(x))_{i \ne j}\) with the vector \((\lambda _i)_{i\ne j}\). We can divide by \(-\lambda _j\) and bring the matrix to the right hand side by inverting, because \(\{v_{i}(x)\}_{i \ne j}\) is a linear independent set this is possible. We now find
which is smooth because \(v_{i}(x)\) is smooth and \(\{v_{i}(x)\}_{i \ne j}\) are linear independent by assumption. \(\square \)
In Lemma 36 we refer to points lying in \(\sigma _M\), because \(\sigma _M\) is not so easy to determine a priori, we will need to determine a neighbourhood that contains \(\sigma _M\) where we can determine linear independence. To this end we observe the following:
Remark 37
\(\sigma _M\) lies within a ball centred at any of the vertices \(v_r\) of radius \(D\), where \(D= \max d_M(v_i,v_r)\), provided \(D\) is smaller than the injectivity radius and the ball is convex.
Karcher [26] noted that the centre of mass of any mass distribution is contained in any convex set that contains the support of the mass distribution, so in particular this ball.
1.4 Determining linear independence
In the previous subsection we established that if for any point \(x \in \sigma _M\) there are n tangents to geodesics connecting this point to some subset of the vertices \(v_0 , \ldots , v_{j-1}, v_{j+1}, \ldots , v_n\) (depending on x) are linearly independent, then the simplex \(\sigma _M\) is well defined. In this subsection we shall formulate conditions on the vertex set \(v_0 , \ldots , v_n\) such that we can guarantee linear independence. These conditions are simple for surfaces. For higher dimensional manifolds we shall need bounds on the quality of the simplex found by taking the convex hull of the image of the inverse exponential map at one of the vertices. The quality of the simplex is considered good if the ratio between the volume of the simplex and the \(n{\mathrm{th}}\) power of the largest edge length is large, which we shall make precise in Theorem 38, see also [7, 37].
As mentioned, linear dependence for surfaces is easy to determine. Let us suppose \(v_0(x)=\exp _{x}^{-1}(v_0), v_1(x), v_2(x) \) do not span \(T_x M\). Because \(M\) is a surface it follows that \(v_0(x), v_1(x), v_2(x) \) are co-linear. This is in turn equivalent to \(v_0,v_1\) and \(v_2\) lying on a geodesic. Using Lemma 36 we find that \(\sigma _M\) is diffeomorphic to the standard simplex if all three vertices do not lie on a geodesic. In the two dimensional setting bijection has been argued previously by Rustamov [33].
Returning to manifolds of arbitraty dimension, we discuss conditions such that for any point x in a ball of radius \(D\) centred at the vertex \(v_r\), the vectors \(v_i(x)\) in the tangent space at x form an affinely independent set. Because of Remark 37 this is the neighbourhood of interest, because it suffices to show independence here. Assume that the sectional curvatures \(K\) of \(M\) are bounded in absolute value: \(|K| \le \varLambda \). Define \(\sigma ^{\mathbb {E}} (v_r )\) to be the convex hull of \((v_i(v_r))_{i=0}^{n}\) in \(T_{v_r}M\). It will be on \(\sigma ^{\mathbb {E}}(v_r)\) that we impose condition to ensure that the Riemannian simplex \(\sigma _M\) in non-degenerate. Note that given \(\sigma ^{\mathbb {E}}(v_r)\) we in particular have the lengths of all geodesics from \(v_r\) to \(v_i\) and the angles between their tangents (Fig. 4). Using the Toponogov comparison theorem, we bound \(d_M(x,v_i)\) for each i by means of Rauch hinges in \(\mathbb {H}^n(\varLambda )\) and \(\mathbb {H}^n(-\varLambda )\) the lengths of the closing edges of the hinges are denoted by \(d_{ \mathbb {H}^n(\varLambda ) } (x,v_i) \) and \(d_{ \mathbb {H}^n(-\varLambda ) } (x,v_i) \). Lemma 34 implies that
with \(\exp _{v_r}^{-1}(x)= x(v_r)\) as usual, \(E_{(x,v_i) , \pm \varLambda }\) an error term satisfying the bound \(|E_{(x,v_i) , \pm \varLambda }| < 5 \varLambda (2 D)^4 \), provided
Here the radius of the geodesic ball \(D\) is the maximum distance \(d_{\mathrm{max}}\) in the spaces of constant curvature \(\mathbb {H}^n(\pm \varLambda )\), introduced in Lemmas 34 and 35. Because \(|E_{(x,v_i) , \pm \varLambda }| < 5 \varLambda (2 D)^4 \) we conclude that
with \(|E_{(v_l,v_k)}| ,|E_{(0,v_i)}|< 5 \varLambda ( 2 D)^4 \).
At this point we know all the lengths of the geodesics between the points \(x, v_0,\ldots , v_n\) in the manifold up to a small and explicit deviation term, where the deviation is from the Euclidean space or \(T_{v_r}M\) in which \(x(v_r)\) and \(\sigma ^{\mathbb {E}}(v_r)\) lie (Fig. 5). Any three points from the set \(\{x, v_0,\ldots , v_n\}\) together with the geodesics connecting them can be regarded as a geodesic triangle. For a geodesic triangle of which we know all edge lengths the Toponogov comparison theorem gives bounds on the angles in terms of the Alexandrov triangles in the spaces \(\mathbb {H}^n (\varLambda )\) and \(\mathbb {H}^n (-\varLambda )\). Let us denote by \(\theta _{il}^{\mathbb {H}^n}\) the angle \(\angle v_i x v_l\) between the geodesics in \(\mathbb {H}^n(\pm \varLambda ) \) and let \(\theta _{il}^{\mathbb {E}}\) denote the angle \(\angle v_i(v_r) x(v_r) v_l(v_r) \) in \(T_{v_r}M\), which we may regard as Euclidean space. If we have a lower bound on the geodesic edge lengths in the simplex as well as on the distance between x and the vertices under consideration, Lemma 34 in turn gives us bounds on the angles in \(\mathbb {H}^n (\varLambda )\) and \(\mathbb {H}^n (-\varLambda )\) compared to the corresponding angle in Euclidean space. To be precise
with \(p,q \in \{ x(v_r), v_i(v_r),v_l (v_r) \mid i \ne j , l \ne j \}, p \ne q\), then the distance bounds (40) in \(\mathbb {H}^d (\varLambda )\) imply
Formula (42) holds for the upper and lower bounds that appear in the Toponogov comparison theorem. Thus
where \(\theta _{il}\) denotes the angle \(\angle v_i x v_l\) between the geodesics in the manifold, assuming that the conditions above are satisfied. A sufficient condition on the simplex \(\sigma ^{\mathbb {E}}(v_r)\) for (41) to be satisfied (for some choice of j) is that for all j the altitude \(\text {Alt}_j\)
which can be weakenedFootnote 2 to
with \(L(\sigma ^{\mathbb {E}}(v_r) )\) the longest edge length of \(\sigma ^{\mathbb {E}}(v_r)\).
Using reduced Gram matrices and the estimates by Friedland we now see:
with \((\cos \theta _{il} )_j\) and \((\cos \theta _{il}^{\mathbb {E}} )_j\) the matrix cosines of angles between the tangents of geodesics emanating from x to \(v_0, \ldots , v_{j-1}, v_{j+1}, \ldots ,v_n\) and corresponding cosines for \(\sigma ^{\mathbb {E}}(v_r)\), which is equivalent to, using (30),
Lemma 36 states that we have non-degeneracy of the simplex if for any x in \(B(v_r, D) \) we have that \(|\det (\cos \theta _{il} )_j| >0\) for some j, this means that if
non-degeneracy is established. This can be simplified using that \(| v_{j+1}(v_r)-x(v_r)| \le 2 D\) and remarking that the mimimum of
is attained in the barycenter and equals \(\frac{n!}{n+1} \hbox {vol} (\sigma ^{\mathbb {E}}(v_r) )\).
This means that we now have the condition for non-degeneracy
assuming that also (43) is satisfied. Using lemma 29 we can prove that Equation (44) cannot be satisfied when (43) is violated. Firstly note that
so that (44) yields
which implies (43).
We can now summarize
Theorem 38
Let \(v_0, \ldots ,v_n\) be a set of vertices lying in a Riemannian manifold \(M\), whose sectional curvatures are bounded in absolute value by \(\varLambda \), within a convex geodesic ball of radius \(D\) centred at one of the vertices \((v_r)\) and such that \(\sqrt{\varLambda } D<1/2\). If \(\sigma ^{\mathbb {E}} (v_r )\), the convex hull of \((\exp ^{-1}_{v_r}(v_i))_{i=0}^{n}= (v_i(v_r))_{i=0}^{n}\), satisfies
then the Riemannian simplex with vertices \(v_0, \ldots , v_n\) is non-degenerate, that is diffeomorphic to the standard n-simplex.
Remark 39
Equation (44) can be weakened to
or
with \(L( \sigma ^{\mathbb {E}} (v_r ) )=\max _{i,j} d_{\mathbb {E} } (v_i (v_r) , v_j(v_r) ), L( \sigma ^{M} )=\max _{ij} d_M (v_i,v_j)\) and \(\varTheta \) the fatness.
Rights and permissions
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.
About this article
Cite this article
Dyer, R., Vegter, G. & Wintraecken, M. Riemannian simplices and triangulations. Geom Dedicata 179, 91–138 (2015). https://doi.org/10.1007/s10711-015-0069-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-015-0069-5
Keywords
- Riemannian centre of mass
- Karcher means
- Barycentric coordinates
- Triangulation
- Riemannian manifold
- Sampling conditions
- Riemannian simplices