Abstract:Deformations of knots and links in ambient space can be studied combinatorially on their diagrams via local modifications called Reidemeister moves. While it is well-known that, in order to move between equivalent diagrams with Reidemeister moves, one sometimes needs to insert excess crossings, there are significant gaps between the best known lower and upper bounds on the required number of these added crossings. In this article, we study the problem of turning a diagram of a split link into a split diagram, and we show that there exist split links with diagrams requiring an arbitrarily large number of such additional crossings. More precisely, we provide a family of diagrams of split links, so that any sequence of Reidemeister moves transforming a diagram with $c$ crossings into a split diagram requires going through a diagram with $\Omega(\sqrt{c})$ extra crossings. Our proof relies on the framework of bubble tangles, as introduced by Lunel and de Mesmay, and a technique of Chambers and Liokumovitch to turn homotopies into isotopies in the context of Riemannian geometry.

Any link has a diagram with only triangles and quadrilaterals

Hard diagrams of split links

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

Diagrams for Relative Trisections

On link diagrams that are minimal with respect to Reidemeister moves I and II

Two-tone colorings and surjective dihedral representations for links

Great circle links in the three-sphere

Plabic links, quivers, and skein relations

Diagrammatic representations of 3-periodic entanglements

Determining isotopy classes of crossing arcs in alternating links

Hyperbolic semi-adequate links

Links in the spherical 3-manifold obtained from the quaternion group and their lifts

Two-bridge links and stable maps into the plane

Regular-equivalence of $2$-knot diagrams and sphere eversions

Links and Planar Diagram Codes

Diagrams and irregular connections on the Riemann sphere

Ribbonness of Kervaire's sphere-link in homotopy 4-sphere and its consequences to 2-complexes

Right-angled links in thickened surfaces

A diagrammatic computation of abelian link invariants

Distinguishing surface-links with 4-charts with 2 crossings and 8 black vertices