The dual role of constructive agents in public goods games: limited alone, amplifying cooperation with destructive agents

Abstract

Recent studies have revealed a paradoxical phenomenon in public goods games, wherein destructive agents, harming both cooperators and defectors, can unexpectedly bolster cooperation. Building upon this intriguing premise, our paper introduces a novel concept: constructive agents, which confer additional benefits to both cooperators and defectors. We investigate the impact of these agents on cooperation dynamics within the framework of public goods games. Employing replicator dynamics, we find that unlike destructive agents, the mere presence of constructive agents does not significantly alter the defective equilibrium. However, when the benefits from constructive agents are outweighed by the damage inflicted by destructive agents, the coexistence of both agent types can amplify the ability of destructive agents to sustain cooperation. This occurs through the facilitation of a coexistence pattern involving cooperators, defectors, constructive agents, and destructive agents via cyclic dominance. Conversely, if the benefits from constructive agents surpass the harm caused by destructive agents, the presence of constructive agents nullifies the ability of destructive agents to foster cooperation. Our results highlights the nuanced dual role of constructive agents in sha** cooperation dynamics, emphasizing the necessity of carefully assessing incentive balances in evolutionary game theory.

I Introduction

Cooperation can ensure the maximization of collective interests, but it is also vulnerable to exploitation by “free-riders” who do not bear the costs of cooperation axelrod1981evolution; riolo2001evolution; archetti2012game. To explore the emergence and maintenance of cooperation, numerous studies rooted in the framework of evolutionary game theory have revealed the mechanisms that support the evolution of cooperation in individual interactions weibull1997evolutionary; nowak2011supercooperators; rand2013human; nowak2006five. These include direct reciprocity, established through repeated interactions schmid2021unified; indirect reciprocity involving information transfer leimar2001evolution; and network reciprocity arising from interaction structures nowak2006five. However, in one-shot games where individuals interact only once, without the possibility of memory or behavioral information transfer, these reciprocity mechanisms are absent, making the maintenance of cooperation still a challenge riolo2001evolution. To tackle cooperation challenges in one-shot games, researchers have incorporated social mechanisms that allow individuals to engage in additional decision-making stages after contributing to public goods in the public goods game (PGG), unveiling pathways for establishing cooperation. nowak2011supercooperators; fehr2000cooperation; balliet2011reward; szolnoki2010reward. These include allowing individuals to impose costly punishments fehr2000cooperation; li2018punishment; szolnoki2017second and rewards andreoni2003carrot; chen2015first on others based on contribution outcomes, deciding whether to participate in the game before contributing to public goods (or called “loner” strategy) szabo2002phase; szabo2002evolutionary, or exiting from the interaction early for a fixed payoff shen2021exit; li2024granting. From these game interactions, different behaviors can be observed. The framework of social value orientation analyzes and summarizes these behaviors by exploring how individuals balance their own interests with those of othersbogaert2008social; murphy2011measuring, aiding in understanding cooperation issues in social dilemmas from a perspective of behavioral value orientation.

Recently, attention has been drawn to the impact of sadistic-orientation behavior on the cooperation dynamics, known as destructive behavior (or called “joker” strategy) arenas2011joker; requejo2012stability; khatun2024stability. These “bad guys” not only opt out of contributing to public goods, but also engage in antisocial behaviors that harm the interests of others. Counterintuitively, the presence of these destructive agents can maintain cooperation through a cycle of dominance involving cooperation, defection, and destructive strategies arenas2011joker, and these individuals’ positive effects on cooperation remain robust in both infinite and finite populations requejo2012stability. However, in contrast to this sadistic-orientation behavior, altruistic-orientation behavior is more commonly observed in behavioral experiments bogaert2008social; grund2013natural. For instance, some individuals exhibit a preference for engaging in altruistic rewarding behavior, even at a personal cost choi2013strategic. The complexity of human behavior leads to diversity in actions and strategies in interactions bogaert2008social; murphy2011measuring. Taking this into account, research further explores the evolutionary dynamics of coexisting altruistic and antisocial behaviors gneezy2012conflict. Interestingly, Szolnoki et al. szolnoki2017second demonstrated that antisocial punishment (punishing those who contribute to the public good) can unexpectedly enhance the effectiveness of prosocial punishment (punishing free-riders) in structured populations, challenging conventional perspectives on prosocial/antisocial behaviors and revealing new pathways for establishing cooperation. Importantly, the dynamics created by diverse interaction strategies provide a crucial perspective for a deeper understanding of the emergence of cooperation in real-life scenarios, which lie in the complexity of human behavior santos2012role; perc2008social.

