View source for Cooperation in well-mixed populations

{{TOCright}}
The evolution of cooperation under Darwinian selection challenges scientists across behavioral disciplines - from evolutionary biology to social sciences and economics. Over the last decades the [[Prisoner's Dilemma]] as the leading mathematical metaphor to investigate cooperative interactions using [[Game Theory]]. Interestingly, the tremendous success of the Prisoner's Dilemma in theoretical studies is met by a surprising lack of specific empirical evidence. Therefore, in many situations interactions might be better captured by the [[Snowdrift Game]], which represents a biologically interesting alternative to model cooperative interactions under less stringent conditions. The Snowdrift Game is also known as the [[Hawk-Dove Game]] or [[Chicken Game]].

This tutorial contrasts the evolutionary outcomes for the Prisoner's Dilemma and the Snowdrift Game. It is divided into to parts: the first part considers unstructured (or well-mixed) populations where individuals randomly interact with other members of the population. These results form the basis for the second part of the tutorial on [[Cooperation in structured populations|spatially structured populations]] with limited local interactions and highlights the different effects of spatial extension on the evolutionary dynamics in the two games.

''This tutorial represents the prelude to the results reported in a [[#References|research article]] with [http://www.zoology.ubc.ca/%7edoebeli/ Michael Doebeli]in[http://www.nature.com Nature] (2004) '''428''' 643-646. For further details please refer to [[Cooperation in structured populations]].''

== Dynamical scenarios ==

===Pure strategies===
In well-mixed populations the dynamics of the Prisoner's Dilemma and Snowdrift or Hawk-Dove game can be fully analyzed. Besides, in well-mixed populations there is no distinction between pure or mixed strategies. These results provide the basis for the discussion of effects of spatial structuring in populations on the fate of cooperative behavior.
{{Template:Legend:PlainAB}}

<div class="lab_description PDvsSD">
[[Image:Well-mixed Prisoner's Dilemma.png|left|200px]]
==== [[EvoLudoLab: Extinction of cooperators in the Prisoner's Dilemma|Prisoner's Dilemma: extinction of cooperators]] ====
The Prisoner's Dilemma is characterized by the payoff ranking <math>T>R>P>S</math>, which means <math>x_1=0</math> is stable, <math>x_2=1</math> unstable and hence <math>x_3</math> does not lie in <math>(0,1)</math>. Therefore, regardless of the initial configuration of the population cooperators are bound to go extinct. Consequentially everybody in the population ends up with the payoff <math>P</math> instead of the preferrable <math>R</math> for mutual cooperation - and hence the dilemma.

The sample simulation shows the time evolution of the fraction of cooperators in a well-mixed population playing the Prisoner's Dilemma when starting with 99% cooperators.
<br style="clear:both" />
</div>
<div class="lab_description PDvsSD">
[[Image:Well-mixed Snowdrift Game.png|left|200px]]
==== [[EvoLudoLab: Co-existence of cooperators and defectors in the Snowdrift Game|Snowdrift Game: co-existence of cooperators and defectors]] ====
For the Snowdrift and Hawk-Dove game the characteristic payoff ranking is <math>T>R>S>P</math>. From the above calculation follows that now both <math>x_1=0</math> and <math>x_2=1</math> are unstable and hence <math>x_3</math> exists and is stable. Consequentially, a stable mixture of cooperators and defectors evolves. Note that the average population payoff in equilibrium is smaller than <math>R</math> - just as in the Prisoner's Dilemma. Thus, the paradox of cooperation is also apparent in the Snowdrift or Hawk-Dove games.

The sample simulation shows the time evolution of the fraction of cooperators in a well-mixed population playing the Snowdrift or Hawk-Dove game. Since the sample simulations consider finite populations, small fluctuations around the equilibrium occur.
<br style="clear:both" />
</div>

===Mixed strategies===
The results for well-mixed populations do not depend on whether they refer to individuals with pure or mixed strategies. However, the interpretation of the underlying mechanisms is quite different and, in particular, the continuous strategy space of mixed strategies requires the introduction of mutations.

{{Template:Legend:MinMaxMean|type=Strategies}}

<div class="lab_description PDvsSD">
[[Image:Well-mixed Prisoner's Dilemma (mixed strategies).png|left|200px]]
==== [[EvoLudoLab: Decline of cooperation in the Prisoner's Dilemma with mixed strategies|Prisoner's Dilemma: gradual demise of cooperation]] ====
In the Prisoner's Dilemma mutants with lower probabilities to cooperate are better off which leads to a continuous decrease of the readiness to cooperate in the population until cooperative behavior vanishes.

The sample simulation shows the time evolution of the readiness to cooperate in a well-mixed population playing the Prisoner's Dilemma when starting with a mean initial propensity to cooperate of 99% in a population of 10'000 individuals.
<br style="clear:both" />
</div>

<div class="lab_description PDvsSD">
[[Image:Well-mixed Snowdrift Game (mixed strategies).png|left|200px]]
==== [[EvoLudoLab: Intermediate readiness to cooperate in the Snowdrift Game with mixed strategies|Snowdrift Game: intermediate readiness to cooperate]] ====
In the Snowdrift or Hawk-Dove game the success of mutant strategies depends on the current state/composition of the population. The mean readiness to cooperate eventually approaches an intermediate value as specified by the fixed point <math>x_3</math>.

The sample simulation shows the time evolution of the readiness to cooperate in a well-mixed population playing the Snowdrift or Hawk-Dove game when starting with an initial mean propensity to cooperate of 1% in a population of 10'000 individuals.
<br style="clear:both" />
</div>

===Notes for mixed strategy simulations===
In individual based simulations, mutations lead to some variance in the strategies present in the population and therefore the applets plot not only the mean propensity to cooperate but also the minimum and maximum values. Besides, in biologically motivated models it is reasonable to assume that mutations add only minor changes to the parental strategy. Therefore mutants are assigned a new strategy <math>q=p+s</math> where <math>p</math> is the parental strategy and <math>s</math> is a Gaussian distributed random variable with a small standard deviation. For small standard deviations the difference in payoffs for mutants and residents becomes very small. This can result in an enormous slowing down of the simulations because the reproductive success is proportional to <math>P_q-P_p</math>. To avoid this we set the reproductive success proportional to <math>(1+\exp[(P_q-P_p)/k])^{-1}</math> where <math>k</math> denotes a noise term. With this rule, small differences in payoffs are amplified for small <math>k</math> and in addition it introduces an interesting form of errors since worse performing individuals may still manage to reproduce with a small probability - which is certainly a reasonable assumption in an imperfect world. Strictly speaking this update rule no longer corresponds to the replicator equation but it still reproduces the essential results even quantitatively. The update rule of the players is one of the many parameters that can be changed in the ''EvoLudo'' simulator and you are encouraged to compare the two approaches.

==Dynamics of pure strategies==
In well-mixed populations the equilibrium fractions of cooperators and defectors are easily calculated using the replicator equation:

:<math>dx_i/dt= x_i (P_i - \bar P)</math>

where <math>x_i</math> denotes the frequency, <math>P_i</math> the payoff (fitness) of strategy <math>i</math> and <math>\bar P</math> the average population payoff. The replicator equation simply states that the success of a strategy depends on its relative performance in the population. Therefore, strategies with a higher than average payoff will spread. In a population with a fraction of <math>x</math> cooperators and <math>y=1-x</math> defectors the replicator equation reduces to

:<math>dx/dt = x(1-x)(P_c-P_d)</math>

where <math>P_c</math> and <math>P_d</math> denote the average payoffs of cooperators and defectors, respectively. The above equation has three equilibria: two trivial ones with <math>x_1=0</math> and <math>x_2=1</math> as well as a non-trivial one for <math>P_c=P_d</math> which leads to

:<math>x R+(1-x) S = x T+(1-x)P</math>

:<math>x_3 = (S-P)/(T+S-R-P).</math>

The stability of all three equilibrium points is easily obtained by checking <math>dx/dt</math> near the equilibium points: <math>x_1=0</math> is stable if <math>P > S</math>, <math>x_2=1</math> stable if <math>R > T</math> and <math>x_3</math> is stable if <math>S > P</math> and <math>T > R</math>, i.e. whenever both <math>x_1</math> and <math>x_2</math> are unstable.

Instead of referring to the fraction of cooperators, <math>x</math> may equally refer to the propensity of cooperation in a continuous strategy space ([[#Dynamics of mixed strategies|see next section]] and [[#Mixed strategies|examples above]]). This equivalent interpretation leaves the above calculations and conclusions unaffected but it does affect the individual based simulations. In particular, we need to introduce mutations. The replicator equation then determines the fate of a rare mutant <math>y</math> when competing against the resident <math>x</math>. If the mutation is favorable the mutant will spread and usually displace the resident.

==Dynamics of mixed strategies==

For the pure strategies, to cooperate or to defect, the [[#Dynamics of pure strategies|above analysis]] has shown that the replicator dynamics up to three equilibria: The homogenous states <math>x_1=0</math> and <math>x_2=1</math> with all defectors or all cooperators, respectively, as well as potentially a mixed equilibrium <math>x_3=(S-P)/(T+S-R-P)</math> where cooperators and defectors may co-exist provided that <math>x_3</math> lies in <math>(0,1)</math>.

Essentially the same results hold for well-mixed populations adopting mixed strategies, i.e. if every individual cooperates with a certain probability <math>p</math>. This propensity to cooperate <math>p</math> evolves towards one of the fixed points derived for pure strategies. To illustrate this, consider a homogenous population where all individuals cooperate with probability <math>p</math>. The fate of a rare mutant <math>q</math> is then given by

:<math>dm/dt = m(P_q-\bar P)</math>

where <math>m</math> denotes the frequency of the mutant and <math>\bar P</math> the average population payoff. Since the mutant strategy is rare this can be approximated by

:<math>dm/dt = m(P_q-P_p)</math>

which means the mutant can invade whenever <math>P_q-P_p>0</math>. Again for small <math>m</math> we obtain <math>P_q = p q R + p(1-q)S+(1-p)q T+(1-p)(1-q) P</math> and similalry <math>P_p = p q R + p(1-q)S+(1-p)q T + (1-p)(1-q) P</math>. Thus, <math>q</math> successfully invades whenever

:<math>(q - p)[p(R-T)+(1-p)(S-P)] > 0</math>

holds. This result can now be applied to the Prisoner's Dilemma and Snowdrift or Hawk-Dove games. The Prisoner's Dilemma is characterized by <math>T>R>P>S</math> and therefore the expression in square brackets is always negative. Consequentially, any mutant with <math>q<p</math> can invade and take over the population (the latter can be derived from the first equation which is not restricted to rare mutants). Thus, in the long run, the propensity to cooperate converges to <math>x_1 = 0</math> - just as in the pure strategy case.

The argument for the Snowdrift or Hawk-Dove game is slighlty more complicated. Because of the payoff ranking <math>T>R>S>P</math> the expression in square brackets can be both positive or negative, depending on the value of <math>p</math>. It switches sign for

:<math>p=(S-P)/(T-R+S-P)=x_3.</math>

For simplicity let us consider only mutants with arbitrarily small deviations from the resident strategy <math>p</math>. It follows that for <math>p<x_3</math>, a mutant with a slightly higher <math>q</math> can invade but if <math>p>x_3</math> only mutants with slightly lower <math>q</math> can invade. Thus, eventually the propensity to cooperate in the population converges to <math>x_3</math> - again as in the case of pure strategies.

Note that the above argument is easily generalized to random, arbitrarily large mutations but then one can no longer assume homogenous resident populations. Rather, the resident population may consist of a mixture of two strategies <math>p, p'</math>, with <math>p<x_3<p'</math>. But then the mutant <math>q</math> either satisfies the conditions for invasion for <math>p</math> and <math>p'</math> or for neither of them.

[[Category:Tutorial]]
[[Category:Christoph Hauert]]