Unknot Recognition Through Quantifier Elimination

Syed Mohammed Meesum, T. V. H Prathamesh

Unknot recognition is one of the fundamental questions in low dimensional topology. In this work, we show that this problem can be encoded as a validity problem in the existential…