Abstract
Tutteās embedding theorem states that every 3connected graph without a \(K_5\) or \(K_{3,3}\)minor (i.e., a planar graph) is embedded in the plane if the outer face is in convex position and the interior vertices are convex combinations of their neighbors. We show that this result extends to simply connected tetrahedral meshes in a natural way: for the tetrahedral mesh to be embedded if the outer polyhedron is in convex position and the interior vertices are convex combination of their neighbors it is sufficient (but not necessary) that the graph of the tetrahedral mesh contains no \(K_6\) and no \(K_{3,3,1}\), and all triangles incident on three boundary vertices are boundary triangles.
1 Introduction
Every planar graph has a straight line embedding in the plane [5]. Tutteās celebrated embedding theorem [17] provides a constructive proof for 3connected planar graphs: if the outer polygon of the graph is in convex position and the interior vertices are convex combinations of their neighbors then the realization is an embedding (and every face is convex). This means, we can compute an embedding by placing the vertices of the boundary polygon so that it is convex and then solving a linear system for the positions of the interior vertices. This procedure has become an invaluable tool in computer graphics, geometry processing, and CAGD, where it is used to construct mappings for triangulations [6]. It has been generalized to other surface geometries and topologies [1, 2, 9].
A particularly useful generalization of Tutte embeddings would be the threedimensional case and, in particular, tetrahedral meshes. Embedding a given tetrahedral mesh with fixed convex boundary would enable bijective piecewise linear mappings between different domains represented by the same boundary triangulation. Alas, Tutteās result fails to generalize to 3D in a simple way for arbitrary polyhedral complexes [4]. It has been observed to fail even for well behaved tetrahedral meshes in practice [3, Fig.Ā 2]. We have conducted simple experiments on small tetrahedral meshes that suggests the convex combination approach will fail for āmostā randomly chosen convex combination weights. Note that in most practical case one starts with an embedded tetrahedral mesh. If the mesh is already realized with convex boundary, there clearly exists a convex combination map that would generate the realization (just express every interior vertex as the convex combination of its neighbors). Our experiments suggest that the chance of finding such weights by random sampling is small.
The smallest possible counterexample is composed of two vertices inside a tetrahedron, with the two vertices connected to each other and all four boundary vertices [7]. The graph of this tetrahedral mesh is the complete graph on six verticesĀ \(K_6\). In view of the fact that Tutteās original work showed that 3connected graphs may be embedded in the plane if (and only if) they have no \(K_5\) andĀ \(K_{3,3}\) as a minor, one might ask if the observation that a \(K_6\) is a counterexample for the tetrahedral case has any meaning. Note that \(K_6\) is a forbidden minor in the class of linklessly embeddable graphs, which have been termed the natural threedimensional analogue of planar graphs [14]. An important difference to the planer case, of course, is that a tetrahedral mesh with vertices and edges forming a \(K_6\) can be embedded, meaning that there exist some convex combination weights that lead to an embedding (unlike in the case of nonplanar graphs). We may still ask if tetrahedral meshes that are linklessly embeddable (concretely, have no \(K_6\) andĀ \(K_{3,3,1}\) as a minor, see Sect.Ā 2) guarantee Tutte embeddings. Indeed, this turns out to be the case.
Apart from excluded minors, however, there is one more obstruction. It has long been observed in the continuous domain that the harmonic extension from a boundary homeomorphism fails to be injective in 3D [12]. In fact, arbitrarily small perturbations of the identity map on the boundary are sufficient to cause the loss of injectivity [10]. For Tutteās embedding this has been elucidated by Floater^{Footnote 1} as follows:
[...] there are very many ways to map, 11, one convex boundary into another (imagine creating lots of twists and turns). Wonāt that create foldover in the 3D embedding inside? So I guess the boundary mapping needs to be restricted.
We find that this problem materializes if an interior triangle in the tetrahedral mesh is fixed on the boundary, but the remaining vertices of its incident tetrahedra are not. Then āpullingā boundary vertices allows moving the interior vertices on either side of the fixed triangle. Interestingly, some proofs of Tutteās theorem require no chords in the graph. In 2D, this restriction can be lifted by observing that chords simply divide the outer polygon into two smaller polygons. In 3D, however, a triangle on boundary vertices is generally not dividing the mesh into two components.
As we will show, the two restrictions mentioned above are sufficient to prove a version of Tutteās embedding theorem for tetrahedral meshes. The result is as follows:
Theorem 1.1
Given a tetrahedral mesh with the following properties:

