Hopf Arborescent Links, Minor Theory, and Decidability of the Genus Defect

Pierre Dehornoy, Corentin Lunel, Arnaud de Mesmay

While the problem of computing the genus of a knot is now fairly well understood, no algorithm is known for its four-dimensional variants, both in the smooth and in the topological…