On tetrahedralisations of reduced Chazelle polyhedra with interior Steiner points

The polyhedron constructed by Chazelle, known as Chazelle polyhedron [4], is an important example in many partitioning problems. In this paper, we study the problem of tetrahedralising a Chazelle polyhedron without modifying its exterior boundary. It is motivated by a crucial step in 3d finite element mesh generation in which a set of arbitrary boundary constraints (edges or faces) need to be entirely preserved. We first reduce the volume of a Chazelle polyhedron by removing the regions that are tetrahedralisable. This leads to a 3d polyhedron which may not be tetrahedralisable unless extra points, so-called Steiner points, are added. We call it a reduced Chazelle polyhedron. We define a set of interior Steiner points that ensures the existence of a tetrahedralisation of the reduced Chazelle polyhedron. Our proof uses a natural correspondence that any sequence of edge flips converting one triangulation of a convex polygon into another gives a tetrahedralization of a 3d polyhedron which have the two triangulations as its boundary. Finally, we exhibit a larger family of reduced Chazelle polyhedra which includes the same combinatorial structure of the Schönhardt polyhedron. Our placement of interior Steiner points also applies to tetrahedralise polyhedra in this family

On Monotone Sequences of Directed Flips, Triangulations of Polyhedra, and Structural Properties of a Directed Flip Graph

This paper studied the geometric and combinatorial aspects of the classical Lawson's flip algorithm in 1972. Let A be a finite set of points in R2, omega be a height function which lifts the vertices of A into R3. Every flip in triangulations of A can be associated with a direction. We first established a relatively obvious relation between monotone sequences of directed flips between triangulations of A and triangulations of the lifted point set of A in R3. We then studied the structural properties of a directed flip graph (a poset) on the set of all triangulations of A. We proved several general properties of this poset which clearly explain when Lawson's algorithm works and why it may fail in general. We further characterised the triangulations which cause failure of Lawson's algorithm, and showed that they must contain redundant interior vertices which are not removable by directed flips. A special case if this result in 3d has been shown by B.Joe in 1989. As an application, we described a simple algorithm to triangulate a special class of 3d non-convex polyhedra. We proved sufficient conditions for the termination of this algorithm and show that it runs in O(n3) time.Comment: 40 pages, 35 figure

On Tetrahedralisations Containing Knotted and Linked Line Segments

This paper considers a set of twisted line segments in 3d such that they form a knot (a closed curve) or a link of two closed curves. Such line segments appear on the boundary of a family of 3d indecomposable polyhedra (like the Schönhardt polyhedron) whose interior cannot be tetrahedralised without additional vertices added. On the other hand, a 3d (non-convex) polyhedron whose boundary contains such line segments may still be decomposable as long as the twist is not too large. It is therefore interesting to consider the question: when there exists a tetrahedralisation contains a given set of knotted or linked line segments? In this paper, we studied a simplified question with the assumption that all vertices of the line segments are in convex position. It is straightforward to show that no tetrahedralisation of 6 vertices (the three-line-segments case) can contain a trefoil knot. Things become interesting when the number of line segments increases. Since it is necessary to create new interior edges to form a tetrahedralisation. We provided a detailed analysis for the case of a set of 4 line segments. This leads to a crucial condition on the orientation of pairs of new interior edges which determines whether this set is decomposable or not. We then prove a new theorem about the decomposability for a set of n (n ≥ 3) knotted or linked line segments. This theorem implies that the family of polyhedra generalised from the Schonhardt polyhedron by Rambau [1] are all indecomposable

On Tetrahedralisations Containing Knotted and Linked Line Segments

This paper considers a set of twisted line segments in 3d such that they form a knot (a closed curve) or a link of two closed curves. Such line segments appear on the boundary of a family of 3d indecomposable polyhedra (like the Schönhardt polyhedron) whose interior cannot be tetrahedralised without additional vertices added. On the other hand, a 3d (non-convex) polyhedron whose boundary contains such line segments may still be decomposable as long as the twist is not too large. It is therefore interesting to consider the question: when there exists a tetrahedralisation contains a given set of knotted or linked line segments? In this paper, we studied a simplified question with the assumption that all vertices of the line segments are in convex position. It is straightforward to show that no tetrahedralisation of 6 vertices (the three-line-segments case) can contain a trefoil knot. Things become interesting when the number of line segments increases. Since it is necessary to create new interior edges to form a tetrahedralisation. We provided a detailed analysis for the case of a set of 4 line segments. This leads to a crucial condition on the orientation of pairs of new interior edges which determines whether this set is decomposable or not. We then prove a new theorem about the decomposability for a set of n (n ≥ 3) knotted or linked line segments. This theorem implies that the family of polyhedra generalised from the Schonhardt polyhedron by Rambau [1] are all indecomposable

On monotone sequences of directed flips, triangulations of polyhedra, and structural properties of a directed flip graph

This paper studied the geometric and combinatorial aspects of the classical Lawson's flip algorithm  [21, 22]. Let A be a finite point set in R^2 and ω : A → R be a height function which lifts the vertices of A into R^3. Every flip in triangulations of A can be assigned a direction [6, Definition 6.1.1]. A sequence of directed flips is monotone if all its flips follow the same direction. We first established a relatively obvious relation between monotone sequences of directed flips on triangulations of A and triangulations of the lifted point set A^ω in R^3. We then studied the structural properties of a directed flip graph (a poset) on the set of all triangulations of A. We proved several general properties of this poset which clearly explain when Lawson's algorithm works and why it may fail in general. We further characterised the triangulations which cause failure of Lawson's algorithm, and showed that they must contain redundant interior vertices which are not removable by directed flips. A special case of this result in 3d has been shown in [19]. As an application, we described a simple algorithm to triangulate a special class of 3d non-convex polyhedra without using additional vertices. We prove sufficient conditions for the termination of this algorithm, and show it runs in O(n^3) time, where $n$ is the number of input vertices