English
Related papers

Related papers: A fast branching algorithm for unknot recognition …

200 papers

Classifying the topology of closed curves is a central problem in low dimensional topology with applications beyond mathematics spanning protein folding, polymer physics and even magnetohydrodynamics. The central problem is how to determine…

Machine Learning · Computer Science 2026-02-20 Djordje Mihajlovic , Davide Michieletto

This manuscript introduces a new framework for the study of knots by exploring the neighborhood of knot embeddings in the space of simple open and closed curves in 3-space. The latter gives rise to a knotoid spectrum, which determines the…

Geometric Topology · Mathematics 2024-10-22 Eleni Panagiotou

We construct families of trivial $2$-knots $K_i$ in $\mathbb{R}^4$ such that the maximal complexity of $2$-knots in any isotopy connecting $K_i$ with the standard unknot grows faster than a tower of exponentials of any fixed height of the…

Metric Geometry · Mathematics 2019-12-17 Boris Lishak , Alexander Nabutovsky

For a knot K in S^3, let T(K) be the characteristic toric sub-orbifold of the orbifold (S^3,K) as defined by Bonahon and Siebenmann. If K has unknotting number one, we show that an unknotting arc for K can always be found which is disjoint…

Geometric Topology · Mathematics 2009-06-30 Cameron McA Gordon , John Luecke

In mathematics, a knot is a single strand of string crossed over itself any number of times, and connected at the ends. The Reidemeister Moves have been proven to be the three core moves necessary to fully untangle a knot. Some knots can be…

Geometric Topology · Mathematics 2017-02-08 Dana Foley

We take a close look at a classical magic trick performed with a string, where a trivial knot is seemingly isotoped into a trefoil, and generalize it to a family of magic tricks for transforming the unknot into other knots. We encode such a…

Geometric Topology · Mathematics 2026-04-16 Raphael Appenzeller , José Pedro Quintanilha

Finite-order invariants of knots in arbitrary 3-manifolds (including non-orientable ones) are constructed and studied by methods of the topology of discriminant sets. Obstructions to the integrability of admissible weight systems to…

Geometric Topology · Mathematics 2016-09-07 Victor A. Vassiliev

A veritable zoo of different knots is seen in the ensemble of looped polymer chains, whether created computationally or observed in vitro. At short loop lengths, the spectrum of knots is dominated by the trivial knot (unknot). The…

Statistical Mechanics · Physics 2009-11-11 N. T. Moore , A. Y. Grosberg

These notes present two normal surface theory algorithms to detect the unknot and use the split-link algorithm to prove that the figure-eight knot is knotted.

Geometric Topology · Mathematics 2023-11-08 Hakan Solak

A fundamental algorithmic problem in computational biology is to find all subgraphs of a given type (superbubbles, snarls, and ultrabubbles) in a directed or bidirected input graph. These correspond to regions of genetic variation and are…

We study the enumeration of answers to Unions of Conjunctive Queries (UCQs) with optimal time guarantees. More precisely, we wish to identify the queries that can be solved with linear preprocessing time and constant delay. Despite the…

Databases · Computer Science 2025-04-02 Karl Bringmann , Nofar Carmeli

We proved by computer enumeration that the Jones polynomial distinguishes the unknot for knots up to 22 crossings. Following an approach of Yamada, we generated knot diagrams by inserting algebraic tangles into Conway polyhedra, computed…

Geometric Topology · Mathematics 2020-04-07 Robert E. Tuzun , Adam S. Sikora

We present a faster direct sampling algorithm for random equilateral closed polygons in three-dimensional space. This method improves on the moment polytope sampling algorithm of Cantarella, Duplantier, Shonkwiler, and Uehara (2016) and has…

Statistical Mechanics · Physics 2025-06-02 Jason Cantarella , Henrik Schumacher , Clayton Shonkwiler

We introduce a new algebraic topological technique to detect non-fibred knots in the three sphere using the twisted Alexander invariants. As an application, we show that for any Seifert matrix of a knot with a nontrivial Alexander…

Geometric Topology · Mathematics 2007-05-23 Jae Choon Cha

Our goal is to one day take a photo of a knot and have a phone automatically recognize it. In this expository work, we explain a strategy to approximate this goal, using a mixture of modern machine learning methods (in particular…

Machine Learning · Computer Science 2025-10-09 Anne Dranowski , Yura Kabkov , Daniel Tubbenhauer

Deep neural networks provide unprecedented performance gains in many real world problems in signal and image processing. Despite these gains, future development and practical deployment of deep networks is hindered by their blackbox nature,…

Image and Video Processing · Electrical Eng. & Systems 2020-08-10 Vishal Monga , Yuelong Li , Yonina C. Eldar

We explore under what conditions one can obtain a nontrivial knot, given a collection of $n$ vectors. First, we show how to get a crossing from any 3 vectors equal in magnitude, by arbitrarily picking 2 vectors and identifying the…

Geometric Topology · Mathematics 2016-12-21 Joseph Borgatti

We revisit the algorithmic problem of finding a triangle in a graph: We give a randomized combinatorial algorithm for triangle detection in a given $n$-vertex graph with $m$ edges running in $O(n^{7/3})$ time, or alternatively in…

Data Structures and Algorithms · Computer Science 2024-03-08 Adrian Dumitrescu

A simple-triangle graph is the intersection graph of triangles that are defined by a point on a horizontal line and an interval on another horizontal line. The time complexity of the recognition problem for simple-triangle graphs was a…

Discrete Mathematics · Computer Science 2018-09-20 Asahi Takaoka

Untangling ropes, wires, and cables is a challenging task for robots due to the high-dimensional configuration space, visual homogeneity, self-occlusions, and complex dynamics. We consider dense (tight) knots that lack space between…