Fundamental normal surfaces and the enumeration of Hilbert bases

Mathematics – Geometric Topology

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

18 pages, 3 figures

Scientific paper

Normal surfaces are a key tool in computational knot theory and 3-manifold topology, and have featured in significant computational breakthroughs in recent years. Despite this, there has been little practical progress on algorithms that use fundamental normal surfaces, which are described in terms of a Hilbert basis for a pointed rational cone on a high-dimensional integer lattice. In this paper we develop and implement several algorithms to enumerate fundamental normal surfaces, by merging domain-specific techniques from normal surface theory with classical Hilbert basis algorithms. The most successful of these combines a maximal admissible face decomposition with the primal Hilbert basis algorithm of Bruns, Ichim and Koch, and in many cases can solve 168-dimensional enumeration problems (based on 24-tetrahedron knot complements) in a matter of hours. As an application, we use this new algorithm to compute 164 previously unknown crosscap numbers in the KnotInfo database of knot invariants.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Fundamental normal surfaces and the enumeration of Hilbert bases does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Fundamental normal surfaces and the enumeration of Hilbert bases, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Fundamental normal surfaces and the enumeration of Hilbert bases will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-7253

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.