1. Introduction
Discrete dynamical systems have been a subject of interest in many scientific and engineering research applications. The theoretical framework of such systems has been presented in [
1,
2,
3,
4,
5] using stochastic analysis for population genetics. These dynamical systems consist of set point networks that require symmetrical interactions [
6,
7]. The work has then been extended in [
8] by deploying the majorization technique to derive new notions and properties of the related systems.
A specific case based on linear dynamic systems has been used in [
9] to address the agreement issue in the technology science and engineering areas, and has subsequently been reformulated to a nonlinear dynamic system for the same problem [
10,
11]. In effect, the focus on applications-related studies has shifted to nonlinear dynamical systems in order to address such potential problems. The main reason for this shift is merited by their advantage of being more efficient than their linear counterparts. The quadratic stochastic operator (QSO) constitutes one particular class of nonlinear dynamic systems of particular interest, as introduced in [
12], along with its related research history. As a matter of fact, many classes of QSO have been established for the application of consensus [
13,
14,
15,
16,
17,
18,
19,
20]. This class has been extensively examined and investigated in various works yielding many sub-classes in the process. These QSO sub-classes have been thoroughly investigated as volterra [
21,
22], dissipative [
23,
24], Doubly Stochastic Quadratic Operator (DSQOs), and Extreme Doubly Stochastic Quadratic Operator (EDSQOs) [
5]. The limit conduct study constitutes the major issue for most nonlinear dynamic models [
22]. The mapping of such finite dimensional simplex in this case is what defines the QSO [
1]. Lyubich has studied the limit conduct of QSO on one-dimensional simplex (1DS) in [
1], albeit with the exception of the high dimensional simplex. Other studies have introduced additional properties for certain QSO sub-classes that are deemed more significant than others [
22]. One of these classes is the DSQO.
The points of DSQO are presented in the form of a polyhedron in dimensional space. This polyhedron of DSQO will consist of extreme points which are called EDSQO. Since DSQO constitutes a sub-class of QSO, the QSO is DSQO if the operator of
is majorized by
, where
is the operator (output),
signifies majorization, and
is the value of inputs [
25]. Consensually, the values of
is arranged in a non-increasing sequence [
25]. Mirsky [
26] identified the necessary conditions for special stochastic and doubly stochastic matrices. In addition, an overview of the concept of the doubly stochastic matrix along with earlier open problems were addressed in [
27]. Ryff [
28] extended the related work by introducing the notion of the majorization theory in regard to the convex hull for some functions of doubly stochastic transformations. Moreover, a clear illustration on the significance of these operators and the underlying conceptual perception of majorization were presented in [
29], while the theory and necessary conditions for DSQO were described in [
23]. Since the dimensional space can be found in finite sets, studying the limit is expected to be rather complicated [
23]. Due to this reason, the study on the EDSQOs’ limit behavior has been examined in specific dimensions, in particular from the two-dimensional simplex (2DS) point of view, where such operators are defined using majorization techniques. Such studies have proved the existence of 37 extreme points based on the permutation of the DSQO sets on 2DS. Therefore, it can be used to form 222 EDSQOs on 2DS, as shown in [
22]. However, the existing studies have failed to simulate the limit of all 222 EDSQOs on 2DS. Hence, our work is designed to study the limit of these 222 EDSQOs on 2DS and generalize the outcomes for finite-dimensional simplex.
Many previous studies have considered complex non-linear models for synchronization to a complex network. The issues of these models have to do with synchronizing and convergence, as well as in their complex calculations. For example, the Duffiny oscillator [
30] involves complex, nonlinear, dynamic equations that convert to convergence and synchronization. However, the downside of this model that it requires highly complicated computations in the form of second-order differential equations as compared to the EDSQ model, which is a more flexible nonlinear model that can deal with a large number of nodes for the networks.
This work presents the limit of all 222 EDSQ operators on 2DS. The paper consists of an introductory part (
Section 1), methodology (
Section 2), the theoretical result (
Section 3), and the discussion and numerical solution (
Section 4), followed by the research conclusion (
Section 5).
2. Methods
It is appropriate to start this discussion by introducing the concept of majorization and its rules for DSQO operators.
Definition 1: QSO is a nonlinear dynamical model defined on finite dimensional simplex [14,22,31]: Definition 2: The set offalls within simplex if. The set consists ofand is called a set of extreme points, while a simplex center set consists of.
Definition 3: The nonlinear model of QSO is defined as [32]:
where
is a transaction matrix under conditions [
22,
32]:
The QSO has applications in population genetics, where the population is defined as species. Here, is defined as independent members of the population in their initial states. The communication from member to member called ’parents’ allows the transition to produce a new member . This communication among the members configures a transition matrix and produces an inherited factor. Each individual member has a separate transition matrix eventually consisting of the total of these separated matrices with the sum of all its elements being equal to 1. This means that the transition matrix is denoted by which has distributed to matrices , where is symmetric and nonnegative.
In this case, a steady state
of the potential parents xx appears
[
32].
Definition 4: The matrixis doubly stochastic if: Definition 5: The operatoris called a doubly stochastic operator (DSQO) if: The set of elements
) in DSQO are re-arranged in a non-increasing order
, then:
From this point, the majorization concept stipulates that
majorizes
, which is denoted by
or
is majorized by
. The doubly stochastic matrix
has been defined according to [
31] stating that if
then
. It follows that in DSQO all
elements belong to the simplex
if
is a doubly stochastic matrix.
Therefore, the particular operator of
is called DSQO if the transition matrix
is doubly stochastic in accordance with the majorization theory [
31].
In other words, the operator of
is defined a DSQO if the transition matrix
in Equation (2) satisfies the condition
, which means:
where
is a subblock in the matrix that contains elements
and its sum should be
[
22].
Definition 6: As mentioned above, DSQO has vertices points which are called extremes, which is why we call it EDSQO. The additional conditions for DSQO to become EDSQO [15,32] are that the transition matrix should be: - a.
- b.
Definition 7: To define the limit behavior of EDSQO we should first insert the initial values ofto render it, whileis inserted into, and so on. The series ofis termed the limit of the trajectory of the operator. Therefore, the QSO, DSQO, and EDSQO can be called the evolutionary process, whereis the initial generation andthe next generation. To study the limit for the operator we find the limit asuntil the trajectory reaches the fixed points. Since the set of points are fixed on, the set has converged on the center of the simplex. These sequences of generations are also called iterations.
Definition 8: If the transition matrix of an individual memberhas interactions only with itselfand with itself and others, then the interaction here is called a selfish interaction.
Definition 9: If the transition matrix of an individual memberhas at least an interaction between other members, then the interaction is called an unselfish interaction.
Definition 10: If the trajectory of the set points does not change through the limit of, then the set points are fixed. Even if the set points start from different values and are fixed after several iterations, the set of points are called fixed where ,for all.
Definition 11: If the set points of the trajectory have exchanged among themselves through the limit of, without changing the values, then the set points are called periodic where,for all.
3. Theoretical Result
The limit behavior of EDSQO has been studied theoretically in this section.
Theorem 1: Considering DSQO as an evaluation operatorthat has been defined on 2DS, there exists a limit of each operator of DSQO on 2DS.
Proof: Suppose that
is EDSQO on 2DS where
is the number of iterations and
is the number of set points, then series of
is =
. Based on the majorization concept for DSQO that
, it means that:
□
In a non-increasing re-arrangement for
, we obtain:
Therefore, the maximum of the set points increases, while the minimum of the set points decreases monotonically through the series of and becomes fixed.
This means that exists.
We can thus conclude that the limit of EDSQO on 2DS exists.
4. Discussion and Numerical Solution
In this section, we present the simulation results for all operators of EDSQO on 2DS using the MATLAB software.
First, we outline all 37 EDSQOs on 2DS as follows:
where
are EDSQOs names, and each of the 37 EDSQOs will have
permuted operators. For instance, for operator
,
where
are the names of
permuted EDSQOs. Consequently, we generate
EDSQOs. These 222 distributed permuted matrices and operators of 37 EDSQOs have been figures on
Appendix A.
The limit behavior of each EDSQO’s permutation is as follows (see
Figure 1,
Figure 2,
Figure 3,
Figure 4,
Figure 5,
Figure 6,
Figure 7,
Figure 8,
Figure 9,
Figure 10,
Figure 11,
Figure 12 and
Figure 13):
In this section, we explain the
Figure 1,
Figure 2,
Figure 3,
Figure 4,
Figure 5,
Figure 6,
Figure 7,
Figure 8,
Figure 9,
Figure 10,
Figure 11,
Figure 12 and
Figure 13. The initial statuses
are random,
is the number of iterations for convergence, and
is the computation time to converge. Each figure is assigned a name under EDSQO, followed by the number of operators from
, where each operator from
is given one row of Figures
which are the permutations of 3!.
From the simulation result it can be observed that are altogether 222 EDSQOs, whereby 198 EDSQOs always converge to the average
or the center (see
Figure 1,
Figure 2,
Figure 3,
Figure 4,
Figure 5,
Figure 6,
Figure 7,
Figure 8,
Figure 9,
Figure 10,
Figure 11,
Figure 12 and
Figure 13). In the case of 18 EDSQOs
, it was found that each has one fixed point and two converged points
(see
Figure 2,
Figure 3 and
Figure 4,
Figure 7,
Figure 8,
Figure 9 and
Figure 10,
Figure 12). Moreover, five EDSQOs
had periodic points (see
Figure 10), and one EDSQO had only fixed points (see
Figure 10).
This simulation analysis proves that the limit behavior of DSQOs in the form of converged or periodic or fixed points. That is due to the fact that if the EDSQO has positive points and none of them has a selfish interaction, these points converge (the 198 EDSQOs). However, if one of these points has a selfish interaction (the 18 EDSQOs and ), they do not change and are fixed. Consequently, if there are two or more points that have selfish communications, they are periodized (the five EDSQOs).
In conclusion, the study of the limit behavior of all DSQOs on finite dimensional simplex is considerably complex. This is due to the fact that the set points of DSQOs represent a relatively large class. Thus, we have taken a subclass of DSQO that can be studied more conveniently and be used to create a general theory for the entire DSQO class. Therefore, the study has been confined to the EDSQOs class on 2DS due to its low-complexity computation. The limit behavior of EDSQOs on 2DS has been determined and the analysis result has been generalized to the DSQO class.