[Paper Review] Two-level Fisher-Wright framework with selection and migration: An approach to studying evolution in group structured populations

Roberto H. Schonmann, Renato Vicente+1 more|arXiv (Cornell University)|Jun 23, 2011

Evolutionary Game Theory and Cooperation79 references3 citations

TL;DR

This paper introduces a two-level Fisher-Wright framework with selection and migration to model evolution in group-structured populations, using multitype branching processes to analyze the early spread of an altruistic gene. The key contribution is a generalized Hamilton's rule based on the Perron-Frobenius eigenvalue of a fitness transition matrix, which determines altruism viability without requiring pairwise interactions, linearity, or weak selection.

ABSTRACT

A framework for the mathematical modeling of evolution in group structured populations is introduced. The population is divided into a fixed large number of groups of fixed size. From generation to generation, new groups are formed that descend from previous groups, through a two-level Fisher-Wright process, with selection between groups and within groups and with migration between groups at rate $m$. When $m=1$, the framework reduces to the often used trait-group framework, so that our setting can be seen as an extension of that approach. Our framework allows the analysis of previously introduced models in which altruists and non-altruists compete, and provides new insights into these models. We focus on the situation in which initially there is a single altruistic allele in the population, and no further mutations occur. The main questions are conditions for the viability of that altruistic allele to spread, and the fashion in which it spreads when it does. Because our results and methods are rigorous, we see them as shedding light on various controversial issues in this field, including the role of Hamilton's rule, and of the Price equation, the relevance of linearity in fitness functions and the need to only consider pairwise interactions, or weak selection. In this paper we analyze the early stages of the evolution, during which the number of altruists is small compared to the size of the population. We show that during this stage the evolution is well described by a multitype branching process. The driving matrix for this process can be obtained, reducing the problem of determining when the altruistic gene is viable to a comparison between the leading eigenvalue of that matrix, and the fitness of the non-altruists before the altruistic gene appeared. This leads to a generalization of Hamilton's condition for the viability of a mutant gene.

Motivation & Objective

• To develop a mathematically rigorous framework for studying evolution in group-structured populations with selection and migration.
• To resolve controversies in kin selection and group selection by analyzing the viability of a newly arisen altruistic allele without further mutations.
• To generalize Hamilton’s rule beyond pairwise, additive, or weakly selected interactions, applicable to multi-individual group dynamics.
• To provide a gene’s-eye view of altruism spread through neighbor-modulated fitness and viability criteria based on eigenvalues.
• To demonstrate that conditional altruistic strategies—like generalized tit-for-tat in iterated public goods games—can enable altruism to spread even under high migration and low relatedness.

Proposed method

• Model a population as a fixed number of groups of fixed size, evolving via a two-level Fisher-Wright process with inter- and intra-group selection.
• Introduce migration between groups at rate $ m $, with $ m=1 $ reducing to the trait-group framework.
• Analyze the early evolutionary phase when altruist numbers are small using a multitype branching process approximation.
• Construct a driving matrix for the branching process whose leading eigenvalue determines the fate of the altruistic allele.
• Derive a generalized viability condition based on comparing the Perron-Frobenius eigenvalue of the fitness matrix to the fitness of non-altruists pre-mutation.
• Use neighbor-modulated fitness and the Price equation to interpret the generalized rule from a gene’s-eye perspective.

Experimental results

Research questions

• RQ1 Under what conditions can an altruistic allele spread in a group-structured population with migration and selection?
• RQ2 How does the generalized Hamilton’s rule derived here differ from the classical version in its assumptions and applicability?
• RQ3 Can altruism spread under high migration rates and low genetic relatedness, particularly when cooperation is conditional on group history?
• RQ4 What role does the structure of group interactions—especially non-pairwise, repeated, or threshold-based interactions—play in the viability of altruism?
• RQ5 How do assumptions of conditional independence in relatedness (as in [7]) lead to overly pessimistic predictions compared to the actual dynamics in group-structured models?

Key findings

• The viability of an altruistic gene is determined by whether the leading eigenvalue of the fitness transition matrix exceeds the fitness of non-altruists before the mutation.
• The generalized Hamilton’s rule reduces to the classical form only under conditions of linearity in fitness functions and pairwise interactions.
• In iterated public goods games with conditional strategies (e.g., generalized tit-for-tat), the critical relatedness $ \widetilde{R}^{0}_{s} $ needed for altruism to spread can be substantially lower than $ C/B $, especially when group size is large and selection is weak.
• When selection is weak and groups are large, the generalized viability condition simplifies significantly, enabling analytical tractability.
• The assumption of conditional independence in relatedness (as in [7]) leads to a flawed prediction that $ \widetilde{R}^{0}_{s} = C/B $, which overestimates the required relatedness and fails to account for increasing relatedness through sequential group member dependencies.
• In the limit of large group size and large number of repeated interactions $ T $, $ \widetilde{R}^{0}_{s} \to \widehat{R} $, the baseline relatedness in the group, indicating that altruism can persist even under high migration when cooperation is history-dependent.