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.

Inverse Problems on A Graph with Loops

Boundary Knot Method for Some Inverse Problems Associated with the Helmholtz Equation

Inverse spectral problem for the Schrödinger operator on the square lattice

Inverse spectral problems for Dirac-type operators with global delay on a star graph

Inverse problems for discrete Sturm–Liouville operator having Bessel-type potential

On Inverse Problems for a Strongly Damped Wave Equation on Compact Manifolds

More on the Inverse Problem of Steiner Wiener Index.

Inverse Spectral Problems for Sturm-Liouville Operators on Hedgehog-type Graphs with General Matching Conditions

The pinning ideal of a multiloop

Inverse eigenvalue problem for Laplacian matrices of a graph

A Liouville theorem for elliptic equations with a potential on infinite graphs

Inverses of Bipartite Graphs

Discrete infinity Laplace equations on graphs and tug-of-war games

On the local solvability and stability of the partial inverse problems for the non-self-adjoint Sturm-Liouville operators with a discontinuity

On the inverse eigenvalue problem for block graphs

Isomorphic inverse problems

Airy and Schrödinger-type equations on looping-edge graphs

Inverse problem for Sturm–Liouville operator with complex-valued weight and eigenparameter dependent boundary conditions

Vertex Weight Reconstruction in the Gel'fand's Inverse Problem on Connected Weighted Graphs

Complete Continuity and Fréchet Derivatives of Nodes in Potentials for One-Dimensional P-Laplacian