Source author record

Allison Henrich

Allison Henrich appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2021arXiv

Petal Projections, Knot Colorings and Determinants

An ü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.

preprint2020arXiv

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.

preprint2016arXiv

Tangle Insertion Invariants for Pseudoknots, Singular Knots, and Rigid Vertex Spatial Graphs

The notion of a pseudoknot is defined as an equivalence class of knot diagrams that may be missing some crossing information. We provide here a topological invariant schema for pseudoknots and their relatives, 4-valent rigid vertex spatial graphs and singular knots, that is obtained by replacing unknown crossings or vertices by rational tangles.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2011arXiv

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.

preprint2010arXiv

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.

preprint2009arXiv

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.

preprint2008arXiv

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.