The characteristics of average abundance function with mutation of multi-player threshold public goods evolutionary game model under redistribution mechanism

In recent years, the average abundance function has attracted much attention as it reflects the degree of cooperation in the population. Then it is significant to analyse how average abundance functions can be increased to promote the proliferation of cooperative behaviour. However, further theoretical analysis for average abundance function with mutation under redistribution mechanism is still lacking. Furthermore, the theoretical basis for the corresponding numerical simulation is not sufficiently understood. We have deduced the approximate expressions of average abundance function with mutation under redistribution mechanism on the basis of different levels of selection intensity ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega$$\end{document} (sufficiently small and large enough). In addition, we have analysed the influence of the size of group d, multiplication factor r, cost c, aspiration level α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha$$\end{document} on average abundance function from both quantitative and qualitative aspects. (1) The approximate expression will become the linear equation related to selection intensity when ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega$$\end{document} is sufficiently small. (2) On one hand, approximation expression when ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega$$\end{document} is large enough is not available when r is small and m is large. On the other hand, this approximation expression will become more reliable when ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega$$\end{document} is larger. (3) On the basis of the expected payoff function π⋅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi \left( \centerdot \right)$$\end{document} and function h(i,ω)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$h(i,\omega )$$\end{document}, the corresponding results for the effects of parameters (d,r,c,α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha$$\end{document}) on average abundance function XA(ω)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$X_{A}(\omega )$$\end{document} have been explained.

effect" for aspiration levels. Chen et al. [2] demonstrated that average abundance function increases with payoff weight coefficient. Zeng et al. [3] corroborated that risk-adaptation mechanism based on aspiration level can make average abundance function reach the maximum value. Liu et al. [4] affirmed that the effects of aspiration level is non monotonic.
On the other hand, Perc et al. [5] affirmed that interactions among humans often involve group interactions, and they also involve a larger number of possible states even for the most simplified description of reality. Szolnoki et al. [6] demonstrated that a moderate fraction of cooperators can prevail even at very low multiplication factors if the critical mass is minimal.
It should be noted that Chen et al. [7] affirmed that the random WSLS mechanism and local weight coefficient can improve average abundance function. Perc et al. [8] analyzed the basic characteristics of public goods game, reviewed recent advances in the study of evolutionary dynamics of group interactions on top of structured populations and compared these results with those obtained on well-mixed populations. Liu et al. [9] corroborated that the modified WSLS mechanism based on aspiration level can promote average abundance function and this effect has nothing to do with the initial distribution.
In addition, Matsen et al. [10] demonstrated that WSLS mechanism can greatly improve average abundance function. Chen et al. [11] authenticated that moderate aspiration level can improve average abundance function. Du et al. [12] affirmed that the effect of redistribution on cooperative promotion under different aspiration distributions varies with the proportion of redistribution. Zhou et al. [13] investigated how heterogeneity in the rules for behavior updating alters the evolutionary outcome.
Moreover, Peng et al. [14] corroborated that the influence of the payoff of betrayal strategy on average abundance function can be ignored when migration mechanism is taken into account. Lin et al. [15] affirmed that the migration of individuals with low aspiration level can improve average abundance function. Yang et al. [16] authenticated that appropriate aspiration level can promote the migration of collaborators. In addition, this kind of migration promotes the formation of clusters and improves average abundance function.

The research on average abundance function when aspiration level is a complex function
It is well known that aspiration level is not always fixed. Moreover, many scholars have studied the properties of average abundance function when aspiration level is a complex function. Furthermore, aspiration level of each stage is a complex function related to the corresponding coefficients of the previous stage. On the basis of this finding, it can be deduced that aspiration level is closely related to evolutionary time.
On one hand, Platkowski et al. [17] demonstrated that average abundance function decreases with the size of population. Platkowski et al. [18] affirmed that the critical condition to ensure the maximization of average abundance function is independent of initial distribution and group size when aspiration level is at an appropriate level. Feng et al. [19] corroborated that the cost can led to the bidirectional effects of aspiration rule on average abundance function. Tang et al. [20] authenticated that appropriate aspiration level improves average abundance function when cost-benefit ratio is at the suitable level. In addition, the suitable level is related to the maximum Laplacian eigenvalue of the network. Wu et al. [21] demonstrated that evolutionary outcomes under heterogeneous aspiration level is the same as those under homogeneous aspiration level.
On the other hand, Rong et al. [22] corroborated that low aspiration level promotes the coexistence of different strategies and appropriate aspiration level improves the average abundance function of generous strategy. Wu et al. [23] demonstrated that the effects of aspiration level on average abundance function under synchronous updating is different from that under asynchronous updating. Wakano et al. [24] affirmed that average abundance function becomes more stable when learning coefficient based on aspiration level increases. Platkowski et al. [25] affirmed that average abundance function increases when global aspiration level is taken into consideration. Roca et al. [26] corroborated that average abundance function increases with greediness. However, it decreases when greediness is too high.

