Source author record

Sam Nelson

Sam Nelson 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

38works
2topics
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

38 published item(s)

preprint2022arXiv

$Δ$-Tribrackets and Link Homotopy

We define a type of Niebrzydowski tribracket we call $Δ$-tribrackets and show that their counting invariants are invariants of link-homotopy. We further identify several classes of tribrackets whose counting invariants for oriented classical knots and links are trivial, including vertical tribrackets satisfying the center-involutory condition and horizontal tribrackets satisfying the late-commutativity condition. We provide examples and end with questions for future research.

preprint2022arXiv

Bikei Module Invariants of Unoriented Surface-Links

We extend our previous work from arXiv:1903.06863 on biquandle module invariants of oriented surface-links to the case of unoriented surface-links using bikei modules. The resulting infinite family of enhanced invariants proves be effective at distinguishing unoriented and especially non-orientable surface-links; in particular, we show that these invariants are more effective than the bikei homset cardinality invariant alone at distinguishing non-orientable surface-links. Moreover, as another application we note that our previous biquandle modules which do not satisfy the bikei module axioms are capable of distinguishing different choices of orientation for orientable surface-links as well as classical and virtual links.

preprint2022arXiv

Skew Brace Enhancements

We use the structure of skew braces to enhance the biquandle counting invariant for virtual knots and links for finite biquandles defined from skew braces. We introduce two new invariants: a single-variable polynomial using skew brace ideals and a two-variable polynomial using the skew brace group structures. We provide examples to show that the new invariants are not determined by the counting invariant and hence are proper enhancements.

preprint2021arXiv

Legendrian Rack Invariants of Legendrian Knots

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.

preprint2021arXiv

Tribracket Polynomials

We introduce a six-variable polynomial invariant of Niebrzydowski tribrackets analogous to quandle,rack and biquandle polynomials. Using the subtribrackets of a tribracket, we additionally define subtribracket polynomials and establish a sufficient condition for isomorphic subtribrackets to have the same polynomial regardless of their embedding in the ambient tribracket. As an application, we enhance the tribracket counting invariant of knots and links using subtribracket polynomials and provide examples to demonstrate that this enhancement is proper.

preprint2020arXiv

Kaestner Brackets

We introduce \textit{Kaestner brackets}, a generalization of biquandle brackets to the case of parity biquandles. This infinite set of quantum enhancements of the biquandle counting invariant for oriented virtual knots and links includes the classical quantum invariants, the quandle and biquandle $2$-cocycle invariants and the classical biquandle brackets as special cases, coinciding with them for oriented classical knots and links but defining generally stronger invariants for oriented virtual knots and links. We provide examples to illustrate the computation of the new invariant and to show that it is stronger than the classical biquandle bracket invariant for virtual knots.

preprint2016arXiv

Parity Biquandle Invariants of Virtual Knots

We define counting and cocycle enhancement invariants of virtual knots using parity biquandles. These invariants are determined by pairs consisting of a biquandle 2-cocycle ϕ^0 and a map ϕ^1 with certain compatibility conditions leading to one-variable or two-variable polynomial invariants of virtual knots. We provide examples to show that the parity cocycle invariants can distinguish virtual knots which are not distinguished by the corresponding non-parity invariants.

preprint2016arXiv

Partially Multiplicative Biquandles and Handlebody-Knots

We introduce several algebraic structures related to handlebody-knots, including $G$-families of biquandles, partially multiplicative biquandles and group decomposable biquandles. These structures can be used to color the semiarcs in $Y$-oriented spatial trivalent graph diagrams representing $S^1$-oriented handlebody-knots to obtain computable invariants for handlebody-knots and handlebody-links. In the case of $G$-families of biquandles, we enhance the counting invariant using the group $G$ to obtain a polynomial invariant of handlebody-knots.

preprint2015arXiv

Bikei Invariants and Gauss Diagrams for Virtual Knotted Surfaces

Marked vertex diagrams provide a combinatorial way to represent knotted surfaces in $\mathbb{R}^4$; including virtual crossings allows for a theory of virtual knotted surfaces and virtual cobordisms. Biquandle counting invariants are defined only for marked vertex diagrams representing knotted orientable surfaces; we extend these invariants to all virtual marked vertex diagrams by considering colorings by involutory biquandles, also known as bikei. We introduce a way of representing marked vertex diagrams with Gauss diagrams and use these to characterize orientability.

preprint2015arXiv

