Showing 1–50 of 106 results for author: Nelson, S

Quandle Action Quivers

Authors: Mason Cai, Sam Nelson

Abstract: Quandle Coloring Quivers are directed graph-valued invariants of classical and virtual knots and links associated to finite quandles. Quandle action quivers are subquivers of the full quandle coloring quiver associated to quandle actions by elements of the coloring quandle. These quivers provide a categorification of the quandle counting invariant associated to each element of the quandle. We obta… ▽ More Quandle Coloring Quivers are directed graph-valued invariants of classical and virtual knots and links associated to finite quandles. Quandle action quivers are subquivers of the full quandle coloring quiver associated to quandle actions by elements of the coloring quandle. These quivers provide a categorification of the quandle counting invariant associated to each element of the quandle. We obtain new polynomial invariants called quandle action polynomials from these quivers as decategorifications. △ Less

Submitted 29 March, 2024; originally announced April 2024.

Comments: 8 pages

MSC Class: 57K12

Richard A. Litherland: A Brief Biography

Authors: Alison Litherland, Patrick Litherland, Sam Nelson, Steven Wallace

Abstract: Richard A. Litherland was born in 1953 in England. He received his PhD at Trinity College in Cambridge in 1979 and moved to the USA in 1983. He had a lengthy and distinguished career as a professor of mathematics and researcher of low-dimensional topology, based primarily at Louisiana State University (LSU) in Baton Rouge until his untimely passing in November 2022. In this paper we (Rick's family… ▽ More Richard A. Litherland was born in 1953 in England. He received his PhD at Trinity College in Cambridge in 1979 and moved to the USA in 1983. He had a lengthy and distinguished career as a professor of mathematics and researcher of low-dimensional topology, based primarily at Louisiana State University (LSU) in Baton Rouge until his untimely passing in November 2022. In this paper we (Rick's family and students) recount some memories of Rick, his life and his mathematics. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Comments: 9 pages

MSC Class: 01A99; 57K10

Biquandle Power Brackets

Authors: Neslihan Gügümcü, Sam Nelson

Abstract: In this paper, we introduce biquandle power brackets, an infinite family of invariants of oriented links containing the classical skein invariants and the quandle and biquandle 2-cocycle invariants as special cases. Biquandle power brackets are generalizations of biquandle brackets in which the values of Kauffman states also depend on the biquandle colors they admit. We provide example computation… ▽ More In this paper, we introduce biquandle power brackets, an infinite family of invariants of oriented links containing the classical skein invariants and the quandle and biquandle 2-cocycle invariants as special cases. Biquandle power brackets are generalizations of biquandle brackets in which the values of Kauffman states also depend on the biquandle colors they admit. We provide example computations and discuss the relationship between these new invariants and the previous cases. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Comments: 14 pages

MSC Class: 57K12

MC-Biquandles and MC-Biquandle Coloring Quivers

Authors: Seonmi Choi, Sam Nelson

Abstract: We introduce the notion of mc-biquandles, algebraic structures which have possibly distinct biquandle operations at single-component and multi-component crossings. These structures provide computable homset invariants for classical and virtual links. We categorify these homsets to obtain mc-biquandle coloring quivers and define several new link invariants via decategorification from these invarian… ▽ More We introduce the notion of mc-biquandles, algebraic structures which have possibly distinct biquandle operations at single-component and multi-component crossings. These structures provide computable homset invariants for classical and virtual links. We categorify these homsets to obtain mc-biquandle coloring quivers and define several new link invariants via decategorification from these invariant quivers. △ Less

Submitted 30 June, 2024; v1 submitted 1 November, 2023; originally announced November 2023.

Comments: 12 pages. Version 3 includes clarifications and improvements in response to reviewer comments

Biquandle Brackets and Quivers

Authors: Sam Nelson

Abstract: In this brief expository article we review the background for biquandle bracket quivers -- including biquandles, biquandle homsets, biquandle coloring quivers and biquandle brackets -- for a talk at the 70th Topology Symposium at Nara Women's University in August 2023. In this brief expository article we review the background for biquandle bracket quivers -- including biquandles, biquandle homsets, biquandle coloring quivers and biquandle brackets -- for a talk at the 70th Topology Symposium at Nara Women's University in August 2023. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: 8 pages

MSC Class: 57K12

Entropic Niebrzydowski Tribrackets

Authors: Jieon Kim, Sam Nelson

Abstract: We introduce the notion of entropic Niebrzydowski tribrackets or just entropic tribrackets, analogous to entropic (also known as abelian or medial ) quandles and biquandles. We show that if X is a finite entropic tribracket then for any tribracket T , the homset Hom(T, X) (and in particular, for any oriented link L, the homset Hom(T (L), X)) also has the structure of an entropic tribracket. This o… ▽ More We introduce the notion of entropic Niebrzydowski tribrackets or just entropic tribrackets, analogous to entropic (also known as abelian or medial ) quandles and biquandles. We show that if X is a finite entropic tribracket then for any tribracket T , the homset Hom(T, X) (and in particular, for any oriented link L, the homset Hom(T (L), X)) also has the structure of an entropic tribracket. This operation yields a product on the category of entropic tribrackets; we compute the operation table for entropic tribrackets of small cardinality and prove a few results. We conjecture that this structure can be used to distinguish links which have the same counting invariant with respect to a chosen entropic coloring tribracket X. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Comments: 10 pages

MSC Class: 57K12

A Quasi-Conforming Embedded Reproducing Kernel Particle Method for Heterogeneous Materials

Authors: Ryan T. Schlinkman, Jonghyuk Baek, Frank N. Beckwith, Stacy M. Nelson, J. S. Chen

Abstract: We present a quasi-conforming embedded reproducing kernel particle method (QCE-RKPM) for modeling heterogeneous materials that makes use of techniques not available to mesh-based methods such as the finite element method (FEM) and avoids many of the drawbacks in current embedded and immersed formulations which are based on meshed methods. The different material domains are discretized independentl… ▽ More We present a quasi-conforming embedded reproducing kernel particle method (QCE-RKPM) for modeling heterogeneous materials that makes use of techniques not available to mesh-based methods such as the finite element method (FEM) and avoids many of the drawbacks in current embedded and immersed formulations which are based on meshed methods. The different material domains are discretized independently thus avoiding time-consuming, conformal meshing. In this approach, the superposition of foreground (inclusion) and background (matrix) domain integration smoothing cells are corrected by a quasi-conforming quadtree subdivision on the background integration smoothing cells. Due to the non-conforming nature of the background integration smoothing cells near the material interfaces, a variationally consistent (VC) correction for domain integration is introduced to restore integration constraints and thus optimal convergence rates at a minor computational cost. Additional interface integration smoothing cells with area (volume) correction, while non-conforming, can be easily introduced to further enhance the accuracy and stability of the Galerkin solution using VC integration on non-conforming cells. To properly approximate the weak discontinuity across the material interface by a penalty-free Nitsche's method with enhanced coercivity, the interface nodes on the surface of the foreground discretization are also shared with the background discretization. As such, there are no tunable parameters, such as those involved in the penalty type method, to enforce interface compatibility in this approach. The advantage of this meshfree formulation is that it avoids many of the instabilities in mesh-based immersed and embedded methods. The effectiveness of QCE-RKPM is illustrated with several examples. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Marked Graph Mosaics

Authors: Seonmi Choi, Sam Nelson

Abstract: We consider the notion of mosaic diagrams for surface-links using marked graph diagrams. We establish bounds, in some cases tight, on the mosaic numbers for the surface-links with ch-index up to 10. As an application, we use mosaic diagrams to enhance the kei counting invariant for unoriented surface-links as well as classical knots and links. We consider the notion of mosaic diagrams for surface-links using marked graph diagrams. We establish bounds, in some cases tight, on the mosaic numbers for the surface-links with ch-index up to 10. As an application, we use mosaic diagrams to enhance the kei counting invariant for unoriented surface-links as well as classical knots and links. △ Less

Submitted 31 December, 2022; originally announced January 2023.

Comments: 14 pages

MSC Class: 57k12

Biquandle Arrow Weight Enhacements

Authors: Sam Nelson, Migiwa Sakurai

Abstract: We introduce a new infinite family of enhancements of the biquandle homset invariant called biquandle arrow weights. These invariants assign weights in an abelian group to intersections of arrows in a Gauss diagram representing a classical or virtual knot depending on the biquandle colors associated to the arrows. We provide examples to show that the enhancements are nontrivial and proper, i.e., n… ▽ More We introduce a new infinite family of enhancements of the biquandle homset invariant called biquandle arrow weights. These invariants assign weights in an abelian group to intersections of arrows in a Gauss diagram representing a classical or virtual knot depending on the biquandle colors associated to the arrows. We provide examples to show that the enhancements are nontrivial and proper, i.e., not determined by the homset cardinality. △ Less

Submitted 17 April, 2023; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: 11 pages; Version 2 corrects an oversight pointed out the by the anonymous referee

MSC Class: 57K12

Bilinear Enhancements of Quandle Invariants

Authors: Will Gilroy, Sam Nelson

Abstract: We enhance the quandle counting invariants of oriented classical and virtual knots and links using a construction similar to quandle modules but inspired by symplectic quandle operations rather than Alexander quandle operations. Given a finite quandle $X$ and a vector space $V$ over a field, sets of bilinear forms on $V$ indexed by pairs of elements of $X$ satisfying certain conditions yield new e… ▽ More We enhance the quandle counting invariants of oriented classical and virtual knots and links using a construction similar to quandle modules but inspired by symplectic quandle operations rather than Alexander quandle operations. Given a finite quandle $X$ and a vector space $V$ over a field, sets of bilinear forms on $V$ indexed by pairs of elements of $X$ satisfying certain conditions yield new enhanced multiset- and polynomial-valued invariants of oriented classical and virtual knots and links. We provide examples to illustrate the computation of the invariants and to show that the enhancement is proper. △ Less

Submitted 14 April, 2023; v1 submitted 27 June, 2022; originally announced June 2022.

Comments: 9 pages. Version 2 includes typo corrections

MSC Class: 57K12

$Δ$-Tribrackets and Link Homotopy

Authors: Eric Chavez, Sam Nelson

Abstract: 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-commutat… ▽ More 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. △ Less

Submitted 27 June, 2022; v1 submitted 12 April, 2022; originally announced April 2022.

Comments: 9 pages; version 2 includes corrections and improvements suggested by referee

MSC Class: 57K12

Bikei Module Invariants of Unoriented Surface-Links

Authors: Yewon Joung, Sam Nelson

Abstract: 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… ▽ More 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. △ Less

Submitted 5 April, 2022; originally announced April 2022.

Comments: 10 pages

MSC Class: 57K12

Biracks and Switch Braid Quivers

Authors: Max Chao-Haft, Sam Nelson

Abstract: We consider birack and switch colorings of braids. We define a switch structure on the set of permutation representations of the braid group and consider when such a representation is a switch automorphism. We define quiver-valued invariants of braids using finite switches and biracks and use these to categorify the birack 2-cocycle invariant for braids. We obtain new polynomial invariants of brai… ▽ More We consider birack and switch colorings of braids. We define a switch structure on the set of permutation representations of the braid group and consider when such a representation is a switch automorphism. We define quiver-valued invariants of braids using finite switches and biracks and use these to categorify the birack 2-cocycle invariant for braids. We obtain new polynomial invariants of braids via decategorification of these quivers. △ Less

Submitted 30 June, 2024; v1 submitted 20 October, 2021; originally announced October 2021.

Comments: 16 pages. Version 2 includes changes suggested by referee

MSC Class: 57K12

Biquandle Bracket Quivers

Authors: Pia Cosma Falkenburg, Sam Nelson

Abstract: Biquandle brackets define invariants of classical and virtual knots and links using skein invariants of biquandle-colored knots and links. Biquandle coloring quivers categorify the biquandle counting invariant in the sense of defining quiver-valued enhancements which decategorify to the counting invariant. In this paper we unite the two ideas to define biquandle bracket quivers, providing new cate… ▽ More Biquandle brackets define invariants of classical and virtual knots and links using skein invariants of biquandle-colored knots and links. Biquandle coloring quivers categorify the biquandle counting invariant in the sense of defining quiver-valued enhancements which decategorify to the counting invariant. In this paper we unite the two ideas to define biquandle bracket quivers, providing new categorifications of biquandle brackets. In particular, our construction provides an infinite family of categorifications of the Jones polynomial and other classical skein invariants. △ Less

Submitted 11 September, 2021; originally announced September 2021.

Comments: 10 pages

MSC Class: 57K12

Skew Brace Enhancements

Authors: Melody Chang, Sam Nelson

Abstract: 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 in… ▽ More 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. △ Less

Submitted 28 June, 2022; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: 9 pages. Rev 1: corrected error about involutory status of general solutions and added example. Rev 2: added new references

MSC Class: 57K12

Psyquandle Coloring Quivers

Authors: Jose Ceniceros, Anthony Christiana, Sam Nelson

Abstract: We enhance the psyquandle counting invariant for singular knots and pseudoknots using quivers analogously to quandle coloring quivers. This enables us to extend the in-degree polynomial invariants from quandle coloring quiver theory to the case of singular knots and pseudoknots. As a side effect we obtain biquandle coloring quivers and in-degree polynomial invariants for classical and virtual knot… ▽ More We enhance the psyquandle counting invariant for singular knots and pseudoknots using quivers analogously to quandle coloring quivers. This enables us to extend the in-degree polynomial invariants from quandle coloring quiver theory to the case of singular knots and pseudoknots. As a side effect we obtain biquandle coloring quivers and in-degree polynomial invariants for classical and virtual knots and links. △ Less

Submitted 12 July, 2021; originally announced July 2021.

Comments: 15 pages

MSC Class: 57K12

G-Family Polynomials

Authors: Sam Nelson, Madeline Brown

Abstract: We introduce two notions of quandle polynomials for G-families of quandles: the quandle polynomial of the associated quandle and a G-family polynomial with coefficients in the group ring of G. As an application we define image subquandle polynomial enhancements of the G-family counting invariant for trivalent spatial graphs and handlebody-links. We provide examples to show that the new enhancement… ▽ More We introduce two notions of quandle polynomials for G-families of quandles: the quandle polynomial of the associated quandle and a G-family polynomial with coefficients in the group ring of G. As an application we define image subquandle polynomial enhancements of the G-family counting invariant for trivalent spatial graphs and handlebody-links. We provide examples to show that the new enhancements are proper. △ Less

Submitted 8 November, 2021; v1 submitted 3 March, 2021; originally announced March 2021.

Comments: 12 pages. To appear in JKTR

MSC Class: 57K12

Tribracket Polynomials

Authors: Sam Nelson, Fletcher Nickerson

Abstract: 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 enha… ▽ More 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. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Comments: 9 pages

MSC Class: 57K12

Quandle Coloring Quivers of Surface-Links

Authors: Jieon Kim, Sam Nelson, Minju Seo

Abstract: Quandle coloring quivers are directed graph-valued invariants of oriented knots and links, defined using a choice of finite quandle $X$ and set $S\subset\mathrm{Hom}(X,X)$ of endomorphisms. From a quandle coloring quiver, a polynomial knot invariant known as the \textit{in-degree quiver polynomial} is defined. We consider quandle coloring quiver invariants for oriented surface-links, represented b… ▽ More Quandle coloring quivers are directed graph-valued invariants of oriented knots and links, defined using a choice of finite quandle $X$ and set $S\subset\mathrm{Hom}(X,X)$ of endomorphisms. From a quandle coloring quiver, a polynomial knot invariant known as the \textit{in-degree quiver polynomial} is defined. We consider quandle coloring quiver invariants for oriented surface-links, represented by marked graph diagrams. We provide example computations for all oriented surface-links with ch-index up to 10 for choices of quandles and endomorphisms. △ Less

Submitted 30 September, 2020; originally announced October 2020.

Comments: 10 pages. arXiv admin note: text overlap with arXiv:1609.09587 by other authors

MSC Class: 57K12

Cocycle Enhancements of Psyquandle Counting Invariants

Authors: Jose Ceniceros, Sam Nelson

Abstract: We bring cocycle enhancement theory to the case of psyquandles. Analogously to our previous work on virtual biquandle cocycle enhancements, we define enhancements of the psyquandle counting invariant via pairs of a biquandle 2-cocycle and a new function satisfying some conditions. As an application we define new single-variable and two-variable polynomial invariants of oriented pseudoknots and sin… ▽ More We bring cocycle enhancement theory to the case of psyquandles. Analogously to our previous work on virtual biquandle cocycle enhancements, we define enhancements of the psyquandle counting invariant via pairs of a biquandle 2-cocycle and a new function satisfying some conditions. As an application we define new single-variable and two-variable polynomial invariants of oriented pseudoknots and singular knots and links. We provide examples to show that the new invariants are proper enhancements of the counting invariant are are not determined by the Jablan polynomial. △ Less

Submitted 30 September, 2020; originally announced September 2020.

Comments: 12 pages

MSC Class: 57K12

Psybrackets, Pseudoknots and Singular Knots

Authors: Suhyeon Jeong, Jieon Kim, Sam Nelson

Abstract: We introduce algebraic structures known as psybrackets and use them to define invariants of pseudoknots and singular knots and links. Psybrackets are Niebrzydowski tribrackets with additional structure inspired by the Reidemeister moves for pseudoknots and singular knots. Examples and computations are provided. We introduce algebraic structures known as psybrackets and use them to define invariants of pseudoknots and singular knots and links. Psybrackets are Niebrzydowski tribrackets with additional structure inspired by the Reidemeister moves for pseudoknots and singular knots. Examples and computations are provided. △ Less

Submitted 31 August, 2022; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 13 pages; revised version includes improvements suggested by referee

MSC Class: 57K12

Quandle Module Quivers

Authors: Karma Istanbouli, Sam Nelson

