Diffusion approximations for one-locus multi
Transcription
Diffusion approximations for one-locus multi
Diffusion approximations for one-locus multi-allele kin selection, mutation and random drift in group-structured populations: A unifying approach to selection models in population genetics Sabin Lessard, Université de Montréal In memory of Sam Karlin 1 Introduction 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Diffusion approximations for one-locus multi-allele kin selection, mutation and random drift in group-structured populations: A unifying approach to selection models in population genetics Sabin Lessard, Université de Montréal In memory of Sam Karlin • Historical perspectives • Population structure • Diffusion approximation • Inclusive fitness formulation • Concluding remarks ... and further results! 2 Introduction 2-ième Congrès France-Québec UQAM 1-5 juin 2008 3 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Fundamental Theorem of Natural Selection The rate of increase in fitness of any organism at any time is equal to its genetic variance in fitness at that time. (Fisher 1930, p.35) 4 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Fundamental Theorem of Natural Selection The rate of increase in fitness of any organism at any time is equal to its genetic variance in fitness at that time. (Fisher 1930, p.35) I 5 Partial change in mean fitness (Price 1972, Ewens 1989, Lessard 1997) Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Fundamental Theorem of Natural Selection The rate of increase in fitness of any organism at any time is equal to its genetic variance in fitness at that time. (Fisher 1930, p.35) 6 I Partial change in mean fitness (Price 1972, Ewens 1989, Lessard 1997) I Increase of mean fitness under weak selection (Nagylaki 1976, 1977, 1987, 1989, 1993) Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Group selection The average adaptiveness of the species thus advances under intergroup selection, an enormously more effective process than intragroup selection. (Wright 1932) 7 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Group selection The average adaptiveness of the species thus advances under intergroup selection, an enormously more effective process than intragroup selection. (Wright 1932) By all odds the most important cases of interdeme selection are those in which the character that increases the probability of survival of the deme as a unit is itself being selected against within the population. (Lewontin 1965) 8 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Kin selection Species ... should tend to evolve behaviour such that each organism appears to be attempting to maximize its inclusive fitness. (Hamilton 1964) 9 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Kin selection Species ... should tend to evolve behaviour such that each organism appears to be attempting to maximize its inclusive fitness. (Hamilton 1964) WJ = 1 + ∑ ρJ→I eJ→I I for some coefficient of relatedness ρJ→I 10 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Evolutionarily stable strategy Roughly, an ESS is a strategy such that, if most of the members of a population adopt it, there is no ”mutant” strategy that would give higher reproductive fitness. (Maynard Smith and Price 1973) 11 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Evolutionarily stable strategy Roughly, an ESS is a strategy such that, if most of the members of a population adopt it, there is no ”mutant” strategy that would give higher reproductive fitness. (Maynard Smith and Price 1973) Stable state of the replicator dynamics (Taylor & Jonker 1978) ẋk = xk ((Hx)k − x · Hx) for a game matrix H = khkl k, and conversely if H symmetric. 12 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Evolutionary stability for finite populations For finite N, we propose that B is an ESS ... if two conditions hold: (1) selection opposes A invading B,... and (2) selection opposes A replacing B. (Nowak et al. 2004) 13 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Evolutionary stability for finite populations For finite N, we propose that B is an ESS ... if two conditions hold: (1) selection opposes A invading B,... and (2) selection opposes A replacing B. (Nowak et al. 2004) P(fixation of single A among N genes) < 14 Historical perspectives 1 N 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Questions 15 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Questions • Does an inclusive fitness make sense in finite populations? • What are the roles of inbreeding and group selection? • What coefficients of relatedness come into play? • What is the relationship with game dynamics? 16 Historical perspectives 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Population structure 17 Population structure 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Population structure D groups of N mating pairs of diploid individuals L alleles A1 , ..., AL at a single locus zi (t) frequency of ordered group type (Ai,1 , ..., Ai,4N ) in generation t ≥ 0 for i = 1, ..., L4N 18 Population structure 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Life cycle 19 Population structure 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Life cycle Reproduction: infinite number of offspring 20 Population structure 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Life cycle Reproduction: infinite number of offspring Selection: viability of Ak Al in a group of type i σ kl,i wkl,i = 1 + 4ND with scaled selection coefficient σkl,i = hkl + v̄i 21 Population structure 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Migration: 22 Population structure 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Migration: • Proportional dispersal '$ 1 mw̄i &% 23 Population structure mw̄i '$ 9 &% 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Migration: • Proportional dispersal '$ 1 mw̄i &% mw̄i '$ 9 &% • Uniform dispersal '$ 1 mw̄i &% 24 Population structure # mw̄ 9 "! 2-ième Congrès France-Québec UQAM 1-5 juin 2008 • Local extinction and recolonization '$ w̄i 3 1−m '$ w̄i Q &% Q Q m Q Q &% w̄i '$ s Q 9 &% 25 Population structure 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Mating: after migration or before migration 26 Population structure 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Mating: after migration or before migration Mutation: from Ak to Al with probability ukl = 27 Population structure µkl 4ND 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Mating: after migration or before migration Mutation: from Ak to Al with probability ukl = µkl 4ND Sampling: group of type j from type i with probability PD ij (z(t)) 28 Population structure 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Key Lemma 29 Diffusion approximation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Key Lemma When D = ∞, there is uniform convergence of the frequency zj (t + 1) = ∑i zi (t)Pij (z(t)) to ẑj (x) = ∑r cj (r)x1r1 · ... · xLrL with cj (r) the number of ways for a group of type j to have rk unrelated ancestral genes Ak and xk the frequency of Ak . 30 Diffusion approximation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Proof: Coalescent approach 31 Diffusion approximation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Diffusion approximation 32 Diffusion approximation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Diffusion approximation The allele frequency process X(b4NDτc) converges weakly when D → ∞ to a diffusion with infinitesimal covariances akl (x, 0) = Cxk (δkl − xl ) for some coefficient of diffusion C, and infinitesimal means bk (x, 0) = ∑ µlk xl − ∑ µkl xk + xk ((Hx)k − x · Hx) l l for some fitness matrix H. 33 Diffusion approximation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Proof: Two-time scale MC (Ethier and Nagylaki 1980) Ez (∆Xk ) = bk (x, y) + o(D−1 ) 4ND Ez ((∆Xk )(∆Xl )) = akl (x, y) + o(D−1 ) 4ND Ez ((∆Xk )4 ) = o(D−1 ) Ez (∆Yj ) = cj (x, y) + o(1), Varz (∆Yj ) = o(1) uniformly in z, where y = z − ẑ and cj (x, y) = ∑i zi Pij (z) − zj 34 Diffusion approximation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Inclusive fitness formulation 35 Inclusive fitness formulation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Inclusive fitness formulation With proportional dispersal before mating: •• H = k(1 − fJ )σkl• + fJ σkk k where • • vkl hkl + mρJ→I σkl• = hkl − (1 − m)ρJ→I •• •• •• σkk = hkk − (1 − m)ρJ→I hkk + mρJ→I vkk • •• given with coefficients of relatedness ρJ→I and ρJ→I that J is allozygous or autozygous, respectively, and inbreeding coefficient fJ 36 Inclusive fitness formulation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 • Uniform dispersal before mating: stronger group selection (1 − m)2 instead of (1 − m) 37 Inclusive fitness formulation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 • Uniform dispersal before mating: stronger group selection (1 − m)2 instead of (1 − m) • Proportional or uniform dispersal after mating: smaller size C = (1 − fJ + 4m(2 − m)fJ ) instead of C = (1 − fJ ) 38 Inclusive fitness formulation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 • Uniform dispersal before mating: stronger group selection (1 − m)2 instead of (1 − m) • Proportional or uniform dispersal after mating: smaller size C = (1 − fJ + 4m(2 − m)fJ ) instead of C = (1 − fJ ) • Local extinction before mating: like proportional dispersal but with larger C if and only if 4Nm > 1 39 Inclusive fitness formulation 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Concluding remarks 40 Concluding remarks 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Concluding remarks I 41 A diffusion approximation for selection, mutation and drift in group-structured populations as the number of groups increases can be ascertained by a two-time scale argument. Concluding remarks 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Concluding remarks 42 I A diffusion approximation for selection, mutation and drift in group-structured populations as the number of groups increases can be ascertained by a two-time scale argument. I With interactions within groups, the selection drift functions can be expressed in terms of scaled inclusive fitnesses for allozygous and autozygous individuals, giving the entries of an inclusive fitness matrix H. Concluding remarks 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Concluding remarks 43 I A diffusion approximation for selection, mutation and drift in group-structured populations as the number of groups increases can be ascertained by a two-time scale argument. I With interactions within groups, the selection drift functions can be expressed in terms of scaled inclusive fitnesses for allozygous and autozygous individuals, giving the entries of an inclusive fitness matrix H. I Competition within groups is the result of population regulation; competition between groups the result of dispersal or colonization. Inbreeding only affects the coefficient of diffusion and the coefficients of relatedness. Concluding remarks 2-ième Congrès France-Québec UQAM 1-5 juin 2008 I 44 Without interaction or without inbreeding, H is symmetric like in the classical viability model for a random mating population (Kimura 1964). In general, H is a sum of a symmetric matrix and a rank one matrix. Concluding remarks 2-ième Congrès France-Québec UQAM 1-5 juin 2008 45 I Without interaction or without inbreeding, H is symmetric like in the classical viability model for a random mating population (Kimura 1964). In general, H is a sum of a symmetric matrix and a rank one matrix. I In the case of an infinite number of groups with the inverse of the intensity of selection s as unit of time as s → 0 and without mutation, the deterministic dynamics is described by the replicator equation with H as game matrix. Concluding remarks 2-ième Congrès France-Québec UQAM 1-5 juin 2008 46 I Without interaction or without inbreeding, H is symmetric like in the classical viability model for a random mating population (Kimura 1964). In general, H is a sum of a symmetric matrix and a rank one matrix. I In the case of an infinite number of groups with the inverse of the intensity of selection s as unit of time as s → 0 and without mutation, the deterministic dynamics is described by the replicator equation with H as game matrix. I The approach leads to sampling formulas and it can be used to study the evolution of cooperation. Concluding remarks 2-ième Congrès France-Québec UQAM 1-5 juin 2008 THE END! 47 Concluding remarks 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Evolution of cooperation 48 Further results 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Evolution of cooperation I A diffusion approximation holds for any scaled selection coefficients depending on the individual genotype and the group type, e.g., σkl,i = (hkl , 1 − hkl ) · A(h̄i , 1 − h̄i ) with generalized conditional coefficients of relatedness between two or more individuals. 49 Further results 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Evolution of cooperation I A diffusion approximation holds for any scaled selection coefficients depending on the individual genotype and the group type, e.g., σkl,i = (hkl , 1 − hkl ) · A(h̄i , 1 − h̄i ) with generalized conditional coefficients of relatedness between two or more individuals. I 50 Is tit-for-tat replacing always to defect in the repeated Prisoner’s dilemma (Nowak et al. 2004) made easier in group-structured populations? (in preparation) Further results 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Sampling formulas 51 Further results 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Sampling formulas I With groups of N haploid individuals dispersing at rate m, the equilibrium frequencies when D = ∞ depend on N! k! ∏ki=1 ni ! mN 1−m k T ∑∏ (ri,t ) t=1 " (1 − m)rt N [rt+1 ] ∏ki=1 Sri,t ri,t+1 # N rt − (1 − m)rt N [rt ] the probability for a focal group to have k labeled migrant ancestors having n1 , ..., nk descendants (Lessard 2007). 52 Further results 2-ième Congrès France-Québec UQAM 1-5 juin 2008 Sampling formulas I With groups of N haploid individuals dispersing at rate m, the equilibrium frequencies when D = ∞ depend on N! k! ∏ki=1 ni ! mN 1−m k T ∑∏ (ri,t ) t=1 " (1 − m)rt N [rt+1 ] ∏ki=1 Sri,t ri,t+1 # N rt − (1 − m)rt N [rt ] the probability for a focal group to have k labeled migrant ancestors having n1 , ..., nk descendants (Lessard 2007). I 53 This extends Ewens’s (1972) sampling formula for the infinitely-many-alleles model to an exact Wright-Fisher population! Further results 2-ième Congrès France-Québec UQAM 1-5 juin 2008 THANKS! 54 Further results 2-ième Congrès France-Québec UQAM 1-5 juin 2008