Abstract
The Delaunay triangulation of a set of points P on a hyperbolic surface is the projection of the Delaunay triangulation of the set \(\widetilde{P}\) of lifted points in the hyperbolic plane. Since \(\widetilde{P}\) is infinite, the algorithms to compute Delaunay triangulations in the plane do not generalize naturally. Using a Dirichlet domain, we exhibit a finite set of points that captures the full triangulation. We prove that an edge of a Delaunay triangulation has a combinatorial length (a notion we define in the paper) smaller than \(12g-6\) with respect to a Dirichlet domain. To achieve this, we introduce new tools, of intrinsic interest, that capture the properties of length-minimizing curves in the context of closed curves. We then use these to derive structural results on Delaunay triangulations and exhibit certain distance minimizing properties of both the edges of a Delaunay triangulation and of a Dirichlet domain. The bounds produced in this paper depend only on the topology of the surface. They provide mathematical foundations for hyperbolic analogs of the algorithms to compute periodic Delaunay triangulations in Euclidean space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A hyperbolic surface is a closed and orientable topological surface equipped with some hyperbolic metric of constant curvature \(-1\). Recently, motivated in part by applications in other sciences and its ubiquity, there has been an increased effort to understand the hyperbolic geometry of surfaces from a computational geometry point of view. A fundamental question addresses the computation of Delaunay triangulations on hyperbolic surfaces. The classic edge flip algorithm of Lawson [33] computing Delaunay triangulations in the Euclidean plane was recently extended to hyperbolic surfaces [14]. However, robust and efficient software to compute Delaunay triangulations on hyperbolic surfaces, and particularly on the triply-periodic minimal surfaces presented below, does not exist to date. A primary motivation for the work in this paper is to help fill this gap by establishing fundamental theoretical results in the hyperbolic case, similar to those that have led to the only such software for flat quotient spaces [6, 7, 32, 39]. Our results yield structural insights of independent interest into the relationship between different representations of hyperbolic surfaces and Delaunay triangulations on them. These structural results are a consequence of an investigation of a natural class of paths, called half-minimizers, that also seems useful in other contexts.
Motivation - Hyperbolic surfaces in other sciences and nature. One of the motivations for this paper is the hyperbolic surface associated to the family of triply-periodic minimal surfaces (TPMS) that contains the gyroid, the primitive, and the diamond surface. A TPMS is a minimal surface in \(\mathbb {R}^3\) that is invariant under three linearly independent translations, i.e. a rank 3 lattice \(L_3\) [43]. To associate a closed surface to a TPMS, one considers the TPMS as the lift to \(\mathbb {R}^3\) of the closed surface \(S_g\) of genus g in the 3-torus \(\mathbb {T}^3=\mathbb {R}^3/L_3\). This corresponds to gluing the TPMS along the equivalent faces of a translational domain for \(L_3\). It turns out that the surface \(S_g\) is always intrinsically hyperbolic [37]. The gyroid, the primitive, and the diamond TPMS are arguably the most prominent and simple examples of TPMS [41] and have received considerable attention in the mathematical, physical, chemical and biological, as well as interdisciplinary literature [12, 23, 25, 27, 31, 44]. More recently, TPMS have also found a role in the materials sciences as a scaffold for crystallographic structures [17, 18], leading to both new mathematical formalisms [28,29,30,31] and a database of such structures [24]. These three TPMS are closely related to each other [43, Sect. 3.1] [21] and have the same underlying hyperbolic surface \(S_3\), of genus 3, embedded in \(\mathbb {T}^3\).
Figure 1 shows a region of \(\mathbb {H}^2\) in the Poincaré disk model and a portion of the diamond surface in \(\mathbb {R}^3\), also known as D-surface, illustrating how TPMS are covered by \(\mathbb {H}^2\). The angles at which triangles meet are the same in \(\mathbb {R}^3\) as they are in \(\mathbb {H}^2\), owing to the fact that the covering is conformal.
Another motivation comes from previous research in the field. A similar algorithm for the computation of certain types of Delaunay triangulations on the Bolza surface has been implemented in cgal[26] to accommodate the push for practical algorithms in other sciences. Our results add to the growing body of both theoretical and applied work surrounding periodic hyperbolic Delaunay triangulations [4, 10, 11, 16].
The flat case. The computation of Delaunay triangulations in flat tori, which can be seen equivalently as periodic triangulations in Euclidean space, was addressed by Dolbilin and Huson [15], who provided a first cornerstone for the algorithms and cgal packages handling the square/cubic periodicity [7, 8, 32]; the algorithms were generalized later [9]. Their work was used again for the recent and, as far as we know, only implementations for general periodic point sets in the Euclidean plane (or three-dimensional space) [39]. The idea is as follows.
Let \(\widetilde{\mathcal {P}}\) be a locally finite periodic point set in the plane \(\mathbb {E}^2\). A finite set \(\widetilde{\mathcal {P}}_f\) can be defined, such that the infinite Delaunay triangulation \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) can be deduced from the Delaunay triangulation \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}_f}}\,}}\); as \(\widetilde{\mathcal {P}}_f\) is finite, \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}_f}}\,}}\) can be computed by any classical algorithm. In practice, the periodic set \(\widetilde{\mathcal {P}}\) is generated from a finite set of points in a fundamental domain (defined properly below) of a lattice, which one can assume to be given as a parallelogram. The periodicity is obtained by the action of the group of translations, isomorphic to \(\mathbb {Z}^2\), generated by the two vectors corresponding to the sides of the parallelogram.
Figure 2 shows the special case when the infinite set \(\widetilde{\mathcal {P}}\) is obtained from a unique point \(\widetilde{a}\); all blue points are images of \(\widetilde{a}\) under the action of the group of translations. We observe that there cannot exist a general bound on the size of \(\widetilde{\mathcal {P}}_f\) for an arbitrary choice of parallelogram/translations. Intuitively speaking, this is because there is no bound on how stretched a fundamental domain \(\mathcal {F}\) can appear for the same lattice points. For ever more long and thin parallelograms, an edge \(\widetilde{e}\) in the Delaunay triangulation of \(\widetilde{\mathcal {P}}\) may traverse an unbounded number of copies of \(\mathcal {F}\), see Fig. 3.
However, if choosing as fundamental domain the Dirichlet domain \(\mathcal {D}_{\widetilde{x}}\) of an arbitrary point \(\widetilde{x}\), i.e. the Voronoi cell of \(\widetilde{x}\) in the Voronoi diagram of \(\mathbb {Z}^2\widetilde{x}\) (Fig. 4), then a bound can be proved on the number of copies of \(\mathcal {D}_{\widetilde{x}}\) necessary to account for an edge in a Delaunay triangulation [15, 39]. Figure 4 depicts 19 shaded copies of \(\mathcal {D}_{\widetilde{x}}\) that are sufficient and form layers around the domain containing \(\widetilde{x}\), illustrating the general situation for hexagonal Dirichlet domains. Note that the shape of the Dirichlet domain \(\mathcal {D}_{\widetilde{x}}\) does not depend on the chosen point \(\widetilde{x}\): for another point \(\widetilde{y}\), \(\mathcal {D}_{\widetilde{y}}\) is a translated version of \(\mathcal {D}_{\widetilde{x}}\).
The hyperbolic case. A hyperbolic surface S is homeomorphic to the quotient \(\mathbb {H}^2/\Gamma \) of the hyperbolic plane \(\mathbb {H}^2\) under the action of a symmetry group \(\Gamma \) of \(\mathbb {H}^2\), i.e. a discrete subgroup of the group of isometries of \(\mathbb {H}^2\). That S is a hyperbolic surface implies that \(\Gamma \) contains only orientation preserving isometries and has no fixed points in \(\mathbb {H}^2\). The group \(\Gamma \) can be naturally identified with the fundamental group \(\pi _1(S)\) of S (after choosing base points appropriately). The symmetry group is also known as a Non-Euclidean Crystallographic (NEC) group. The universal covering space of S is \(\mathbb {H}^2\), and the projection map \(\pi :\mathbb {H}^2\rightarrow S\) is a local isometry.
The projection \(\pi \) induces tilings of \(\mathbb {H}^2\) by copies of some fundamental domain for \(\Gamma \). A fundamental domain \(\mathcal {F}\) for the action of \(\Gamma \) is defined as a closed domain such that \(\Gamma \mathcal {F}=\mathbb {H}^2\) and the interiors of different copies of \(\mathcal {F}\) under \(\Gamma \) are disjoint. We also define an original domain as a (connected) subset \(\mathcal {F}_o\) of a fundamental domain that contains exactly one point of each orbit; then the closure \(\overline{\mathcal {F}_o}\) of an original domain \(\mathcal {F}_o\) is a fundamental domain. The restriction of \(\pi \) to \(\mathcal {F}_o\) is then a bijection from \(\mathcal {F}_o\) to S [36].
We use the Poincaré disk model for the hyperbolic plane \(\mathbb {H}^2\) [2]. This is a conformal model for \(\mathbb {H}^2\) obtained by biconformally mapping \(\mathbb {H}^2\) to the interior of the unit disk in \(\mathbb {E}^2\) such that the biconformal mappings of the unit disk correspond exactly to the orientation preserving isometries of \(\mathbb {H}^2\). This model is well suited for the study of Delaunay triangulations in \(\mathbb {H}^2\) as hyperbolic circles correspond to Euclidean circles, so that the combinatorial structure of a Delaunay triangulation is equivalent to the Euclidean Delaunay triangulation defined by the same set of points [3].
Given a finite point cloud \(\mathcal {P}\) on S, \(\mathcal {P}\) lifts to a locally finiteFootnote 1 point cloud \(\widetilde{\mathcal {P}}\) in the covering space \(\mathbb {H}^2\). The Delaunay triangulation \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) defined by \(\widetilde{\mathcal {P}}\) in \(\mathbb {H}^2\) projects to a triangulation \({{\,\mathrm{DT_\mathcal {P}}\,}}\) on S, which serves as a definition for the Delaunay triangulation of \(\mathcal {P}\) on S [10, 14]. We do not assume triangulations to be simplicial complexes in this paper, in contrast to some previous work [4, 26]. In our setting, every finite point cloud on a hyperbolic surface has an associated locally finite Delaunay triangulation [10, Cor. 5.2] [14, Prop. 8].
The Dirichlet domain \(\mathcal {D}_{\widetilde{x}}^\Gamma \) of a point \(\widetilde{x}\) can be defined as in the flat case; we will simply denote it as \(\mathcal {D}_{\widetilde{x}}\), unless there is an ambiguity. Note that, unlike the flat case, the shape and even the combinatorial structure of a Dirichlet domain depends on the chosen point \(\widetilde{x}\) (see Fig. 5).
Dirichlet domains of different points for the group of the genus 2 Bolza surface [4, Fig. 9]
This is because NEC groups are non-Abelian, in contrast to the above situation in \(\mathbb {E}^2\). Indeed, for any isometry f and two points \(\widetilde{x}\) and \(f(\widetilde{x})\), there is a relation between the Dirichlet domains: \(\mathcal {D}_{f(\widetilde{x})}^{\Gamma }=f(\mathcal {D}_{\widetilde{x}}^{f^{-1}\Gamma f})\) [1, Sect. 9.4]. Methods used to treat the Euclidean case depend crucially on the fact that the involved groups are Abelian, so we need a new approach and tools to tackle the problem. Note that there has been recent progress on the development of an efficient algorithm to compute a Dirichlet domain for a hyperbolic surface [13].
Notation. Throughout the paper, we use the same notation as above: \(S=\mathbb {H}^2/\Gamma \) is a (closed orientable) hyperbolic surface; the group \(\Gamma \) is an NEC group with no fixed point; the projection map is \(\pi :\mathbb {H}^2\rightarrow S\). We denote objects in \(\mathbb {H}^2\) with a tilde, and those on \(S=\mathbb {H}^2/\Gamma \) without; \(\mathcal {P}\) always denotes a finite set of points on S, and \(\widetilde{\mathcal {P}}\) the corresponding lifted point set in \(\mathbb {H}^2\).
Results. Let \(\mathcal {F}_o\) denote a fundamental domain (more precisely an original domain, as defined in Sect. 2). Consider the Delaunay triangulation \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) of the lifted point set \(\widetilde{\mathcal {P}}\). Some edges are incident to a point in \(\widetilde{\mathcal {P}}\cap \mathcal {F}_o\) and a point lying in a translate of \(\mathcal {F}_o\) under an element of \(\Gamma \). In Sect. 3, we define the combinatorial length of an edge, which relates to the number of translates of \(\mathcal {F}_o\) an edge traverses. For a general fundamental domain, the combinatorial length is unbounded.
Our main result, stated as Theorem 6 in Sect. 5, is an explicit upper bound when a Dirichlet domain is chosen as a fundamental domain. The bound is purely topological and depends linearly on the genus of S. Furthermore, we provide a discussion for why an optimal upper bound on the combinatorial length should depend linearly on the genus. We also give bounds on the number of copies of a domain within a given combinatorial distance of that domain and show that this number increases exponentially with the distance.
Our results rely on intersection properties of edges of Delaunay triangulations and Dirichlet domains, studied in Sect. 4, and on a decomposition of a S into convex subsets, see Sect. 5. In Sect. 6, we give bounds on the number of domains within a given combinatorial distance of another domain.
To the best of our knowledge, our results are the first of their kind for general hyperbolic surfaces.
2 Dirichlet Domains and Delaunay Triangulations
Let us briefly recall a few definitions and basic properties. We refer the reader to textbooks for the background on hyperbolic geometry [40, 42].
We denote by \(d_{\mathbb {H}^2}\) the hyperbolic metric on \(\mathbb {H}^2\). For a locally finite point set \(\mathcal {P}\subset \mathbb {H}^2\) and \(\widetilde{y}\in \mathcal {P}\), we denote the closed Voronoi cell of \(\widetilde{y}\) by \(\mathcal {V}^{\mathcal {P}}_{\widetilde{y}}\) and the whole Voronoi diagram by \(\mathcal {V}^{\mathcal {P}}\). The Voronoi diagram is a locally finite collection of convex subsets of \(\mathbb {H}^2\) [11, Lem. 5.2].
Definition 1
( [1]) The (closed) Dirichlet domain \(\mathcal {D}_{\widetilde{x}}\) of a point \(\widetilde{x}\) in \(\mathbb {H}^2\) is the cell \(\mathcal {V}^{\Gamma \widetilde{x}}_{\widetilde{x}}\) of \(\widetilde{x}\) in the Voronoi diagram of the orbit \(\Gamma \widetilde{x}\).
The Dirichlet domain \(\mathcal {D}_{\widetilde{x}}\) can also be defined equivalently as
The equality is true since \(\Gamma \) acts as isometries w.r.t. \(d_{\mathbb {H}^2}\). In particular, we see that
Dirichlet domains and more generally Voronoi cells in \(\mathbb {H}^2\) and \(\mathbb {E}^2\) are bounded by geodesics, which is why they are also known as Dirichlet and Voronoi polygons, respectively. A Dirichlet domain \(\mathcal {D}_{\widetilde{x}}\) is a fundamental domain for \(\Gamma \) and since S is compact, \(\mathcal {D}_{\widetilde{x}}\) is also compact. Therefore, \(\mathcal {D}_{\widetilde{x}}\) has a finite number of edges and the tesselation \(\Gamma \mathcal {D}_{\widetilde{x}}\) associated to \(\mathcal {D}_{\widetilde{x}}\), called the Dirichlet tesselation w.r.t. \(\widetilde{x}\), is a locally finite tesselation.
A Delaunay triangulation \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) of a locally finite point set \(\widetilde{\mathcal {P}}\subset \mathbb {H}^2\) is combinatorially a Euclidean Delaunay triangulation with vertex set \(\widetilde{\mathcal {P}}\), but with geodesic edges [3]. Note that the circumcircles of faces in \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) are all compact [11, 14]. Though we use the term triangulation, we also consider the case where more than three concyclic points form a non-triangulated polygonal face. In such a case, we observe that such a face has vertices on a circle and is thus geodesically convex in \(\mathbb {H}^2\) (since any interior angle is less than \(\pi \)). We can thus triangulate it arbitrarily in a \(\Gamma \)-invariant way. The Delaunay triangulation \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) of a finite point set \(\mathcal {P}\subset S\) on a surface S is defined as the projection, to S, of the Delaunay triangulation in \(\mathbb {H}^2\) of the lifted point set \(\widetilde{\mathcal {P}}:=\pi ^{-1}(\mathcal {P})\). Let us also recall the following result:
Proposition 1
( [14, Prop. 8], [10, Cor. 5.2]) The 1-skeleton of the Delaunay triangulation \({{\,\mathrm{DT_\mathcal {P}}\,}}\) on S is an embedded graph on S.
When a fundamental domain \(\mathcal {F}\) is a polygon, its edges are identified pairwise under the action of \(\Gamma \). We fix one representative of each equivalence class of open edges of \(\mathcal {F}\) under the action of \(\Gamma \) to obtain a set E of edges. We also choose one representative of each vertex orbit to obtain a set V of vertices. Let \({{\,\textrm{int}\,}}(M)\) denote the interior of a set M.
Definition 2
Let \(\mathcal {F}\subset \mathbb {H}^2\) be a polygonal fundamental domain for \(\Gamma \). An original domain \(\mathcal {F}_o\) associated to \(\mathcal {F}\) is defined as a subset of \(\mathcal {F}\) consisting of \({{\,\textrm{int}\,}}(\mathcal {F})\cup E\cup V\).
Special cases of Definition 2 have been considered in the literature [9, 26].
3 Combinatorial Length
The tiling of \(\mathbb {H}^2\) formed by fundamental domains and its copies under \(\Gamma \) can be decomposed into layers, giving rise to a combinatorial notion of distance associated to a tiling:
Definition 3
Let \(\mathcal {F}\subset \mathbb {H}^2\) be a polygonal fundamental domain for \(\Gamma \). Let \(\widetilde{x}\) be a point in a fixed original domain \(\mathcal {F}_o\).
Consider the set \(\{\mathcal {F}^i_1\}_i\) of nontrivial copies, under the action of \(\Gamma \), of \(\mathcal {F}\) with \(\mathcal {F}_1^i\cap \mathcal {F}\ne \emptyset \). Each \(\mathcal {F}^i_1\) corresponds to a nontrivial \(f_1^i\in \Gamma \) such that \(f_1^i \mathcal {F}_o\subset \mathcal {F}^i_1\). We call \(\displaystyle \mathcal {N}_1:=\bigcup _i f^i_1 \mathcal {F}_o\) the first neighborhood layer of \(\mathcal {F}_o\). For a point \(\widetilde{y}\in \mathcal {N}_1\), the combinatorial distance \(d^c_{\mathcal {F}_o}(\widetilde{x},\widetilde{y})\) from \(\widetilde{x}\) to \(\widetilde{y}\) is equal to 1. We repeat this process inductively. Consider all copies \(\{\mathcal {F}^i_n\}_i\) of \(\mathcal {F}\) such that \(\mathcal {F}^i_{n}\cap \mathcal {F}^j_{n-1}\ne \emptyset \) for some i, j but such that \(\mathcal {F}^i_n\) is not contained in any mth neighborhood layer \(\mathcal {N}_m\) for \(m\le n-1\). Each \(\mathcal {F}^i_n\) corresponds to a nontrivial \(f_n^i\in \Gamma \) such that \(f_n^i \mathcal {F}_o\subset \mathcal {F}^i_n\). The nth neighborhood layer is defined as \(\displaystyle \mathcal {N}_n=\bigcup _if^i_n \mathcal {F}_o. \) The combinatorial distance from \(\widetilde{x}\) to a point \(\widetilde{y}\in \mathcal {N}_n\) is \(d^c_{\mathcal {F}_o}(\widetilde{x},\widetilde{y})=n\). The combinatorial length \(d^c_{\mathcal {F}_o}(\widetilde{e})\) of a geodesic segment \(\widetilde{e}\) designates the combinatorial distance between its endpoints.
The (maximal) combinatorial length of a triangulation T w.r.t. \(\mathcal {F}_o\) is \(d^c_{\mathcal {F}_o}(T)= \max _{\widetilde{x}\sim \widetilde{y}} d^c_{\mathcal {F}_o}(\widetilde{x},\widetilde{y})\), where \(\widetilde{x}\sim \widetilde{y}\) if they are joined by an edge in the triangulation.
Remark that two different neighborhood layers have empty intersection.
Since \(\mathcal {F}\) is compact, the combinatorial length of a geodesic segment \(\widetilde{e}\) is finite if and only if \(\widetilde{e}\) crosses only a finite number of copies of the fundamental domain \(\mathcal {F}\). In particular, since a Dirichlet tesselation is locally finite, the combinatorial length of a triangulation with locally finite point set and finite vertex degrees, such as the Delaunay triangulation, is always finite.
Figure 6 illustrates the definition of neighborhood layers, in a non-generic case. In this example, the translations that identify opposite edges of the Dirichlet domain of the origin generate the group \(\Gamma _B\) of the Bolza surface. All vertices of the Dirichlet fundamental domain are equivalent under \(\Gamma _B\).
Assume that the tesselation induced by \(\mathcal {F}\) and \(\Gamma \) features only vertices of degree 3, which is the generic case [1, Thm. 9.4.5], in the sense that for almost every point \(\widetilde{x}\), \(\mathcal {D}_{\widetilde{x}}\) has only vertices of degree 3. Then the combinatorial distance between points is equal to the graph distance in the 1-skeleton of the dual triangulation, between the copies of the original domain \(\mathcal {F}_o\) that the points lie in.
Let us look back at our objective, as described in the introduction. Using an original domain \(\mathcal {F}_o\), \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) can be reconstructed by considering the points \(\widetilde{\mathcal {P}}\cap \mathcal {F}_o\) and the edges in \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) that connect to these. One question related to the combinatorial length of an edge is how many fundamental domains it can intersect. Unfortunately, as in the flat case above, there is no bound on this number of intersections, by Corollary 1 below, which motivates the use of Dirichlet domains. Intuitively, what can happen is that a fundamental domain arises by cutting S along a set of paths that each intersect a given edge arbitrarily many times.
Proposition 2
Let \(n\in \mathbb {N}\) and c a simple nonseparating path on S. There is a fundamental domain for \(\Gamma \) in \(\mathbb {H}^2\) such that the combinatorial length of the lift \(\tilde{c}\) of c is greater than n.
Proof
We construct a fundamental domain \(\mathcal {F}_1\) with one vertex orbit for \(\Gamma \) such that there is a single edge \(\widetilde{c_1}\) of \(\mathcal {F}_1\) that intersects \(\widetilde{c}\), and does so transversally, both in their interiors, as we now explain. By assumption c is a simple path on S. Extend c arbitrarily to obtain a simple nontrivial nonseparating closed path \(c_C\subset S\) if necessary. Since \(c_C\) is nontrivial, we can find another simple closed nontrivial nonseparating path \(c_1\subset S\) that intersects \(c_C\) exactly once, somewhere in the interior of c. By applying a homeomorphism f of S, we map \(c_C\cup c_1\) to the paths on S shown in Fig. 7a [19, Sect. 1.3.3] and consider the graph \(f(c_{1})\cup v\), with vertex \(v\in f(c_1-c_C)\). Augmenting this graph by attaching \(2\,g-1\), where g is the genus of S, closed paths \(c_2',...,c_{2g}'\) as illustrated in Fig. 7, we obtain a graph \(G'\) whose edges only intersect in v.
Cutting open S along the graph \(G'\) produces a disk, as \(G'\) yields the standard presentation of the fundamental group of a surface [22, p. 5]. Any graph \(\hat{G}\) such that \(S-\hat{G}\) is a disk gives rise to a fundamental domain in \(\mathbb {H}^2\) for \(\Gamma \), by taking as interior of the domain a connected component of the preimage \(\pi ^{-1}(S-\hat{G})\) [34, Thm. 5.1]. Therefore, \(G:=f^{-1}(G')\) gives rise to the sought-for fundamental domain \(\mathcal {F}_1\subset \mathbb {H}^2\), with \(G\cap c=c_{1}\cap c\). Thus, \(\widetilde{c}\cap \partial \mathcal {F}_1=\widetilde{c}\cap \widetilde{c}_{1}\), for an appropriate lift \(\widetilde{c_1}\) of \(c_{1}\). Consider the Dehn twist t about \(c_1\). For our purposes, it suffices to note that t can be represented as a homeomorphism of infinite order that maps G to a similar graph and therefore yields another fundamental domain. The Dehn twist t only changes the edges of G with nontrivial intersection number with \(c_1\), so, by construction, it leaves invariant all edges except for \(c_{2}\). The number of intersections of \(t^M(c_{2})\) with \(c_C\), where \(t^M=t\circ t\circ ...\circ t\) (M-times), is equal to M [19, Prop. 3.4]. Therefore, there is a representative in the isotopy class of \(t^M(c_{2})\) that intersects \(c_C\) M times, without forming any bigons, which by [19, Prop. 1.7] and [19, Sect. 1.2.7] means that these intersections cannot be eliminated by using homotopies. In \(\mathbb {H}^2\), \(\widetilde{c}\) then intersects M distinct copies of \(\widetilde{t^M(c_2})\). Therefore, the combinatorial length of the edge \(\widetilde{c}\) can be made arbitrarily large by successive application of the Dehn twist t. \(\square \)
The graph \(G'\) in the proof of Proposition 2
Remark 1
The statement of Proposition 2 remains valid if one drops the assumption that the simple path is nonseparating, as long as the path is nontrivial. The proof of this statement with the above method would entail different cases according to the genera of the two parts of the surface resulting from cutting it along the given path. For our purposes, the more restricted version of the proposition suffices.
Corollary 1
There is no bound on the combinatorial length of an edge in \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) for arbitrary fundamental domains.
Proof
Fix an edge \(\widetilde{e}\) of \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) whose projection e to S is not closed, or, if closed, is nonseparating. To see that such an edge exists, observe that the only case where all edges are closed is the case where \(\widetilde{\mathcal {P}}=\Gamma \widetilde{x}\). In this case, since \({{\,\mathrm{DT_\mathcal {P}}\,}}\) is a triangulation, the closed paths in \({{\,\mathrm{DT_\mathcal {P}}\,}}\) generate the fundamental group \(\Gamma \). By Hurewicz’ theorem [22, Thm. 2A.1], the paths in \({{\,\mathrm{DT_\mathcal {P}}\,}}\) are a basis of the homology group of S, and therefore cannot all be separating, because separating paths are homologically trivial. By Proposition 1, \(\widetilde{e}\) is simple, and Proposition 2 concludes the proof. \(\square \)
4 Half-Minimizers
At the heart, our approach is based on the fact that two paths that minimize the distance between points cannot intersect too many times. Edges of a Delaunay triangulation or of a Voronoi diagram do not generally have this feature, but they do have related properties.
Definition 4
A distance path between two points on a surface S is a path, i.e. the image of a continuous map from [0, 1] to S, that has the minimum length out of all paths on S with the same endpoints. We also call a lift \(\widetilde{c}\) in \(\mathbb {H}^2\) of a distance path c in S a distance path.
A distance path \(\gamma \) is necessarily a geodesic on S, but, in general, not all geodesics are distance paths as they only locally minimize distances. Furthermore, the property of being a distance path is inherited by subarcs. A distance path is also necessarily simple.
Definition 5
A path c from x to \(y\in S\) is a half-minimizer if it is the concatenation of at most two distance paths. We call the point m where the two distance paths join a half-point of c. We also call a half-minimizer in \(\mathbb {H}^2\) the lift of a half-minimizer in S.
A half-minimizer is smooth except that it may have a kink at the half-point m. If there is such a kink then m is uniquely defined, otherwise this is not necessarily the case. Half-minimizers provide a natural class of paths with distance minimizing properties. In contrast to distance paths, half-minimizers can be closed, and indeed the systole of a hyperbolic surface is an example of a nontrivial half-minimizer.
Let us study intersection properties of distance paths or half-minimizers. The proofs of the following two lemmas are based on general considerations concerning the structure of distance paths in Riemannian manifolds.
Lemma 1
Two distinct distance paths on S that do not have a subarc in common cannot intersect each other more than once in their interior. If an intersection occurs at an endpoint, then there cannot be an intersection in the interior. Moreover, a distance path is necessarily simple.
Note that two distance paths can still share the same two endpoints.
Proof
Let \(c_1\) and \(c_2\) be distance paths between the points \(x_1\) and \(y_1\), and \(x_2\) and \(y_2\), respectively. Assume that \(c_1\) and \(c_2\) intersect each other at least 2 times in their interiors, at points z and \(z'\).
Note that the intersection of geodesics not sharing a subarc has to be transversal, meaning that their tangent vectors cannot be parallel at the point of intersection. This can be seen using a general argument concerning geodesics in Riemannian manifolds. If two geodesics \(\gamma _1,\gamma _2\) intersected nontransversally at some point p, then \(\gamma _1=\gamma _2\) locally, after reparametrization. This is because geodesics are the solution of a second-order differential equation, and these are uniquely determined by their initial values, i.e. the point p and their tangent vectors at p, so after rescaling the tangent vector if necessary, the geodesics agree [38, Chap. 3].
Since both \(c_1\) and \(c_2\) are distance paths, the portion of both \(c_1\) and \(c_2\) connecting z to \(z'\) realize the distance between these points as geodesic arcs. Therefore, we can connect \(x_1\) to z along \(c_1\), then connect z to \(z'\) along \(c_2\), and \(z'\) to \(y_1\) along \(c_1\) to obtain a path \(c_3\) connecting \(x_1\) to \(y_1\) with the same length as \(c_1\). However, since the intersections of \(c_1\) and \(c_2\) are transversal, \(c_3\) is not a geodesic, as it features kinks at z and \(z'\). By the Hopf-Rinow theorem [38, Thm. 5.21], we can then further shorten the path \(c_3\) by applying a homotopy with fixed endpoints and obtain a path connecting \(x_1\) and \(y_1\), homotopic to \(c_3\) and shorter than \(c_1\), a contradiction.
The second statement of the lemma corresponds to the situation where either \(x_1=z\) or \(y_1=z'\). The same argument also shows that a distance path is simple. \(\square \)
Lemma 2
A half-minimizer can intersect a distance path at most 2 times, or the half-minimizer and the distance path have a common subarc.
Proof
The only case that is not immediate from Lemma 1 is the case where a distance path \(\gamma \) intersects a half-minimizer c at both endpoints x and y and at the half-point m of c. Let \(\gamma \) join x to y, passing through m, and let \(c_m^x\), \(c_m^y\) be the two distance paths on c, connecting x to m and m to y, respectively. Now, if \(c_m^x\) intersected \(\gamma \) at m nontransversally, then \(c_m^x\) would be included in \(\gamma \), similarly to the proof of Lemma 1 above. If we exclude such cases, then we find a contradiction to \(\gamma \) being a distance path by considering the geodesic in the homotopy class with fixed endpoints of the path that follows first \(c_m^x\) from x to m and then \(\gamma \) from m to y. \(\square \)
Lemma 2 implies that half-minimizers are either simple or they backtrack from the half-point, in which case their image is contained in the image of a distance path. We now show that the edges of Delaunay triangulations and Dirichlet domains are either half-minimizers or isotopic to a half-minimizer.
Lemma 3
Let \(\widetilde{x}\) be a point in \(\mathbb {H}^2\). For any point \(\widetilde{y}\) in \(\mathcal {D}_{\widetilde{x}}\), the geodesic segment \(\widetilde{\gamma }\) that joins \(\widetilde{x}\) to \(\widetilde{y}\) projects to a distance path in S. Conversely, if a geodesic \(\gamma \) from \(x=\pi (\widetilde{x})\) to y is a distance path on S, then the lift \(\widetilde{\gamma }\) of \(\gamma \) based at \(\widetilde{x}\) is contained in \(\mathcal {D}_{\widetilde{x}}\).
Proof
As \(\mathcal {D}_{\widetilde{x}}\) is convex, a geodesic \(\widetilde{\gamma }\) between \(\widetilde{x}\) and \(\widetilde{y}\in \mathcal {D}_{\widetilde{x}}\) is contained in \(\mathcal {D}_{\widetilde{x}}\). Assume, for the sake of contradiction, that there is a simple geodesic \(\gamma '\) on S joining \(x=\pi (\widetilde{x})\) and \(y=\pi (\widetilde{y})\), shorter than \(\gamma =\pi (\widetilde{\gamma })\). Since geodesics connecting points are uniquely determined by their endpoints in their homotopy class in S [5, Thm. 1.5.3], \(\gamma '\) is not homotopic to \(\gamma \). So, the lift \(\widetilde{\gamma '}\) of \(\gamma '\) based at \(\widetilde{x}\) is not equal to \(\widetilde{\gamma }\) and therefore joins \(\widetilde{x}\) to a point \(\widetilde{y'}\ne \widetilde{y}\), equivalent to \(\widetilde{y}\) under the action of \(\Gamma \). Moreover, \(\widetilde{\gamma '}\) is shorter than \(\widetilde{\gamma }\) because \(\pi \) is a local isometry and therefore the length of a geodesic in \(\mathbb {H}^2\) and its projection in S are equal [20, Prop. 2.109], a contradiction.
For the converse statement, simply observe that if the endpoint \(\widetilde{y}\) of \(\widetilde{\gamma }\) was not contained in \(\mathcal {D}_{\widetilde{x}}\), then it would be strictly closer to another point \(\widetilde{x'}\in \Gamma \widetilde{x}\). This contradicts the minimality of \(\gamma \), by the first part of the proof, since then there is a distance path \(\widetilde{\gamma '}\) in \(\mathcal {D}_{\widetilde{x'}}\) that projects to a distance path \(\gamma '\) shorter than \(\gamma \). \(\square \)
The following lemma generalizes a result known in the flat case [15]. In particular, when \(\widetilde{\mathcal {P}}=\Gamma \widetilde{x}\), the circumcenter lies in the Dirichlet domain \(\mathcal {D}_{\widetilde{x}}\), as in the flat case [15, Lem. 3.2].
Lemma 4
Let \(\widetilde{x}\) be a point in \(\widetilde{\mathcal {P}}\) and \(\widetilde{\Delta }\) a triangle of \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) with vertex \(\widetilde{x}\). The (hyperbolic) circumcenter of \(\widetilde{\Delta }\) lies in \(\mathcal {V}^{\widetilde{\mathcal {P}}}_{\widetilde{x}}\).
Proof
Let \(\omega _{\widetilde{\Delta }}\) denote the circumcenter of \(\widetilde{\Delta }\) and \(C_{\widetilde{\Delta }}\) its circumcircle. Assume that \(\omega _{\widetilde{\Delta }}\) is contained in some other cell of the Voronoi diagram of \(\widetilde{\mathcal {P}}\). We have \(\widetilde{\mathcal {P}}\cap {{\,\textrm{int}\,}}(D_{\widetilde{\Delta }})=\emptyset \), where \(D_{\widetilde{\Delta }}\) denotes the disk bounded by \(C_{\widetilde{\Delta }}\). However, if \(\omega _{\widetilde{\Delta }}\) is contained in \({{\,\textrm{int}\,}}(\mathcal {V}^{\widetilde{\mathcal {P}}}_{\widetilde{y}})\) for some \(\widetilde{y}\ne \widetilde{x}\), then \(d_{\mathbb {H}^2}(\omega _{\widetilde{\Delta }},\widetilde{y})<d_{\mathbb {H}^2}(\omega _{\widetilde{\Delta }},\widetilde{x})\), i.e. \(\widetilde{y}\in {{\,\textrm{int}\,}}(D_{\widetilde{\Delta }})\), in contradiction to \(\widetilde{\mathcal {P}}\cap {{\,\textrm{int}\,}}(D_{\widetilde{\Delta }})=\emptyset \). \(\square \)
Remark 2
A Delaunay edge \(\widetilde{e}\) is not generally a half-minimizer, as Fig. 8a illustrates. Indeed, consider the set \(\Gamma \widetilde{x}\), for a point \(\widetilde{x}\in \mathbb {H}^2\). If a Delaunay edge \(\widetilde{e}\) incident to \(\widetilde{x}\) and some \(\widetilde{x'}\in \Gamma \widetilde{x}\) projects to a (closed) half-minimizer in S, then the midpoint of \(\widetilde{e}\) must lie on the boundary \(\partial \mathcal {D}_{\widetilde{x}}\) by Lemma 3. Said in another way, such a half-minimizer intersects the interior of exactly two Dirichlet domains.
Proposition 3
Let \(x\in \mathcal {P}\) and e an edge of \({{\,\mathrm{DT_\mathcal {P}}\,}}\) incident to x. The edge e is isotopic with fixed endpoints to a half-minimizer c on S, based at x. The path c is simple and, if closed, nontrivial.
Proof
In \(\mathbb {H}^2\), let \(\widetilde{\Delta }\) be a triangular face of \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\), and \(\omega _{\widetilde{\Delta }}\) its circumcenter. Consider the path \(\widetilde{c}\) that connects \(\omega _{\widetilde{\Delta }}\) to two vertices \(\widetilde{x}\) and \(\widetilde{y}\) of \(\widetilde{\Delta }\), as shown in Fig. 8b. The point \(\omega _{\widetilde{\Delta }}\) lies in \(\mathcal {D}_{\widetilde{x}}\), by Lemma 4 and because \(\Gamma \widetilde{x}\subset \widetilde{\mathcal {P}}\) implies that \(\mathcal {V}^{\widetilde{\mathcal {P}}}_{\widetilde{x}}\subset \mathcal {D}_{\widetilde{x}}\). Similarly, \(\omega _{\widetilde{\Delta }}\) lies in \(\mathcal {D}_{\widetilde{y}}\). So, by Lemma 3, \(\widetilde{c}\) is a half-minimizer based at either endpoint, with half-point \(\omega _{\widetilde{\Delta }}\).
Consider now the Dirichlet domain \(\mathcal {D}_{\omega _{\widetilde{\Delta }}}\), which contains \(\widetilde{x}\) and \(\widetilde{y}\), by equivalence (1) (page 8) and Lemma 4. Since \(\mathcal {D}_{\omega _{\widetilde{\Delta }}}\) is convex, it also contains the geodesic edge \(\widetilde{e}\) of \(\widetilde{\Delta }\) with the same endpoints, \(\widetilde{x}\) and \(\widetilde{y}\), as \(\widetilde{c}\). The bigon \(\widetilde{B}\) formed by \(\widetilde{c}\) and \(\widetilde{e}\) is then completely contained in \(\mathcal {D}_{\omega _{\widetilde{\Delta }}}\). Therefore, there is an isotopy inside \(\mathcal {D}_{\omega _{\widetilde{\Delta }}}\) from \(\widetilde{e}\) to \(\widetilde{c}\), which fixes \(\widetilde{x}\) and \(\widetilde{y}\). Note that \(\widetilde{B}\) does not contain any points of \(\widetilde{\mathcal {P}}\) (except for \(\widetilde{x}\) and \(\widetilde{y}\)), by definition of \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) and convexity of the disk circumscribing \(\widetilde{\Delta }\). The tesselation of \(\mathbb {H}^2\) by copies of \(\mathcal {D}_{\omega _{\widetilde{\Delta }}}\) is of course \(\Gamma \)-invariant. Since \(\mathcal {D}_{\omega _{\widetilde{\Delta }}}\) contains only one representative of every point moved in the isotopy, one obtains a \(\Gamma \)-invariant isotopy of the whole plane \(\mathbb {H}^2\) by using the same constructed isotopy in every copy of \(\mathcal {D}_{\omega _{\widetilde{\Delta }}}\).
That \(c=\pi (\widetilde{c})\), if closed, is nontrivial is clear, and simple follows from Proposition 1 for \({{\,\mathrm{DT_\mathcal {P}}\,}}\) and the fact that c is isotopic to the projection of \(\widetilde{e}\). \(\square \)
Definition 6
Let \(\widetilde{e}\) be an edge of either \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) or \(\mathcal {V}^{\widetilde{\mathcal {P}}}\). The edge \(\widetilde{e}\) is said to be centered if it intersects its dual edge.
The concept of centered edges has been studied before [10], restricted to Voronoi edges.
Proposition 4
Each non-centered edge of \(\mathcal {D}_{\widetilde{x}}\) is a distance path and each centered edge is a half-minimizer.
Proof
Let \(\widetilde{e}\) be an edge of \(\mathcal {D}_{\widetilde{x}}\), with endpoints by \(\widetilde{a}\) and \(\widetilde{b}\), and let \(\mathcal {D}_{\widetilde{x_1}}\) be the other domain in \(\Gamma \mathcal {D}_{\widetilde{x}}\) that is also incident to \(\widetilde{e}\). The group of conformal transformations of the unit disk acts transitively on triples on the boundary of the unit disk, so we can choose to map the geodesic in \(\mathbb {H}^2\) containing \(\widetilde{e}\) to the real axis by mapping its intersections with the boundary to the points 1 and \(-1\) on this axis. Furthermore, the points \(\widetilde{x}\) and \(\widetilde{x_1}\) lie on a geodesic perpendicular to the real axis, so by mapping the intersection above the real axis of this geodesic with the boundary to the point \(i\in \mathbb {C}\), we can assume that the points \(\widetilde{x}\) and \(\widetilde{x_1}\) lie on the imaginary axis.
For any point \(\widetilde{z}\in \widetilde{e}\), denote by \(\widetilde{\gamma }_z\) (\((\widetilde{\gamma }_z)_1\)) the geodesic segment from \(\widetilde{x}\) (\(\widetilde{x_1}\)) to \(\widetilde{z}\), respectively. Then the concatenation of \(\widetilde{\gamma }_z\subset \mathcal {D}_{\widetilde{x}}\) with \((\widetilde{\gamma }_z)_1\subset \mathcal {D}_{\widetilde{x_1}}\) forms a half-minimizer from \(\widetilde{x}\) to \(\widetilde{x_1}\), by Lemma 3.
We consider first the case that \(\widetilde{e}\) is non-centered and assume, without loss of generality, that \(d_{\mathbb {H}^2}(\widetilde{a},\widetilde{x})\le d_{\mathbb {H}^2}(\widetilde{b},\widetilde{x})\). See Fig. 9(Left). Note that the circle \(C^0(\widetilde{b})\) passing through \(\widetilde{b}\) and centered at \(\widetilde{x}\) bounds a disk \(D^0(\widetilde{b})\) the interior of which does not contain any points in \(\Gamma \widetilde{b}\), by Lemma 3. There is a similar disk \(D^1(\widetilde{b})\), bounded by the circle \(C^1(\widetilde{b})\ni \widetilde{b}\) with center \(\widetilde{x_1}\). Since \(\widetilde{e}\) is the perpendicular bisector of \(\widetilde{x}\) and \(\widetilde{x_1}\), the radii of \(C^0(\widetilde{b})\) and \(C^1(\widetilde{b})\) agree. The edge \(\widetilde{e}\) is necessarily shorter than \(\widetilde{\gamma _b}\), by non-centeredness. Indeed the circles are symmetric w.r.t. a reflection along the geodesic from \(\widetilde{x}\) to \(\widetilde{x_1}\). Therefore, by the triangle inequality in \(\mathbb {H}^2\), \(2l(\widetilde{e})<2l(\widetilde{\gamma _b})\), where l(c) denotes the hyperbolic length of a geodesic segment c. Whence, one easily sees that the cyan circle, centered at \(\widetilde{a}\) and passing through \(\widetilde{b}\), is contained in the union of \(D^0(\widetilde{b})\) and \(D^1(\widetilde{b})\) and consequently does not contain any point of \(\Gamma \widetilde{b}\). Therefore, \(\widetilde{e}\) is a distance path.
Proof of Proposition 4: (Left) non-centered case (Right) centered case
Consider now the case where \(\widetilde{e}\) is centered. See Fig. 9(Right). Projecting \(\widetilde{x}\) (and \(\widetilde{x_1}\)) to its nearest point on \(\widetilde{e}\), we obtain a point \(\widetilde{m}\in \widetilde{e}\) between \(\widetilde{a}\) and \(\widetilde{b}\). We claim that \(\widetilde{m}\) is a half-point of the half-minimizer \(\widetilde{e}\), which will finish the proof. For this, similarly to above, we consider the open disks \(D^0(\widetilde{b})\) and \(D^1(\widetilde{b})\) around \(\widetilde{x}\) and \(\widetilde{x_1}\), respectively, which do not contain any point equivalent to \(\widetilde{b}\). Their boundary circles are shown in the figure along with the green circle \(C(\widetilde{b})\) centered at \(\widetilde{m}\) and passing through \(\widetilde{b}\). The interior disk \(D(\widetilde{b})\) of \(C(\widetilde{b})\) is included in the union \(D^0(\widetilde{b})\cup D^1(\widetilde{b})\), which shows that the subarc of \(\widetilde{e}\) from \(\widetilde{m}\) to \(\widetilde{b}\) is a distance path. Consider now the disks bounded instead by the dashed circles, centered at \(\widetilde{x}\) and \(\widetilde{x_1}\), respectively, and passing through \(\widetilde{a}\). One deduces, similarly to above, that the cyan dashed circle centered at \(\widetilde{m}\) passing through \(\widetilde{a}\) bounds a disk not containing any points of \(\Gamma \widetilde{a}\). Therefore, the subarc of \(\widetilde{e}\) from \(\widetilde{m}\) to \(\widetilde{a}\) is a distance path. \(\square \)
5 Main Result
There are several definitions of convexity on a surface in the literature. We choose the following definition, adapted to our case study.
Definition 7
A simply connected subset \(K\subset S\) is convex if for every two points \(x,y\in K\), there is a unique distance path in K with endpoints x and y.
Proposition 5
A (closed) triangle in S whose edges are distance paths is convex.
Proof
For a triangle \(\Delta \) in S, fix a lift \(\widetilde{\Delta }\subset \mathbb {H}^2\). The triangle \(\widetilde{\Delta }\) is obviously convex in \(\mathbb {H}^2\); it contains a unique geodesic joining any two points in it. We will prove that, if the edges of \(\Delta \) are distance paths, any such geodesic is also a distance path. Denote the geodesic connecting two points \(\widetilde{z_1}\) and \(\widetilde{z_2}\) in \(\mathbb {H}^2\) by \(\widetilde{\gamma }_{\widetilde{z_1}\widetilde{z_2}}\).
We first prove that the (unique) geodesics in \(\widetilde{\Delta }\) from corners to arbitrary points on its edges are distance paths. Denote the vertices of \(\widetilde{\Delta }\) by \(\widetilde{x},\widetilde{y}\), and \(\widetilde{z}\). Consider w.l.o.g. the corner \(\widetilde{y}\). The edges \(\widetilde{\gamma }_{\widetilde{y}\widetilde{z}}\) and \(\widetilde{\gamma }_{\widetilde{y}\widetilde{x}}\) of \(\widetilde{\Delta }\) are distance paths so \(\widetilde{z},\widetilde{x}\in \mathcal {D}_{\widetilde{y}}\) by Lemma 3. Since \(\mathcal {D}_{\widetilde{y}}\) is convex, \(\widetilde{\gamma }_{\widetilde{x}\widetilde{z}}\subset \mathcal {D}_{\widetilde{y}}\) and therefore, again by Lemma 3, there is a distance path from \(\widetilde{y}\) to any point on the edge \(\widetilde{\gamma }_{\widetilde{x}\widetilde{z}}\).
Assume that there are two points \(\widetilde{p'_1},\widetilde{p'_2}\in \widetilde{\Delta }\) such that \(\widetilde{\gamma }_{\widetilde{p}'_1\widetilde{p}'_2}\) is not a distance path. The complete geodesic through \(\widetilde{p_1}'\) and \(\widetilde{p_2}'\) that is inside \(\widetilde{\Delta }\) crosses the boundary of \(\widetilde{\Delta }\) in two points \(\widetilde{p_1}\) and \(\widetilde{p_2}\) such that the part of the geodesic between \(\widetilde{p_1}\) and \(\widetilde{p_2}\) contains \(\widetilde{p_1}'\) and \(\widetilde{p_2}'\). This geodesic cannot be a distance path between \(\widetilde{p_1}\) and \(\widetilde{p_2}\) if its subpath between \(\widetilde{p'_1}\) and \(\widetilde{p'_2}\) is not a distance path. For the proof of the proposition, it is therefore enough to show that geodesics in \(\widetilde{\Delta }\) that connect two points of the boundary are distance paths.
So, assume that \(\widetilde{p_1}\in \widetilde{\gamma }_{\widetilde{x}\widetilde{z}}\) and \(\widetilde{p_2}\in \widetilde{\gamma }_{\widetilde{y}\widetilde{z}}\), as in Fig. 10, and consider the geodesic \(\widetilde{\gamma }_{\widetilde{p_1}\widetilde{y}}\subset \widetilde{\Delta }\). Since \(\widetilde{y}\) is a corner of \(\widetilde{\Delta }\), \(\widetilde{\gamma }_{\widetilde{p}_1\widetilde{y}}\) is a distance path and therefore the triangle \(\widetilde{\Delta '}\subset \widetilde{\Delta }\) with vertices \(\widetilde{p_1},\widetilde{y}\), and \(\widetilde{z}\) is a triangle with distance paths as edges. The geodesic \(\widetilde{\gamma }_{\widetilde{p}_1\widetilde{p}_2}\) connects a corner of \(\widetilde{\Delta '}\) to a point on its edge, so it is a distance path by the first part of the proof. \(\square \)
The two triangles \(\widetilde{\Delta }\) and \(\widetilde{\Delta '}\) in the proof of Proposition 5
We can partition a Dirichlet domain into triangles whose projections to S are convex. The notation is illustrated in Fig. 11a in the case of a dodecagon. Let \(\{\widetilde{v_i}\}_{i=0}^{k-1}\), with \(\widetilde{v_k}=\widetilde{v_0}\), denote the k corners of \(\mathcal {D}_{\widetilde{x}}\), indexed counter-clockwise, and let \(\widetilde{s_i}\) denote the side with endpoints \(\widetilde{v_i}\) and \(\widetilde{v_{i+1}}\), for \(i=0,\ldots ,k-1\). We know by Proposition 4 that \(\widetilde{s_i}\) is a half-minimizer or a distance path; in the first case we denote as \(\widetilde{m_i}\) a half-point of \(\widetilde{s_i}\); in the second case we choose an arbitrary point \(\widetilde{m_i}\) in the interior of \(\widetilde{s_i}\). The two subarcs of \(\widetilde{s_i}\) obtained in this way are distance paths; let us denote them as \(\widetilde{\sigma _{2i}}\), with endpoints \(\widetilde{v_i}\) and \(\widetilde{m_i}\), and \(\widetilde{\sigma _{2i+1}}\), with endpoints \(\widetilde{m_i}\) and \(\widetilde{v_{i+1}}\), respectively. Denote now as \(\widetilde{\gamma _z}\) the geodesic segment between \(\widetilde{x}\) and \(\widetilde{z}\) for any point \(z\in \partial \mathcal {D}_{\widetilde{x}}\); by Lemma 3, \(\widetilde{\gamma _{v_i}}\) and \(\widetilde{\gamma _{m_i}}\) are distance paths, for \(i=0,\ldots ,k-1\). Let us denote the closed triangle formed by \(\widetilde{x}\) and \(\widetilde{\sigma _{2i}}\) as \(\widetilde{\Delta _{2i}}\) and the triangle formed by \(\widetilde{x}\) and \(\widetilde{\sigma _{2i+1}}\) as \(\widetilde{\Delta _{2i+1}}\); the triangles \(\widetilde{\Delta _j}, j=0,\ldots ,2k-1\) partition \(\mathcal {D}_{\widetilde{x}}\). By Proposition 5, the projection \(\Delta _j\) of each \(\widetilde{\Delta _j}\) on S is convex.
Lemma 5
Let \(\mathcal {D}_{\widetilde{x}}\) be a Dirichlet domain with k edges. The combinatorial length of a distance path with an endpoint in the original domain \((\mathcal {D}_{\widetilde{x}})_o\) is at most k/2.
Before we prove the result, let us observe that a geodesic path \(\widetilde{\gamma }\) in \(\mathbb {H}^2\) that projects to a path \(\gamma \) on S can be represented as a sequence of geodesic segments in a Dirichlet domain, as illustrated in Fig. 11b. Let \(\widetilde{p}\in (\mathcal {D}_{\widetilde{x}})_o\) be an endpoint of \(\widetilde{\gamma }\). If \(\widetilde{\gamma }\subset (\mathcal {D}_{\widetilde{x}})_o\) then the sequence is reduced to \(\{\widetilde{\gamma }\}\). Otherwise, denote as \(\widetilde{\gamma _0}\) the intersection \(\gamma \cap (\mathcal {D}_{\widetilde{x}})_o\). The path \(\widetilde{\gamma }\) exits \(\mathcal {D}_{\widetilde{x}}\) at the intersection point \(\widetilde{p_1}\): \(\{\widetilde{p_1}\} =\widetilde{\gamma }\cap \partial \mathcal {D}_{\widetilde{x}}\). The path \(\gamma \) continues in a Dirichlet domain \(\mathcal {D}_{\widetilde{x_1}}\). By using the appropriate element of \(f_1\in \Gamma \), one can map \(\widetilde{\gamma }\cap (\mathcal {D}_{\widetilde{x_1}})_o\) back into \(\mathcal {D}_{\widetilde{x}}\) and obtain another geodesic segment \(\widetilde{\gamma _1}\), which may again exit \(\mathcal {D}_{\widetilde{x}}\). Repeating this process until we reach the other endpoint of \(\gamma \) yields a collection \(\{\widetilde{\gamma _n}\}_{n=0}^{r-1}\) of geodesic arcs in \(\mathcal {D}_{\widetilde{x}}\). If we keep track of the order of the paths, then they project to a sequence \(\{\gamma _n\}_{n=0}^{r-1}\) of paths in S whose concatenation corresponds to \(\gamma \). Note that the geodesic arcs are disjoint in \(\mathcal {D}_{\widetilde{x}}\) if and only if \(\widetilde{\gamma }\) projects to a simple path on S. We denote with \(\gamma _{<l}\) the concatenation of the l first arcs \(\gamma _0,\ldots ,\gamma _{l-1}\) and with \(\widetilde{\gamma _{<l}}\) the lift of \(\gamma _{<l}\) to \(\mathbb {H}^2\), starting at \(\widetilde{p}\). Observe that \(\widetilde{\gamma _{<r}}=\widetilde{\gamma }\).
Proof
Let \(\widetilde{\gamma }\) be a distance path with endpoint \(\widetilde{p}\in (\mathcal {D}_{\widetilde{x}})_o\). We can represent \(\widetilde{\gamma }\) by a sequence of subarcs \(\{\widetilde{\gamma _n}\}_{n=0}^{r-1}\) in \(\mathcal {D}_{\widetilde{x}}\) as above. Assuming that \(\widetilde{\gamma }\) consists of more than one segment, every \(\widetilde{\gamma _n}\) is incident to two points on \(\partial \mathcal {D}_{\widetilde{x}}\), except possibly \(\widetilde{\gamma _0}\) and \(\widetilde{\gamma _{r-1}}\).
Observe that since \(\widetilde{\gamma }\) is a distance path, the intersection \(\gamma \cap {{\,\textrm{int}\,}}(\Delta _j)\) is connected for all j. Indeed, if it were not connected, then there is a distance path that connects two connected components of the intersection by the convexity of the triangles \(\Delta _j\) in S (Proposition 5). This distance path would intersect the distance path \(\gamma \) more than once, which is impossible by Lemma 1. We similarly see that the only way \(\gamma \cap \Delta _j\) is not connected is if \(\gamma \) intersects one triangle in only two points on the boundary, at the start and endpoint of \(\gamma \). Therefore, aside from the start and endpoint, if \(\widetilde{\gamma _n}\) intersects a triangle \(\widetilde{\Delta _j}\) for some n, then \(\widetilde{\gamma _l}\) cannot intersect the same \(\widetilde{\Delta _j}\) for \(l\ne n\).
Recall the definition of neighborhood layers (Definition 3) and Fig. 6b: if after leaving the (blue) central Dirichlet domain, a path intersects consecutive sides of Dirichlet domains sharing the same corner of this blue domain, then it stays in the red layer. More generally, if the two endpoints of a segment \(\widetilde{\gamma _{l}}\) lie on two adjacent sides of \(\mathcal {D}_{\widetilde{x}}\), then the combinatorial length \(d^c(\widetilde{\gamma _{<l+1}})\) is the same as the combinatorial length \(d^c(\widetilde{\gamma _{<l}})\). So, as we want to find an upper bound on the combinatorial length of a Delaunay edge, we will assume that the two endpoints of each segment \(\widetilde{\gamma _n}, n=1,\ldots ,r-2\) lie on non-consecutive sides of \(\mathcal {D}_{\widetilde{x}}\), so that the combinatorial length of \(\widetilde{\gamma }\) is \(r-1\).
Remark now that such a segment \(\widetilde{\gamma _n}, n\in \{1,\ldots ,r-2\}\) must intersect at least four triangles \(\Delta _{2j-1},\Delta _{2j},\Delta _{2j+1}\), and \(\Delta _{2(j+1)}\) for some j, where the indices are taken modulo 2k. (Note that in the special case when \(\widetilde{\gamma _n}\) passes through a corner of a Dirichlet domain, the number of triangle orbits intersected by \(\widetilde{\gamma _n}\) is at least 6 as the triangles \(\Delta _j\) are closed.) There are 2k triangles \(\Delta _j\) in total, and a triangle cannot be intersected by more than one segment \(\widetilde{\gamma _n}, n\in \{0,\ldots ,r-2\}\). Moreover, \(\widetilde{\gamma _0}\) intersects at least one triangle. Thus, \(r-2 \le (2k-1)/4=k'-1/4\), as \(k=2k'\) is even. Since r and \(k'\) are integers, in fact \(r-2\le k'-1\), and the combinatorial length \(r-1\) is thus at most k/2. \(\square \)
The previous lemma gives an upper bound, depending only on the genus, in the restricted case where all its edges are distance paths on S. Note that this case corresponds to the framework of previous work [4, 26, 39]. Indeed, the condition there is that each Delaunay edge is smaller than half the length of the smallest noncontractible loop on S; then any path in S joining two points of \(\mathcal {P}\) not homotopic to a Delaunay edge e between these points is strictly longer than e, which implies that all edges in \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) are distance paths.
Corollary 2
Let \(S=\mathbb {H}^2/\Gamma \) be a genus g hyperbolic surface and \(\mathcal {D}_{\widetilde{x}}\) be a Dirichlet domain for the NEC group \(\Gamma \). For a set of points \(\mathcal {P}\) on S, if the edges of \({{\,\mathrm{DT_\mathcal {P}}\,}}\) are distance paths, then the maximal combinatorial length of edges of \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) in \(\mathbb {H}^2\) is at most \(6g-3\).
Proof
The number of edges of a Dirichlet fundamental domain is at most \(12g-6\), by a direct use of the Euler characteristic [1, Thm. 10.5.1]. The result follows from Lemma 5. \(\square \)
We now consider the general case where there are no restrictions on the Delaunay edges of the triangulations.
Theorem 6
Let \(\mathcal {D}_{\widetilde{x}}\) be a Dirichlet domain, with k edges. Let \(\mathcal {P}\) be a finite set of points on S and \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) the Delaunay triangulation of the lifted set of points \(\widetilde{\mathcal {P}}\subset \mathbb {H}^2\). The maximal combinatorial length of a Delaunay edge \(\widetilde{e}\) is at most k.
Proof
Consider any path \(\widetilde{c}\) joining \(\widetilde{a}\in (\mathcal {D}_{\widetilde{x}})_o\) and \(\widetilde{b}\in \mathbb {H}^2\). The geodesic from \(\widetilde{a}\) and \(\widetilde{b}\) in \(\mathbb {H}^2\) is unique; it projects to a geodesic on the surface which is also unique in its homotopy class (with fixed endpoints) [5, Thm. 1.5.3]. So, the homotopy class of c is uniquely determined by which copy of the original domain \((\mathcal {D}_{\widetilde{x}})_o\) contains \(\widetilde{b}\).
As a consequence, if the combinatorial length of \(\widetilde{e}\) were larger than the sum of the combinatorial lengths of two distance paths, then it could not be isotopic to the concatenation of two such paths. However, the projection to S of a Delaunay edge \(\widetilde{e}\) in \(\mathbb {H}^2\) is isotopic to a half-minimizer by Proposition 3. The result now follows directly from Lemma 5. \(\square \)
Corollary 3
Let \(S=\mathbb {H}^2/\Gamma \) be a genus g hyperbolic surface and \(\mathcal {D}_{\widetilde{x}}\) be a Dirichlet domain for the NEC group \(\Gamma \). For a set of points \(\mathcal {P}\) on S, the maximal combinatorial length of edges of \({{\,\mathrm{DT_{\widetilde{\mathcal {P}}}}\,}}\) in \(\mathbb {H}^2\) is at most \(12g-6\).
In light of the discussion below, it seems likely that our linear bound on the combinatorial distance is of the optimal order.
Using the above results, we can produce a natural set of lifts of points on the surface that are sufficient for the construction of all Delaunay edges: the union of all domains in the first \(12g-6\) neighborhood layers. However, this set would also contain points leading to nonsimple geodesics and the number of domains is exponential in the genus. Precise expressions for bounds are deduced in Sect. 6 below.
Remark 3
An interesting observation worth mentioning arises in the context of similar problems for more general metric spaces. Since our approach is based on general geometric and topological considerations as well as the notion of half-minimizers, the methods of this section can also be applied to more general situations than that of hyperbolic surfaces. For example, it appears that half-minimizers can also be exploited to find similar upper bounds on the combinatorial length of Delaunay edges w.r.t. Dirichlet domains for higher dimensional hyperbolic manifolds. Moreover, the approach also lends itself to the study of singular spaces, such as orbifolds.
5.1 Discussion of the Optimality of Our Bounds
We were unable to exhibit an explicit sequence of Dirichlet domains for which the combinatorial length of Delaunay edges is linear in the genus and indeed, there are many open questions surrounding the structure of Dirichlet domains for surfaces. However, we can give arguments why such domains should exist.
The boundary of a fundamental domain projects to a graph G on S. General results on the structure of G state that it may be obtained through the following process. Select 2g simple closed curves that cut the surface into a disk and are pairwise disjoint except at a point \(p\in S\). Choose a neighborhood of p that intersects the 2g curves in 4g points on the boundary and replace the part of the curves in the neighborhood with an embedded tree T that spans these 4g points. The graph G is the union of a choice of 2g curves and T [34, Thm. 5.1]. It is further known that any such embedded graph appears, up to homeomorphisms of S, as the edge-graph of some Dirichlet polygon [35, Thm. 8.1] for a group of isometries isomorphic to \(\Gamma \). There are thus no restrictions on the embedded graph, up to homeomorphisms of S, when restricting to fundamental domains that appear as Dirichlet domains for \(\Gamma \). The most common case is that where every vertex of the Dirichlet tesselation has degree 3, in which case T has \(4g-2\) vertices (outside of the 4g vertices on the boundary of the disk), which follows from a computation using the Euler characteristic.
The structure of G is closely related to the arrangement of neighborhood layers around a central domain. Figure 12 shows an example of a Dirichlet domain and a neighborhood of a vertex containing the tree T associated to the fundamental domain. The domain \(\mathcal {D}_{\widetilde{x}}\) shown in Fig. 12(left) is a slight perturbation of the domain in Fig. 6a. The length of the edges of a Dirichlet domain \(\mathcal {D}_{\widetilde{x}}\) depend continuously on \(\widetilde{x}\), so that the edges of the tree T can be made arbitrarily small. In particular, the geodesic shown in Fig. 12(right) can be made arbitrarily small, while maintaining a combinatorial length of 3. For a related phenomenon occurring in the flat case, see Fig. 4.
We consider the operation of adding two vertices of degree 3 to each of two branches of T and the impact on the combinatorial distance between \(\mathcal {D}_{\widetilde{x}}\) and domains with nonempty intersection with T, as illustrated for one branch in Fig. 13(left). The depicted operation realizes the transition from the tree in Fig. 12(right) to that in Fig. 13(right), with the effect of adding one to the genus of the hyperbolic surface (here, this corresponds to transitioning from a genus 2 to a genus 3 surface). Topologically, the operation consists of gluing a handle to S in such a way that the 4 new vertices on the boundary of the disk (2 vertices are added to each branch) are connected by two new disjoint curves traversing the added handle, with one end of the handle being attached to S to the left of the shown disk, and the other to the right. The new curves are chosen such that the collection of curves again cut the new hyperbolic surface into a disk. We observe that the operation increases the maximal combinatorial distance between two points in the shown neighborhood, as exemplified with the points \(\widetilde{v_1}\) and \(\widetilde{v_2}\) in Fig. 13(right). To see this, assume, by induction, that the combinatorial distances are as indicated in Fig. 13(left) before the insertion, so that the combinatorial length of a path between a point \(\widetilde{v_2}\) in the region marked by \(d+2\) and a point \(\widetilde{v_1}\) in the original domain is at least \(d+1\). Recall that, since all vertices are of degree 3, the combinatorial distance between two points located inside two copies of \(\mathcal {D}_{\widetilde{x}}\) corresponds to the distance between the vertices in the dual graph associated to the two copies of \(\mathcal {D}_{\widetilde{x}}\). If there was another path in the dual graph from \(\widetilde{v_1}\) to \(\widetilde{v_2}\) that is shorter then \(d+2\) then it would have to avoid copies of \(\mathcal {D}_{\widetilde{x}}\) with a vertex incident to the tree, by the induction hypothesis. However, since each domain has \(12g-6\) edges, any such path must be longer than the path along copies incident to the tree, since the tree has \(4g-2\) vertices. We have thus illustrated a process that yields a fundamental domain for a surface of genus g that admits geodesics contained in a (small) neighborhood of a vertex with a combinatorial length of \(g+1\).
To summarize, if the edges of T can be made to be sufficiently small in a Dirichlet domain, then the combinatorial distance between two points that are very close generally depends at least linearly on the genus. Furthermore, this phenomenon occurs even for Dirichlet domains of the most well-behaved surfaces, such as the Bolza surface in Fig. 12(left), by a slight shift of the point \(\widetilde{x}\) for the construction of \(\mathcal {D}_{\widetilde{x}}\). A good candidate for further investigations would be the class of hyperbolic surfaces of genus g defined by a regular polygon with 4g edges centered around the origin, with Dirichlet domains of points close to the origin.
The above discussion shows one way in which the combinatorial length of short geodesics can depend linearly on the genus. What is missing from this is a demonstration that the combinatorial structure of the tree can be obtained as a tree with very short edges, as in the genus 1 and genus 2 examples above. In light of the above analysis, we conjecture that the combinatorial length of Delaunay edges depends linearly on the genus g. Note that the reasoning remains true in the case where we require the point \(\widetilde{x}\) to be part of \(\widetilde{\mathcal {P}}\), as the distance from \(\widetilde{v_1}\) to \(\widetilde{x}\) is much larger than the distance between \(\widetilde{v_1}\) and \(\widetilde{v_2}\). In particular, we observe that adding points to a Delaunay triangulation can increase the combinatorial length of the resulting Delaunay triangulation.
6 On the Number of Copies Within a Given Combinatorial Distance
To conclude our investigations, we deduce explicit bounds on the number of domains within a given combinatorial distance from a central original domain. The following proposition demonstrates the result based on our upper bound on the combinatorial distance from the previous section. It will follow directly from the results we prove in the remainder of this section.
Proposition 7
The number N of copies of \(\mathcal {D}_{\widetilde{x}}\) that have a combinatorial distance of at most \(12g-6\) from \(\mathcal {D}_{\widetilde{x}}\) satisfies, for \(g\ge 2\),
We first prove lemmas for two different cases - the worst case, where all vertices of the fundamental domain are equivalent, and the generic case, where all vertices have degree 3.
Lemma 6
In the generic case, where all vertices of \(\Gamma \mathcal {D}_{\widetilde{x}}\) have degree 3, the number \(\vert \mathcal {N}_{\le n}\vert \) of copies of \(\mathcal {D}_{\widetilde{x}}\) that have a combinatorial distance of at most \(n\ge 1\) from \(\mathcal {D}_{\widetilde{x}}\) is \(1+3n(n+1)\) for \(g=1\) and satisfies
for \(g\ge 2\).
Proof
We inductively count the copies in the first few layers until a pattern emerges.
Observe that the combinatorial distance between two points in the interior of two copies of \(\mathcal {D}_{\widetilde{x}}\) is equal to the graph distance between the vertices representing these two copies in the dual tesselation, as all vertices have degree 3 in the generic case. The zeroth layer is just the original domain \((\mathcal {D}_{\widetilde{x}})_o\). The first neighborhood layer \(\mathcal {N}_1\) consists of \(12g-6\) copies of \((\mathcal {D}_{\widetilde{x}})_o\), since there is one copy for each of the \(12g-6\) edges. Observe that every copy of \((\mathcal {D}_{\widetilde{x}})_o\) in \(\mathcal {N}_1\) has two edges that are incident to \(\mathcal {N}_1\) itself and one edge incident to \((\mathcal {D}_{\widetilde{x}})_o\). In general, all edges incident to a copy of \((\mathcal {D}_{\widetilde{x}})_o\) in the previous or current neighborhood layer do not lead to a new copy of \((\mathcal {D}_{\widetilde{x}})_o\) in the next layer and all other edges do. Consider now an edge \(\widetilde{e}\) incident to two copies of \((\mathcal {D}_{\widetilde{x}})_o\) in \(\mathcal {N}_1\), as illustrated in Fig. 14 in the Euclidean plane.
There is a copy \(D_{\widetilde{e}}\) of \((\mathcal {D}_{\widetilde{x}})_o\) in \(\mathcal {N}_2\) whose closure has nonempty intersection with the closed edge \(\widetilde{e}\). There are then exactly two edges incident to both \(\overline{\mathcal {N}_1}\) and \(D_{\widetilde{e}}\). Therefore, if we add the number \(12g-6-2-1\) of edges incident to copies of domains in \(\mathcal {N}_1\) and \(\mathcal {N}_2\) to account for the number of domains in \(\mathcal {N}_2\), we will have counted \(12g-6\) too many, one for each edge like \(\widetilde{e}\) in \(\mathcal {N}_1\), or, in other words, one for each copy of \((\mathcal {D}_{\widetilde{x}})_o\) in \(\mathcal {N}_1\). In total, in the second layer \(\mathcal {N}_2\), there are then
copies of \((\mathcal {D}_{\widetilde{x}})_o\). The computation of the number of copies in \(\mathcal {N}_3\) works in largely the same way, but introduces a minor change to the above: Instead of each copy in \(\mathcal {N}_2\) having exactly one edge incident to \(\mathcal {N}_1\), as was the case with each copy in \(\mathcal {N}_1\) and \((\mathcal {D}_{\widetilde{x}})_o\), there are some with two edges incident to \(\mathcal {N}_1\). Figure 14 shows a example of a such a copy as a striped domain. By the above discussion, there is one of these for every copy of \((\mathcal {D}_{\widetilde{x}})_o\) in \(\mathcal {N}_1\). To find the edges incident to both \(\mathcal {N}_2\) and \(\mathcal {N}_3\), we therefore have to subtract \(\vert \mathcal {N}_1\vert \) from \((12g-6-2-1)\vert \mathcal {N}_2\vert \). All in all, similarly to above, we therefore obtain \(\vert \mathcal {N}_3\vert = \vert \mathcal {N}_2\vert (12\,g-6-2-1)-\vert \mathcal {N}_1\vert -\vert \mathcal {N}_2\vert \). More generally and by the same reasoning, for \(n\ge 2\),
For \(g=1\) we readily see that \(\vert \mathcal {N}_n\vert =6n\), whence \(\vert \mathcal {N}_{\le n} \vert =1+3n(n+1)\). For \(g\ge 2\), a crude estimation yields \(g^n\le \vert \mathcal {N}_{n}\vert \le (12\,g-10)\vert \mathcal {N}_{n-1}\vert \le (12\,g-10)^n\), so that
For the sake of completeness we give the exact solution of the recursion relation (2) with constant coefficients. The roots of the characteristic polynomial of the recurrence relation (2) are given by
so the solution is given as (\(n\ge 1\))
and
for \(g>1\). \(\square \)
Lemma 7
In the degenerate case, where all vertices of \(\Gamma \mathcal {D}_{\widetilde{x}}\) are equivalent, the number \(\vert \mathcal {N}_{\le n} \vert \) of copies of \(\mathcal {D}_{\widetilde{x}}\) that have a combinatorial distance of at most n from \(\mathcal {D}_{\widetilde{x}}\) satisfies
Proof
Observe first that there are \(4g(4g-2)\) copies of \(\mathcal {D}_{\widetilde{x}}\) in the first neighborhood layer, as each of the 4g vertices of \(\mathcal {D}_{\widetilde{x}}\) has degree 4g. For \(\mathcal {N}_{n+1}\), note that a vertex incident to \(\mathcal {N}_{n}\) accounts for either \(4g-3\) copies of \(\mathcal {D}_{\widetilde{x}}\) in \(\mathcal {N}_{n+1}\), or \(4g-2\), depending on whether or not it is incident to one or two domains in \(\mathcal {N}_{n}\), respectively. A vertex v incident to \(\mathcal {N}_{n}\) is incident to two copies of \(\mathcal {D}_{\widetilde{x}}\) in \(\mathcal {N}_n\) if and only if it is incident to an edge in \(\mathcal {N}_n\) that is itself incident to two domains in \(\mathcal {N}_n\). Any such edge corresponds to a copy of \(\mathcal {D}_{\widetilde{x}}\) (incident to that edge and in counter-clockwise direction when viewed from v) in \(\mathcal {N}_n\). Therefore, if \(v_n\) denotes the set of vertices incident to both \(\overline{\mathcal {N}_{n+1}}\) and \(\overline{\mathcal {N}_n}\), then
To find \(\vert v_{n+1}\vert \) using \(\vert v_n\vert \), recall that any vertex \(v\in v_n\) has degree 4g, with (at least) two edges incident to \(\mathcal {N}_n\). As a result, if v is incident to only one domain in \(\mathcal {N}_{n}\), the number \((4g-2)(4g-2)-1\) counts the number of vertices, incident to domains incident to v, that belong to \(\overline{\mathcal {N}_{n+1}}\) and not to \(\overline{\mathcal {N}_{n}}\). If we count these many vertices for every vertex in \(v_n\), then we will have overcounted the vertices in \(v_{n+1}\), by exactly \(\vert \mathcal {N}_n\vert (4\,g-2)\). Indeed, for every vertex incident to two domains in \(\mathcal {N}_{n}\), the procedure counts \((4g-2)\) vertices too many. Moreover, each domain in \(\mathcal {N}_{n}\) can be assigned one unique such vertex, by choosing (say) the counter-clockwise such vertex incident to the domain for \(n>1\). We therefore find
We similarly find \(\vert v_0\vert =4g\) and \(\vert v_1\vert =((4\,g-2)(4\,g-2)-1)4\,g\). Using the above relations and induction, one readily sees that we obtain the crude estimate \(\vert v_{n}\vert \le (4\,g-2)^2\vert v_{n-1}\vert \le (4\,g-2)^{2n}4\,g\) and subsequently \(\vert \mathcal {N}_{n}\vert \le (4g-2)^{2n+1}4g\), whence
\(\square \)
Proposition 8
The number \(\vert \mathcal {N}_{\le n} \vert \) of copies of \(\mathcal {D}_{\widetilde{x}}\) that have a combinatorial distance of at most n from \(\mathcal {D}_{\widetilde{x}}\) satisfies, for \(g>1\),
Proof
The graph of boundary edges of any fundamental domain \(\mathcal {F}\) projects to a graph G on the surface S. Combinatorially, any fundamental domain can be obtained from a series of splitting operations of the vertices of this graph, starting from the case where G has only one vertex. A splitting operation corresponds to splitting a vertex v of G into two vertices \(v_1\) and \(v_2\) joined by a new edge \(e_v\) to obtain a new graph \(G'\), so that \(\deg (v_1)+\deg (v_2)-2=\deg (v)\). The preimage \(\pi ^{-1}(G')\) of the canonical projection gives rise to a fundamental domain \(\mathcal {F}_{e_v}\) for \(\Gamma \). In the associated tesselation \(\Gamma \mathcal {F}_{e_v}\), on the boundary of \(\mathcal {F}_{e_v}\), there are \(\deg (v_1)\) vertices of degree \(\deg (v_1)\) and \(\deg (v_2)\) vertices of degree \(\deg (v_2)\), in place of the \(\deg (v)\) vertices of degree \(\deg (v)\), while all other vertices stay invariant. The difference of the number of copies of \(\mathcal {F}_0\) in the first neighborhood layer associated to some choice of original fundamental domain \(\mathcal {F}_o\) and the same number for a choice of \((\mathcal {F}_{e_v})_o\) is then
We show that (3) is always positive. We have, with \(\deg (v_1)=a\) and \(\deg (v_2)=b\) for better readability,
for \(a=\deg (v_1)\ge 3\le b\). In particular, this shows that the splitting operation decreases the number of copies of domains in the first neighborhood layer \(\mathcal {N}_1\). To see that this trend continues in subsequent neighborhood layers, one can argue similarly to the proofs of Lemmas 6 and 7, but we sketch a somewhat different argument in the following. To this end, we imagine the original domain as having only long edges and picture the splitting operation as inserting a very small edge \(e_v\) into G. Consider looking at the tiling \(\Gamma \mathcal {F}_{e_v}\) from far away and coloring domains within a given combinatorial distance from the central domain \(\mathcal {F}\). Because \(e_v\) is short, \(\Gamma \mathcal {F}_{e_v}\) looks like the tiling \(\Gamma \mathcal {F}\), with domains incident to a lift of v, situated at the interface of a current neighborhood layer and the next, corresponding to domains incident to an appropriate lift of \(e_v\) after splitting. We observe that the insertion of \(e_v\) can only decrease the number of these domains that belong to the next neighborhood layer. As a result, we can map the colored domains in the split tiling injectively to those of the unsplit tiling, where we retain only the domains of \(\Gamma \mathcal {F}\) that correspond to those which were colored in the split tiling.
All in all, we see that splitting vertices to obtain new fundamental domains decreases the number of domains in the neighborhood layers, so that the size of the neighborhood layers for an arbitrary fundamental domain lies between the two extremal cases treated in the previous two lemmas 6 and 7, from which the proposition follows. \(\square \)
Proof of Proposition 7
The proof follows from Proposition 8 by setting \(n=12g-6\), the maximal value for combinatorial length of a Delanuay edge, by Corollary 3. \(\square \)
Data Availability Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
A collection of points P in a topological space X is locally finite if every point \(x\in X\) admits a neighborhood \(U_x\) such that \(P\cap U_x\) is finite; if K is compact in X, then \(P\cap K\) is finite.
References
Beardon, A.F.: The Geometry of Discrete Groups, 3rd edn. Island Press, Washington, DC (1983)
Berger, M.: Geometry, vol. 2. Springer, New York (2009)
Bogdanov, M., Devillers, O., Teillaud, M.: Hyperbolic Delaunay complexes and Voronoi diagrams made practical. J. Comput. Geom. 5, 56–85 (2014). https://doi.org/10.20382/jocg.v5i1a4
Bogdanov, M., Teillaud, M., Vegter, G.: Delaunay triangulations on orientable surfaces of low genus. In: S. Fekete, A. Lubiw (Eds.), 32nd International Symposium on Computational Geometry (SoCG 2016), volume 51 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 20:1–20:17, Dagstuhl, Germany, Schloss Dagstuhl–Leibniz-Zentrum für Informatik. (2016). https://doi.org/10.4230/LIPIcs.SoCG.2016.20
Buser, P.: Geometry and Spectra of Compact Riemann Surfaces, 2nd edn. Birkhäuser, Boston, MA (2010). https://doi.org/10.1007/978-0-8176-4992-0
Caroli, M., Pellé, A., Rouxel-Labbé, M. Teillaud, M.: 3D periodic triangulations. In: CGAL User and Reference Manual. CGAL Editorial Board, 4.11 edn (2017). http://doc.cgal.org/latest/Manual/packages.html#PkgPeriodic3Triangulation3
Caroli, M., Teillaud, M.: 3D periodic triangulations. In: CGAL User and Reference Manual. CGAL Editorial Board, 3.5 Edn (2009). http://doc.cgal.org/latest/Manual/packages.html#PkgPeriodic3Triangulation3
Caroli, M., Teillaud, M.: Computing 3D periodic triangulations. In: Proceedings 17th European Symposium on Algorithms, volume 5757 of Lecture Notes in Computer Science, pp. 59–70 (2009). https://hal.inria.fr/hal-02954152, https://doi.org/10.1007/978-3-642-04128-0_6
Caroli, M., Teillaud, M.: Delaunay triangulations of closed Euclidean d-orbifolds. Discrete Comput. Geom. 55(4), 827–853 (2016)
DeBlois, J.: The centered dual and the maximal injectivity radius of hyperbolic surfaces. Geom. Topol. 19(2), 953–1014 (2015). https://doi.org/10.2140/gt.2015.19.953
DeBlois, J.: The Delaunay tessellation in hyperbolic space. Math. Proc. Camb. Philos. Soc. 164(1), 15–46 (2018). https://doi.org/10.1017/S0305004116000827
Deng, Y., Mieczkowski, M.: Three-dimensional periodic cubic membrane structure in the mitochondria of amoebae Chaos carolinensis. Protoplasma 203, 16–25 (1998). https://doi.org/10.1007/BF01280583
Despré, V., Kolbe, B., Parlier, H., Teillaud, M.: Computing a Dirichlet Domain for a Hyperbolic Surface. In: E. W. Chambers, J. Gudmundsson (Eds.), 39th International Symposium on Computational Geometry (SoCG 2023), volume 258 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 27:1–27:15, Dagstuhl, Germany, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. (2023). https://drops.dagstuhl.de/opus/volltexte/2023/17877, https://doi.org/10.4230/LIPIcs.SoCG.2023.27
Despré, V., Schlenker, J.-M., Teillaud, M.: Flipping geometric triangulations on hyperbolic surfaces. In: S. Cabello, D.Z. Chen (Eds.), 36th International Symposium on Computational Geometry (SoCG 2020), volume 164 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 35:1–35:16, Dagstuhl, Germany, Schloss Dagstuhl–Leibniz-Zentrum für Informatik. (2020). https://doi.org/10.4230/LIPIcs.SoCG.2020.35
Dolbilin, N.P., Huson, D.H.: Periodic Delone tilings. Period. Math. Hung. 34, 57–64 (1997). https://doi.org/10.1023/A:1004272423695
Ebbens, M., Parlier, H., Vegter, G.: Minimal Delaunay Triangulations of Hyperbolic Surfaces. In: K. Buchin, É. Colin de Verdière (Eds.), 37th International Symposium on Computational Geometry (SoCG 2021) volume 189 of Leibniz International Proceedings in Informatics (LIPIcs), pages 31:1–31:16, Dagstuhl, Germany, Schloss Dagstuhl – Leibniz-Zentrum für Informatik. (2021). https://doi.org/10.4230/LIPIcs.SoCG.2021.31
Evans, M.E., Robins, V., Hyde, S.T.: Periodic entanglement I: networks from hyperbolic reticulations. Acta Crystallographica Section A: Foundations of Crystallography 69(3), 241–261 (2013). https://doi.org/10.1107/S0108767313001670
Evans, M.E., Robins, V., Hyde, S.T.: Periodic entanglement II: weavings from hyperbolic line patterns. Acta Crystallogr. Sect. A 69(3), 262–275 (2013). https://doi.org/10.1107/S0108767313001682
Farb, B., Margalit, D.: A Primer on Mapping Class Groups (PMS-49). Princeton University Press (2012). http://www.jstor.org/stable/j.ctt7rkjw
Gallot, S., Hulin, D., Lafontaine, J.: Riemannian Geometry, 3rd edn. Springer, New York (2004)
Große-Brauckmann, K., Wohlgemuth, M.: The gyroid is embedded and has constant mean curvature companions. Calc. Var. Partial Differ. Equ. (1996). https://doi.org/10.1007/BF01261761
Hatcher, A.: Algebraic Topology, vol. 44. Cambridge University Press, Cambridge (2002)
Hyde, S.T., Ramsden, S., Di Matteo, T., Longdell, J.J.: Ab-initio construction of some crystalline 3D Euclidean networks. Solid State Sci. 5(1), 35–45 (2003). https://doi.org/10.1016/S1293-2558(02)00079-1
Hyde, S., Ramsden, S., Robins, V.: Epinet. http://epinet.anu.edu.au. Accessed 23 Oct 2020
Hyde, S.T., Landh, T., Lidin, S., Ninham, B.W., K.: Larsson, and S. Elsevier Science, Andersson. The Language of Shape (1996)
Iordanov, I., Teillaud, M.: Implementing Delaunay triangulations of the Bolza surface. In: 33rd International Symposium on Computational Geometry (SoCG 2017), pp. 44:1 – 44:15, Brisbane, Australia (2017). https://doi.org/10.4230/LIPIcs.SoCG.2017.44
Kirkensgaard, J.J.K., Evans, M.E., de Campo, L., Hyde, S.T.: Hierarchical self-assembly of a striped gyroid formed by threaded chiral mesoscale networks. Proc. Natl. Acad. Sci. U.S.A. 111(4), 1271–6 (2014). https://doi.org/10.1073/pnas.1316348111
Kolbe, B.: Towards a combinatorial algorithm for the enumeration of isotopy classes of symmetric cellular embeddings of graphs on hyperbolic surfaces. Under review (2020). https://inria.hal.science/hal-03047231
Kolbe, B., Evans, M.E.: Isotopic tiling theory for hyperbolic surfaces. Geom. Dedicata (2020). https://doi.org/10.1007/s10711-020-00554-2
Kolbe, B., Evans, M.E.: Enumerating isotopy classes of Tilings guided by the symmetry of triply periodic minimal surfaces. SIAM J. Appl. Algebra Geom. 6(1), 1–40 (2022). https://doi.org/10.1137/20M1358943
Kolbe, B., Robins, V.: Tile-transitive tilings of the Euclidean and hyperbolic planes by ribbons. Research in Computational Topology 2 (2022). https://hal.inria.fr/hal-03046798v1
Kruithof, N.: 2D periodic triangulations. In: CGAL User and Reference Manual. CGAL Editorial Board, 4.4 Edn (2014). http://doc.cgal.org/latest/Manual/packages.html#PkgPeriodic2Triangulation2Summary
Lawson, C.L.: Software for \(C^1\) Surface Interpolation, pp.161–194. Academic Press, Inc. (1977). https://doi.org/10.1016/b978-0-12-587260-7.50011-x
Lučić, Z., Molnár, E.: Fundamental domains for planar discontinuous groups and uniform tilings. Geom. Dedicata 40(2), 125–143 (1991). https://doi.org/10.1007/BF00145910
Macbeath, A.M.: Generic Dirichlet polygons and the modular group. Glasgow Math. J. 27, 129–141 (1985). https://doi.org/10.1017/S0017089500006133
Massey, W.S.: A Basic Course in Algebraic Topology. Graduate Texts in Mathematics, Springer, New York (1991)
Meeks, W.H.: The theory of triply periodic minimal surfaces. Indiana Univ. Math. J. (1990). https://doi.org/10.1512/iumj.1990.39.39043
O’Neill, B.: Semi-Riemannian Geometry: With Applications to Relativity. Academic Press, Washington, DC (1983)
Osang, G., Rouxel-Labbé, M., Teillaud, M.: Generalizing CGAL periodic Delaunay triangulations. In: F. Grandoni, G. Herman, and P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020) volume 173 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 75:1–75:17, Dagstuhl, Germany, Schloss Dagstuhl–Leibniz-Zentrum für Informatik. Best paper award (Track B: Engineering and Applications). (2020). https://doi.org/10.4230/LIPIcs.ESA.2020.75
Ratcliffe, J.: Foundations of Hyperbolic Manifolds. Graduate Texts in Mathematics, Springer, New York (2006)
Schröder-Turk, G.E., Fogden, A., Hyde, S.T.: Bicontinuous geometries and molecular self-assembly: comparison of local curvature and global packing variations in genus-three cubic, tetragonal and rhombohedral surfaces. Eur. Phys. J. B 54(4), 509–524 (2006). https://doi.org/10.1140/epjb/e2007-00025-7
Thurston, W.: Geometry and Topology of Three-Manifolds. Princeton lecture notes (1980)
Ulrich, D., Hildebrandt, S., Sauvigny, F.: Minimal Surfaces, 2nd edn. Springer, Berlin (2010)
Weyhaupt, A.G.: Deformations of the gyroid and lidinoid minimal surfaces. Pac. J. Math. 235(1), 137–171 (2008). https://doi.org/10.2140/pjm.2008.235.137
Acknowledgements
We want to thank Hugo Parlier, Jean-Marc Schlenker and Gert Vegter for fruitful discussions on the topic of Delaunay triangulations on hyperbolic surfaces over many years. We also thank the anonymous reviewers for their valuable and insightful comments that have led to an improvement of the paper.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: Csaba D. Tóth
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This research was partially supported by ANR project SoS, ANR-17-CE40-0033, of the French National Research Agency ANR. Website of the SoS project: https://SoS.loria.fr/. This work was done while Benedikt Kolbe was working at Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Despré, V., Kolbe, B. & Teillaud, M. Representing Infinite Periodic Hyperbolic Delaunay Triangulations Using Finitely Many Dirichlet Domains. Discrete Comput Geom 72, 1–28 (2024). https://doi.org/10.1007/s00454-024-00653-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-024-00653-x