The comparison between aspiration rule and imitation rule
The essence of aspiration rule lies in the comparison between payoff and aspiration level. In addition, the essence of imitation rule lies in the comparison between own success and another individual's success. It is well known that many scholars study the influence of different rules on evolutionary results based on the previous analysis.
On one hand, Du et al. [27] also demonstrated that the sustainable time of public resources under aspiration rule is longer than that under imitation rule. Zhang et al. [28] demonstrated that aspiration level leads to the negative feedback effect. In addition, aspiration level promotes the heterogeneity distribution of node degree. Du et al. [29] deduced the dominant condition for average abundance function under aspiration rule. Perc et al. [30] affirmed that heterogeneity in aspirations may be key for the sustainability of cooperation in structured populations.
On the other hand, Li et al. [31] demonstrated that high aspiration level leads to the disappearance of the coexistence of different strategies. In addition, average abundance function increases with interaction coefficient. Du et al. [32] affirmed that the effects of aspiration level on average abundance function in structured population under weak selection intensity is similar to that in well-mixed population. Li et al. [33] corroborated that the combination of aspiration rule and modified selfquestioning mechanism leads to the increasing of average abundance function.
Moreover, Xu et al. [34] demonstrated that average abundance function reaches the highest value when both interaction coefficient and aspiration level are at appropriate level. Xuesong Liu [35] affirmed that the combination of aspiration rule and imitation rule is conducive to the increasing of average abundance function. Chen et al. [36] corroborated that the suboptimal selection based on aspiration level is beneficial for average abundance function.

Main work
Firstly, we analyze the basic properties of the multi-player threshold public goods evolutionary game model under redistribution mechanism and we obtain the the intuitive expression of average abundance function with mutation. Secondly, we deduce the approximate expression of average abundance function when selection intensity is sufficient small and selection intensity is large enough. At last, we analyze the influence of different parameters on average abundance function.

Model for multi-player threshold public goods evolutionary game model
The research on multi-player threshold public goods evolutionary game model

The multi-player evolutionary game model
In a finite well-mixed population of size N, i is the number of A players. In this population, groups of size d are assembled randomly. The focal player can be of type A, or B, and encounter a group containing k other players of type A, to receive the pay-off a k or b k . The multi-player game [37][38][39][40][41][42][43][44][45][46][47][48][49] payoff matrix is defined as Table 1.
The expected payoff for any A, or B in a population of size N, with i players of type A and (N − i) players of type B, are defined by π A (i) and π B (i) . Based on Table 1, the general expression of expected payoff function can be defined as follows:

The multi-player threshold public goods evolutionary game model under redistribution mechanism
It is well known that c is an initial endowment given to every individual. The cooperator will provide c to the common pot. If the number of cooperators is smaller than m, all pay-offs will be zero. In addition, if the number of cooperators is not smaller than m, the total amount of funds in the common pool will be multiplied by the multiplication factor r [50][51][52][53][54][55][56] and it will be shared equally for all members. Based on the above discussions, the expressions of the corresponding matrix elements a k and b k in Table 1 can be  obtained: Furthermore, a redistribution mechanism [57][58][59][60][61] is introduced into this model. At a fixed proportion τ , every individual in the group is required to hand in part of payoff. In addition, this kind of compulsory expenditure is called second-order payment. The second-order payment of every individual in the group will be aggregated and it will be redistributed to everyone in the group uniformly. The expressions of the corresponding matrix elements a k and b k in Table 1 can be easily deduced based on the above discussions: Table 1 The multi-player game payoff matrix 21:152 The research on average abundance function with mutation

Game behaviors of aspiration dynamics
The game behavior has been studied by many scholars [62][63][64][65][66][67]. Furthermore, the transition probability equation of the evolutionary process can be deduced based on above analysis: The ω represents selection intensity [68,69] and α represents aspiration level which reflects the satisfaction of individuals in formulas (4)- (6).

The characteristics of average abundance function with mutation
The proportion of individuals choosing strategy A (which can be defined as j N ) in the population is a random variable based on the transition probability equation defined by formulas (4)- (6). In addition, the probability distribution of j N can be defined as ϑ j (ω) . Thus, the expected value of the proportion of individuals choosing strategy A [70][71][72][73] in the population is called the average abundance function X A (ω): Furthermore, the intuitive expression of the average abundance function can be obtained through theoretical deduction when the detail balance condition is taken as the breakthrough point.

Proposition 2-2
When the transition probability equation of evolutionary state is defined by formulas (4)- (6), the intuitive expression of average abundance function is as follows: Based on formula (1a), the expression of π A (i + 1) and π B (i) in formula (7b) can be easily obtained: The deduction process of formula (7a) can be found in related article [74]. On the whole, the establishment of formula (7a) lays a foundation for further analytical analysis and numerical simulation.

Results
The approximate expression of average abundance function when selection intensity is sufficient small Proposition 3-1 The approximate expression of average abundance function with mutation of multi-player threshold public goods evolutionary game model under redistribution mechanism when selection intensity is sufficient small can be defined as follows: 21:152 Proof Many scholars [75] have deduced the approximation expression of average abundance function when ω → 0: By inserting formulas (2)-(3) into formula (9), we can get: Based on the discussions above, we can obtain formula (8).
In addition, formula (8) will play a significant role when analyzing the results of the numerical simulation.

The approximate expression of average abundance function when selection intensity is large
We have already deduced the approximation expression of average abundance function with mutation when selection intensity is sufficient small. Naturally, how to obtain the corresponding approximation expression when selection intensity is large becomes a problem worthy of attention. In this section, the approximate expression of average abundance function when the selection intensity is large will be obtained based on the characteristics of expected payoff function π A (i + 1) and π B (i) . Furthermore, we will have a deeper understanding of the properties of average abundance function with mutation when selection intensity is large based on this approximation expression.
It can be deduced from formula (7a) that the main difficulty in obtaining the approximate expression of average abundance function is how to simplify the 1+δe −ω(α−π A (i+1)) in function h(i, ω) . In the beginning, by inserting formulas (2)-(3) into formula (1a), it can be deduced that: Then, if both π A (i + 1) and π B (i) increase to very high level, the following inequalities will be established: In addition, because of the establishment of formula (11) and (12), function h(i, ω) will gradually degenerate to the following expression: By substituting formula (13) into formula (7a), the following proposition can be obtained: Proposition 4-1 When both formula (11) and (12) are available, the approximate expression of average abundance function with mutation is as follows: It can be deduced that the foremost factor of approximate expression of average abundance function with mutation is function . Furthermore, function h a (i, ω) can be divided into three parts. The first part N −i i+1 essentially reflects that individuals are in neutral drift state. The second part 1+δe −ω(α−π A (i+1)) is the inference term caused by mutation. The third part e −ω(π B (i)−π A (i+1)) reflects the comparison between π A (i + 1) and π B (i).

