Genetic Algebras Associated with ξ^(a)-Quadratic Stochastic Operators

Abstract

The present paper deals with a class of ${\xi }^{\left(a\right)}$-quadratic stochastic operators, referred to as QSOs, on a two-dimensional simplex. It investigates the algebraic properties of the genetic algebras associated with ${\xi }^{\left(a\right)}$-QSOs. Namely, the associativity, characters and derivations of genetic algebras are studied. Moreover, the dynamics of these operators are also explored. Specifically, we focus on a particular partition that results in nine classes, which are further reduced to three nonconjugate classes. Each class gives rise to a genetic algebra denoted as $A_i$, and it is shown that these algebras are isomorphic. The investigation then delves into analyzing various algebraic properties within these genetic algebras, such as associativity, characters, and derivations. The conditions for associativity and character behavior are provided. Furthermore, a comprehensive analysis of the dynamic behavior of these operators is conducted.

1. Introduction

Mathematical population genetics investigates the dynamics of frequency distributions of genetic types (alleles, genotypes, gene collections, etc.) in successive generations under the action of evolutionary forces. To explore the behavior of the population, the discrete dynamical system associated with an evolution operator is the main object of the theory. In ref. [1], a short history of applications of mathematics to solving various problems in population dynamics is given.

On the other hand, there is another theoretical framework to investigate essential properties of population genetics, which is based on an algebraic approach [2,3]. In this scheme, most of the algebras are nonassociative. In the literature (see, for example, [4,5]), plenty of nonassociative algebras (baric, evolution, Bernstein, train, stochastic, etc.) have appeared to model inheritance in genetic systems. Such algebras are referred to as “genetic algebras”. In general, problems of population genetics were started in [6] by employing quadratic stochastic operators (see also [2]). It is worth recalling those operators which present the time evolution of species in biology [7,8]. Namely, let us look at a population consisting of m species (or traits) which are denoted by $I=\{1,2,\cdots ,m\}$. Assume that $x^{\left(0\right)}=\left(x_1^{\left(0\right)},\cdots ,x_m^{\left(0\right)}\right)$ is a probability distribution of species at an initial state, and $p_{ij,k}$ is a probability that individuals in the ith and jth species interbreed to produce an individual from a kth species. Then, a probability distribution $x^{\left(1\right)}=\left(x_1^{\left(1\right)},\cdots ,x_m^{\left(1\right)}\right)$ of the species in the first generation can be found as a total probability, i.e.,

$$x_k^{\left(1\right)}=\sum _{i,j=1}^m{p}_{ij,k}{x}_i^{\left(0\right)}{x}_j^{\left(0\right)},k\in \{1,\dots ,m\}.$$

The correspondence $x^{\left(0\right)}\to x^{\left(1\right)}$ is called the evolution operator or quadratic stochastic operator (QSO). In other words, such an operator describes a distribution of the next generation if the distribution of the current generation was given. Applications of QSOs to population genetics were given in [2,9,10,11]. The reader is referred to [12] for a self-contained exposition of the recent achievements and open problems in the theory of QSOs.

QSOs find applications as discrete-time dynamical systems in various fields, including economics, epidemiology, and social sciences [13,14,15,16,17]. They are valuable tools for analyzing and predicting the behavior of complex systems that undergo discrete changes at fixed time intervals. For instance, in economics, QSOs can assist in modeling and understanding market dynamics, optimizing resource allocation, and predicting economic trends. In epidemiology, QSOs can be employed to simulate disease spread, evaluate intervention strategies, and forecast the progression of infectious diseases. Moreover, in social sciences, QSOs can aid in studying social dynamics, opinion formation, and decision-making processes within populations. By employing QSOs as discrete-time dynamical systems, researchers can gain insights into the intricate dynamics of these complex systems, enabling better understanding, planning, and decision-making.

Each QSO defines an algebraic structure on the vector space ${\mathbb{R}}^m$ containing the simplex (see next section for definitions). The associated algebra is called genetic algebra. A more modern use of the genetic algebra theory for self-fertilization can be found in [18,19]. Therefore, it is the interplay between the purely mathematical structure and the corresponding genetic properties that makes this subject so fascinating. We refer to [2,3,20] for comprehensive references.

In [21,22], new classes of QSO were introduced, which are called ${\xi }^{\left(as\right)}$-QSOs. We notice that such classes of operators depend on the partition of the coupled index set (the coupled trait set) ${\mathbf{P}}_m=\{(i,j):i<j\}\subset I\times I$. Furthermore, certain subclasses of these operators have been intensively explored in [23,24,25]. However, in those investigations, the algebraic structures of genetic algebras associated with ${\xi }^{\left(a\right)}$-QSO are not considered. Therefore, to fill that gap, in the present paper, we are aiming to study certain algebraic properties of genetic algebras corresponding to ${\xi }^{\left(a\right)}$-QSO. We stress that the considered ${\xi }^{\left(a\right)}$-QSOs are different from Lotka–Volterra QSOs, which also have important applications in several branches of sciences [26,27,28,29]. The genetic algebras associated with Lotka–Volterra operators have been intensively explored in [30,31,32,33]. There appeared several works on the derivations of genetic algebras [34,35,36,37]. Interpretations of the derivations have been discussed in [18]. Recently, in [38,39,40,41], derivations of Lotka–Volterra algebras have been described. Furthermore, other types of genetic algebras have been investigated in [42,43,44,45,46,47].

The paper is organized as follows. In Section 2, we collect necessary definitions from the theory of genetic algebras. Section 3 is devoted to the construction of a class of ${\xi }^{\left(a\right)}$-QSO on two-dimensional simplex. Furthermore, in Section 4, we study the associativity of these operators along with their dynamics. The characters of these algebras are described in Section 5. In Section 6, the derivations of genetic algebras associated with ${\xi }^{\left(a\right)}$ are described. Moreover, in Section 7, the dynamics of these operators are discussed.

2. Preliminaries

Recall that a quadratic stochastic operator (QSO) is a mapping of the simplex

$$\begin{array}{c}\hfill S^{m-1}=\left\{x=(x_1,\cdots ,x_m)\in {\mathbb{R}}^m:\sum _{i=1}^m{x}_i=1,x_i\ge 0,i=\overline{1,m}\right\}\end{array}$$

(1)

into itself, of the form

$$\begin{array}{c}\hfill x_k^{\prime }=\sum _{i,j=1}^m{P}_{ij,k}{x}_i{x}_j,k=\overline{1,m},\end{array}$$

(2)

where $V\left(x\right)=x^{\prime }=(x_1^{\prime },\cdots ,x_m^{\prime })$, and $P_{ij,k}$ is a coefficient of heredity, which satisfies the following conditions

$$\begin{array}{c}\hfill P_{ij,k}\ge 0,P_{ij,k}=P_{ji,k},\sum _{k=1}^m{P}_{ij,k}=1.\end{array}$$

(3)

Thus, each quadratic stochastic operator $V:S^{m-1}\to S^{m-1}$ can be uniquely defined by a cubic matrix $\mathcal{P}={\left(P_{ijk}\right)}_{i,j,k=1}^m$ with conditions (3).

A point $x\in S^{m-1}$ is called a k-periodic point of V, if $V^j\left(x\right)\ne x$, $0\le j<k$, $V^k\left(x\right)=x$. If $k=1$, then such a point is called a fixed point of V. The set of fixed points and $k-$ periodic points of V are denoted by $Fix\left(V\right)$ and $Pe{r}_k\left(V\right)$, respectively. For a given point $x^{\left(0\right)}\in S^{m-1}$, a trajectory ${\left\{x^{\left(n\right)}\right\}}_{n=0}^{\infty }$ of V starting from $x^{\left(0\right)}$ is defined by $x^{(n+1)}=V\left(x^{\left(n\right)}\right)$. By ${\omega }_V\left(x^{\left(0\right)}\right)$, we denote a set of omega limiting points of the trajectory ${\left\{x^{\left(n\right)}\right\}}_{n=0}^{\infty }$.

Definition 1. 

A quadratic stochastic operator V is called regular if for any initial point $x\in S^{m-1}$ the limit $\underset{n\to \infty }{lim}{V}^n\left(x\right)$ exists.

Note that each element $x\in S^{m-1}$ is a probability distribution of the set $I=\{1,\dots ,m\}.$ Let $x=(x_1,\cdots ,x_m)$ and $y=(y_1,\cdots ,y_m)$ be vectors taken from $S^{m-1}$. We say that x is equivalent to y if $x_k=0$⇔$y_k=0$; this relation is denoted by $x\sim y$.

Let $supp\left(x\right)=\{i:x_i\ne 0\}$ be a support of $x\in S^{m-1}$. We say that x is singular to y and denote by $x\perp y$, if $supp\left(x\right)\cap supp\left(y\right)=\varnothing$.

We denote the sets of coupled indexes by

$${\mathbf{P}}_m=\{(i,j):i<j\}\subset I\times I,{\Delta }_m=\{(i,i):i\in I\}\subset I\times I.$$

For a given pair $(i,j)\in {\mathbf{P}}_m\cup {\Delta }_m$, we set a vector ${\mathbb{P}}_{ij}=\left(P_{ij,1},\cdots ,P_{ij,m}\right)$. It is clear due to condition (3) that ${\mathbb{P}}_{ij}\in S^{m-1}$.

Let $\xi ={\left\{A_i\right\}}_{i=1}^N$ and $\eta ={\left\{B_i\right\}}_{i=1}^M$ be some fixed partitions of ${\mathbf{P}}_m$ and ${\Delta }_m$, respectively, i.e., $A_i\bigcap A_j=\varnothing$, $B_i\bigcap B_j=\varnothing$, and ${\displaystyle \bigcup _{i=1}^N}{A}_i={\mathbf{P}}_m$, ${\displaystyle \bigcup _{i=1}^M}{B}_i={\Delta }_m$, where $N,M\le m$.