Inspired by this, we introduce a new concept - constructive strategies, incorporating this altruistic behavior into the PGG model involving cooperation, defection, and destructive strategies. This approach enables us to expand current research in solving the cooperation issues by exploring the interconnected diverse behaviors of cooperation dynamics. In contrast to the destructive agents, constructive agents withdraw from game interactions but provide additional costly benefits to participants without concern for their own gains or losses. Utilizing replicator dynamics in an infinite population smith1982evolution, our research reveals that, although constructive agents alone do not alter evolutionary dynamics, their presence alongside destructive agents forms a cycle of dominance involving four strategies that support the emergence of cooperation. Additionally, constructive agents can amplify the role of destructive agents in promoting cooperation. However, when the benefits provided by constructive agents surpass the harm caused by destructive agents, it can result in negative effects that diminish the capacity of destructive agents to promote cooperation. The dual role of constructive individuals emphasizes the balancing impact of positive and negative incentive factors in evolutionary game dynamics, thereby enhancing the understanding of the incentive forces sha** cooperation.

II Model

To gain a deep understanding of how constructors influence the cooperation dynamics, we first examine a three-strategy model that includes cooperation, defection, and construction within the PGG. We then explore a four-strategy PGG model incorporating cooperation, defection, construction, and destruction to study the evolutionary dynamics of cooperation in the presence of both constructive agents and destructive agents.

II.1 Public goods game with constructive agents

In a classic PGG involving $N$ players, a cooperator contributes $c$ to the public pool (simplify without loss of generality, set $c=1$), while a defector contributes nothing. The total amount in the public pool is multiplied by a synergy factor $r$ and then evenly distributed among all participants. Defection is the only Nash equilibrium strategy when the synergy factor for cooperators meets $1<r<N$ archetti2012game. When constructive agents are introduced, these individuals neither contribute to nor benefit from the public pool. Instead, they offer an additional benefit of $d_{2}>0$ to the participants (i.e., cooperators and defectors). Let the number of cooperators among the other individuals in the group be $N_{C}$, and the number of constructive agents be $N_{CA}$, satisfying $0\leq N_{C}+N_{CA}\leq N$, the payoff for a focal individual adopting cooperation ($C$), defection ($D$), and constructive strategies ($CA$) can be respectively expressed as follows:

$$\begin{gathered}\pi_{C}=\frac{r(N_{C}+1)+d_{2}N_{CA}}{S_{1}}-1,\\ \pi_{D}=\frac{rN_{C}+d_{2}N_{CA}}{S_{1}},\\ \pi_{CA}=0,\end{gathered}$$ (1)

where $S_{1}=N-N_{CA}$ is the number of non-constructive agents in the group.

Consider an infinitely large and well-mixed population consisting of cooperators, defectors, and constructive agents, with proportions $x$, $y$, $z$, respectively (satisfy $x+y+z=1$ and $0\leq x,y,z\leq 1$). $N$ individuals are randomly selected from the population to form group and play the PGG. The expected payoffs for the $C$, $D$, and $CA$ strategies can be calculated as follows:

$$P_{C} =\sum_{N_{CA}=0}^{N-1}\sum_{N_{C}=0}^{N-1-N_{CA}}\binom{N-1}{N_{CA}}\binom{N-1-N_{CA}}{N_{C}}$$ (2)

$$\quad\cdot x^{N_{C}}\cdot z^{N_{CA}}\cdot(1-x-z)^{N-1-N_{C}-N_{CA}}\cdot\pi_{C}$$

$$=r\frac{x}{1-z}\left(1-\frac{1-(z)^{N}}{N(1-z)}\right)+d_{2}\left(\frac{\left(1-(z)^{N}\right)}{(1-z)}-1\right)$$

$$\quad+\frac{r\left[1-(z)^{N}\right]}{N(1-z)}-1,$$

$$P_{D} =\sum_{N_{CA}=0}^{N-1}\sum_{N_{C}=0}^{N-1-N_{CA}}\binom{N-1}{N_{CA}}\binom{N-1-N_{CA}}{N_{C}}$$

$$\quad\cdot x^{N_{C}}\cdot z^{N_{CA}}\cdot(1-x-z)^{N-1-N_{C}-N_{CA}}\cdot\pi_{D}$$

$$=r\frac{x}{1-z}\left(1-\frac{1-(z)^{N}}{N(1-z)}\right)+d_{2}\left(\frac{\left(1-(z)^{N}\right)}{(1-z)}-1\right),$$

$$P_{CA} =0.$$

By utilizing replicator dynamics smith1982evolution, and taking into account the existence of mutations where the probability of an individual mutating to another type is $\mu$ ($\mu\ll 1$), the evolutionary dynamics of strategies in this population can be write as:

$$\begin{cases}\dot{x}=x\left(P_{C}-\bar{P}\right)+\mu(1-3x)\\ \dot{y}=y\left(P_{D}-\bar{P}\right)+\mu(1-3y)\\ \dot{z}=z\left(P_{CA}-\bar{P}\right)+\mu(1-3z)\end{cases},$$ (3)

where $\bar{P}=xP_{C}+yP_{D}+zP_{CA}$ is the average expected payoffs of the population.

II.2 Public goods game with constructive agents and destructive agents

