Related papers: Every Reidemeister move is needed for each knot ty…

We determine the adjoint Reidemeister torsion of a $3$-manifold obtained by some Dehn surgery along $K$, where $K$ is either the figure-eight knot or the $5_2$-knot. As in a vanishing conjecture, we consider a similar conjecture and show…

We show that every canonical Seifert surface is (up to isotopy) given by a knot diagram in which the (open) Seifert disks are pairwise disjoint.

For a knot $K$ with $\Delta_K(t)\doteq t^2-3t+1$ in a homology $3$-sphere, let $M$ be the result of $2/q$-surgery on $K$. We show that appropriate assumptions on the Reidemeister torsion and the Casson-Walker-Lescop invariant of the…

We introduce a new knot diagram invariant called the Self-Crossing Index (SCI). Using SCI, we provide bounds for unknotting two families of framed unknots. For one of these families, unknotting using framed Reidemeister moves is…

Let K be the family of graphs on omega_1 without cliques or independent subsets of size omega_1 . We prove that: 1) it is consistent with CH that every G in K has 2^{omega_1} many pairwise non-isomorphic subgraphs, 2) the following…

We have two results. First, we give 96 generating sets oriented singular Reidemeister moves; it is an answer to a question by Bataineh, Khaled, Elhamdadi, and Hajij who give a generating set of oriented singular Reidemeister moves using…

Let $\alpha$ be a map from the set of all knot types ${\mathcal K}$ to a set $X$. Let $\beta$ be a map from ${\mathcal K}$ to a set $Y$. We define the relation between $\alpha$ and $\beta$ to be the image of a map $(\alpha,\beta)$ from…

A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor…

We show that some ternary quasigroups appear naturally as invariants of classical links and links on surfaces. We also note how to obtain from them invariants of Yoshikawa moves. In our previous paper, we defined homology theory for…

Seidel's switching is a graph operation which makes a given vertex adjacent to precisely those vertices to which it was non-adjacent before, while keeping the rest of the graph unchanged. Two graphs are called switching-equivalent if one…

We show that if one of various cycle types occurs in the permutation action of a finite group on the cosets of a given subgroup, then every almost conjugate subgroup is conjugate. As a number theoretic application, corresponding…

Every link in R^3 can be represented by a one-vertex ribbon graph. We prove a Markov type theorem on this subset of link diagrams.

This paper develops a form of finite knot theory as a diagrammatic sequel to the ideal-stratum and deformation-persistence framework for knot types. Thick representatives in bounded ropelength sublevel spaces are studied through the finite…

We prove that fibred knots cannot be untied with $\bar{t}_{2k}$-moves, for all $k \geq 2$. More generally, we give an upper bound on the number of two strand twist operations that allow to untie a knot with non-trivial HOMFLY polynomial, in…

In 2000, Thomas Fink and Young Mao studied neck ties and, with certain assumptions, found 85 different ways to tie a neck tie. They gave a formal language which describes how a tie is made, giving a sequence of moves for each neck tie. The…

Given an $n$-vertex graph and two straight-line planar drawings of the graph that have the same faces and the same outer face, we show that there is a morph (i.e., a continuous transformation) between the two drawings that preserves…

This article surveys many aspects of the theory of quandles which algebraically encode the Reidemeister moves. In addition to knot theory, quandles have found applications in other areas which are only mentioned in passing here. The main…

We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks,…

Given a knot and an SL(n,C) representation of its group that is conjugate to its dual, the representation that replaces each matrix with its inverse-transpose, the associated twisted Reidemeister torsion is reciprocal. An example is given…

We study collections of planar curves that yield diagrams for all knots. In particular, we show that a very special class called potholder curves carries all knots. This has implications for realizing all knots and links as special types of…