Definition 2. 

A quadratic stochastic operator $V:S^{m-1}\to S^{m-1}$ given by (2) and (3), is called a ${\xi }^{\left(as\right)}$-QSO with regard to the partitions $\xi ,\eta$ (where the letters “as” stand for absolutely continuous-singular) if the following conditions are satisfied:

(i) 

for each $k\in \{1,\dots ,N\}$ and any $(i,j)$, $(u,v)\in A_k$, one has that ${\mathbb{P}}_{ij}\sim {\mathbb{P}}_{uv}$;

(ii) 

for any $k\ne \ell$, $k,\ell \in \{1,\dots ,N\}$ and any $(i,j)\in A_k$ and $(u,v)\in A_{\ell }$ one has that ${\mathbb{P}}_{ij}\perp {\mathbb{P}}_{uv}$;

(iii) 

for each $d\in \{1,\dots ,M\}$ and any $(i,i)$, $(j,j)\in B_d$, one has that ${\mathbb{P}}_{ii}\sim {\mathbb{P}}_{jj}$;

(iv) 

for any $s\ne h$, $s,h\in \{1,\dots ,M\}$ and any $(u,u)\in B_s$ and $(v,v)\in B_h$ one has that ${\mathbb{P}}_{uu}\perp {\mathbb{P}}_{vv}$.

Remark 1. 

If η is the point partition, i.e. ${\xi }_2=\{\left\{(1,1)\right\},\dots \left\{(m,m)\right\}\}$, then we call the corresponding QSO by ${\xi }^{\left(s\right)}$-QSO (where the letter “s” stands for singularity), because in this case, every two different vectors ${\mathbb{P}}_{ii}$ and ${\mathbb{P}}_{jj}$ are singular. If η is the trivial, i.e., ${\xi }_2=\left\{{\Delta }_m\right\}$, then we call the corresponding QSO by ${\xi }^{\left(a\right)}$-QSO (where the letter “a” stands for absolute continuous), because in this case, every two vectors ${\mathbb{P}}_{ii}$ and ${\mathbb{P}}_{jj}$ are equivalent. We note that some classes of ${\xi }^{\left(a\right)}$-QSO have been studied in [21].

A BIOLOGICAL INTERPRETATION OF A ${\xi }^{\left(a\right)}-$ QSO: We treat $I=\{1,\cdots ,m\}$ as a set of all possible traits of the population system. A coefficient $P_{ij,k}$ is a probability that parents in the $i^{th}$ and $j^{th}$ traits interbreed to produce a child from the $k^{th}$ trait. The condition $P_{ij,k}=P_{ji,k}$ means that the gender of parents does not influence the probability of having a child from the $k^{th}$ trait. In this sense, ${\mathbf{P}}_m\cup {\Delta }_m$ is a set of all the possible coupled traits of the parents. A vector ${\mathbb{P}}_{ij}=\left(P_{ij,1},\cdots ,P_{ij,m}\right)$ is a possible distribution of children in a family where the parents are carrying traits from the $i^{th}$ and $j^{th}$ types.

3. A Class of ${\mathit{\xi }}^{\left(\mathit{a}\right)}$-QSO on 2D Simplex

In this section, we are going to define ${\xi }^{\left(a\right)}$-QSO in two-dimensional simplex, i.e., $m=3$. The set ${\mathbf{P}}_3$ has the following possible partitions:

$$\begin{array}{ccc}& & {\xi }_1=\{\left\{(1,2)\right\},\left\{(1,3)\right\},\left\{(2,3)\right\}\},\left|{\xi }_1\right|=3,\hfill \\ & & {\xi }_2=\{\left\{(2,3)\right\},\{(1,2),(1,3)\}\},\left|{\xi }_2\right|=2,\hfill \\ & & {\xi }_3=\{\left\{(1,3)\right\},\{(1,2),(2,3)\}\},\left|{\xi }_3\right|=2,\hfill \\ & & {\xi }_4=\{\left\{(1,2)\right\},\{(1,3),(2,3)\}\},\left|{\xi }_4\right|=2,\hfill \\ & & {\xi }_5=\{(1,2),(1,3),(2,3)\},\left|{\xi }_5\right|=1.\hfill \end{array}$$

We notice that ${\xi }^{\left(as\right)}$-QSOs corresponding to the partitions ${\xi }_1-{\xi }_4$ have been studied in [22,23,24,25]. Therefore, in the present paper, we concentrate on the partition ${\xi }_5$ and $\eta =\left\{\right(1,1\left)\right(2,2\left)\right(3,3\left)\right\}$, which defines a class of ${\xi }^{\left(a\right)}$-QSO. In the sequel, for the sake of simplicity, we are going to consider the following coefficients ${\left(P_{ij,k}\right)}_{i,j,k=1}^m$ given by the table:

$P_{11}$	$P_{22}$	$P_{33}$	$P_{12}$	$P_{13}$	$P_{23}$
$(\alpha ,1-\alpha ,0)$	$(1-\alpha ,\alpha ,0)$	$(1-\alpha ,\alpha ,0)$	$(1,0,0)$	$(1,0,0)$	$(1,0,0)$
$(\alpha ,0,1-\alpha )$	$(1-\alpha ,0,\alpha )$	$(1-\alpha ,0,\alpha )$	$(0,1,0)$	$(0,1,0)$	$(0,1,0)$
$(0,\alpha ,1-\alpha )$	$(0,1-\alpha ,\alpha )$	$(0,1-\alpha ,\alpha )$	$(0,0,1)$	$(0,0,1)$	$(0,0,1)$

where $\alpha \in [0,1]$.

The corresponding QSOs are listed as follows:

$$V_1:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=\alpha x_1^2+(1-\alpha )x_2^2+(1-\alpha )x_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=(1-\alpha )x_1^2+\alpha x_2^2+\alpha x_3^2\hfill \\ x_3^{{}^{\prime }}=0\hfill \end{array}\right.$$

(4)

$$V_2:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=\alpha x_1^2+(1-\alpha )x_2^2+(1-\alpha )x_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=0\hfill \\ x_3^{{}^{\prime }}=(1-\alpha )x_1^2+\alpha x_2^2+\alpha x_3^2\hfill \end{array}\right.$$

(5)

$$V_3:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=\alpha x_1^2+(1-\alpha )x_2^2+(1-\alpha )x_3^2\hfill \\ x_3^{{}^{\prime }}=(1-\alpha )x_1^2+\alpha x_2^2+\alpha x_3^2\hfill \end{array}\right.$$

(6)

$$V_4:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=\alpha x_1^2+(1-\alpha )x_2^2+(1-\alpha )x_3^2\hfill \\ x_2^{{}^{\prime }}=(1-\alpha )x_1^2+\alpha x_2^2+\alpha x_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_3^{{}^{\prime }}=0\hfill \end{array}\right.$$

(7)

$$V_5:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=\alpha x_1^2+(1-\alpha )x_2^2+(1-\alpha )x_3^2\hfill \\ x_2^{{}^{\prime }}=2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_3^{{}^{\prime }}=(1-\alpha )x_1^2+\alpha x_2^2+\alpha x_3^2\hfill \end{array}\right.$$

(8)

$$V_6:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=0\hfill \\ x_2^{{}^{\prime }}=\alpha x_1^2+(1-\alpha )x_2^2+(1-\alpha )x_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_3^{{}^{\prime }}=(1-\alpha )x_1^2+\alpha x_2^2+\alpha x_3^2\hfill \end{array}\right.$$

(9)

$$V_7:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=\alpha x_1^2+(1-\alpha )x_2^2+(1-\alpha )x_3^2\hfill \\ x_2^{{}^{\prime }}=(1-\alpha )x_1^2+\alpha x_2^2+\alpha x_3^2\hfill \\ x_3^{{}^{\prime }}=2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \end{array}\right.$$

(10)

$$V_8:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=\alpha x_1^2+(1-\alpha )x_2^2+(1-\alpha )x_3^2+\hfill \\ x_2^{{}^{\prime }}=0\hfill \\ x_3^{{}^{\prime }}=(1-\alpha )x_1^2+\alpha x_2^2+\alpha x_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \end{array}\right.$$

(11)

$$V_9:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=0\hfill \\ x_2^{{}^{\prime }}=\alpha x_1^2+(1-\alpha )x_2^2+(1-\alpha )x_3^2\hfill \\ x_3^{{}^{\prime }}=(1-\alpha )x_1^2+\alpha x_2^2+\alpha x_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \end{array}\right.$$

(12)

4. Associativity

Let V be a QSO, and suppose that $x,y\in {\mathbb{R}}^m$ are arbitrary vectors. Then, one can define a binary rule [9] on ${\mathbb{R}}^m$ by

$${\left(\mathbf{x}{\circ }_V\mathbf{y}\right)}_k=\sum _{i,j=1}^m{P}_{ij,k}{x}_i{x}_j.$$

(13)

Using (3), one can see that $\mathbf{x}{\circ }_V\mathbf{y}=\mathbf{y}{\circ }_V\mathbf{x}$, i.e., the multiplication is commutative. Certain algebraic properties of such kinds of algebras were investigated in [2,3,20]. In general, genetic algebra is not necessarily associative.

The multiplication (13) in the canonical basis can be represented as follows:

$${\mathbf{e}}_i{\circ }_V{\mathbf{e}}_j=\sum _{i,j=1}^m{P}_{ij,k}{\mathbf{e}}_k.$$

(14)

It turns out that the multiplication can be given terms of QSO

