Related papers: On virtual cabling and structure of 4-strand virtu…
Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a unified Branch and Bound (BaB) formulation. We propose a…
By generalizing the Kuperberg sl(3) bracket, we construct a graph-valued analogue of the Homflypt sl(3) invariant for virtual knots. The restriction of this invariant for classical knots coincides with the usual Homflypt sl(3) invariant,…
We propose two definitions of configuration Lie groupoids and in both the cases we prove a Fadell-Neuwirth type fibration theorem for a class of Lie groupoids. We show that this is the best possible extension, in the sense that, for the…
In this paper, we use skein-theoretic techniques to classify all virtual knot polynomials and trivalent graph invariants with certain smallness conditions. The first half of the paper classifies all virtual knot polynomials giving…
We give several new positive finite presentations for the pure braid group that are easy to remember and simple in form. All of our presentations involve a metric on the punctured disc so that the punctures are arranged "convexly", which is…
Finite type invariants (also known as Vassiliev invariants) of pure braids are considered from a group-theoretic point of view. New results include a construction of a universal invariant with integer coefficients based on the Magnus…
We describe pure braided versions of Thompson's group F. These groups, $BF$ and $\hat{BF}$, are subgroups of the braided versions of Thompson's group V, introduced by Brin and Dehornoy. Unlike V, elements of F are order-preserving self-maps…
The aim of the present paper is to prove that the minimal number of virtual crossings for some families of virtual knots grows quadratically with respect to the minimal number of classical crossings. All previously known estimates for…
We study groups of some virtual knots with small number of crossings and prove that there is a virtual knot with long lower central series which, in particular, implies that there is a virtual knot with residually nilpotent group. This…
An Artin HNN-extension is an HNN-extension of an Artin group in which the stable letter conjugates a pair of suitably chosen subsets of the standard generating set. We show that some finite index subgroup of an Artin HNN-extension embeds in…
Virtual knots, defined by Kauffman, provide a natural generalization of classical knots. Most invariants of knots extend in a natural way to give invariants of virtual knots. In this paper we study the fundamental groups of virtual knots…
We find finite presentations for the automorphism group of the Artin pure braid group and the automorphism group of the pure braid group associated to the full monomial group.
We introduce quiver representation-valued invariants of oriented virtual knots and links associated to a choice of finite virtual biquandle, abelian group, set of virtual Boltzmann weights, commutative unital ring and set of virtual…
Burau representation of the Artin braid group remains as one of the very important representations for the braid group. Partly, because of its connections to the Alexander polynomial which is one of the first and most useful invariants for…
We construct a braid group action on quantum covering groups. We further use this action to construct a PBW basis for the positive half in finite type which is pairwise-orthogonal under the inner product. This braid group action is induced…
Braided groups and braided matrices are novel algebraic structures living in braided or quasitensor categories. As such they are a generalization of super-groups and super-matrices to the case of braid statistics. Here we construct braided…
This paper defines a theory of cobordism for virtual knots and studies this theory for standard and rotational virtual knots and links. Non-trivial examples of virtual slice knots are given. Determinations of the four-ball genus of positive…
We prove a four-term exact sequence of surface orbifold pure braid groups for all genus $\geq 1$, $2$-dimensional orientable orbifolds with cone points. This corrects our earlier result in arXiv.2106.08110.
Multicrossings, which have previously been defined for classical knots and links, are extended to virtual knots and links. In particular, petal diagrams are shown to exist for all virtual knots.
Let M be a compact, connected non-orientable surface without boundary and of genus g greater than or equal to 3. We investigate the pure braid groups P_n(M) of M, and in particular the possible splitting of the Fadell-Neuwirth short exact…