Related papers: Symbolic computation with finite biquandles
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…
Starting from known solutions of the functional Yang-Baxter equations, we exhibit Miura type of transformations leading to various known integrable quad equations. We then construct, from the same list of Yang-Baxter maps, a series of…
Quite recently, a ``coloured'' extension of the Yang-Baxter equation has appeared in the literature and various solutions of it have been proposed. In the present contribution, we introduce a generalization of Hopf algebras, to be referred…
In this paper we compute the distributions of various markings on smooth cubic surfaces defined over the finite field $\mathbb{F}_q$, for example the distribution of pairs of points, `tritangents' or `double sixes'. We also compute the…
We reformulate the method recently proposed for constructing quasitriangular Hopf algebras of the quantum-double type from the R-matrices obeying the Yang-Baxter equations. Underlying algebraic structures of the method are elucidated and an…
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…
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 present two new algorithms for the computation of the q-integer linear decomposition of a multivariate polynomial. Such a decomposition is essential for the treatment of q-hypergeometric symbolic summation via creative telescoping and…
The goal of this paper is to give a new method of constructing finite-dimensional semisimple triangular Hopf algebras, including minimal ones which are non-trivial (i.e. not group algebras). The paper shows that such Hopf algebras are quite…
We employ a solution of the Yang-Baxter equation to construct invariants for knot-like objects. Specifically, we consider a Yang-Baxter state model for the sl(n) polynomial of classical links and extend it to oriented singular links and…
We characterise algebras commutative with respect to a Yang-Baxter operator (quasi-commutative algebras) in terms of certain cosimplicial complexes. In some cases this characterisation allows the classification of all possible…
We present different methods for symbolic computer algebra computations in higher dimensional (\ge9) Clifford algebras using the \Clifford\ and \Bigebra\ packages for \Maple(R). This is achieved using graded tensor decompositions,…
We retrieve the graded commutative algebra structure of rack and quandle cohomology by purely algebraic means.
In this paper, we construct quantum invariants for knotoid diagrams in $\mathbb{R}^2$. The diagrams are arranged with respect to a given direction in the plane ({\it Morse knotoids}). A Morse knotoid diagram can be decomposed into basic…
The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…
The theory of quandle (co)homology and cocycle knot invariants is rapidly being developed. We begin with a summary of these recent advances. One such advance is the notion of a dynamical cocycle. We show how dynamical cocycles can be used…
Yangian symmetry of amplitudes in $\mathcal{N}=4$ super Yang-Mills theory is formulated in terms of eigenvalue relations for monodromy matrix operators. The Quantum Inverse Scattering Method provides the appropriate tools to treat the…
This paper is devoted to the study of infinitesimal limit cycles that can bifurcate from zero-Hopf equilibria of differential systems based on the averaging method. We develop an efficient symbolic program using Maple for computing the…
A numerical algorithm to compute the topological entropy of multimodal maps is proposed. This algorithm results from a closed formula containing the so-called min-max symbols, which are closely related to the kneading symbols. Furthermore,…
This paper is devoted to qualgebras and squandles, which are quandles enriched with a compatible binary/unary operation. Algebraically, they are modeled after groups with conjugation and multiplication/squaring operations. Topologically,…