$$\mathbf{x}{\circ }_V\mathbf{y}=\frac{1}{4}(V(\mathbf{x}+\mathbf{y})-V(\mathbf{x}-\mathbf{y})).$$

One can check that

$$\mathbf{x}{\circ }_V\mathbf{x}={\mathbf{x}}^2=V\left(\mathbf{x}\right)\mathrm{for} \mathrm{any}\mathbf{x}\in S^{m-1}.$$

This algebraic interpretation is useful, e.g., a state $\mathbf{x}$ is an equilibrium precisely when $\mathbf{x}$ is an idempotent element of the algebra.

The algebra A is called associative if

$$(\mathbf{x}\circ \mathbf{y})\circ \mathbf{z}=\mathbf{x}\circ (\mathbf{y}\circ \mathbf{z})\mathrm{for} \mathrm{all}\mathbf{x},\mathbf{y},\mathbf{z},\in A.$$

In this section, we are going to investigate the associativity of genetic algebras generated by ${\xi }^{\left(a\right)}$-QSO described in the previous section. To describe such algebras, we are going to consider more general operators which cover all listed ones. For this reason, we are going to evaluate the following table:

$P_{11,1}=a_1$	$P_{11,2}=b_1$	$P_{11,3}=c_1$
$P_{22,1}=a_2$	$P_{22,2}=b_2$	$P_{22,3}=c_2$
$P_{33,1}=a_3$	$P_{33,2}=b_3$	$P_{33,3}=c_3$

where $a_i,b_i,c_i\ge 0$

$$a_1+b_1+c_1=1,a_2+b_2+c_2=1,a_3+b_3+c_3=1.$$

Furthermore, we assume that the coefficients ${\left(P_{ij,k}\right)}_{ij,k=1}^m$ are given by

Cases	$P_{12}$	$P_{13}$	$P_{23}$
1	(1,0,0)	(1,0,0)	(1,0,0)
2	(0,1,0)	(0,1,0)	(0,1,0)
3	(0,0,1)	(0,0,1)	(0,0,1)

Then, the corresponding QSOs are described as follows:

$$W_1:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=a_1{x}_1^2+a_2{x}_2^2+a_3{x}_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=b_1{x}_1^2+b_2{x}_2^2+b_3{x}_3^2\hfill \\ x_3^{{}^{\prime }}=c_1{x}_1^2+c_2{x}_2^2+c_3{x}_3^2\hfill \end{array}\right.$$

(15)

$$W_2:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=a_1{x}_1^2+a_2{x}_2^2+a_3{x}_3^2\hfill \\ x_2^{{}^{\prime }}=b_1{x}_1^2+b_2{x}_2^2+b_3{x}_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_3^{{}^{\prime }}=c_1{x}_1^2+c_2{x}_2^2+c_3{x}_3^2\hfill \end{array}\right.$$

(16)

$$W_3:=\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=a_1{x}_1^2+a_2{x}_2^2+a_3{x}_3^2\hfill \\ x_2^{{}^{\prime }}=b_1{x}_1^2+b_2{x}_2^2+b_3{x}_3^2\hfill \\ x_3^{{}^{\prime }}=c_1{x}_1^2+c_2{x}_2^2+c_3{x}_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \end{array}\right.$$

(17)

The obtained operators $W_1,W_2$ and $W_3$, according to (13), generate corresponding genetic algebras which are denoted by $A_1,A_2$ and $A_3$. Therefore, we are going to investigate the associativity of these algebras. Let us list their table of multiplication.

Case I: In this case, we consider the QSO $W_1$; then, for the corresponding genetic algebra $A_1$, the table of multiplication is given by

	${\mathbf{e}}_1$	${\mathbf{e}}_2$	${\mathbf{e}}_3$
${\mathbf{e}}_1$	$a_1{\mathbf{e}}_1+b_1{\mathbf{e}}_2+c_1{\mathbf{e}}_3$	${\mathbf{e}}_1$	${\mathbf{e}}_1$
${\mathbf{e}}_2$	${\mathbf{e}}_1$	$a_2{\mathbf{e}}_1+b_2{\mathbf{e}}_2+c_2{\mathbf{e}}_3$	${\mathbf{e}}_1$
${\mathbf{e}}_3$	${\mathbf{e}}_1$	${\mathbf{e}}_1$	$a_3{\mathbf{e}}_1+b_3{\mathbf{e}}_2+c_3{\mathbf{e}}_3$

Case II: Now, let us consider $W_2$, then the algebra $A_2$ has the following table of multiplication:

	${\mathbf{e}}_1$	${\mathbf{e}}_2$	${\mathbf{e}}_3$
${\mathbf{e}}_1$	$a_1{\mathbf{e}}_1+b_1{\mathbf{e}}_2+c_1{\mathbf{e}}_3$	${\mathbf{e}}_2$	${\mathbf{e}}_2$
${\mathbf{e}}_2$	${\mathbf{e}}_2$	$a_2{\mathbf{e}}_1+b_2{\mathbf{e}}_2+c_2{\mathbf{e}}_3$	${\mathbf{e}}_2$
${\mathbf{e}}_3$	${\mathbf{e}}_2$	${\mathbf{e}}_2$	$a_3{\mathbf{e}}_1+b_3{\mathbf{e}}_2+c_3{\mathbf{e}}_3$

Case III: Using the same argument, the algebra $A_3$ is defined by $W_3$, and its table of multiplication is given by

	${\mathbf{e}}_1$	${\mathbf{e}}_2$	${\mathbf{e}}_3$
${\mathbf{e}}_1$	$a_1{\mathbf{e}}_1+b_1{\mathbf{e}}_2+c_1{\mathbf{e}}_3$	${\mathbf{e}}_3$	${\mathbf{e}}_3$
${\mathbf{e}}_2$	${\mathbf{e}}_3$	$a_2{\mathbf{e}}_1+b_2{\mathbf{e}}_2+c_2{\mathbf{e}}_3$	${\mathbf{e}}_3$
$e_3$	${\mathbf{e}}_3$	${\mathbf{e}}_3$	$a_3{\mathbf{e}}_1+b_3{\mathbf{e}}_2+c_3{\mathbf{e}}_3$

Theorem 1. 

The algebras $A_1,A_2$ and $A_3$ are isomorphic.

Proof. 

Let $W_1$ be given by (15) with the parameters $a_i,b_i,c_i$, and $W_2$ be given by (16) with the following parameters ${\overline{a}}_i,{\overline{b}}_i,{\overline{c}}_i$, such that

$$\begin{array}{c}\hfill \overline{a_2}=b_1,\overline{b_2}=a_1,\overline{c_2}=c_1\\ \hfill \overline{a_1}=b_2,\overline{b_1}=a_2,\overline{c_1}=c_2\\ \hfill \overline{a_3}=b_3,\overline{b_3}=a_3,\overline{c_3}=c_3\end{array}$$

For the sake of simplicity, we prove that $A_1$ is isomorphic to $A_2$. To do so, let us define a mapping

$$\alpha (x_1,x_2,x_3)=(x_2,x_1,x_3).$$

It is enough to check

$$\alpha \left({\mathbf{e}}_i{\circ }_{W_1}{\mathbf{e}}_j\right)=\alpha \left({\mathbf{e}}_i\right){\circ }_{W_2}\alpha \left({\mathbf{e}}_j\right),\forall i,j\in \{1,2,3\}.$$

Using Case I and Case II, we find

$$\begin{array}{c}\hfill \alpha \left({\mathbf{e}}_1{\circ }_{W_1}{\mathbf{e}}_1\right)=\alpha \left({\mathbf{e}}_1\right){\circ }_{W_2}\alpha \left({\mathbf{e}}_1\right)\Rightarrow \overline{a_2}=b_1,\overline{b_2}=a_1,\overline{c_2}=c_1\\ \hfill \alpha \left({\mathbf{e}}_2{\circ }_{W_1}{\mathbf{e}}_2\right)=\alpha \left({\mathbf{e}}_2\right){\circ }_{W_2}\alpha \left({\mathbf{e}}_2\right)\Rightarrow \overline{a_1}=b_2,\overline{b_1}=a_2,\overline{c_1}=c_2\\ \hfill \alpha \left({\mathbf{e}}_3{\circ }_{W_1}{\mathbf{e}}_3\right)=\alpha \left({\mathbf{e}}_3\right){\circ }_{W_2}\alpha \left({\mathbf{e}}_3\right)\Rightarrow \overline{a_3}=b_3,\overline{b_3}=a_3,\overline{c_3}=c_3\\ \hfill \alpha \left({\mathbf{e}}_1{\circ }_{W_1}{\mathbf{e}}_2\right)=\alpha \left({\mathbf{e}}_1\right){\circ }_{W_2}\alpha \left({\mathbf{e}}_2\right)={\mathbf{e}}_2\\ \hfill \alpha \left({\mathbf{e}}_1{\circ }_{W_1}{\mathbf{e}}_3\right)=\alpha \left({\mathbf{e}}_1\right){\circ }_{W_2}\alpha \left({\mathbf{e}}_3\right)={\mathbf{e}}_2\\ \hfill \alpha \left({\mathbf{e}}_2{\circ }_{W_1}{\mathbf{e}}_3\right)=\alpha \left({\mathbf{e}}_2\right){\circ }_{W_2}\alpha \left({\mathbf{e}}_3\right)={\mathbf{e}}_2\end{array}$$

which completes the proof. □

Furthermore, due to the proved theorem, we always consider the genetic algebra $A_1$.

Theorem 2. 

The genetic algebra $A_1$ is associative if and only if one of the following conditions is satisfied.

(i) 

$a_1=1,b_1=0,c_1=0;a_2=1,b_2=0,c_2=0;a_3,b_3,c_3-arbitary,b_3\ne 0$

