Related papers: Symbolic computation with finite biquandles
We construct Baxter operators for the homogeneous closed $\mathrm{XXX}$ spin chain with the quantum space carrying infinite or finite dimensional $s\ell_2$ representations. All algebraic relations of Baxter operators and transfer matrices…
We propose a new method for the computation of quantum three-point functions for operators in su(2) sectors of N=4 super Yang-Mills theory. The method is based on the existence of a unitary transformation relating inhomogeneous and…
We describe the Gerstenhaber bracket structure on Hochschild cohomology of Koszul quiver algebras in terms of homotopy lifting maps. There is a projective bimodule resolution of Koszul quiver algebras that admits a comultiplicative…
This paper is a detailed study of finite-dimensional modules defined on bicomplex numbers. A number of results are proved on bicomplex square matrices, linear operators, orthogonal bases, self-adjoint operators and Hilbert spaces, including…
We compute the quantum cohomology rings of the partial flag manifolds F_{n_1\cdots n_k}=U(n)/(U(n_1)\times \cdots \times U(n_k)). The inductive computation uses the idea of Givental and Kim. Also we define a notion of the vertical quantum…
The ZX calculus is a mathematical tool to represent and analyse quantum operations by manipulating diagrams which in effect represent tensor networks. Two families of nodes of these networks are ones which commute with either Z rotations or…
We interpret the complexes defining rack cohomology in terms of a certain differential graded bialgebra. This yields elementary algebraic proofs of old and new structural results for this cohomology theory. For instance, we exhibit two…
A unitary operator that satisfies the constant Yang-Baxter equation immediately yields a unitary representation of the braid group B n for every $n \ge 2$. If we view such an operator as a quantum-computational gate, then topological…
We extend our recent work on set-theoretic solutions of the Yang-Baxter or braid relations with new results about their automorphism groups, strong twisted unions of solutions and multipermutation solutions. We introduce and study graphs of…
We find a method to construct iteratively from a non-degenerate involutive set-theoretic solution of the Yang-Baxter equation an infinite family of very large non-degenerate involutive set-theoretic solutions. In case the initial solution…
We give an algorithm for computing matrix corepresentations for special linear and special unitary quantum groups using a combinatorial re-indexing of basis elements.
We present a Baxterization of a two-colour generalization of the Birman--Wenzl--Murakami (BWM) algebra. Appropriately combining two RSOS-type representations of the ordinary BWM algebra, we construct representations of the two-colour…
We present a computational toolkit for (local) Poisson-Nijenhuis calculus on manifolds. Our python module $\textsf{PoissonGeometry}$ implements our algorithms, and accompanies this paper. We include two examples of how our methods can be…
In this paper, several proposals of optically simulating Yang-Baxter equations have been presented. Motivated by the recent development of anyon theory, we apply Temperley-Lieb algebra as a bridge to recast four-dimentional Yang-Baxter…
We provide a diagrammatic computation for the bilinear form, which is defined as the pairing between the (relative) cup products with every local coefficients and every integral homology 2-class of every links in the 3-sphere. As a…
We compute the Hopf 2-cocycles involved in the classification of pointed Hopf algebras of diagonal type $A_2$. When the quantum Serre relations are deformed, we characterize those cocycles that can be recovered from Hochschild cohomology,…
Cohomology operations (including the cohomology ring) of a geometric object are finer algebraic invariants than the homology of it. In the literature, there exist various algorithms for computing the homology groups of simplicial complexes…
A QRT map is the composition of two involutions on a biquadratic curve: one switching the $x$-coordinates of two intersection points with a given horizontal line, and the other switching the $y$-coordinates of two intersections with a…
These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…
We study all five-, six-, and one eight-vertex type two-state solutions of the Yang-Baxter equations in the form $A_{12} B_{13} C_{23} = C_{23} B_{13} A_{12}$, and analyze the interplay of the `gauge' and `inversion' symmetries of these…