相关论文: Incremental SAT-Based Enumeration of Solutions to …
Yang-Baxter string sigma-models provide a systematic way to deform coset geometries, such as $AdS_p \times S^p$, while retaining the $\sigma$-model integrability. It has been shown that the Yang-Baxter deformation in target space is simply…
In this paper we study the problem of classification of indecomposable solutions of the Yang-Baxter equation. Using a scheme proposed by Bachiller, Ced\'o, and Jespers, and recent advances in the classification of braces we classify all…
The paper extends the notion of braided set and its close relative - the Yang-Baxter set - to the category of vector spaces and explore structure aspects of such a notion as morphisms and extensions. In this way we describe a family of…
We present a simple but explicit example of a recent development which connects quantum integrable models with Schubert calculus: there is a purely geometric construction of solutions to the Yang-Baxter equation and their associated…
Let $p$ and $q$ be different prime numbers. Using recent results of Ced\'o and Okni\'nski, we describe isomorphism classes of indecomposable set-theoretic solutions to the Yang--Baxter equation of cardinality $pq$.
This work focuses on effectively generating diverse solutions for satisfiability modulo theories (SMT) formulas, targeting the theories of bit-vectors, arrays, and uninterpreted functions, which is a critical task in software and hardware…
Globally regular (ie. asymptotically flat and regular interior), spherically symmetric and localised ("particle-like") solutions of the coupled Einstein Yang-Mills (EYM) equations with gauge group SU(2) have been known for more than 20…
In the last decade, the power of the state-of-the-art SAT and Integer Programming solvers has dramatically increased. They implement many new techniques and heuristics and since any NP problem can be converted to SAT or ILP instance, we…
In this paper we show that all indecomposable nondegenerate set-theoretical solutions to the Quantum Yang-Baxter equation on a set of prime order are affine, which allows us to give a complete and very simple classification of such…
In this paper, we study involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation with regular displacement group. In particular, we completely describe the blocks of imprimitivity and the congruences of the…
In this article, a system of Yang-Baxter-type matrix equations is studied, $XAX=BXB$, $XBX=AXA$, which "generalizes" the matrix Yang-Baxter equation and exhibits a broken symmetry. We investigate the solutions of this system from various…
We present particularly simple new solutions to the Yang--Baxter equation arising from two--dimensional cyclic representations of quantum $SU(2)$. They are readily interpreted as scattering matrices of relativistic objects, and the quantum…
We obtain two series of spectral parameter dependent solutions to the generalized Yang-Baxter equations (GYBE), for definite types of $N_1^2\times N_2^2$ matrices with general dimensions $N_1$ and $N_2$. Appropriate extensions are presented…
A review of some recent results on the dynamical theory of the Yang-Baxter maps (also known as set-theoretical solutions to the quantum Yang-Baxter equation) is given. The central question is the integrability of the transfer dynamics. The…
We construct invertible spectral parameter dependent Yang-Baxter solutions ($R$-matrices) by Baxterizing constant non-invertible Yang-Baxter solutions. The solutions are algebraic (representation independent). They are constructed using…
An explicit quantization is given of certain skew-symmetric solutions of the classical Yang-Baxter, yielding a family of $R$-matrices which generalize to higher dimensions the Jordanian $R$-matrices. Three different approaches to their…
The set-theoretical reflection equation and its solutions, the reflection maps, recently introduced by two of the authors, is presented in general and then applied in the context of quadrirational Yang-Baxter maps. We provide a method for…
We propose a resource-constrained heuristic for instances of Max-SAT that iteratively decomposes a larger problem into smaller subcomponents that can be solved by optimized solvers and hardware. The unconstrained outer loop maintains the…
We construct $R$-matrices (with a multidimensional spectral parameter) that include additive as well as non-additive parameters. They satisfy the colored Yang-Baxter equation. The solutions depend on a set of commuting operators. They…
Employing the algebraic structure of the left brace and the dynamical extensions of cycle sets, we investigate a class of indecomposable involutive set-theoretic solutions of the Yang-Baxter equation having specific imprimitivity blocks.…