Verification the practicability of approximate expression (13a)
The approximate expression of average abundance function with mutation is defined as formula (13a) in proposition 4-1. Furthermore, we will verify the practicability of approximate expression (13a) in this section. It is worth noting that r and m will play an important role in determining whether strategy A is favoured by selection ( X A (ω) > 1/2 ) or not ( X A (ω) < 1/2 ). In addition, the practicability of approximate expression is closely related to whether X A (ω) > 1/2 or X A (ω) < 1/2 . Therefore, the r and m should be taken into consideration carefully.
In the beginning, we have already deduced that the approximation expression of average abundance function when ω → 0 can be defined as follows: 21:152 Based on formula (14), it can be deduced that the critical condition should satisfy: Then, on the basis of formula (15), the critical condition is defined as follows: . Then the curves describing the relationship between r and m based on formula (16) will be obtained ( Fig. 1). In this condition, we set d = 15 . It can be seen from Fig. 1 that strategy A is not favoured by selection if r and m are in the shaded area of Fig. 1. Otherwise, strategy A is favoured by selection. Then the corresponding analysis can be carried out based on whether strategy A is favoured by selection or not.

Strategy A is favoured by selection Small r and large m
On the basis of formula (16) and Figure 5-1, it can be deduced that there are two conditions to ensure that strategy A is favoured by selection ( X A (ω) > 1/2 ). The first condition is small r and large m. The second condition is medium r and medium m. Both conditions must satisfy the premise that r > At this time the first condition is considered. In the beginning, we set the basic parameters as: d = 15 , r = 3 , c = 1 , τ = 0.25 , α = 1 , m = 12 , N = 100 . It should be Then, we can obtain the curves (Fig. 2) describing how average abundance function changes with selection (15) intensity ω under different mutations δ ( δ = 0 , δ = 0.003 or δ = 0.03 ). On the basis of Fig. 2  On the basis of two corollaries, it can be deduced that approximation formula (13a) is insignificance when δ = 0.03 . Then one property can be given as follows: , and δ = 0.03.

Medium r and medium m
At present the second condition is taken into account. In the beginning, we set the basic parameters as:  On the basis of two corollaries, it can be deduced that approximation formula (13a) is practicable when δ = 0.003, 0.03 . Moreover, it can be concluded that approximation formula (13a) is available if r is medium, , and δ = 0.003, 0.03. Furthermore, based on the discussions above, we can obtain the curves describing average abundance function with mutation X A (ω) based on preliminary formula (7a) and approximation formula (13a) (Fig. 4). In this situation, we set the basic parameters as: It should be noted that the curves in Fig. 4 are based on different formulas. The red curve represents X A (ω) based on preliminary formula (7a). The blue curve represents X A (ω) based on approximate formula (13a). In addition, the insert represents X A (ω) when 0 ≤ ω ≤ 2 . On the basis of Fig. 4, two properties can be obtained:  On the basis of the two properties, it can be concluded that approximation formula (13a) will become more reliable when ω is larger.

Strategy A is not favoured by selection Large r and small m
On the basis of formula (16) and Fig. 5-1, it can be deduced that there are two conditions to ensure that strategy A is not favoured by selection ( X A (ω) < 1/2 ). The first condition is large r and small m. The second condition is medium r and medium m. Both conditions must satisfy the premise that At this time the first condition is considered. In the beginning, we set the basic parameters as: we can obtain the curves (  On the basis of two corollaries, it can be deduced that approximation formula (13a) is practicable when δ = 0.003, 0.03 . Moreover, it can be concluded that , and δ = 0.003, 0.03. Furthermore, based on the discussions above, we can obtain the curves describing average abundance function X A (ω) based on preliminary formula (7a) and approximation formula (13a) (Fig. 6). In this situation, we set the basic parameters as: The blue curve based on approximation formula (13a) is close to the red line based on preliminary formula (7a) when 0 ≤ ω ≤ 1.5 . The difference between the two curves is slight but not negligible.

Property 4.2.2
The blue curve based on approximation formula (13a) nearly coincides with the red curve based on original formula (7a) when ω > 1.5. The difference between the two curves is tiny and can be ignored.
On the basis of the two properties, it can be concluded that approximation formula (13a) will become more reliable when ω is larger.

Medium r and medium m
At present the second condition is taken into account. In the beginning , we set the basic parameters as:  On the basis of two corollaries, it can be deduced that approximation formula (13a) is practicable when δ = 0.003, 0.03 . Moreover, it can be concluded that , and δ = 0.003, 0.03.
Furthermore, based on the discussions above, we can obtain the curves describing average abundance function X A (ω) based on preliminary formula (7a) and approximation formula (13a) (Fig. 8). In this situation, we set the basic parameters as: d = 15 , r = 5 , c = 1 , τ = 0.25 , α = 1 , m = 5 , N = 100 , δ = 0.03 . The corresponding analysis is similar to Fig. 6. While, it should be noted that the insert in Fig. 5 On the basis of Fig. 8, two properties can be obtained: The blue curve based on approximation formula (13a) is close to the red line based on preliminary formula (7a) when 0 ≤ ω ≤ 4 . The difference between the two curves is slight but not negligible.

Property 4.2.4
The blue curve based on approximation formula (13a) nearly coincides with the red curve based on original formula (7a) when ω > 4 . The difference between the two curves is tiny and can be ignored.
On the basis of the two properties, it can be concluded that approximation formula (13a) will become more reliable when ω is larger.

Brief Summary
Combined with the above discussions, three inferences can be obtained: is not available when r is small, m is large, and δ = 0.03 . Approximation formula (13a) is available in other cases.
Inference 4.2 Approximation formula (13a) will become more reliable when ω is larger.
The feasibility of approximate formula (13a) is the highest when r is large and m is small.
Then we carry on the research on Inference 4.3. It can be deduced from the above discussions that approximation formula (13a) will be reliable if ω > 2 when r is medium, m is medium, and Moreover, it will be reliable if ω > 4 when r is medium, m is medium, and On the whole, it can be concluded that the practicability of approximate formula (13a) is most remarkable when r is large and m is small. The reason lies in the fact only ω > 1.5 is needed in this condition while ω > 2 or ω > 4 is needed in other cases.
Moreover, the inference 4.3 can be explained based on expected payoff function π( ) defined by formula (10a). On the basis of formula (10a) , it can be deduced that both π A (i + 1) and π B (i) will increase with r and decrease with m. Thus it can be concluded that π( ) under the condition of large r and small m will be larger than those under the other two conditions.
In addition, based on the discussions in section 4, it can be deduced that the most important premise to ensure the establishment of approximation formula (13a) is condition (11) and (12): On the basis of (11) and (12), it can be deduced that: Then, it can be deduced that even small ω can guarantee the establishment of formulas (16a) and (16b) if π( ) is large enough. Furthermore, it can be obtained that even small ω can guarantee the approximate formula (13a) if π ( ) is large enough. Combined with the above discussions, inference 4.3 can be explained.
Moreover, it has been deduced that the approximation expression of average abundance function when ω → 0 is . On the whole, by combing this conclusion with proposition 4-1, it can be concluded that:

Proposition 5-1 Approximate expression of average abundance function X A (ω) can be defined as follows:
On the basis of proposition 5-1, it can be obtained that we have obtained the approximate expression of average abundance function X A (ω) under different levels of selection intensity ω.

Numerical simulation on average abundance function
It can be seen from the above discussions that different parameters will have different effects on average abundance function. Furthermore, this is a problem worthy of discussion. By numerical simulation, we can explore the influence of parameters on average abundance function based on multi-player threshold public goods evolutionary game model under redistribution mechanism.
At the beginning, we will consider the specific value of parameters. The basic parameters are set as: when ω is large enough It should be noted that the most important parameter in threshold public goods model is the threshold m. On one hand, the threshold m plays an important role in determining whether strategy A is favoured by selection ( X A (ω) > 1/2 ) or not ( X A (ω) < 1/2 ). On the other hand, the threshold m affect the influence of d,r,c,α on average abundance function X A (ω) . So the influence of threshold m should be taken into consideration carefully.
We will draw curves describing how average abundance function changes with threshold m (see Fig. 9). Then based on the analysis of Fig. 9, two properties can be obtained:

Property 5.2
When ω = 4 and ω = 9 , average abundance function will increase with m.
The deduction for property 5.1 is a little long and it is placed in Appendix A. Furthermore, based on for property 5.1, we will consider the characteristics of average abundance function when two special value of m are set: m = 1 and m = 14 . We have already deduced that the approximate expression of X A (ω) when ω is small can be defined as follows: On one hand, when m = 1 ,the formula (17) can be simplified as follows: 21:152 By inserting the values of parameters into formula (18), it can be deduced that: Then we can obtain that X A (ω) ≈ 0.4863 when m = 1.
On the other hand, when m = 14 , the formula (17) can be simplified as follows: It can be deduced that the second item on the right side of formula (20) will → 0 because r−τ +dτ 2 d+2 → 0 and 1 2 d+2 → 0 . So there will be X A (ω) ≈ 0.5 when m = 14.
Furthermore, it can be concluded that X A (ω) ≈ 0.4863 when m = 1 and X A (ω) ≈ 0.5 when m = 14 . It should be noted that this conclusion is very close to the corresponding values in Fig. 9.
Moreover, we can obtain m = 9 by inserting the basic parameters into formula Then, it can be deduced that when ω = 0.5 , average abundance function will increase with m if m ≤ 9 and it will decrease with m if m > 9 . Furthermore, average abundance function will reach the maximum value when m = 9 . These conclusions are consistent with the information revealed in Fig. 9. Combining the above (18) discussions , it can be concluded that property 5.1 is reliable.
Based on the intrinsic characteristics of threshold m, the property 5.2 can be explained. The increase of threshold m means that there must be more collaborators in the group to ensure that threshold public goods game will go on. So average abundance function X A (ω) will increase with m.
Based on the discussions above, we set m = 4 and m = 10 . On one hand, the m = 4 corresponds to the situation that average abundance function is in an upward trend when ω = 0.5 . The m = 10 corresponds to the situation that average abundance function is on a downward trend when ω = 0.5 . On the other hand, the m = 4 represents that strategy A is not favoured by selection ( X A (ω) < 1/2 ). The m = 10 represents that strategy A is favoured by selection(X A (ω) > 1/2).
Furthermore, the numerical simulation will be carried out after the value of threshold m is selected. In order to study the trend of average abundance function under different levels of selection intensity ω , we select ω = 0.5 , ω = 4 and ω = 9 . In addition, it should be noted that we will analyze the trend of average abundance function when d, r, c, α changes respectively. It means that when we analyze the effect of a particular parameter (such as d), the other parameters (r, c, α ) will remain unchanged. Other analyses are similar. Moreover, it should be noted that both the situation when m = 4 and the situation when m = 10 will be taken into consideration. Then, we can obtain the curves describing how average abundance function changes with parameters.

The influence of d on average abundance function
It should be noted that 1 < m < d in multi-player threshold public goods evolutionary game model. Furthermore it can be concluded that d ≥ 5 when m = 4 and d ≥ 11 when m = 10 . Then, we can obtain Fig. 10 describing how average abundance function changes with d. Moreover, four corollaries can be obtained from the analysis of Fig. 10.   Based on formula (21), it is easy to deduce that average abundance function will decrease with d: Based on formula (22), it can be deduced that average abundance function will decrease with the increase of d.
Moreover, a lot of individuals choosing strategy B will turn to choose strategy A because of mutation when d is large enough(d > 14 ). Furthermore, the combination of these two conditions leads to the fact that the proportion of individuals choosing strategy A and the proportion of individuals choosing strategy B reach a equilibrium. Therefore average abundance function remains stable at 1/2 when d increases to a very high level(d > 14).

The explanation for Corollary 5.1.2
On one hand, based on formula (21), it can be deduced that when d < 14 , the average abundance function will increase with d: On the other hand, based on formula (21), it can be deduced that when d > 15 , the average abundance function will decrease with d: Based on formula (23a) and (23b), it can be deduced that average abundance function will increase at first and then decrease with the increase of d.

The explanation for Corollary 5.1.3
The main point of analysis lies in the fact that individuals will become more rational when selection intensity ω is large(ω = 4 and ω = 9 ). In other words, more individuals in the group will choose strategy B when selection intensity ω becomes larger. Then, it can be deduced that the proportion of individuals choosing strategy A in the group will decrease with the increase of d. Therefore, average abundance function will decrease.
Moreover, a lot of individuals choosing strategy B will turn to choose strategy A because of mutation when d is large enough(d > 8 ). Furthermore, the combination of these two conditions leads to the fact that the proportion of individuals choosing strategy A and the proportion of individuals choosing strategy B reach a equilibrium. Therefore average abundance function remains stable at 1/2 when d increases to a very high level(d > 8).

The explanation for Corollary 5.1.4
The reason for corollary 5.1.4 is similar to the reason for corollary 5.1.3. However, it should be noted that average abundance function will get close to 1/2 (not remain unchanged at 1/2) when d increases to a very high level. Furthermore, getting close to 1/2 is different from remaining unchanged at 1/2. This difference is closely related to the intrinsic characteristics of threshold. When m increases, there must be more collaborators in the group to ensure that threshold public goods game can continue. Therefore, average abundance function when (23b) < 0 m = 10 is larger than average abundance function when m = 4 when ω = 4 and ω = 9 . On the whole, it can be deduced that the increase of threshold m will slow down the decreasing of average abundance function. Then it can be deduced that the rate of decline when m = 10 is lower than the rate of decline when m = 4 . Then average abundance function will get close to 1/2 rather than remain unchanged at 1/2 when m = 10.

The explanation for Corollary 5.1.5
Based on the intrinsic characteristics of threshold, corollary 5.1.5 can be explained. The increase of threshold means that there must be more collaborators in the group to ensure that threshold public goods game will go on. So it can be deduced that the increase of threshold m ( m = 4 increases to m = 10 ) will inhibit the downward trend of average abundance function. In other words, the decreasing rate of average abundance function when m = 4 will be faster than that when m = 10 . So there will be X A (ω)| m=10 > X A (ω)| m=4 .

The influence of r on average abundance function
We can obtain Fig. 11 describing how average abundance function changes with r. Moreover, three corollaries can be obtained from the analysis of Fig. 11.

Corollary 5.2.1
If m = 4, average abundance function will increase with r when ω = 0.5. The trend for the situation when m = 10 is similar to this. However, the trend for the former is close to linear change while the trend for the latter is not.

Corollary 5.2.2
If m = 4 , average abundance function will decrease at first, and then increase, at last remain unchanged at 1/2 with the increase of r when ω = 4 or ω = 9.

Corollary 5.2.3
If m = 10 , average abundance function will increase at first, and then decrease with the increase of r when ω = 4 or ω = 9.

The explanation for Corollary 5.2.1
The corollary 5.2.1 when ω = 0.5 and m = 4 can be explained based on formula (17): Based on formula (17), it can be deduced that: So average abundance function will increase with r when ω = 0.5 . In addition, the trend is close to linear change.
The reason why average abundance function will increase with r when ω = 0.5 if m = 10 is similar to the situation when m = 4 . But it should be noted the corresponding trend is not linear change. Furthermore, it can be deduced that the applicability of formula (17) is limited when m = 10 . It indicates that the complete applicability of formula (17) requires that m should be smaller (at lest m < 10 ).

The explanation for Corollary 5.2.2
First of all, we will try to explain why average abundance function will decrease with r when r < 3 . Based on the characteristics of π A (i + 1) and π B (i) , it can be deduced that the inequality π B (i) > π A (i + 1) holds in most cases when r < 3 . This means that in the process of the increase of r, the π B (i) will become larger than aspiration level α soon, while the π A (i + 1) is still smaller than aspiration level α at the same time. In other words, π B (i) > α and π A (i + 1) < α . Therefore, more individuals will choose strategy B. So average abundance function will decrease with r when r < 3.
Then, we will try to explain why average abundance function will increase with r when r > 3 . Based on the expected payoff function π ( ) defined by formula (10a) and the function h(i, ω) defined by formula (7a), this phenomenon can be explained.
Based on formula (10a), we can obtain the derivative of π A (i + 1) and π B (i) with respect to r. In addition, we can compare the derivative of π A (i + 1) with the derivative of π B (i) : Based on formula (24a), it can be concluded that both π A (i + 1) and π B (i) will increase with r. In addition, the increasing rate of π A (i + 1) will be higher than that of π B (i) .
Based on the discussions above, it can be deduced that both π A (i + 1) and π B (i) will become larger than aspiration level α when r increases to a very high level ( r > 3 ). In other words, π A (i + 1) > α , π B (i) > α . In addition, the increasing rate of π A (i + 1) with respect to r is larger than that of π B (i) . So average abundance function will increase with r when r > 3.
Furthermore, we will consider the situation when r > 4 . On the basis of formula (10a),it can be deduced that both π A (i + 1) and π B (i) will increase to very high level when r > 4 . Moreover, both δe −ω(α−π ( )) and e −ω(α−π ( )) will increase to very high level when r > 4 . It can be seen from the above discussions that the following inequalities will be established: Then, on the basis of formula (24d), function h(i, ω) will gradually degenerate to the following expression: On the basis of formula (25), it can be deduced that the corresponding average abundance function will basically remain unchanged at 1/2 when r > 4 . It can be seen from the above analysis that average abundance function will decreases when r < 3 . In addition, it increases when 3 < r < 4 and basically remains unchanged at 1/2 when r > 4.

The explanation for Corollary 5.2.3
Based on the characteristics of π A (i + 1) and π B (i) ,it can be deduced that the inequality π B (i) < π A (i + 1) holds in most cases when m = 10 . This means that in the process of the increase of r, the π A (i + 1) will become larger than aspiration level α and the π B (i) is still smaller than aspiration level α at the same time. In other words, π A (i + 1) > α and π B (i) < α . Therefore, more individuals will choose strategy A. So average abundance function will increase with r.
Furthermore, we will consider the situation when r keeps increasing ( r > 4 ). On the basis of formula (10a), it can be deduced that both π A (i + 1) and π B (i) will increase to very high level when r > 4 . Moreover, both δe −ω(α−π ( )) and e −ω(α−π ( )) will increase to very high level when r > 4 . It can be seen from the above discussions that the following inequalities will be established: Then, on the basis of formula (25a), function h(i, ω) will gradually degenerate to the following expression: On the basis of formula (26), it can be deduced that the corresponding average abundance function will get close to 1/2 when r > 4 . In addition, we have already deduced that average abundance function is larger than 1/2 when r < 4 . Based on the above analysis, we can see that average abundance function will decrease (and get close to 1/2) when r > 4.
It can be seen from the above analysis that average abundance function will increases when r < 4 . Moreover, it will decrease (and get close to 1/2) when r > 4.

The influence of c on average abundance function
We can obtain Fig. 12 describing how average abundance function changes with c. Moreover, three corollaries can be obtained from the analysis of Fig. 12. Xia BMC Ecol Evo (2021) 21:152 Corollary 5.4.2 If m = 10 , average abundance function will decrease with α when ω = 0.5.

Corollary 5.4.3
If m = 4 , average abundance function will remain unchanged at 1/2 at first. Then it will decrease. After that it will increase. At last it will remain unchanged at 1/2 with the increase of α when ω = 4 and ω = 9.

Brief summary
We have analyzed the influence of multiple parameters (d,r,c , α ) on average abundance function with mutation X A (ω) from both quantitative and qualitative aspects. Then we can obtain the following inferences: The threshold m plays an important role in determining whether X A (ω) < 1/2 or X A (ω) > 1/2 . In addition, the m will affect the influence of d,r,c,α on X A (ω).

Inference 5.2
The influence of parameters d, r, c , α on average abundance function when selection intensity ω is small is slight.

Inference 6.3a
If m = 4,average abundance function will decrease at first and then remain unchanged at 1/2 with the increase of d. Inference 6.3b If m = 10,Average abundance function will decrease and get close to 1/2 with the increase of d.

Inference 6.4a
If m = 4,average abundance function will decrease at first ,and then increase,at last remain unchanged at 1/2 with the increase of r. Inference 6.4b If m = 10,average abundance function will increase at first ,and then decrease with the increase of r. Inference 6.5a If m = 4,average abundance function will basically remain stable with the increase of c. Inference 6.5b If m = 10,average abundance function will decrease (and get close to 1/2) with the increase of c. Inference 6.6a If m = 4,average abundance function will remain unchanged at 1/2 at first.Then it will decrease. After that it will increase.At last it will remain unchanged at 1/2 with the increase of α.

Inference 6.6b
If m = 10,average abundance function will increase at first.Then it will decrease.At last it will remain unchanged at 1/2 with the increase of α.

The main research findings of this article
The influences of cooperation and competition on social activities is becoming more and more important. This promotes the application of evolutionary game theory in real society and provides a good social background for us to study evolutionary game theory deeply.
Based on the study of literatures, the imitation rule, fixation probability, and structured population have been widely concerned and many results have been obtained. Relatively speaking, the research about the approximate expression of the average abundance function under different level of selection intensity deserves further discussion. Also how to use the theoretical deduction of average abundance function to explain the corresponding data simulation results is a field worth exploring. These will provide relevant research contents and research direction for this article. The main research findings are summarized as follows:

Conclusion 1
The approximate expression of average abundance function X A (ω) when selection intensity ω is sufficient small ( ω → 0 ) can be defined as follows: 21:152 Conclusion 2 The approximate expression of average abundance function X A (ω) when selection intensity ω is large can be defined as follows: On one hand, approximation formula is not available when r is small and m is large. On the other hand, the approximation formula will become more reliable when ω is larger. In addition, the feasibility of approximate formula is the highest when r is large and m is small. Furthermore, function h a (i, ω) can be divided into three parts. The first part N −i i+1 essentially reflects that individuals are in neutral drift state. The second part 1+δe −ω(α−π A (i+1)) is the inference term caused by mutation. The third part e −ω(π B (i)−π A (i+1)) reflects the comparison between π A (i + 1) and π B (i).

Conclusion 3
We analyze the effects of parameters (d,r,c,α ) on average abundance function X A (ω) by numerical simulation and obtain Inference 6.1-6.6. In addition, the corresponding results have been explained based on the expected payoff function π ( ) and function h(i, ω).

Research prospects
The characteristics of the average abundance function have been analyzed and some conclusions have been obtained in this article. However, the research work in this article is a preliminary exploration. It is necessary to conduct more research to improve the depth and breadth of this research. Further research can be carried out in the following aspects: (1) Based on conclusion 1, we can obtain the approximate expression of average abundance function X A (ω) defined by formula (8) when selection intensity ω is sufficient small ( ω → 0 ). Then we can analyze the applicability of formula (8) in the future research.
(2) Based on conclusion 2, we can obtain the approximate expression of average abundance function X A (ω) based on whether strategy A is favoured by selection or not when selection intensity ω is not too small. On the basis of formula (16), it can be concluded that r, m, d, and τ will play an important role in determining whether strategy A is favoured by selection or not. In the analysis of this article, we set the value of d and τ as fixed value and analyze the different values of r and m. This means we can analyze the effect of different values of r, m, d, and τ in the future research. (3) Based on conclusion 3, we analyze the effects of parameters (d,r,c,α ) on average abundance function X A (ω) and obtain Inference 6.1-6.6. However, we only analyze the influence of single parameter in this situation. The joint influence of multiple parameters is still lacking. On the other hand, the sensitivity analysis of parameters is not enough. It means the above two fields should be taken seriously in the further study. (4) In addition, we have studied the characteristics of the average abundance function based on aspiration rule in finite well-mixed population. Corresponding analysis is still lacking for the research on other types of population (such as structured population) or other evolutionary rules (such as imitation rule). It means other types of population should be considered and other evolutionary rules should be taken into account. Xia BMC Ecol Evo (2021) 21:152 In addition, on the basis of formula (27), it can be deduced that: Inside the formula (28): Then, it can be deduced that the condition 0 < m < d holds in multi-player threshold public goods evolutionary game model. Therefore, it can be deduced that whether formula (29) is positive or negative depends on function g(m).In other words,whether X A (ω)| m+1 − X A (ω)| m is positive or negative will be determined by function g(m).
Moreover, it can be deduced that function g(m) is a monadic quadratic equation related to m. The two roots of this equation can be defined as follows: On the basis of condition r > 1 , it can be deduced that: Combined with the above analysis, we can see that m 1 < 0 and 0 < m 2 < d . Furthermore, the m 1 will be discarded and m 2 will be retained because the condition 0 < m < d should be satisfied in threshold public goods evolutionary game model.
Then, on the basis of the properties of monadic quadratic equation, it can be deduced that function g(m) is larger than 0 when 0 < m < m 2 . On the other hand, function g(m) is smaller than 0 when m 2 < m < d . In addition, function g(m) will be equal to 0 when m = m 2 . Combined with the above analysis, we can see that: It has been deduced that whether X A (ω)| m+1 − X A (ω)| m is positive or negative will be determined by function g(m) . Then it can be deduced that: On the basis of formula (32), it can be deduced that X A (ω) increases with m when 0 < m < m 2 . On the other hand, X A (ω) decreases when m 2 + 1 < m < d . In addition, X A (ω) will reach the maximum value if m = m 2 or m = m 2 + 1.
Moreover, it can be deduced that m 2 is a decimal. However, m must be an integer. On the basis of this finding, it can be deduced that X A (ω) will reach the maximum value

Appendix B The explanation for Corollary 5.3.1-5.3.4 The explanation for Corollary 5.3.1
The corollary 5.3.1 can be explained based on formula (17): Based on formula (17), it can be deduced that: When m = 4 , by inserting the values of parameters into the ∂X A (ω) ∂c , it can be deduced that: Based on the properties of permutation and combination function, the following inequality will hold: Based on formulas (33)- (35), it can be deduced that ∂X A (ω) ∂c < 0 . So average abundance function will decrease with c when ω = 0.5 . In addition, the trend is close to linear change.

The explanation for Corollary 5.3.2
When m = 10 , by inserting the values of parameters into the ∂X A (ω) ∂c , it can be deduced that: Based on the properties of permutation and combination function, the following inequality will hold: Based on formulas (36)- (37), it can be deduced that ∂X A (ω) ∂c > 0 . So average abundance function will increase with c when ω = 0.5.
It should be noted the corresponding trend is not linear change when m = 10 . Furthermore, it can be deduced that the applicability of formula (17)   applicability of formula (17) requires that m should be smaller (at lest m < 10).

The explanation for Corollary 5.3.3
The main point of analysis lies in the expected payoff function π( ) defined by formula (10a) and function h(i, ω) defined by formula (7a). On the basis of formula (10a), the derivative of π A (i + 1) and π B (i) with respect to c can be defined as follows: Then,on the basis of formula (B.6), it can be deduced that both π A (i + 1) and π B (i) will increase with c. In addition, by analyzing the characteristics of π A (i + 1) and π B (i) , it can be deduced that both π A (i + 1) and π B (i) will increase to very high level when r is large(r = 8).
Combined with the above discussion, we can see that both π A (i + 1) and π B (i) are larger than aspiration level α . In other words, π A (i + 1) > α , π B (i) > α . Furthermore, both δe −ω(α−π ( )) and e −ω(α−π ( )) will increase to very high level. It can be seen from the above discussions that the following inequalities will be established: Then, on the basis of formula (B.7), function h(i, ω) will gradually degenerate to the following expression: On the basis of formula (38), it can be deduced that the corresponding average abundance function will basically (37a) remain unchanged at 1/2 when r > 4 . It can be seen from the above analysis that average abundance function basically remains unchanged at 1/2.

The explanation for Corollary 5.3.4
Similar to the analysis for corollary 5.3.3, it can be concluded that average abundance function will get close to 1/2 when m = 10.
However, it can be concluded that there must be more collaborators in the group to ensure that threshold public goods game can continue when m increase(m = 4 increases to m = 10 ). Therefore, average abundance function when m = 10 is larger than average abundance function when m = 4 . Then it can be seen from the above analysis that average abundance function is larger than 1/2 when m = 10.
We have already deduced that average abundance function will get close to 1/2. In addition, average abundance function is larger than 1/2. Furthermore, it can be concluded that average abundance function will decrease (and get close to 1/2) with the increase of c when m = 10.

Appendix C The explanation for Corollary 5.4.1-5.4.4 The explanation for Corollary 5.4.1
The corollary 5.4.1 can be explained based on formula (17): Based on formula (17), it can be deduced that ∂X A (ω) ∂α = 0 . So average abundance function will basically remain stable with the increase of α when ω = 0.5 if m = 4.

The explanation for Corollary 5.4.2
It should be noted that average abundance function will decrease with α when ω = 0.5 if m = 10 . This phenomenon is inconsistent with the conclusion that ∂X A (ω) ∂α = 0 . Furthermore, it can be deduced that the applicability of formula (17) is limited when m = 10 . It indicates that the complete applicability of formula (17) requires that m should be smaller (at lest m < 10). 21:152 The explanation for Corollary 5

.4.3
The main point of analysis lies in the expected payoff function π( ) defined by formula (10a) and function h(i, ω) defined by formula (7a).
On the basis of formula (10a), the derivative of π A (i + 1) and π B (i) with respect to α can be defined as follows: Then, on the basis of formula (C.1), it can be deduced that neither π A (i + 1) nor π B (i) is related to α.
At first, we will consider the situation when α < 2.66 . It can be deduced that when α is small ( α < 2.66 ), both π A (i + 1) and π B (i) are larger than aspiration level α . In other words, there will be π B (i) > α and π A (i + 1) > α when α < 2.66 . Moreover, both δe −ω(α−π ( )) and e −ω(α−π ( )) will increase to very high level when α < 2.66 . It can be seen from the above discussions that the following inequalities will be established: Then, on the basis of formula (C.2), function h(i, ω) will gradually degenerate to the following expression: On the basis of formula (39), it can be deduced that the corresponding average abundance function will basically remain unchanged at 1/2 when α < 2.66.
Then, we will consider the situation when α > 2. 66 . It has been deduced that neither π A (i + 1) nor π B (i) is related to α . In addition, by analyzing the characteristics of π A (i + 1) and π B (i) , it can be deduced that the inequality π B (i) > π A (i + 1) holds in most cases when m = 4.
On the whole, it can be deduced that when α keeps increasing ( α > 2.66 ), the π A (i + 1) will become smaller (38a) than aspiration level α , while the π B (i) is still larger than aspiration level α at the same time. In other words, there will be π A (i + 1) < α and π B (i) > α when α keeps increasing. Therefore, average abundance function will decrease when α > 2. 66.
In addition, we will consider the situation when α > 3.3 . It can be deduced that both π A (i + 1) and π B (i) will become smaller than aspiration level α when α increases to high level ( α > 3.3 ). In other words, π A (i + 1) < α , π B (i) < α . It can be seen from the above discussions that the following inequalities will be established: Then, on the basis of formula (C.4), function h(i, ω) will gradually degenerate to the following expression: On the basis of formula (41), it can be deduced that the corresponding average abundance function will get close to 1/2 when α > 3.3 . In addition, we have obtained that average abundance function is smaller than 1/2 when α < 3.3 . Based on the above analysis, we can see that average abundance function will increases (and get close to 1/2) when α > 3.3.
At last, it can be easily deduced that average abundance function will reach 1/2 when α keeps increasing to very high level(α > 5.22 ). Furthermore, there is a balance between the proportion of individuals choosing strategy A and the proportion of individuals choosing strategy B at this time. It can be seen from the above analysis that average abundance function will remain unchanged at 1/2 when α < 2.66 . In addition, it will decrease when 2.66 < α < 3.3 . Moreover, it will increase when 3.3 < α < 5.22 . At last, it will remain unchanged at 1/2 when α > 5.22. 21:152 The explanation for Corollary 5.4.4 The main point of analysis lies in the expected payoff function π( ) defined by formula (10a) and function h(i, ω) defined by formula (7a).