Search

The aim of this paper is to realize the techniques of picture-valued invariants and invariants valued in free groups for long knots in the full torus. Such knots and links are of particular interest because of their relation to Legendrian knots, knotoids, 3 -manifolds and many other objects. Invariants constructed in the paper are powerful and easy to compare. This paper is a sequel of [V. O. Manturov, A free-group valued invariant of free knots, preprint (2020), arXiv:2012.15571v2]. Long knots naturally appear in the study of classical knots [T. Fiedler, More 1 -cocycles for classical knots, preprint (2020), arXiv:2004.04624; A. Mortier, A Kontsevich integral of order 1 , preprint (2018), arXiv:1810.05747]. [ABSTRACT FROM AUTHOR]

Over-then-Under (OU) tangles are oriented tangles whose strands travel through all of their over crossings before any under crossings. In this paper, we discuss the idea of gliding: an algorithm by which tangle diagrams could be brought to OU form. By analyzing cases in which the algorithm converges, we obtain a braid classification result, which we also extend to virtual braids, and provide a Mathematica implementation. We discuss other instances of successful "gliding ideas" in the literature — sometimes in disguise — such as the Drinfel'd double construction, Enriquez's work on quantization of Lie bialgebras, and Audoux and Meilhan's classification of welded homotopy links. [ABSTRACT FROM AUTHOR]

With the untimely passing of Patrick Dehornoy in September 2019, the world of mathematics lost a brilliant scholar who made profound contributions to set theory, algebra, topology, and even computer science and cryptography. And I lost a dear friend and a strong influence in the direction of my own research in mathematics. In this paper, I will concentrate on his remarkable discovery that the braid groups are left-orderable, and its consequences, and its strong influence on my own research. I'll begin by describing how I learned of his work. [ABSTRACT FROM AUTHOR]

Number theoretic public-key solutions, currently used in many applications worldwide, will be subject to various quantum attacks, making them less attractive for longer-term use. Certain group theoretic constructs are now showing promise in providing quantum-resistant cryptographic primitives, and may provide suitable alternatives for those looking to address known quantum attacks. In this paper, we introduce a new protocol called a Meta Key Agreement and Authentication Protocol (MKAAP) that has some characteristics of a public-key solution and some of a shared-key solution. Specifically, it has the deployment benefits of a public-key system, allowing two entities that have never met before to authenticate without requiring real-time access to a third-party, but does require secure provisioning of key material from a trusted key distribution system (similar to a symmetric system) prior to deployment. We then describe a specific MKAAP instance, the Ironwood MKAAP, discuss its security, and show how it resists certain quantum attacks such as Shor's algorithm or Grover's quantum search algorithm. We also show Ironwood implemented on several "internet of things" (IoT devices), measure its performance, and show how it performs significantly better than ECC using fewer device resources. [ABSTRACT FROM AUTHOR]

We introduce new techniques for working with presentations for a large class of (strict) tensor categories. We then apply the general theory to obtain presentations for partition, Brauer and Temperley-Lieb categories, as well as several categories of (partial) braids, vines, and mappings. [ABSTRACT FROM AUTHOR]

In general, the braid structures in a topological space can be classified into algebraic forms and geometric forms. This paper investigates the properties of a braid structure involving 2-simplices and a set of directed braid-paths in view of algebraic as well as geometric topology. The 2-simplices are of the cyclically oriented variety embedded within the disjoint topological covering subspaces where the finite braid-paths are twisted as well as directed. It is shown that the generated homotopic simplicial braids form Abelian groups and the twisted braid-paths successfully admit several varieties of twisted discrete path-homotopy equivalence classes, establishing a set of simplicial fibers. Furthermore, a set of discrete-loop fundamental groups are generated in the covering spaces where the appropriate weight assignments generate multiplicative group structures under a variety of homological formal sums. Interestingly, the resulting smallest non-trivial group is not necessarily unique. The proposed variety of homological formal sum exhibits a loop absorption property if the homotopy path-products are non-commutative. It is considered that the topological covering subspaces are simply connected under embeddings with local homeomorphism maintaining generality. [ABSTRACT FROM AUTHOR]

The twisted torus knot T (p , q , r , s) is a knot obtained from the torus knot T (p , q) by twisting r adjacent stands fully s times. If r = p or r is a multiple of q , then T (p , q , r , s) is known to be a cable of a nontrivial knot or a torus knot. Assuming that r ≠ p and r is not a multiple of q , we determine the parameters p , q , r , s for which the positively twisted torus knot T (p , q , r , s) is a cable knot. [ABSTRACT FROM AUTHOR]

We generalize orbifold models for chords and voice leading to incorporate loudness, allowing for the modeling of resting voices, which are used frequently by composers and arrangers across genres. In our generalized setting (strictly speaking, that of orbispaces rather than an orbifolds), passages with resting voices, passages with two or more voices in unison, and fully harmonized passages occupy distinct subspaces that interact in mathematically precise and musically interesting ways. In particular, our setting includes previous orbifold models by way of constant-loudness subspaces, and provides a way to model voice leading between chords of different cardinalities. We model voice leading in this general setting by morphisms in the orbispace path groupoid, a category for which we give a formal definition. We demonstrate how to visualize such morphisms as singular braids, and explore how our approach relates to (and is consistent with) selected previous work. [ABSTRACT FROM AUTHOR]

Twisted torus knots are torus knots with some full twists added along some number of adjacent strands. There are infinitely many known examples of twisted torus knots which are actually torus knots. We give eight more infinite families of such twisted torus knots with a single negative twist. [ABSTRACT FROM AUTHOR]

We study the algebraic structures of the virtual singular braid monoid, V S B n , and the virtual singular pure braid monoid, V S P n . The monoid V S B n is the splittable extension of V S P n by the symmetric group S n . We also construct a representation of V S B n . [ABSTRACT FROM AUTHOR]

We construct certain monoids, called tied monoids. These monoids result to be semidirect products finitely presented and commonly built from braid groups and their relatives acting on monoids of set partitions. The nature of our monoids indicate that they should give origin to new knot algebras; indeed, our tied monoids include the tied braid monoid and the tied singular braid monoid, which were used, respectively, to construct new polynomial invariants for classical links and singular links. Consequently, we provide a mechanism to attach an algebra to each tied monoid; this mechanism not only captures known generalizations of the bt-algebra, but also produces possible new knot algebras. To build the tied monoids it is necessary to have presentations of set partition monoids of types A, B and D, among others. For type A we use a presentation due to FitzGerald and for the other type it was necessary to built them. [ABSTRACT FROM AUTHOR]

In general, the braid structures in a topological space can be classified into algebraic forms and geometric forms. This paper investigates the properties of a braid structure involving 2-simplices and a set of directed braid-paths in view of algebraic as well as geometric topology. The 2-simplices are of the cyclically oriented variety embedded within the disjoint topological covering subspaces where the finite braid-paths are twisted as well as directed. It is shown that the generated homotopic simplicial braids form Abelian groups and the twisted braid-paths successfully admit several varieties of twisted discrete path-homotopy equivalence classes, establishing a set of simplicial fibers. Furthermore, a set of discrete-loop fundamental groups are generated in the covering spaces where the appropriate weight assignments generate multiplicative group structures under a variety of homological formal sums. Interestingly, the resulting smallest non-trivial group is not necessarily unique. The proposed variety of homological formal sum exhibits a loop absorption property if the homotopy path-products are non-commutative. It is considered that the topological covering subspaces are simply connected under embeddings with local homeomorphism maintaining generality.