(ii) 

$a_1=1,b_1=0,c_1=0;a_2,b_2,c_2-arbitary,c_2\ne 0;a_3=1,b_3=0,c_3=0$

(iii) 

$a_1=1,b_1=0,c_1=0;a_2-arbitary,b_2=1-a_2,c_2=0;a_3-arbitary,b_3=0,c_3=1-a_3$

Proof. 

To check the associativity, it is enough to establish the associativity on the basis of elements ${\mathbf{e}}_1,{\mathbf{e}}_2$ and ${\mathbf{e}}_3$

$${\mathbf{e}}_i\circ ({\mathbf{e}}_j\circ {\mathbf{e}}_k)=({\mathbf{e}}_i\circ {\mathbf{e}}_j)\circ {\mathbf{e}}_k,\mathrm{for} \mathrm{all}i,j,k=1,2,3$$

By checking all the cases, we obtain the following equations

$$\begin{array}{c}\hfill b_1(1-b_2)=0b_1{c}_2=c_1{b}_1{a}_2+c_1=0\\ \hfill c_1(1-c_3)=0c_1{b}_3=b_1{c}_1{a}_3+b_1=0\\ \hfill a_1=1b_1=0c_1=0\\ \hfill a_3(1-a_1)=0a_3{b}_1=0a_3{c}_1=0\\ \hfill a_2(1-a_1)=0a_2{b}_1=0a_2{c}_1=0\\ \hfill b_3(1-a_2)=0b_3{b}_2=0b_3{c}_2=0\\ \hfill c_2(1-a_3)=0c_2{b}_3=0c_3{c}_2=0.\end{array}$$

Solving these, we get

$$1.a_1=1,b_1=0,c_1=0;a_2=1,b_2=0,c_2=0;a_3,b_3,c_3-arbitary,b_3\ne 0.$$

Hence, the corresponding operator $W_1$ has the following form:

$$W_1:\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=x_1^2+x_2^2+a_3{x}_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=b_3{x}_3^2\hfill \\ x_3^{{}^{\prime }}=c_3{x}_3^2\hfill \end{array}\right.$$

$$2.a_1=1,b_1=0,c_1=0;a_2,b_2,c_2-arbitary,c_2\ne 0;a_3=1,b_3=0,c_3=0.$$

Hence, the corresponding operator $W_1$ has the following form:

$$W_1:\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=x_1^2+a_2{x}_2^2+x_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=b_2{x}_2^2\hfill \\ x_3^{{}^{\prime }}=c_2{x}_2^2\hfill \end{array}\right.$$

$$3.a_1=1,b_1=0,c_1=0;a_2-arbitary,b_2=1-a_2,c_2=0;a_3-arbitary,b_3=0,c_3=1-a_3.$$

Hence, the corresponding operator $W_1$ has the following form:

$$W_1:\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=x_1^2+a_2{x}_2^2+a_3{x}_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=(1-a_2)x_2^2\hfill \\ x_3^{{}^{\prime }}=(1-a_3)x_3^2\hfill \end{array}\right.$$

 □

Dynamics of $W_1$

In this subsection, we are going to investigate the dynamics of a QSO corresponding to associative genetic algebra $A_1$. Let us study the dynamics of $W_1$ according to the different cases described in Theorem 2.

According to part (i), $W_1$ has the following form

$$W_1:\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=x_1^2+x_2^2+a_3{x}_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=b_3{x}_3^2\hfill \\ x_3^{{}^{\prime }}=c_3{x}_3^2\hfill \end{array}\right.$$

If $x_3=0$, then $W_1(x_1,x_2,0)=(1,0,0)$. If $x_3\ne 0\Rightarrow 0<x_3\le 1$, then $x_3^{\left(1\right)}=C_3{x}_3^2,$$\Rightarrow x_3^{\left(n\right)}=C_3^{2^n-1}{x}_3^{2^n}$. Now, if $c_3<1\Rightarrow x_3^{\left(n\right)}\to 0$ and $x_2^{\left(1\right)}=b_3{x}_3^{\left(2\right)}\Rightarrow x_2^{\left(n\right)}=b_3{c}_3^{2^{n-1}-1}{x}_3^{2^{n-1}}\Rightarrow x_2^{\left(n\right)}\to 0$. So, $x_1^{\left(n\right)}+x_2^{\left(n\right)}+x_3^{\left(n\right)}=1\Rightarrow x_1^{\left(n\right)}=1$. Thus, $W_1^{\left(n\right)}\left(\mathbf{x}\right)\to (1,0,0)$. If $c_3=1,\Rightarrow a_3=b_3=0$, which gives $W_1(0,0,1)=(0,0,1)$. Therefore, $W_1(x_1,x_2,x_3)=(1-x_3^2,0,x_3^2)$. If $x_3<1\Rightarrow W_1^{\left(n\right)}\left(\mathbf{x}\right)\to (1,0,0)$.

According to part (ii), $W_1$ is represented as follows

$$W_1:\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=x_1^2+a_2{x}_2^2+x_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=b_2{x}_2^2\hfill \\ x_3^{{}^{\prime }}=c_2{x}_2^2\hfill \end{array}\right.$$

If $x_2=0$, then $W_1(x_1,0,x_3)=(1,0,0)$. If $x_2\ne 0\Rightarrow 0<x_2\le 1$, then $x_2^{\left(1\right)}=b_2{x}_2^2,\Rightarrow x_2^{\left(n\right)}=b_2^{2^n-1}{x}_2^{2^n}$. Now, if $b_2<1\Rightarrow x_2^{\left(n\right)}\to 0$ and, $x_3^{\left(1\right)}=c_2{x}_2^{\left(2\right)}\Rightarrow x_3^{\left(n\right)}=c_2{b}_2^{2^{n-1}-1}{x}_3^{2^{n-1}}\Rightarrow x_3^{\left(n\right)}\to 0$. So, $x_1^{\left(n\right)}+x_2^{\left(n\right)}+x_3^{\left(n\right)}=1\Rightarrow x_1^{\left(n\right)}=1$. Thus, $W_1^{\left(n\right)}\left(\mathbf{x}\right)\to (1,0,0)$. If $b_2=1,\Rightarrow a_2=b_2=0$, which gives $W_1(0,1,0)=(0,1,0)$. Therefore, $W_1(x_1,x_2,x_3)=(1-x_2^2,x_2^2,0)$. If $x_2<1\Rightarrow W_1^n\left(x\right)\to (1,0,0)$.

By part (iii), $W_1$ is given by

