Related papers: Symbolic computation with finite biquandles
A general theory of matrix-spherical functions for dual Hopf algebras and right coideal subalgebras is developed. We establish their existence and define their orthogonality relations. When specialized to Kolb and Letzter's quantum…
The general rational solution of the Yang-Baxter equation with the symmetry algebra sl(2) can be represented as the product of the simpler building blocks denoted as R-operators. The R-operators are constructed explicitly and have simple…
We introduce two new algebraic invariants, the (co)homological distances between continuous maps, which provide computable lower bounds for the homotopic distance and strictly refine the classical cup-length estimates. We then define the…
Integrable quantum computation is defined as quantum computing via the integrable condition, in which two-qubit gates are either nontrivial unitary solutions of the Yang--Baxter equation or the Swap gate (permutation). To make the…
$\lambda$-graph systems are labeled Bratteli diagram with shift operations. They present subshifts. Their matrix presentations are called symbolic matrix systems. We define skew products of $\lambda$-graph systems and study extensions of…
This paper generalizes the bordered-algebraic knot invariant introduced in an earlier paper, giving an invariant now with more algebraic structure. It also introduces signs to define these invariants with integral coefficients. We describe…
Deformation theory can be used to compute the cohomology of a deformed algebra with coefficients in itself from that of the original. Using the invariance of the Euler-Poincare characteristic under deformation, it is applied here to compute…
A continuous cohomology theory for topological quandles is introduced, and compared to the algebraic theories. Extensions of topological quandles are studied with respect to continuous 2-cocycles, and used to show the differences in second…
For some research questions that involve Spin(p, q) representation theory, using symbolic algebra based techniques might be an attractive option for simplifying and manipulating expressions. Yet, for some such problems, especially as they…
Covariant anomalies are studied in terms of the theory of secondary characteristic classes of the universal bundle of Yang-Mills theory. A new set of descent equations is derived which contains the covariant current anomaly and the…
We present a computer algorithm to explicitly compute the BGG resolution and its cohomology. We give several applications, in particular computation of various sheaf cohomology groups on flag varieties. An implementation of the algorithm is…
Following the ideas of [AGG11] about Zt x Z2,2-cocyclic Hadamard matrices, we introduce the notion of diagram, which visually represents any set of coboundaries. Diagrams are a very useful tool for the description and the study of paths and…
We introduce a new cohomology theory for stacks called elliptic Hochschild homology, prove some fundamental properties and compute it in some classes of examples. We then introduce its periodic cyclic version and show that, over the complex…
Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear…
We develop Yang-Baxter integrability structures connected with the quantum affine superalgebra Uq(\hat sl(2|1)). Baxter's Q-operators are explicitly constructed as supertraces of certain monodromy matrices associated with (q-deformed)…
Biracks are algebraic structures related to knots and links. We define a new enhancement of the birack counting invariant for oriented classical and virtual knots and links via algebraic structures called birack dynamical cocycles. The new…
We study the Yang-Baxter operator for the vector representation $V_m$ of the quantum group $U_q(sl_m)$. We consider the one-term Yang-Baxter homology with coefficients in $V_m$-modules and provide a direct sum decomposition of the one term…
For every quantized Lie algebra there exists a map from the tensor square of the algebra to itself, which by construction satisfies the set-theoretic Yang-Baxter equation. This map allows one to define an integrable discrete quantum…
A homological invariant of 3-manifolds is defined, using abelian Yang-Mills gauge theory. It is shown that the construction, in an appropriate sense, is functorial with respect to the families of 4-dimensional cobordisms. This construction…
In this paper, we develop the bialgebra theory for Lie-Yamaguti algebras. For this purpose, we exploit two types of compatibility conditions: local cocycle condition and double construction. We define the classical Yang-Baxter equation in…