The pinning ideal of a multiloop

Christopher-Lloyd Simon,Ben Stucky
2024-12-02
Abstract:A loop is a generic immersion of the circle in a surface, considered up to isotopy. A loop is taut when it is minimally intersecting in its homotopy class. A pinning set of a loop is a set of points $P$ in the surface avoiding the loop, such that the loop is taut in the surface punctured at $P$. The collection of pinning sets forms a poset under inclusion, endowed with the cardinal function: its minimum defines the pinning number of the loop. We show that the decision problem associated to computing the pinning number of a plane loop is NP-complete. First, we implement a polynomial algorithm to check if a point-set is pinning, adapting a method of Birman--Series for computing intersection numbers of curves in surfaces. Then we reduce the problem to a boolean formula whose solutions correspond to pinning sets: for this we study immersed discs in detail to improve a theorem of Hass--Scott characterising taut loops, and apply an algorithm of Blanc and Frish. Finally, we reduce the vertex-cover problem for graphs to an instance of the pinning problem for plane loops.
Geometric Topology,Combinatorics
What problem does this paper attempt to address?