$$W_1:\left\{\begin{array}{c}{x}_1^{{}^{\prime }}=x_1^2+a_2{x}_2^2+a_3{x}_3^2+2x_1{x}_2+2x_2{x}_3+2x_1{x}_3\hfill \\ x_2^{{}^{\prime }}=(1-a_2)x_2^2\hfill \\ x_3^{{}^{\prime }}=(1-a_3)x_3^2\hfill \end{array}\right.$$

If $a_2=1,a_3=1$, then $W_1(x_1,x_2,x_3)\to (1,0,0)$. If $a_3=1,0\ne a_2<1$, then $x_2^1=(1-a_2)x_2^2\Rightarrow x_2^{\left(n\right)}={(1-a_2)}^{2^n-1}{x}_2^{2^n}$ because $a_2<1\Rightarrow x_2^{\left(n\right)}\to 0$. Additionally, $x_3^{\left(n\right)}=0\Rightarrow x_1^{\left(n\right)}\to$ 1. Therefore, $W_1^{\left(n\right)}\left(\mathbf{x}\right)\to (1,0,0)$. If $a_2=1,0\ne a_3<1$, then $x_3^1=(1-a_3)x_2^2\Rightarrow x_3^n={(1-a_3)}^{2^n-1}{x}_3^{2^n}$ because $a_3<1\Rightarrow x_3^{\left(n\right)}\to 0$. Additionally, $x_2^{\left(n\right)}=0\Rightarrow x_1^{\left(n\right)}\to$ 1. Therefore, $W_1^{\left(n\right)}\left(\mathbf{x}\right)\to (1,0,0)$. If $a_2<1,a_3<1$$x_2^1=(1-a_2)x_2^2$, which gives $x_2^{\left(n\right)}={(1-a_2)}^{2^n-1}{x}_2^{2^n}\Rightarrow x_2^{\left(n\right)}\to 0$, $x_3^1=(1-a_3)x_2^2$, which gives $x_3^{\left(n\right)}={(1-a_3)}^{2^n-1}{x}_3^{2^n}\Rightarrow x_3^{\left(n\right)}\to 0$$\Rightarrow x_1^{\left(n\right)}=1.$ Therefore, $W_1^{\left(n\right)}\left(\mathbf{x}\right)\to (1,0,0)$. If $a_2=0\Rightarrow x_2^{{}^{\prime }}=x_2^2\Rightarrow x_2=0,1$ or $a_3=0\Rightarrow x_3^{{}^{\prime }}=x_3^2\Rightarrow x_3=0,1$.

Hence, we can formulate the following theorem.

Theorem 3. 

Let $W_1$ be a QSO whose genetic algebra $A_1$ is associative, then $W_1$ is regular, moreover one has

$$W_1^{\left(n\right)}\left(\mathbf{x}\right)\to {\mathbf{e}}_1,\mathit{for} \mathit{every}\mathbf{x}\in S^2.$$

5. Character

In this section, we characterize all characters of genetic algebras. Let A be a genetic algebra. Let us recall that a character of A is a linear functional on A with

$$\mathbf{h}(\mathbf{x}\circ \mathbf{y})=\mathbf{h}\left(\mathbf{x}\right)\mathbf{h}\left(\mathbf{y}\right)\forall x,y\in A.$$

We notice that the functional

$$\mathbf{h}\left(\mathbf{x}\right)=x_1+x_2+x_3$$

is a trivial character for any genetic algebra. Therefore, we are interested to find other nontrivial characters $A_1$.

Theorem 4. 

Let us consider algebra $A_1$. Then, the following statements hold.

(i) 

If $c_1=c_2=0,c_3\ne 0$, then $\mathbf{h}\left(\mathbf{x}\right)=c_3{x}_3$ is a character;

(ii) 

If $b_1=b_3=0,b_2\ne 0$, then $\mathbf{h}\left(\mathbf{x}\right)=b_2{x}_2$ is a character;

(iii) 

otherwise, there is only a trivial character.

Proof. 

Let $\mathbf{h}\left(\mathbf{x}\right)=h_1{x}_1+h_2{x}_2+h_3{x}_3$ be a linear functional, where $\mathbf{x}=(x_1,x_2,x_3)$. To check $\mathbf{h}$ is a character, it is enough to verify

$$\mathbf{h}({\mathbf{e}}_i\circ {\mathbf{e}}_j)=\mathbf{h}\left({\mathbf{e}}_i\right)\mathbf{h}\left({\mathbf{e}}_j\right)\mathrm{for} \mathrm{all}i,j=1,2,3.$$

(18)

It is clear that $\mathbf{h}\left({\mathbf{e}}_i\right)=h_i$; then, checking (18) yields

$$\begin{array}{c}\hfill a_1{h}_1+b_1{h}_2+c_1{h}_3=h_1^2\end{array}$$

(19)

$$\begin{array}{c}\hfill h_1=h_1{h}_2\Rightarrow h_1(1-h_2)=0\end{array}$$

(20)

$$\begin{array}{c}\hfill h_1=h_1{h}_3\Rightarrow h_1(1-h_3)=0\end{array}$$

(21)

$$\begin{array}{c}\hfill a_2{h}_1+b_2{h}_2+c_2{h}_3=h_2^2\end{array}$$

(22)

$$\begin{array}{c}\hfill h_1=h_2{h}_3\end{array}$$

(23)

$$\begin{array}{c}\hfill a_3{h}_1+b_3{h}_2+c_3{h}_3=h_3^2\end{array}$$

(24)

Now we want to solve these equations. Consider several cases.

Case I: $h_1=0$, then $h_2{h}_3=0$.

Sub-case $I_1$: Assume that $h_2=0,h_3\ne 0$.

Then, from the above given equations, we find

$c_1{h}_3=0\Rightarrow c_1=0$ and $c_2{h}_3=0\Rightarrow c_2=0$. Moreover, $h_3^2-c_3{h}_3=0\Rightarrow h_3=c_3\ne 0$

Hence, $\mathbf{h}\left(\mathbf{x}\right)=c_3{x}_3,c_3\ne o,c_1=c_2=0$.

Sub-case $I_2$: $h_2\ne 0,h_3=0$

$b_1{h}_2=0\Rightarrow b_1=0$

$b_3{h}_2=0\Rightarrow b_3=0$

$h_2^2-b_2{h}_2=0\Rightarrow h_2=b_2\ne 0$

Thus, $\mathbf{h}\left(x\right)=b_2{x}_2,b_2\ne o,b_1=b_3=0$.

If $h_1\ne 0,h_2=1,h_3=1$, then we get the trivial derivation. □

Remark 2. 

It is worth mentioning that the characters of Lotka–Volterra and other kinds of genetic algebras have been investigated in [40,44].

6. Derivations

In this section, we are going to describe derivations of genetic algebras associated with ${\xi }^{\left(a\right)}$-QSOs. We recall that a derivation on algebra $(A,\circ )$ is a linear mapping $D:A\to A$ such that $D(u\circ v)=D\left(u\right)\circ v+u\circ D\left(v\right)$ for all $u,v\in A$. It is clear that $D\equiv 0$ is also a derivation, and such a derivation is called a trivial one. It is important to know whether the given algebra possesses a nontrivial derivation. Notice that a genetic interpretation of derivations was discussed in [35].

Let A be a genetic algebra associated with $W_1$. Its table of multiplication is given in Case 1. It is well known that d is a derivation if and only if

$$d({\mathbf{e}}_i\circ {\mathbf{e}}_j)=d\left({\mathbf{e}}_i\right)\circ {\mathbf{e}}_j+{\mathbf{e}}_i\circ d\left({\mathbf{e}}_j\right)$$

(25)

To describe derivations of the algebra A, we check the validity of (25). Assume that

$$D\left({\mathbf{e}}_i\right)=\sum _{j=1}^3{d}_{i,j}{\mathbf{e}}_j,i\in 1,2,3$$

(26)

for some matrix $\left(d_{ij}\right)$. Then, we obtain the following system of equations:

$$\{\begin{array}{}\mathrm{(27a)}& \hfill a_1{d}_{11}+b_1{d}_{21}+c_1{d}_{31}=2(a_1{d}_{11}+d_{12}+d_{13})\mathrm{(27b)}& \hfill a_1{d}_{12}+b_1{d}_{22}+c_1{d}_{32}=2b_1{d}_{11}\mathrm{(27c)}& \hfill a_1{d}_{13}+b_1{d}_{23}+c_1{d}_{33}=2c_1{d}_{11}\mathrm{(27d)}& \hfill a_2{d}_{11}+b_2{d}_{21}+c_2{d}_{31}=2(d_{21}+a_2{d}_{22}+d_{23})\mathrm{(27e)}& \hfill a_2{d}_{12}+b_2{d}_{22}+c_2{d}_{32}=2b_2{d}_{22}\mathrm{(27f)}& \hfill a_2{d}_{13}+b_2{d}_{23}+c_2{d}_{33}=2c_2{d}_{22}\mathrm{(27g)}& \hfill a_3{d}_{11}+b_3{d}_{21}+c_3{d}_{31}=2(d_{31}+a_2{d}_{32}+d_{33})\mathrm{(27h)}& \hfill a_3{d}_{12}+b_3{d}_{22}+c_3{d}_{32}=2b_3{d}_{33}\mathrm{(27i)}& \hfill a_3{d}_{13}+b_3{d}_{23}+c_3{d}_{33}=2c_3{d}_{33}\mathrm{(27j)}& \hfill a_2{d}_{12}+d_{13}+a_1{d}_{21}+d_{22}+d_{23}=0\mathrm{(27k)}& \hfill d_{12}=b_2{d}_{12}+b_1{d}_{21}\mathrm{(27l)}& \hfill d_{13}=c_2{d}_{12}+c_1{d}_{21}\mathrm{(27m)}& \hfill a_3{d}_{13}+d_{12}+a_1{d}_{31}+d_{32}+d_{33}=0\mathrm{(27n)}& \hfill d_{12}=b_1{d}_{31}+b_3{d}_{13}\mathrm{(27o)}& \hfill d_{13}=c_2{d}_{13}+c_1{d}_{31}\mathrm{(27p)}& \hfill d_{21}+d_{22}+a_3{d}_{23}+d_{31}+a_3{d}_{32}+d_{33}=d_{11}\mathrm{(27q)}& \hfill d_{12}=b_3{d}_{23}+b_2{d}_{32}\mathrm{(27r)}& \hfill d_{13}=c_3{d}_{23}+c_2{d}_{32}\end{array}$$

In what follows, for the sake of simplicity, we restrict ourselves to case $c_i=0\forall i\in \{1,2,3\}$. In this case, the system is reduced to

$$\{\begin{array}{}\mathrm{(28a)}& b_1{d}_{21}=a_1{d}_{11}+2d_{12}+2d_{13}\hfill \mathrm{(28b)}& a_1{d}_{12}+b_1{d}_{22}=2b_1{d}_{11}\hfill \mathrm{(28c)}& b_1{d}_{23}=0\hfill \mathrm{(28d)}& a_2{d}_{11}+b_2{d}_{21}=2(d_{21}+a_2{d}_{22}+d_{23})\hfill \mathrm{(28e)}& a_2{d}_{12}=2b_2{d}_{22}\hfill \mathrm{(28f)}& b_2{d}_{23}=0\hfill \mathrm{(28g)}& a_3{d}_{11}+b_3{d}_{21}=2(d_{31}+a_2{d}_{32}+d_{33})\hfill \mathrm{(28h)}& a_3{d}_{12}+b_3{d}_{22}=2b_3{d}_{33}\hfill \mathrm{(28i)}& b_3{d}_{23}=0\hfill \mathrm{(28j)}& a_2{d}_{12}+d_{13}+a_1{d}_{21}+d_{22}+d_{23}=0\hfill \mathrm{(28k)}& (b_2-1)d_{12}+b_1{d}_{21}=0\hfill \mathrm{(28l)}& a_3{d}_{13}+d_{12}+a_1{d}_{31}+d_{32}+d_{33}=0\hfill \mathrm{(28m)}& d_{12}=b_1{d}_{31}+b_3{d}_{13}\hfill \mathrm{(28n)}& d_{21}+d_{22}+a_3{d}_{23}+d_{31}+a_3{d}_{32}+d_{33}=d_{11}\hfill \mathrm{(28o)}& d_{12}=b_3{d}_{23}+b_2{d}_{32}\hfill \mathrm{(28p)}& d_{13}=0\hfill \end{array}$$

Let us consider several cases:

Case 1: 

Assume that $b_i=0,i\in \{1,2,3\}$ which means $a_i=1,i\in \{1,2,3\}$; then, from the above equations, we obtain

$$\begin{array}{c}\hfill d_{11}=0d_{12}=0d_{13}=0\\ \hfill d_{21}+d_{22}+d_{23}=0\\ \hfill d_{31}+d_{32}+d_{33}=0\end{array}$$

which yields

$$D=\left[\begin{array}{ccc}0& 0& 0\\ \alpha & \beta & -\alpha -\beta \\ \gamma & \delta & -\gamma -\delta \end{array}\right],\alpha ,\beta ,\gamma ,\delta \mathrm{is} \mathrm{arbitrary}.$$

Case 2: 

Assume that $b_i=0,\forall i\in \{1,2,3\}$; then, from the above equations, one finds

$$\begin{array}{c}\hfill d_{13}=0,d_{23}=0,d_{32}=\frac{d_{12}}{b_2},\\ \hfill d_{31}=\frac{d_{12}}{b_1},d_{22}=\frac{a_2}{b_1}{d}_{12},d_{21}=\frac{a_2}{b_1}{d}_{12},\\ \hfill d_{11}=\frac{d_{12}}{2}\left\{\frac{a_1}{b_1}+\frac{a_2}{b_2}\right\},d_{33}=\frac{d_{12}}{2}\left\{\frac{a_3}{b_3}+\frac{a_2}{b_2}\right\}.\end{array}$$

From $a_3{d}_{13}+d_{12}+a_1{d}_{31}+d_{32}+d_{33}=0$, substituting values of $d_{31},d_{32},d_{33}$, we get

$$d_{12}\left\{\frac{a_3}{b_3}+\frac{a_2}{b_2}\right\}=-2\left\{1+\frac{a_1}{b_1}+\frac{1}{b_2}\right\}{d}_{12}.$$

If $d_{12}\ne 0$, because R.H.S is a negative number, then L.H.S must be negative, which is impossible, so $d_{12}=0$. This implies that $d_{ij}=0,\forall i,j\in \{1,2,3\}$. In this case, we have only the trivial derivation.

Case 3: 

Assume that $b_1\ne 0,b_2=0,b_3=0$ which means $a_1=1,a_2=1$; then, from the above equations, we get

$$\begin{array}{c}\hfill d_{13}=0,d_{23}=0,d_{12}=0,\\ \hfill d_{31}=0,d_{21}=0,d_{22}=0,\\ \hfill d_{33}=-d_{32},d_{11}=0\end{array}$$

which yields

$$D=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ 0& \beta & -\beta \end{array}\right],\beta \mathrm{is} \mathrm{arbitrary}.$$

Case 4: 

Assume that $b_1=0,b_2\ne 0,b_3=0$; this means $a_1=1,a_3=1$. Then, using the same argument, we obtain a nontrivial derivation given by

$$D=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ \beta & 0& -\beta \end{array}\right],\beta \mathrm{is} \mathrm{arbitrary}.$$

Case 5: 

Assume that $b_1=0,b_2=0,b_3\ne 0$, which means $a_1=1,a_2=1$. In this case, we need to examine the system

$$\begin{array}{c}\hfill d_{13}=0,d_{23}=0,d_{12}=0,d_{11}=0,\\ \hfill d_{21}=-d_{22},d_{33}=\frac{d_{22}}{2},\\ \hfill d_{31}=-d_{32}-\frac{d_{22}}{2},\end{array}$$

which implies

$$D=\left[\begin{array}{ccc}0& 0& 0\\ -\alpha & \alpha & 0\\ -\frac{\alpha }{2}-\beta & \beta & \frac{\alpha }{2}\end{array}\right],\alpha ,\beta \mathrm{is} \mathrm{arbitrary}.$$

Case 6: 

Assume that $b_1=0,b_2\ne 0,b_3\ne 0$; here $a_1=1$, hence

$$\begin{array}{c}\hfill d_{13}=0,d_{23}=0,d_{12}=0,\\ \hfill d_{32}=0,d_{21}=0,d_{22}=0,\\ \hfill d_{33}=-d_{31},d_{11}=0\end{array}$$

which gives

$$D=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ \beta & 0& -\beta \end{array}\right],\beta \mathrm{is} \mathrm{arbitrary}.$$

Case 7: 

Assume that $b_1\ne 0,b_2=0,b_3\ne 0$; this means $a_2=1$. Then, using the same argument, we obtain a nontrivial derivation given by

$$D=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ 0& \beta & -\beta \end{array}\right],\beta \mathrm{is} \mathrm{arbitrary}.$$

Case 8: 

Assume that $b_1\ne 0,b_2\ne 0,b_3=0$, then we obtain $d_{ij}=0,\forall i,j\in \{1,2,3\}$. Hence, in this case, there is only a trivial derivation.

Now let us finalize the obtained results.

Theorem 5. 

Let $A_1$ be the genetic algebra generated by $W_1$ (15) with $c_i=0,\forall i\in \{1,2,3\}$. Then, the following statements hold.

(i) 

If all $b_i\ne 0,i\in \{1,2,3\}$ or $b_1\ne 0,b_2\ne 0,b_3=0$, then there is only a trivial derivation.

(ii) 

If $b_1\ne 0,b_2=0,b_3=0$ or $b_1\ne 0,b_2=0,b_3\ne 0$, then there is a nontrivial derivation given by

$$D=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ 0& \beta & -\beta \end{array}\right]\beta \mathit{is} \mathit{arbitrary}.$$

(iii) 

If $b_1=0,b_2\ne 0,b_3=0$ or $b_1=0,b_2\ne 0,b_3\ne 0$, then there is a nontrivial derivation given by

$$D=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ \beta & 0& -\beta \end{array}\right]\beta \mathit{is} \mathit{arbitrary}.$$

(iv) 

If $b_1=0,b_2=0,b_3\ne 0$, then there is a nontrivial derivation given by

$$D=\left[\begin{array}{ccc}0& 0& 0\\ -\alpha & \alpha & 0\\ -\frac{\alpha }{2}-\beta & \beta & \frac{\alpha }{2}\end{array}\right]\alpha ,\beta isarbitary.$$

(v) 

If $b_i=0,\forall i\in \{1,2,3\}$, then there is a nontrivial derivation given by

$$D=\left[\begin{array}{ccc}0& 0& 0\\ \alpha & \beta & -\alpha -\beta \\ \gamma & \delta & -\gamma -\delta \end{array}\right]\alpha ,\beta ,\gamma ,\delta isarbitary.$$

7. Dynamics of Some ${\mathit{\xi }}^{\left(\mathit{a}\right)}$-QSOs

This section is devoted to the investigation of the dynamical behavior of ${\xi }^{\left(a\right)}$-QSOs. We concentrate on the investigation of $V_1,V_2,\dots ,V_9$ operators given in Section 2. Using the argument of Theorem (1), we can establish that $V_1$ is conjugate to $V_2,V_6$; $V_4$ is conjugate to $V_8,V_9$, and $V_3$ is conjugate to $V_5,V_7$. Therefore, we concentrate on the investigation of the $V_1$, $V_4$ and $V_7$ operators, which will be studied separately. Furthermore, in order to provide a visual representation of the behavior of the considered class of ${\xi }^{\left(a\right)}$-quadratic stochastic operators (QSOs), we present accompanying images that illustrate their dynamics. These images aim to aid in understanding and interpreting the behavior of the operators in a graphical manner.

7.1. Dynamics of $V_1$

Now, we are going to study the dynamics of $V_1$. The dynamics of $V_1$ depend on the value of the parameter $\alpha$. For this reason, we are going to consider three cases; namely, when $\alpha =1,\alpha =0,$ and $0<\alpha <1$.

Let $l_z=\{(x,y,0),x,y\ge 0,x+y=1\}$.

Proposition 1. 

The following statement holds for $V_1$:

1. 

If ${\mathit{x}}^{\left(0\right)}\notin \mathrm{Fix}\left(V_1\right)$ be any initial point, then $V_1\left({\mathit{x}}^{\left(0\right)}\right)\in l_{z=0}.$

2. 

The line $l_{z=0}$ is invariant.

Proof. 

The proof is straightforward. □

Let us assume that $\alpha =1.$ Then, $V_1$ has the following form:

