Simplification paths in the Pachner graphs of closed orientable 3-manifold triangulations
It is important to have effective methods for simplifying 3-manifold triangulations without losing any topological information. In theory this is difficult: we might need to make a triangulation super-exponentially more complex before we can make it smaller than its original size. Here we present experimental work that suggests the reality is far different: for an exhaustive census of 81 800 394 one-vertex triangulations that span 1 901 distinct closed orientable 3-manifolds, we never need to add more than two extra tetrahedra, we never need more than a handful of Pachner moves (or bistellar flips), and the average number of Pachner moves decreases as the number of tetrahedra grows. If they generalise, these extremely surprising results would have significant implications for decision algorithms and the study of triangulations in 3-manifold topology.
Key techniques include polynomial-time computable signatures that identify triangulations up to isomorphism, the isomorph-free generation of non-minimal triangulations, theoretical operations to reduce sequences of Pachner moves, and parallel algorithms for studying finite level sets in the infinite Pachner graph.
ACM classification F.2.2; G.2.1; G.2.2; D.1.3.
Keywords Triangulations, 3-manifolds, Pachner moves, isomorphism signatures, isomorph-free enumeration, 3-sphere recognition
This is the journal version of , which was presented at the 27th Annual Symposium on Computational Geometry. This journal version contains significant new material.
The study has been expanded from just 3-sphere triangulations to include all closed prime orientable 3-manifolds, it examines average-case as well as worst-case behaviour, and it also analyses moves that connect distinct minimal triangulations of the same 3-manifold. Section 4 contains several new algorithms, through which the loose upper bounds of  have been replaced with smaller bounds, many of which are now tight. The analysis of pathological cases in Section 5 and the detailed specification of isomorphism signatures in the appendix are both new. The final discussion in Section 6 is significantly richer, and raises new issues involving generic complexity.
Triangulations of 3-manifolds are ubiquitous in computational knot theory and low-dimensional topology. They are easily obtained and offer a natural setting for many important algorithms.
Computational topologists typically allow triangulations in which the constituent tetrahedra may be “bent” or “twisted”, and where distinct edges or vertices of the same tetrahedron may even be joined together. Such triangulations (sometimes called generalised triangulations) can describe rich topological structures using remarkably few tetrahedra. For example, the 3-dimensional sphere can be built from just one tetrahedron, and more complex spaces such as non-trivial Seifert fibred spaces can be built from as few as two .
An important class of triangulations is the one-vertex triangulations, in which all vertices of all tetrahedra are identified together as a single point. These are simple to obtain , and they are often easier to deal with both theoretically and computationally .
Keeping the number of tetrahedra small is crucial in computational topology, since many important algorithms are exponential (or even super-exponential) in the number of tetrahedra . To this end, topologists have developed a rich suite of local moves that allow us to change a triangulation without losing any topological information . The ultimate aim is to simplify the triangulation, i.e., reduce the number of tetrahedra, although the triangulation might (temporarily) need to become more complex along the way.
The most basic of these moves are the four Pachner moves (also known as bistellar moves). These include the 3-2 move (which reduces the number of tetrahedra but preserves the number of vertices), the 4-1 move (which reduces both numbers), and also their inverses, the 2-3 and 1-4 moves. It is known that any two triangulations of the same closed 3-manifold are related by a sequence of Pachner moves . Moreover, if both are one-vertex triangulations then in most cases we can relate them using 2-3 and 3-2 moves alone .
However, little is known about how difficult it is to simplify a triangulation, or to convert one triangulation into another, using Pachner moves. In a series of papers, Mijatović develops upper bounds on the number of moves required for various classes of 3-manifolds . All of these bounds are super-exponential in the number of tetrahedra, and some even involve exponential towers of exponential functions. For simplifying one-vertex triangulations using only 2-3 and 3-2 moves, no explicit bounds are known at all.
Simplification is tightly linked to the important recognition problem, where we are given an input triangulation and a target 3-manifold , and asked whether triangulates . The recognition problem is decidable but extremely difficult. A general algorithm comes as a consequence of Perelman’s celebrated proof of the geometrisation conjecture , but due to its intricate and multi-faceted nature, the algorithm remains computationally intractable and no explicit bound on its running time is known.
Some special cases of the recognition problem are more approachable. A notable case is 3-sphere recognition (where ): this plays an key role in other important topological algorithms such as connected sum decomposition  and unknot recognition , and is also important for computational 4-manifold topology. The original 3-sphere recognition algorithm of Rubinstein  has been improved significantly over time , and although it remains worst-case exponential, it is now highly effective in practice for moderate-sized problems .
We can use Pachner moves to solve recognition problems in two ways:
For the classes of manifolds studied by Mijatović , and in particular the 3-sphere , Pachner moves give a direct recognition algorithm: select a well-known “canonical” triangulation of , and try to convert the input triangulation into by testing every possible sequence of Pachner moves up to Mijatović’s upper bound. Return “true” if and only if a successful conversion was found.
For all manifolds , Pachner moves also give a hybrid recognition algorithm: begin with a fast and/or greedy procedure to simplify as far as possible within a limited number of moves. If we reach a well-known canonical triangulation of then return “true”; otherwise run the full recognition algorithm (such as Rubinstein’s algorithm for the case ) on our new, and hopefully simpler, triangulation.
Direct algorithms are, at present, completely infeasible: Mijatović’s bounds are super-exponential in the number of tetrahedra, and the running times are super-exponential in Mijatović’s bounds. Even for the trivial case of 3-sphere recognition with one tetrahedron, a direct algorithm must test all possible sequences of Pachner moves.
The hybrid method, on the other hand, is found to be extremely effective in practice. Experience with 3-sphere recognition software  suggests that when is indeed the 3-sphere, the greedy simplification almost always gives a canonical triangulation, which means that the slower Rubinstein method is almost never required.
In the context of Mijatović’s results, this effectiveness of the hybrid method is unexpected, and forms a key motivation for this paper. More broadly, the aims of this paper are:
to measure how difficult it is in practice to relate two triangulations of a 3-manifold using Pachner moves, or to simplify a 3-manifold triangulation to use fewer tetrahedra;
to understand why greedy simplification techniques work so well in practice, despite the prohibitive theoretical bounds of Mijatović;
to investigate the possibility that Pachner moves could be used as the basis for a direct 3-sphere recognition algorithm that runs in sub-exponential time.
We restrict our attention to closed prime orientable 3-manifolds, as well as the important case (which is not prime). We also restrict our attention to one-vertex triangulations with 2-3 and 3-2 moves, which is the most relevant setting for computation.
Fundamentally this is an experimental paper, though the theoretical underpinnings are interesting in their own right. Based on an exhaustive census of almost 150 million triangulations, including 81 800 394 one-vertex triangulations of 1 901 distinct 3-manifolds, the answers to the questions above appear to be:
we can relate and simplify one-vertex triangulations using remarkably few Pachner moves, and the average number of moves decreases as the number of tetrahedra grows;
both procedures require us to add at most two extra tetrahedra, which explains why greedy simplification works so well;
the number of moves required in the worst case to simplify a 3-sphere triangulation grows extremely slowly, to the point where sub-exponential time 3-sphere recognition may indeed be possible.
These observations are extremely surprising, especially in light of Mijatović’s bounds. For arbitrary manifolds, observation (ii) does not generalise: in Section 5 we construct larger triangulations of graph manifolds, beyond the limits of our census, for which three extra tetrahedra are required. In the case of the 3-sphere, no such counterexamples are known. If (iii) can be proven in general—yielding a sub-exponential time 3-sphere recognition algorithm—this would be a significant breakthrough in computational topology.
In Section 2 we outline preliminary concepts and introduce Pachner graphs, which are infinite graphs whose nodes represent triangulations and whose arcs represent Pachner moves. These graphs are the framework on which we build the rest of the paper. We define simplification paths through these graphs, as well as the key quantities of length and excess height that we seek to measure.
We follow in Section 3 with two key tools for studying Pachner graphs: an isomorph-free census of all closed 3-manifold triangulations with tetrahedra (which gives us the nodes of the graphs), and isomorphism signatures of triangulations that can be computed in polynomial time (which allow us to construct the arcs of the graphs). Here we also prove that the census grows at a super-exponential rate, despite its strong topological constraints.
Section 4 introduces theoretical techniques for “reducing” paths through Pachner graphs, and describes parallel algorithms that bound both the length and excess height of such paths. These algorithms are designed to work within the severe time and memory constraints imposed by the super-exponential census growth rate. This section also presents the highly unexpected experimental results outlined above.
In Section 5 we study pathological cases, including the census triangulations that are most difficult to simplify, as well as the graph manifold constructions mentioned above. We finish in Section 6 by exploring the wider implications of our experimental results, in particular for the worst-case and generic complexity analysis of topological decision problems.
All code was written using the topological software package Regina .
2Triangulations and the Pachner graph
A 3-manifold triangulation of size is a collection of tetrahedra whose faces are affinely identified (or “glued together”) in pairs so that the resulting topological space is a closed 3-manifold.
We do allow two faces of the same tetrahedron to be identified, and we also note that distinct edges or vertices of the same tetrahedron might become identified as a by-product of the face gluings. A set of tetrahedron vertices that are identified together is collectively referred to as a vertex of the triangulation; we define an edge or face of the triangulation in a similar fashion.
Figure 1 illustrates a 3-manifold triangulation of size . Here the back two faces of the first tetrahedron are identified with a twist, the front faces of the first tetrahedron are identified with the front faces of the second using more twists, and the back faces of the second tetrahedron are identified together by directly “folding” one onto the other. This is a one-vertex triangulation since all eight tetrahedron vertices become identified together. The triangulation has three distinct edges, indicated in the diagram by three distinct arrowheads.
For a given 3-manifold , a minimal triangulation of is a triangulation of that uses the fewest possible tetrahedra.
Not every pairwise gluing of tetrahedron faces results in a 3-manifold triangulation. Given tetrahedra whose faces are affinely identified in pairs, we obtain a 3-manifold triangulation if and only if: (i) every vertex of the triangulation has a small regular neighbourhood bounded by a sphere (not some higher-genus surface), and (ii) no edge of the triangulation is identified with itself in reverse.
The four Pachner moves describe local modifications to a triangulation. These include:
the 2-3 move, where we replace two distinct tetrahedra joined along a common face with three distinct tetrahedra joined along a common edge;
the 1-4 move, where we replace a single tetrahedron with four distinct tetrahedra meeting at a common internal vertex;
the 3-2 and 4-1 moves, which are inverse to the 2-3 and 1-4 moves.
These four moves are illustrated in Figure ?. Essentially, the 1-4 and 4-1 moves retriangulate the interior of a pyramid, and the 2-3 and 3-2 moves retriangulate the interior of a bipyramid. It is clear that Pachner moves do not change the topology of the triangulation (i.e., the underlying 3-manifold remains the same). Another important observation is that the 2-3 and 3-2 moves do not change the number of vertices in the triangulation.
Two triangulations are isomorphic if they are identical up to a relabelling of tetrahedra and a reordering of the four vertices of each tetrahedron (that is, isomorphic in the usual combinatorial sense). Up to isomorphism, there are finitely many distinct triangulations of any given size.
Pachner originally showed that any two triangulations of the same closed 3-manifold can be made isomorphic by performing a sequence of Pachner moves .
In this paper we introduce the Pachner graph, which describes how distinct triangulations of a closed 3-manifold can be related via Pachner moves. We define this graph in terms of nodes and arcs, to avoid confusion with the vertices and edges that appear in 3-manifold triangulations.
It is clear that the arcs are well-defined (since Pachner moves are preserved under isomorphism), and that arcs do not need to be directed (since each 2-3 or 1-4 move has a corresponding inverse 3-2 or 4-1 move). In the full Pachner graph , each arc runs from some level to a nearby level or . In the restricted Pachner graph , each arc must describe a 2-3 or 3-2 move, and must run from some level to an adjacent level . Figure 2 shows the first few levels of the restricted Pachner graph of the 3-sphere.
We can now reformulate the results of Pachner and Matveev as follows:
To simplify a triangulation we essentially follow a path through or from a higher level to a lower level, motivating the following definitions:
Figure 3 illustrates a path of length 13 and excess height 2. For simplification paths, the length and excess height measure how difficult it is to simplify a triangulation: the length measures the number of Pachner moves, and the excess height measures the number of extra tetrahedra required.
To simplify a 3-sphere triangulation, the only known bounds on length and excess height are due to Mijatović :
Mijatović also proves bounds for other classes of 3-manifolds, including Seifert fibred spaces , fibre-free Haken manifolds , and knot complements . These all involve towers of exponentials (where in some cases the height of the tower grows with ), and the resulting bounds are far greater than the 3-sphere bounds cited above.
In the restricted Pachner graph, where we only consider 2-3 and 3-2 moves, no explicit bounds on length or excess height are known for any 3-manifolds at all.
Experimental studies of Pachner graphs are difficult: the graphs themselves are infinite, and even the finite level sets grow super-exponentially in size (as we show in Theorem ?). By working with isomorphism classes of triangulations, we keep the level sets considerably smaller than if we had used labelled triangulations instead. However, the trade-off is that both the nodes and the arcs of each graph become more difficult to construct.
In this section we outline two key algorithmic tools for studying Pachner graphs: a census of triangulations (which enumerates the nodes at each level), and polynomial-time computable isomorphism signatures (which allow us to construct the arcs).
3.1A census of triangulations
To enumerate the nodes of Pachner graphs, we build an exhaustive census of all 3-manifold triangulations of size , with each triangulation included precisely once up to isomorphism. The total number of triangulations in this census is . Following the focus of this paper, we extract from these the one-vertex triangulations of prime orientable 3-manifolds and the 3-sphere. The resulting triangulations represent distinct 3-manifolds, and these triangulations form the basis of our experiments.
A full breakdown of triangulations in the census appears in Table 1. For prime orientable 3-manifolds, we further divide these triangulations into non-minimal (where we study simplification paths) versus minimal (where we study how difficult it is to join distinct minimal triangulations of the same 3-manifold).
|5||5 184||1 903||3 961||1 297||40||2 140|
|6||57 753||19 935||43 584||13 660||115||22 957|
|7||722 765||247 644||538 409||169 077||309||272 888|
|8||9 787 509||3 185 275||7 148 483||2 142 197||945||3 498 286|
|9||139 103 032||43 461 431||99 450 500||28 691 150||3 031||46 981 849|
|149 676 922||46 916 426||107 185 448||31 017 533||4 472||50 778 389|
The algorithms behind this census are sophisticated:
This is a combinatorial enumeration problem with severe topological constraints. If we simply enumerate all pairwise identifications of tetrahedron faces up to isomorphism, there are at least
possibilities for . However, the topological constraint that the triangulation must represent a 3-manifold cuts this number down to just , as seen in Table 1.
A key challenge therefore is to enforce this topological constraint as the census runs, and thus prune vast branches of the combinatorial search tree. Techniques for this include modified union-find and skip list algorithms for tracking partially-constructed edge and vertex links , and the analysis of 4-valent face pairing graphs . Some authors describe other techniques specific to minimal triangulations , but these are too specialised for the larger body of data that we require here.
For the largest case , the full enumeration of triangulations required days of CPU time as measured on a single 1.7 GHz IBM Power5 processor. In reality this was reduced to 2–3 days of wall time using 32 CPUs in parallel.
The paper  expands this census to (with triangulations), but we do not use this data here because the resulting Pachner graphs are too large to process. See Section 4 for further discussion on time and memory constraints.
Identifying 3-spheres and orientable prime 3-manifolds:
Both 3-sphere recognition and prime decomposition are theoretically difficult problems. Although the best known algorithms have exponential running times, recent advances have made them extremely fast for problems of our size.
We employ algorithms based on the 0-efficiency techniques of Jaco and Rubinstein , coupled with highly optimised algorithms for normal surface enumeration  and 3-sphere recognition . The total running time over all million triangulations was just 7.7 hours, which is negligible in comparison to the census enumeration.
Identifying minimal and non-minimal triangulations:
For this we call upon a separate, specialised census of minimal 3-manifold triangulations. Minimal triangulations are extremely rare (as seen Table 1), which means that there are more opportunities for pruning the combinatorial search tree, and so specialised censuses of minimal triangulations are significantly faster to build.
Censuses with at least one minimal triangulation per prime orientable 3-manifold have been compiled by Matveev and others for tetrahedra , and censuses of all minimal triangulations of such manifolds have been compiled by the author for tetrahedra . Since this study requires all minimal triangulations, we use  as our source.
It was noted in the first point above that 3-manifold triangulations are extremely rare amongst all pairwise identifications of tetrahedron faces. Dunfield and Thurston  justify this theoretically, proving that as , the probability that a random identification of tetrahedron faces yields a 3-manifold triangulation tends to zero. Despite this rarity, we can prove that our census of 3-manifold triangulations grows at a super-exponential rate:
An upper bound of is easy to obtain. If we count all possible pairwise gluings of tetrahedron faces, without regard for isomorphism classes or other constraints (such as the need for the triangulation to represent a closed 3-manifold), we obtain an upper bound of
Proving a lower bound of is more difficult—the main complication, as noted above, is that most pairwise identifications of tetrahedron faces do not yield a 3-manifold at all. We work around this by first counting 2-manifold triangulations (which are easier to obtain), and then giving a construction that “fattens” these into 3-manifold triangulations without introducing any unwanted isomorphisms.
To create a 2-manifold triangulation of size (the size must always be even), we identify the edges of distinct triangles in pairs. Any such identification will always yield a closed 2-manifold; that is, nothing can “go wrong”, in contrast to the three-dimensional case.
There is, however, the issue of connectedness to deal with (recall from the beginning of Section 2 that all triangulations in this paper are assumed to be connected). To ensure that a labelled 2-manifold triangulation is connected, we insist that for each , the first edge of the triangle labelled is identified with some edge from one of the triangles labelled . Of course many connected labelled 2-manifold triangulations do not have this property, but since we are proving a lower bound this does not matter.
We can now place a lower bound on the number of labelled 2-manifold triangulations. First we choose which edges to pair with the first edges from triangles ; from the property above we have choices. We then pair off the remaining edges, with possibilities overall. Finally we note that each of the pairs of edges can be identified using one of two possible orientations. The total number of labelled 2-manifold triangulations is therefore at least
Each isomorphism class contains at most labelled triangulations, and so the number of distinct isomorphism classes of 2-manifold triangulations is bounded below by
We fatten each 2-manifold triangulation into a 3-manifold triangulation as follows. Let denote the closed 2-manifold described by the original triangulation.
Replace each triangle with a prism and glue the vertical faces of adjacent prisms together, as illustrated in Figure ?. This represents a bounded 3-manifold, which is the product space .
Cap each prism at both ends with a triangular pillow, as illustrated in Figure ?. The two faces of each pillow are glued to the top and bottom of the corresponding prism, effectively converting each prism into a solid torus. This produces the closed 3-manifold , and the complete construction is illustrated in Figure ?.
Triangulate each pillow using two tetrahedra, which are joined along three internal faces surrounding an internal vertex. Triangulate each prism using tetrahedra, which again all meet at an internal vertex. Both triangulations are illustrated in Figure ?.
If the original 2-manifold triangulation uses triangles, the resulting 3-manifold triangulation uses tetrahedra. Moreover, if two 3-manifold triangulations obtained using this construction are isomorphic, the original 2-manifold triangulations must also be isomorphic. The reason for this is as follows:
Any isomorphism between two such 3-manifold triangulations must map triangular pillows to triangular pillows. This is because the internal vertex of each triangular pillow meets only two tetrahedra, and no other vertices under our construction have this property.
By “flattening” the triangular pillows into 2-dimensional triangles, we thereby obtain an isomorphism between the underlying 2-manifold triangulations.
It follows that, for , we obtain a family of pairwise non-isomorphic 3-manifold triangulations.
This result is easily extended to . Let denote the number of distinct isomorphism classes of 3-manifold triangulations of size .
Each triangulation of size has at least distinct 2-3 moves available (since any face joining two distinct tetrahedra defines a 2-3 move, and there are at least such faces).
On the other hand, each triangulation of size has at most distinct 3-2 moves available (since each 3-2 move is defined by an edge that meets three distinct tetrahedra, and the triangulation has at most edges in total).
It follows that for any . This gives for sufficiently large and all , and so we obtain with no restrictions on .
To construct the arcs of a Pachner graph, we begin at a node—that is, a 3-manifold triangulation —and perform Pachner moves. Our main difficulty is determining the endpoints of the arcs: each Pachner move results in a new triangulation , and we must determine which node of the graph represents .
A naïve approach might be to search through all nodes at the appropriate level of the Pachner graph and test each triangulation for isomorphism with . However, this is infeasible: although isomorphism testing is fast (as we prove in Corollary ?), the sheer number of nodes at level of the graph is too large (as shown by Theorem ?).
What we need is a property of the triangulation that is easy to compute, and that uniquely defines the isomorphism class of . This property can be used as the key in a data structure with fast insertion and fast lookup (such as a hash table or a red-black tree), and by computing this property we can quickly jump to the relevant node of the graph.
Here we define such a property, which we call the isomorphism signature of a triangulation. In Theorem ? we show that isomorphism signatures uniquely define isomorphism classes, and in Theorem ? we show that they are small to store and fast to compute.
A labelling of a triangulation of size involves: (i) numbering its tetrahedra from 0 to inclusive, and (ii) numbering the four vertices of each tetrahedron from 0 to 3 inclusive.
As an example, consider the triangulation of size described by Table 2. This table lists the precise gluings of tetrahedron faces. For instance, the second cell in the bottom row indicates that face 1 of tetrahedron 2 is glued to tetrahedron 1, in such a way that vertices of tetrahedron 2 map to vertices of tetrahedron 1 respectively. This same gluing can be seen from the other direction by examining the first cell in the middle row.
|Vertices 123||Vertices 023||Vertices 013||Vertices 012|
|Tet. 0||Tet. 0:120||Tet. 1:023||Tet. 2:013||Tet. 0:312|
|Tet. 1||Tet. 0:023||Tet. 1:012||Tet. 1:013|
|Tet. 2||Tet. 2:012||Tet. 0:013||Tet. 2:123|
It is simple to see that the labelling for this triangulation is canonical. The sequence is (reading tetrahedron numbers from left to right and then top to bottom in the table), and tetrahedron 1 first appears before tetrahedron 2 as required. Looking closer, the first appearance of tetrahedron 1 is in the second cell of the top row where vertices map to , and the first appearance of tetrahedron 2 is in the subsequent cell where vertices map to . In both cases the gluings use the identity map.
For the result is trivial, since all possible labellings are canonical. For we observe that, if we choose (i) any one of the tetrahedra to label as tetrahedron 0, and (ii) any one of the possible labellings of its four vertices, then there is one and only one way to extend these choices to a canonical labelling of .
To see this, we can walk through the list of faces , where represents face of tetrahedron . The first face amongst that is joined to an unlabelled tetrahedron must in fact be joined to tetrahedron 1 using the identity map. This allows us to deduce tetrahedron 1 as well as the labels of its four vertices.
We inductively extend the labelling in this manner: once we have labelled tetrahedra and their corresponding vertices, the first face amongst that is joined to an unlabelled tetrahedron must give us tetrahedron along with the labels for its four vertices (again using the identity map). The resulting labelling is canonical, and all of the labels can be deduced in time using a single pass through the list . The factor is for manipulating tetrahedron labels, each of which requires bits.
It follows that there are precisely canonical labellings of , and that these can be enumerated in time using iterations of the procedure described above.
For the theoretical results in this section, it suffices to treat each sequence as a naïve bitwise encoding of a full table of face gluings (such as Table 2). In practical software settings however, we use a more compact alphanumeric representation with less redundancy, which we specify in full detail in the appendix.
It is clear that implies that and are isomorphic, since both signatures encode the same gluing data. Conversely, if and are isomorphic then their canonical labellings are the same (though they might be enumerated in a different order). In particular, the lexicographically smallest canonical labellings will be identical; that is, .
To encode a full set of face gluings, at worst we require a table of gluing data such as Table 2, with cells each containing four integers. Because some of these integers require bits (the tetrahedron labels), it follows that the total size of is .
The algorithm to generate is spelled out explicitly in its definition. The canonical labellings of can be enumerated in time (Lemma ?). Because a full set of face gluings has size , we can encode the bit sequences and select the lexicographically smallest in time, giving a time complexity of overall.
This space complexity of is the best we can hope for, since Theorem ? shows that the number of distinct isomorphism signatures for size triangulations grows like .
It follows from Theorems ? and ? that isomorphism signatures are ideal tools for constructing arcs in the Pachner graph, as explained at the beginning of this section. Moreover, the relevant definitions and results are easily extended to bounded and ideal triangulations (as described in the appendix). We finish with a simple but important consequence of our results:
4Analysing Pachner graphs
As discussed in the introduction, our focus is on one-vertex triangulations of closed prime orientable 3-manifolds and of the 3-sphere. We therefore direct our attention to the restricted Pachner graph of each such 3-manifold .
From Table 1, there are only three one-vertex triangulations of closed 3-manifolds; these represent , and . The next smallest one-vertex triangulations of these manifolds in the census have sizes , and .
For any other closed prime orientable 3-manifold , either , , or every minimal triangulation of has one vertex . In the latter case, the result follows immediately from the definition of . For both and at least one minimal triangulation has one vertex, and so the result holds for these cases also.
In this section, we analyse all triangulations of interest of size in our census to obtain computer proofs of the following results:
These results are astonishing, given Mijatović’s super-exponential bounds for the 3-sphere  and tower-of-exponential bounds for other manifolds . Theorems ? and ? state that we can simplify triangulations or convert between minimal triangulations using at most two extra tetrahedra, and Theorems ? and ? state that we require very few Pachner moves. The 3-sphere results in particular have important algorithmic implications, which we discuss further in Section 6.
The algorithms behind these computer proofs are specialised, and use novel techniques to control the enormous time and space requirements. We return to these algorithmic issues shortly. In the meantime, some further comments on Theorems ?– ?:
We restrict our results to levels because, even though we have census data for (see ), the sheer size of the census makes it infeasible to compute the necessary properties of the Pachner graphs. As a result, Theorems ? and ? cover distinct 3-manifolds with , and Theorem ? covers distinct 3-manifolds with .
Theorem ? bounds the worst-case length of the shortest simplification path. If we bound the average length instead, the results are much smaller still: for the case , this length is less than when averaged over all triangulations of , and less than when averaged over all triangulations of closed prime orientable 3-manifolds. We present these average-case results in detail in Section 4.3.
For arbitrary closed prime orientable 3-manifolds, the height results do not generalise. In Section 5, we construct (i) a triangulation of a graph manifold of size for which every simplification path has excess height , and (ii) two minimal triangulations of a graph manifold with size where every path joining them has excess height . For the case of the 3-sphere, no such counterexamples are known.
For the remainder of this section, we describe the algorithms behind Theorems ?– ?, and present the experimental results in detail. Our algorithms are constrained by the following factors:
Their time and space complexities must be close to linear in the number of nodes that they examine, due to the sheer size of the census.
They cannot loop through all nodes in , since the graph is infinite. They cannot even loop through all nodes at any level , since there are too many to enumerate.
They cannot follow arbitrary breadth-first or depth-first searches through , since the graph is infinite and can branch heavily in the upward direction.
Because of these limiting factors, we cannot run through the census and directly measure the shortest length or smallest excess height of any simplification path from each node. Instead we develop fast, localised algorithms that allow us to bound these quantities from above. To our delight, these upper bounds are extremely effective in practice.
A key optimisation in many of our algorithms comes from Theorem ?, which allows us to “reduce” sequences of Pachner moves to use fewer intermediate tetrahedra. We state and prove this theorem in Section 4.1. Following this, we present the individual algorithms:
In Section 4.2 we give a fast algorithm based on union-find that bounds the heights of simplification paths. We run this algorithm over the census of 3-sphere triangulations, giving a computer proof for the 3-sphere case of Theorem ?.
In Section 4.3 we describe a multiple-source breadth-first search algorithm that bounds lengths of simplification paths. By running this over the census of triangulations of the 3-sphere and closed prime orientable manifolds, we prove Theorem ? as well as the outstanding closed prime orientable case of Theorem ?.
In Section 4.4 we present algorithms that incorporate both breadth-first search and union-find techniques to study paths between nodes representing minimal triangulations. By running these algorithms over the census of minimal triangulations of closed prime orientable manifolds, we obtain a computer proof of Theorem ?.
We finish in Section 4.5 with a discussion of how these algorithms can be parallelised effectively, along with explicit measurements of running time and memory use.
4.1Reducing sequences of moves
The key idea behind reducing sequences of Pachner moves is that, in many cases, we can interchange pairs of consecutive 2-3 and 3-2 moves to become consecutive 3-2 and 2-3 moves instead, without changing the final triangulation. In the Pachner graph, this replaces a path segment from levels with a path segment from levels : the length and endpoints of the overall path remain the same, and the excess height will either stay the same or decrease (depending on the heights of other segments of the path).
This type of interchange is not always possible. The purpose of Theorem ? is to identify the “bad cases” where consecutive 2-3 and 3-2 moves cannot be interchanged, so that we can explicitly test for them in algorithms. In summary, we find that every bad 2-3 / 3-2 pair can be described by one of three “composite moves”. These composite moves are local modifications to a triangulation, much like the Pachner moves (though a little more complex), and are defined as follows.
Suppose that we obtain from by:
performing a 2-3 move on two adjacent tetrahedra of , giving the intermediate triangulation ;
then performing a 3-2 move around the degree three edge of to give .
If is not an edge of the original triangulation , then it must be created by the 2-3 move. Therefore the subsequent 3-2 move is the inverse of the original 2-3 move, and the final triangulation is isomorphic to .
Suppose then that does belong to the original triangulation , but that is not an edge of either or . This implies that the 2-3 move and the 3-2 move occur in “disjoint” regions of the triangulation: none of the tetrahedra involved in the 3-2 move are also involved in the 2-3 move. Therefore the 2-3 and 3-2 moves can be applied in either order, and we can obtain from by performing the 3-2 move followed by the 2-3 move instead.
Finally, suppose that is an edge of and/or in . Note that might not have degree three in , and it might appear as multiple edges of and/or . However, in the intermediate triangulation (after the initial 2-3 move), it must have degree three and it must belong to three distinct tetrahedra.
Up to isomorphism, there are 13 possible ways that can appear in and/or subject to these constraints. These fall into five basic patterns, as illustrated in Figure 5. Cases 1, 2 and 4 require additional tetrahedra in order to meet the degree three requirement (these extra tetrahedra are also pictured). Cases 2, 3 and 5 each have several different subcases, according to the specific orientations of in each tetrahedron and the different ways in which tetrahedron faces can be glued together.
Cases 1 and 4 are simple to analyse. Figure 6 shows the corresponding configurations in with the extra tetrahedra glued in: these are the initial configurations for an octahedron flip and a pillow flip respectively. By following the details of the 2-3 move on and followed by the 3-2 move around , we indeed find that these moves perform a single octahedron flip in case 1, and a single pillow flip in case 4.
For case 2, there are four possible configurations up to isomorphism. These are shown in Figure 7, again with the extra tetrahedron glued in. These four subcases correspond to different possible orientations of in each tetrahedron (indicated in the diagram by the bold arrowheads) and different possible choices for which faces are glued together (indicated by the white arrows and the shading on the faces).
Subcase 2a is precisely the initial configuration for a prism flip of type A (the two shaded triangles on the left form one rectangular face of the prism, and the two shaded triangles on the right form another). Likewise, subcase 2b is the initial configuration for a prism flip of type B (the different gluings describe a twist before folding these rectangles together). In each case, the 2-3 and 3-2 move together carry out the corresponding prism flip.
Subcases 2c and 2d both produce non-orientable triangulations. More importantly, each contains a vertex with a non-orientable link—in other words, any small regular neighbourhood of is non-orientable. For subcase 2c, this vertex is at the top of the diagram, and for subcase 2d it is the vertex at the centre of the diagram. No such vertex can appear in a 3-manifold triangulation, and so subcases 2c and 2d can never occur.
In case 3, all eight faces of and are glued together in pairs. Since the triangulation is connected, this means that contains only these two tetrahedra: if then this case can never occur at all. Even if , the triangulation is not of interest to us, since will contain two distinct vertices and so will not feature in any restricted Pachner graph.
Nevertheless, we summarise case 3 with for completeness. Here there are five subcases up to isomorphism, again depending on the possible orientations of and choices for how the the tetrahedron faces are glued together. Three of these subcases give non-orientable vertex links as before, and so cannot occur. Of the final two subcases, one gives as the unique two-vertex, two-tetrahedron triangulation of , and the other gives the unique two-vertex, two-tetrahedron triangulation of the lens space . In both subcases, the 2-3 and 3-2 move together produce a triangulation that is isomorphic to the original.
This leaves case 5. Here there are two possible configurations in up to isomorphism, as illustrated in Figure 8 (in both diagrams, the top left face at the front is glued to the upper face at the rear, and the top right face at the front is glued to the lower face at the rear). Subcase 5a gives an orientable triangulation (to be precise, a layered solid torus ), and following through the 2-3 and 3-2 moves shows once again that the resulting triangulation is isomorphic to the original. Subcase 5b gives a non-orientable triangulation in which the top left edge is identified with itself in reverse, and so this subcase can never occur.
4.2Bounding excess heights
Our first algorithm computes bounds for a given 3-manifold and a given level so that, from every node at level of the graph , there is a simplification path of excess height . By running this algorithm, we explicitly compute these bounds for the case , for each in the range .
The general idea is to begin with the set of all nodes at level , and repeatedly expand into higher levels using 2-3 moves only until all of the original nodes are connected together. If the bound is tight (as we find in practice for the 3-sphere), this method of “upward expansion” saves significant time and memory by enumerating only a fraction of the higher levels (each of which contains far more nodes than the initial level ).
In step 2(a) we construct arcs by performing 2-3 moves, and in step 2(b) we use union-find to update the number of components in small time complexity.
It is clear that Algorithm ? is correct for any : once we have the subgraph is connected, which means it contains a path from any node at level to any other node at level . Because , Theorem ? shows that at least one such node allows a 3-2 move, and so any node at level has a simplification path of excess height .
However, it is not clear that Algorithm ? terminates: it might be that every simplification path from some node at level passes through nodes that we never construct at higher levels . Happily it does terminate for the 3-sphere for all , giving an output of each time, and thereby proving the 3-sphere case for Theorem ?. Table ? shows how the number of components changes as the algorithm runs for each .
The result is trivial for . Suppose then that and this bound is not tight; that is, . When Algorithm ? processes level , it effectively enumerates all paths in that stay between levels and , since every arc between these levels emanates from one of our starting nodes at level . Therefore Algorithm ? would terminate at level and output instead, a contradiction.
As a result, our bounds for are all tight. Note that Lemma ? does not work in the opposite direction: it is possible to have but , since the optimal path might bounce around between levels and , using intermediate nodes that never appear in our subgraph .
It is straightforward to show that the space and time complexities of Algorithm ? are linear and log-linear respectively in the number of nodes in (other small polynomial factors in and also appear). Nevertheless, the memory requirements for were found to be extremely large in practice (30 GB): by the time the algorithm terminated at level , we had visited nodes in total. For the memory requirements were too large for the algorithm to run (estimated at 400–500 GB), and so a two-phase approach was necessary:
In essence, we use the old Algorithm ? for the transition from level , but then we use Theorem ? to “simulate” the transition from level . We only need to consider octahedron, pillow and prism flips in step 3 because, by Theorem ?, if two nodes at level have arcs to some common node at level , then either and are related by such a flip, or else and must already be connected in .
It follows that, if this two-phase approach does output a result, it will always be the same result as Algorithm ?. The key advantage of this two-phase method is a much smaller memory footprint (since it does not store any nodes at level ). The main disadvantage is that it cannot move on to level if required, and so if then it cannot output any result at all.
Of course by the time we reach for the 3-sphere, there are reasons to suspect that (following the pattern for ), and so this two-phase method seems a reasonable—and ultimately successful—approach. For the memory consumption was 52 GB, which was (just) within the capabilities of the host machine.
4.3Bounding path lengths
Our next task is to compute bounds for a given 3-manifold and a given level so that, from every node at level of , there is some simplification path of length . This time we compute for all and all closed prime orientable 3-manifolds in the census, as well as for the case .
It is infeasible to perform arbitrary breadth-first searches through , and so we restrict such searches using two techniques:
we only search within levels , and , and we only explicitly store nodes in levels and ;
we only visit level when absolutely necessary, as described by Theorem ?.
Of course (i) is only effective if there is a simplification path of excess height . The results of the previous section show that this is true for and , and give us hope that it holds for other manifolds also. Although the shortest simplification paths might pass through levels or above (and so our bounds might not be tight), the time and space savings obtained by avoiding these higher levels (which grow at a super-exponential rate) are enormous.
In the algorithm below, we refer to steps as the quantity minimised by the breadth-first search. Since each octahedron, pillow or prism flip involves two Pachner moves, we use a modified breadth-first search for weighted graphs in which some arcs are counted as one step and some arcs are counted as two. Such modifications are standard, and we do not go into details here.
This time the algorithm always terminates, since levels and are finite. The algorithm is also correct, because each source node in has a simplification path of length 1, and each step in the breadth-first search corresponds to a single 2-3 or 3-2 move. The space and time complexities are linear and log-linear respectively in the number of nodes in levels and (again with further small polynomial factors in ).
We can make some observations on the tightness of the bounds :
The proof follows directly from the structure of the breadth-first search and from Theorem ?, which shows that every step up into level is either part of an octahedron, pillow or prism flip, or else can be replaced with a step down into level instead.
For the 3-sphere, Table ? shows how the breadth-first search progresses for each in the range . Each cell of this table counts only nodes at level of , not “intermediate nodes” at the higher level . For each the algorithm outputs a final bound of or , proving the 3-sphere case of Theorem ?.
For this follows immediately from Lemma ?, since any simplification path of excess height must have length . For or , the bounds are likewise tight unless all or triangulations respectively that are eight steps from have a simplification path of length and excess height . The only way to construct such a path is using three 2-3 moves followed by four 3-2 moves. We can enumerate all such combinations of moves by computer, and we find in all 11 cases for and in 40 of the 41 cases for that no such path exists.
Table ? shows the corresponding results for arbitrary closed prime orientable 3-manifolds. Each cell in this table is a sum over all such manifolds with , except for the final row which lists the largest bound amongst all such manifolds. In every case we have , proving the closed prime orientable case of Theorem ?.
Furthermore, by Lemma ?, an immediate consequence of these results is as follows. For any closed prime orientable 3-manifold , from any node at level of where , there is a simplification path with excess height . This proves the remaining closed prime orientable case of Theorem ?.
It is clear from Tables ? and ? that most nodes at level are very close to the source set , and only a tiny fraction require all steps. This prompts us to consider average lengths of simplification paths. In particular, we consider the following two quantities:
, where ranges over all nodes at level of , and where ranges over all simplification paths that begin at ;
, where ranges over all nodes at level of all graphs for closed prime orientable 3-manifolds with , and again ranges over all simplification paths that begin at .
In other words, if we consider the shortest simplification path from each node, then is the average path length over all size triangulations of the 3-sphere, and is the average path length over all size triangulations of closed prime orientable 3-manifolds.
By aggregating the figures in Tables ? and ?, we can place upper bounds on and respectively (since each node that is steps from the source set has a simplification path of length ). These upper bounds are listed in Table ? (all numbers are rounded up).
These averages are remarkably small, and more importantly, they appear to decrease with : although the worst-case paths become longer, such pathological cases become very rare very quickly. This has interesting implications for generic-case complexity, which we return to in Section 6. Figure 9 gives a graphical summary of these worst-case and average-case bounds.
4.4Connecting minimal triangulations
Our final algorithms examine paths that connect different nodes at the base level of . Recall from Lemma ? that, for most closed prime orientable 3-manifolds , these are the nodes that correspond to minimal triangulations of .
In particular, these algorithms compute bounds and for a given 3-manifold so that, between any two nodes at level of , there is a path of excess height , and a (possibly different) path of length .
Here the running time and memory use are less critical: because the census contains so few minimal triangulations of closed prime orientable 3-manifolds (just 4472 for ), we can afford to search exhaustively through entire levels of as long as these levels do not grow too high above .
As in Algorithm ?, we enumerate arcs from a node by performing 2-3 and 3-2 moves, and we track connected components of using union-find.
It is clear from the structure of the breadth-first search that, at each stage of the algorithm, the subgraph contains precisely those nodes that can be reached from level of using a path that never travels above level . We can therefore conclude:
Running this over all 1900 closed prime orientable 3-manifolds with , we find that in every case but one. The exception is one of the smallest cases in the census: the lens space , with and final bound . Table ? shows a detailed breakdown of the results, which together constitute a computer proof of the excess height results from Theorem ?. Note that the manifolds in the table with are those with only one node at level of .
To bound path lengths, we adopt a similar strategy to that for simplification paths: because excess heights are typically bounded above by , we perform breadth-first searches that stay within levels , and . Once again, we use octahedron, pillow and prism flips to avoid explicitly stepping into level . The full algorithm is as follows.
This approach of running a separate breadth-first search from each node at level is perhaps wasteful, but there are so few minimal triangulations in the census that its performance is adequate nonetheless.
As with Algorithm ? for simplification paths, we can make some simple observations on the tightness of the bounds . The following result is an immediate consequence of Theorem ?, the breadth-first search structure of Algorithm ?, and the tightness of the height bounds as shown by Lemma ?.
Table ? shows the results of this algorithm when run over all 1900 closed prime orientable 3-manifolds with . There is just one case with (the case from before), and for every other manifold we have (note that must always be even). This establishes the length results of Theorem ? in all cases but .
For the special case , there are precisely two one-vertex triangulations in the census with tetrahedra; their isomorphism signatures are
cMcabbjak. A quick search shows that these can be connected using six 2-3 and 3-2 moves:
See the appendix for details on how to “decode” these isomorphism signatures back into full 3-manifold triangulations. Since , no fewer than six moves are possible.
4.5Parallelisation and performance
For large , the algorithms that bound simplification paths (Algorithms ?, ? and ?) all have substantial running times and memory requirements. This is due to the large number of nodes that they process at levels and (and in some cases, ) of the corresponding Pachner graphs.
bounding excess heights by running the original Algorithm ? and the two-phase Algorithm ? over all 3-sphere triangulations of size ;
bounding path lengths by running Algorithm ? over all 3-sphere triangulations of size , and over all size triangulations of closed prime orientable 3-manifolds.
Both plots use a log scale for the vertical axis. We omit (where time was negligible) and do not show memory under 1 GB (where overheads dominate). All computations were run on an 8-core 2.93 GHz Intel Xeon X5570 CPU with 72 GB of RAM. Algorithm ? only shows , since the case required too much memory to run (recall that this was why we developed the two-phase Algorithm ? to replace it). The data points for Algorithm ? on closed prime orientable 3-manifolds represent sums taken over all such manifolds.
We can parallelise each of these algorithms by processing nodes simultaneously: for Algorithms ? and ? we simultaneously process nodes at the same level of the subgraph , and for Algorithm ? we simultaneously process nodes at the same distance from the source set . However, we must be careful to serialise any updates to global structures (these include the subgraph and union-find structures in Algorithms ? and ?, and the queue of nodes to be processed in Algorithm ?). Because these global structures can grow super-exponentially large, we use a shared memory model on a single multi-core machine, and avoid distributed processing.
Figure ? shows the total CPU time summed over all threads of execution. When parallelised over all eight cores, the wall time was close to of these figures—for instance, the peak 46.6 days of CPU time for Algorithm ? (closed prime orientable 3-manifolds, ) represented just 5.9 days of wall time. Despite the serialisation bottlenecks, all three algorithms achieved over CPU utilisation for the largest cases. This indicates that the task of identifying and following arcs in the Pachner graphs (which could be parallelised) was significantly more expensive than querying and updating the global structures (which could not).
For connecting minimal triangulations, Algorithms ? and ? are cheap in comparison: these required just 2.5 and 6.2 minutes of CPU time respectively to process the entire census of minimal triangulations, and each used under 1 GB of memory.
In this section we first examine the most difficult triangulation to simplify from our tables, and we show how this pathological case corresponds to the “exceptional” brick in the Martelli-Petronio census . Following this, we construct larger triangulations of graph manifolds that show how our excess height results do not generalise for arbitrary closed prime orientable 3-manifolds. In Section 6 we return to the important case of the 3-sphere, where no such counterexamples are known.
In the discussions below we use alphanumeric isomorphism signatures to identify specific 3-manifold triangulations. The appendix of this paper includes a full specification detailing how such signatures encode tables of tetrahedron face gluings. Alternatively, the software package Regina  can be used to “decode” these signatures back into 3-manifold triangulations.
5.1Triangulations requiring many moves
Recall Theorem ?, where we show that one-vertex triangulations of closed prime orientable 3-manifolds of size can be simplified using at most 17 Pachner moves. Although this bound is tight if we allow at most two extra tetrahedra (Lemma ?), the worst case is extremely rare: just one of the triangulations in Table ? requires all 17 moves. We denote this worst-case triangulation by . This triangulation is an outlier (the next-worst cases require just 13 moves), and we examine it here in detail.
has isomorphism signature
jLAMLLQbcbdeghhiixxnxxjqisj, contains tetrahedra, and represents a Seifert fibred space over the 2-sphere with three exceptional fibres; specifically, . It has the structure of an augmented triangular solid torus, a common construction for Seifert fibred spaces : we build a 3-tetrahedron triangular prism, glue the triangular ends together, and attach either a layered solid torus or a Möbius band to each rectangular face. Figure 10 outlines the construction; see  for full details and notation.
This Seifert fibred space has only one minimal triangulation, with tetrahedra and isomorphism signature
iLLLPQcbcgffghhhtsmhgosof. We denote this by . Unlike , the 8-tetrahedron is constructed not from prisms and layerings, but from the brick described by Martelli and Petronio in their census paper . This brick is an 8-tetrahedron triangulation of the bounded Seifert fibred space , where denotes the 2-dimensional disc, and the three boundary edges of describe relatively complex curves on its torus boundary.
The brick is unique in the Martelli-Petronio census in that it is the only large brick that allows Seifert fibred spaces to be built using fewer tetrahedra than standard prism-and-layering constructions. However, it only appears rarely in the census; this is due to the specific parameters , the complex boundary curves, and the large number of tetrahedra. Indeed, amongst all minimal triangulations of closed prime orientable 3-manifolds of size , the triangulation is the only one to contain at all.
In a sense then, the 17 moves needed to simplify indicate that is “substantially different” from standard prism-and-layering constructions: because is the only smaller triangulation of the same manifold, we are forced to reorganise the tetrahedra of to form a configuration in order to simplify it.
It is tempting to use to search for larger triangulations that require even more moves to simplify, but initial attempts are unsuccessful. Stepping up to nine tetrahedra, there are three minimal triangulations of closed prime orientable 3-manifolds that include the brick : these represent the spaces , and . The corresponding augmented triangular solid tori each have tetrahedra, and a computer search shows that each can be simplified using 17 Pachner moves once again.
5.2Triangulations requiring greater excess height
In Theorems ? and ?, we show that one-vertex triangulations of closed prime orientable 3-manifolds of size can be simplified using at most two extra tetrahedra, and that any two minimal triangulations of such a manifold can be connected using at most two extra tetrahedra. Here we show that for arbitrary manifolds, these results do not generalise: in particular, we construct triangulations of graph manifolds with tetrahedra for which three extra tetrahedra are required.
All of the graph manifolds described in this section are obtained by joining two bounded Seifert fibred spaces along their torus boundaries according to a given matching matrix. We refer the reader to  for further details and notation.
Let be the graph manifold . The census of minimal triangulations in  shows that has just one minimal triangulation; this has tetrahedra and isomorphism signature
Let be the node of that describes the triangulation with size and isomorphism signature
kLLzLQAkaceiggghijjjkxuaatlsqw. A computer search shows that no path from with excess height can reach level 9 of . However, with excess height 3 we obtain a simplification path that connects with the unique minimal triangulation described above.
The example above was found as a side-effect of processing the 10-tetrahedron census of minimal triangulations : it was difficult to identify which manifold the triangulation represented, and this was only resolved after (with some difficulty) converting it into a known triangulation of the graph manifold . No other pathological cases have been found in this way. The 10-tetrahedron triangulation above is not based on a standard prism-and-layering construction, although the 9-tetrahedron minimal triangulation of is.
Recall that, unlike the census of all triangulations of closed prime orientable 3-manifolds, the census of all minimal triangulations of such manifolds extends to 11 tetrahedra . By running Algorithm ? over this extended census, we identify seven manifolds for which (and none for which ). By Lemma ?, it follows that each of the corresponding Pachner graphs has nodes with the property above. Table 3 summarises these results.
As with Theorem ?, all of the manifolds in Table 3 are graph manifolds. We return to this issue in Section 6, where we discuss the lack of known pathological examples for “simple” manifolds (in particular, the 3-sphere).
As noted already, the bounds on simplification paths that we obtain in Section 4 are astonishingly small. Although we only consider triangulations of size , this is not a small sample: the census includes million triangulations, including million one-vertex 3-spheres, plus another million one-vertex triangulations of distinct closed prime orientable 3-manifolds that cover all eight Thurston geometries as well as non-geometric combinations of these .
These results have interesting implications for simplification algorithms. Given a triangulation (of arbitrary size) that we wish to simplify, we can follow the strategy of Algorithm ? and perform a breadth-first search from using Pachner moves and octahedron, pillow and prism flips, never adding more than two extra tetrahedra. Theorem ? gives us hope that this will indeed simplify , and Theorem ? gives us hope that the search will be relatively fast. Initial observations from using such simplification techniques in ongoing research projects show them to be remarkably successful.
Triangulations of the 3-sphere exhibit particularly good behaviour. In contrast to closed prime orientable manifolds, the worst-case number of moves needed to simplify a 3-sphere triangulation barely grows at all with the size (Figure Figure 9). Moreover, unlike the graph manifolds discussed in Section 5, there are no known pathological 3-sphere triangulations that require more than two extra tetrahedra to simplify, despite the 3-sphere having far more triangulations than any other manifold in the census. These results lead us to make the following conjecture:
If true, this would help explain why 3-sphere triangulations are so easy to simplify in practice. Moreover, by combining this result with Theorem ?, we could reduce Mijatović’s bound on the number of Pachner moves needed to simplify a one-vertex triangulation of the 3-sphere from down to instead.
There are theoretical reasons to believe that Conjecture ? might be true. Similar results are known for the simplification of knots in : Dynnikov shows that an arc presentation of the trivial knot can be simplified using elementary moves without increasing the complexity of the diagram , and Henrich and Kauffman use his results to show that any projection of the unknot can be simplified using Reidemeister moves with only a quadratic increase in the number of crossings . In the setting of triangulation simplification, Mijatović’s bounds for the 3-sphere—though extremely large—remain far smaller than for other manifolds (whose bounds involve towers of exponentials). Moreover, every pathological triangulation from Section 5 that requires three extra tetrahedra is of a non-geometric graph manifold: it is possible that the boundaries between geometric components in such manifolds act as barriers to simplification that would not exist for the 3-sphere.
We now turn our attention to path length; that is, the number of Pachner moves required to simplify a triangulation. Our next conjecture involves the average simplification path lengths (for 3-sphere triangulations) and (for closed prime orientable 3-manifold triangulations), as defined in Section 4.3.
This conjecture is clearly supported by the results in Figure 9. Looking more closely at Tables ? and ? however, we can formulate a more interesting observation:
In other words, as , almost all size triangulations of the 3-sphere or of closed prime orientable 3-manifolds can be simplified immediately, using just a single 3-2 move. Intuitively this seems reasonable, since with more tetrahedra it is more likely that a suitable degree three edge can be found. However, proving it appears difficult: like most probabilistic arguments involving 3-manifold triangulations, we run into the critical problem that almost all pairwise gluings of tetrahedron faces do not represent 3-manifolds at all .
This observation can be framed in terms of generic complexity , where we are allowed to ignore a vanishingly small population of pathological inputs. In this context, Conjecture ? states that generic triangulations of or of closed prime orientable 3-manifolds can be simplified in a single move. An interesting direction for future research is to build a 3-sphere recognition algorithm based on Pachner moves that runs in polynomial time for generic inputs.
We return now to worst case path length for 3-sphere triangulations. Again, we observe from Figure 9 that the worst-case bound barely changes at all for : there is just one increment, which is of the smallest possible size (recalling that must always be odd). This is in contrast to the case of arbitrary closed prime orientable manifolds, where the worst-case path length grows with , and does so at a clearly accelerating rate.
This slow rate of growth for has direct implications for the complexity of 3-sphere recognition:
From any -tetrahedron triangulation there are at most possible 2-3 or 3-2 moves (one for each face or edge of ). We can therefore enumerate all possible sequences of moves in time, where is a small polynomial term that accounts for the mechanics of performing each 2-3 or 3-2 move. Setting and observing that , we find that if can be simplified, this can be done in time.
Repeating this operation times, we can either simplify to a known 2-tetrahedron triangulation of , or else show this to be impossible. The total running time is
Since , this running time is for any .
Although there is too little data to predict the precise growth rate of (a situation that Theorem ? shows is extremely difficult to rectify), it is certainly plausible to suggest from Figure 9 that is “sufficiently sublinear” to satisfy . This leads us to the following conjecture:
If this conjecture could be proven, the resulting sub-exponential time 3-sphere recognition algorithm would be a significant breakthrough in algorithmic 3-manifold topology.
The author is grateful to the Australian Research Council for their support under the Discovery Projects funding scheme (projects DP1094516 and DP110101104). Computational resources used in this work were provided by the Queensland Cyber Infrastructure Foundation and the Victorian Partnership for Advanced Computing.
Appendix: Isomorphism signatures
In Section 3.2 we describe isomorphism signatures, which are small pieces of data that uniquely define the isomorphism class of a triangulation, and that can be computed in small polynomial time. Recall that to compute an isomorphism signature, we must:
enumerate all canonical labellings of the input triangulation;
encode the full set of face gluings for each canonical labelling;
choose the lexicographically smallest encoding amongst all canonical labellings.
In this appendix we specify the encoding used in step (ii). For the theoretical arguments in Section 3.2, it is sufficient to use a simple bit sequence that encodes the complete table of face gluings. In practice however, we use a more compact method:
we do not encode redundant information from the face gluings table;
we use printable characters (letters, digits and punctuation) instead of plain bits.
In this way, the encoding is kept short but remains easy to write or type by hand. This is useful in both papers and software: authors can describe triangulations precisely without presenting large tables of face gluings (as seen in Section 5 of this paper), and readers can reconstruct these triangulations quickly using the appropriate software.
The precise encoding described here is implemented in version 4.90 of the freely-available software package Regina . This encoding method is defined not only for closed triangulations (as described in this paper), but also for triangulations with boundary (where some tetrahedron faces are not glued to any partner face) and ideal triangulations (where some vertex neighbourhoods are not bounded by spheres). The encoding draws upon and extends ideas from the dehydration format of Callahan et al. .
A key piece of the encoding process is to translate integers into printable characters. We describe two methods: one for “small” integers in the range , and one for “large” integers in the range .
For small integers, we use the following translation table from to printable characters. This is similar to, but not the same as, a typical Base64 encoding table.
To encode large integers we use printable characters, where . Specifically: for any integer , we write as a -digit number in base 64, and then use to encode the individual digits as described above, beginning with the least significant digit. We denote the resulting string of characters by .
For example, suppose that and we wish to encode the integer . This encoding uses characters. Since , the two base 64 “digits” of are . The final encoding is then .
If , we may need to pad the base 64 representation of with leading zeroes. For instance, if and we wish to encode , the two base 64 “digits” are , and the final encoding is .
Encoding face gluings
Here we identify the information required to reconstruct the full table of face gluings for a canonical labelling. Such a table can be seen in Table 2 (from Section 3.2), which we use as an example throughout this discussion.
We begin by removing redundant information from the gluings table. Suppose that face of tetrahedron is glued to face of tetrahedron . If lexicographically
|Vertices 123||Vertices 023||Vertices 013||Vertices 012|
|Tet. 0||Tet. 0:120||Tet. 1:023||Tet. 2:013|
|Tet. 1||Tet. 2:230||Tet. 1:012|
|Tet. 2||Tet. 2:012|
To reconstruct the table cells that remain, we extract the following information:
As in Section 3.2, let denote the tetrahedron glued to face of tetrahedron , so that for all and . Here we use the special symbol to indicate that face of tetrahedron is a boundary face, i.e., it is not glued to any partner tetrahedron face at all. The destination sequence is obtained by writing out , and then deleting any entries that correspond to deleted table cells .
For our example in Table 4, the corresponding destination sequence is .
For each term in the destination sequence, we classify the corresponding tetrahedron face as one of the following three types:
: This indicates that the face is a boundary face, i.e., .
: This indicates that the face is joined to a new tetrahedron. That is, where (i) , and (ii) the term is the first time that appears in the destination sequence.
: This indicates that the face is joined to an old tetrahedron. That is, either , or else but there is some other term that appears in the destination sequence earlier than .
We obtain the type sequence by writing out the corresponding face type for each term in the destination sequence.
For our example, the type sequence is . The two ’1’s in this sequence correspond to the first appearances of tetrahedra 1 and 2, in cells and respectively of the face gluings table.
For each non-boundary tetrahedron face that is glued to some partner face , we identify the corresponding gluing permutation . This is the permutation for which , and each vertex of tetrahedron maps to vertex of tetrahedron under this face gluing.
We can represent each permutation in by a number: simply order them lexicographically and number them . The identity becomes 0, the permutation