Abstract:Consider a graph drawn on a surface (for example, the plane minus a finite set of obstacle points), possibly with crossings. We provide an algorithm to decide whether such a drawing can be untangled, namely, if one can slide the vertices and edges of the graph on the surface (avoiding the obstacles) to remove all crossings; in other words, whether the drawing is homotopic to an embedding. While the problem boils down to planarity testing when the surface is the sphere or the disk (or equivalently the plane without any obstacle), the other cases have never been studied before, except when the input graph is a cycle, in an abundant literature in topology and more recently by Despré and Lazarus [SoCG 2017, J. ACM 2019]. Our algorithm runs in O(m + poly(g+b) n log n) time, where g >= 0 and b >= 0 are the genus and the number of boundary components of the input orientable surface S, and n is the size of the input graph drawing, lying on some fixed graph of size m cellularly embedded on S. We use various techniques from two-dimensional computational topology and from the theory of hyperbolic surfaces. Most notably, we introduce reducing triangulations, a novel discrete analog of hyperbolic surfaces in the spirit of systems of quads by Lazarus and Rivaud [FOCS 2012] and Erickson and Whittlesey [SODA 2013], which have the additional benefit that reduced paths are unique and stable upon reversal; they are likely of independent interest. Tailored data structures are needed to achieve certain homotopy tests efficiently on these triangulations. As a key subroutine, we rely on an algorithm to test the weak simplicity of a graph drawn on a surface by Akitaya, Fulek, and Tóth [SODA 2018, TALG 2019].

On Heegaard Diagrams

HEEGAARD GENERA OF ANNULAR 3-MANIFOLDS

Hierarchical hyperbolicity of admissible curve graphs and the boundary of marked strata

Heegaard Diagrams and Handlebody Groups

Homological stability of non-orientable mapping class groups with marked points

On Heegaard splittings of glued 3-manifolds

Diagrams for Relative Trisections

Marked Graph Mosaics

A diagrammatic presentation and its characterization of non-split compact surfaces in the 3-sphere

On Non-Separating Simple Closed Curves in a Compact Surface

Degenerating slopes with respect to Heegaard distance

Gauss diagrams of 3-manifolds

Taut foliations of 3-manifolds with Heegaard genus two

Enhanced Hantzsche Theorem

An Excision Theorem in Heegaard Floer Theory

G-corks & Heegaard Floer Homology

Closed Teichmueller geodesics in the thin part of moduli space

A Presentation of the Mapping Class Groups

On harmonic maps from <i>R</i>1,1 into Hilbert loop groups

Untangling Graphs on Surfaces

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface