# Hypercycle (chemistry)

In chemistry, a hypercycle is an abstract model of organization of self-replicating molecules connected in a cyclic, autocatalytic manner. It was introduced in an ordinary differential equation (ODE) form by the Nobel Prize in Chemistry winner Manfred Eigen in 1967 and subsequently further extended in collaboration with Peter Schuster. It was proposed as a solution to the error threshold problem encountered during modelling of replicative molecules that hypothetically existed on the primordial Earth (see: abiogenesis). As such, it explained how life on Earth could have begun using only relatively short genetic sequences, which in theory were too short to store all essential information. The hypercycle is a special case of the replicator equation. The most important properties of hypercycles are autocatalytic growth competition between cycles, once-for-ever selective behaviour, utilization of small selective advantage, rapid evolvability, increased information capacity, and selection against parasitic branches.

## Central ideas

The hypercycle is a cycle of connected, self-replicating macromolecules. In the hypercycle, all molecules are linked such that each of them catalyses the creation of its successor, with the last molecule catalysing the first one. In such a manner, the cycle reinforces itself. Furthermore, each molecule is additionally a subject for self-replication. The resultant system is a new level of self-organization that incorporates both cooperation and selfishness. The coexistence of many genetically non-identical molecules makes it possible to maintain a high genetic diversity of the population. This can be a solution to the error threshold problem, which states that, in a system without ideal replication, an excess of mutation events would destroy the ability to carry information and prevent the creation of larger and fitter macromolecules. Moreover, it has been shown that hypercycles could originate naturally and that incorporating new molecules can extend them. Hypercycles are also subject to evolution and, as such, can undergo a selection process. As a result, not only does the system gain information, but its information content can be improved. From an evolutionary point of view, the hypercycle is an intermediate state of self-organization, but not the final solution.
Over the years, the hypercycle theory has experienced many reformulations and methodological approaches. Among them, the most notable are applications of partial differential equations, cellular automata, and stochastic formulations of Eigen's problem. Despite many advantages that the concept of hypercycles presents, there were also some problems regarding the traditional model formulation using ODEs: a vulnerability to parasites and a limited size of stable hypercycles. In 2012, the first experimental proof for the emergence of a cooperative network among fragments of self-assembling ribozymes was published, demonstrating their advantages over self-replicating cycles. However, even though this experiment proves the existence of cooperation among the recombinase ribozyme subnetworks, this cooperative network does not form a hypercycle per se, so we still lack the experimental demonstration of hypercycles.

## Model formulation
### Model evolution

* 1971 (1971): Eigen introduces the hypercycle concept
* 1977 (1977): Eigen and Schuster extend the hypercycle concept, propose a hypercycle theory and introduce the concept of quasispecies
* 1982 (1982): Discovery of ribozyme catalytic properties
* 2001 (2001): Partial RNA polymerase ribozyme is designed via directed evolution
* 2012 (2012): Experimental demonstration that ribozymes can form collectively autocatalytic sets

### Error threshold problem

When a model of replicating molecules was created, it was found that, for effective storage of information, macromolecules on prebiotic Earth could not exceed a certain threshold length. This problem is known as the error threshold problem. It arises because replication is an imperfect process, and during each replication event, there is a risk of incorporating errors into a new sequence, leading to the creation of a quasispecies. In a system that is deprived of high-fidelity replicases and error-correction mechanisms, mutations occur with a high probability. As a consequence, the information stored in a sequence can be lost due to the rapid accumulation of errors, a so-called error catastrophe. Moreover, it was shown that the genome size of any organism is roughly equal to the inverse of mutation rate per site per replication. Therefore, a high mutation rate imposes a serious limitation on the length of the genome. To overcome this problem, a more specialized replication machinery that is able to copy genetic information with higher fidelity is needed. Manfred Eigen suggested that proteins are necessary to accomplish this task. However, to encode a system as complex as a protein, longer nucleotide sequences are needed, which increases the probability of a mutation even more and requires even more complex replication machinery. John Maynard Smith and Eörs Szathmáry named this vicious circle Eigen's Paradox.
According to current estimations, the maximum length of a replicated chain that can be correctly reproduced and maintained in enzyme-free systems is about 100 bases, which is assumed to be insufficient to encode replication machinery. This observation was the motivation for the formulation of the hypercycle theory.