Finite Type Enhancements

We enhance the biquandle counting invariant using elements of truncated biquandle-labeled Polyak algebras. These finite type enhancements reduce to the finite type enhancements defined by Goussarov, Polyak and Viro for the trivial biquandle of one element and determine (but are not determined by) the biquandle counting invariant for general biquandles. Unlike the unlabeled case, biquandle labeled finite type invariants of degree 1 are nontrivial and are related to biquandle cocycle invariants.

preprint2014arXiv

Hom Quandles

If $A$ is an abelian quandle and $Q$ is a quandle, the hom set $\mathrm{Hom}(Q,A)$ of quandle homomorphisms from $Q$ to $A$ has a natural quandle structure. We exploit this fact to enhance the quandle counting invariant, providing an example of links with the same counting invariant values but distinguished by the hom quandle structure. We generalize the result to the case of biquandles, collect observations and results about abelian quandles and the hom quandle, and show that the category of abelian quandles is symmetric monoidal closed.

preprint2014arXiv

Polynomial Birack Modules

Birack modules are modules over an algebra Z[X] associated to a finite birack X. In previous work, birack module structures on Z mod n were used to enhance the birack counting invariant. In this paper, we use birack modules over Laurent polynomial rings Z_n[q,1/q] to enhance the birack counting invariant, defining a customized Alexander polynomial-style signature for each X-labeled diagram; the multiset of these polynomials is an enhancement of the birack counting invariant. We provide examples to demonstrate that the new invariant is stronger than the unenhanced birack counting invariant and is not determined by the generalized Alexander polynomial.

preprint2014arXiv

Quantum Enhancements of Involutory Birack Counting Invariants

The involutory birack counting invariant is an integer-valued invariant of unoriented tangles defined by counting homomorphisms from the fundamental involutory birack of the tangle to a finite involutory birack over a set of framings modulo the birack rank of the labeling birack. In this first of an anticipated series of several papers, we enhance the involutory birack counting invariant with quantum weights, which may be understood as tangle functors of involutory birack-labeled unoriented tangles.

preprint2014arXiv

Quotient Quandles and the Fundamental Latin Alexander Quandle

Defined by Joyce and Matveev, the fundamental quandle is a complete invariant of oriented classical knots. We consider invariants of knots defined from quotients of the fundamental quandle. In particular, we introduce the fundamental Latin Alexander quandle of a knot and consider its Gröbner basis-valued invariants, which generalize the Alexander polynomial. We show via example that the invariant is not determined by the generalized Alexander polynomial for virtual knots.

preprint2013arXiv

Augmented Biracks and their Homology

We introduce augmented biracks and define a (co)homology theory associated to augmented biracks. The new homology theory extends the previously studied Yang-Baxter homology with a combinatorial formulation for the boundary map and specializes to $N$-reduced rack homology when the birack is a rack. We introduce augmented birack 2-cocycle invariants of classical and virtual knots and links and provide examples.

preprint2013arXiv

Link invariants from finite racks

We define ambient isotopy invariants of oriented knots and links using the counting invariants of framed links defined by finite racks. These invariants reduce to the usual quandle counting invariant when the rack in question is a quandle. We are able to further enhance these counting invariants with 2-cocycles from the coloring rack's second rack cohomology satisfying a new degeneracy condition which reduces to the usual case for quandles.

preprint2012arXiv

Birack Dynamical Cocycles and Homomorphism Invariants

Biracks are algebraic structures related to knots and links. We define a new enhancement of the birack counting invariant for oriented classical and virtual knots and links via algebraic structures called birack dynamical cocycles. The new invariants can also be understood in terms of partitions of the set of birack labelings of a link diagram determined by a homomorphism $p:X\to Y$ between finite labeling biracks. We provide examples to show that the new invariant is stronger than the unenhanced birack counting invariant and examine connections with other knot and link invariants.

preprint2012arXiv

Birack modules and their link invariants

We extend the rack algebra Z[X] defined by Andruskiewitsch and Grana to the case of biracks, enabling a notion of birack modules. We use these birack modules to define an enhancement of the birack counting invariant generalizing the birack module counting invariant in [8]. We provide examples demonstrating that the enhanced invariant is not determined by the Jones or Alexander polynomials and is strictly stronger than the unenhanced birack counting invariant.

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

Twisted virtual biracks and their twisted virtual link invariants

A virtual link can be understood as a link in a trivial I-bundle over an orientable compact surface with genus. A twisted virtual link is a link in a trivial I-bundle over a not-necessarily orientable compact surface. A twisted virtual birack is an algebraic structure with axioms derived from the twisted virtual Reidemeister moves. We extend a method previously used with racks and biracks to the twisted case to define computable invariants of twisted virtual links using finite twisted virtual biracks with birack rank $N\ge 1$. As an application, we classify twist structures on the virtual Hopf link.

preprint2012arXiv

Virtual shadow modules and their link invariants

We introduce an algebra Z[X,S] associated to a pair (X,S) of a virtual birack X and X-shadow S. We use modules over Z[X,S] to define enhancements of the virtual birack shadow counting invariant, extending the birack shadow module invariants to virtual case. We repeat this construction for the twisted virtual case. As applications, we show that the new invariants can detect orientation reversal and are not determined by the knot group, the Arrow polynomial and the Miyazawa polynomial, and that the twisted version is not determined by the twisted Jones polynomial.

preprint2011arXiv

(t,s)-racks and their link invariants

A (t,s)-rack is a rack structure defined on a module over the ring $\ddotΛ=\mathbb{Z}[t^{\pm 1},s]/(s^2-(1-t)s)$. We identify necessary and sufficient conditions for two $(t,s)$-racks to be isomorphic. We define enhancements of the rack counting invariant using the structure of (t,s)-racks and give some computations and examples. As an application, we use these enhanced invariants to obtain obstructions to knot ordering.

preprint2011arXiv

Bikei, Involutory Biracks and unoriented link invariants

We identify a subcategory of biracks which define counting invariants of unoriented links, which we call involutory biracks. In particular, involutory biracks of birack rank N=1 are biquandles, which we call bikei. We define counting invariants of unoriented classical and virtual links using finite involutory biracks, and we give an example of a non-involutory birack whose counting invariant detects the non-invertibility of a virtual knot.

preprint2011arXiv

Kei modules and unoriented link invariants

We define invariants of unoriented knots and links by enhancing the integral kei counting invariant Phi_X^Z (K) for a finite kei X using representations of the kei algebra, Z_K[X], a quotient of the quandle algebra Z[X] defined by Andruskiewitsch and Grana. We give an example that demonstrates that the enhanced invariant is stronger than the unenhanced kei counting invariant. As an application, we use a quandle module over the Takasaki kei on Z_3 which is not a Z_K[X]-module to detect the non-invertibility of a virtual knot.

preprint2011arXiv

N-Degeneracy in rack homology and link invariants

The aim of this paper is to define a homology theory for racks with finite rank N and use it to define invariants of knots generalizing the CJKLS 2-cocycle invariants related to the invariants defined in [15]. For this purpose, we prove that N -degenerate chains form a sub-complex of the classical complex defining rack homology. If a rack has rack rank N = 1 then it is a quandle and our homology theory coincides with the CKJLS homology theory [6]. Nontrivial cocycles are used to define invariants of knots and examples of calculations for classical knots with up to 8 crossings and classical links with up to 7 crossings are provided.

preprint2010arXiv

Link invariants from finite biracks

A birack is an algebraic structure with axioms encoding the blackboard-framed Reidemeister moves, incorporating quandles, racks, strong biquandles and semiquandles as special cases. In this paper we extend the counting invariant for finite racks to the case of finite biracks. We introduce a family of biracks generalizing Alexander quandles, $(t,s)$-racks, Alexander biquandles and Silver-Williams switches, known as $(τ,σ,ρ)$-biracks. We consider enhancements of the counting invariant using writhe vectors, image subbiracks, and birack polynomials.

preprint2010arXiv

Rack Module Enhancements of Counting Invariants

We introduce a modified rack algebra Z[X] for racks X with finite rack rank N. We use representations of Z[X] into rings, known as rack modules, to define enhancements of the rack counting invariant for classical and virtual knots and links. We provide computations and examples to show that the new invariants are strictly stronger than the unenhanced counting invariant and are not determined by the Jones or Alexander polynomials.

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.

preprint2005arXiv

Signed ordered knotlike quandle presentations

We define enhanced presentations of quandles via generators and relations with additional information comprising signed operations and an order structure on the set of generators. Such a presentation determines a virtual link diagram up to virtual moves. We list formal Reidemeister moves in which Tietze moves on the presented quandle are accompanied by corresponding changes to the order structure. Omitting the order structure corresponds to replacing virtual isotopy by welded isotopy.