Searcharxiv⌕ Search

arXiv subjects

Allison Henrich

Publications and source records attributed to Allison Henrich.

17 recordsLinked to original sources
arXiv2020

Virtual Mosaic Knot Theory

Mosaic diagrams for knots were first introduced in 2008 by Lomanoco and Kauffman for the purpose of building a quantum knot system. Since then, many others have explored the structure of these knot mosaic diagrams, as they are interesting objects of study in their own right. Knot mosaics have been generalized by Garduño to virtual knots, by including an additional tile type to represent virtual crossings. There is another interpretation of virtual knots, however, as knot diagrams on surfaces, which inspires this work. By viewing classical mosaic diagrams as $4n$-gons and gluing edges of these polygons, we obtain knots on surfaces that can be viewed as virtual knots. These virtual mosaics are our present objects of study. In this paper, we provide a set of moves that can be performed on virtual mosaics that preserve knot and link type, we show that any virtual knot or link can be represented as a virtual mosaic, and we provide several computational results related to virtual mosaic numbers for small classical and virtual knots.

math.GT↗
arXiv2020

Petal Projections, Knot Colorings and Determinants

An \"{u}bercrossing diagram is a knot diagram with only one crossing that may involve more than two strands of the knot. Such a diagram without any nested loops is called a petal projection. Every knot has a petal projection from which the knot can be recovered using a permutation that represents strand heights. Using this permutation, we give an algorithm that determines the $p$-colorability and the determinants of knots from their petal projections. In particular, we compute the determinants of all prime knots with crossing number less than 10 from their petal permutations.

math.GT↗
arXiv2019

The Region Smoothing Swap Game

We introduce a topological combinatorial game called the Region Smoothing Swap Game. The game is played on a game board derived from the connected shadow of a link diagram on a (possibly non-orientable) surface by smoothing at crossings. Moves in the game are performed on regions of the diagram and can switch the direction of certain crossings' smoothing. The players' goals relate to the connectedness of the diagram produced by game play.

math.CO↗
arXiv2017

Knot Fertility and Lineage

In this paper, we introduce a new type of relation between knots called the descendant relation. One knot $H$ is a descendant of another knot $K$ if $H$ can be obtained from a minimal crossing diagram of $K$ by some number of crossing changes. We explore properties of the descendant relation and study how certain knots are related, paying particular attention to those knots, called fertile knots, that have a large number of descendants. Furthermore, we provide computational data related to various notions of knot fertility and propose several open questions for future exploration.

math.GT↗
arXiv2014

The Signed Weighted Resolution Set is Not a Complete Pseudoknot Invariant

When the signed weighted resolution set was defined as an invariant of pseudoknots, it was unknown whether this invariant was complete. Using the Gauss-diagrammatic invariants of pseudoknots introduced by Dorais et al, we show that the signed were-set cannot distinguish all non-equivalent pseudoknots. This goal is achieved through studying the effects of a flype-like local move on a pseudodiagram.

math.GT↗
arXiv2014

Minimal Diagrams of Free Knots

Manturov recently introduced the idea of a free knot, i.e. an equivalence class of virtual knots where equivalence is generated by crossing change and virtualization moves. He showed that if a free knot diagram is associated to a graph that is irreducibly odd, then it is minimal with respect to the number of classical crossings. Not all minimal diagrams of free knots are associated to irreducibly odd graphs, however. We introduce a family of free knot diagrams that arise from certain permutations that are minimal but not irreducibly odd.

math.CO↗
arXiv2013

Isotopy and Homotopy Invariants of Classical and Virtual Pseudoknots

Pseudodiagrams are knot or link diagrams where some of the crossing information is missing. Pseudoknots are equivalence classes of pseudodiagrams, where equivalence is generated by a natural set of Reidemeister moves. In this paper, we introduce a Gauss-diagrammatic theory for pseudoknots which gives rise to the notion of a virtual pseudoknot. We provide new, easily computable isotopy and homotopy invariants for classical and virtual pseudodiagrams. We also give tables of unknotting numbers for homotopically trivial pseudoknots and homotopy classes of homotopically nontrivial pseudoknots. Since pseudoknots are closely related to singular knots, this work also has implications for the classification of classical and virtual singular knots.

math.GT↗
arXiv2013

On the Coloring of Pseudoknots

Pseudodiagrams are diagrams of knots where some information about which strand goes over/under at certain crossings may be missing. Pseudoknots are equivalence classes of pseudodiagrams, with equivalence defined by a class of Reidemeister-type moves. In this paper, we introduce two natural extensions of classical knot colorability to this broader class of knot-like objects. We use these definitions to define the determinant of a pseudoknot (i.e. the pseudodeterminant) that agrees with the classical determinant for classical knots. Moreover, we extend Conway notation to pseudoknots to facilitate the investigation of families of pseudoknots and links. The general formulae for pseudodeterminants of pseudoknot families may then be used as a criterion for p-colorability of pseudoknots.

