Searcharxiv⌕ Search

arXiv subjects

Marzia Mazzotta

Publications and source records attributed to Marzia Mazzotta.

18 recordsLinked to original sources
arXiv2026

Set-theoretic solutions of the Yang-Baxter equation from inverse braces

We introduce the algebraic structure of an inverse brace, namely, a triple $(S,+,\circ)$ such that both $(S,+)$ and $(S,\circ)$ are inverse semigroups and the following identity holds $a\circ(b+c)=a\circ b-a+a\circ c$, for all $ a, b, c \in S$, where $-a$ denotes the inverse of $a \in S$, with respect to $+$. In particular, every weak brace is an inverse brace. We investigate the fundamental properties of inverse braces and analyze the relationship between additive and multiplicative idempotents, characterizing the condition under which an inverse brace is a weak brace. Our main results concern the connection with set-theoretic solutions to the Yang-Baxter equation. Specifically, we provide a class of inverse braces that yield solutions and give several examples. Finally, we introduce constructions of inverse braces via the matched product and the strong semilattice of inverse braces. We show that these constructions preserve the conditions required to produce solutions, thereby providing a systematic method for generating new examples.

math.QA↗
arXiv2026

Right groups, left quasigroups, and right heaps

A right group is a semigroup $(S,\cdot)$ in which, for every $a,b\in S$, there is a unique $x\in S$ such that $a\cdot x=b$. In this article, we develop the theory of heaps starting not from groups, but from right groups. We thus get a natural definition of right heap. It is even possible to develop part of the theory starting from a left quasigroup, which is the non-associative analogue of a right group. Our motivation for this study is the investigation of left non-degenerate set-theoretic solutions of the Yang--Baxter equation. Thus, we are led to an analogue of the skew left trusses introduced by T.~Brzeziński.

math.GR↗
arXiv2026

Right groups and the set-theoretic Yang-Baxter equation

In this paper, we provide techniques to obtain left non-degenerate set-theoretic solutions of the Yang-Baxter equation, drawing on the class of right groups. To this end, we introduce the new algebraic structures of left $RG$-semibraces, which include left (cancellative) semibraces as a proper subclass.

math.GR↗
arXiv2026

Parametric reflection maps: an algebraic approach

We study solutions of the parametric set-theoretic reflection equation from an algebraic perspective by employing recently derived generalizations of the familiar shelves and racks, called parametric (p)-shelves and racks. Generic invertible solutions of the set-theoretic reflection equation are also obtained by a suitable parametric twist. The twist leads to considerably simplified constraints compared to the ones obtained from general set-theoretic reflections. In this context, novel algebraic structures of (skew) p-braces that generalize the known (skew) braces and are suitable for the parametric Yang-Baxter equation are introduced. The p-rack Yang-Baxter and reflection operators as well as the associated algebraic structures are defined setting up the frame for formulating the p-rack reflection algebra.

math.RA↗
arXiv2025

Quasi racks, quasi bijective and quasi non-degenerate set-theoretic solutions of the Yang-Baxter equation

This work initiates a systematic study of the class of quasi bijective and quasi non-degenerate solutions to the set-theoretic Yang-Baxter equation. The motivation stems from the observation that solutions that arise from dual weak braces belong to these classes. The notions of quasi rack and derived solution are introduced and examined, extending the classical definitions. Additionally, a family of quasi left non-degenerate solutions is described in terms of quasi racks and g-twists, analogous to the left non-degenerate case. Furthermore, we completely characterize a class of quasi racks that are Plonka sum of racks.

math.QA↗
arXiv2025

Associative Pentagon Algebras

A set-theoretic solution to the Pentagon Equation can be described as a \emph{pentagon} algebra $(S, \cdot, \ast)$ such that $(S, \cdot)$ is a semigroup and the operations $\cdot$ and $\ast$ are related by two additional equations. This paper aims to investigate associative pentagon algebras in which $(S, \ast)$ is also a semigroup. We introduce and describe two families of associative pentagon algebras which are strongly determined by the properties of the semigroup $(S,\ast)$. We present a complete characterization of such algebras using semigroup equations. We also provide constructions of such associative pentagon algebras and give several classes of examples.

math.RA↗
arXiv2025

Reflections to set-theoretic solutions of the Yang-Baxter equation

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 non-degenerate solutions in terms of a family of automorphisms of their associated left rack. In some cases, we show that the study of reflections for bijective and non-degenerate solutions can be reduced to those of derived type. Moreover, we extend some results obtained in the literature for reflections of involutive non-degenerate solutions to more arbitrary solutions. Besides, we provide ways for defining reflections for solutions obtained by employing some classical construction techniques of solutions. Finally, we gather some numerical data on reflections for bijective non-degenerate solutions associated with skew braces of small order.