When considering the four-strategy model, destructive agents (denoted as $DA$), like $CA$, do not participate in public pool allocation and investment, but indiscriminately reduce the payoffs of cooperators and defectors by $d_{1}$ arenas2011joker. Let $N_{DA}$ represent the number of destructive agents, and $S_{2}$ denote the individuals who are neither constructive agents nor destructive agents, i.e., $S_{2}=N-N_{CA}-N_{DA}$. Similar to Eq. (1), the payoffs of focal players adopting $C$, $D$, $CA$, and $DA$ strategies within a group can be expressed as follows:

$$\begin{gathered}\pi_{C}=\frac{r\left(N_{C}+1\right)+d_{2}N_{CA}-d_{1}N_{DA}}{S_{2}}-1,\\ \pi_{D}=\frac{rN_{C}+d_{2}N_{CA}-d_{1}N_{DA}}{S_{2}},\\ \pi_{DA}=0,\\ \pi_{CA}=0.\end{gathered}$$ (4)

Let the proportion of $C$, $D$, $CA$ and $DA$ in an infinitely large and well-mixed population be $x$, $y$, $z$, and $w$, respectively (satisfy $x+y+z+w=1$ and $0\leq x,y,z,w\leq 1$). The expected payoffs for these four types of agents can be calculated as follows:

$$P_{C} =\sum_{N_{CA}=0}^{N-1}\sum_{N_{DA}=0}^{N-1-N_{CA}}\sum_{N_{C}=0}^{N-1-N_{CA}-N_{DA}}\binom{N-1}{N_{CA}}$$ (5)

$$\quad\binom{N-1-N_{CA}}{N_{DA}}\binom{N-1-N_{DA}-N_{CA}}{N_{C}}$$

$$\quad\cdot x^{N_{C}}\cdot z^{N_{CA}}\cdot w^{N_{DA}}$$

$$\quad\cdot(1-x-z-w)^{N-1-N_{C}-N_{CA}-N_{DA}}\cdot\pi_{C}$$

$$=r\frac{x}{1-z-w}\left(1-\frac{1-(z+w)^{N}}{N(1-z-w)}\right)$$

$$\quad-d_{1}\frac{w\left(1-(z+w)^{N-1}\right)}{(1-z-w)}\quad+d_{2}\frac{z\left(1-(z+w)^{N-1}\right)}{(1-z-w)}$$

$$\quad+\frac{r}{N}\frac{\left[1-(z+w)^{N}\right]}{(1-z-w)}-1,$$

$$P_{D} =\sum_{N_{CA}=0}^{N-1}\sum_{N_{DA}=0}^{N-1-N_{CA}}\sum_{N_{C}=0}^{N-1-N_{CA}-N_{DA}}\binom{N-1}{N_{CA}}$$ (6)

$$\quad\binom{N-1-N_{CA}}{N_{DA}}\binom{N-1-N_{DA}-N_{CA}}{N_{C}}$$

$$\quad\cdot x^{N_{C}}\cdot z^{N_{CA}}\cdot w^{N_{DA}}$$

$$\quad\cdot(1-x-z-w)^{N-1-N_{C}-N_{CA}-N_{DA}}\cdot\pi_{D}$$

$$=r\frac{x}{1-z-w}\left(1-\frac{1-(z+w)^{N}}{N(1-z-w)}\right)$$

$$\quad-d_{1}\frac{w\left(1-(z+w)^{N-1}\right)}{(1-z-w)}\quad+d_{2}\frac{z\left(1-(z+w)^{N-1}\right)}{(1-z-w)}$$

$$P_{CA} =0,$$ (7)

$$P_{DA} =0.$$ (8)

Similar to Eq. (3), the evolutionary dynamics in this population can be described as:

$$\begin{cases}\dot{x}=x\left(P_{C}-\bar{P}\right)+\mu(1-4x),\\ \dot{y}=y\left(P_{D}-\bar{P}\right)+\mu(1-4y),\\ \dot{z}=z\left(P_{CA}-\bar{P}\right)+\mu(1-4z),\\ \dot{w}=w\left(P_{DA}-\bar{P}\right)+\mu(1-4w),\end{cases}$$ (9)

where $\bar{P}=xP_{C}+yP_{D}+zP_{CA}+wP_{DA}$ is the average expected payoffs of the population.

III Results

Before presenting our research results, we review the dynamics of the destructive agents in the traditional public goods game arenas2011joker; requejo2012stability. In a population of size $N$, assuming that $M$ individuals hold the same strategy. The invasion analysis in ref. arenas2011joker indicates that the destructive agents can lead to three patterns of invasion under the parameter conditions $1<r<r_{\max}=N(M-1)/(M-N)$ and $d_{1}>0$. (i) In the region of $r>1+(N-1)d_{1}$, destructive agents support the emergence of cooperators trough a rock-paper-scissors (RPS) cyclic dominance emerges. (ii) In the region of $1+d_{1}/(M-1)<r<1+(N-1)d_{1}$, a bistability arises between the destructive agents-cooperators. Here, the destructive agents can prevail over the defector, while the defector dominates the cooperator. However, neither the destructive agents nor the cooperator can invade each other. (iii) In the region of $r<1+d_{1}/(M-1)$, the destructive agents dominates in population.