Abstract: We enhance the quandle coloring quiver invariant of oriented knots and links with quandle modules. This results in a two-variable polynomial invariant with specializes to the previous quandle module polynomial invariant as well as to the quandle counting invariant. We provide example computations to show that the enhancement is proper in the sense that it distinguishes knots and links with the sam… ▽ More We enhance the quandle coloring quiver invariant of oriented knots and links with quandle modules. This results in a two-variable polynomial invariant with specializes to the previous quandle module polynomial invariant as well as to the quandle counting invariant. We provide example computations to show that the enhancement is proper in the sense that it distinguishes knots and links with the same quandle module polynomial. △ Less

Submitted 10 November, 2020; v1 submitted 28 December, 2019; originally announced December 2019.

Comments: 11 pages; revised with referee comments. To appear in JKTR

MSC Class: 57K12

Kaestner Brackets

Authors: Forest Kobayashi, Sam Nelson

Abstract: 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… ▽ More 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. △ Less

Submitted 10 June, 2020; v1 submitted 21 September, 2019; originally announced September 2019.

Comments: 14 pages. Version 2 includes corrections and improvments suggested by referee

MSC Class: 57M27; 57M25

Biquandle Brackets and Knotoids

Authors: Neslihan Gügümcü, Sam Nelson, Natsumi Oyamaguchi

Abstract: Biquandle brackets are a type of quantum enhancement of the biquandle counting invariant for oriented knots and links, defined by a set of skein relations with coefficients which are functions of biquandle colors at a crossing. In this paper we use biquandle brackets to enhance the biquandle counting matrix invariant defined by the first two authors in arXiv:1803.11308. We provide examples to illu… ▽ More Biquandle brackets are a type of quantum enhancement of the biquandle counting invariant for oriented knots and links, defined by a set of skein relations with coefficients which are functions of biquandle colors at a crossing. In this paper we use biquandle brackets to enhance the biquandle counting matrix invariant defined by the first two authors in arXiv:1803.11308. We provide examples to illustrate the method of calcuation and to show that the new invariants are stronger than the previous ones. △ Less

Submitted 31 August, 2019; originally announced September 2019.

Comments: 10 pages

MSC Class: 57M27; 57M25

Quantum Enhancements via Tribracket Brackets

Authors: Laira Aggarwal, Sam Nelson, Patricia Rivera

Abstract: We enhance the tribracket counting invariant with \textit{tribracket brackets}, skein invariants of tribracket-colored oriented knots and links analogously to biquandle brackets. This infinite family of invariants includes the classical quantum invariants and tribracket cocycle invariants as special cases, as well as new invariants. We provide explicit examples as well as questions for future work… ▽ More We enhance the tribracket counting invariant with \textit{tribracket brackets}, skein invariants of tribracket-colored oriented knots and links analogously to biquandle brackets. This infinite family of invariants includes the classical quantum invariants and tribracket cocycle invariants as special cases, as well as new invariants. We provide explicit examples as well as questions for future work. △ Less

Submitted 18 November, 2023; v1 submitted 5 July, 2019; originally announced July 2019.

Comments: 12 pages. Version 3 includes typo corrections in the axioms (thanks to Yuya Nishimura) and removal of an incorrect example (due to the aformentioned typo in the axioms) as well as a few minor typo corrections

MSC Class: 57M27; 57M25

Legendrian Rack Invariants of Legendrian Knots

Authors: Jose Ceniceros, Mohamed Elhamdadi, Sam Nelson

Abstract: 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 Le… ▽ More 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. △ Less

Submitted 24 January, 2021; v1 submitted 15 May, 2019; originally announced May 2019.

Comments: 15 pages. Version 2 includes small corrections suggested by Referee. To appear in Communications of the Korean Mathematical Society

MSC Class: 57M27; 57M25

Quandle Cocycle Quivers

Authors: Karina Cho, Sam Nelson

Abstract: We incorporate quandle cocycle information into the quandle coloring quivers we defined in arXiv:1807.10465 to define weighted directed graph-valued invariants of oriented links we call \textit{quandle cocycle quivers}. This construction turns the quandle cocycle invariant into a small category, yielding a categorification of the quandle cocycleinvariant. From these graphs we define several new li… ▽ More We incorporate quandle cocycle information into the quandle coloring quivers we defined in arXiv:1807.10465 to define weighted directed graph-valued invariants of oriented links we call \textit{quandle cocycle quivers}. This construction turns the quandle cocycle invariant into a small category, yielding a categorification of the quandle cocycleinvariant. From these graphs we define several new link invariants including a 2-variable polynomial which specializes to the usual quandle cocycle invariant. Examples and computations are provided. △ Less

Submitted 19 April, 2019; originally announced April 2019.

Comments: 9 pages

MSC Class: 57M25; 57M27

Biquandle Module Invariants of Oriented Surface-Links

Authors: Yewon Joung, Sam Nelson

Abstract: We define invariants of oriented surface-links by enhancing the biquandle counting invariant using \textit{biquandle modules}, algebraic structures defined in terms of biquandle actions on commutative rings analogous to Alexander biquandles. We show that bead colorings of marked graph diagrams are preserved by Yoshikawa moves and hence define enhancements of the biquandle counting invariant for su… ▽ More We define invariants of oriented surface-links by enhancing the biquandle counting invariant using \textit{biquandle modules}, algebraic structures defined in terms of biquandle actions on commutative rings analogous to Alexander biquandles. We show that bead colorings of marked graph diagrams are preserved by Yoshikawa moves and hence define enhancements of the biquandle counting invariant for surface links. We provide examples illustrating the computation of the invariant and demonstrate that these invariants are not determined by the first and second Alexander elementary ideals and characteristic polynomials. △ Less

Submitted 27 August, 2019; v1 submitted 15 March, 2019; originally announced March 2019.

Comments: 13 pages; version 2 includes typo corrections. To appear in Proc. of the AMS

MSC Class: 57M25; 57M27

Multi-tribrackets

Authors: Sam Nelson, Evan Pauletich

Abstract: We introduce multi-tribrackets, algebraic structures for region coloring of diagrams of knots and links with different operations at different kinds of crossings. In particular we consider the case of component multi-tribrackets which have different tribracket operations at single-component crossings and multi-component crossings. We provide examples to show that the resulting counting invariants… ▽ More We introduce multi-tribrackets, algebraic structures for region coloring of diagrams of knots and links with different operations at different kinds of crossings. In particular we consider the case of component multi-tribrackets which have different tribracket operations at single-component crossings and multi-component crossings. We provide examples to show that the resulting counting invariants can distinguish links which are not distinguished by the counting invariants associated to the standard tribracket coloring. We reinterpret the results of [11] in terms of multi-tribrackets and consider futuredirections for multi-tribracket theory. △ Less

Submitted 22 June, 2019; v1 submitted 5 March, 2019; originally announced March 2019.

Comments: 14 pages. Revision 1 introduces notion of explicitly typed knot theory and corrects some typos

MSC Class: 57M27; 57M25

Local biquandles and Niebrzydowski's tribracket theory

Authors: Sam Nelson, Kanako Oshiro, Natsumi Oyamaguchi

Abstract: We introduce a new algebraic structure called \textit{local biquandles} and show how colorings of oriented classical link diagrams and of broken surface diagrams are related to tribracket colorings. We define a (co)homology theory for local biquandles and show that it is isomorphic to Niebrzydowski's tribracket (co)homology. This implies that Niebrzydowski's (co)homology theory can be interpreted… ▽ More We introduce a new algebraic structure called \textit{local biquandles} and show how colorings of oriented classical link diagrams and of broken surface diagrams are related to tribracket colorings. We define a (co)homology theory for local biquandles and show that it is isomorphic to Niebrzydowski's tribracket (co)homology. This implies that Niebrzydowski's (co)homology theory can be interpreted similary as biqandle (co)homology theory. Moreover through the isomorphism between two cohomology groups, we show that Niebrzydowski's cocycle invariants and local biquandle cocycle invariants are the same. △ Less

Submitted 17 February, 2019; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: 41 pages. Version 2 includes changes suggested by referee. To appear in Topology and Its Applications

MSC Class: 57M27; 57M25

Tribracket Modules

Authors: Deanna Needell, Sam Nelson, Yingqi Shi

Abstract: Niebrzydowski tribrackets are ternary operations on sets satisfying conditions obtained from the oriented Reidemeister moves such that the set of tribracket colorings of an oriented knot or link diagram is an invariant of oriented knots and links. We introduce tribracket modules analogous to quandle/biquandle/rack modules and use these structures to enhance the tribracket counting invariant. We pr… ▽ More Niebrzydowski tribrackets are ternary operations on sets satisfying conditions obtained from the oriented Reidemeister moves such that the set of tribracket colorings of an oriented knot or link diagram is an invariant of oriented knots and links. We introduce tribracket modules analogous to quandle/biquandle/rack modules and use these structures to enhance the tribracket counting invariant. We provide examples to illustrate the computation of the invariant and show that the enhancement is proper. △ Less

Submitted 26 August, 2019; v1 submitted 13 August, 2018; originally announced August 2018.

Comments: 11 pages, v2 contains typo corrections and other small improvements

MSC Class: 57M27; 57M25

Quandle Coloring Quivers

Authors: Karina Cho, Sam Nelson

Abstract: We consider a quiver structure on the set of quandle colorings of an oriented knot or link diagram. This structure contains a wealth of knot and link invariants and provides a categorification of the quandle counting invariant in the most literal sense, i.e., giving the set of quandle colorings the structure of a small category which is unchanged by Reidemeister moves. We derive some new enhanceme… ▽ More We consider a quiver structure on the set of quandle colorings of an oriented knot or link diagram. This structure contains a wealth of knot and link invariants and provides a categorification of the quandle counting invariant in the most literal sense, i.e., giving the set of quandle colorings the structure of a small category which is unchanged by Reidemeister moves. We derive some new enhancements of the counting invariant from this quiver structure and show that the enhancements are proper with explicit examples. △ Less

Submitted 5 October, 2018; v1 submitted 27 July, 2018; originally announced July 2018.

Comments: 11 pages. Version 2 includes typo corrections suggested by referee

MSC Class: 57M27; 57M25

A Positivity-Preserving Limiting Strategy for Locally-Implicit Lax-Wendroff Discontinuous Galerkin Methods

Authors: Camille Felton, Mariana Harris, Caleb Logemann, Stefan Nelson, Ian Pelakh, James A. Rossmanith

Abstract: Nonlinear hyperbolic conservation laws admit singular solutions such as shockwaves (discontinuities in conserved variables), rarefaction waves (discontinuities in derivatives), and vacuum states (loss of strong hyperbolicity). When ostensibly high-order numerical methods are applied in such solution regimes, unphysical oscillations present themselves that can lead to large errors and a breakdown o… ▽ More Nonlinear hyperbolic conservation laws admit singular solutions such as shockwaves (discontinuities in conserved variables), rarefaction waves (discontinuities in derivatives), and vacuum states (loss of strong hyperbolicity). When ostensibly high-order numerical methods are applied in such solution regimes, unphysical oscillations present themselves that can lead to large errors and a breakdown of the numerical simulation. In this work we develop a new Lax-Wendroff discontinuous Galerkin (LxW-DG) method with a limiting strategy that keeps the solution non-oscillatory and positivity-preserving for relevant variables, such as height in the shallow water equations and density and pressure in the compressible Euler equations. The proposed LxW-DG scheme updates the solution over each time-step with a locally-implicit predictor followed by an explicit corrector. The locally-implicit prediction phase is formulated in terms of primitive variables, which greatly simplifies the solver. The resulting system of nonlinear algebraic equations are approximately solved via a Picard iteration, where the number of iterations is equal to the order of accuracy of the method. The correction phase is an explicit evaluation formulated in terms of conservative variables in order to guarantee numerical conservation. In order to achieve full positivity-preservation, limiting is required in both the prediction and correction steps. The resulting scheme is applied to several standard test cases for the shallow water and compressible Euler equations. All of the presented examples are written in a freely available open-source Python code. △ Less

Submitted 18 June, 2018; originally announced June 2018.

Comments: 37 pages, 7 figures, 4 tables, 5 algorithms

MSC Class: 65M12; 65M60; 35L65

A Survey of Quantum Enhancements

Authors: Sam Nelson

Abstract: In this short survey article we collect the current state of the art in the nascent field of \textit{quantum enhancements}, a type of knot invariant defined by collecting values of quantum invariants of knots with colorings by various algebraic objects over the set of such colorings. This class of invariants includes classical skein invariants and quandle and biquandle cocycle invariants as well a… ▽ More In this short survey article we collect the current state of the art in the nascent field of \textit{quantum enhancements}, a type of knot invariant defined by collecting values of quantum invariants of knots with colorings by various algebraic objects over the set of such colorings. This class of invariants includes classical skein invariants and quandle and biquandle cocycle invariants as well as new invariants. △ Less

Submitted 30 May, 2018; originally announced May 2018.

Comments: 12 pages. Invited survey article

MSC Class: 57M27; 57M25

Niebrzydowski Algebras and Trivalent Spatial Graphs

Authors: Paige Graves, Sam Nelson, Sherilyn Tamagawa

Abstract: We introduce \textit{Niebrzydowski algebras}, algebraic structures with a ternary operation and a partially defined multiplication, with axioms motivated by the Reidemeister moves for $Y$-oriented trivalent spatial graphs and handlebody-links. As part of this definition, we identify generating sets of $Y$-oriented Reidemeister moves. We give some examples to demonstrate that the counting invariant… ▽ More We introduce \textit{Niebrzydowski algebras}, algebraic structures with a ternary operation and a partially defined multiplication, with axioms motivated by the Reidemeister moves for $Y$-oriented trivalent spatial graphs and handlebody-links. As part of this definition, we identify generating sets of $Y$-oriented Reidemeister moves. We give some examples to demonstrate that the counting invariant can distinguish some $Y$-oriented trivalent spatial graphs and handlebody-links. △ Less

Submitted 30 April, 2018; originally announced May 2018.

Comments: 14 pages

MSC Class: 57M25; 57M27

Biquandle Coloring Invariants of Knotoids

Authors: Neslihan Gügümcü, Sam Nelson

Abstract: In this paper, we consider biquandle colorings for knotoids in $\mathbb{R}^2$ or $S^2$ and we construct several coloring invariants for knotoids derived as enhancements of the biquandle counting invariant. We first enhance the biquandle counting invariant by using a matrix constructed by utilizing the orientation a knotoid diagram is endowed with. We generalize Niebrzydowski's biquandle longitude… ▽ More In this paper, we consider biquandle colorings for knotoids in $\mathbb{R}^2$ or $S^2$ and we construct several coloring invariants for knotoids derived as enhancements of the biquandle counting invariant. We first enhance the biquandle counting invariant by using a matrix constructed by utilizing the orientation a knotoid diagram is endowed with. We generalize Niebrzydowski's biquandle longitude invariant for virtual long knots to obtain new invariants for knotoids. We show that biquandle invariants can detect mirror images of knotoids and show that our enhancements are proper in the sense that knotoids which are not distinguished by the counting invariant are distinguished by our enhancements. △ Less

Submitted 26 February, 2019; v1 submitted 29 March, 2018; originally announced March 2018.

Comments: 13 pages. Version 2 includes typo corrections and changes suggested by referee. To appear in J. Knot Theory Ramifications

MSC Class: 57M27; 57M25

Virtual Tribrackets

Authors: Sam Nelson, Shane Pico

Abstract: We introduce virtual tribrackets, an algebraic structure for coloring regions in the planar complement of an oriented virtual knot or link diagram. We use these structures to define counting invariants of virtual knots and links and provide examples of the computation of the invariant; in particular we show that the invariant can distinguish certain virtual knots. We introduce virtual tribrackets, an algebraic structure for coloring regions in the planar complement of an oriented virtual knot or link diagram. We use these structures to define counting invariants of virtual knots and links and provide examples of the computation of the invariant; in particular we show that the invariant can distinguish certain virtual knots. △ Less

Submitted 6 December, 2018; v1 submitted 8 March, 2018; originally announced March 2018.

Comments: 10 pages. Version 2 includes typos corrections and a new example suggested by the referee

MSC Class: 57M27; 57M25

Twisted Virtual Bikeigebras and Twisted Virtual Handlebody-Knots

Authors: Sam Nelson, Yuqi Zhao

Abstract: We generalize unoriented handlebody-links to the twisted virtual case, obtaining Reidemeister moves for handlebody-links in ambient spaces of the form $Σ\times [0,1]$ for $Σ$ a compact closed 2-manifold up to stable equivalence. We introduce a related algebraic structure known as twisted virtual bikeigebras whose axioms are motivated by the twisted virtual handlebody-link Reidemeister moves. We us… ▽ More We generalize unoriented handlebody-links to the twisted virtual case, obtaining Reidemeister moves for handlebody-links in ambient spaces of the form $Σ\times [0,1]$ for $Σ$ a compact closed 2-manifold up to stable equivalence. We introduce a related algebraic structure known as twisted virtual bikeigebras whose axioms are motivated by the twisted virtual handlebody-link Reidemeister moves. We use twisted virtual bikeigebras to define $X$-colorability for twisted virtual handlebody-links and define an integer-valued invariant $Φ_{X}^{\mathbb{Z}}$ of twisted virtual handlebody-links. We provide example computations of the new invariants and use them to distinguish some twisted virtual handlebody-links. △ Less

Submitted 12 November, 2017; originally announced November 2017.

Comments: 9 pages

MSC Class: 57M25; 57M27

Psyquandles, Singular Knots and Pseudoknots

Authors: Sam Nelson, Natsumi Oyamaguchi, Radmila Sazdanovic