### Models

It was suggested that the problem with building and maintaining larger, more complex, and more accurately replicated molecules can be circumvented if several information carriers, each of them storing a small piece of information, are connected such that they only control their own concentration. Studies of the mathematical model describing replicating molecules revealed that to observe a cooperative behaviour among self-replicating molecules, they have to be connected by a positive feedback loop of catalytic actions. This kind of closed network consisting of self-replicating entities connected by a catalytic positive-feedback loop was named an elementary hypercycle. Such a concept, apart from an increased information capacity, has another advantage. Linking self-replication with mutual catalysis can produce nonlinear growth of the system. This, first, makes the system resistant to so-called parasitic branches. Parasitic branches are species coupled to a cycle that do not provide any advantage to the reproduction of a cycle, which, in turn, makes them useless and decreases the selective value of the system. Secondly, it reinforces the self-organization of molecules into the hypercycle, allowing the system to evolve without losing information, which solves the error threshold problem.
Analysis of potential molecules that could form the first hypercycles in nature prompted the idea of coupling an information carrier function with enzymatic properties. At the time of the hypercycle theory formulation, enzymatic properties were attributed only to proteins, while nucleic acids were recognized only as carriers of information. This led to the formulation of a more complex model of a hypercycle with translation. The proposed model consists of a number of nucleotide sequences I (I stands for intermediate) and the same number of polypeptide chains E (E stands for enzyme). Sequences I have a limited chain length and carry the information necessary to build catalytic chains E. The sequence I$_i$ provides the matrix to reproduce itself and a matrix to build the protein E$_i$. The protein E$_i$ gives the catalytic support to build the next sequence in the cycle, I$_{i+1}$. The self-replicating sequences I form a cycle consisting of positive and negative strands that periodically reproduce themselves. Therefore, many cycles of the +/− nucleotide collectives are linked together by the second-order cycle of enzymatic properties of E, forming a catalytic hypercycle. Without the secondary loop provided by catalysis, I chains would compete and select against each other instead of cooperating. The reproduction is possible thanks to translation and polymerization functions encoded in I chains. In his principal work, Manfred Eigen stated that the E coded by the I chain can be a specific polymerase or an enhancer (or a silencer) of a more general polymerase acting in favour of formation of the successor of nucleotide chain I. Later, he indicated that a general polymerase leads to the death of the system. Moreover, the whole cycle must be closed, so that E$_n$ must catalyse I$_1$ formation for some integer n > 1.

### Alternative concepts

During their research, Eigen and Schuster also considered types of protein and nucleotide coupling other than hypercycles. One such alternative was a model with one replicase that performed polymerase functionality and that was a translational product of one of the RNA matrices existing among the quasispecies. This RNA-dependent RNA polymerase catalysed the replication of sequences that had specific motifs recognized by this replicase. The other RNA matrices, or just one of their strands, provided translational products which had specific anticodons and were responsible for unique assignment and transportation of amino acids.
Another concept devised by Eigen and Schuster was a model in which each RNA template's replication was catalysed by its own translational product; at the same time, this RNA template performed a transport function for one amino acid type. Existence of more than one such RNA template could make translation possible.
Nevertheless, in both alternative concepts, the system will not survive due to the internal competition among its constituents. Even if none of the constituents of such a system is selectively favoured, which potentially allows coexistence of all of the coupled molecules, they are not able to coevolve and optimize their properties. In consequence, the system loses its internal stability and cannot live on. The reason for inability to survive is the lack of mutual control of constituent abundances.

## Mathematical model
### Elementary hypercycle

The dynamics of the elementary hypercycle can be modelled using the following differential equation:
    ${\dot {x_{i}}}=x_{i}\left(k_{i}+\sum _{j}k_{i,j}x_{j}-{\frac {1}{x}}\phi \right)$
where
    ${\begin{aligned}x&=\sum _{i}x_{i},\\k_{i}&=f_{i}-d_{i}.\end{aligned}}$
In the equation above, x$_i$ is the concentration of template I$_i$; x is the total concentration of all templates; k$_i$ is the excess production rate of template I$_i$, which is a difference between formation f$_i$ by self-replication of the template and its degradation d$_i$, usually by hydrolysis; k$_{i,j}$ is the production rate of template I$_i$ catalysed by I$_j$; and φ is a dilution flux; which guarantees that the total concentration is constant. Production and degradation rates are expressed in numbers of molecules per time unit at unit concentration (x$_i$ = 1). Assuming that at high concentration x the term k$_i$ can be neglected, and, moreover, in the hypercycle, a template can be replicated only by itself and the previous member of the cycle, the equation can be simplified to:
    ${\dot {x_{i}}}=x_{i}\left(k_{i,i-1}x_{i-1}-{\frac {1}{x}}\phi \right)$
where according to the cyclic properties, it can be assumed that
    ${\begin{aligned}k_{i,0}&=k_{i,n},\\x_{0}&=x_{n}.\end{aligned}}$

### Hypercycle with translation

A hypercycle with translation consists of polynucleotides I$_i$ (with concentration x$_i$) and polypeptides E$_i$ (with concentration y$_i$). It is assumed that the kinetics of nucleotide synthesis follows a Michaelis–Menten-type reaction scheme in which the concentration of complexes cannot be neglected. During replication, molecules form complexes I$_i$E$_{i-1}$ (occurring with concentration z$_i$). Thus, the total concentration of molecules (x$_i$$^0$ and y$_i$$^0$) will be the sum of free molecules and molecules involved in a complex:
    ${\begin{aligned}x_{i}^{0}&=x_{i}+z_{i},\\y_{i}^{0}&=y_{i}+z_{i+1}.\end{aligned}}$
The dynamics of the hypercycle with translation can be described using a system of differential equations modelling the total number of molecules:
    ${\begin{aligned}{\dot {x}}_{i}^{0}&=f_{i}z_{i}-{\frac {x_{i}^{0}}{c_{I}}}\phi _{x},\\{\dot {y}}_{i}^{0}&=k_{i}x_{i}-{\frac {y_{i}^{0}}{c_{E}}}\phi _{y}\end{aligned}}$
where
    ${\begin{aligned}c_{I}&=\sum _{i}x_{i}^{0},\\c_{E}&=\sum _{i}y_{i}^{0}.\end{aligned}}$
In the above equations, c$_E$ and c$_I$ are total concentrations of all polypeptides and all polynucleotides, φ$_x$ and φ$_y$ are dilution fluxes, k$_i$ is the production rate of polypeptide E$_i$ translated from the polynucleotide I$_i$, and f$_i$ is the production rate of polynucleotide I$_i$ synthesised by the complex I$_i$E$_{i-1}$ (through replication and polymerization).
Coupling nucleic acids with proteins in such a model of hypercycle with translation demanded the proper model for the origin of translation code as a necessary condition for the origin of hypercycle organization. At the time of hypercycle theory formulation, two models for the origin of translation code were proposed by Crick and his collaborators. These were models stating that the first codons were constructed according to either an RRY or an RNY scheme, in which R stands for the purine base, Y for pyrimidine, and N for any base, with the latter assumed to be more reliable. Nowadays, it is assumed that the hypercycle model could be realized by utilization of ribozymes without the need for a hypercycle with translation, and there are many more theories about the origin of the genetic code.

## Evolution
### Formation of the first hypercycles

Eigen made several assumptions about conditions that led to the formation of the first hypercycles. Some of them were the consequence of the lack of knowledge about ribozymes, which were discovered a few years after the introduction of the hypercycle concept and negated Eigen's assumptions in the strict sense. The primary of them was that the formation of hypercycles had required the availability of both types of chains: nucleic acids forming a quasispecies population and proteins with enzymatic functions. Nowadays, taking into account the knowledge about ribozymes, it may be possible that a hypercycle's members were selected from the quasispecies population and the enzymatic function was performed by RNA. According to the hypercycle theory, the first primitive polymerase emerged precisely from this population. As a consequence, the catalysed replication could exceed the uncatalysed reactions, and the system could grow faster. However, this rapid growth was a threat to the emerging system, as the whole system could lose control over the relative amount of the RNAs with enzymatic function. The system required more reliable control of its constituents—for example, by incorporating the coupling of essential RNAs into a positive feedback loop. Without this feedback loop, the replicating system would be lost. These positive feedback loops formed the first hypercycles.
In the process described above, the fact that the first hypercycles originated from the quasispecies population (a population of similar sequences) created a significant advantage. One possibility of linking different chains I—which is relatively easy to achieve taking into account the quasispecies properties—is that the one chain I improves the synthesis of the similar chain I’. In this way, the existence of similar sequences I originating from the same quasispecies population promotes the creation of the linkage between molecules I and I’.