The boundary is simply connected.

A triangle incident on three boundary vertices is on the boundary.

The graph is 4connected.

The graph has no \(K_6\) or \(K_{3,3,1}\) as a minor.
If the vertex positions of the mesh are realized in \({\mathbb {R}}^3\) so that (a)Ā the boundary triangles form a strictly convex polyhedron and (b)Ā each interior vertex is a strictly convex combination of its neighbors then the mesh is embedded.
We hasten to point out that this result has little direct consequence on the practice of using the commonly generated tetrahedral meshes for creating PL mappings: almost all of them have a \(K_6\)minor and, consequently, a convex combination mapping will likely not be an embedding. We discuss possible practical consequences in Sect.Ā 5.
2 Tetrahedral Meshes and Linkless Embeddings
A tetrahedral mesh T is a simplicial complex consisting of vertices, edges, triangular faces and tetrahedral cells. We assume the tetrahedral mesh is a topological ball, meaning it has a simply connected interior. The boundary forms the graph of a polyhedron, a planar 3connected graph with triangular faces [16]. Boundary faces are incident on one cell, interior faces are incident on two cells. In the following we assume that interior triangles satisfy the assumption of TheoremĀ 1.1, i.e., they are incident on at most two boundary vertices.
The star of a vertex v is formed by the simplices incident onĀ v. The link is the boundary of the star. We make the following observation about the connectivity of links:
Lemma 2.1
The link \(L_v\) of a vertex v is 3connected.
Proof
If v is an interior vertex, \(L_v\) is 3connected by Steinitzās theorem [16]. Let v be a boundary vertex and \(V_b\) be the boundary vertices connected toĀ v. The link \(L_v\) is a planar triangulation with boundaryĀ \(V_b\). Every edge in \(L_v\) forms a triangle withĀ v. A chord would induce a triangle that is not on the boundary ofĀ T, but all its vertices are boundary vertices. So there is no chord. This implies that the triangulation \(L_v\) is 3connected [11, 3.2]. \(\square \)
Every interior vertex has degree at leastĀ 4. Boundary vertices with degreeĀ 3 create ears: tetrahedra with three faces on the boundary connected to the remaining tetrahedral mesh through a single face. Since we ask that there are no interior faces incident on three boundary vertices, the tetrahedral meshes we consider contain no ears, and also boundary vertices have degree at leastĀ 4.
By tetrahedral graph we mean the graph induced by the vertices and edges ofĀ T. Linkless embeddings of graphs, intuitively, are realizations of the graph in \({\mathbb {R}}^3\) so that there are no two cycles that are linked, i.e., that cannot be homotopically deformed so that the two cycles are topological disks. Sachs [14] showed that the Petersen graphs (see Fig.Ā 1) are intrinsically linked and minimal. He suspected that all linklessly embeddable graphs can be characterized as those without a Petersen graph as a minor. This was eventually proved by Robertson et al. [13].
Of the seven graphs in the Peterson family, we only need the complete graph \(K_6\) and, to show that certain degeneracies cannot occur, the complete tripartite graphĀ \(K_{3,3,1}\). This seems quite natural, as the other graphs have vertices with degree less thanĀ 4, so cannot serve as minimal counterexamples for tetrahedral Tutte embeddings.
The proof of the main statement is inspired by earlier proofs and their adaptations of Tutte [17], Geelen [8], Spielman [15], and the one focusing on PL mappings by Floater [6].
3 Realization by Convex Embedding, and Degeneracies
The graph T is realized by assigning coordinates to the vertices, i.e., \(V \mapsto {\mathbb {R}}^{3 \times V}\). We denote the coordinate of vertex v as \(\textbf{x}(v) \in {\mathbb {R}}^3\). We assume the vertices on the boundary are realized so that the boundary faces form a convex polyhedron.
Every interior vertex is realized as a convex combination of its neighbors:
This implies that \(\textbf{x}(v)\) lies strictly in the interior of the convex hull of its neighbors. In the following we want to show that (a)Ā the convex hull of the neighbors cannot degenerate, i.e., be contained in a common plane; and (b)Ā that \(\textbf{x}(v)\) lies strictly inside the boundary polyhedron for interior verticesĀ v.
We start by recalling that a plane through \(\textbf{q}\in {\mathbb {R}}^3\) with normal vector \(\textbf{n} \in {\mathbb {R}}^3\), \(\textbf{n}^{\textsf{T}}\textbf{n} = 1\), is defined as the set
The positive open halfspace is the set of points on the side of the plane in the directionĀ \(\textbf{n}\), i.e., \(P^+_{\textbf{n},\textbf{q}}=\{\textbf{z}\in {\mathbb {R}}^3:\textbf{n}^{\textsf{T}}(\textbf{z}\textbf{q})>0\}\). The negative open halfspace is defined analogously. We make the following simple observation for interior vertices:
Lemma 3.1
Let v be an interior vertex. Consider the planeĀ \(P_{\textbf{n},\textbf{x}(v)}\). If v has a neighbor realized in \(P^+_{\textbf{n},\textbf{x}(v)}\) then it has at least one neighbor inĀ \(P^_{\textbf{n},\textbf{x}(v)}\) (and vice versa).
Proof
This follows by contradiction from \(\textbf{x}(v)\) being in the interior of the convex hull of its neighbors. \(\square \)
If v is a boundary vertex, it is possible that that all neighbors are contained in \(P_{\textbf{n},\textbf{x}(v)}\) and either \(P^+_{\textbf{n},\textbf{x}(v)}\) orĀ \(P^_{\textbf{n},\textbf{x}(v)}\). In this case we call v extreme alongĀ \(\textbf{n}\), because the convexity of the boundary polyhedron implies that there is no other vertex \(v'\) with \(\textbf{n}^{\textsf{T}}(v')>\textbf{n}^{\textsf{T}}(v)\). We also observe that interior vertices are never extreme:
Lemma 3.2
An interior vertex is not realized on the boundary.
Proof
Assume vertex \(v_i\) is realized on a boundary element bāthis may be a vertex, edge, or face. Let \(V_i\) be the vertices realized in b that are connected to \(v_i\) by a path realized inĀ b. All vertices in \(V_i\) are realized in a common plane \(P_{\textbf{n},\textbf{v}_i}\) and \(\textbf{n}\) can be chosen so that \(\textbf{n}^{\textsf{T}}\textbf{v}_i\ge \textbf{n}^{\textsf{T}}\textbf{v}\), \(v\in T\), because the boundary polyhedron is convex. We may delete the at most three boundary vertices incident on b and \(V_i\) remains connected to a vertex \(v'\) outside \(V_i\) because we assume T to be 4connected. The vertex \(v'\) is not realized in \(P_{\textbf{n},\textbf{v}_i}\) andĀ \(\textbf{n}\), so by LemmaĀ 3.1 there exists a vertex in \(V_i\) with neighbors realized in both halfspacesĀ \(P^+_{\textbf{n},\textbf{x}(v)}\), which is a contradiction. \(\square \)
We say that a path \(v_0,v_1,\dots \) is nondecreasing w.r.t. \(\textbf{n}\) if the realizations of the vertices along the path satisfy \(\textbf{n}^{\textsf{T}}(v_0)\le \textbf{n}^{\textsf{T}}(v_1)\le \ldots \)Ā We observe that any vertex is connected to an extreme boundary vertex by a nondecreasing path.
Lemma 3.3
For any vertex \(v_0\) and any direction \(\textbf{n}\) there is a nondecreasing path \(v_0,v_1,\ldots ,v_b\) satisfying , with \(v_b\) on the boundary and extreme.
Proof
Consider vertex \(v_k\) along the path, which may be an interior or boundary vertex. If \(v_k\) has a neighbor \(v'\) satisfying \(\textbf{n}^{\textsf{T}}\textbf{x}(v') > \textbf{n}^{\textsf{T}}\textbf{x}(v_k)\) set \(v_{k+1} = v'\) and continue withĀ \(v_{k+1}\).
Now assume we have found a vertex v such that \(\textbf{n}^{\textsf{T}}\textbf{x}(v)\ge \textbf{n}^{\textsf{T}}\textbf{x}(v')\) for all vertices \(v'\) adjacent toĀ v. If v is on the boundary we are done. If v is interior, LemmaĀ 3.1 forces \(\textbf{n}^{\textsf{T}}\textbf{x}(v)=\textbf{n}^{\textsf{T}}\textbf{x}(v')\), meaning all neighbors of v lie in the planeĀ \(P_{\textbf{n},\textbf{x}(v)}\). Let V be the set of vertices realized in \(P_{\textbf{n},\textbf{x}(v)}\) that are connected to v by a path realized inĀ \(P_{\textbf{n},\textbf{x}(v)}\). Because the boundary polyhedron is not flat there are vertices in T not inĀ V. But T is connected so there must be a vertex \(v'\in V\) connected to a vertex not inĀ \(P_{\textbf{n},\textbf{x}(v)}\). If \(v'\) is interior, LemmaĀ 3.1 implies that \(v'\) has a neighborĀ \(v''\) satisfying \(\textbf{n}^{\textsf{T}}(v'')>\textbf{n}^{\textsf{T}}\textbf{x}(v')=\textbf{n}^{\textsf{T}}\textbf{x}(v_i)\). Because v is connected to \(v'\) through vertices contained in \(P_{\textbf{n},\textbf{x}(v_i)}\) there is nondecreasing path through V toĀ \(v''\), and the process continues. This shows that the process has to end in a boundary vertex \(v_b\), which is extreme because it satisfies \(\textbf{n}^{\textsf{T}}\textbf{x}(v_b)\ge \textbf{n}^{\textsf{T}}\textbf{x}(v')\) for all neighborsĀ \(v'\). \(\square \)
Corollary 3.4
Let \(P^+_{\textbf{n},\textbf{q}}\) be an open halfspace and \(V_{\textbf{n},\textbf{q}}^+\) be the vertices contained in it, i.e., \(v \in V_{\textbf{n},\textbf{q}}\) implies \(\textbf{x}(v) \in P^+_{\textbf{n},\textbf{q}}\). The graph induced by \(V_{\textbf{n},\textbf{q}}^+\) is connected.
Proof
Let \(V^b_{\textbf{n}}\) contain all boundary vertices \(v_b\) that maximize \(\textbf{n}^{\textsf{T}}\textbf{x}(v_b)\). This set consists of either a single vertex, or two vertices incident on a common edge, or three vertices incident on a common face. Note that \(V^b_{\textbf{n}}\) is connected. Any vertex in \(V_{\textbf{n},\textbf{q}}^+\) is connected to \(V^b_{\textbf{n}}\) by a nondecreasing path, which is entirely contained inĀ \(P^+_{\textbf{n},\textbf{q}}\). \(\square \)
We now show that the neighbors of a vertex cannot degenerate to a flat configuration if the graph is linklessly embeddable.
Lemma 3.5
Let v be a vertex in a tetrahedral graphĀ T. If v and all its neighbors are realized in a common plane \(P_{\textbf{n},\textbf{v}}\) then T has \(K_{3,3,1}\) as a minor.
Proof
Let V be the set of vertices contained in P that are connected to v by a path realized inĀ \(P_{\textbf{n},\textbf{x}(v)}\). We distinguish two types of vertices inĀ V: vertices \(V_i\) whose neighbors are all inĀ V (such asĀ v); and verticesĀ \(V_b\), which have at least one neighbor not inĀ V. Note that vertices in \(V_i\) cannot be boundary vertices.
Let \(V^+\), resp. \(V^\) be the vertices contained in \(P^{\pm }_{\textbf{n},\textbf{x}(v)}\). Both are connected (CorollaryĀ 3.4). Since v is interior, LemmaĀ 3.2 implies that none of the vertices in \(V_b\) is extreme alongĀ \(\textbf{n}\). So all vertices in \(V_b\) are connected to vertices in both \(V^+\) as well asĀ \(V^\): for interior vertices this follows from LemmaĀ 3.1 and for boundary vertices from the realization of the boundary as a convex polyhedron.
Pick a vertex \(v_b\in V_b\) that is connected to a vertex \(v_i \in V_i\). Such pair must exist because V is connected. Consider the link \(L_{v_b}\) ofĀ \(v_b\). It contains \(v_i\) as well as a vertices inĀ \(V^\pm \). The vertices in \(V_i \cap L_{v_b}\) cannot be connected by an edge to the vertices in \((V^+ \cup V^)\cap L_{v_b}\), so there must be a set of vertices \(v_b^k \in \) in \(V_b \cap L_{v_b}\) separating the two sets. This set contains at least three vertices, because \(L_{v_b}\) is 3connected (LemmaĀ 2.1).
Now notice that \(V_i\), \(V^+\), \(V^\) are connected to allĀ \(v_b^{1,2,3}\), and \(v_b\) is connected to \(V_i,V^+,V^\) as well as \(v_b^{1,2,3}\). This is a \(K_{3,3,1}\) (see illustration in Fig.Ā 2). \(\square \)
By showing that the neighbors of a vertex are not coplanar, we have also shown that they are not colinear or degenerate to a single point. Moreover, we have established that for any planeĀ \(P_{\textbf{n},\textbf{x}(v)}\), vertex v will have neighbors in both halfspacesĀ \(P^{\pm }_{\textbf{n},\textbf{x}(v)}\). This observation allows us to sharpen LemmaĀ 3.3 to strictly increasing path \(v_0, v_1, \ldots \) satisfying \(\textbf{n}^{\textsf{T}}\textbf{x}(v_i)<\textbf{n}^{\textsf{T}}\textbf{x}(v_j)\) for \(i < j\).
Corollary 3.6
For any direction \(\textbf{n}\) every interior vertex v has a strictly increasing path \(v = v_0, v_1, \ldots , v_b\) that ends in a boundary vertexĀ \(v_b\).
Proof
The proof is analogous to LemmaĀ 3.3 except that LemmasĀ 3.1 and 3.5 now guarantee that every interior vertex \(v_k\) has a neighboring vertex \(v_{k+1}\) satisfying \(\textbf{n}^{\textsf{T}}\textbf{x}(v_{k+1}) > \textbf{n}^{\textsf{T}}\textbf{x}(v_{k+1})\). \(\square \)
4 Local and Global Injectivity
The fact that interior vertices are strictly in the interior of the boundary polyhedron (LemmaĀ 3.2) establishes the injectivity for tetrahedra incident on boundary triangles:
Corollary 4.1
Consider a boundary faceĀ f, its incident tetrahedron t and the vertex v in t not inĀ f. All elements of t have positive (signed) measure.
Proof
Since v is strictly inside the boundary polyhedron, t has positive volume. If any of the triangles or edges had zero area or lengths, the volume of the tetrahedron would be zero, so they are all strictly positive. \(\square \)
Let us now consider two tetrahedra incident on an interior triangle. We want to show that if one of the tetrahedra is realized injectively then the other one must be as well. This local consistency will then imply global injectivity.
We need the following observation about planar triangulations, i.e., a planar graph whose faces all have degreeĀ 3, except possibly the outer face.
Proposition 4.2
In a planar triangulation without chords, the graph induced by the interior vertices is connected. Contracting the interior vertices results in a triangulation of the boundary polygon with a single interior vertex connected to all boundary vertices.
Proof
We assume the planar triangulation has at least two interior vertices. Assume that a and b are interior vertices not connected by a path of interior edges. Since there are no chords, the triangulation is 3connected [11, 3.2], so a and b are connected to three boundary verticesĀ \(v_b^k\), \(k=1,2,3\). Add vertex e outside the boundary and connect it to \(v_b^k\) with noncrossing paths. This creates aĀ \(K_{3,3}\), which is impossible, because the triangulation (including the paths to the exterior vertex) is planar.
Since the interior vertices are connected they can be contracted to a single vertex without altering the boundary. Each boundary vertex is connected to a least one interior vertex, because there are no chords, so there are no ears. \(\square \)
Lemma 4.3
Let f be an interior triangle with incident tetrahedra \(t_u,t_l\) and u,Ā l the vertices in \(t_u,t_l\) not inĀ f. Let \(P_{\textbf{n},\textbf{x}(v)}\) be the plane through f and assume \(\textbf{x}(u)\in P^+_{\textbf{n},\textbf{x}(v)}\). If \(\textbf{x}(l)\notin P^_{\textbf{n},\textbf{x}(v)}\) then T contains \(K_6\) orĀ \(K_{3,3,1}\) as a minor.
Proof
Assume \(\textbf{x}(l)\) is contained \(P_{\textbf{n},\textbf{x}(v)}\cup P_{\textbf{n},\textbf{x}(v)}^+\). As f is an interior face it has at least one interior vertex. Let v be the interior vertex of f and a,Ā b the other two. The link \(L_v\) of v is a polyhedral graph. It contains the triangles (a,Ā b,Ā u) and (l,Ā b,Ā a). The remainder of \(L_v\) is a triangulation bounded by the cycle (a,Ā u,Ā b,Ā l). For illustrations see Fig.Ā 3.
The vertex \(q^\): As v has neighbors realized in \(P_{\textbf{n},\textbf{x}(v)}^+\) it must have at least one neighbor inĀ \(P_{\textbf{n},\textbf{x}(v)}^\) (by LemmaĀ 3.1). Every neighbor of v is inĀ \(L_v\), but none of a,Ā u,Ā b,Ā l are realized inĀ \(P_{\textbf{n},\textbf{x}(v)}^\). So there must be at least one other vertex inĀ \(L_v\). Among the vertices \(q\in L_v\) realized in \(P_{\textbf{n},\textbf{x}(v)}^\) we pick one vertex and call itĀ \(q^\). Note that all vertices \(q\in L_v\) are connected toĀ v.
The path C: If l is realized in \(P^+_{\textbf{n},\textbf{x}(v)}\) there exists a path C from l to u realized in \(P^+_{\textbf{n},\textbf{x}(v)}\) by LemmaĀ 3.4. If l is realized in \(P_{\textbf{n},\textbf{x}(v)}\) it has a neighbor realized in \(P^+_{\textbf{n},\textbf{x}(v)}\) by LemmasĀ 3.5 and 3.1 (and because f is not on the boundary). In this case there exists a path C from l toĀ u such that \(C\setminus \{l\}\) is realized inĀ \(P_{\textbf{n},c}^+\). We now consider three cases based on the intersection of C andĀ \(L_v\).
Case 1: Vertices u and l are connected by an edge. This creates the two cycles (a,Ā l,Ā u) and (b,Ā u,Ā l) inĀ \(L_v\). The triangulation of one them containsĀ \(q^\). Assume this is b,Ā u,Ā lāthe other case is analogous. The triangulation of (b,Ā u,Ā l) is connected by PropositionĀ 4.2 and we contract it toĀ \(Q^\), which is connected to u, l, andĀ b. A path to a is constructed from decreasing paths starting in a and any vertex inĀ \(Q^\). All vertices in this path, except for a are realized in \(P^_{\textbf{n},\textbf{x}(v)}\), so the path cannot contain any of b, u, l, orĀ v. This means a,Ā u,Ā b,Ā l together with v and \(Q^\) form aĀ \(K_6\).
Case 2: The edge (u,Ā l) is not present and \(C\cap L_v=\{u,l\}\), i.e., the path C has no intersection with \(L_v\) except for the endpoints. In this case contract the interior vertices of the triangulation in the cycle (a,Ā u,Ā b,Ā l). The triangulation has no chords, because (u,Ā l) is not present, so it is connected (PropositionĀ 4.2) and we contract it intoĀ \(Q^\). All boundary vertices a,Ā u,Ā b,Ā l of the triangulation in the cycle are connected toĀ \(Q^\) (PropositionĀ 4.2). As above, a,Ā u,Ā b,Ā l together with v and \(Q^\) form aĀ \(K_6\).
Case 3: The edge (u,Ā l) is not present and C intersects \(L_v\) in at least one vertexĀ \(q^+\). The name \(q^+\) indicates that it is realized in \(P_{\textbf{n},c}^+\) because \(C\setminus l\) is. This implies that \(q^+\) is distinct fromĀ \(q^\). Because \(q^+\in C\), it is connected to both u andĀ l. We construct decreasing paths from a, b, andĀ \(q^\), establishing a path from \(q^\) to a and toĀ b. Each of a and b has a neighbor inĀ \(P_{\textbf{n},\textbf{x}(v)}\), so a is not in the path from \(q^\) to b and vice versa. Lastly, \(q^+\) andĀ \(q^\) are connected in \(L_v\setminus \{a,u,b,l\}\), because the triangulation inside (a,Ā u,Ā b,Ā l) has no chords and is connected (PropositionĀ 4.2). Now \(\{u,l,q^\}\) and \(\{a,b,q^+\}\) form aĀ \(K_{3,3}\). Since all of the six vertices are inĀ \(L_v\), together with v they form aĀ \(K_{3,3,1}\). \(\square \)
This establishes that if one of the two tetrahedra incident on an interior face is nondegenerate and correctly oriented, the other one is as well. Since the tetrahedra incident on the boundary are nondegenerate and correctly oriented (CorollaryĀ 4.1) and the dual graph of T is connected it follows that all tetrahedra are nondegenerate and correctly oriented.
The global injectivity (i.e., every point in the interior of the boundary is inside exactly one simplex) can be established by a homotopy argument (similar to the 2D case [8, 15]): for any point \(\textbf{q}\) in the interior of the boundary consider a halflineĀ l, originating atĀ \(\textbf{q}\), not intersecting any vertex or edge. Such line exists because the shadows of the vertices and edges on the sphere of directions consists of finitely many at most onedimensional subsets. Start with any point \(\textbf{x}\) on l outside the boundary and move towardsĀ \(\textbf{q}\). The number of tetrahedra that contain \(\textbf{x}\) can only change if \(\textbf{x}\) crosses a face. As \(\textbf{x}\) crosses the boundary face, the number of tetrahedra containing \(\textbf{x}\) changes from 0 toĀ 1. Note that no interior vertex, edge, or face can intersect any boundary face (by CorollaryĀ 4.1). In the interior, the number of tetrahedra containing \(\textbf{x}\) stays constant as \(\textbf{x}\) crosses interior faces by LemmaĀ 4.3. This is the case even if l intersects more than one face in the same point. However, the fact that the number of tetrahedra containing any interior point is always one rules out the possibility that two faces intersect, because in the vicinity of the intersection more than one tetrahedron would contain the point.
5 Discussion
Whereas both \(K_5\) and \(K_{3,3}\) cannot be embedded in the plane, a tetrahedral mesh with \(K_6\) as the underlying graph may well be embedded inĀ \({\mathbb {R}}^3\). Whether a realization based on convex combinations is embedded depends on the weights. We have not been able to create a similar situation for a tetrahedral mesh with only a \(K_{3,3,1}\)minor (and no \(K_6\)minor). Or, in other words, we were unable to generate an example that would demonstrate the necessity of excluding \(K_{3,3,1}\)minors. In fact, every graph without a \(K_6\)minor turned out to be embedded by a any convex combination map. This leads to the question whether excluding \(K_{3,3,1}\) is necessary for the proof.
There are certain bounds on the number kcliques in a graph without \(K_t\)minors [18]. For the maximal number of 4cliques in a graph on n vertices without a \(K_6\)minor we find \(4n15\). Since every tetrahedron is a 4clique a tetrahedral mesh on n vertices with more than \(4n15\) tetrahedra has to contain a \(K_6\)minor. Consequently, only for tetrahedral meshes with few elements there is hope that convex combination mappings are guaranteed to work. This may be considered in contrast to the speculation by Chilakamarri et al. [4] that āhighā connectivity is necessary for an extension of Tutteās theorem. If this is interpreted as the graph containing many edges, we find that rather the opposite is the case for tetrahedral meshes.
Moreover, already the bound on the number of 4cliques suggests that most tetrahedral meshes used in practice are guaranteed to contain a \(K_6\) and, based on our and othersā experiments, unlikely embedded by ārandomā convex combination maps. One route for future investigations may be the reduction of the number of tetrahedra using bistellar flips, or the reduction of the graph by edge contractions.
Notes
The quote is from private email exchange on the topic of tetrahedral Tutte embeddings.
References
Aigerman, N., Lipman, Y.: Orbifold Tutte embeddings. ACM Trans. Graph. 34(6), # 190 (2015)
Aigerman, N., Lipman, Y.: Hyperbolic orbifold Tutte embeddings. ACM Trans. Graph. 35(6), #Ā 217 (2016)
Campen, M., Silva, C.T., Zorin, D.: Bijective maps from simplicial foliations. ACM Trans. Graph. 35(4), #Ā 74 (2016)
Chilakamarri, K., Dean, N., Littman, M.: Threedimensional Tutte embedding. Congr. Numer. 107, 129ā140 (1995)
FĆ”ry, I.: On straight line representation of planar graphs. Acta Univ. Szeged. Sect. Sci. Math. 11, 229ā233 (1948)
Floater, M.S.: Onetoone piecewise linear mappings over triangulations. Math. Comput. 72(242), 685ā696 (2003)
Floater, M.S., PhamTrong, V.: Convex combination maps over triangulations, tilings, and tetrahedral meshes. Adv. Comput. Math. 25(4), 347ā356 (2006)
Geelen, J.: On āHow to draw a graphā. University of Waterloo (2012). https://www.math.uwaterloo.ca/~jfgeelen/Publications/tutte.pdf
Gortler, S.J., Gotsman, C., Thurston, D.: Discrete oneforms on meshes and applications to 3D mesh parameterization. Comput. Aided Geom. Des. 23(2), 83ā112 (2006)
Laugesen, R.S.: Injectivity can fail for higherdimensional harmonic extensions. Complex Variables Theory Appl. 28(4), 357ā369 (1996)
Laumond, J.P.: Connectivity of plane triangulations. Inform. Process. Lett. 34(2), 87ā96 (1990)
Melas, A.D.: An example of a harmonic map between Euclidean balls. Proc. Am. Math. Soc. 117(3), 857ā859 (1993)
Robertson, N., Seymour, P., Thomas, R.: Sachsā linkless embedding conjecture. J. Comb. Theory Ser. B 64(2), 185ā227 (1995)
Sachs, H.: On a spatial analogue of Kuratowskiās theorem on planar graphsāan open problem. In: Graph Theory (ÅagĆ³w 1981). Lecture Notes in Mathematics, vol. 1018, pp. 230ā241. Springer, Berlin (1983)
Spielman, D.A.: Tutteās Theorem: How to draw a graph. Lecture notes for Spectral Graph Theory, Yale University (2018). https://www.cs.yale.edu/homes/spielman/561/lect1518.pdf
Steinitz, E.: Polyeder und Raumteilungen. In: EncyklopĆ¤die der Mathematischen Wissenschaften, vol. 312, #Ā 12 (1922)
Tutte, W.T.: How to draw a graph. Proc. Lond. Math. Soc. 13, 743ā767 (1963)
Wood, D.R.: Cliques in graphs excluding a complete graph minor. Electron. J. Comb. 23(3), #Ā P3.18 (2016)
Acknowledgements
I want to thank Stefan Felsner for pointing out a major gap in an early draft, Dimitirios Bogiokas for reading several revisions and making useful suggestions, and the anonymous referee for significant constructive criticism and helpful hints. Without them this version of the paper would have not been possible. Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germanyās Excellence StrategyāThe Berlin Mathematics Research Center MATH+ (EXC2046/1, project ID: 390685689). In addition, the results have benefitted from a project that has received funding from the European Research Council (ERC) under the European Unionās Horizon 2020 research and innovation programme (Grant agreement No. 101055448, ERC Advanced Grand EMERGE).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: Kenneth Clarkson
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Alexa, M. Tutte Embeddings of Tetrahedral Meshes. Discrete Comput Geom (2023). https://doi.org/10.1007/s00454023004940
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00454023004940
Keywords
 Tetrahedral mesh
 Tutte embedding
 Convex combination
 Linkless embedding
 Harmonic map
Mathematics Subject Classification
 05C10
 05C85