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

We develop a new approach to Baxter Q-operators by relating them to the theory of Yangians, which are the simplest examples for quantum groups. Here we open up a new chapter in this theory and study certain degenerate solutions of the…

In this paper we discuss and characterize several set-theoretic solutions of the Yang-Baxter equation obtained using skew lattices, an algebraic structure that has not yet been related to the Yang-Baxter equation. Such solutions are…

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 propose that Baxter's Z-invariant six-vertex model at the rational gl(2) point on a planar but in general not rectangular lattice provides a way to study Yangian invariants. These are identified with eigenfunctions of certain monodromies…

Set-theoretic solutions to the Yang-Baxter equation have been studied extensively by means of related algebraic systems such as cycle sets and braces, dynamical versions of which have also been developed. No work focuses on set-theoretic…

New set-theoretical solutions to the Yang-Baxter Relation are constructed. These solutions arise from the decompositions "in different order" of matrix polynomials and $\theta$-functions. We also construct a "local action of the symmetric…

We introduce a new variety of set-theoretic non-associative algebras, P{\l}onka bi-magmas, to describe and classify all solutions of the set-theoretic Yang-Baxter (YB) equation of Baaj-Long-Skandalis (BLS) type. We also study new classes of…

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…

This paper proposes SAT-based techniques to calculate a specific normal form of a given finite mathematical structure (model). The normal form is obtained by permuting the domain elements so that the representation of the structure is…

The Yang-Baxter and pentagon equations are two well-known equations of Mathematical Physic. If $S$ is a set, a map $s:S\times S\to S\times S$ is said to be a set theoretical solution of the Yang-Baxter equation if $$ s_{23}\, s_{13}\,…

We describe several methods of constructing R-matrices that are dependent upon many parameters, for example unitary R-matrices and R-matrices whose entries are functions. As an application, we construct examples of R-matrices with…

We consider involutive, non-degenerate, finite set theoretic solutions of the Yang-Baxter equation. Such solutions can be always obtained using certain algebraic structures that generalize nil potent rings called braces. Our main aim here…

Motivated by recent findings on the derivation of parametric non-involutive solutions of the Yang-Baxter equation we reconstruct the underlying algebraic structures, called near braces. Using the notion of the near braces we produce new…

In the first part of this paper, we investigate the retraction of finite uniconnected involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation by means of left braces, giving a precise description in some cases. In the…

We obtain the smallest unsatisfiable formulas in subclasses of $k$-CNF (exactly $k$ distinct literals per clause) with bounded variable or literal occurrences. Smaller unsatisfiable formulas of this type translate into stronger…

We propose a novel approach for the development, analysis, and verification of reductions between NP-complete problems. This method uses the URSA system, a SAT-based constraint solver and incorporates features that distinguish it from…

Given a finite non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation and a field $K$, the structure $K$-algebra of $(X,r)$ is $A=A(K,X,r)=K\langle X\mid xy=uv \mbox{ whenever }r(x,y)=(u,v)\rangle$. Note that…

We develop a theory of non-unitary set-theoretical solutions to the Quantum Yang-Baxter equation. Our results generalize those obtained by Etingof, Schedler and the author. We remark that some of our constructions are similar to…

Yang-Baxter system related to quantum doubles is introduced and large class of both continuous and discrete symmetries of the solution manifold are determined. Strategy for solution of the system based on the symmetries is suggested and…

We consider the problem of finding and enumerating polyominos that can be folded into multiple non-isomorphic boxes. While several computational approaches have been proposed, including SAT, randomized algorithms, and decision diagrams,…