math.GT↗
arXiv2012

The Theory of Pseudoknots

Classical knots in $\mathbb{R}^3$ can be represented by diagrams in the plane. These diagrams are formed by curves with a finite number of transverse crossings, where each crossing is decorated to indicate which strand of the knot passes over at that point. A pseudodiagram is a knot diagram that may be missing crossing information at some of its crossings. At these crossings, it is undetermined which strand passes over. Pseudodiagrams were first introduced by Ryo Hanaki in 2010. Here, we introduce the notion of a pseudoknot, i.e. an equivalence class of pseudodiagrams under an appropriate choice of Reidemeister moves. In order to begin a classification of pseudoknots, we introduce the concept of a weighted resolution set, an invariant of pseudoknots. We compute the weighted resolution set for several pseudoknot families and discuss notions of crossing number, homotopy, and chirality for pseudoknots.

math.GT↗
arXiv2012

The Link Smoothing Game

We introduce a topological combinatorial game called the Link Smoothing Game. The game is played on the shadow of a link diagram and legal moves consist of smoothing precrossings. One player's goal is to keep the diagram connected while the other player's goal is to disconnect the shadow. We make significant progress towards a complete classification of link shadows into outcome classes by capitalizing on the relationship between link shadows and the planar graphs associated to their checkerboard colorings.

math.CO↗
arXiv2012

Polynomial knot and link invariants from the virtual biquandle

The Alexander biquandle of a virtual knot or link is a module over a 2-variable Laurent polynomial ring which is an invariant of virtual knots and links. The elementary ideals of this module are then invariants of virtual isotopy which determine both the generalized Alexander polynomial (also known as the Sawollek polynomial) for virtual knots and the classical Alexander polynomial for classical knots. For a fixed monomial ordering $<$, the Gröbner bases for these ideals are computable, comparable invariants which fully determine the elementary ideals and which generalize and unify the classical and generalized Alexander polynomials. We provide examples to illustrate the usefulness of these invariants and propose questions for future work.

math.GT↗
arXiv2011

Unknotting Unknots

A knot is an an embedding of a circle into three-dimensional space. We say that a knot is unknotted if there is an ambient isotopy of the embedding to a standard circle. By representing knots via planar diagrams, we discuss the problem of unknotting a knot diagram when we know that it is unknotted. This problem is surprisingly difficult, since it has been shown that knot diagrams may need to be made more complicated before they may be simplified. We do not yet know, however, how much more complicated they must get. We give an introduction to the work of Dynnikov who discovered the key use of arc--presentations to solve the problem of finding a way to detect the unknot directly from a diagram of the knot. Using Dynnikov's work, we show how to obtain a quadratic upper bound for the number of crossings that must be introduced into a sequence of unknotting moves. We also apply Dynnikov's results to find an upper bound for the number of moves required in an unknotting sequence.

math.GT↗
arXiv2010

A Midsummer Knot's Dream

In this paper, we introduce playing games on shadows of knots. We demonstrate two novel games, namely, To Knot or Not to Knot and Much Ado about Knotting. We also discuss winning strategies for these games on certain families of knot shadows. Finally, we suggest variations of these games for further study.

math.GT↗
arXiv2010

Classical and Virtual Pseudodiagram Theory and New Bounds on Unknotting Numbers and Genus

A pseudodiagram is a diagram of a knot with some crossing information missing. We review and expand the theory of pseudodiagrams introduced by R. Hanaki. We then extend this theory to the realm of virtual knots, a generalization of knots. In particular, we investigate how much crossing information must be known to conclude that a diagram is a diagram of the unknot (the trivializing number). We also consider how much information is necessary to identify a non-trivial knot, a classical knot, or a non-classical knot. We then apply pseudodiagram theory to develop new upper bounds on unknotting number, virtual unknotting number, and genus.

math.GT↗
arXiv2009

Semiquandles and flat virtual knots

We introduce an algebraic structure we call semiquandles whose axioms are derived from flat Reidemeister moves. Finite semiquandles have associated counting invariants and enhanced invariants defined for flat virtual knots and links. We also introduce singular semiquandles and virtual singular semiquandles which define invariants of flat singular virtual knots and links. As an application, we use semiquandle invariants to compare two Vassiliev invariants.

math.GT↗
arXiv2008

A Sequence of Degree One Vassiliev Invariants for Virtual Knots

For ordinary knots in R3, there are no degree one Vassiliev invariants. For virtual knots, however, the space of degree one Vassiliev invariants is infinite dimensional. We introduce a sequence of three degree one Vassiliev invariants of virtual knots of increasing strength. We demonstrate that the strongest invariant is a universal Vassiliev invariant of degree one for virtual knots in the sense that any other degree one Vassiliev invariant can be recovered from it by a certain natural construction. To prove these results, we extend the based matrix invariant introduced by Turaev for virtual strings to the class of singular virtual knots with one double-point.

math.GT↗