相关论文: Incremental SAT-Based Enumeration of Solutions to …
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number…
In this article, we introduce a method to extend involutive nondegenerate set-theoretic solutions to the Yang--Baxter equation by means of equivariant mappings to graded modules, thus leading to the notion of a twisted extension.…
We study involutive set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2. These solutions happen to fall into two classes -- distributive ones and non-distributive ones. The distributive ones can be effectively…
Yangian symmetry of amplitudes in $\mathcal{N}=4$ super Yang-Mills theory is formulated in terms of eigenvalue relations for monodromy matrix operators. The Quantum Inverse Scattering Method provides the appropriate tools to treat the…
This article, based on the author's PhD thesis, reviews recent advancements in the field of quantum integrability, in particular the separation of variables (SoV) program for high-rank integrable spin chains and the boost mechanism for…
We involve simultaneously the theory of matched pairs of groups and the theory of braces to study set-theoretic solutions of the Yang-Baxter equation (YBE). We show the intimate relation between the notions of a symmetric group (a braided…
In this article, we introduce endocabling as a technique to deform involutive, non-degenerate set-theoretic solutions to the Yang-Baxter equation (``solutions'', for short) by means of $\lambda$-endomorphisms of their associated permutation…
Parallel solving via cube-and-conquer is a key method for scaling SAT solvers to hard instances. While cube-and-conquer has proven successful for pure SAT problems, notably the Pythagorean triples conjecture, its application to SAT solvers…
In this paper we present a characterization of finite simple involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation by means of left braces and we provide some significant examples.
A connection between the Yang-Baxter relation for maps and the multi-dimensional consistency property of integrable equations on quad-graphs is investigated. The approach is based on the symmetry analysis of the corresponding equations. It…
We present a systematic technique to construct solutions to the Yang-Baxter equation which depend not only on a spectral parameter but in addition on further continuous parameters. These extra parameters enter the Yang-Baxter equation in a…
As generalizations of inverse semibraces introduced by Catino, Mazzotta and Stefanelli, Miccoli has introduced regular $\star$-semibraces under the name of involution semibraces and given a sufficient condition under which the associated…
This paper aims to introduce a construction technique of set-theoretic solutions of the Yang-Baxter equation, called strong semilattice of solutions. This technique, inspired by the strong semilattice of semigroups, allows one to obtain new…
Several years ago, it was proposed that the usual solutions of the Yang-Baxter equation associated to Lie groups can be deduced in a systematic way from four-dimensional gauge theory. In the present paper, we extend this picture, fill in…
Incremental SAT and QBF solving potentially yields improvements when sequences of related formulas are solved. An incremental application is usually tailored towards some specific solver and decomposes a problem into incremental solver…
To the Yang-Baxter equation an additional relation can be added. This is the reflection equation which appears in various places, with or without spectral parameter. For example, in factorizable scattering on a half-line, integrable lattice…
We develop new machinery for producing decomposability tests for involutive solutions to the Yang-Baxter equation. It is based on the seminal decomposability theorem of Rump, and on "cabling" operations on solutions and their effect on the…
Recently V.Drinfeld formulated a number of problems in quantum group theory. In particular, he suggested to consider ``set-theoretical'' solutions of the quantum Yang-Baxter equation, i.e. solutions given by a permutation $R$ of the set…
We establish a correspondence between the invariant subsets of a non-degenerate symmetric set-theoretical solution of the quantum Yang-Baxter equation and the parabolic subgroups of its structure group, equipped with its canonical Garside…
The main aim of this paper is to provide set-theoretical solutions of the Yang-Baxter equation that are not necessarily bijective, among these new idempotent ones. In the specific, we draw on both to the classical theory of inverse…