Showing 1–50 of 55 results for author: Burton, B A

Effective Computation of the Heegaard Genus of 3-Manifolds

Authors: Benjamin A. Burton, Finn Thompson

Abstract: The Heegaard genus is a fundamental invariant of 3-manifolds. However, computing the Heegaard genus of a triangulated 3-manifold is NP-hard, and while algorithms exist, little work has been done in making such an algorithm efficient and practical for implementation. Current algorithms use almost normal surfaces, which are an extension of the algorithm-friendly normal surface theory but which add c… ▽ More The Heegaard genus is a fundamental invariant of 3-manifolds. However, computing the Heegaard genus of a triangulated 3-manifold is NP-hard, and while algorithms exist, little work has been done in making such an algorithm efficient and practical for implementation. Current algorithms use almost normal surfaces, which are an extension of the algorithm-friendly normal surface theory but which add considerable complexity for both running time and implementation. Here we take a different approach: instead of working with almost normal surfaces, we give a general method of modifying the input triangulation that allows us to avoid almost normal surfaces entirely. The cost is just four new tetrahedra, and the benefit is that important surfaces that were once almost normal can be moved to the simpler setting of normal surfaces in the new triangulation. We apply this technique to the computation of Heegaard genus, where we develop algorithms and heuristics that prove successful in practice when applied to a data set of 3,000 closed hyperbolic 3-manifolds; we precisely determine the genus for at least 2,705 of these. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 19 pages, 13 figures. Full version of a paper to appear in a shorter form in the 40th International Symposium on Computational Geometry (SoCG 2024)

Crushing Surfaces of Positive Genus

Authors: Benjamin A. Burton, Thiago de Paiva, Alexander He, Connie On Yu Hui

Abstract: The operation of crushing a normal surface has proven to be a powerful tool in computational $3$-manifold topology, with applications both to triangulation complexity and to algorithms. The main difficulty with crushing is that it can drastically change the topology of a triangulation, so applications to date have been limited to relatively simple surfaces: $2$-spheres, discs, annuli, and closed b… ▽ More The operation of crushing a normal surface has proven to be a powerful tool in computational $3$-manifold topology, with applications both to triangulation complexity and to algorithms. The main difficulty with crushing is that it can drastically change the topology of a triangulation, so applications to date have been limited to relatively simple surfaces: $2$-spheres, discs, annuli, and closed boundary-parallel surfaces. We give the first detailed analysis of the topological effects of crushing closed essential surfaces of positive genus. To showcase the utility of this new analysis, we use it to prove some results about how triangulation complexity interacts with JSJ decompositions and satellite knots; although similar applications can also be obtained using techniques of Matveev, our approach has the advantage that it avoids the machinery of almost simple spines and handle decompositions. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 42 pages, 50 figures

MSC Class: 57K30; 57Q15

Finding large counterexamples by selectively exploring the Pachner graph

Authors: Benjamin A. Burton, Alexander He

Abstract: We often rely on censuses of triangulations to guide our intuition in $3$-manifold topology. However, this can lead to misplaced faith in conjectures if the smallest counterexamples are too large to appear in our census. Since the number of triangulations increases super-exponentially with size, there is no way to expand a census beyond relatively small triangulations; the current census only goes… ▽ More We often rely on censuses of triangulations to guide our intuition in $3$-manifold topology. However, this can lead to misplaced faith in conjectures if the smallest counterexamples are too large to appear in our census. Since the number of triangulations increases super-exponentially with size, there is no way to expand a census beyond relatively small triangulations; the current census only goes up to $10$ tetrahedra. Here, we show that it is feasible to search for large and hard-to-find counterexamples by using heuristics to selectively (rather than exhaustively) enumerate triangulations. We use this idea to find counterexamples to three conjectures which ask, for certain $3$-manifolds, whether one-vertex triangulations always have a "distinctive" edge that would allow us to recognise the $3$-manifold. △ Less

Submitted 6 March, 2024; v1 submitted 11 March, 2023; originally announced March 2023.

Comments: 37 pages, 28 figures. A short version appeared in the proceedings for SoCG 2023; this full version contains some new results that do not appear in the SoCG version. v2: Minor corrections in sections 3.1 and 3.2, and updates to exposition

