• Kyungpook Mathematical Journal
• /
• v.62 no.2
• /
• pp.347-361
• /
• 2022

Two virtual knot diagrams are said to be equivalent, if there is a sequence S of Reidemeister moves and virtual moves relating them. The difference of writhes of the two virtual knot diagrams gives a lower bound for the number of the first Reidemeister moves in S. In previous work, we introduced a polynomial q_K(t) for a virtual knot diagram K which gave a lower bound for the number of the third Reidemeister moves in the sequence S. In this paper we define a new polynomial from a coloring of a virtual knot diagram. Using this polynomial, we give a lower bound for the number of the second Reidemeister moves in S. The polynomial also suggests the design of the sequence S.

• Kyungpook Mathematical Journal
• /
• v.57 no.1
• /
• pp.145-161
• /
• 2017

If a virtual knot diagram can be transformed to another virtual one by a finite sequence of crossing changes, Reidemeister moves and virtual moves then the two virtual knot diagrams are said to be homotopic. There are infinitely many homotopy classes of virtual knot diagrams. We give necessary conditions by using polynomial invariants of virtual knots for two virtual knots to be homotopic. For a sequence S of crossing changes, Reidemeister moves and virtual moves between two homotopic virtual knot diagrams, we give a lower bound for the number of crossing changes in S by using the affine index polynomial introduced in [13]. In [10], the first author gave the q-polynomial of a virtual knot diagram to find Reidemeister moves of virtually isotopic virtual knot diagrams. We find how to apply Reidemeister moves by using the q-polynomial to show homotopy of two virtual knot diagrams.

• East Asian mathematical journal
• /
• v.25 no.4
• /
• pp.487-494
• /
• 2009

We show that if two virtual link diagrams which are normal are equivalent under generalized Reidemeister moves, then they are equivalent under generalized Reidemeister moves preserving the normality of diagrams.

• Communications of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.223-245
• /
• 2024

We study RNA foldings and investigate their topology using a combination of knot theory and embedded rigid vertex graphs. Knot theory has been helpful in modeling biomolecules, but classical knots emphasize a biomolecule's entanglement while ignoring their intrachain interactions. We remedy this by using stuck knots and links, which provide a way to emphasize both their entanglement and intrachain interactions. We first give a generating set of the oriented stuck Reidemeister moves for oriented stuck links. We then introduce an algebraic structure to axiomatize the oriented stuck Reidemeister moves. Using this algebraic structure, we define a coloring counting invariant of stuck links and provide explicit computations of the invariant. Lastly, we compute the counting invariant for arc diagrams of RNA foldings through the use of stuck link diagrams.

• Kyungpook Mathematical Journal
• /
• v.55 no.2
• /
• pp.485-506
• /
• 2015

Every classical or virtual knot is equivalent to the unknot via a sequence of extended Reidemeister moves and the so-called forbidden moves. The minimum number of forbidden moves necessary to unknot a given knot is an invariant we call the forbidden number. We relate the forbidden number to several known invariants, and calculate bounds for some classes of virtual knots.

• Communications of the Korean Mathematical Society
• /
• v.36 no.3
• /
• pp.623-639
• /
• 2021

We define a new algebraic structure called Legendrian racks or racks with Legendrian structure, motivated by the front-projection Reidemeister moves for Legendrian knots. We provide examples of Legendrian racks and use these algebraic structures to define invariants of Legendrian knots with explicit computational examples. We classify Legendrian structures on racks with 3 and 4 elements. We use Legendrian racks to distinguish certain Legendrian knots which are equivalent as smooth knots.