Abstract: We generalize the notion of biquandles to psyquandles and use these to define invariants of oriented singular links and pseudolinks. In addition to psyquandle counting invariants, we introduce Alexander psyquandles and corresponding invariants such as Alexander psyquandle polynomials and Alexander-Gröbner psyquandle invariants of oriented singular knots and links. We consider the relationship betw… ▽ More We generalize the notion of biquandles to psyquandles and use these to define invariants of oriented singular links and pseudolinks. In addition to psyquandle counting invariants, we introduce Alexander psyquandles and corresponding invariants such as Alexander psyquandle polynomials and Alexander-Gröbner psyquandle invariants of oriented singular knots and links. We consider the relationship between Alexander psyquandle colorings of pseudolinks and p-colorings of pseudolinks. As a special case we define a generalization of the Alexander polynomial for oriented singular links and pseudolinks we call the Jablan polynomial and compute the invariant for all pseudoknots with up to five crossings and all 2-bouquet graphs with up to 6 classical crossings. △ Less

Submitted 23 October, 2017; originally announced October 2017.

Comments: 20 pages

MSC Class: 57M27; 57M25

Biquasile Colorings of Oriented Surface-Links

Authors: Jieon Kim, Sam Nelson

Abstract: We introduce colorings of oriented surface-links by biquasiles using marked graph diagrams. We use these colorings to define counting invariants and Boltzmann enhancements of the biquasile counting invariants for oriented surface-links. We provide examples to show that the invariants can distinguish both closed surface-links and cobordisms and are sensitive to orientation. We introduce colorings of oriented surface-links by biquasiles using marked graph diagrams. We use these colorings to define counting invariants and Boltzmann enhancements of the biquasile counting invariants for oriented surface-links. We provide examples to show that the invariants can distinguish both closed surface-links and cobordisms and are sensitive to orientation. △ Less

Submitted 10 January, 2018; v1 submitted 4 July, 2017; originally announced July 2017.

Comments: 12 pages.To appear in Topology and its Applications

MSC Class: 57M25; 57M27

Trace Diagrams and Biquandle Brackets

Authors: Sam Nelson, Natsumi Oyamaguchi

Abstract: We introduce a method of computing biquandle brackets of oriented knots and links using a type of decorated trivalent spatial graphs we call trace diagrams. We identify algebraic conditions on the biquandle bracket coefficients for moving strands over and under traces and identify a new stop condition for the recursive expansion. In the case of monochromatic crossings we show that biquandle bracke… ▽ More We introduce a method of computing biquandle brackets of oriented knots and links using a type of decorated trivalent spatial graphs we call trace diagrams. We identify algebraic conditions on the biquandle bracket coefficients for moving strands over and under traces and identify a new stop condition for the recursive expansion. In the case of monochromatic crossings we show that biquandle brackets satisfy a Homflypt-style skein relation and we identify algebraic conditions on the biquandle bracket coefficients to allow pass-through trace moves. △ Less

Submitted 29 October, 2017; v1 submitted 19 May, 2017; originally announced May 2017.

Comments: 22 pages; version 2 includes typo fixes. To appear in Int'l J. Math

MSC Class: 57M27; 57M25

The pinnacle set of a permutation

Authors: Robert Davis, Sarah A. Nelson, T. Kyle Petersen, Bridget E. Tenner

Abstract: The peak set of a permutation records the indices of its peaks. These sets have been studied in a variety of contexts, including recent work by Billey, Burdzy, and Sagan, which enumerated permutations with prescribed peak sets. In this article, we look at a natural analogue of the peak set of a permutation, instead recording the values of the peaks. We define the "pinnacle set" of a permutation w… ▽ More The peak set of a permutation records the indices of its peaks. These sets have been studied in a variety of contexts, including recent work by Billey, Burdzy, and Sagan, which enumerated permutations with prescribed peak sets. In this article, we look at a natural analogue of the peak set of a permutation, instead recording the values of the peaks. We define the "pinnacle set" of a permutation w to be the set {w(i) : i is a peak of w}. Although peak sets and pinnacle sets mark the same phenomenon for a given permutation, the behaviors of these sets differ in notable ways as distributions over the symmetric group. In the work below, we characterize admissible pinnacle sets and study various enumerative questions related to these objects. △ Less

Submitted 13 February, 2020; v1 submitted 18 April, 2017; originally announced April 2017.

Comments: final version; appeared in Discrete Mathematics

MSC Class: Primary: 05A05; Secondary: 05A15

Boltzmann Enhancements of Biquasile Counting Invariants

Authors: WonHyuk Choi, Deanna Needell, Sam Nelson

Abstract: In this paper, we build on the biquasiles and dual graph diagrams introduced in arXiv:1610.06969. We introduce \textit{biquasile Boltzmann weights} that enhance the previous knot coloring invariant defined in terms of finite biquasiles and provide examples differentiating links with the same counting invariant, demonstrating that the enhancement is proper. We identify conditions for a linear funct… ▽ More In this paper, we build on the biquasiles and dual graph diagrams introduced in arXiv:1610.06969. We introduce \textit{biquasile Boltzmann weights} that enhance the previous knot coloring invariant defined in terms of finite biquasiles and provide examples differentiating links with the same counting invariant, demonstrating that the enhancement is proper. We identify conditions for a linear function $φ:\mathbb{Z}_n[X^3]\to\mathbb{Z}_n$ to be a Boltzmann weight for an Alexander biquasile $X$. △ Less

Submitted 23 September, 2018; v1 submitted 8 April, 2017; originally announced April 2017.

Comments: 10 Pages, v3 updates email addresses and corrects a few typos. To appear in JKTR

MSC Class: 57M25; 57M27

Quasi-trivial Quandles and Biquandles, Cocycle Enhancements and Link-Homotopy of Pretzel links

Authors: Mohamed Elhamdadi, Minghui Liu, Sam Nelson