Journal ref: 39th International Symposium on Computational Geometry (SoCG 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 258, pp. 21:1-21:16, 2023

Arc diagrams on 3-manifold spines

Authors: Jack Brand, Benjamin A. Burton, Zsuzsanna Dancso, Alexander He, Adele Jackson, Joan Licata

Abstract: We develop a theory of link projections to trivalent spines of 3-manifolds. We prove a Reidemeister Theorem providing a set of combinatorial moves sufficient to relate the projections of isotopic links. We also show that any link admits a crossingless projection to any special spine and we refine our theorem to provide a set of combinatorial moves sufficient to relate crossingless diagrams. Finall… ▽ More We develop a theory of link projections to trivalent spines of 3-manifolds. We prove a Reidemeister Theorem providing a set of combinatorial moves sufficient to relate the projections of isotopic links. We also show that any link admits a crossingless projection to any special spine and we refine our theorem to provide a set of combinatorial moves sufficient to relate crossingless diagrams. Finally, we discuss the connection to Turaev's shadow world, interpreting our result as a statement about shadow equivalence of a class of 4-manifolds. △ Less

Submitted 13 June, 2023; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: 17 pages, 18 figures. v2: Extended references, added some questions and remarks, acknowledgements, and minor clarifications. v3: Minor correction in Lemma 2.3

MSC Class: 57K10; 57M15

Journal ref: Discrete Comput. Geom. 71, 1190-1209 (2024)

Hard Diagrams of the Unknot

Authors: Benjamin A. Burton, Hsien-Chih Chang, Maarten Löffler, Arnaud de Mesmay, Clément Maria, Saul Schleimer, Eric Sedgwick, Jonathan Spreer

Abstract: We present three "hard" diagrams of the unknot. They require (at least) three extra crossings before they can be simplified to the trivial unknot diagram via Reidemeister moves in $\mathbb{S}^2$. Both examples are constructed by applying previously proposed methods. The proof of their hardness uses significant computational resources. We also determine that no small "standard" example of a hard un… ▽ More We present three "hard" diagrams of the unknot. They require (at least) three extra crossings before they can be simplified to the trivial unknot diagram via Reidemeister moves in $\mathbb{S}^2$. Both examples are constructed by applying previously proposed methods. The proof of their hardness uses significant computational resources. We also determine that no small "standard" example of a hard unknot diagram requires more than one extra crossing for Reidemeister moves in $\mathbb{S}^2$. △ Less

Submitted 28 April, 2021; originally announced April 2021.

Comments: 11 pages + appendix, 7 figures

MSC Class: 57K10; 05C12

Connecting 3-manifold triangulations with monotonic sequences of elementary moves

Authors: Benjamin A. Burton, Alexander He

Abstract: A key result in computational 3-manifold topology is that any two triangulations of the same 3-manifold are connected by a finite sequence of bistellar flips, also known as Pachner moves. One limitation of this result is that little is known about the structure of this sequence; knowing more about the structure could help both proofs and algorithms. Motivated by this, we consider sequences of move… ▽ More A key result in computational 3-manifold topology is that any two triangulations of the same 3-manifold are connected by a finite sequence of bistellar flips, also known as Pachner moves. One limitation of this result is that little is known about the structure of this sequence; knowing more about the structure could help both proofs and algorithms. Motivated by this, we consider sequences of moves that are "monotonic" in the sense that they break up into two parts: first, a sequence that monotonically increases the size of the triangulation; and second, a sequence that monotonically decreases the size. We prove that any two one-vertex triangulations of the same 3-manifold, each with at least two tetrahedra, are connected by a monotonic sequence of 2-3 and 2-0 moves. We also study the practical utility of monotonic sequences; specifically, we implement an algorithm to find such sequences, and use this algorithm to perform some detailed computational experiments. △ Less

Submitted 13 June, 2024; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: 20 pages, 19 figures. v2: Substantial improvements to the exposition

On the hardness of finding normal surfaces

Authors: Benjamin A. Burton, Alexander He

Abstract: For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms for these problems is normal surface theory. However, we currently have a poor understanding of the computational complexity of problems in normal surface theory… ▽ More For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms for these problems is normal surface theory. However, we currently have a poor understanding of the computational complexity of problems in normal surface theory: many such problems are still not known to have polynomial-time algorithms, yet proofs of $\mathrm{NP}$-hardness also remain scarce. We give three results that provide some insight on this front. A number of modern normal surface theoretic algorithms depend critically on the operation of finding a non-trivial normal sphere or disc in a $3$-dimensional triangulation. We formulate an abstract problem that captures the algebraic and combinatorial aspects of this operation, and show that this abstract problem is $\mathrm{NP}$-complete. Assuming $\mathrm{P}\neq\mathrm{NP}$, this result suggests that any polynomial-time procedure for finding a non-trivial normal sphere or disc will need to exploit some geometric or topological intuition. Another key operation, which applies to a much wider range of topological problems, involves finding a vertex normal surface of a certain type. We study two closely-related problems that can be solved using this operation. For one of these problems, we give a simple alternative solution that runs in polynomial time; for the other, we prove $\mathrm{NP}$-completeness. △ Less

Submitted 31 July, 2021; v1 submitted 19 December, 2019; originally announced December 2019.

Comments: 29 pages, 17 figures; v2: the results are the same except for a slight strengthening of Theorem 18, the exposition has changed significantly; v3: strengthened Theorem 8, improved exposition

Journal ref: J. Appl. Comput. Topol. 5 (2021) 583-619

Computing closed essential surfaces in 3-manifolds

Authors: Benjamin A. Burton, Stephan Tillmann

Abstract: We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to its practicality, we run the algorithm over a comprehensive body of closed 3-manifolds and knot exteriors, yielding results that were not previously known. The… ▽ More We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to its practicality, we run the algorithm over a comprehensive body of closed 3-manifolds and knot exteriors, yielding results that were not previously known. The algorithm derives from the original Jaco-Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. Our methods are relevant for other difficult computational problems in 3-manifold theory, such as the recognition problem for knots, links and 3-manifolds. △ Less

Submitted 30 December, 2018; originally announced December 2018.

Comments: 25 pages, 15 figures; journal version of the conference paper arXiv:1212.1531

MSC Class: 57M25; 57N10

The HOMFLY-PT polynomial is fixed-parameter tractable

Authors: Benjamin A. Burton

Abstract: Many polynomial invariants of knots and links, including the Jones and HOMFLY-PT polynomials, are widely used in practice but #P-hard to compute. It was shown by Makowsky in 2001 that computing the Jones polynomial is fixed-parameter tractable in the treewidth of the link diagram, but the parameterised complexity of the more powerful HOMFLY-PT polynomial remained an open problem. Here we show that… ▽ More Many polynomial invariants of knots and links, including the Jones and HOMFLY-PT polynomials, are widely used in practice but #P-hard to compute. It was shown by Makowsky in 2001 that computing the Jones polynomial is fixed-parameter tractable in the treewidth of the link diagram, but the parameterised complexity of the more powerful HOMFLY-PT polynomial remained an open problem. Here we show that computing HOMFLY-PT is fixed-parameter tractable in the treewidth, and we give the first sub-exponential time algorithm to compute it for arbitrary links. △ Less

Submitted 15 December, 2017; originally announced December 2017.

Comments: 15 pages, 4 figures

The Pachner graph of 2-spheres

Authors: Benjamin A. Burton, Basudeb Datta, Jonathan Spreer

Abstract: It is well-known that the Pachner graph of $n$-vertex triangulated $2$-spheres is connected, i.e., each pair of $n$-vertex triangulated $2$-spheres can be turned into each other by a sequence of edge flips for each $n\geq 4$. In this article, we study various induced subgraphs of this graph. In particular, we prove that the subgraph of $n$-vertex flag $2$-spheres distinct from the double cone is s… ▽ More It is well-known that the Pachner graph of $n$-vertex triangulated $2$-spheres is connected, i.e., each pair of $n$-vertex triangulated $2$-spheres can be turned into each other by a sequence of edge flips for each $n\geq 4$. In this article, we study various induced subgraphs of this graph. In particular, we prove that the subgraph of $n$-vertex flag $2$-spheres distinct from the double cone is still connected. In contrast, we show that the subgraph of $n$-vertex stacked $2$-spheres has at least as many connected components as there are trees on $\lfloor\frac{n-5}{3}\rfloor$ nodes with maximum node-degree at most four. △ Less

Submitted 10 October, 2018; v1 submitted 18 January, 2017; originally announced January 2017.

Comments: 23 pages, 18 figures, 1 table

MSC Class: 57Q15; 57M20; 05C10

Finding non-orientable surfaces in 3-manifolds

Authors: Benjamin A. Burton, Arnaud de Mesmay, Uli Wagner

Abstract: We investigate the complexity of finding an embedded non-orientable surface of Euler genus $g$ in a triangulated $3$-manifold. This problem occurs both as a natural question in low-dimensional topology, and as a first non-trivial instance of embeddability of complexes into $3$-manifolds. We prove that the problem is NP-hard, thus adding to the relatively few hardness results that are currently k… ▽ More We investigate the complexity of finding an embedded non-orientable surface of Euler genus $g$ in a triangulated $3$-manifold. This problem occurs both as a natural question in low-dimensional topology, and as a first non-trivial instance of embeddability of complexes into $3$-manifolds. We prove that the problem is NP-hard, thus adding to the relatively few hardness results that are currently known in 3-manifold topology. In addition, we show that the problem lies in NP when the Euler genus g is odd, and we give an explicit algorithm in this case. △ Less

Submitted 1 September, 2016; v1 submitted 25 February, 2016; originally announced February 2016.

Comments: v2: minor changes

MSC Class: 68U05; 57M50; 68Q25 ACM Class: F.2.2

A construction principle for tight and minimal triangulations of manifolds

Authors: Benjamin A. Burton, Basudeb Datta, Nitin Singh, Jonathan Spreer

Abstract: Tight triangulations are exotic, but highly regular objects in combinatorial topology. A triangulation is tight if all its piecewise linear embeddings into a Euclidean space are as convex as allowed by the topology of the underlying manifold. Tight triangulations are conjectured to be strongly minimal, and proven to be so for dimensions $\leq 3$. However, in spite of substantial theoretical result… ▽ More Tight triangulations are exotic, but highly regular objects in combinatorial topology. A triangulation is tight if all its piecewise linear embeddings into a Euclidean space are as convex as allowed by the topology of the underlying manifold. Tight triangulations are conjectured to be strongly minimal, and proven to be so for dimensions $\leq 3$. However, in spite of substantial theoretical results about such triangulations, there are precious few examples. In fact, apart from dimension two, we do not know if there are infinitely many of them in any given dimension. In this paper, we present a computer-friendly combinatorial scheme to obtain tight triangulations, and present new examples in dimensions three, four and five. Furthermore, we describe a family of tight triangulated $d$-manifolds, with $2^{d-1} \lfloor d / 2 \rfloor ! \lfloor (d-1) / 2 \rfloor !$ isomorphically distinct members for each dimension $d \geq 2$. While we still do not know if there are infinitely many tight triangulations in a fixed dimension $d > 2$, this result shows that there are abundantly many. △ Less

Submitted 11 July, 2016; v1 submitted 13 November, 2015; originally announced November 2015.

Comments: 22 pages, 3 figures, 3 tables, 13 page appendix with examples of tight triangulations available as ancillary file. New introduction, added proof of homeomorphism type of the examples, outsourced appendix

MSC Class: 57Q15; 57R05

Journal ref: Exp. Math. , vol. 27, 22-36, 2018

Algorithms and complexity for Turaev-Viro invariants

Authors: Benjamin A. Burton, Clément Maria, Jonathan Spreer

Abstract: The Turaev-Viro invariants are a powerful family of topological invariants for distinguishing between different 3-manifolds. They are invaluable for mathematical software, but current algorithms to compute them require exponential time. The invariants are parameterised by an integer $r \geq 3$. We resolve the question of complexity for $r=3$ and $r=4$, giving simple proofs that computing Turaev-… ▽ More The Turaev-Viro invariants are a powerful family of topological invariants for distinguishing between different 3-manifolds. They are invaluable for mathematical software, but current algorithms to compute them require exponential time. The invariants are parameterised by an integer $r \geq 3$. We resolve the question of complexity for $r=3$ and $r=4$, giving simple proofs that computing Turaev-Viro invariants for $r=3$ is polynomial time, but for $r=4$ is \#P-hard. Moreover, we give an explicit fixed-parameter tractable algorithm for arbitrary $r$, and show through concrete implementation and experimentation that this algorithm is practical---and indeed preferable---to the prior state of the art for real computation. △ Less

Submitted 13 March, 2015; originally announced March 2015.

Comments: 17 pages, 5 figures

MSC Class: 57M27; 57Q15; 68Q17 ACM Class: F.2.2; G.2.1; G.4

Journal ref: Journal of Applied and Computational Topology, 2018

On the Complexity of Immersed Normal Surfaces

Authors: Benjamin A. Burton, Éric Colin de Verdière, Arnaud de Mesmay

Abstract: Normal surface theory, a tool to represent surfaces in a triangulated 3-manifold combinatorially, is ubiquitous in computational 3-manifold theory. In this paper, we investigate a relaxed notion of normal surfaces where we remove the quadrilateral conditions. This yields normal surfaces that are no longer embedded. We prove that it is NP-hard to decide whether such a surface is immersed. Our proof… ▽ More Normal surface theory, a tool to represent surfaces in a triangulated 3-manifold combinatorially, is ubiquitous in computational 3-manifold theory. In this paper, we investigate a relaxed notion of normal surfaces where we remove the quadrilateral conditions. This yields normal surfaces that are no longer embedded. We prove that it is NP-hard to decide whether such a surface is immersed. Our proof uses a reduction from Boolean constraint satisfaction problems where every variable appears in at most two clauses, using a classification theorem of Feder. We also investigate variants, and provide a polynomial-time algorithm to test for a local version of this problem. △ Less

Submitted 16 December, 2014; originally announced December 2014.

Comments: 17 pages, under journal submission

MSC Class: 68U05; 57M50; 68Q25

Journal ref: Geom. Topol. 20 (2016) 1061-1083

An edge-based framework for enumerating 3-manifold triangulations

Authors: Benjamin A. Burton, William Pettersson

Abstract: A typical census of 3-manifolds contains all manifolds (under various constraints) that can be triangulated with at most n tetrahedra. Al- though censuses are useful resources for mathematicians, constructing them is difficult: the best algorithms to date have not gone beyond n = 12. The underlying algorithms essentially (i) enumerate all relevant 4-regular multigraphs on n nodes, and then (ii) fo… ▽ More A typical census of 3-manifolds contains all manifolds (under various constraints) that can be triangulated with at most n tetrahedra. Al- though censuses are useful resources for mathematicians, constructing them is difficult: the best algorithms to date have not gone beyond n = 12. The underlying algorithms essentially (i) enumerate all relevant 4-regular multigraphs on n nodes, and then (ii) for each multigraph G they enumerate possible 3-manifold triangulations with G as their dual 1-skeleton, of which there could be exponentially many. In practice, a small number of multigraphs often dominate the running times of census algorithms: for example, in a typical census on 10 tetrahedra, almost half of the running time is spent on just 0.3% of the graphs. Here we present a new algorithm for stage (ii), which is the computational bottleneck in this process. The key idea is to build triangulations by recursively constructing neighbourhoods of edges, in contrast to traditional algorithms which recursively glue together pairs of tetrahedron faces. We implement this algorithm, and find experimentally that whilst the overall performance is mixed, the new algorithm runs significantly faster on those "pathological" multigraphs for which existing methods are extremely slow. In this way the old and new algorithms complement one another, and together can yield significant performance improvements over either method alone. △ Less

Submitted 5 December, 2014; originally announced December 2014.

Comments: 29 pages, 19 figures

ACM Class: F.2.2; G.2.2; G.4

Efficient algorithms to decide tightness

Authors: Bhaskar Bagchi, Benjamin A. Burton, Basudeb Datta, Nitin Singh, Jonathan Spreer

Abstract: Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time algorithm, but efficient methods to decide tightness are only known in the trivial setting of triangulated surfaces. In this article, we present a new polynom… ▽ More Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time algorithm, but efficient methods to decide tightness are only known in the trivial setting of triangulated surfaces. In this article, we present a new polynomial time procedure to decide tightness for triangulations of $3$-manifolds -- a problem which previously was thought to be hard. Furthermore, we describe an algorithm to decide general tightness in the case of $4$-dimensional combinatorial manifolds which is fixed parameter tractable in the treewidth of the $1$-skeletons of their vertex links, and we present an algorithm to decide $\mathbb{F}_2$-tightness for weak pseudomanifolds $M$ of arbitrary but fixed dimension which is fixed parameter tractable in the treewidth of the dual graph of $M$. △ Less

Submitted 3 December, 2014; originally announced December 2014.

Comments: 18 pages, 3 figures

ACM Class: F.2.2; G.2.1

Journal ref: 32nd International Symposium on Computational Geometry (SoCG 2016), Leibniz International Proceedings in Informatics (LIPICS), vol. 51, 12:1-12:15, 2016

2-manifold recognition is in logspace

Authors: Benjamin A. Burton, Murray Elder, Arkadius Kalka, Stephan Tillmann

Abstract: We prove that the homeomorphism problem for 2-manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs. We prove that the homeomorphism problem for 2-manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Comments: 11 pages, 2 figures

MSC Class: 57M99; 68Q15 ACM Class: F.2.2; F.1.3

Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto

Authors: Jonathan Spreer, Uli Wagner, Benjamin A. Burton, Satoshi Murai, Eric Sedgwick, Henry Segerman

Abstract: This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan. It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology com… ▽ More This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan. It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology community. Triangulations are highly suitable for computations due to their clear combinatorial structure. As a consequence, they have been successfully employed in discrete algorithms to solve purely theoretical problems in a broad variety of mathematical research areas (knot theory, polytope theory, 2- and 3-manifold topology, geometry, and others). However, due to the large variety of applications, requirements vary from field to field and thus different types of triangulations, different tools, and different frameworks are used in different areas of research. This is why today closely related research areas are sometimes largely disjoint leaving potential reciprocal benefits unused. To address these potentials a workshop on Triangulations was held at Oberwolfach Research Institute in 2012. Since then many new collaborations between researchers of different mathematical communities have been established. Regarding the computational geometry community, the theory of manifolds continues to contribute to advances in more applied areas of the field. Many researchers are interested in fundamental mathematical research about triangulations and thus will benefit from a broad set of knowledge about different research areas using different techniques. We hope that this workshop brought together researchers from many different fields of computational geometry to have fruitful discussions which will lead to new interdisciplinary collaborations and solutions. △ Less

Submitted 2 June, 2014; originally announced June 2014.

Comments: 4 x 6 page extended abstracts. The workshop was held as part of CG-Week 2014 at Kyoto University. June 10th, 2014

MSC Class: 57M50; 57N35; 57Q35; 57N10; 57Q15; 68Q17; 68U05; 52B05; ACM Class: F.1.3; F.4.1; G.2.1; G.2.2; I.3.5

The cusped hyperbolic census is complete

Authors: Benjamin A. Burton

Abstract: From its creation in 1989 through subsequent extensions, the widely-used "SnapPea census" now aims to represent all cusped finite-volume hyperbolic 3-manifolds that can be obtained from <= 8 ideal tetrahedra. Its construction, however, has relied on inexact computations and some unproven (though reasonable) assumptions, and so its completeness was never guaranteed. For the first time, we prove her… ▽ More From its creation in 1989 through subsequent extensions, the widely-used "SnapPea census" now aims to represent all cusped finite-volume hyperbolic 3-manifolds that can be obtained from <= 8 ideal tetrahedra. Its construction, however, has relied on inexact computations and some unproven (though reasonable) assumptions, and so its completeness was never guaranteed. For the first time, we prove here that the census meets its aim: we rigorously certify that every ideal 3-manifold triangulation with <= 8 tetrahedra is either (i) homeomorphic to one of the census manifolds, or (ii) non-hyperbolic. In addition, we extend the census to 9 tetrahedra, and likewise prove this to be complete. We also present the first list of all minimal triangulations of all census manifolds, including non-geometric as well as geometric triangulations. △ Less

Submitted 12 May, 2014; originally announced May 2014.

Comments: 32 pages, 17 figures, 3 tables

Separation index of graphs and stacked 2-spheres

Authors: Benjamin A. Burton, Basudeb Datta, Nitin Singh, Jonathan Spreer

Abstract: In 1987, Kalai proved that stacked spheres of dimension $d\geq 3$ are characterised by the fact that they attain equality in Barnette's celebrated Lower Bound Theorem. This result does not extend to dimension $d=2$. In this article, we give a characterisation of stacked $2$-spheres using what we call the {\em separation index}. Namely, we show that the separation index of a triangulated $2$-sphere… ▽ More In 1987, Kalai proved that stacked spheres of dimension $d\geq 3$ are characterised by the fact that they attain equality in Barnette's celebrated Lower Bound Theorem. This result does not extend to dimension $d=2$. In this article, we give a characterisation of stacked $2$-spheres using what we call the {\em separation index}. Namely, we show that the separation index of a triangulated $2$-sphere is maximal if and only if it is stacked. In addition, we prove that, amongst all $n$-vertex triangulated $2$-spheres, the separation index is {\em minimised} by some $n$-vertex flag sphere for $n\geq 6$. Furthermore, we apply this characterisation of stacked $2$-spheres to settle the outstanding $3$-dimensional case of the Lutz-Sulanke-Swartz conjecture that "tight-neighbourly triangulated manifolds are tight". For dimension $d\geq 4$, the conjecture has already been proved by Effenberger following a result of Novik and Swartz. △ Less

Submitted 10 July, 2015; v1 submitted 24 March, 2014; originally announced March 2014.

Comments: Some typos corrected, to appear in "Journal of Combinatorial Theory A"

MSC Class: 57Q15; 57M20; 05C40

Journal ref: J. Combin. Theory Ser. A, 136:184-197, 2015

Courcelle's theorem for triangulations

Authors: Benjamin A. Burton, Rodney G. Downey

Abstract: In graph theory, Courcelle's theorem essentially states that, if an algorithmic problem can be formulated in monadic second-order logic, then it can be solved in linear time for graphs of bounded treewidth. We prove such a metatheorem for a general class of triangulations of arbitrary fixed dimension d, including all triangulated d-manifolds: if an algorithmic problem can be expressed in monadic s… ▽ More In graph theory, Courcelle's theorem essentially states that, if an algorithmic problem can be formulated in monadic second-order logic, then it can be solved in linear time for graphs of bounded treewidth. We prove such a metatheorem for a general class of triangulations of arbitrary fixed dimension d, including all triangulated d-manifolds: if an algorithmic problem can be expressed in monadic second-order logic, then it can be solved in linear time for triangulations whose dual graphs have bounded treewidth. We apply our results to 3-manifold topology, a setting with many difficult computational problems but very few parameterised complexity results, and where treewidth has practical relevance as a parameter. Using our metatheorem, we recover and generalise earlier fixed-parameter tractability results on taut angle structures and discrete Morse theory respectively, and prove a new fixed-parameter tractability result for computing the powerful but complex Turaev-Viro invariants on 3-manifolds. △ Less

Submitted 12 March, 2014; originally announced March 2014.

Comments: 24 pages, 7 figures

Computationally proving triangulated 4-manifolds to be diffeomorphic

Authors: Benjamin A. Burton, Jonathan Spreer

Abstract: We present new computational methods for proving diffeomorphy of triangulated 4-manifolds, including algorithms and topological software that can for the first time effectively handle the complexities that arise in dimension four and be used for large scale experiments. We present new computational methods for proving diffeomorphy of triangulated 4-manifolds, including algorithms and topological software that can for the first time effectively handle the complexities that arise in dimension four and be used for large scale experiments. △ Less

Submitted 11 March, 2014; originally announced March 2014.

Comments: 4 pages, presented at the Young Researchers Forum at SCG 2013

MSC Class: 57Q25; 57Q15; 14J28; 68T20

Journal ref: 29th ACM Symposium on Computational Geometry, Young Researchers Forum, Collections of abstracts, pages 15-16, 2013

Fixed parameter tractable algorithms in combinatorial topology

Authors: Benjamin A. Burton, William Pettersson

Abstract: To enumerate 3-manifold triangulations with a given property, one typically begins with a set of potential face pairing graphs (also known as dual 1-skeletons), and then attempts to flesh each graph out into full triangulations using an exponential-time enumeration. However, asymptotically most graphs do not result in any 3-manifold triangulation, which leads to significant "wasted time" in topolo… ▽ More To enumerate 3-manifold triangulations with a given property, one typically begins with a set of potential face pairing graphs (also known as dual 1-skeletons), and then attempts to flesh each graph out into full triangulations using an exponential-time enumeration. However, asymptotically most graphs do not result in any 3-manifold triangulation, which leads to significant "wasted time" in topological enumeration algorithms. Here we give a new algorithm to determine whether a given face pairing graph supports any 3-manifold triangulation, and show this to be fixed parameter tractable in the treewidth of the graph. We extend this result to a "meta-theorem" by defining a broad class of properties of triangulations, each with a corresponding fixed parameter tractable existence algorithm. We explicitly implement this algorithm in the most generic setting, and we identify heuristics that in practice are seen to mitigate the large constants that so often occur in parameterised complexity, highlighting the practicality of our techniques. △ Less

Submitted 4 May, 2014; v1 submitted 16 February, 2014; originally announced February 2014.

Comments: 16 pages, 9 figures

MSC Class: 57N10 (Primary) 57Q15; 68W05 (Secondary)

Journal ref: Lecture Notes in Computer Science, vol. 8591, 2014, pp. 300-311

A duplicate pair in the SnapPea census

Authors: Benjamin A. Burton

Abstract: We identify a duplicate pair in the well-known Callahan-Hildebrand-Weeks census of cusped finite-volume hyperbolic 3-manifolds. Specifically, the six-tetrahedron non-orientable manifolds x101 and x103 are homeomorphic. We identify a duplicate pair in the well-known Callahan-Hildebrand-Weeks census of cusped finite-volume hyperbolic 3-manifolds. Specifically, the six-tetrahedron non-orientable manifolds x101 and x103 are homeomorphic. △ Less

Submitted 18 February, 2014; v1 submitted 29 November, 2013; originally announced November 2013.

Comments: 5 pages, 3 figures; v2: minor edits. To appear in Experimental Mathematics

Journal ref: Experimental Mathematics 23 (2014), no. 2, 170-173

Parameterized Complexity of Discrete Morse Theory

Authors: Benjamin A. Burton, Thomas Lewiner, João Paixão, Jonathan Spreer

Abstract: Optimal Morse matchings reveal essential structures of cell complexes which lead to powerful tools to study discrete geometrical objects, in particular discrete 3-manifolds. However, such matchings are known to be NP-hard to compute on 3-manifolds, through a reduction to the erasability problem. Here, we refine the study of the complexity of problems related to discrete Morse theory in terms of… ▽ More Optimal Morse matchings reveal essential structures of cell complexes which lead to powerful tools to study discrete geometrical objects, in particular discrete 3-manifolds. However, such matchings are known to be NP-hard to compute on 3-manifolds, through a reduction to the erasability problem. Here, we refine the study of the complexity of problems related to discrete Morse theory in terms of parameterized complexity. On the one hand we prove that the erasability problem is W[P]-complete on the natural parameter. On the other hand we propose an algorithm for computing optimal Morse matchings on triangulations of 3-manifolds which is fixed-parameter tractable in the treewidth of the bipartite graph representing the adjacency of the 1- and 2-simplexes. This algorithm also shows fixed parameter tractability for problems such as erasability and maximum alternating cycle-free matching. We further show that these results are also true when the treewidth of the dual graph of the triangulated 3-manifold is bounded. Finally, we investigate the respective treewidths of simplicial and generalized triangulations of 3-manifolds. △ Less

Submitted 28 March, 2013; originally announced March 2013.

Comments: To appear in Proceedings of the Twenty-Ninth Annual Symposium on Computational Geometry (SoCG). 25 pages, 8 figures, 2 tables

MSC Class: 68Q17; 68Q15; 57Q15; 58E05; 68R01

Journal ref: ACM Trans. Math. Softw., 42(1):24 pages, 2016

Computing closed essential surfaces in knot complements

Authors: Benjamin A. Burton, Alexander Coward, Stephan Tillmann

Abstract: We present a new, practical algorithm to test whether a knot complement contains a closed essential surface. This property has important theoretical and algorithmic consequences; however, systematically testing it has until now been infeasibly slow, and current techniques only apply to specific families of knots. As a testament to its practicality, we run the algorithm over a comprehensive body of… ▽ More We present a new, practical algorithm to test whether a knot complement contains a closed essential surface. This property has important theoretical and algorithmic consequences; however, systematically testing it has until now been infeasibly slow, and current techniques only apply to specific families of knots. As a testament to its practicality, we run the algorithm over a comprehensive body of 2979 knots, including the two 20-crossing dodecahedral knots, yielding results that were not previously known. The algorithm derives from the original Jaco-Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. This represents substantial progress in the practical implementation of normal surface theory, in that we can systematically solve a theoretically double exponential-time problem for significant inputs. Our methods are relevant for other difficult computational problems in 3-manifold theory, ranging from testing for Haken-ness to the recognition problem for knots, links and 3-manifolds. △ Less

Submitted 7 December, 2012; originally announced December 2012.

Comments: 27 pages, 11 figures

Journal ref: SCG '13: Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 405-414

A new approach to crushing 3-manifold triangulations

Authors: Benjamin A. Burton

Abstract: The crushing operation of Jaco and Rubinstein is a powerful technique in algorithmic 3-manifold topology: it enabled the first practical implementations of 3-sphere recognition and prime decomposition of orientable manifolds, and it plays a prominent role in state-of-the-art algorithms for unknot recognition and testing for essential surfaces. Although the crushing operation will always reduce the… ▽ More The crushing operation of Jaco and Rubinstein is a powerful technique in algorithmic 3-manifold topology: it enabled the first practical implementations of 3-sphere recognition and prime decomposition of orientable manifolds, and it plays a prominent role in state-of-the-art algorithms for unknot recognition and testing for essential surfaces. Although the crushing operation will always reduce the size of a triangulation, it might alter its topology, and so it requires a careful theoretical analysis for the settings in which it is used. The aim of this short paper is to make the crushing operation more accessible to practitioners, and easier to generalise to new settings. When the crushing operation was first introduced, the analysis was powerful but extremely complex. Here we give a new treatment that reduces the crushing process to a sequential combination of three "atomic" operations on a cell decomposition, all of which are simple to analyse. As an application, we generalise the crushing operation to the setting of non-orientable 3-manifolds, where we obtain a new practical and robust algorithm for non-orientable prime decomposition. We also apply our crushing techniques to the study of non-orientable minimal triangulations. △ Less

Submitted 6 January, 2014; v1 submitted 6 December, 2012; originally announced December 2012.

Comments: 23 pages, 14 figures; v2: many revisions, plus a new section on minimal triangulations; v3: minor revisions. This is the full journal version of a paper from SCG 2013, and will appear in Discrete & Computational Geometry

MSC Class: Primary 57N10; Secondary 57Q15; 68W05

Journal ref: Discrete and Computational Geometry 52 (2014), no. 1, 116-139

Computational topology and normal surfaces: Theoretical and experimental complexity bounds

Authors: Benjamin A. Burton, João Paixão, Jonathan Spreer

Abstract: In three-dimensional computational topology, the theory of normal surfaces is a tool of great theoretical and practical significance. Although this theory typically leads to exponential time algorithms, very little is known about how these algorithms perform in "typical" scenarios, or how far the best known theoretical bounds are from the real worst-case scenarios. Here we study the combinatorial… ▽ More In three-dimensional computational topology, the theory of normal surfaces is a tool of great theoretical and practical significance. Although this theory typically leads to exponential time algorithms, very little is known about how these algorithms perform in "typical" scenarios, or how far the best known theoretical bounds are from the real worst-case scenarios. Here we study the combinatorial and algebraic complexity of normal surfaces from both the theoretical and experimental viewpoints. Theoretically, we obtain new exponential lower bounds on the worst-case complexities in a variety of settings that are important for practical computation. Experimentally, we study the worst-case and average-case complexities over a comprehensive body of roughly three billion input triangulations. Many of our lower bounds are the first known exponential lower bounds in these settings, and experimental evidence suggests that many of our theoretical lower bounds on worst-case growth rates may indeed be asymptotically tight. △ Less

Submitted 14 November, 2012; originally announced November 2012.

Comments: A 10-page extended abstract of this work will appear in ALENEX 2013; this is the full version of the paper including details of proofs. 23 pages, 10 figures

MSC Class: 68Q17 (Primary) 68Q15; 68Q15; 57Q35; 57Q35 (Secondary)

Journal ref: Proceedings of the Meeting on Algorithm Engineering and Experiments, ACM SIAM, 78-87, 2013

A fast branching algorithm for unknot recognition with experimental polynomial-time behaviour

Authors: Benjamin A. Burton, Melih Ozlen

Abstract: It is a major unsolved problem as to whether unknot recognition - that is, testing whether a given closed loop in R^3 can be untangled to form a plain circle - has a polynomial time algorithm. In practice, trivial knots (which can be untangled) are typically easy to identify using fast simplification techniques, whereas non-trivial knots (which cannot be untangled) are more resistant to being conc… ▽ More It is a major unsolved problem as to whether unknot recognition - that is, testing whether a given closed loop in R^3 can be untangled to form a plain circle - has a polynomial time algorithm. In practice, trivial knots (which can be untangled) are typically easy to identify using fast simplification techniques, whereas non-trivial knots (which cannot be untangled) are more resistant to being conclusively identified as such. Here we present the first unknot recognition algorithm which is always conclusive and, although exponential time in theory, exhibits a clear polynomial time behaviour under exhaustive experimentation even for non-trivial knots. The algorithm draws on techniques from both topology and integer / linear programming, and highlights the potential for new applications of techniques from mathematical programming to difficult problems in low-dimensional topology. The exhaustive experimentation covers all 2977 non-trivial prime knots with <= 12 crossings. We also adapt our techniques to the important topological problems of 3-sphere recognition and the prime decomposition of 3-manifolds. △ Less

Submitted 9 October, 2014; v1 submitted 5 November, 2012; originally announced November 2012.

Comments: 29 pages, 18 figures; v2: restructured into a full journal version; v3: minor revisions, more experimentation, more detail in the proof of Lemma 10. To appear in Mathematical Programming

MSC Class: Primary 57M25; 90C57; Secondary 90C05 ACM Class: F.2.2; G.1.6; G.4

Computational topology with Regina: Algorithms, heuristics and implementations

Authors: Benjamin A. Burton

Abstract: Regina is a software package for studying 3-manifold triangulations and normal surfaces. It includes a graphical user interface and Python bindings, and also supports angle structures, census enumeration, combinatorial recognition of triangulations, and high-level functions such as 3-sphere recognition, unknot recognition and connected sum decomposition. This paper brings 3-manifold topologists… ▽ More Regina is a software package for studying 3-manifold triangulations and normal surfaces. It includes a graphical user interface and Python bindings, and also supports angle structures, census enumeration, combinatorial recognition of triangulations, and high-level functions such as 3-sphere recognition, unknot recognition and connected sum decomposition. This paper brings 3-manifold topologists up-to-date with Regina as it appears today, and documents for the first time in the literature some of the key algorithms, heuristics and implementations that are central to Regina's performance. These include the all-important simplification heuristics, key choices of data structures and algorithms to alleviate bottlenecks in normal surface enumeration, modern implementations of 3-sphere recognition and connected sum decomposition, and more. We also give some historical background for the project, including the key role played by Rubinstein in its genesis 15 years ago, and discuss current directions for future development. △ Less

Submitted 22 February, 2013; v1 submitted 13 August, 2012; originally announced August 2012.

Comments: 29 pages, 10 figures; v2: minor revisions. To appear in "Geometry & Topology Down Under", Contemporary Mathematics, AMS

The complexity of detecting taut angle structures on triangulations

Authors: Benjamin A. Burton, Jonathan Spreer

Abstract: There are many fundamental algorithmic problems on triangulated 3-manifolds whose complexities are unknown. Here we study the problem of finding a taut angle structure on a 3-manifold triangulation, whose existence has implications for both the geometry and combinatorics of the triangulation. We prove that detecting taut angle structures is NP-complete, but also fixed-parameter tractable in the tr… ▽ More There are many fundamental algorithmic problems on triangulated 3-manifolds whose complexities are unknown. Here we study the problem of finding a taut angle structure on a 3-manifold triangulation, whose existence has implications for both the geometry and combinatorics of the triangulation. We prove that detecting taut angle structures is NP-complete, but also fixed-parameter tractable in the treewidth of the face pairing graph of the triangulation. These results have deeper implications: the core techniques can serve as a launching point for approaching decision problems such as unknot recognition and prime decomposition of 3-manifolds. △ Less

Submitted 3 October, 2012; v1 submitted 4 July, 2012; originally announced July 2012.

Comments: 22 pages, 10 figures, 3 tables; v2: minor updates. To appear in SODA 2013: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms

Journal ref: SODA '13: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2013, pp. 168-183

Complementary vertices and adjacency testing in polytopes

Authors: Benjamin A. Burton

Abstract: Our main theoretical result is that, if a simple polytope has a pair of complementary vertices (i.e., two vertices with no facets in common), then it has at least two such pairs, which can be chosen to be disjoint. Using this result, we improve adjacency testing for vertices in both simple and non-simple polytopes: given a polytope in the standard form {x \in R^n | Ax = b and x \geq 0} and a list… ▽ More Our main theoretical result is that, if a simple polytope has a pair of complementary vertices (i.e., two vertices with no facets in common), then it has at least two such pairs, which can be chosen to be disjoint. Using this result, we improve adjacency testing for vertices in both simple and non-simple polytopes: given a polytope in the standard form {x \in R^n | Ax = b and x \geq 0} and a list of its V vertices, we describe an O(n) test to identify whether any two given vertices are adjacent. For simple polytopes this test is perfect; for non-simple polytopes it may be indeterminate, and instead acts as a filter to identify non-adjacent pairs. Our test requires an O(n^2 V + n V^2) precomputation, which is acceptable in settings such as all-pairs adjacency testing. These results improve upon the more general O(nV) combinatorial and O(n^3) algebraic adjacency tests from the literature. △ Less

Submitted 26 August, 2012; v1 submitted 17 February, 2012; originally announced February 2012.

Comments: 14 pages, 5 figures. v1: published in COCOON 2012. v2: full journal version, which strengthens and extends the results in Section 2 (see p1 of the paper for details)

MSC Class: 52B05; 52B55

Journal ref: Lecture Notes in Computer Science, vol. 7434, 2012, pp. 507-518

Enumerating fundamental normal surfaces: Algorithms, experiments and invariants

Authors: Benjamin A. Burton

Abstract: Computational knot theory and 3-manifold topology have seen significant breakthroughs in recent years, despite the fact that many key algorithms have complexity bounds that are exponential or greater. In this setting, experimentation is essential for understanding the limits of practicality, as well as for gauging the relative merits of competing algorithms. In this paper we focus on normal surf… ▽ More Computational knot theory and 3-manifold topology have seen significant breakthroughs in recent years, despite the fact that many key algorithms have complexity bounds that are exponential or greater. In this setting, experimentation is essential for understanding the limits of practicality, as well as for gauging the relative merits of competing algorithms. In this paper we focus on normal surface theory, a key tool that appears throughout low-dimensional topology. Step** beyond the well-studied problem of computing vertex normal surfaces (essentially extreme rays of a polyhedral cone), we turn our attention to the more complex task of computing fundamental normal surfaces (essentially an integral basis for such a cone). We develop, implement and experimentally compare a primal and a dual algorithm, both of which combine domain-specific techniques with classical Hilbert basis algorithms. Our experiments indicate that we can solve extremely large problems that were once though intractable. As a practical application of our techniques, we fill gaps from the KnotInfo database by computing 398 previously-unknown crosscap numbers of knots. △ Less

Submitted 1 October, 2013; v1 submitted 30 November, 2011; originally announced November 2011.

Comments: 17 pages, 5 figures; v2: Stronger experimental focus, restrict attention to primal & dual algorithms only, larger and more detailed experiments, more new crosscap numbers

Journal ref: ALENEX 2014: Proceedings of the Sixteenth Workshop on Algorithm Engineering and Experiments, SIAM, 2013, pp. 112-124

Simplification paths in the Pachner graphs of closed orientable 3-manifold triangulations

Authors: Benjamin A. Burton

Abstract: 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 o… ▽ More 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. △ Less

Submitted 27 October, 2011; originally announced October 2011.

Comments: 39 pages, 15 figures, 10 tables. This is the journal version of arXiv:1011.4169 and contains significant new material; see the title page for details

ACM Class: F.2.2; G.2.1; G.2.2; D.1.3

Triangulating a Cappell-Shaneson knot complement

Authors: Ryan Budney, Benjamin A. Burton, Jonathan Hillman

Abstract: We show that one of the Cappell-Shaneson knot complements admits an extraordinarily small triangulation, containing only two 4-dimensional simplices. We show that one of the Cappell-Shaneson knot complements admits an extraordinarily small triangulation, containing only two 4-dimensional simplices. △ Less

Submitted 16 April, 2012; v1 submitted 18 September, 2011; originally announced September 2011.

Comments: 9 pages, 5 figures. V2->V3: Primary figures now display a symmetry of order two. Attaching maps made "order-preserving". A new figure describing the dual 2-cells is included. Previous arguments simplified a little, due to the symmetry

MSC Class: 57R60

Journal ref: Mathematical Research Letters 19 (2012), no. 5, 1117-1126

Computing the crosscap number of a knot using integer programming and normal surfaces

Authors: Benjamin A. Burton, Melih Ozlen

Abstract: The crosscap number of a knot is an invariant describing the non-orientable surface of smallest genus that the knot bounds. Unlike knot genus (its orientable counterpart), crosscap numbers are difficult to compute and no general algorithm is known. We present three methods for computing crosscap number that offer varying trade-offs between precision and speed: (i) an algorithm based on Hilbert bas… ▽ More The crosscap number of a knot is an invariant describing the non-orientable surface of smallest genus that the knot bounds. Unlike knot genus (its orientable counterpart), crosscap numbers are difficult to compute and no general algorithm is known. We present three methods for computing crosscap number that offer varying trade-offs between precision and speed: (i) an algorithm based on Hilbert basis enumeration and (ii) an algorithm based on exact integer programming, both of which either compute the solution precisely or reduce it to two possible values, and (iii) a fast but limited precision integer programming algorithm that bounds the solution from above. The first two algorithms advance the theoretical state of the art, but remain intractable for practical use. The third algorithm is fast and effective, which we show in a practical setting by making significant improvements to the current knowledge of crosscap numbers in knot tables. Our integer programming framework is general, with the potential for further applications in computational geometry and topology. △ Less

Submitted 5 March, 2012; v1 submitted 12 July, 2011; originally announced July 2011.

Comments: 19 pages, 7 figures, 1 table; v2: minor revisions; to appear in ACM Transactions on Mathematical Software

ACM Class: F.2.2; G.4

Journal ref: ACM Transactions on Mathematical Software 39 (2012), no. 1, 4:1-4:18

Multi-objective integer programming: An improved recursive algorithm

Authors: Melih Ozlen, Benjamin A. Burton, Cameron A. G. MacRae

Abstract: This paper introduces an improved recursive algorithm to generate the set of all nondominated objective vectors for the Multi-Objective Integer Programming (MOIP) problem. We significantly improve the earlier recursive algorithm of Özlen and Azizoğlu by using the set of already solved subproblems and their solutions to avoid solving a large number of IPs. A numerical example is presented to explai… ▽ More This paper introduces an improved recursive algorithm to generate the set of all nondominated objective vectors for the Multi-Objective Integer Programming (MOIP) problem. We significantly improve the earlier recursive algorithm of Özlen and Azizoğlu by using the set of already solved subproblems and their solutions to avoid solving a large number of IPs. A numerical example is presented to explain the workings of the algorithm, and we conduct a series of computational experiments to show the savings that can be obtained. As our experiments show, the improvement becomes more significant as the problems grow larger in terms of the number of objectives. △ Less

Submitted 22 February, 2013; v1 submitted 28 April, 2011; originally announced April 2011.

Comments: 11 pages, 6 tables; v2: added more details and a computational study

Journal ref: Journal of Optimization Theory and Applications 160:2 (2014), pp. 470-482

Locating regions in a sequence under density constraints

Authors: Benjamin A. Burton, Mathias Hiron

Abstract: Several biological problems require the identification of regions in a sequence where some feature occurs within a target density range: examples including the location of GC-rich regions, identification of CpG islands, and sequence matching. Mathematically, this corresponds to searching a string of 0s and 1s for a substring whose relative proportion of 1s lies between given lower and upper bounds… ▽ More Several biological problems require the identification of regions in a sequence where some feature occurs within a target density range: examples including the location of GC-rich regions, identification of CpG islands, and sequence matching. Mathematically, this corresponds to searching a string of 0s and 1s for a substring whose relative proportion of 1s lies between given lower and upper bounds. We consider the algorithmic problem of locating the longest such substring, as well as other related problems (such as finding the shortest substring or a maximal set of disjoint substrings). For locating the longest such substring, we develop an algorithm that runs in O(n) time, improving upon the previous best-known O(n log n) result. For the related problems we develop O(n log log n) algorithms, again improving upon the best-known O(n log n) results. Practical testing verifies that our new algorithms enjoy significantly smaller time and memory footprints, and can process sequences that are orders of magnitude longer as a result. △ Less

Submitted 2 April, 2013; v1 submitted 5 April, 2011; originally announced April 2011.

Comments: 17 pages, 8 figures; v2: minor revisions, additional explanations; to appear in SIAM Journal on Computing

Journal ref: SIAM Journal on Computing 42 (2013), no. 3, 1201-1215

Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations

Authors: Benjamin A. Burton

Abstract: Enumerating all 3-manifold triangulations of a given size is a difficult but increasingly important problem in computational topology. A key difficulty for enumeration algorithms is that most combinatorial triangulations must be discarded because they do not represent topological 3-manifolds. In this paper we show how to preempt bad triangulations by detecting genus in partially-constructed vertex… ▽ More Enumerating all 3-manifold triangulations of a given size is a difficult but increasingly important problem in computational topology. A key difficulty for enumeration algorithms is that most combinatorial triangulations must be discarded because they do not represent topological 3-manifolds. In this paper we show how to preempt bad triangulations by detecting genus in partially-constructed vertex links, allowing us to prune the enumeration tree substantially. The key idea is to manipulate the boundary edges surrounding partial vertex links using expected logarithmic time operations. Practical testing shows the resulting enumeration algorithm to be significantly faster, with up to 249x speed-ups even for small problems where comparisons are feasible. We also discuss parallelisation, and describe new data sets that have been obtained using high-performance computing facilities. △ Less

Submitted 16 March, 2011; v1 submitted 16 January, 2011; originally announced January 2011.

Comments: 16 pages, 7 figures, 3 tables; v2: minor revisions; to appear in ISSAC 2011

ACM Class: G.2.1; G.4; I.1.2

Journal ref: ISSAC 2011: Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ACM, 2011, pp. 59-66

The Pachner graph and the simplification of 3-sphere triangulations

Authors: Benjamin A. Burton

Abstract: It is important to have fast and 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 suggesting that for 3-sphere triangulations the reality is far different: w… ▽ More It is important to have fast and 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 suggesting that for 3-sphere triangulations the reality is far different: we never need to add more than two tetrahedra, and we never need more than a handful of local modifications. If true in general, these extremely surprising results would have significant implications for decision algorithms and the study of triangulations in 3-manifold topology. The algorithms behind these experiments are interesting in their own right. Key techniques include the isomorph-free generation of all 3-manifold triangulations of a given size, polynomial-time computable signatures that identify triangulations uniquely up to isomorphism, and parallel algorithms for studying finite level sets in the infinite Pachner graph. △ Less

Submitted 23 February, 2011; v1 submitted 18 November, 2010; originally announced November 2010.

Comments: 17 pages, 4 figures, 4 tables; v2: incorporate connectedness into Theorem 4, other minor revisions; to appear in SoCG 2011

ACM Class: F.2.2, G.2.1, G.2.2, D.1.3

Journal ref: SCG '11: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 153-162

Optimising a nonlinear utility function in multi-objective integer programming

Authors: Melih Ozlen, Meral Azizoğlu, Benjamin A. Burton

Abstract: In this paper we develop an algorithm to optimise a nonlinear utility function of multiple objectives over the integer efficient set. Our approach is based on identifying and updating bounds on the individual objectives as well as the optimal utility value. This is done using already known solutions, linear programming relaxations, utility function inversion, and integer programming. We develop a… ▽ More In this paper we develop an algorithm to optimise a nonlinear utility function of multiple objectives over the integer efficient set. Our approach is based on identifying and updating bounds on the individual objectives as well as the optimal utility value. This is done using already known solutions, linear programming relaxations, utility function inversion, and integer programming. We develop a general optimisation algorithm for use with k objectives, and we illustrate our approach using a tri-objective integer programming problem. △ Less

Submitted 13 May, 2012; v1 submitted 9 November, 2010; originally announced November 2010.

Comments: 11 pages, 2 tables; v3: minor revisions, to appear in Journal of Global Optimization

Journal ref: Journal of Global Optimization 56 (2013), no. 1, 93-102

A tree traversal algorithm for decision problems in knot theory and 3-manifold topology

Authors: Benjamin A. Burton, Melih Ozlen

Abstract: In low-dimensional topology, many important decision algorithms are based on normal surface enumeration, which is a form of vertex enumeration over a high-dimensional and highly degenerate polytope. Because this enumeration is subject to extra combinatorial constraints, the only practical algorithms to date have been variants of the classical double description method. In this paper we present the… ▽ More In low-dimensional topology, many important decision algorithms are based on normal surface enumeration, which is a form of vertex enumeration over a high-dimensional and highly degenerate polytope. Because this enumeration is subject to extra combinatorial constraints, the only practical algorithms to date have been variants of the classical double description method. In this paper we present the first practical normal surface enumeration algorithm that breaks out of the double description paradigm. This new algorithm is based on a tree traversal with feasibility and domination tests, and it enjoys a number of advantages over the double description method: incremental output, significantly lower time and space complexity, and a natural suitability for parallelisation. Experimental comparisons of running times are included. △ Less

Submitted 30 March, 2012; v1 submitted 29 October, 2010; originally announced October 2010.

Comments: 28 pages, 7 figures; v2: minor revisions; to appear in Algorithmica

MSC Class: Primary 57N10; 52B55; Secondary 90C05; 57N35

Journal ref: Algorithmica 65 (2013), no. 4, 772-801

Projective geometry and the outer approximation algorithm for multiobjective linear programming

Authors: Benjamin A. Burton, Melih Ozlen

Abstract: A key problem in multiobjective linear programming is to find the set of all efficient extreme points in objective space. In this paper we introduce oriented projective geometry as an efficient and effective framework for solving this problem. The key advantage of oriented projective geometry is that we can work with an "optimally simple" but unbounded efficiency-equivalent polyhedron, yet apply t… ▽ More A key problem in multiobjective linear programming is to find the set of all efficient extreme points in objective space. In this paper we introduce oriented projective geometry as an efficient and effective framework for solving this problem. The key advantage of oriented projective geometry is that we can work with an "optimally simple" but unbounded efficiency-equivalent polyhedron, yet apply to it the familiar theory and algorithms that are traditionally restricted to bounded polytopes. We apply these techniques to Benson's outer approximation algorithm, using oriented projective geometry to remove an exponentially large complexity from the algorithm and thereby remove a significant burden from the running time. △ Less

Submitted 15 June, 2010; originally announced June 2010.

Comments: 27 pages, 12 figures

MSC Class: Primary 90C29; 90C05; Secondary 51A05; 52B05

Maximal admissible faces and asymptotic bounds for the normal surface solution space

Authors: Benjamin A. Burton

Abstract: The enumeration of normal surfaces is a key bottleneck in computational three-dimensional topology. The underlying procedure is the enumeration of admissible vertices of a high-dimensional polytope, where admissibility is a powerful but non-linear and non-convex constraint. The main results of this paper are significant improvements upon the best known asymptotic bounds on the number of admissible… ▽ More The enumeration of normal surfaces is a key bottleneck in computational three-dimensional topology. The underlying procedure is the enumeration of admissible vertices of a high-dimensional polytope, where admissibility is a powerful but non-linear and non-convex constraint. The main results of this paper are significant improvements upon the best known asymptotic bounds on the number of admissible vertices, using polytopes in both the standard normal surface coordinate system and the streamlined quadrilateral coordinate system. To achieve these results we examine the layout of admissible points within these polytopes. We show that these points correspond to well-behaved substructures of the face lattice, and we study properties of the corresponding "admissible faces". Key lemmata include upper bounds on the number of maximal admissible faces of each dimension, and a bijection between the maximal admissible faces in the two coordinate systems mentioned above. △ Less

Submitted 9 December, 2010; v1 submitted 15 April, 2010; originally announced April 2010.

Comments: 31 pages, 10 figures, 2 tables; v2: minor revisions (to appear in Journal of Combinatorial Theory A)

MSC Class: Primary 52B05; Secondary 57N10; 57Q35

Journal ref: Journal of Combinatorial Theory, Series A 118 (2011), no. 4, 1410-1435

The complexity of the normal surface solution space

Authors: Benjamin A. Burton

Abstract: Normal surface theory is a central tool in algorithmic three-dimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important algorithms. However, it is not well understood how the number of such surfaces grows in relation to the size of the underlying triangulation. Here we address this problem in both theory and practice. In theory, we tight… ▽ More Normal surface theory is a central tool in algorithmic three-dimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important algorithms. However, it is not well understood how the number of such surfaces grows in relation to the size of the underlying triangulation. Here we address this problem in both theory and practice. In theory, we tighten the exponential upper bound substantially; furthermore, we construct pathological triangulations that prove an exponential bound to be unavoidable. In practice, we undertake a comprehensive analysis of millions of triangulations and find that in general the number of vertex normal surfaces is remarkably small, with strong evidence that our pathological triangulations may in fact be the worst case scenarios. This analysis is the first of its kind, and the striking behaviour that we observe has important implications for the feasibility of topological algorithms in three dimensions. △ Less

Submitted 11 March, 2010; v1 submitted 30 November, 2009; originally announced November 2009.

Comments: Extended abstract (i.e., conference-style), 14 pages, 8 figures, 2 tables; v2: added minor clarifications

ACM Class: F.2.2; G.2.1

Journal ref: SCG '10: Proceedings of the Twenty-Sixth Annual Symposium on Computational Geometry, ACM, 2010, pp. 201-209

Searching a bitstream in linear time for the longest substring of any given density

Authors: Benjamin A. Burton

Abstract: Given an arbitrary bitstream, we consider the problem of finding the longest substring whose ratio of ones to zeroes equals a given value. The central result of this paper is an algorithm that solves this problem in linear time. The method involves (i) reformulating the problem as a constrained walk through a sparse matrix, and then (ii) develo** a data structure for this sparse matrix that allo… ▽ More Given an arbitrary bitstream, we consider the problem of finding the longest substring whose ratio of ones to zeroes equals a given value. The central result of this paper is an algorithm that solves this problem in linear time. The method involves (i) reformulating the problem as a constrained walk through a sparse matrix, and then (ii) develo** a data structure for this sparse matrix that allows us to perform each step of the walk in amortised constant time. We also give a linear time algorithm to find the longest substring whose ratio of ones to zeroes is bounded below by a given value. Both problems have practical relevance to cryptography and bioinformatics. △ Less

Submitted 7 June, 2010; v1 submitted 19 October, 2009; originally announced October 2009.

Comments: 22 pages, 19 figures; v2: minor edits and enhancements

Journal ref: Algorithmica 61 (2011), no. 3, 555-579

The Weber-Seifert dodecahedral space is non-Haken

Authors: Benjamin A. Burton, J. Hyam Rubinstein, Stephan Tillmann

Abstract: In this paper we settle Thurston's old question of whether the Weber-Seifert dodecahedral space is non-Haken, a problem that has been a benchmark for progress in computational 3-manifold topology over recent decades. We resolve this question by combining recent significant advances in normal surface enumeration, new heuristic pruning techniques, and a new theoretical test that extends the seminal… ▽ More In this paper we settle Thurston's old question of whether the Weber-Seifert dodecahedral space is non-Haken, a problem that has been a benchmark for progress in computational 3-manifold topology over recent decades. We resolve this question by combining recent significant advances in normal surface enumeration, new heuristic pruning techniques, and a new theoretical test that extends the seminal work of Jaco and Oertel. △ Less

Submitted 23 July, 2010; v1 submitted 25 September, 2009; originally announced September 2009.

Comments: 22 pages, 10 figures, 3 tables; v2: expanded introduction; v3: minor revisions (accepted for Trans. Amer. Math. Soc.)

MSC Class: 57N10

Journal ref: Transactions of the American Mathematical Society 364 (2012), no. 2, 911-932

Quadrilateral-octagon coordinates for almost normal surfaces

Authors: Benjamin A. Burton

Abstract: Normal and almost normal surfaces are essential tools for algorithmic 3-manifold topology, but to use them requires exponentially slow enumeration algorithms in a high-dimensional vector space. The quadrilateral coordinates of Tollefson alleviate this problem considerably for normal surfaces, by reducing the dimension of this vector space from 7n to 3n (where n is the complexity of the underlyin… ▽ More Normal and almost normal surfaces are essential tools for algorithmic 3-manifold topology, but to use them requires exponentially slow enumeration algorithms in a high-dimensional vector space. The quadrilateral coordinates of Tollefson alleviate this problem considerably for normal surfaces, by reducing the dimension of this vector space from 7n to 3n (where n is the complexity of the underlying triangulation). Here we develop an analogous theory for octagonal almost normal surfaces, using quadrilateral and octagon coordinates to reduce this dimension from 10n to 6n. As an application, we show that quadrilateral-octagon coordinates can be used exclusively in the streamlined 3-sphere recognition algorithm of Jaco, Rubinstein and Thompson, reducing experimental running times by factors of thousands. We also introduce joint coordinates, a system with only 3n dimensions for octagonal almost normal surfaces that has appealing geometric properties. △ Less

Submitted 5 September, 2009; v1 submitted 20 April, 2009; originally announced April 2009.

Comments: 34 pages, 20 figures; v2: Simplified the proof of Theorem 4.5 using cohomology, plus other minor changes; v3: Minor housekee**

MSC Class: 57N10 (Primary) 57Q35 (Secondary)

Journal ref: Experimental Mathematics 19 (2010), no. 3, 285-315

Converting between quadrilateral and standard solution sets in normal surface theory

Authors: Benjamin A. Burton

Abstract: The enumeration of normal surfaces is a crucial but very slow operation in algorithmic 3-manifold topology. At the heart of this operation is a polytope vertex enumeration in a high-dimensional space (standard coordinates). Tollefson's Q-theory speeds up this operation by using a much smaller space (quadrilateral coordinates), at the cost of a reduced solution set that might not always be suffic… ▽ More The enumeration of normal surfaces is a crucial but very slow operation in algorithmic 3-manifold topology. At the heart of this operation is a polytope vertex enumeration in a high-dimensional space (standard coordinates). Tollefson's Q-theory speeds up this operation by using a much smaller space (quadrilateral coordinates), at the cost of a reduced solution set that might not always be sufficient for our needs. In this paper we present algorithms for converting between solution sets in quadrilateral and standard coordinates. As a consequence we obtain a new algorithm for enumerating all standard vertex normal surfaces, yielding both the speed of quadrilateral coordinates and the wider applicability of standard coordinates. Experimentation with the software package Regina shows this new algorithm to be extremely fast in practice, improving speed for large cases by factors from thousands up to millions. △ Less

Submitted 3 September, 2009; v1 submitted 17 January, 2009; originally announced January 2009.

Comments: 55 pages, 10 figures; v2: minor fixes only, plus a reformat for the journal style

MSC Class: 52B55 (Primary) 57N10; 57N35 (Secondary)

Journal ref: Algebr. Geom. Topol. 9 (2009) 2121-2174

Embeddings of 3-manifolds in S^4 from the point of view of the 11-tetrahedron census

Authors: Ryan Budney, Benjamin A. Burton

Abstract: This is a collection of notes on embedding problems for 3-manifolds. The main question explored is `which 3-manifolds embed smoothly in the 4-sphere?' The terrain of exploration is the Burton/Martelli/Matveev/Petronio census of triangulated prime closed 3-manifolds built from 11 or less tetrahedra. There are 13766 manifolds in the census, of which 13400 are orientable. Of the 13400 orientable mani… ▽ More This is a collection of notes on embedding problems for 3-manifolds. The main question explored is `which 3-manifolds embed smoothly in the 4-sphere?' The terrain of exploration is the Burton/Martelli/Matveev/Petronio census of triangulated prime closed 3-manifolds built from 11 or less tetrahedra. There are 13766 manifolds in the census, of which 13400 are orientable. Of the 13400 orientable manifolds, only 149 of them have hyperbolic torsion linking forms and are thus candidates for embedability in the 4-sphere. The majority of this paper is devoted to the embedding problem for these 149 manifolds. At present 41 are known to embed. Among the remaining manifolds, embeddings into homotopy 4-spheres are constructed for 4. 67 manifolds are known to not embed in the 4-sphere. This leaves 37 unresolved cases, of which only 3 are geometric manifolds i.e. having a trivial JSJ-decomposition. △ Less

Submitted 14 March, 2020; v1 submitted 13 October, 2008; originally announced October 2008.

Comments: 58 pages, 80+ figures. V6: Included references to libraries valid in Regina 5.0+. Incorporated changes suggested by Ahmed Issa, following from his techniques developed with McCoy. Included a few recent references. To appear in Experimental Mathematics

MSC Class: 57R40; 57R50