When introducing the constructive agents solely, a similar invasion analysis is conducted under the conditions $0<r<r_{mx}$ and $d_{2}>0$, see Appendix for detailed analysis. The population’s invasion state in the presence of constructive agents is entirely different from that introduced by destructive agents. Figure 1 illustrates that the population consistently favors $D$, since $D$ consistently maintain a positive expected payoff greater than the other two types. But the competitive relationship between $C$ and $CA$ is distinct. Region I: when $r<1-(N-1)d_{2}$ , $C$ can not invade constructive agents, but $CA$ agents can invade $C$, as the expected payoff for the constructive agents is higher than that of cooperators. Region II: When $1-(N-1)d_{2}<r<1-d_{2}/(M-1)$, $C$ and $CA$ can invade each other, leading to a state of antagonism. Region III: when $r>1-d_{2}/(M-1)$, $C$ agents can invade $CA$, since the expected payoff of $C$ is greater than that of $CA$. To validate the theoretical analysis, numerical simulations were conducted in three regions, as illustrated in Figure 2. Consistent with theoretical predictions, across the three mentioned parameter regions, there are variations in the competitive dynamics between $C$ and $CA$, with $D$ consistently holding dominance. These results indicate that when $CA$ exists alone, despite potentially benefiting others, it cannot effectively resolve the social dilemma.

Figure 1: Three patterns of invasion in the public goods games involving cooperators ($C$), defectors ($D$) and constructive agents ($CA$) under parameter phase $r$-$d_{2}$. Region I (light green area) satisfies the conditions $r<1-(N-1)d_{2}$, cooperators are invaded by constructive agents, while both cooperators and constructive agents are invaded by defectors. Region II (light brown area) satisfies the conditions $1-(N-1)d_{2}<r<1-d_{2}/(M-1)$, cooperators are invaded by constructive agents, while both cooperators and constructive agents are invaded by defectors. Region III (light yellow area) satisfies the conditions $r>1-d_{2}/(M-1)$, constructive agents are invaded by cooperators, while both cooperators and constructive agents are invaded by defectors. All these cases are applicable under $N>1$ and $0<r<r_{\max}=N(M-1)/(M-N)$. Critical points are $d_{2,1}=1/(N-1)$, $d_{2,2}=M-1$.

Figure 2: The evolutionary dynamics of a a large, well-mixed population involving strategies $C$, $D$, and $CA$ are derived from the replicator-mutator dynamics. Each vertex in the plot represents a homogeneous population where all individuals hold the same strategy. The three vertices correspond to homogeneous populations adopting the strategies of cooperation, defection, and constructive agents, respectively. Arrows indicate the direction of dynamics, while blue-purple dots indicate the convergence states of populations. Proximity to a vertex indicates a higher proportion of the strategy represented by that vertex. Figures (a), (b), and (c) respectively depict the evolutionary dynamics in region I (setting $r=0.35$ and $d_{2}=0.125$), Region II (setting $r=0.35$ and $d_{2}=1.5$), and Region III (setting $r=3.5$ and $d_{2}=1.5$) as shown in Figure 1. The results presented are generated using a modified version of the DeFinetti package archetti2020definetti.

Figure 3: Depicted are the strategy coexistence in the four-strategy model (involving $C$, $D$, $DA$, and $CA$) as a function of the damage $d_{1}$ caused by destructive agents and the benefit $d_{2}$ provided by constructive agents. The red vertical axis on the far right of each subfigure illustrates the coexistence of strategies in the three-strategy model (involving $C$, $D$, and $DA$) under the same parameters. The square brackets denote the presence of cyclic dominance among strategies, while their absence indicates the state of stable coexistence. The values of $r$ are 3.5, 2, 1, and 0.5 for (a)-(d) respectively, with a group size of $N=5$ and a mutation rate of $\mu=0.005$.