math.QA↗
arXiv2024

Deformed solutions of the Yang-Baxter equation associated to dual weak braces

A dual weak brace is an algebraic structure $\left(S,\,+,\,\circ\right)$ including skew braces and giving rise to a set-theoretic solution of the Yang-Baxter equation. We show that such a map belongs to a family of set-theoretic solutions, called deformed solutions, that are defined on $S$ and depending on certain parameters. We prove these elements are exactly those belonging to the distributor of $S$, i.e., $\mathcal{D}_r(S)=\{z \in S \, \mid \, \forall \, a,b \in S \quad (a+b) \circ z=a\circ z-z+b \circ z\}$, that is a full inverse subsemigroup of $\left(S, \circ\right)$. Regarding $S$ as a strong semilattice $[Y, B_α, ϕ_{α,β}]$ of skew braces $B_α$, we analyze when $\mathcal{D}_r(S)=\mathop{\dot{\bigcup}}\limits_{α\in Y} \mathcal{D}_r(B_α)$ and in which cases a deformed solution is the strong semilattices of deformed solutions.

math.QA↗
arXiv2023

Idempotent set-theoretical solutions of the pentagon equation

A set-theoretical solution of the pentagon equation on a non-empty set $X$ is a function $s:X\times X\to X\times X$ satisfying the relation $s_{23}\, s_{13}\, s_{12}=s_{12}\, s_{23}$, with $s_{12}=s\times \,id_X$, $s_{23}=id_X \times \, s$ and $s_{13}=(id_X\times \, τ)s_{12}(id_X\times \,τ)$, where $τ:X\times X\to X\times X$ is the flip map given by $τ(x,y)=(y,x)$, for all $x,y\in X$. Writing a solution as $s(x,y)=(xy ,θ_x(y))$, where $θ_x: X \to X$ is a map, for every $x\in X$, one has that $X$ is a semigroup. In this paper, we study idempotent solutions, i.e., $s^2=s$, by showing that the idempotents of $X$ have a key role in such an investigation. In particular, we describe all such solutions on monoids having central idempotents. Moreover, we focus on idempotent solutions defined on monoids for which the map $θ_1$ is a monoid homomorphism.

math.QA↗
arXiv2023

Solutions of the Yang-Baxter equation and strong semilattices of skew braces

We prove that any set-theoretic solution of the Yang-Baxter equation associated to a dual weak brace is a strong semilattice of non-degenerate bijective solutions. This fact makes use of the description of any dual weak brace $S$ we provide in terms of strong semilattice $Y$ of skew braces $B_α$, with $α\in Y$. Additionally, we describe the ideals of $S$ and study its nilpotency by correlating it to that of each skew brace $B_α$.

math.QA↗
arXiv2023

Rota-Baxter operators on Clifford semigroups and the Yang-Baxter equation

In this paper, we introduce the theory of Rota-Baxter operators on Clifford semigroups, useful tools for obtaining dual weak braces, i.e., triples $\left(S,+,\circ\right)$ where $\left(S,+\right)$ and $\left(S,\circ\right)$ are Clifford semigroups such that $a\circ\left(b+c\right) = a\circ b - a +a\circ c$ and $a\circ a^- = -a+a$, for all $a,b,c\in S$. To each algebraic structure is associated a set-theoretic solution of the Yang-Baxter equation that has a behaviour near to the bijectivity and non-degeneracy. Drawing from the theory of Clifford semigroups, we provide methods for constructing dual weak braces and deepen some structural aspects, including the notion of ideal.

math.QA↗
arXiv2023

Set-theoretical solutions of the pentagon equation on Clifford semigroups

Given a set-theoretical solution of the pentagon equation $s:S\times S\to S\times S$ on a set $S$ and writing $s(a, b)=(a\cdot b,\, θ_a(b))$, with $\cdot$ a binary operation on $S$ and $θ_a$ a map from $S$ into itself, for every $a\in S$, one naturally obtains that $\left(S,\,\cdot\right)$ is a semigroup. In this paper, we focus on solutions on Clifford semigroups $\left(S,\,\cdot\right)$ satisfying special properties on the set of the idempotents $E(S)$. Into the specific, we provide a complete description of idempotent-invariant solutions, namely, those solutions for which $θ_a$ remains invariant in $E(S)$, for every $a\in S$. Moreover, considering $(S,\,\cdot)$ as a disjoint union of groups, we construct a family of idempotent-fixed solutions, i.e., those solutions for which $θ_a$ fixes every element in $E(S)$, for every $a\in S$, starting from a solution on each group.

math.GR↗
arXiv2022

Set-theoretic solutions of the Yang-Baxter equation associated to weak braces

We investigate a new algebraic structure which always gives rise to a set-theoretic solution of the Yang-Baxter equation. Specifically, a weak (left) brace is a non-empty set $S$ endowed with two binary operations $+$ and $\circ$ such that both $(S,+)$ and $(S, \circ)$ are inverse semigroups and they hold \begin{align*} a \circ \left(b+c\right) = a\circ b - a +a\circ c \qquad \text{and} \qquad a\circ a^- = - a + a, \end{align*} for all $a,b,c \in S$, where $-a$ and $a^-$ are the inverses of $a$ with respect to $+$ and $\circ$, respectively. In particular, such structures include that of skew braces and form a subclass of inverse semi-braces. Any solution $r$ associated to an arbitrary weak brace $S$ has a behavior close to bijectivity, namely $r$ is a completely regular element in the full transformation semigroup on $S\times S$. In addition, we provide some methods to construct weak braces.

math.QA↗
arXiv2021

Simplicity and finite primitive level of indecomposable set-theoretic solutions of the Yang-Baxter equation

This paper aims to deepen the theory of bijective non-degenerate set-theoretic solutions of the Yang-Baxter equation, not necessarily involutive, by means of q-cycle sets. We entirely focus on the finite indecomposable ones among which we especially study two classes of current interest: the simple solutions and those having finite primitive level. In particular, we provide two group-theoretic characterizations of these solutions, involving their permutation groups. Finally, we deal with some open questions.

math.QA↗
arXiv2020

Inverse semi-braces and the Yang-Baxter equation

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 semigroups and to that of the most recently studied braces, to give a new research perspective to the open problem of finding solutions. Namely, we have recourse to a new structure, the inverse semi-brace, that is a triple $(S,+, \cdot)$ with $(S,+)$ a semigroup and $(S, \cdot)$ an inverse semigroup satisfying the relation $a \left(b + c\right) = a b + a\left(a^{-1} + c\right)$, for all $a,b,c \in S$, where $a^{-1}$ is the inverse of $a$ in $(S, \cdot)$. In particular, we give several constructions of inverse semi-braces which allow for obtaining solutions that are different from those until known.

math.QA↗
arXiv2019

Set-theoretical solutions of the Yang-Baxter and pentagon equations on semigroups

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}\, s_{12} = s_{12}\, s_{13}\, s_{23}, $$ where $s_{12}=s\times id_S$, $s_{23}=id_S\times s$, and $s_{13}=(id_S\times τ)\,s_{12}\,(id_S\times τ)$ and $τ$ is the flip map, i.e., the map on $S\times S$ given by $τ(x,y)=(y,x)$. Instead, $s$ is called a set-theoretical solution of the pentagon equation if $$ s_{23}\, s_{13}\, s_{12}=s_{12}\, s_{23}. $$ The main aim of this work is to display how solutions of the pentagon equation turn out to be a useful tool to obtain new solutions of the Yang-Baxter equation. Specifically, we present a new construction of solutions of the Yang-Baxter equation involving two specific solutions of the pentagon equation. To this end, we provide a method to obtain solutions of the pentagon equation on the matched product of two semigroups, that is a semigroup including the classical Zappa product.

math.QA↗
arXiv2019

Set-theoretical solutions of the pentagon equation on groups

Let $M$ be a set. A set-theoretical solution of the pentagon equation on $M$ is a map $s:M\times M\longrightarrow M\times M$ such that \begin{equation*} s_{23}\, s_{13}\, s_{12}=s_{12}\, s_{23}, \end{equation*} where $s_{12}=s\times id_M$, $s_{23}=id_M \times s$ and $s_{13}=(id_M \times τ) s_{12}(id_M \times τ)$, and $τ$ is the flip map, i.e., the permutation on $M\times M$ given by $τ(x,y)=(y,x)$, for all $x,y\in M$. In this paper we give a complete description of the set-theoretical solutions of the form $s(x,y)=(x\cdot y , x\ast y)$ when either $(M,\cdot)$ or $(M,\ast)$ is a group; moreover, we raise some questions.

math.QA↗