{"id":"arxiv/2602.09923","url":"https://arxiv.org/abs/2602.09923","tags":["math.GT"],"score":0,"title":"A polynomial upper bound on Reidemeister moves for each link type","domain":"math.GT","source":"arxiv","authors":["Marc Lackenby"],"reviews":0,"subject":"math.GT","summary":"For each link type $K$ in the 3-sphere, we show that there is a polynomial $p_K$ such that any two diagrams of $K$ with $c_1$ and $c_2$ crossings differ by at most $p_K(c_1) + p_K(c_2)$ Reidemeister moves. As a consequence, the problem of recognising whether a given link diagram represents $K$ is in the complexity class NP and hence can be completed deterministically in exponential time. We calculate this polynomial $p_K$ explicitly for various classes of links.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-10","reactions":{}}