To further explore the impact of constructive agents on cooperation, we investigate the evolutionary dynamics involving the $C$, $D$, $DA$, and $CA$ strategies. The coexistence of strategies obtained through numerical simulation of replicator-mutator equations is depicted in Figure 3. Both the three-strategy model involving $C$, $D$ and $DA$ strategy and the four-strategy model considered here demonstrate that cooperation occurs only when the synergy factor is sufficiently large (i.e., $r\geq 2$), as shown in Figure 3(a) and (b). In the four-strategy model, for a specific $d_{2}$, as the “harm” inflicted by $DA$ on participants ($d_{1}$) increases, the population transitions from a pure $D$ (blue region) phase to a coexistence phase of $D+DA+CA$ (green region). Furthermore, as $d_{1}$ continues to increase, the population shifts from the $D+DA+CA$ phase to the $DA+CA$ (orange region) phase when $r$ is low, as illustrated in Figure 3(c) and (d). Interestingly, a narrow region of four-strategy coexistence (yellow region) emerges between the $D+DA+CA$ phase and the $DA+CA$ phase when $r$ is sufficiently large. In contrast to the three-strategy model (shown on the right red vertical axis in Figure 3) where cooperation is limited to low values of $d_{1}$ arenas2011joker, the introduction of $CA$ broadens the range of $d_{1}$ values conducive to cooperation. Cooperation can persist in regions with large $d_{1}$ as long as $d_{1}>d_{2}$. On the other hand, for a specific $d_{1}$, increasing the benefits provided by $CA$ sustains cooperation within the population. However, as $d_{2}$ surpasses $d_{1}$, cooperation diminishes, leading to a transition from the four-strategy coexistence phase to the $D+DA+CA$ phase. Further increases in $d_{2}$ ultimately lead to the dominance of strategy $D$.

Figure 4: Depicted are the frequency of the $C$ (cooperator, red solid line), $D$ (defector, blue dashed line), $DA$ (destructive agents, magenta dotted line), and $CA$ (constructive agents, green dash-dotted line) as a function of time steps. $d_{2}$ is set to 0.65, 1.65, 3, and 4.5 for (a)-(d), respectively. The other parameters are set as follows: $d_{1}=3$, $N=5$, $r=3.5$, and $\mu=0.005$.

Figure 5: Depicted are the frequency of the $C$ (cooperator, red solid line), $D$ (defector, yellow dashed line), and $DA$ (destructive agents, green dotted line) as a function of time steps. $d_{1}$ is set to 3, 1.65, 1.65, and 4.5 for (a)-(d), respectively. The other parameters are set as follows: $N=5$, $r=3.5$, and $\mu=0.005$. In (a), the frequency of $C$ briefly increases before giving way to $D$. Strategy $DA$ dominates the entire population eventually. In (b), strategies $C$, $D$, and $DA$ exhibit cyclic dominance. The evolutionary process of strategy proportions in (c) and (d) resemble that of Figure (a), with the eventual dominance of strategy $DA$.

Figure 4 illustrates the temporal evolution of four strategies under a synergy factor of $r=3.5$, providing insight into the evolving dynamics within the population. In Figure 4(a), the results indicate a transient increase in the proportions of cooperators and defectors in the early stages of evolution. Subsequently, both $C$ and $D$ decrease while the proportions of $CA$ and $DA$ increase until stability is reached, ultimately resulting in a coexistence state of $CA+DA$. Due to the absence of competition between the $CA$ and $DA$, their proportions in the population are equal at equilibrium. When $d_{2}$ is increased to 1.65, the population exhibits cyclic oscillations over time for these four strategies, as shown in Figure 4(b). Specifically, the proportion of $D$ initially rises, then gives way to $DA$ and $CA$, after which both are gradually replaced by $C$. Then, $C$ is once again supplanted by $D$, forming a cycle. It is this dominating cycle that enables the coexistence of cooperators with the other three strategies. When $d_{1}=d_{2}$, as depicted in Figure 4(c), the dominance of the strategy cycle gives way to the coexistence of $D+DA+CA$. Finally, when the benefits brought by $CA$ outweigh the damage caused by $DA$ (i.e., $d_{2}>d_{1}$), Figure 4(d) shows that defectors eventually dominate the population. In contrast, we examine the temporal evolution dynamics involving three strategies—$C$, $D$, and $DA$. It is noteworthy that when $d_{1}<1$, the cycle dominance can emerge with $C$, $D$, and $DA$, as shown in Figure 5(b). However, when $d_{1}>1$, the results in Figures 5(a), (c), and (d) show that cycle dominance disappears and $DA$ ultimately comes to dominate. Overall, when both $d_{1}$ and $d_{2}$ exceed 1, and satisfy $d_{1}>d_{2}$, the cyclic dominance among strategies can occur (see Figure 4). Yet, with the increasing benefits from $CA$ in the population, the cyclic dominance among the four strategies disappears, indicating that the introduction of constructive factors weakens the ability of destructive factors to maintain cooperation within the population.

Figure 6: Depicted are the frequencies of $C$ (cooperator, red solid line), $D$ (defector, blue dashed line), $DA$ (destructive agents, magenta dotted line), and $CA$ (constructive agents, green dash-dotted line) are depicted as a function of time steps under different $d_{1}$-$d_{2}$ parameter combinations [$d_{1}=3$ and $d_{2}=1.5$ for (a); $d_{1}=3$ and $d_{2}=1.8$ for (b); $d_{1}=2.7$ and $d_{2}=1.5$ for (c); $d_{1}=2.7$ and $d_{2}=1.8$ for (d)]. The other parameters are set as follows: $N=5$, $r=3.5$, and $\mu=0.005$. In (a) and (c), a decrease in $d_{1}$ leads to a reduction in the peak frequencies of strategies $C$, $DA$, and $CA$ within the cyclic dominance. In (c) and (d), an increase in $d_{2}$ weakens the peak frequencies of all four strategies within the cyclic dominance.