### Evolutionary dynamics

After formation, a hypercycle reaches either an internal equilibrium or a state with oscillating concentrations of each type of chain I, but with the total concentration of all chains remaining constant. In this way, the system consisting of all chains can be expressed as a single, integrated entity. During the formation of hypercycles, several of them could be present in comparable concentrations, but very soon, a selection of the hypercycle with the highest fitness value will take place. Here, the fitness value expresses the adaptation of the hypercycle to the environment, and the selection based on it is very sharp. After one hypercycle wins the competition, it is very unlikely that another one could take its place, even if the new hypercycle would be more efficient than the winner. Usually, even large fluctuations in the numbers of internal species cannot weaken the hypercycle enough to destroy it. In the case of a hypercycle, we can speak of one-for-ever selection, which is responsible for the existence of a unique translation code and a particular chirality.
The above-described idea of a hypercycle's robustness results from an exponential growth of its constituents caused by the catalytic support. However, Eörs Szathmáry and Irina Gladkih showed that an unconditional coexistence can be obtained even in the case of a non-enzymatic template replication that leads to a subexponential or a parabolic growth. This could be observed during the stages preceding a catalytic replication that are necessary for the formation of hypercycles. The coexistence of various non-enzymatically replicating sequences could help to maintain a sufficient diversity of RNA modules used later to build molecules with catalytic functions.
From the mathematical point of view, it is possible to find conditions required for cooperation of several hypercycles. However, in reality, the cooperation of hypercycles would be extremely difficult, because it requires the existence of a complicated multi-step biochemical mechanism or an incorporation of more than two types of molecules. Both conditions seem very improbable; therefore, the existence of coupled hypercycles is assumed impossible in practice.
Evolution of a hypercycle ensues from the creation of new components by the mutation of its internal species. Mutations can be incorporated into the hypercycle, enlarging it if, and only if, two requirements are satisfied. First, a new information carrier I$_{new}$ created by the mutation must be better recognized by one of the hypercycle's members I$_i$ than the chain I$_{i+1}$ that was previously recognized by it. Secondly, the new member I$_{new}$ of the cycle has to better catalyse the formation of the polynucleotide I$_{i+1}$ that was previously catalysed by the product of its predecessor I$_i$. In theory, it is possible to incorporate into the hypercycle mutations that do not satisfy the second condition. They would form parasitic branches that use the system for their own replication but do not contribute to the system as a whole. However, it was noticed that such mutants do not pose a threat to the hypercycle, because other constituents of the hypercycle grow nonlinearly, which prevents the parasitic branches from growing.

### Evolutionary dynamics: a mathematical model

According to the definition of a hypercycle, it is a nonlinear, dynamic system, and, in the simplest case, it can be assumed that it grows at a rate determined by a system of quadratic differential equations. Then, the competition between evolving hypercycles can be modelled using the differential equation:
    ${\dot {C_{l}}}=q_{l}C_{l}^{2}-C_{l}{\frac {\phi }{C}}$
where
    $C=\sum _{l}C_{l}.$
Here, C$_l$ is the total concentration of all polynucleotide chains belonging to a hypercycle H$_l$, C is the total concentration of polynucleotide chains belonging to all hypercycles, q$_l$ is the rate of growth, and φ is a dilution flux that guarantees that the total concentration is constant. According to the above model, in the initial phase, when several hypercycles exist, the selection of the hypercycle with the largest q$_l$ value takes place. When one hypercycle wins the selection and dominates the population, it is very difficult to replace it, even with a hypercycle with a much higher growth rate q.

