Jianguo Ren1, Yonghong Xu2. 1. Department of Computer Science, Jiangsu Normal University, Xuzhou, China. 2. Department of Live Science, Jiangsu Normal University, Xuzhou, China.
Abstract
This paper models the prisoner's dilemma game based on pairwise comparison in finite populations on a complete oriented star (COS). First, we derive a linear system on a COS for calculating the corresponding fixation probabilities that imply dependence of the selection temperature and mutation. Then we observe and analyze the effects of two parameters on fixation probability under different population sizes. In particular, it is found through the experimental results that (1) high mutation is more sensitive to the fixation probability than the low one when population size is increasing, while the opposite is the case when the number of cooperators is increasing, and (2) selection temperature demotes the fixation probability.
This paper models the prisoner's dilemma game based on pairwise comparison in finite populations on a complete oriented star (COS). First, we derive a linear system on a COS for calculating the corresponding fixation probabilities that imply dependence of the selection temperature and mutation. Then we observe and analyze the effects of two parameters on fixation probability under different population sizes. In particular, it is found through the experimental results that (1) high mutation is more sensitive to the fixation probability than the low one when population size is increasing, while the opposite is the case when the number of cooperators is increasing, and (2) selection temperature demotes the fixation probability.
As a standard approach to describing the evolutionary dynamics of population, evolutionary game theory has drawn considerable attentions ([1], [2], [3], [4], [5], [6], [7], [8], [9]). In this context, an ideal assumption is that individuals interact randomly with each other in large, well-mixed population. In real world, however, the organization of population is usually highly structured rather than uniform, where the dynamics between individuals depend on both the strategy and the population configuration ([10], [11], [12], [13], [14], [15], [16], [17], [18]). The population configuration can be modeled by a weighted digraph. A complete oriented star (COS) is a complete bipartite digraph, where one partition consists of a single vertex known as the central vertex, and the other is a collection of vertices known as the peripheral vertices. COSs are a popular class of network topologies ([19], [20]) and have a wide-ranging applied background, such as computer network topology and a social organization, where the leader and employees can be seen as the central vertex and the peripheral vertices, respectively. The communications between them can be represented by the weight. To our knowledge, the evolutionary game with mutation based on the pairwise comparison process with COS structure has yet to be investigated.Taking the prisoner’s dilemma ([21], [22], [23], [24]) as an example, this paper addresses the evolutionary game of population with COS structure, where the mutation is based on pairwise comparison ([25], [26], [27]). First, we derive a linear system for calculating the fixation probabilities. Then we observe and analyze such phenomena appeared in the game as the effects of selection temperature and mutation rates and population size on fixation probability.The organization of this paper is as follows. In the next section, we present preliminary knowledge to support our study. In section 3, we derive analytic solutions of fixation probabilities by converting our task into a linear system on a COS. In Section 4, we give some simulations. Finally, we end the paper in Section 5.
Preliminary Knowledge
A complete oriented star (COS) of size N, denoted , is a digraph with vertex set and edge set . We call vertex 1 as the central vertex, and vertices 2 through N as peripheral vertices. The intrinsic weights for are defined as and for . Figure 1 () and Figure 2 () depict two COSs with intrinsic weights. In the sequel, the term “COS” means “COS with intrinsic weights”.
Figure 1
A complete oriented star S4 with intrinsic weights.
Figure 2
A complete oriented star S5 with intrinsic weights.
In a Prisoner’s Dilemma game, individuals can choose one of two strategies: cooperation (C) and defection (D), and the corresponding individuals are called cooperator and defector, respectively. The payoff matrix is given below.where T, R, P and S stand for temptation to defect, reward for mutual cooperation, punishment and sucker payoff, respectively. It is always assumed that T > R >P> S. In this paper, we adopt the following payoff matrix suggested by Nowak and May [28]. This model preserves the essentials of the Prisoner’s Dilemma game and is the only tunable parameter.We should emphasize that our observations are not restricted to the present weak dilemma strength as the model, but remain fully valid also for the strong strength (strictly satisfying T>R>P>S).Consider a homogeneous population with S structure, whose individuals play a Prisoner’s Dilemma game with the payoff matrix (2). Suppose that, initially, there are m randomly chosen cooperators and N – m defectors. A central cooperator (respectively, defector) is a cooperator (respectively, defector) occupying the central vertex. A peripheral cooperator (respectively, defector) is a cooperator (respectively, defector) occupying a peripheral vertex. The sketches with central cooperator and central defector are given in Figure 3 and Figure 4, respectively.
Figure 3
A complete oriented star with central cooperator.
Figure 4
A complete oriented star with central defector.
Let and denote the mean payoffs of the central cooperator and central defector, respectively, and let and denote the payoffs of a peripheral cooperator and a peripheral defector provided the central vertex is a cooperator and defector, respectively. A straightforward calculation will give usAccordingly, the payoff differences are given byIn this paper, we adopt a process based on pairwise comparison between individuals. In each step of the process, an random (focal) individual is selected for reproducing an offspring, which means an ancestor reproduces an offspring rather than one individual breaks down into two individuals, then the offspring compares its payoff to the payoff of a randomly chosen neighbor, and adopts the strategy of that neighbor with probability ([25], [26], [27]), where and the parameter , which corresponds to an inverse temperature in statistical physics, controls the intensity of selection. Small (high temperature) means that selection is almost neutral, whereas for large (low temperature) selection can become arbitrarily strong. This process occurs with probability ; with probability a mutation occurs, which means that the focal individual produces an offspring with random strategy, C or D.The mth-order fixation probability on S, denoted , is defined as the possibility of the event that m cooperators could eventually take over the entire population.
Formulas for Fixation Probabilities
In this section, we derive the formulas for the fixation probabilities on .At time t, the configuration of a population on is described by a vector , where = 1 or 0 according as a cooperator occupies vertex 1or not, and denotes the number of cooperators staying at vertices 2 through N. Let m(t) denote the total number of cooperators at time t, then . Let denote the probability that, starting with , the cooperation finally fixates. For brevity, let denote the conditional probability, where and . The probability of an offspring of central cooperator adopting strategy D () can be derived from the two sources: (1) the offspring compares its payoff to the payoff of a peripheral defector and adopts its strategy with probability ; (2) the offspring mutates into defector with probability . Analogously, The probability of an offspring of a selected peripheral defector adopting strategy C () can be derived from the two sources: (1) the offspring compares its payoff to the payoff of a central cooperator and adopts its strategy with probability ; (2) the offspring mutates into cooperator with probability . It is easy to calculate the following transition probabilities:
By a similar arguments, the transition probabilities and are given by the following
By the total probability formula we have
Substituting equations (5a)-(5f) into (6a) and (6b) and simplifying, we get
where
We transform equations (6c) and (6d) into linear equations:According to Cramer rule, we can obtain
where is the determinant for the first term left hand side of linear equations (7), and are the determinants by replacing the mth-column, (m+N)th-column in by the term on the right hand side of liner equations (7).
Numerical Examples
When , it is more difficult to investigate the properties of (see appendix S1). In this section, through numerical examples we investigate how the parameters affect the evolution of the Prisoner’s Dilemma game on a complete oriented star.First, we will focus our attention on how fixation probability is affected by population size N and selection temperature
and initial number of cooperators m in given population size (let N = 20) under the low mutation rates (
) and high mutation rates (
) ([29], [30], [31], [32], [33]). The simulations are as follows:Figure 5–8 shows fixation probabilities in the pairwise comparison process under the low mutation rates and high mutation rates and different selection temperatures . Figure 5–6 describes the first-order fixation probability as a function of population size N under the different selection temperatures . Obviously, in Figure 6, there is a slight turning of with the increment of N under small but circumstances turn out to be different in Figure 5, in which is decreasing with N, which accords with a fact: the larger the population size, the more difficultly to taken over it for a single cooperator with given strategy. Figure 7–8 depicts mth-order fixation probability as a function of initial number of cooperators m under the different selection temperatures . = 0 (red circle) means neutral selection and is given by the fraction of cooperators in Figure 7, which is similar as done in the evolutionary game in well-mixed populations ([26]). However, that is not the case in Figure 8 because of high mutation rates. One can see that with the increment of m, increases in Figure 7, but in Figure 8, only for a high initial number of cooperators, they have reasonable changes. decreases with the increment of if fix N in Figure 7–8.
Figure 5
ρ1 vs N with µ = 1/4000, b = 1.2 and different β values.
Figure 8
ρm vs N with µ = 0.95, b = 1.2 and different β values.
Figure 6
ρ1 vs N with µ = 0.95, b = 1.2 and different β values.
Figure 7
ρm vs N with µ = 1/4000, b = 1.2 and different β values.
Since Figure 5–8 shows that mutation rates plays a key role on the fixation probabilities, to further demonstrate the effects of mutation rates , next we will investigate the relationship of , and (i) mth-order probability and initial number of cooperators in Figure 9 (β = 0.01, b = 1.2) and Figure10 (β = 0.5, b = 1.2) (ii) the first-order fixation probability and population size in Figure 11 (β = 0.01, b = 1.2) and Figure 12 (β = 0.5, b = 1.2) under the different selection temperatures . In Figure 9–10, one can see roughly that can be mainly divided into parts obviously and the corresponding parameters space are given following the order of from little to great. When m is relatively large, has a remarkable increment. In particular, In Figure 10, but only for a high initial number of cooperators and no matter under what values of , can change obviously and it is not without that, can maintain a more distinct increment. A clear description in which increases with the increment of is displayed in Figure 11–12, but the degree of increment is smaller in Figure 12 than that in Figure 11.
Figure 9
µ, m vs ρm with β = 0.01, b = 1.2.
Figure 10
µ, m vs ρm with β = 0.5, b = 1.2.
Figure 11
µ, m vs ρ1 with β = 0.01, b = 1.2.
Figure 12
µ, m vs ρ1 with β = 0.5, b = 1.2.
Concluding Remarks
In this paper, we have chosen a complete oriented star (COS) to study how the mutation rates and selection temperature and population size affects the prisoner’s dilemma game based on pairwise comparison in finite populations. A method has been derived to calculate the fixation probabilities. Then we observe and analyze effects of selection temperature and mutation rates and population size on fixation probability. We will also attempting to modify the model under study to adapt the evolution of the trustworthiness of large-scale distributed systems. It is also worth extending this work to, say, the cooperation on a pair of graphs, or on hyper graph ([34]).The expression of first-order fixation probability for S_3.(DOCX)Click here for additional data file.