To further investigate the impact of $d_{1}$ and $d_{2}$ on the dynamics of strategy evolution, we examine the coexistence of four strategies ($C$, $D$, $DA$, and $CA$) under varying combinations of $d_{1}$ and $d_{2}$. Results from Figures 6(a) and (b) indicate that, for a fixed $d_{1}$, a slight increase in $d_{2}$ leads to a reduction in the peak amplitude of $C$ during cyclic dominance oscillations (red solid line). Particularly, this weakening trend becomes more pronounced when $d_{1}$ is slightly decreased, as illustrated in Figures 6(c) and (d). This suggests that the increase in benefit ($d_{2}$) brought by the constructive agents weakens the advantage of destructive agents in inducing cooperators to dominate in the population’s cyclic dynamics. Decreasing $d_{1}$ also weakens the advantage of cooperators in cyclic dominance.

The impact of mutation rate on the cyclic dominance phenomenon is depicted in Figure 7. When $\mu=0.005$, it can be observed that the peak cooperation frequency within the cyclic dominance reaches approximately 0.92. However, as the mutation rate increases to 0.01, the peak values for the dominance of all four strategies decrease. Specifically, the peak value for cooperators drops from 0.92 to 0.188. When mutation rate increases to 0.1, while all four strategies still coexist within the population, the cyclic dominance phenomenon disappears, with the proportion of defectors surpassing that of cooperators. Moreover, the proportions of $CA$ and $DA$ stabilize at a low level. In the scenario of very rare mutations, specifically $\mu=10^{-8}$, cyclic dominance disappears entirely, and defectors overwhelmingly dominate, pushing the frequencies of strategies $C$, $CA$, and $DA$ nearly to zero.

Figure 7: Depicted are the frequencies of $C$ (cooperator, red solid line), $D$ (defector, blue dashed line), $DA$ (destructive agents, magenta dotted line), and $CA$ (constructive agents, green dash-dotted line) as a function of time steps. The mutation rates are $10^{-8}$, 0.005, 0.01, and 0.1 for (a)-(d) respectively. The other parameters are set as follows: $N=5$, $r=3.5$, $d_{1}=3$, and $d_{2}=1.5$. As the mutation rate increases, the cyclic dominance among the four strategies gradually diminishes.

IV Discussion

The intertwined evolutionary dynamics of diverse behaviors could deepen understanding of how cooperation is sustained amidst the complexity of human behavior. In this work, we introduce constructive behaviors into the traditional PGG, and consider the intertwined evolutionary dynamics of constructive agents and destructive agents. These constructive agents do not influence contributions and allocations in the public pool. Instead, they directly benefit participants in the PGG group (i.e., cooperators and defectors). Through mean-field results derived from the replicator-mutator equation and numerical simulations, our research reveals significant differences in the impact of constructive agents compared to destructive agents on the cooperation dynamics. While the presence of destructive agents can contribute to sustaining cooperation by facilitating a strategy cycle dominance, the sole participation of constructive agents in the evolutionary dynamics fails to resolve cooperation issues in a one-shot game, with defection still prevailing in the population (see Figure 1). However, introducing constructive agents into the cooperation-defection-destruction model can maintain cooperation through a four-strategy cycle dominance process in evolution (see Figure 3).

Although constructive agents themselves can not directly alter the evolutionary outcomes of the population, together with destructive agents, they can engage in a cycle dominance involving four strategies to sustain cooperation (see Figure 3). Interestingly, constructive agents can act as catalysts, influencing the impact of destructive agents in promoting cooperation. The presence of constructors can expand the parameter region in which destructive agents promote cooperation. However, as the benefits provided by constructive agents increase, the efficiency of destructive agents in promoting cooperation decreases. When the benefits provided by constructive agents exceed the “harm” caused by destructive agents to individuals, it breaks the cyclic dominance and weakens the ability of destructive agents to sustain cooperation (see Figure 4). Furthermore, an increased mutation rate can weaken the peak cooperation frequency in cyclic dominance. Conversely, in the limit of rare mutation rates, the phenomena of cyclic dominance among strategies completely disappear, with the defective strategy being the unique Nash equilibrium. Neither destructive nor constructive agents derive any benefits from a common pool of funds. However, relying solely on altruistic behavior from constructive agents is insufficient to support the establishment of cooperation in one-shot games. Importantly, the altruistic behavior of constructive agents provides positive incentives for others in society, while the behavior of destructive agents generates negative incentives. By simultaneously considering these positive and negative incentive behaviors balliet2011reward; szolnoki2010reward; szolnoki2017second, the dynamics of cooperation maintenance are altered. Therefore, our study highlights the importance of balancing the interaction of positive and negative incentive behaviors.

In our study, constructive and destructive agents represent two typical orientations towards the interests of others: benefiting others and causing harm to others. However, individual self-interest considerations have been overlooked. Considering that self-interest is a characteristic of rational human behavior, an integration of individual actions build upon two dimensions of behavioral orientation within the social value orientation framework bogaert2008social–preference for one’s own gains and preference for opponent’s gains–will contribute to a more comprehensive understanding of cooperation emergence and promotion under diverse behavioral frameworks. On the other hand, in this challenging one-shot game scenario, cooperation cannot be sustained by relying solely on the constructive agents. In conjunction with reciprocity mechanisms, can the altruistic behaviors exhibited by constructive agents, promote the development of cooperation? Furthermore, by integrating behavioral information transmission, analyzing the biased strategies of constructive and destructive agents towards defectors or cooperators becomes feasible, aiding in a deeper understanding of how diverse behaviors affect the cooperation dynamics. Future research focusing on direct reciprocity, indirect reciprocity, and network reciprocity mechanisms will offer valuable insights into the complex interplay between diverse individual value orientations and the maintenance of cooperation.

Article information

Acknowledgement

We acknowledge the support provided by (i) the National Natural Science Foundation of China (Grant No.11931015, 12271471, 12161089), Major project of National Philosophy and Social Science Foundation of China (Grants No. 22&ZD158 and 22VRCO49) to L.S.; (ii) a JSPS Postdoctoral Fellowship Program for Foreign Researchers (Grant No. P21374), and an accompanying Grant-in-Aid for Scientific Research from JSPS KAKENHI (Grant No. JP 22KF0303) to C.S.; (iii) the grant-in-Aid for Scientific Research from JSPS, Japan, KAKENHI (Grant No. JP 20H02314 and JP 23H03499) awarded to J.T; (iv) China Scholarship Council (Grant No. 202308530309) and Yunnan Provincial Department of Education Science Research Fund Project (Grant No. 2024Y503) to Z.H., and (v) Yunnan Provincial Department of Education Science Research Fund Project (Grant No. 2024Y502) to Y.D.

Author contributions

Y.D. and C.S. conceptualised, designed the study, formal analysis, methodology, validation, and visualization; Y.D., Z.H., and C.S. writing original draft; L.S. and J.T. provided overall project supervision, review and editing; All authors approved the final version and agreed to be accountable for the work conducted in the work.

Conflict of interest

We declare that no conflict of interests.

Appendix A. Finite populations: invasion analysis

Considering a homogeneous population of size $M$, where individuals adopt strategy $Y$. Suppose one individual undergoes a mutation, shifting from strategy $Y$ to strategy $X$. The successful invasion of this homogeneous population by the $X$ individual is contingent upon the condition that the expected payoff from adopting strategy $X$ exceeds that of individuals adopting strategy $Y$ (i.e., $P_{X}>P_{Y}$). In this population, composed of one individual adopting strategy $X$ and $N-1$ individuals adopting strategy $Y$, the expected payoff for the individuals using strategy $X$ can be represented as follows:

$$\begin{gathered}P_{X}=\pi_{X}(1X,\ (N-1)Y).\end{gathered}$$ (A.1)

During the game, individuals adopting strategy $Y$ face two possible population states: one where one individual holds strategy $X$ and $N-1$ individuals hold strategy $Y$, and the other where all individuals hold strategy $Y$. Let’s denote the probabilities of these two states as $p_{1}$ and $p_{2}$ respectively. The expected payoff for strategy $Y$ can be expressed as:

$$\begin{gathered}P_{Y}=\pi_{Y}(1X,(N-1)Y)\cdot p_{1}\\ +\pi_{Y}(0X,NY)\cdot p_{2},\end{gathered}$$ (A.2)

where,

$$\begin{split}p_{1}&=\frac{\binom{M-2}{N-2}\binom{1}{1}}{\binom{M-1}{N-1}}\\ &=\frac{N-1}{M-1},\end{split}$$ (A.3)

$$p_{2} =\frac{\binom{M-2}{N-1}\binom{1}{0}}{\binom{M-1}{N-1}}$$ (A.4)

$$=\frac{M-N}{M-1}.$$

In a model involving $C$, $D$, and $CA$ strategies, considering the pairwise interaction of these strategies, there are six distinct scenarios regarding population composition, as outlined below:

(A) $1D+(M-1)C$

$$P_{D} =\pi_{D}(1D,(N-1)C)$$ (A.5)

$$=r-\frac{r}{N},$$

$$P_{C} =\pi_{C}(1D,(N-1)C)\cdot\frac{N-1}{M-1}+\pi_{C}(0,NC)\cdot\frac{M-N}{M-1}$$

$$=r-1-\frac{r}{N}\cdot\frac{N-1}{M-1}.$$

Strategy $D$ will successfully invade the population of strategy $C$, satisfying the $P_{D}>P_{C}$, the condition can be derived as follows:

