Towards a Runtime Comparison of Natural and Artificial Evolution

Evolutionary algorithms (EAs) form a popular optimisation paradigm inspired by natural evolution. In recent years the field of evolutionary computation has developed a rigorous analytical theory to analyse the runtimes of EAs on many illustrative problems. Here we apply this theory to a simple model of natural evolution. In the Strong Selection Weak Mutation (SSWM) evolutionary regime the time between occurrences of new mutations is much longer than the time it takes for a mutated genotype to take over the population. In this situation, the population only contains copies of one genotype and evolution can be modelled as a stochastic process evolving one genotype by means of mutation and selection between the resident and the mutated genotype. The probability of accepting the mutated genotype then depends on the change in fitness. We study this process, SSWM, from an algorithmic perspective, quantifying its expected optimisation time for various parameters and investigating differences to a similar evolutionary algorithm, the well-known (1+1) EA. We show that SSWM can have a moderate advantage over the (1+1) EA at crossing fitness valleys and study an example where SSWM outperforms the (1+1) EA by taking advantage of information on the fitness gradient

On the Analysis of Simple Genetic Programming for Evolving Boolean Functions

This work presents a first step towards a systematic time and space complexity analysis of genetic programming (GP) for evolving functions with desired input/output behaviour. Two simple GP algorithms, called (1+1) GP and (1+1) GP*, equipped with minimal function (F) and terminal (L) sets are considered for evolving two standard classes of Boolean functions. It is rigorously proved that both algorithms are efficient for the easy problem of evolving conjunctions of Boolean variables with the minimal sets. However, if an extra function (i.e. NOT) is added to F, then the algorithms require at least exponential time to evolve the conjunction of n variables. On the other hand, it is proved that both algorithms fail at evolving the difficult parity function in polynomial time with probability at least exponentially close to 1. Concerning generalisation, it is shown how the quality of the evolved conjunctions depends on the size of the training set s while the evolved exclusive disjunctions generalize equally badly independent of s

Semantic closure demonstrated by the evolution of a universal constructor architecture in an artificial chemistry

We present a novel stringmol-based artificial chemistry system modelled on the universal constructor architecture (UCA) first explored by von Neumann. In a UCA, machines interact with an abstract description of themselves to replicate by copying the abstract description and constructing the machines that the abstract description encodes. DNA-based replication follows this architecture, with DNA being the abstract description, the polymerase being the copier, and the ribosome being the principal machine in expressing what is encoded on the DNA. This architecture is semantically closed as the machine that defines what the abstract description means is itself encoded on that abstract description. We present a series of experiments with the stringmol UCA that show the evolution of the meaning of genomic material, allowing the concept of semantic closure and transitions between semantically closed states to be elucidated in the light of concrete examples. We present results where, for the first time in an in silico system, simultaneous evolution of the genomic material, copier and constructor of a UCA, giving rise to viable offspring

Operator theory and function theory in Drury-Arveson space and its quotients

The Drury-Arveson space $H^2_d$, also known as symmetric Fock space or the $d$-shift space, is a Hilbert function space that has a natural $d$-tuple of operators acting on it, which gives it the structure of a Hilbert module. This survey aims to introduce the Drury-Arveson space, to give a panoramic view of the main operator theoretic and function theoretic aspects of this space, and to describe the universal role that it plays in multivariable operator theory and in Pick interpolation theory.Comment: Final version (to appear in Handbook of Operator Theory); 42 page

A Runtime Analysis of Parallel Evolutionary Algorithms in Dynamic Optimization

A simple island model with λλ islands and migration occurring after every ττ iterations is studied on the dynamic fitness function Maze. This model is equivalent to a (1+λ)(1+λ) EA if τ=1τ=1 , i. e., migration occurs during every iteration. It is proved that even for an increased offspring population size up to λ=O(n1−ϵ)λ=O(n1−ϵ) , the (1+λ)(1+λ) EA is still not able to track the optimum of Maze. If the migration interval is chosen carefully, the algorithm is able to track the optimum even for logarithmic λλ . The relationship of τ,λτ,λ , and the ability of the island model to track the optimum is then investigated more closely. Finally, experiments are performed to supplement the asymptotic results, and investigate the impact of the migration topology

Characterisation of the pathogenic effects of the in vivo expression of an ALS-linked mutation in D-amino acid oxidase: Phenotype and loss of spinal cord motor neurons