## Compartmentalization and genome integration

Hypercycle theory proposed that hypercycles are not the final state of organization, and further development of more complicated systems is possible by enveloping the hypercycle in some kind of membrane. After evolution of compartments, a genome integration of the hypercycle can proceed by linking its members into a single chain, which forms a precursor of a genome. After that, the whole individualized and compartmentalized hypercycle can behave like a simple self-replicating entity. Compartmentalization provides some advantages for a system that has already established a linkage between units. Without compartments, genome integration would boost competition by limiting space and resources. Moreover, adaptive evolution requires the package of transmissible information for advantageous mutations in order not to aid less-efficient copies of the gene. The first advantage is that it maintains a high local concentration of molecules, which helps to locally increase the rate of synthesis. Secondly, it keeps the effect of mutations local, while at the same time affecting the whole compartment. This favours preservation of beneficial mutations, because it prevents them from spreading away. At the same time, harmful mutations cannot pollute the entire system if they are enclosed by the membrane. Instead, only the contaminated compartment is destroyed, without affecting other compartments. In that way, compartmentalization allows for selection for genotypic mutations. Thirdly, membranes protect against environmental factors because they constitute a barrier for high-weight molecules or UV irradiation. Finally, the membrane surface can work as a catalyst.
Despite the above-mentioned advantages, there are also potential problems connected to compartmentalized hypercycles. These problems include difficulty in the transport of ingredients in and out, synchronizing the synthesis of new copies of the hypercycle constituents, and division of the growing compartment linked to a packing problem.
In the initial works, the compartmentalization was stated as an evolutionary consequence of the hypercyclic organization. Carsten Bresch and coworkers raised an objection that hypercyclic organization is not necessary if compartments are taken into account. They proposed the so-called package model in which one type of a polymerase is sufficient and copies all polynucleotide chains that contain a special recognition motif. However, as pointed out by the authors, such packages are—contrary to hypercycles—vulnerable to deleterious mutations as well as a fluctuation abyss, resulting in packages that lack one of the essential RNA molecules. Eigen and colleagues argued that simple package of genes cannot solve the information integration problem and hypercycles cannot be simply replaced by compartments, but compartments may assist hypercycles. This problem, however, raised more objections, and Eörs Szathmáry and László Demeter reconsidered whether packing hypercycles into compartments is a necessary intermediate stage of the evolution. They invented a stochastic corrector model that assumed that replicative templates compete within compartments, and selective values of these compartments depend on the internal composition of templates. Numerical simulations showed that when stochastic effects are taken into account, compartmentalization is sufficient to integrate information dispersed in competitive replicators without the need for hypercycle organization. Moreover, it was shown that compartmentalized hypercycles are more sensitive to the input of deleterious mutations than a simple package of competing genes. Nevertheless, package models do not solve the error threshold problem that originally motivated the hypercycle.

## Ribozymes