$$r<N\cdot\frac{M-1}{M-N}.$$ (A.6)

In the limit $M\to\infty$ , the above condition is reduced to $r<N$, thereby encompassing the condition for the social dilemma: $0<r<N$. In the subsequent analysis, we will proceed under the assumption that inequality (A.6) holds. 

(B) $1C+(M-1)D$

$$P_{C} =\pi_{C}(1C,(N-1)D)$$ (A.7)

$$=\frac{r\cdot 1}{N}-1,$$

$$P_{D} =\pi_{D}(1C,(N-1)D)\cdot\frac{N-1}{M-1}+\pi_{D}(0,ND)\cdot\frac{M-N}{M-1}$$

$$=\frac{r\cdot 1}{N}\cdot\frac{N-1}{M-1}.$$

Since $0<r<N$, we have $P_{C}<0$ and $P_{D}>0$, indicating $P_{C}<P_{D}$. Therefore, strategy $C$ can never invade a population of strategy $D$. 

(C) $1CA+(M-1)C$

$$P_{CA} =0,$$ (A.8)

$$P_{C} =\pi_{C}(1CA,(N-1)C)\cdot\frac{N-1}{M-1}+\pi_{C}(0,NC)\cdot\frac{M-N}{M-1}$$

$$=r-1+\frac{d_{2}}{M-1}.$$

If $P_{CA}>P_{C}$, then:

$$0<r<1-\frac{d_{2}}{M-1},$$ (A.9)

strategy $CA$ can invade the population of strategy $C$ iff condition (A.9) holds.

On the contrary, let $P_{CA}<P_{C}$ derive :

$$r>1-\frac{d_{2}}{M-1},$$ (A.10)

when $r$ satisfies condition (A.10), the strategy $CA$ can never invade the population of strategy $C$. 

(D) $1C+(M-1)CA$

$$P_{CA} =0,$$ (A.11)

$$P_{C} =\pi_{C}(1C,(N-1)CA)$$

$$=r-1+(N-1)\cdot d_{2}.$$

If $P_{C}>P_{CA}$, thus:

$$r>1-(N-1)\cdot d_{2},$$ (A.12)

strategy $C$ will invade the population of strategy $CA$ iff condition (A.12) holds.

On the contrary, if $P_{C}<P_{CA}$ , i.e.,

$$r<1-(N-1)\cdot d_{2},$$ (A.13)

in this case, the strategy $C$ will not invade the population of strategy $CA$. 

(E) $1D+(M-1)CA$

$$P_{CA} =0,$$ (A.14)

$$P_{D} =\pi_{D}(1D,(N-1)CA)$$

$$=d_{2}\cdot(N-1).$$

Since $d_{2}>0$ and $N>1$, it follows that $d_{2}(N-1)>0$, i.e., $P_{D}>P_{CA}$. When this condition is satisfied, the strategy $D$ will inevitably invade the population of strategy $CA$.  

(F) $1CA+(M-1)D$

$$P_{CA} =0,$$ (A.15)

$$P_{D} =\pi_{D}(1CA,(N-1)D)\cdot\frac{N-1}{M-1}+\pi_{D}(0,ND)\cdot\frac{M-N}{M-1}$$

$$=\frac{d_{2}}{M-1}.$$

Since $d_{2}>0$ and $M\gg 1$, it follows that $P_{D}>0$. In this case, $P_{CA}<P_{D}$ must hold, so the strategy $CA$ will never invade the population of strategy $D$.

According to the invasion analysis described above, we have obtained the distinct invasion regions for three strategies as shown in Figure 1. In scenarios (A), (B), (E), and (F), it is evident that when conditions $0<r<N\cdot\frac{M-1}{M-N}$ and $d_{2}>0$ are satisfied, both strategy $C$ and strategy $CA$ are consistently invaded by strategy $D$. From scenarios (C) and (D), although $r>1-\frac{d_{2}}{M-1}$ is satisfied, strategy $CA$ does not invade strategy $C$. However, when $r>1-(N-1)\cdot d_{2}$, strategy $CA$ is invaded by strategy $C$. Notably, the range of $r$ values in the former falls within that of the latter, thus, as long as the condition $r>1-\frac{d_{2}}{M-1}$ holds, the latter will definitely occur, namely, strategy $CA$ being invaded by strategy $C$. Similarly, although $r<1-(N-1)\cdot d_{2}$ is satisfied, strategy $C$ does not invade strategy $CA$. However, when $0<r<1-\frac{d_{2}}{M-N}$, strategy $C$ is invaded by strategy $CA$. The range of $r$ values in the former is contained within the range of the latter, thus, when $r<1-(N-1)\cdot d_{2}$ is satisfied, strategy $C$ will eventually be invaded by strategy $CA$. In contrast, when $1-(N-1)\cdot d_{2}<r<1-\frac{d_{2}}{M-1}$, strategies $CA$ and $C$ invade each other, leading to a state of antagonism.