$$V_1:\left\{\begin{array}{c}{x}^{\prime }=x^2+2xy+2xz+2yz\hfill \\ y^{\prime }=y^2+z^2\hfill \\ z^{\prime }=0\hfill \end{array}\right.$$

Due to Proposition (1), it is enough to study the dynamic of $V_1$ on the line $l_{z=0}.$ Hence, the second coordinate becomes $y^{\prime }=y^2.$ So, the fixed points of $V_1$ when $\alpha =1$ are $(1,0,0)$ and $(0,1,0).$ Because $y^{\prime }=y^2$, then the sequence $\left\{y^{\left(n\right)}\right\}$ is decreasing and bounded; this implies that $y^{\left(n\right)}\to 0.$ Hence, $x^{\left(n\right)}\to 1-y^{\left(n\right)}.$ Thus, $\omega \left({\mathbf{x}}^{\left(0\right)}\right)=(1,0,0),$ as shown in Figure 1.

Assume that $\alpha =0$; then $V_1$ becomes

$$V_1:\left\{\begin{array}{c}{x}^{\prime }=(y^2+z^2)+2xy+2xz+2yz\hfill \\ y^{\prime }=x^2\hfill \\ z^{\prime }=0\hfill \end{array}\right.$$

To find the fixed point of $V_1$ in this case, we use the second coordinate and $x=1-y.$ Hence, $y={(1-y)}^2$, which is equivalent to $y^2-3y+1=0.$ The solution of the last equation is $y=\frac{3\pm \sqrt{5}}{2}.$ However, $\frac{3+\sqrt{5}}{2}>1.$ Hence, the fixed point in this case $\mathrm{Fix}\left(V_1\right)=\left\{\left(\frac{-1+\sqrt{5}}{2},\frac{3-\sqrt{5}}{2},0\right)\right\}.$ In this case we have also periodic points. From the second coordinate, one has $y^{\prime \prime }={(1-{(1-y)}^2)}^2$, which is equivalent to $y^{\prime \prime }={(2y-y^2)}^2.$ So, $y^{\prime \prime }=y$ if and only if $y\in \{0,\frac{3-\sqrt{5}}{2},1\}.$ So, the periodic points of $V_1$ when $\alpha =0$ are as follows:

$$\left\{{\mathbf{e}}_1,{\mathbf{e}}_2,\left(\frac{-1+\sqrt{5}}{2},\frac{3-\sqrt{5}}{2},0\right)\right\}.$$

Define the function $f\left(y\right)={(1-y)}^2$, this function is decreasing on $[0,1].$ Consider $g\left(y\right):=f\left(f\left(y\right)\right)-y=y^4-4y^3+4y^2-y.$ After simple calculations, one has $g\left(y\right)<0$ when $0\le y<\frac{3-\sqrt{5}}{2}$, and $g\left(y\right)>0$ when $\frac{3-\sqrt{5}}{2}<y\le 1$.

Assume that ${\mathbf{x}}^{\left(0\right)}\in l_{z=0}$ is any initial point. If ${\mathbf{x}}^{\left(0\right)}$ is chosen such that $y^{\left(0\right)}<\frac{-1+\sqrt{5}}{2}$, because $f\left(y\right)$ is decreasing, then $y^{\left(1\right)}>\frac{-1+\sqrt{5}}{2}$. Then, the trajectory implies that the sequence $\frac{-1+\sqrt{5}}{2}<\left\{y^{\left(2k\right)}\right\}\le 1$ and the sequence $0\le \left\{y^{(2k+1)}\right\}<\frac{-1+\sqrt{5}}{2}.$ One can find that the sequence $\left\{y^{(2k+1)}\right\}$ is decreasing. Hence, $y^{(2k+1)}\to 0$, consequently, $x^{(2k+1)}\to 1.$ Additionally, the sequence $\left\{y^{\left(2k\right)}\right\}$ is increasing. Hence, $y^{\left(2k\right)}\to 1$, consequently, $x^{(2k+1)}\to 0.$ Thus,

$$\omega \left({\mathbf{x}}^{\left(0\right)}\right)=\{{\mathbf{e}}_1,{\mathbf{e}}_2\}.$$

From Figure 2, one can see that the trajectory jumps between the periodic points $\{{\mathbf{e}}_1,{\mathbf{e}}_2\}$.

Now, consider $0<\alpha <1.$ Then, to find the fixed points, we shall solve the following systems

$$\begin{array}{ccc}\hfill \alpha x^2+(1-\alpha ){(1-x)}^2+2x(1-x)& =& x\hfill \\ \hfill y^2+(2\alpha -2)y+1-\alpha & =& y\hfill \end{array}$$

From $y^2+(2\alpha -2)y+1-\alpha =y$, one finds $y=\frac{3-2\alpha -\sqrt{4{\alpha }^2-8\alpha +5}}{2}.$ Hence, $x=\frac{(2\alpha -1)+\sqrt{4{\alpha }^2-8\alpha +5}}{2}.$ So, $\left(\frac{(2\alpha -1)+\sqrt{4{\alpha }^2-8\alpha +5}}{2},\frac{3-2\alpha -\sqrt{4{\alpha }^2-8\alpha +5}}{2},0\right)$ is a fixed point. Define the function

$$h\left(y\right)=y^2+(2\alpha -2)y+1-\alpha .$$

This function increases for any $y\ge 1-\alpha$ and decreases for any $y\le 1-\alpha$.

Let us denote $\Delta =4{\alpha }^2-8\alpha +5$. The following result is well known [48] (see also [49]).

Theorem 6. 

The following statements hold:

(i) 

If $0<\Delta <4$, then all the trajectories of V converge to the fixed point.

(ii) 

If $4<\Delta <5$, then there exist two periodic points of V, and all trajectories go to them except for the fixed point.

Now we are going to clarify under which conditions of $\alpha$ we can explicitly find the fixed and periodic points respectively.

(i)

Assume that $0<\Delta <4$, then

$$4{\alpha }^2-8\alpha +5<4\Rightarrow 4{\alpha }^2-8\alpha +1<0\Rightarrow 1-\frac{\sqrt{3}}{2}<\alpha \le 1.$$

The unique fixed point is given by

$$f_1=\left(\frac{(2\alpha -1)+\sqrt{4{\alpha }^2-8\alpha +5}}{2},\frac{3-2\alpha -\sqrt{4{\alpha }^2-8\alpha +5}}{2},0\right).$$

(ii)

Let us assume that $4<\Delta <5$, then, keeping in view the above calculations, we have

$$0<\alpha \le 1-\frac{\sqrt{3}}{2}.$$

In this case, V has two periodic points. To find them, we need to solve

$$y^4+(4\alpha -4)y^3+(4a^2-8a+4)y^2-y+a-a^2=0.$$

The solutions of this equation are

$$y=\frac{3-2\alpha \pm \sqrt{4{\alpha }^2-8\alpha +5}}{2},y=\frac{1-2\alpha \pm \sqrt{4{\alpha }^2-8\alpha +5}}{2}.$$

Hence, two periodic points are given by

$$f_2=\left(\frac{1+2\alpha -\sqrt{4{\alpha }^2-8\alpha +1}}{2},\frac{(1-2\alpha )+\sqrt{4{\alpha }^2-8\alpha +1}}{2},0\right)$$

$$f_3=\left(\frac{1+2\alpha +\sqrt{4{\alpha }^2-8\alpha +1}}{2},\frac{(1-2\alpha )-\sqrt{4{\alpha }^2-8\alpha +1}}{2},0\right).$$

We note that

$$f_1=\left(\frac{(2\alpha -1)+\sqrt{4{\alpha }^2-8\alpha +5}}{2},\frac{3-2\alpha -\sqrt{4{\alpha }^2-8\alpha +5}}{2},0\right)$$

is a fixed point of $V_1$.

Furthermore, the point

$$f_4=\left(\frac{(2\alpha -1)-\sqrt{4{\alpha }^2-8\alpha +5}}{2},\frac{3-2\alpha +\sqrt{4{\alpha }^2-8\alpha +5}}{2},0\right)$$

does not belong to the simplex $S^2$. Now, keeping in mind theorem 6, we can summarize the following result:

(i)

If $0<\alpha \le 1-\frac{\sqrt{3}}{2},$ then for any ${\mathbf{x}}^{\left(0\right)}\in S^2$ we have $\omega \left({\mathbf{x}}^{\left(0\right)}\right)=\{f_2,f_3\}$.

(ii)

If $1-\frac{\sqrt{3}}{2}<\alpha <1,$ then for any ${\mathbf{x}}^{\left(0\right)}\in S^2$ one has $\omega \left({\mathbf{x}}^{\left(0\right)}\right)=\left\{f_1\right\}$.

Remark 3. 

We stress that the dynamics of $V_4$ can be investigated by the same argument as $V_1$. Therefore, we leave this without going into detail.

7.2. Dynamics of $V_7$

In this section, we are going to study the general properties of the operator $V_7.$ The finding of a fixed point depending on the parameter $\alpha$ is a difficult task. Hence, we are going to estimate the region of the fixed point.

Proposition 2. 

The following statements hold for $V_7:$

(i) 

$x^{\prime }+y^{\prime }\ge 1/3$.

(ii) 

If $z^{\left(0\right)}<\frac{1}{2},$ then the sequence $\left\{z^{\left(n\right)}\right\}$ is strictly increasing.

(iii) 

If $\alpha <\frac{1}{2}$ then $x^{\left(n\right)}>y^{\left(n\right)},$ if $\alpha >\frac{1}{2}$ then $x^{\left(n\right)}<y^{\left(n\right)},$ and if $\alpha =\frac{1}{2}$ then $x^{\left(n\right)}=y^{\left(n\right)}.$

Proof. 

Consider $x^{\prime }+y^{\prime }=x^2+y^2+z^2$. Using the Lagrange Multilayer method, one has that the minimum value of the function $x^2+y^2+z^2$, subject to $x+y+z=1$ and $x,y,z\ge 0$, is $\frac{1}{3}.$ This implies that $x^{\prime }+y^{\prime }\ge \frac{1}{3}$.

To prove (ii), let us take

$$z^{\prime }-z=2z(x+y)+2xy-z=z-2z^2+2xy.$$

It is not hard to show that $z\ge 2z^2$ in $[0,\frac{1}{2}]$, then $z-2z^2+2xy\ge 0.$ This implies that $z^{\prime }>z.$ Hence, the sequence $\left\{z^{\left(n\right)}\right\}$ is strictly increasing.

For (iii), consider

$$x^{\left(n\right)}-y^{\left(n\right)}=(2\alpha -1){\left(x^{(n-1)}\right)}^2+(1-2\alpha ){\left(y^{(n-1)}\right)}^2+(1-2\alpha ){\left(z^{(n-1)}\right)}^2.$$

By $\left(ii\right)$ we have that $z^{(n-1)}$ is going to be the maximum value of $\{x^{(n-1)},x^{(n-1)},z^{(n-1)}\}.$ This implies that, if $\alpha <\frac{1}{2}$, then

$$x^{\left(n\right)}-y^{\left(n\right)}=(2\alpha -1){\left(x^{(n-1)}\right)}^2+(1-2\alpha ){\left(y^{(n-1)}\right)}^2+(1-2\alpha ){\left(z^{(n-1)}\right)}^2>0$$

and if $\alpha >\frac{1}{2}$, then $x^{\left(n\right)}-y^{\left(n\right)}<0$, and if $\alpha =\frac{1}{2}$, then $x^{\left(n\right)}-y^{\left(n\right)}=0.$ □

7.3. The Dynamic of $V_7$ When $\alpha =1$

In this subsection, we are going to study the dynamic of $V_7$ when $\alpha =1.$ Substituting $\alpha =1$ in $V_7$, one has the following operator:

$$V_7:\left\{\begin{array}{c}{x}^{\prime }=x^2\hfill \\ y^{\prime }=(y^2+z^2)\hfill \\ z^{\prime }=2xy+2xz+2yz\hfill \end{array}\right.$$

Theorem 7. 

The following hold true for $V_7$ when $\alpha =1:$

(i) 

$\mathrm{Fix}\left(V_7\right)=\left\{{\mathbf{e}}_1,{\mathbf{e}}_2,\left(0,\frac{1}{2},\frac{1}{2}\right)\right\}$

(ii) 

If ${\mathit{x}}^{\left(0\right)}\notin \mathrm{Fix}\left(V_7\right)$ is any initial point, then $\omega \left({\mathit{x}}^{\left(0\right)}\right)=\left\{\left(0,\frac{1}{2},\frac{1}{2}\right)\right\}.$

Proof. 

To find the fixed point, we must solve the following system

$$\begin{array}{ccc}\hfill x^2& =& x\hfill \\ \hfill y^2+z^2& =& y\hfill \\ \hfill 2xy+2xz+2yz& =& z.\hfill \end{array}$$

Then, $x\in \{0,1\}$. If $x=1$, we have the fixed point $e_1.$ If $x=0,$ then we use the fact $x+y+z=1$, which implies that $z=1-y.$ Putting this value into the second equation of the above system yields $2y^2-3y+1=0.$ Hence, $y\in \{\frac{1}{2},1\}.$ If $y=1$, then we get the fixed point $e_2.$ If $y=\frac{1}{2}$, then $z=1-y=\frac{1}{2}.$ Consequently, we have the fixed point $\left(0,\frac{1}{2},\frac{1}{2}\right)$.

To prove (ii), we note that the sequence $\left\{x^{\left(n\right)}\right\}$ is strictly decreasing and bounded. Hence, it converges to a fixed point, which is $0.$ Thus, it is enough to study the dynamic on the line $l_{x=0}.$ Define the function $k\left(y\right)=2y^2-2y+1.$ One can show that the last function is decreasing when $0\le y\le <\frac{1}{2}$ and increasing when $\frac{1}{2}\le y\le 1.$ Using (i) of Proposition (2), we get $y^{\prime }\ge \frac{1}{3}.$ Because $k\left(y\right)$ is decreasing when $0\le y\le <\frac{1}{2}$, then $k\left(\left[\frac{1}{3},\frac{1}{2}\right]\right)\subset \left[\frac{1}{2},1\right].$ Because $k\left(y\right)$ is increasing when $\frac{1}{2}\le y\le 1$, then $k\left(\left[\frac{1}{2},1\right]\right)\subset \left[\frac{1}{2},1\right].$ So, the dynamic of $V_3$ is reduced to the region when $y\in \left[\frac{1}{2},1\right]$ Now, consider $k\left(y\right)-y=2y^2-3y+1.$ It is easy to show that $k\left(y\right)\le y$ in $\left[\frac{1}{2},1\right].$ Hence, the sequence $\left\{y^{\left(n\right)}\right\}$ is decreasing and bounded. Therefore, $y^{\left(n\right)}\to \frac{1}{2}.$ This implies that

$$\omega \left({\mathbf{x}}^{\left(0\right)}\right)=\left\{\left(0,\frac{1}{2},\frac{1}{2}\right)\right\}.$$

 □

The following Figure 3 shows the dynamic of $V_7$ when $\alpha =1$.

7.4. The Dynamic of $V_7$ When $\alpha =\frac{1}{2}$

In this section, we are going to study the dynamic of $V_7$ when $\alpha =\frac{1}{2}$. Substituting $\alpha =\frac{1}{2}$ in $V_3$, one has the following operator:

$$V_7:\left\{\begin{array}{c}{x}^{\prime }=x^2+y^2+z^2\hfill \\ y^{\prime }=x^2+y^2+z^2\hfill \\ z^{\prime }=2xy+2xz+2yz\hfill \end{array}\right.$$

Theorem 8. 

The following hold true for $V_7$ when $\alpha =\frac{1}{2}:$

(i) 

$\mathrm{Fix}\left(V_7\right)=\left\{\left(\frac{1}{2}-\frac{\sqrt{3}}{6},\frac{1}{2}-\frac{\sqrt{3}}{6},\frac{\sqrt{3}}{3}\right)\right\}$.

(ii) 

The line $l_{x=y}$ is invariant.

(iii) 

If ${\mathbf{x}}^{\left(0\right)}\notin \mathrm{Fix}\left(V_7\right)$ is any initial point, then $\omega \left({\mathbf{x}}^{\left(0\right)}\right)=\left\{\left(\frac{1}{2}-\frac{\sqrt{3}}{6},\frac{1}{2}-\frac{\sqrt{3}}{6},\frac{\sqrt{3}}{3}\right)\right\}.$

Proof. 

To find the fixed point, we shall solve the following system:

$$\begin{array}{ccc}\hfill \frac{1}{2}{x}^2+\frac{1}{2}{y}^2+\frac{1}{2}{z}^2& =& x\hfill \\ \hfill \frac{1}{2}{x}^2+\frac{1}{2}{y}^2+\frac{1}{2}{z}^2& =& y\hfill \\ \hfill 2xy+2xz+2yz& =& z\hfill \end{array}$$

Clearly, $x=y$ and we use $z=1-x-y$; then, the first equation becomes $3x^2-2x+\frac{1}{2}=0$. The solutions of the last equation are $x=\frac{1}{2}-\frac{\sqrt{3}}{6},x=\frac{1}{2}+\frac{\sqrt{3}}{6}.$ The solution $x=\frac{1}{2}+\frac{\sqrt{3}}{6}$ is rejected because $x+y\le 1.$ Hence, we have the fixed point $\left(\frac{1}{2}-\frac{\sqrt{3}}{6},\frac{1}{2}-\frac{\sqrt{3}}{6},\frac{\sqrt{3}}{3}\right)$.

The proof of (ii) is straightforward.

To prove (iii), it is enough to study the trajectory on the line $l_{x=y}.$ To complete this task, define the function $m\left(x\right)=3x^2-2x+\frac{1}{2}.$ This function is decreasing when $0\le x\le \frac{1}{3}$ and increasing when $\frac{1}{3}\le x\le 1$ due to the fact $x=y$; this implies that $x\le \frac{1}{2}.$ Additionally, from the fact $x+y>\frac{1}{3}$, this implies that $x\ge \frac{1}{6}.$ So, it is enough to study the dynamic when $\frac{1}{6}\le x\le \frac{1}{2}.$ One can show that $m\left(\left[\frac{1}{6},x^{*}\right]\right)\subset \left[x^{*},\frac{1}{4}\right]$ where $x^{*}=\frac{1}{2}-\frac{\sqrt{3}}{6}.$ Additionally, $m\left(\left[\frac{1}{3},\frac{1}{2}\right]\right)\subset \left[\frac{1}{6},\frac{1}{4}\right].$ Consider the function $m\left(m\left(x\right)\right)-x=27x^4-36x^3+15x^2-3x+\frac{1}{4}.$ One can see that this function is increasing when $x\in \left[\frac{1}{6},x^{*}\right]$ and decreasing when $x\in \left[x^{*},\frac{1}{4}\right].$ So, $x^{\left(2n\right)}\to x^{*}$ and $x^{(2n+1)}\to x^{*}.$ Hence, if ${\mathbf{x}}^{\left(0\right)}\notin \mathrm{Fix}\left(V_7\right)$ is any initial point, then $\omega \left({\mathbf{x}}^{\left(0\right)}\right)=\left\{\left(\frac{1}{2}-\frac{\sqrt{3}}{6},\frac{1}{2}-\frac{\sqrt{3}}{6},\frac{\sqrt{3}}{3}\right)\right\}.$ □

The following Figure 4 is the dynamic of $V_7$ when $\alpha =\frac{1}{2}$.

Remark 4. 

From the results, we infer that the considered operators are regular to the unique fixed point. This indicates whether these operators are contractions or not. It turns out that these operators are not contractions. Indeed, to verify this, one needs to check the condition [11]

$$\underset{i_1.i_2,k}{max}\sum _{j=1}^d|p_{i_{1}k,j}-p_{i_{2}k,j}|<1$$

One can check, for example, for $V_7$, that

$$\sum _{j=1}^3|p_{1,1,1}-p_{2,1,1}|<1\Rightarrow 2<1\mathit{is}\mathit{a}\mathit{contradiction}$$

which implies that $V_7$ is not a contraction. Up to now, there is no clear rigorous proof of the regularity of these operators in a general setting.

8. Conclusions

In the current paper, we investigated the algebraic properties of the genetic algebras associated with ${\xi }^{\left(a\right)}$-QSOs. The associativity of these operators corresponding to partition ${\xi }_5$, along with their dynamics, were studied. The characters of these QSOs were described. We also fully characterized all derivations of such kinds of algebras. Finally, the regularity of the dynamics of ${\xi }^{\left(a\right)}$-QSOs were investigated. However, the study of the behavior of these operators in higher dimensional simplex still remains as an open problem. Further work could include generalization to other classes of QSOs; while the present paper focuses on a specific class of QSOs corresponding to the partition ${\xi }_5$, there are other partitions and classes that could be explored. Investigating the algebraic properties, dynamics, and behavior of these different classes could provide a more comprehensive understanding of QSOs as a whole.