Amyotrophic lateral sclerosis (ALS) is the most common adult-onset neuromuscular disorder characterised by selective loss of motor neurons leading to fatal paralysis. Current therapeutic approaches are limited in their effectiveness. Substantial advances in understanding ALS disease mechanisms has come from the identification of pathogenic mutations in dominantly inherited familial ALS (FALS). We previously reported a coding mutation in D-amino acid oxidase (DAOR199W) associated with FALS. DAO metabolises D-serine, an essential co-agonist at the N-Methyl-D-aspartic acid glutamate receptor subtype (NMDAR). Using primary motor neuron cultures or motor neuron cell lines we demonstrated that expression of DAOR199W, promoted the formation of ubiquitinated protein aggregates, activated autophagy and increased apoptosis. The aim of this study was to characterise the effects of DAOR199W in vivo, using transgenic mice overexpressing DAOR199W. Marked abnormal motor features, e.g. kyphosis, were evident in mice expressing DAOR199W, which were associated with a significant loss (19%) of lumbar spinal cord motor neurons, analysed at 14 months. When separated by gender, this effect was greater in females (26%; p< 0.0132). In addition, we crossed the DAOR199W transgenic mouse line with the SOD1G93A mouse model of ALS to determine whether the effects of SOD1G93A were potentiated in the double transgenic line (DAOR199W/SOD1G93A). Although overall survival was not affected, onset of neurological signs was significantly earlier in female double transgenic animals than their female SOD1G93A littermates (125 days vs 131 days, P = 0.0239). In summary, some significant in vivo effects of DAOR199W on motor neuron function (i.e. kyphosis and loss of motor neurons) were detected which were most marked in females and could contribute to the earlier onset of neurological signs in double transgenic females compared to SOD1G93A littermates, highlighting the importance of recognizing gender effects present in animal models of ALS

Atomic structures of TDP-43 LCD segments and insights into reversible or pathogenic aggregation.

The normally soluble TAR DNA-binding protein 43 (TDP-43) is found aggregated both in reversible stress granules and in irreversible pathogenic amyloid. In TDP-43, the low-complexity domain (LCD) is believed to be involved in both types of aggregation. To uncover the structural origins of these two modes of β-sheet-rich aggregation, we have determined ten structures of segments of the LCD of human TDP-43. Six of these segments form steric zippers characteristic of the spines of pathogenic amyloid fibrils; four others form LARKS, the labile amyloid-like interactions characteristic of protein hydrogels and proteins found in membraneless organelles, including stress granules. Supporting a hypothetical pathway from reversible to irreversible amyloid aggregation, we found that familial ALS variants of TDP-43 convert LARKS to irreversible aggregates. Our structures suggest how TDP-43 adopts both reversible and irreversible β-sheet aggregates and the role of mutation in the possible transition of reversible to irreversible pathogenic aggregation

Discrete Information from CHL Black Holes

AdS_2/CFT_1 correspondence predicts that the logarithm of a Z_N twisted index over states carrying a fixed set of charges grows as 1/N times the entropy of the black hole carrying the same set of charges. In this paper we verify this explicitly by calculating the microscopic Z_N twisted index for a class of states in the CHL models. This demonstrates that black holes carry more information about the microstates than just the total degeneracy.Comment: LaTeX file, 24 pages; v2: references adde

A Twist in the Dyon Partition Function

In four dimensional string theories with N=4 and N=8 supersymmetries one can often define twisted index in a subspace of the moduli space which captures additional information on the partition function than the ones contained in the usual helicity trace index. We compute several such indices in type IIB string theory on K3 x T^2 and T^6, and find that they share many properties with the usual helicity trace index that captures the spectrum of quarter BPS states in N=4 supersymmetric string theories. In particular the partition function is a modular form of a subgroup of Sp(2,Z) and the jumps across the walls of marginal stability are controlled by the residues at the poles of the partition function. However for large charges the logarithm of this index grows as 1/n times the entropy of a black hole carrying the same charges where n is the order of the symmetry generator that is used to define the twisted index. We provide a macroscopic explanation of this phenomenon using quantum entropy function formalism. The leading saddle point corresponding to the attractor geometry fails to contribute to the twisted index, but a Z_n orbifold of the attractor geometry produces the desired contribution.Comment: LaTeX file, 35 pages; v2: references adde

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente