arXiv++ Combinatorics

A multiloop with $s\in \mathbb{N}$ strands is a generic immersion $γ\colon \sqcup_1^s \mathbb{S}^1 \looparrowright Σ$ of the union of $s$ circles into a surface $Σ$, considered up to homeomorphisms. A pinning set of $γ$ is a set of points $P\subset Σ\setminus \operatorname{im}(γ)$, such that in the punctured surface $Σ\setminus P$, the immersion $γ$ has the minimal number of double points in its homotopy class. Its pinning number $\varpi(γ)$ is the minimum cardinal of its pinning sets. In any fixed orientable surface $Σ$, the pinning problem which given a multiloop $γ$ and $k\in \mathbb{N}$ decides whether $\varpi(γ)\le k$ has been show to be NP-complete, even in restrictions to loops (with $s=1$ strand). In this work we study the complexity of the pinning problem in restriction to multiloops whose strands are simple (embedded circles). We show that in any fixed oriented surface $Σ$, the problem is in P when $s\leq 3$ and NP-complete when $s\geq 20$, and present some follow-up questions and conjectures.

Given a digraph, an ordering of its vertices defines a backedge graph, namely the undirected graph whose edges correspond to the arcs pointing backwards with respect to the order. The degreewidth of a digraph is the minimum over all ordering of the maximum degree of the backedge graph. We answer an open question by Keeney and Lokshtanov [WG 2024], proving that it is \NP-hard to determine whether an oriented graph has degreewidth at most $1$, which settles the last open case for oriented graphs. We complement this result with a general discussion on parameters defined using backedge graphs and their relations to classical parameters.

A multiloop $γ\colon \sqcup_1^s \mathbb{S}^1 \looparrowright \mathbb{F}$ is a generic immersion of a finite union of circles into an oriented surface, considered up to homeomorphisms. A pinning set is a set of points $P\subset \mathbb{F}\setminus \operatorname{im}(γ)$, such that in the punctured surface $\mathbb{F} \setminus P$, the immersion $γ$ has the minimal number of double points in its homotopy class. The collection of pinning sets of $γ$ forms a poset under inclusion called the pinning ideal $\mathcal{PI}(γ)$ which is endowed with the cardinal function whose minimum defines the pinning number $\varpi(γ)$. We show that the decision problem associated to computing the pinning number of a multiloop is \textsf{NP}-complete, even for loops in the sphere. We give two proofs that it is \textsf{NP}: First, we implement a polynomial algorithm to check if a point-set is pinning, adapting methods of Birman--Series and Cohen--Lustig for computing intersection numbers of curves in surfaces. Second, for loops in the sphere we reduce the problem in polynomial time to a variant of boolean satisfiability by applying a theorem of Hass--Scott characterizing taut loops, and adapting algorithms of Blank and Shor--Van Wyk which decide when a curve in the plane bounds an immersed disc. To show that it is \textsf{NP}-hard we reduce the vertex cover problem for graphs to the pinning problem for plane loops. We use our algorithms to compute the pinning ideals for $\approx 1000$ of the smallest multiloops in the sphere, available in the online catalog LooPindex.

A filoop is a generic immersion of a circle in a closed oriented surface, whose complement is a disjoint union of discs, considered up to orientation preserving diffeomorphisms. It gives rise to a chord diagram C which has an interlace graph G, called a chordiagraph. For a graph G with even degrees, we compute a quantity mg(G) which yields, for every chord diagram $C$ with interlace graph G, the minimal genus of filoops with chord diagram C. If mg(G)=0 then C admits exactly two framings of genus 0, corresponding to spheriloops. After recalling the Cunningham factorisation of connected graphs, we describe a canonical factorisation of filoops into spheric sums followed by toric sums, for which the genus is additive. This is analogous to the factorisation of compact connected 3-manifolds along spheres and tori. We describe unambiguous context-sensitive grammars generating the set of all graphs and with mg(G)=0 and deduce stability properties with respect to spheric and toric factorisations. Similar results hold for chordiagraphs with mg(G) = 0 and their corresponding spheriloops.

We describe the topology of singular real algebraic curves in a smooth surface. We enumerate and bound in terms of the degree the number of topological types of singular algebraic curves in the real projective plane.