Abstract: We investigate some algebraic structures called quasi-trivial quandles and we use them to study link-homotopy of pretzel links. Precisely, a necessary and sufficient condition for a pretzel link with at least two components being trivial under link-homotopy is given. We also generalize the quasi-trivial quandle idea to the case of biquandles and consider enhancement of the quasi-trivial biquandle… ▽ More We investigate some algebraic structures called quasi-trivial quandles and we use them to study link-homotopy of pretzel links. Precisely, a necessary and sufficient condition for a pretzel link with at least two components being trivial under link-homotopy is given. We also generalize the quasi-trivial quandle idea to the case of biquandles and consider enhancement of the quasi-trivial biquandle cocycle counting invariant by quasi-trivial biquandle cocycles, obtaining invariants of link-homotopy type of links analogous to the quasi-trivial quandle cocycle invariants in Ayumu Inoue's article arXiv:1205.5891. △ Less

Submitted 31 May, 2018; v1 submitted 4 April, 2017; originally announced April 2017.

Comments: 14 pages. Version 3 includes some corrections and typo fixes

MSC Class: 57M27; 57M55

Virtual Links with Finite Medial Bikei

Authors: Julien Chien, Sam Nelson

Abstract: We consider the question of which virtual knots have finite fundamental medial bikei. We describe and implement an algorithm for completing a presentation matrix of a medial bikei to an operation table, determining both the cardinality and isomorphism class of the fundamental medial bikei, each of which are link invariants. As an example, we compute the fundamental medial bikei for all of the prim… ▽ More We consider the question of which virtual knots have finite fundamental medial bikei. We describe and implement an algorithm for completing a presentation matrix of a medial bikei to an operation table, determining both the cardinality and isomorphism class of the fundamental medial bikei, each of which are link invariants. As an example, we compute the fundamental medial bikei for all of the prime virtual knots with up to four classical crossings as listed in the knot atlas. △ Less

Submitted 3 April, 2017; originally announced April 2017.

Comments: 11 pages

MSC Class: 57M27; 57M25

Biquandle Virtual Brackets

Authors: Sam Nelson, Kanako Oshiro, Ayaka Shimizu, Yoshiro Yaguchi

Abstract: We introduce an infinite family of quantum enhancements of the biquandle counting invariant we call biquandle virtual brackets. Defined in terms of skein invariants of biquandle colored oriented knot and link diagrams with values in a commutative ring $R$ using virtual crossings as smoothings, these invariants take the form of multisets of elements of $R$ and can be written in a "polynomial" form… ▽ More We introduce an infinite family of quantum enhancements of the biquandle counting invariant we call biquandle virtual brackets. Defined in terms of skein invariants of biquandle colored oriented knot and link diagrams with values in a commutative ring $R$ using virtual crossings as smoothings, these invariants take the form of multisets of elements of $R$ and can be written in a "polynomial" form for convenience. The family of invariants defined herein includes as special cases all quandle and biquandle 2-cocycle invariants, all classical skein invariants (Alexander-Conway, Jones, HOMFLYPT and Kauffman polynomials) and all biquandle bracket invariants defined in previous work as well as new invariants defined using virtual crossings in a fundamental way, without an obvious purely classical definition. △ Less

Submitted 27 August, 2019; v1 submitted 14 January, 2017; originally announced January 2017.

Comments: 19 pages, many pictures. Revision 2 includes typo fixes

MSC Class: 57M27; 57M25

Biquasiles and Dual Graph Diagrams

Authors: Deanna Needell, Sam Nelson

Abstract: We introduce \textit{dual graph diagrams} representing oriented knots and links. We use these combinatorial structures to define corresponding algebraic structures we call \textit{biquasiles} whose axioms are motivated by dual graph Reidemeister moves, generalizing the Dehn presentation of the knot group analogously to the way quandles and biquandles generalize the Wirtinger presentation. We use t… ▽ More We introduce \textit{dual graph diagrams} representing oriented knots and links. We use these combinatorial structures to define corresponding algebraic structures we call \textit{biquasiles} whose axioms are motivated by dual graph Reidemeister moves, generalizing the Dehn presentation of the knot group analogously to the way quandles and biquandles generalize the Wirtinger presentation. We use these structures to define invariants of oriented knots and links and provide examples. △ Less

Submitted 3 September, 2017; v1 submitted 21 October, 2016; originally announced October 2016.

Comments: 14 pages. Typos and examples corrected

Singular Knots and Involutive Quandles

Authors: Indu R. U. Churchill, M. Elhamdadi, M. Hajij, Sam Nelson

Abstract: The aim of this paper is to define certain algebraic structures coming from generalized Reidemeister moves of singular knot theory. We give examples, show that the set of colorings by these algebraic structures is an invariant of singular links. As an application we distinguish several singular knots and links. The aim of this paper is to define certain algebraic structures coming from generalized Reidemeister moves of singular knot theory. We give examples, show that the set of colorings by these algebraic structures is an invariant of singular links. As an application we distinguish several singular knots and links. △ Less

Submitted 19 June, 2018; v1 submitted 29 August, 2016; originally announced August 2016.

Comments: 10 pages; v5 removes incorrect examples from Section 5 and adds a new example, incorporating Errata for published version

MSC Class: 57M27; 57M25

Bikei Homology

Authors: Sam Nelson, Jake Rosenfield

Abstract: We introduce a modified homology and cohomology theory for involutory biquandles (also known as \textit{bikei}). We use bikei 2-cocycles to enhance the bikei counting invariant for unoriented knots and links as well as unoriented and non-orientable knotted surfaces in $\mathbb{R}^4$. We introduce a modified homology and cohomology theory for involutory biquandles (also known as \textit{bikei}). We use bikei 2-cocycles to enhance the bikei counting invariant for unoriented knots and links as well as unoriented and non-orientable knotted surfaces in $\mathbb{R}^4$. △ Less

Submitted 16 May, 2016; v1 submitted 8 March, 2016; originally announced March 2016.

Comments: 12 pages; revised version incorporates suggestions from referee. To appear in Homology, Homotopy and Applications

MSC Class: 57M27; 57M25

Partially Multiplicative Biquandles and Handlebody-Knots

Authors: Atsushi Ishii, Sam Nelson

Abstract: 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.… ▽ More 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. △ Less

Submitted 26 April, 2016; v1 submitted 18 February, 2016; originally announced February 2016.

Comments: 16 pages; version 2 includes small typo corrections. To appear in Contemporary Mathematics

MSC Class: 57M25; 57M27