At the time of the hypercycle theory formulation, ribozymes were not known. After the breakthrough of discovering RNA's catalytic properties in 1982, it was realized that RNA had the ability to integrate protein and nucleotide-chain properties into one entity. Ribozymes potentially serving as templates and catalysers of replication can be considered components of quasispecies that can self-organize into a hypercycle without the need to invent a translation process. In 2001, a partial RNA polymerase ribozyme was designed via directed evolution. Nevertheless, it was able to catalyse only a polymerization of a chain having the size of about 14 nucleotides, even though it was 200 nucleotides long. The most up-to-date version of this polymerase was shown in 2013. While it has an ability to catalyse polymerization of longer sequences, even of its own length, it cannot replicate itself due to a lack of sequence generality and its inability to transverse secondary structures of long RNA templates. However, it was recently shown that those limitations could in principle be overcome by the assembly of active polymerase ribozymes from several short RNA strands. In 2014, a cross-chiral RNA polymerase ribozyme was demonstrated. It was hypothesized that it offers a new mode of recognition between an enzyme and substrates, which is based on the shape of the substrate, and allows avoiding the Watson-Crick pairing and, therefore, may provide greater sequence generality. Various other experiments have shown that, besides bearing polymerase properties, ribozymes could have developed other kinds of evolutionarily useful catalytic activity such as synthase, ligase, or aminoacylase activities. Ribozymal aminoacylators and ribozymes with the ability to form peptide bonds might have been crucial to inventing translation. An RNA ligase, in turn, could link various components of quasispecies into one chain, beginning the process of a genome integration. An RNA with a synthase or a synthetase activity could be critical for building compartments and providing building blocks for growing RNA and protein chains as well as other types of molecules. Many examples of this kind of ribozyme are currently known, including a peptidyl transferase ribozyme, a ligase, and a nucleotide synthetase. A transaminoacylator described in 2013 has five nucleotides, which is sufficient for a trans-amino acylation reaction and makes it the smallest ribozyme that has been discovered. It supports a peptidyl-RNA synthesis that could be a precursor for the contemporary process of linking amino acids to tRNA molecules. An RNA ligase's catalytic domain, consisting of 93 nucleotides, proved to be sufficient to catalyse a linking reaction between two RNA chains. Similarly, an acyltransferase ribozyme 82 nucleotides long was sufficient to perform an acyltransfer reaction. Altogether, the results concerning the RNA ligase's catalytic domain and the acyltransferase ribozyme are in agreement with the estimated upper limit of 100 nucleotides set by the error threshold problem. However, it was hypothesized that even if the putative first RNA-dependent RNA-polymerases are estimated to be longer—the smallest reported up-to-date RNA-dependent polymerase ribozyme is 165 nucleotides long—they did not have to arise in one step. It is more plausible that ligation of smaller RNA chains performed by the first RNA ligases resulted in a longer chain with the desired catalytically active polymerase domain.
Forty years after the publication of Manfred Eigen's primary work dedicated to hypercycles, Nilesh Vaidya and colleagues showed experimentally that ribozymes can form catalytic cycles and networks capable of expanding their sizes by incorporating new members. However, this is not a demonstration of a hypercycle in accordance with its definition, but an example of a collectively autocatalytic set. Earlier computer simulations showed that molecular networks can arise, evolve and be resistant to parasitic RNA branches. In their experiments, Vaidya et al. used an Azoarcus group I intron ribozyme that, when fragmented, has an ability to self-assemble by catalysing recombination reactions in an autocatalytic manner. They mutated the three-nucleotide-long sequences responsible for recognition of target sequences on the opposite end of the ribozyme (namely, Internal Guide Sequences or IGSs) as well as these target sequences. Some genotypes could introduce cooperation by recognizing target sequences of the other ribozymes, promoting their covalent binding, while other selfish genotypes were only able to self-assemble. In separation, the selfish subsystem grew faster than the cooperative one. After mixing selfish ribozymes with cooperative ones, the emergence of cooperative behaviour in a merged population was observed, outperforming the self-assembling subsystems. Moreover, the selfish ribozymes were integrated into the network of reactions, supporting its growth. These results were also explained analytically by the ODE model and its analysis. They differ substantially from results obtained in evolutionary dynamics. According to evolutionary dynamics theory, selfish molecules should dominate the system even if the growth rate of the selfish subsystem in isolation is lower than the growth rate of the cooperative system. Moreover, Vaidya et al. proved that, when fragmented into more pieces, ribozymes that are capable of self-assembly can not only still form catalytic cycles but, indeed, favour them. Results obtained from experiments by Vaidya et al. gave a glimpse on how inefficient prebiotic polymerases, capable of synthesizing only short oligomers, could be sufficient at the pre-life stage to spark off life. This could happen because coupling the synthesis of short RNA fragments by the first ribozymal polymerases to a system capable of self-assembly not only enables building longer sequences but also allows exploiting the fitness space more efficiently with the use of the recombination process. Another experiment performed by Hannes Mutschler et al. showed that the RNA polymerase ribozyme, which they described, can be synthesized in situ from the ligation of four smaller fragments, akin to a recombination of Azoarcus ribozyme from four inactive oligonucleotide fragments described earlier. Apart from a substantial contribution of the above experiments to the research on the origin of life, they have not proven the existence of hypercycles experimentally.

## Related problems and reformulations

