相关论文: Incremental SAT-Based Enumeration of Solutions to …

We use Constraint Satisfaction methods to enumerate and construct set-theoretic solutions to the Yang-Baxter equation of small size. We show that there are 321931 involutive solutions of size nine, 4895272 involutive solutions of size ten…

Graph generation and enumeration problems often require handling equivalent graphs -- those that differ only in vertex labeling. We study how to extend SAT Modulo Symmetries (SMS), a framework for eliminating such redundant graphs, to…

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…

The quantum Yang-Baxter equation is a braiding condition on vector spaces which is of high relevance in several fields of mathematics, such as knot theory and quantum group theory. Their combinatorial counterpart are set-theoretic solutions…

Computational methods are an important tool for solving the Yang-Baxter equations(in small dimensions), for classifying (unifying) structures, and for solving related problems. This paper is an account of some of the latest developments on…

Braces were introduced by Rump to study non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation. We generalize Rump's braces to the non-commutative setting and use this new structure to study not necessarily involutive…

In this paper we continue our classification of regular solutions of the Yang-Baxter equation using the method based on the spin chain boost operator developed in \cite{deLeeuw:2019zsi}. We provide details on how to find all non-difference…

W. Rump showed that there exists a one-to-one correspondence between involutive right non-degenerate solutions of the Yang-Baxter equation and Rump right quasigroups. J. S. Carter, M. Elhamdadi, and M. Saito, meanwhile, introduced a…

We introduce a new concept of quasi-Yang-Baxter algebras. The quantum quasi-Yang-Baxter algebras being simple but non-trivial deformations of ordinary algebras of monodromy matrices realize a new type of quantum dynamical symmetries and…

In 1992 V$.$Drinfeld formulated a number of problems in quantum group theory. In particular, he suggested to consider ``set-theoretical'' solutions to the quantum Yang-Baxter equation, i.e. solutions given by a permutation R of the set…

This paper describes a novel unbounded software model checking approach to find errors in programs written in the C language based on incremental SAT-solving. Instead of using the traditional assumption based API to incremental SAT solvers…

We present resent results regarding invertible, non-degenerate solutions of the set-theoretic Yang-Baxter and reflection equations. We recall the notion of braces and we present and prove various fundamental properties required for the…

The formal derivatives of the Yang-Baxter equation with respect to its spectral parameters, evaluated at some fixed point of these parameters, provide us with two systems of differential equations. The derivatives of the $R$ matrix…

Involutive non-degenerate set theoretic solutions of the Yang-Baxter equation are considered, with a focus on finite solutions. A rich class of indecomposable and irretractable solutions is determined and necessary and sufficient conditions…

We study simple set-theoretic solutions of the Yang-Baxter equation that are finite and non-degenerate. Such retractable solutions are fully described and to investigate the irretracble solutions we give a new algebraic method. Our approach…

The main aim of this paper is to determine reflections to bijective and non-degenerate solutions of the Yang-Baxter equation, by exploring their connections with their derived solutions. This is motivated by a recent description of left…

We develop a theory of extensions for involutive and nondegenerate solutions of the set-theoretic Yang-Baxter equation and use it to produce new families of solutions. As an application we construct an infinite family of counterexamples to…

Set-theoretic solutions of the Yang--Baxter equation form a meeting-ground of mathematical physics, algebra and combinatorics. Such a solution consists of a set $X$ and a function r:X x X --> X x X which satisfies the braid relation. We…

We present a new SAT-based method for generating all graphs up to isomorphism that satisfy a given co-NP property. Our method extends the SAT Modulo Symmetry (SMS) framework with a technique that we call co-certificate learning. If SMS…

In the 1990s, Drinfel'd proposed the study of set-theoretical solutions to the quantum Yang-Baxter equation, initiating a line of research that has since garnered substantial attention and led to notable developments in algebra,…