-
Evolution with recombination as a Metropolis-Hastings sampling procedure
Authors:
Jenny M. Poulton,
Lee Altenberg,
Chris Watkins
Abstract:
This work presents a population genetic model of evolution, which includes haploid selection, mutation, recombination, and drift. The mutation-selection equilibrium can be expressed exactly in closed form for arbitrary fitness functions without resorting to diffusion approximations. Tractability is achieved by generating new offspring using n-parent rather than 2-parent recombination. While this e…
▽ More
This work presents a population genetic model of evolution, which includes haploid selection, mutation, recombination, and drift. The mutation-selection equilibrium can be expressed exactly in closed form for arbitrary fitness functions without resorting to diffusion approximations. Tractability is achieved by generating new offspring using n-parent rather than 2-parent recombination. While this enforces linkage equilibrium among offspring, it allows analysis of the whole population under linkage disequilibrium. We derive a general and exact relationship between fitness fluctuations and response to selection. Our assumptions allow analytical calculation of the stationary distribution of the model for a variety of non-trivial fitness functions. These results allow us to speak to genetic architecture, i.e., what stationary distributions result from different fitness functions. This paper presents methods for exactly deriving stationary states for finite and infinite populations. This method can be applied to many fitness functions, and we give exact calculations for four of these. These results allow us to investigate metastability, tradeoffs between fitness functions, and even consider error-correcting codes
△ Less
Submitted 24 February, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
The Evolution of Imitation Without Cultural Transmission
Authors:
Lee Altenberg,
Susanne Still,
Christopher J. Watkins
Abstract:
The evolution and function of imitation have always been placed within the confines of animal learning and associated with its crucial role in cultural transmission and cultural evolution. Can imitation evolve as a form of phenotypic plasticity in the absence of cultural transmission, in phenotypes beyond behavior?
We investigate a model in which imitation is unbundled from cultural transmission…
▽ More
The evolution and function of imitation have always been placed within the confines of animal learning and associated with its crucial role in cultural transmission and cultural evolution. Can imitation evolve as a form of phenotypic plasticity in the absence of cultural transmission, in phenotypes beyond behavior?
We investigate a model in which imitation is unbundled from cultural transmission: an organism's adult phenotype is plastically altered by its experiences as a juvenile of other juveniles' genetically determined traits. The only information transmitted between generations is genetic.
We find that during a period of directional selection towards a phenotypic optimum, natural selection favors modifiers which cause an organism to bias its plastic phenotype in the direction opposite to the mean phenotype of the population -- anti-imitation. As the population approaches the phenotypic optimum and shifts into stabilizing selection, selection on the modifier reverses and favors strong imitation of the population mean. Imitation can evolve to overshoot the target and produce an evolutionary pathology where mean fitness decreases. When purifying selection for an extreme phenotype is modeled, only selection for anti-imitation occurs, even at a mutation-selection balance.
Imitation and anti-imitation emerge from these models in the absence of any goal representation, cognitive understanding of its purpose, or discernment of any kind. These theoretical outcomes are all novel evolutionary and biological phenomena, and we discuss their implications.
△ Less
Submitted 21 October, 2021; v1 submitted 20 July, 2021;
originally announced July 2021.
-
Nonconcavity of the Spectral Radius in Levinger's Theorem
Authors:
Lee Altenberg,
Joel E. Cohen
Abstract:
Let ${\bf A} \in R^{n \times n}$ be a nonnegative irreducible square matrix and let $r({\bf A})$ be its spectral radius and Perron-Frobenius eigenvalue. Levinger asserted and several have proven that $r(t):=r((1{-}t) {\bf A} + t {\bf A}^\top)$ increases over $t \in [0,1/2]$ and decreases over $t \in [1/2,1]$. It has further been stated that $r(t)$ is concave over $t \in (0,1)$. Here we show that t…
▽ More
Let ${\bf A} \in R^{n \times n}$ be a nonnegative irreducible square matrix and let $r({\bf A})$ be its spectral radius and Perron-Frobenius eigenvalue. Levinger asserted and several have proven that $r(t):=r((1{-}t) {\bf A} + t {\bf A}^\top)$ increases over $t \in [0,1/2]$ and decreases over $t \in [1/2,1]$. It has further been stated that $r(t)$ is concave over $t \in (0,1)$. Here we show that the latter claim is false in general through a number of counterexamples, but prove it is true for ${\bf A} \in R^{2\times 2}$, weighted shift matrices (but not cyclic weighted shift matrices), tridiagonal Toeplitz matrices, and the 3-parameter Toeplitz matrices from Fiedler, but not Toeplitz matrices in general. A general characterization of the range of $t$, or the class of matrices, for which the spectral radius is concave in Levinger's homotopy remains an open problem.
△ Less
Submitted 19 August, 2020; v1 submitted 6 July, 2020;
originally announced July 2020.
-
From genotypes to organisms: State-of-the-art and perspectives of a cornerstone in evolutionary dynamics
Authors:
Susanna Manrubia,
José A. Cuesta,
Jacobo Aguirre,
Sebastian E. Ahnert,
Lee Altenberg,
Alejandro V. Cano,
Pablo Catalán,
Ramon Diaz-Uriarte,
Santiago F. Elena,
Juan Antonio García-Martín,
Paulien Hogeweg,
Bhavin S. Khatri,
Joachim Krug,
Ard A. Louis,
Nora S. Martin,
Joshua L. Payne,
Matthew J. Tarnowski,
Marcel Weiß
Abstract:
Understanding how genotypes map onto phenotypes, fitness, and eventually organisms is arguably the next major missing piece in a fully predictive theory of evolution. We refer to this generally as the problem of the genotype-phenotype map. Though we are still far from achieving a complete picture of these relationships, our current understanding of simpler questions, such as the structure induced…
▽ More
Understanding how genotypes map onto phenotypes, fitness, and eventually organisms is arguably the next major missing piece in a fully predictive theory of evolution. We refer to this generally as the problem of the genotype-phenotype map. Though we are still far from achieving a complete picture of these relationships, our current understanding of simpler questions, such as the structure induced in the space of genotypes by sequences mapped to molecular structures, has revealed important facts that deeply affect the dynamical description of evolutionary processes. Empirical evidence supporting the fundamental relevance of features such as phenotypic bias is mounting as well, while the synthesis of conceptual and experimental progress leads to questioning current assumptions on the nature of evolutionary dynamics-cancer progression models or synthetic biology approaches being notable examples. This work delves into a critical and constructive attitude in our current knowledge of how genotypes map onto molecular phenotypes and organismal functions, and discusses theoretical and empirical avenues to broaden and improve this comprehension. As a final goal, this community should aim at deriving an updated picture of evolutionary processes soundly relying on the structural properties of genotype spaces, as revealed by modern techniques of molecular and functional analysis.
△ Less
Submitted 17 March, 2021; v1 submitted 2 February, 2020;
originally announced February 2020.
-
An Extension of the Rayleigh Quotient to the Spectral Radius of Asymmetric Nonnegative Matrices
Authors:
Lee Altenberg
Abstract:
The Rayleigh quotient, which provides the classical variational characterization of the spectral radius of Hermitian matrices, can be extended to nonsymmetric nonnegative irreducible matrices, ${\bf A}$, by the inclusion of a diagonal similarity scaling, to yield the variational formula…
▽ More
The Rayleigh quotient, which provides the classical variational characterization of the spectral radius of Hermitian matrices, can be extended to nonsymmetric nonnegative irreducible matrices, ${\bf A}$, by the inclusion of a diagonal similarity scaling, to yield the variational formula $r({\bf A}) = \sup_{{\bf x} > {\bf 0}} \inf_{{\bf y} > {\bf 0}} {\bf x}^\top {\bf D_y A D_y}^{-1} {\bf x}/({\bf x}^\top {\bf x})$, where ${\bf D_y}$ is the diagonal matrix of the vector ${\bf y}$. Comparison is made to other variational formulae for the spectral radius.
△ Less
Submitted 29 December, 2019;
originally announced December 2019.
-
Thermodynamic Computing
Authors:
Tom Conte,
Erik DeBenedictis,
Natesh Ganesh,
Todd Hylton,
John Paul Strachan,
R. Stanley Williams,
Alexander Alemi,
Lee Altenberg,
Gavin Crooks,
James Crutchfield,
Lidia del Rio,
Josh Deutsch,
Michael DeWeese,
Khari Douglas,
Massimiliano Esposito,
Michael Frank,
Robert Fry,
Peter Harsha,
Mark Hill,
Christopher Kello,
Jeff Krichmar,
Suhas Kumar,
Shih-Chii Liu,
Seth Lloyd,
Matteo Marsili
, et al. (14 additional authors not shown)
Abstract:
The hardware and software foundations laid in the first half of the 20th Century enabled the computing technologies that have transformed the world, but these foundations are now under siege. The current computing paradigm, which is the foundation of much of the current standards of living that we now enjoy, faces fundamental limitations that are evident from several perspectives. In terms of hard…
▽ More
The hardware and software foundations laid in the first half of the 20th Century enabled the computing technologies that have transformed the world, but these foundations are now under siege. The current computing paradigm, which is the foundation of much of the current standards of living that we now enjoy, faces fundamental limitations that are evident from several perspectives. In terms of hardware, devices have become so small that we are struggling to eliminate the effects of thermodynamic fluctuations, which are unavoidable at the nanometer scale. In terms of software, our ability to imagine and program effective computational abstractions and implementations are clearly challenged in complex domains. In terms of systems, currently five percent of the power generated in the US is used to run computing systems - this astonishing figure is neither ecologically sustainable nor economically scalable. Economically, the cost of building next-generation semiconductor fabrication plants has soared past $10 billion. All of these difficulties - device scaling, software complexity, adaptability, energy consumption, and fabrication economics - indicate that the current computing paradigm has matured and that continued improvements along this path will be limited. If technological progress is to continue and corresponding social and economic benefits are to continue to accrue, computing must become much more capable, energy efficient, and affordable. We propose that progress in computing can continue under a united, physically grounded, computational paradigm centered on thermodynamics. Herein we propose a research agenda to extend these thermodynamic foundations into complex, non-equilibrium, self-organizing systems and apply them holistically to future computing systems that will harness nature's innate computational capacity. We call this type of computing "Thermodynamic Computing" or TC.
△ Less
Submitted 14 November, 2019; v1 submitted 5 November, 2019;
originally announced November 2019.
-
Physical Limitations of Work Extraction from Temporal Correlations
Authors:
Elan Stopnitzky,
Susanne Still,
Thomas E. Ouldridge,
Lee Altenberg
Abstract:
Recently proposed information-exploiting systems designed to extract work from a single heat bath utilize temporal correlations on an input tape. We study how enforcing time-continuous dynamics, which is necessary to ensure the device is physically realizable, constrains possible designs and drastically diminishes efficiency. We show that these problems can be circumvented by means of applying an…
▽ More
Recently proposed information-exploiting systems designed to extract work from a single heat bath utilize temporal correlations on an input tape. We study how enforcing time-continuous dynamics, which is necessary to ensure the device is physically realizable, constrains possible designs and drastically diminishes efficiency. We show that these problems can be circumvented by means of applying an external, time-varying protocol. This turns the device from a "passive", free-running machine into an "actively" driven one.
△ Less
Submitted 18 August, 2018;
originally announced August 2018.
-
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities
Authors:
Joel Lehman,
Jeff Clune,
Dusan Misevic,
Christoph Adami,
Lee Altenberg,
Julie Beaulieu,
Peter J. Bentley,
Samuel Bernard,
Guillaume Beslon,
David M. Bryson,
Patryk Chrabaszcz,
Nick Cheney,
Antoine Cully,
Stephane Doncieux,
Fred C. Dyer,
Kai Olav Ellefsen,
Robert Feldt,
Stephan Fischer,
Stephanie Forrest,
Antoine Frénoy,
Christian Gagné,
Leni Le Goff,
Laura M. Grabowski,
Babak Hodjat,
Frank Hutter
, et al. (28 additional authors not shown)
Abstract:
Biological evolution provides a creative fount of complex and subtle adaptations, often surprising the scientists who discover them. However, because evolution is an algorithmic process that transcends the substrate in which it occurs, evolution's creativity is not limited to nature. Indeed, many researchers in the field of digital evolution have observed their evolving algorithms and organisms su…
▽ More
Biological evolution provides a creative fount of complex and subtle adaptations, often surprising the scientists who discover them. However, because evolution is an algorithmic process that transcends the substrate in which it occurs, evolution's creativity is not limited to nature. Indeed, many researchers in the field of digital evolution have observed their evolving algorithms and organisms subverting their intentions, exposing unrecognized bugs in their code, producing unexpected adaptations, or exhibiting outcomes uncannily convergent with ones in nature. Such stories routinely reveal creativity by evolution in these digital worlds, but they rarely fit into the standard scientific narrative. Instead they are often treated as mere obstacles to be overcome, rather than results that warrant study in their own right. The stories themselves are traded among researchers through oral tradition, but that mode of information transmission is inefficient and prone to error and outright loss. Moreover, the fact that these stories tend to be shared only among practitioners means that many natural scientists do not realize how interesting and lifelike digital organisms are and how natural their evolution can be. To our knowledge, no collection of such anecdotes has been published before. This paper is the crowd-sourced product of researchers in the fields of artificial life and evolutionary computation who have provided first-hand accounts of such cases. It thus serves as a written, fact-checked collection of scientifically important and even entertaining stories. In doing so we also present here substantial evidence that the existence and importance of evolutionary surprises extends beyond the natural world, and may indeed be a universal property of all complex evolving systems.
△ Less
Submitted 21 November, 2019; v1 submitted 9 March, 2018;
originally announced March 2018.
-
Fundamental Properties of the Evolution of Mutational Robustness
Authors:
Lee Altenberg
Abstract:
Evolution on neutral networks of genotypes has been found in models to concentrate on genotypes with high mutational robustness, to a degree determined by the topology of the network. Here analysis is generalized beyond neutral networks to arbitrary selection and parent-offspring transmission. In this larger realm, geometric features determine mutational robustness: the alignment of fitness with t…
▽ More
Evolution on neutral networks of genotypes has been found in models to concentrate on genotypes with high mutational robustness, to a degree determined by the topology of the network. Here analysis is generalized beyond neutral networks to arbitrary selection and parent-offspring transmission. In this larger realm, geometric features determine mutational robustness: the alignment of fitness with the orthogonalized eigenvectors of the mutation matrix weighted by their eigenvalues. "House of cards" mutation is found to preclude the evolution of mutational robustness. Genetic load is shown to increase with increasing mutation in arbitrary single and multiple locus fitness landscapes. The rate of decrease in population fitness can never grow as mutation rates get higher, showing that "error catastrophes" for genotype frequencies never cause precipitous losses of population fitness. The "inclusive inheritance" approach taken here naturally extends these results to a new concept of dispersal robustness.
△ Less
Submitted 31 August, 2015;
originally announced August 2015.
-
Statistical Problems in a Paper on Variation In Cancer Risk Among Tissues, and New Discoveries
Authors:
Lee Altenberg
Abstract:
Tomasetti and Vogelstein (2015) collected data on 31 different tissue types and found a correlation of 0.8 between the logarithms of the incidence of cancer (LCI), and the estimated number of stem cell divisions in those tissues (LSCD). Some of their conclusions however are statistically erroneous. Their excess risk score, "ERS" (log10 LCI x log10 LSCD), is non-monotonic under a change of time uni…
▽ More
Tomasetti and Vogelstein (2015) collected data on 31 different tissue types and found a correlation of 0.8 between the logarithms of the incidence of cancer (LCI), and the estimated number of stem cell divisions in those tissues (LSCD). Some of their conclusions however are statistically erroneous. Their excess risk score, "ERS" (log10 LCI x log10 LSCD), is non-monotonic under a change of time units for the rates, which renders meaningless the results derived from it, including a cluster of 22 "R-tumor" types for which they conclude, "primary prevention measures are not likely to be very effective". Further, r = 0.8 is consistent with the three orders of magnitude variation in other unmeasured factors, leaving room for the possibility of primary prevention if such factors can be intervened upon. Further exploration of the data reveals additional findings: (1) that LCI grows at approximately the square root of LSCD, which may provide a clue to the biology; (2) among different possible combinations of the primary data, the one maximizing the correlations with LCI is almost precisely the formula used by Tomasetti and Vogelstein to estimate LSCD, giving support to stem cell divisions as an independent factor in carcinogenesis, while not excluding other such factors.
△ Less
Submitted 19 January, 2015;
originally announced January 2015.
-
Implications of the Reduction Principle for Cosmological Natural Selection
Authors:
Lee Altenberg
Abstract:
Smolin (1992) proposed that the fine-tuning problem for parameters of the Standard Model might be accounted for by a Darwinian process of universe reproduction - Cosmological Natural Selection (CNS) - in which black holes give rise to offspring universes with slightly altered parameters. The laws for variation and inheritance of the parameters are also subject to CNS if variation in transmission l…
▽ More
Smolin (1992) proposed that the fine-tuning problem for parameters of the Standard Model might be accounted for by a Darwinian process of universe reproduction - Cosmological Natural Selection (CNS) - in which black holes give rise to offspring universes with slightly altered parameters. The laws for variation and inheritance of the parameters are also subject to CNS if variation in transmission laws occurs. This is the strategy introduced by Nei (1967) to understand genetic transmission, through the evolutionary theory of modifier genes, whose methodology is adopted here. When mechanisms of variation themselves vary, they are subject to Feldman's (1972) evolutionary Reduction Principle that selection favors greater faithfulness of replication. A theorem of Karlin (1982) allows one to generalize this principle beyond biological genetics to the unknown inheritance laws that would operate in CNS. The reduction principle for CNS is illustrated with a general multitype branching process model of universe creation containing competing inheritance laws. The most faithful inheritance law dominates the ensemble of universes. The Reduction Principle thus provides a mechanism to account for high fidelity of inheritance between universes. Moreover, it reveals that natural selection in the presence of variation in inheritance mechanisms has two distinct objects: maximization of both fitness and faithful inheritance. Tradeoffs between fitness and faithfulness open the possibility that evolved fundamental parameters are compromises, and not local optima to maximize universe production, in which case their local non-optimality may point to their involvement in the universe inheritance mechanisms.
△ Less
Submitted 20 February, 2013; v1 submitted 6 February, 2013;
originally announced February 2013.
-
On the Ordering of Spectral Radius Product r(A) r(AD) Versus r(A^2 D) and Related Applications
Authors:
Lee Altenberg
Abstract:
For a nonnegative matrix A and real diagonal matrix D, two known inequalities on the spectral radius, r(A^2 D^2) >= r(AD)^2 and r(A) r(A D^2) >= r(AD)^2, leave open the question of what determines the order of r(A^2 D^2) with respect to r(A) r(A D^2). This is a special case of a broad class of problems that arise repeatedly in ecological and evolutionary dynamics. Here, sufficient conditions are f…
▽ More
For a nonnegative matrix A and real diagonal matrix D, two known inequalities on the spectral radius, r(A^2 D^2) >= r(AD)^2 and r(A) r(A D^2) >= r(AD)^2, leave open the question of what determines the order of r(A^2 D^2) with respect to r(A) r(A D^2). This is a special case of a broad class of problems that arise repeatedly in ecological and evolutionary dynamics. Here, sufficient conditions are found on A that determine orders in either direction. For a diagonally symmetrizable nonnegative matrix A with all positive eigenvalues and nonnegative D, r(A^2 D) <= r(A) r(AD). The reverse holds if all of the eigenvalues of A are negative besides the Perron root. This is a particular case of the more general result that r(A [(1-m) r(B) I + m B] D) is monotonic in m when all non-Perron eigenvalues of A have the same sign --- decreasing for positive signs and increasing for negative signs, for symmetrizable nonnegative A and B that commute. Commuting matrices include the Kronecker products A, B in {\otimes_{i=1}^L M_i^{t_i}}, t_i in {0, 1, 2, ...}, which comprise a class of application for these results. This machinery allows analysis of the sign of d/d m_j r({\otimes_{i=1}^L[(1-m_i) r(A_i) I_i + m_i A_i]}D). The eigenvalue sign conditions also provide lower or upper bounds to the harmonic mean of the expected sojourn times of Markov chains. These inequalities appear in the asymptotic growth rates of viral quasispecies, models for the evolution of dispersal in random environments, and the evolution of site-specific mutation rates over the entire genome.
△ Less
Submitted 18 April, 2013; v1 submitted 21 January, 2013;
originally announced January 2013.
-
A Sharpened Condition for Strict Log-Convexity of the Spectral Radius via the Bipartite Graph
Authors:
Lee Altenberg
Abstract:
Friedland (1981) showed that for a nonnegative square matrix A, the spectral radius r(e^D A) is a log-convex functional over the real diagonal matrices D. He showed that for fully indecomposable A, log r(e^D A) is strictly convex over D_1, D_2 if and only if D_1-D_2 != c I for any c \in R. Here the condition of full indecomposability is shown to be replaceable by the weaker condition that A and A'…
▽ More
Friedland (1981) showed that for a nonnegative square matrix A, the spectral radius r(e^D A) is a log-convex functional over the real diagonal matrices D. He showed that for fully indecomposable A, log r(e^D A) is strictly convex over D_1, D_2 if and only if D_1-D_2 != c I for any c \in R. Here the condition of full indecomposability is shown to be replaceable by the weaker condition that A and A'A be irreducible, which is the sharpest possible replacement condition. Irreducibility of both A and A'A is shown to be equivalent to irreducibility of A^2 and A'A, which is the condition for a number of strict inequalities on the spectral radius found in Cohen, Friedland, Kato, and Kelly (1982). Such `two-fold irreducibility' is equivalent to joint irreducibility of A, A^2, A'A, and AA', or in combinatorial terms, equivalent to the directed graph of A being strongly connected and the simple bipartite graph of A being connected. Additional ancillary results are presented.
△ Less
Submitted 7 November, 2012; v1 submitted 5 August, 2012;
originally announced August 2012.
-
Resolvent Positive Linear Operators Exhibit the Reduction Phenomenon
Authors:
Lee Altenberg
Abstract:
The spectral bound, s(a A + b V), of a combination of a resolvent positive linear operator A and an operator of multiplication V, was shown by Kato to be convex in b \in R. This is shown here, through an elementary lemma, to imply that s(a A + b V) is also convex in a > 0, and notably, \partial s(a A + b V) / \partial a <= s(A) when it exists. Diffusions typically have s(A) <= 0, so that for diffu…
▽ More
The spectral bound, s(a A + b V), of a combination of a resolvent positive linear operator A and an operator of multiplication V, was shown by Kato to be convex in b \in R. This is shown here, through an elementary lemma, to imply that s(a A + b V) is also convex in a > 0, and notably, \partial s(a A + b V) / \partial a <= s(A) when it exists. Diffusions typically have s(A) <= 0, so that for diffusions with spatially heterogeneous growth or decay rates, greater mixing reduces growth. Models of the evolution of dispersal in particular have found this result when A is a Laplacian or second-order elliptic operator, or a nonlocal diffusion operator, implying selection for reduced dispersal. These cases are shown here to be part of a single, broadly general, `reduction' phenomenon.
△ Less
Submitted 4 September, 2011; v1 submitted 23 August, 2011;
originally announced August 2011.
-
The Evolution of Dispersal in Random Environments and The Principle of Partial Control
Authors:
Lee Altenberg
Abstract:
McNamara and Dall (2011) identified novel relationships between the abundance of a species in different environments, the temporal properties of environmental change, and selection for or against dispersal. Here, the mathematics underlying these relationships in their two-environment model are investigated for arbitrary numbers of environments. The effect they described is quantified as the fitnes…
▽ More
McNamara and Dall (2011) identified novel relationships between the abundance of a species in different environments, the temporal properties of environmental change, and selection for or against dispersal. Here, the mathematics underlying these relationships in their two-environment model are investigated for arbitrary numbers of environments. The effect they described is quantified as the fitness-abundance covariance. The phase in the life cycle where the population is censused is crucial for the implications of the fitness-abundance covariance. These relationships are shown to connect to the population genetics literature on the Reduction Principle for the evolution of genetic systems and migration. Conditions that produce selection for increased unconditional dispersal are found to be new instances of departures from reduction described by the "Principle of Partial Control" proposed for the evolution of modifier genes. According to this principle, variation that only partially controls the processes that transform the transmitted information of organisms may be selected to increase these processes. Mathematical methods of Karlin, Friedland, and Elsner, Johnson, and Neumann, are central in generalizing the analysis. Analysis of the adaptive landscape of the model shows that the evolution of conditional dispersal is very sensitive to the spectrum of genetic variation the population is capable of producing, and suggests that empirical study of particular species will require an evaluation of its variational properties.
△ Less
Submitted 22 June, 2011;
originally announced June 2011.
-
Karlin Theory On Growth and Mixing Extended to Linear Differential Equations
Authors:
Lee Altenberg
Abstract:
Karlin's (1982) Theorem 5.2 shows that linear systems alternating between growth and mixing phases have lower asymptotic growth with greater mixing. Here this result is extended to linear differential equations that combine site-specific growth or decay rates, and mixing between sites, showing that the spectral abscissa of a matrix D + m A decreases with m, where D does-not-equal c I is a real dia…
▽ More
Karlin's (1982) Theorem 5.2 shows that linear systems alternating between growth and mixing phases have lower asymptotic growth with greater mixing. Here this result is extended to linear differential equations that combine site-specific growth or decay rates, and mixing between sites, showing that the spectral abscissa of a matrix D + m A decreases with m, where D does-not-equal c I is a real diagonal matrix, A is an irreducible matrix with non-negative off-diagonal elements (an ML- or essentially non-negative matrix), and m >= 0. The result is based on the inequality: u' A v < r(A), where u and v are the left and right Perron vectors of the matrix D + A, and r(A) is the spectral abscissa and Perron root of A. The result gives an analytic solution to prior work that relied on two-site or numerical simulation of models of growth and mixing, such as source and sink ecological models, or multiple tissue compartment models of microbe growth. The result has applications to the Lyapunov stability of perturbations in nonlinear systems.
△ Less
Submitted 16 June, 2010;
originally announced June 2010.
-
Proof of the Feldman-Karlin Conjecture on the Maximum Number of Equilibria in an Evolutionary System
Authors:
Lee Altenberg
Abstract:
Feldman and Karlin conjectured that the number of isolated fixed points for deterministic models of viability selection and recombination among n possible haplotypes has an upper bound of 2^n - 1. Here a proof is provided. The upper bound of 3^{n-1} obtained by Lyubich et al. (2001) using Bezout's Theorem (1779) is reduced here to 2^n through a change of representation that reduces the third-ord…
▽ More
Feldman and Karlin conjectured that the number of isolated fixed points for deterministic models of viability selection and recombination among n possible haplotypes has an upper bound of 2^n - 1. Here a proof is provided. The upper bound of 3^{n-1} obtained by Lyubich et al. (2001) using Bezout's Theorem (1779) is reduced here to 2^n through a change of representation that reduces the third-order polynomials to second order. A further reduction to 2^n - 1 is obtained using the homogeneous representation of the system, which yields always one solution `at infinity'. While the original conjecture was made for systems of viability selection and recombination, the results here generalize to viability selection with any arbitrary system of bi-parental transmission, which includes recombination and mutation as special cases. An example is constructed of a mutation-selection system that has 2^n - 1 fixed points given any n, which shows that 2^n - 1 is the sharpest possible upper bound that can be found for the general space of selection and transmission coefficients.
△ Less
Submitted 23 March, 2010; v1 submitted 12 October, 2009;
originally announced October 2009.
-
An Evolutionary Reduction Principle for Mutation Rates at Multiple Loci
Authors:
Lee Altenberg
Abstract:
A model of mutation rate evolution for multiple loci under arbitrary selection is analyzed. Results are obtained using techniques from Karlin (1982) that overcome the weak selection constraints needed for tractability in prior studies of multilocus event models. A multivariate form of the reduction principle is found: reduction results at individual loci combine topologically to produce a surface…
▽ More
A model of mutation rate evolution for multiple loci under arbitrary selection is analyzed. Results are obtained using techniques from Karlin (1982) that overcome the weak selection constraints needed for tractability in prior studies of multilocus event models. A multivariate form of the reduction principle is found: reduction results at individual loci combine topologically to produce a surface of mutation rate alterations that are neutral for a new modifier allele. New mutation rates survive if and only if they fall below this surface - a generalization of the hyperplane found by Zhivotovsky et al. (1994) for a multilocus recombination modifier. Increases in mutation rates at some loci may evolve if compensated for by decreases at other loci. The strength of selection on the modifier scales in proportion to the number of germline cell divisions, and increases with the number of loci affected. Loci that do not make a difference to marginal fitnesses at equilibrium are not subject to the reduction principle, and under fine tuning of mutation rates would be expected to have higher mutation rates than loci in mutation-selection balance. Other results include the nonexistence of 'viability analogous, Hardy-Weinberg' modifier polymorphisms under multiplicative mutation, and the sufficiency of average transmission rates to encapsulate the effect of modifier polymorphisms on the transmission of loci under selection. A conjecture is offered regarding situations, like recombination in the presence of mutation, that exhibit departures from the reduction principle. Constraints for tractability are: tight linkage of all loci, initial fixation at the modifier locus, and mutation distributions comprising transition probabilities of reversible Markov chains.
△ Less
Submitted 18 August, 2010; v1 submitted 13 September, 2009;
originally announced September 2009.
-
The Evolutionary Reduction Principle for Linear Variation in Genetic Transmission
Authors:
Lee Altenberg
Abstract:
The evolution of genetic systems has been analyzed through the use of modifier gene models, in which a neutral gene is posited to control the transmission of other genes under selection. Analysis of modifier gene models has found the manifestations of an "evolutionary reduction principle": in a population near equilibrium, a new modifier allele that scales equally all transition probabilities be…
▽ More
The evolution of genetic systems has been analyzed through the use of modifier gene models, in which a neutral gene is posited to control the transmission of other genes under selection. Analysis of modifier gene models has found the manifestations of an "evolutionary reduction principle": in a population near equilibrium, a new modifier allele that scales equally all transition probabilities between different genotypes under selection can invade if and only if it reduces the transition probabilities. Analytical results on the reduction principle have always required some set of constraints for tractability: limitations to one or two selected loci, two alleles per locus, specific selection regimes or weak selection, specific genetic processes being modified, extreme or infinitesimal effects of the modifier allele, or tight linkage between modifier and selected loci. Here, I prove the reduction principle in the absence of any of these constraints, confirming a twenty-year old conjecture. The proof is obtained by a wider application of Karlin's Theorem 5.2 (1982) and its extension to ML-matrices, substochastic matrices, and reducible matrices.
△ Less
Submitted 12 June, 2008;
originally announced June 2008.
-
Simon-Ando Decomposability and Fitness Landscapes
Authors:
Max Shpak,
Peter Stadler,
Gunter Wagner,
Lee Altenberg
Abstract:
In this paper, we investigate fitness landscapes (under point mutation and recombination) from the standpoint of whether the induced evolutionary dynamics have a "fast-slow" time scale associated with the differences in relaxation time between local quasi-equilibria and the global equilibrium. This dynamical behavior has been formally described in the econometrics literature in terms of the spec…
▽ More
In this paper, we investigate fitness landscapes (under point mutation and recombination) from the standpoint of whether the induced evolutionary dynamics have a "fast-slow" time scale associated with the differences in relaxation time between local quasi-equilibria and the global equilibrium. This dynamical behavior has been formally described in the econometrics literature in terms of the spectral properties of the appropriate operator matrices by Simon and Ando (1961), and we use the relations they derive to ask which fitness functions and mutation/recombination operators satisfy these properties. It turns out that quite a wide range of landscapes satisfy the condition (at least trivially) under point mutation given a sufficiently low mutation rate, while the property appears to be difficult to satisfy under genetic recombination. In spite of the fact that Simon-Ando decomposability can be realized over fairly wide range of parameters, it imposes a number of restrictions on which landscape partitionings are possible. For these reasons, the Simon-Ando formalism doesn't appear to be applicable to other forms of decomposition and aggregation of variables that are important in evolutionary systems.
△ Less
Submitted 22 March, 2004;
originally announced March 2004.