The hypercycle concept has been continuously studied since its origin. Shortly after Eigen and Schuster published their main work regarding hypercycles, John Maynard Smith raised an objection that the catalytic support for the replication given to other molecules is altruistic. Therefore, it cannot be selected and maintained in a system. He also underlined hypercycle vulnerability to parasites, as they are favoured by selection. Later on, Josef Hofbauer and Karl Sigmund indicated that in reality, a hypercycle can maintain only fewer than five members. In agreement with Eigen and Schuster's principal analysis, they argued that systems with five or more species exhibit limited and unstable cyclic behaviour, because some species can die out due to stochastic events and break the positive feedback loop that sustains the hypercycle. The extinction of the hypercycle then follows. It was also emphasized that a hypercycle size of up to four is too small to maintain the amount of information sufficient to cross the information threshold.
Several researchers proposed a solution to these problems by introducing space into the initial model either explicitly or in the form of a spatial segregation within compartments. Bresch et al. proposed a package model as a solution for the parasite problem. Later on, Szathmáry and Demeter proposed a stochastic corrector machine model. Both compartmentalized systems proved to be robust against parasites. However, package models do not solve the error threshold problem that originally motivated the idea of the hypercycle. A few years later, Maarten Boerlijst and Paulien Hogeweg, and later Nobuto Takeuchi, studied the replicator equations with the use of partial differential equations and cellular automata models, methods that already proved to be successful in other applications. They demonstrated that spatial self-structuring of the system completely solves the problem of global extinction for large systems and, partially, the problem of parasites. The latter was also analysed by Robert May, who noticed that an emergent rotating spiral wave pattern, which was observed during computational simulations performed on cellular automata, proved to be stable and able to survive the invasion of parasites if they appear at some distance from the wave core. Unfortunately, in this case, rotation decelerates as the number of hypercycle members increases, meaning that selection tends toward decreasing the amount of information stored in the hypercycle. Moreover, there is also a problem with adding new information into the system. In order to be preserved, the new information has to appear near to the core of the spiral wave. However, this would make the system vulnerable to parasites, and, as a consequence, the hypercycle would not be stable. Therefore, stable spiral waves are characterized by once-for-ever selection, which creates the restrictions that, on the one hand, once the information is added to the system, it cannot be easily abandoned; and on the other hand, new information cannot be added.
Another model based on cellular automata, taking into account a simpler replicating network of continuously mutating parasites and their interactions with one replicase species, was proposed by Takeuchi and Hogeweg and exhibited an emergent travelling wave pattern. Surprisingly, travelling waves not only proved to be stable against moderately strong parasites, if the parasites' mutation rate is not too high, but the emergent pattern itself was generated as a result of interactions between parasites and replicase species. The same technique was used to model systems that include formation of complexes. Finally, hypercycle simulation extending to three dimensions showed the emergence of the three-dimensional analogue of a spiral wave, namely, the scroll wave.

## Comparison with other theories of life

The hypercycle is just one of several current theories of life, including the chemoton of Tibor Gánti, the (M,R) systems of Robert Rosen, autopoiesis (or self-building) of Humberto Maturana and Francisco Varela, and the autocatalytic sets of Stuart Kauffman, similar to an earlier proposal by Freeman Dyson. All of these (including the hypercycle) found their original inspiration in Erwin Schrödinger's book What is Life? but at first they appear to have little in common with one another, largely because the authors did not communicate with one another, and none of them made any reference in their principal publications to any of the other theories. Nonetheless, there are more similarities than may be obvious at first sight, for example between Gánti and Rosen. Until recently there have been almost no attempts to compare the different theories and discuss them together.

## Last Universal Common Ancestor (LUCA)

Some authors equate models of the origin of life with LUCA, the Last Universal Common Ancestor of all extant life. This is a serious error resulting from failure to recognize that L refers to the last common ancestor, not to the first ancestor, which is much older: a large amount of evolution occurred before the appearance of LUCA.
Gill and Forterre expressed the essential point as follows:
   LUCA should not be confused with the first cell, but was the product of a long period of evolution. Being the "last" means that LUCA was preceded by a long succession of older "ancestors."