In this paper we describe a
procedure to simplify any given triangulation of S3 using Pachner moves. We
obtain an explicit exponential-type bound on the number of Pachner moves
needed for this process. This leads to a new recognition algorithm for the
3-sphere.
Department of Pure Mathematics and
Mathematical Statistics
Center for Mathematical Sciences
University of Cambridge
Wilberforce Road
Cambridge, CB3 0WB
UK