Related papers: Studying Links via Plats: The Unlink

We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using a theorem prover to try to establish a positive result…

We present two practical and widely applicable methods, including some criteria and a general procedure, for detecting Brunnian property of a link, if each component is known to be unknot. The methods are based on observation and handwork.…

We introduce stable equivalence classes of oriented links in orientable three-manifolds that are orientation $I$-bundles over closed but not necessarily orientable surfaces. We call these twisted links, and show that they subsume the…

We construct and prove a diagrammatic version of the Duflo isomorphism between the invariant subalgebra of the symmetric algebra of a Lie algebra and the center of the universal enveloping algebra. This version implies the original for…

We show that the torsion order $\mathrm{Ord}(K)$ of a knot $K$ in knot Floer homology gives a lower bound on the minimum number $n$ such that an oriented $(n+1)$-tangle replacement unknots $K$. This generalizes earlier results by Alishahi…

We describe a method of encoding various types of link diagrams, including those with classical, flat, rigid, welded, and virtual crossings. We show that this method may be used to encode link diagrams, up to equivalence, in a notation…

Flip graphs of combinatorial and geometric objects are at the heart of many deep structural insights and connections between different branches of discrete mathematics and computer science. They also provide a natural framework for the…

This paper is expository and is accessible to students. We define simple invariants of knots or links (linking number, Arf-Casson invariants and Alexander-Conway polynomials) motivated by interesting results whose statements are accessible…

We study equilibrium states of a drop between flexible sheets clamped on both ends. Revisiting first the case of parallel sheets, we find multiple equilibria which we classify in a parameter space. In solution branching diagrams we identify…

We construct links of arbitrarily many components each component of which is slice and yet are not concordant to any link with even one unknotted component. The only tool we use comes from the Alexander modules.

Given a generic rational curve $C$ in the group of Euclidean displacements we construct a linkage such that the constrained motion of one of the links is exactly $C$. Our construction is based on the factorization of polynomials over dual…

We consider knot theories possessing a {\em parity}: each crossing is decreed {\em odd} or {\em even} according to some universal rule. If this rule satisfies some simple axioms concerning the behaviour under Reidemeister moves, this leads…

If L_1 and L_2 are two Brunnian links with all pairwise linking numbers 0, then we show that L_1 and L_2 are equivalent if and only if they have homeomorphic complements. In particular, this holds for all Brunnian links with at least three…

This paper explores the problem of unknotting closed braids and classical knots in mathematical knot theory. We apply evolutionary computation methods to learn sequences of moves that simplify knot diagrams, and show that this can be…

To an oriented link in a solid torus we associate a trace graph in a thickened torus in such a way that links are isotopic if and only if their trace graphs can be related by moves of finitely many standard types. The key ingredient is a…

We develop a topological model of knots and links arising from a single (or multiple processive) round(s) of recombination starting with an unknot, unlink, or (2,m)-torus knot or link substrate. We show that all knotted or linked products…

The flip graph for a set $P$ of points in the plane has a vertex for every triangulation of $P$, and an edge when two triangulations differ by one flip that replaces one triangulation edge by another. The flip graph is known to have some…

In 2000, Habiro introduced the notion of $C_k$-equivalence of knots and links. This geometric filtration is closely connected to finite type invariants, a class of invariants including Milnor's invariants. Shortly thereafter, Ohyama,…

In this paper, we study a geometric/topological measure of knots and links called the nullification number. The nullification of knots/links is believed to be biologically relevant. For example, in DNA topology, one can intuitively regard…

In this article we deal with the problem of finding equivalence moves for links in Dunwoody and periodic Takahashi manifolds. We represent these manifolds using Heegaard splitting and we represent the embedded links as plat closure of…