BLOBS AND FLIPS ON GEMS
SÓSTENES LUIS SOARES LINS, Michele Mulazzani · Journal of Knot Theory and Its Ramifications · 2006
In this paper we prove that two n-gems induce the same manifold if and only if they are linked by a finite sequence of gem moves. A gem move is either a blob move, consisting in the creation or cancellation of an n-dipole, or a clean flip, which is a switch of a pair of edges of the same color that thickens an h-dipole, 1 ≤ h ≤ n - 1, or the inverse operation, which slims an h-dipole, 2 ≤ h ≤ n. Moreover we prove that we can reorder the gem moves, so that all the blob creations precede all clean flips which then precede all the blob cancellations. This reordering is of interest because it is an easy matter to decide whether two gems are linked by a finite sequence of clean flips. As a consequence, if a bound for the number of blob creations is established, then there exists a deterministic finite algorithm to decide whether two gems induce the same manifold or not.