Gene regulatory circuits drive the development, physiology, and behavior of organisms from bacteria to humans. The phenotypes or functions of such circuits are embodied in the gene expression patterns they form. Regulatory circuits are typically multifunctional, forming distinct gene expression patterns in different embryonic stages, tissues, or physiological states. Any one circuit with a single function can be realized by many different regulatory genotypes. Multifunctionality presumably constrains this number, but we do not know to what extent. We here exhaustively characterize a genotype space harboring millions of model regulatory circuits and all their possible functions. As a circuit's number of functions increases, the number of genotypes with a given number of functions decreases exponentially but can remain very large for a modest number of functions. However, the sets of circuits that can form any one set of functions becomes increasingly fragmented. As a result, historical contingency becomes widespread in circuits with many functions. Whether a circuit can acquire an additional function in the course of its evolution becomes increasingly dependent on the function it already has. Circuits with many functions also become increasingly brittle and sensitive to mutation. These observations are generic properties of a broad class of circuits and independent of any one circuit genotype or phenotype.
Many essential biological processes, ranging from embryonic patterning to circadian rhythms, are driven by gene regulatory circuits, which comprise small sets of genes that turn each other on or off to form a distinct pattern of gene expression. Gene regulatory circuits often have multiple functions. This means that they can form different gene expression patterns at different times or in different tissues. We know little about multifunctional gene regulatory circuits. For example, we do not know how multifunctionality constrains the evolution of such circuits, how many circuits exist that have a given number of functions, and whether tradeoffs exist between multifunctionality and the robustness of a circuit to mutation. Because it is not currently possible to answer these questions experimentally, we use a computational model to exhaustively enumerate millions of regulatory circuits and all their possible functions, thereby providing the first comprehensive study of multifunctionality in model regulatory circuits. Our results highlight limits of circuit designability that are relevant to both systems biologists and synthetic biologists.
Citation: Payne JL, Wagner A (2013) Constraint and Contingency in Multifunctional Gene Regulatory Circuits. PLoS Comput Biol 9(6): e1003071. doi:10.1371/journal.pcbi.1003071
Editor: Réka Albert, Pennsylvania State University, United States of America
Received: December 14, 2012; Accepted: April 9, 2013; Published: June 6, 2013
Copyright: © 2013 Payne, Wagner. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Funding: This work was funded by the Burroughs Wellcome Fund, the National Science Foundation, the Swiss National Science Foundation, the YeastX project of SystemsX.ch, and the University Priority Research Program in Systems Biology at the University of Zurich. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.
Competing interests: The authors have declared that no competing interests exist.
Gene regulatory circuits are at the heart of many fundamental biological processes, ranging from developmental patterning in multicellular organisms  to chemotaxis in bacteria . Regulatory circuits are usually multifunctional. This means that they can form different metastable gene expression states under different physiological conditions, in different tissues, or in different stages of embryonic development. The segment polarity network of Drosophila melanogaster offers an example, where the same regulatory circuit affects several developmental processes, including embryonic segmentation and the development of the fly's wing . Similarly, in the vertebrate neural tube, a single circuit is responsible for interpreting a morphogen gradient to produce three spatially distinct ventral progenitor domains . Other notable examples include the bistable competence control circuit of Bacillus subtilis  and the lysis-lysogeny switch of bacteriophage lambda . Multifunctional regulatory circuits are also relevant to synthetic biology, where artificial oscillators , toggle switches , and logic gates  are engineered to control biological processes.
The functions of gene regulatory circuits are embodied in their gene expression patterns. An important property of natural circuits, and a design goal of synthetic circuits, is that these patterns should be robust to perturbations. Such perturbations include nongenetic perturbations, such as stochastic fluctuations in protein concentrations and environmental change. Much attention has focused on understanding , , , ,  and engineering – circuits that are robust to nongenetic perturbations. Equally important is the robustness of circuit functions to genetic perturbations, such as those caused by point mutation or recombination. Multiple studies have asked what renders biological circuitry robust to such genetic changes –. With few exceptions , , these studies have focused on circuits with one function, embodied in their gene expression pattern. Such monofunctional circuits tend to have several properties. First, many circuits exist that have the same gene expression pattern –, –. Second, these circuits can vary greatly in their robustness , , . And third, they can often be reached from one another via a series of function-preserving mutational events , , . Taken together, these observations suggest that the robustness of the many circuits with a given regulatory function can be tuned via incremental mutational change.
Most circuits have multiple functions, but how these observations translate to such multifunctional circuits is largely unknown. In a given space of possible circuits, how many circuits exist that have a given number of k specific functions (expression patterns)? What is the relationship between this number of functions and the robustness of each function? Do circuits with any combination of functions exist, or are some combinations “prohibited?” Pertinent earlier work showed that there are indeed fewer multifunctional circuits than monofunctional circuits , but this investigation had two main limitations. First, it considered circuits so large that the space of circuits and their functions could not be exhaustively explored, and restricted itself to mostly bifunctional circuits. Second, it included only topological circuit variants (i.e., who interacts with whom), and ignored variations in the signal-integration logic of cis-regulatory regions. These regions encode regulatory programs, which specify the input-output mapping of regulatory signals (input) to gene expression pattern (output) –. Variations in cis-regulatory regions , such as mutations that change the spacing between transcription factor binding sites , are known to impact circuit function , , and their inclusion in a computational model of regulatory circuits is thus important.
Here, we overcome these limitations by focusing on regulatory circuits that are sufficiently small that an entire space of circuits can be exhaustively explored. Specifically, we focus on circuits that comprise only three genes and all possible regulatory interactions between them. Small circuits like this play an important role in some biological processes. Examples include the kaiABC gene cluster in Cyanobacteria, which is responsible for circadian oscillations , the gap gene system in Dropsophila, which is responsible for the interpretation of morphogen gradients during embryogenesis , and the krox-otx-gatae feedback loop in starfish, which is necessary for endoderm specification . Additionally, theoretical studies of small regulatory circuits have provided several general insights into the features of circuit design and function. Examples include biochemical adaptation in feedback loops  and response delays in feed-forward loops , among others , , , –. Lastly, there is a substantial body of evidence suggesting that small regulatory circuits form the building blocks of larger regulatory networks , –, further warranting their study.
For two reasons, we chose Boolean logic circuits  as our modeling framework. First, they allow us not only to vary circuit topology , but also a circuit's all-important signal-integration logic . Second, Boolean circuits have been successful in explaining properties of biological circuits. For example, they have been used to explain the dynamics of gene expression in the segment polarity genes of Drosophila melanogaster , the development of primordial floral organ cells of Arabidopsis thaliana , gene expression cascades after gene knockout in Saccharomyces cerevisiae , and the temporal and spatial expression dynamics of the genes responsible for endomesoderm specification in the sea urchin embryo . We consider a specific gene expression pattern as the function of a circuit like this, because it is this pattern that ultimately drives embryonic pattern formation and physiological processes. Multifunctional circuits are circuits with multiple gene expression patterns, and here we study the constraints that multifunctionality imposes on the robustness and other properties of regulatory circuits. The questions we ask include the following: (i) How many circuits have a given number k of functions? (ii) What is the relationship between multifunctionality and robustness to genetic perturbation? (iii) Are some multifunctional circuits more robust than others? (iv) Is it possible to change one multifunctional circuit into another through a series of small genetic changes that do not jeopardize circuit function?
We consider circuits of genes (Fig. 1A). We choose a compact representation of a circuit's genotype G that allows us to represent both a circuit's signal-integration logic and its architecture by a single binary vector of length (Fig. 1B). Changes to this vector can be caused by mutations in the cis-regulatory regions of DNA. Such mutations may alter the binding affinity of a transcription factor to its binding site, thereby creating or removing a regulatory interaction . Alternatively, they may affect the distance of a transcription factor binding site from the transcription start site, changing its rotational position on the DNA helix. In turn, this may alter the regulatory effect of the transcription factor , and change the downstream gene's signal-integration logic. Lastly, such mutations may change the distance between adjacent transcription factor binding sites, enabling or disabling a functional interaction between proximally bound transcription factors . We note that mutations in G could also be conceptualized as changes in the DNA binding domain of a transcription factor. However, evolutionary evidence from microbes suggest that alterations in the structure and logic of regulatory circuits occurs preferentially via changes in cis-regulatory regions, rather than via changes in the transcription factors that bind these regions .
Figure 1. Schematic illustration of the Boolean model of gene regulatory circuits.
(A) A Boolean circuit with genes (a,b,c), which are represented as open circles. Two genes are connected by a directed edge if the expression of gene b is regulated by the product of gene a. Gene expression is binary, such that genes are either expressed (1) or not (0). The signal-integration logic of each gene is shown as a lookup table that explicitly maps all possible input expression states to an output expression state, implicitly determining the circuit's topology. In the hypothetical circuit shown, the expression state of gene a is independent of the expression state of gene b, so is a non-existing regulatory interaction (gray arrow), whereas and are both existing regulatory interactions (black arrows). (B) The wiring diagram and signal-integration logic of the entire circuit can be represented by a single vector G that is constructed by concatenating the rightmost columns of the lookup tables of the individual genes in panel (A). The vector G corresponds to the circuit's genotype. (C) The circuit in (A) maps all of the possible initial states (gray brackets) onto two distinct stable equilibrium expression states (black brackets). This circuit therefore can have up to functions, and can express such a “bifunction” in different ways, since 6 initial states map to one equilibrium expression state and the other 2 initial states map to another equilibrium expression state. (D) In a genotype network, vertices represent circuits and two vertices share an edge if the genotypes G differ by a single element, yet have the same functions. Here, the genotype network corresponds to circuits with the bifunction , . For visual clarity, each circle only shows the first 8 binary digits of G, which represent the signal-integration logic of gene a. Note how changes in G may implicitly translate to changes in circuit topology.doi:10.1371/journal.pcbi.1003071.g001
The dynamics of the expression states of a circuit's N genes begin with a prespecified initial state , which represents regulatory influences outside or upstream of the circuit, such as transcription factors that are not part of the circuit but can influence its expression state. The initial state reflects the fact that small circuits are typically embedded in larger regulatory networks , –, which provide the circuit with different regulatory inputs under different environmental or tissue-specific conditions. Through the regulatory interactions specified in the circuit's genotype, the circuit's gene expression state changes from this initial state, until it may reach a stable (i.e., fixed-point) equilibrium state . We consider a circuit's function to be a mapping from an initial expression state to an equilibrium expression state (Fig. 1C). In the main text, we consider only circuit functions that involve fixed point equilibria, but we consider periodic equilibrium states in the Supporting Online Material. A circuit could in principle have as many as functions , as long as the initial expression states are all different from one another, and the equilibrium expression states are all different from one another (Material and Methods). The circuits we study may map multiple initial states to the same equilibrium state, but our definition of function ignores all but one of these initial states. While a definition of function that includes many-to-one mappings between initial and equilibrium states can be biologically sensible, our intent is to investigate specific pairs of inputs (i.e., ) and outputs (i.e., ), as is typical for circuits in development and physiology –. We emphasize that a circuit can express its k functions individually, or in various combinations, such that the same circuit could be said to have between one and k functions. For brevity, we refer to a specific set of k functions as a multifunction or a k-function and to circuits that have at least one function as viable.
The space of circuits we explore here contains possible genotypes. We exhaustively determine the equilibrium expression states of each genotype for all initial states, thereby providing a complete genotype-to-phenotype(function) map. We use this map to partition the space of genotypes into genotype networks –, . A genotype network consists of a single connected set of genotypes (circuits) that have identical functions , and where two circuits are connected neighbors if their corresponding genotypes differ by a single element (Fig. 1D). Note that such single mutations may correspond to larger mutational changes in the cis-regulatory regions of DNA. For example, mutations that change the distance between binding sites, or between a binding site and a transcription start site, may involve the addition or deletion of large segments of DNA , –.
Multifunctionality constrains the number of viable circuits
We first asked how the number of genotypes that have k functions depends on k. Fig. 2 shows that this number decreases exponentially, implying that multifunctionality constrains the number of viable genotypes severely. For instance, increasing k from 1 to 2 decreases the number of viable genotypes by 34%; further increasing k from 2 to 3 leads to an additional 39% decrease. However, there is always at least one genotype with a given number k of functions, for any . In other words, even in these small circuits, multiple genotypes exist that have many functions.
Figure 2. Multifunctional regulatory circuits.
Each data point depicts the proportion and number of genotypes with k functions. The data include all k-functions. The line is provided as a visual guide. Note that there are more circuits with function than with functions, implying that a randomly selected circuit is more likely to be viable than not. Also note that any circuit with k functions will be included in the count of the number of circuits with between 1 and functions. The inset shows the number of observed combinations of functions (open circles) and the total number of possible combinations (solid line) of k functions. Note the logarithmic scale of all y-axes.doi:10.1371/journal.pcbi.1003071.g002
Thus far, we have determined the number of genotypes with a given number k of functions, but we did not distinguish between the actual functions that these genotypes can have. For example, there are 64 variants of function, since there are potential initial states and potential equilibrium states (). Analogously, simple combinatorics (Text S1) shows that there are 1204 variants of functions, and the number of variants increases dramatically with greater k, up to a maximum of variants of functions. This is possible because individual functions can occur in different possible combinations in multifunctional circuits (Material and Methods). The solid line in the inset of Fig. 2 indicates how this number of possible different functions scales with k. We next asked whether there exist circuits (genotypes) for each of these possible combinations of functions, or whether some multifunctions are prohibited. The open circles in the inset of Fig. 2 show the answer: These circles lie exactly on the solid line that indicates the number of possible combinations of functions for each value of k (Text S1). This means that no multifunction is prohibited. In other words, even though multifunctionality constrains the number of viable genotypes, there is always at least one genotype with k functions, and in any possible combination.
A trade-off between multifunctionality and robustness
As gene regulatory circuits are often involved in crucial biological processes, their functions should be robust to perturbation. We therefore asked whether the constraints imposed by multifunctionality also impact the robustness of circuits and their functions. In studying robustness, we differentiate between the robustness of a genotype (circuit) and the robustness of a k-function. We assess the robustness of a genotype as the proportion of all possible single-mutants that have the same k-function, and the robustness of a k-function as the average robustness of all genotypes with that k-function , , ,  (Material and Methods). We refer to the collection of genotypes with a given k-function as a genotype set, which may comprise one or more genotype networks. We emphasize that a genotype may be part of several different genotype sets, because genotypes typically have more than one k-function.
Fig. 3A shows that the robustness of a k-function decreases approximately linearly as k increases, indicating a trade-off between multifunctionality and robustness. However, some degree of robustness is maintained so long as . For larger k, some functions exist that have zero robustness (Text S1), that is, none of the circuits with these functions can tolerate a change in their regulatory genotype. The inset of Fig. 3A reveals a similar inverse relationship between the size of a genotype set and the number of functions k, implying that multifunctions become increasingly less “designable”  — fewer circuits have them — as k increases (Text S1). For example, for as few as functions, the genotype set may comprise a single genotype, reducing the corresponding robustness of the k-function to zero. For each value of k, the maximum proportion of genotypes with a given k-function is equal to the square of the maximum proportion of genotypes with a function, explaining the triangular shape of the data in the inset. This triangular shape indicates that the genotype set of a given k-function is always smaller than the union of the k constituent genotypes sets. Additionally, we find that the robustness of a k-function and the size of its genotype set are strongly correlated (Fig. S1), indicating that the genotypes of larger genotype sets are, on average, more robust than those of smaller genotype sets. This result is not trivial because the structure of a genotype set may change with its size. For example, large genotype sets may comprise many isolated genotypes, or their genotype networks might be structured as long linear chains. In either case, the robustness of a k-function would decrease as the size of its genotype set increased.
Figure 3. Robustness and multifunctionality.
(A) The robustness of a k-function is shown in relation to the number of functions k. Each data point corresponds to the genotype set of a specific combination of k functions. The data include all k-functions. The solid line depicts the average robustness of a k-function. The inset shows the proportion and number of genotypes in the genotype set of a k-function, as a function of k. Note the logarithmic scale of the y-axes. (B–D) Distributions of genotypic robustness for (B) , (C) , and (D) . For each k, we show data for a single genotype network.doi:10.1371/journal.pcbi.1003071.g003
We have so far focused on the properties of the genotype sets of k-functions, but have not considered the properties of the genotype networks that make up these sets. Therefore, we next asked how genotypic robustness varies across the genotype networks of k-functions. In Figs. 3B–D, we show the distributions of genotypic robustness for representative genotype networks with functions. These distributions highlight the inherent variability in genotypic robustness that is present in the genotype networks of multifunctions, indicating that genotypic robustness is an evolvable property of multifunctional circuits. Indeed, in Fig. S2, we show the results of random walks on these genotype networks, which confirm that it is almost always possible to increase genotypic robustness through a series of mutational steps that preserve the k-function. In Fig. S3, we show in which dynamic regimes (Material and Methods) the circuits in these same genotype networks lie.
Multifunctionality leads to genotype set fragmentation
We have shown that the genotype set of any k-function is non-empty (Fig. 2), meaning that there are no “prohibited” k-functions. We now ask how the genotypes with a given k-function are organized in genotype space. More specifically, is it possible to connect any two circuits with the same k-function through a sequence of small genotypic changes where each change in the sequence preserves this k-function? In other words, are all genotypes with a given k-function part of the same genotype network, or do such genotypes occur on multiple disconnected genotype networks?
Fig. 4 shows the relationship between the number of genotype networks in a genotype set and the number of circuit functions k. For monofunctional circuits (), the genotype set always consists of a single, connected genotype network. This implies that any genotype in the genotype set can be reached from any other via a series of function-preserving mutational events. In contrast, for circuits with functions, the genotype set often fragments into several isolated genotype networks, indicating that some regions of the genotype set cannot be reached from some others without jeopardizing circuit function. The most extreme fragmentation occurs for functions, where some genotype sets break up into more than 20 isolated genotype networks. Fig. S4 provides a schematic illustration of how fragmentation can occur in a k-function's genotype set, despite the fact that the genotype sets of the k constituent monofunctions consist of genotype networks that are themselves connected. Fig. S5 provides a concrete example of fragmentation, depicting one genotype from each of the several genotype networks of a bifunction's genotype set.
Figure 4. Genotype set fragmentation.
(A) Each data point shows the number of genotype networks in the genotype set of a specific k-function. The data include all k-functions. The solid line depicts the average number of genotype networks per k-function. The inset shows the proportion of genotype sets that comprise a single genotype network, as a function of k. (B–D) The distributions of the number of genotype networks per genotype set for (B) , (C) , and (D) .doi:10.1371/journal.pcbi.1003071.g004
The proportion of k-functions with genotype sets that comprise a single genotype network is shown in the inset of Fig. 4. This proportion decreases dramatically as the number of functions increases from to , such that only 16% of genotype sets comprise a single genotype network when . Figs. 4B–D show that the distributions of the number of genotype networks per genotype set are typically left-skewed. This implies that when fragmentation occurs, the genotype set usually fragments into only a few genotype networks. However, the distribution of genotype network sizes across all genotype sets is heavy-tailed and often spans several orders of magnitude (Fig. S6). This means that the number of genotypes per genotype network is highly variable.
We next ask whether the number of genotypes in the genotype set of a k-function can be predicted from the number of genotypes in the genotype sets of the k constituent monofunctions. To address this question, we define the fractional size of a genotype set as the number of genotypes in the set, divided by the number of genotypes in genotype space. We first observe that the maximum fractional size of a genotype set of a k-function is equal to (Fig. S6), which is the maximum fractional size of a genotype set for monofunctional circuits  raised to the kth power. In general, we find that the fractional size of a genotype set of a k-function can be approximated with reasonable accuracy by the product of the fractional sizes of the genotype sets of the k constituent monofunctions, but that the accuracy of this approximation decreases as k increases (Fig. S7). While these fractional genotype set sizes may be quite small, we note that their absolute sizes are still fairly large, even in the tiny circuits considered here. For example, for functions the maximum genotype set size is 262,144. For functions, the maximum is 32,768.
Genotype set fragmentation may lead to historical contingency
In evolution, a circuit may acquire a new regulatory function while preserving its pre-existing functions. An example is the highly-conserved hedgehog regulatory circuit, which patterns the insect wing blade. In butterflies, this regulatory circuit has acquired a new function. It helps form the wing's eyespots, an antipredatory adaptation that arose after the insect body plan . This example illustrates that a regulatory circuit may acquire additional functions incrementally via gradual genetic change. The order in which the mutations leading to a new function arise and go to fixation can have a profound impact upon the evolution of such phenotypes . In particular, early mutations have the potential to influence the phenotypic effects of later mutations, which can lead to a phenomenon known as historical contingency.
We next ask whether it is possible for a circuit to incrementally evolve regulatory functions in any order, or whether this evolutionary process is susceptible to historical contingency. In other words, is it possible that some sequence of genetic changes that lead a circuit to have k functions also preclude it from gaining an additional function? The genotype space framework allows us to address this question in a systematic way, because it permits us to see contingency as a result of genotype set fragmentation. Specifically, contingency means that, as a result of fragmentation, the genotype network of a new function may become inaccessible from at least one of the genotype networks of a k-function's genotype set. To ask whether this occurs in our model regulatory circuits, we considered all permutations of every k-function. These permutations reflect every possible order in which a circuit may acquire a specific combination of k functions through a sequence of genetic changes. To determine the frequency with which historical contingency occurs, we calculate the number of genotype networks per genotype set, as the k functions are incrementally added. This procedure is outlined in Fig. S4 and detailed in the Material and Methods section. We note that historical contingency is not possible when because all monofunctions comprise genotype sets with a single connected genotype network. Historical contingency is also not possible when , because there is only one genotype that yields this combination (Fig. 2).
In Fig. 5, we show the relationship between the proportion of k-functions that exhibit historical contingency and the number of functions k. For as few as functions, 43% of all k-functions exhibit historical contingency. This percentage is highest for , where 94% of combinations are contingent. The inset of Fig. 5 shows the proportion of the permutations of a k-function in which genotype set fragmentation may preclude the evolution of the k-function. Again, this proportion is highest for functions. These results highlight an additional constraint of multifunctionality. Not only does the number of genotypes with k functions decrease as k increases, but the dependence upon the temporal order in which these functions evolve tends to increase.
Figure 5. Historical contingency in multifunctional regulatory circuits.
Each data point shows the proportion of combinations of k functions that exhibit contingency, as a function of k. The line is provided as a visual guide. The inset shows the average proportion of the permutations of each combination of k functions that exhibit contingency. Error bars denote one standard deviation.doi:10.1371/journal.pcbi.1003071.g005
In the Supporting Online Material, we repeat the above calculations to show how our results scale to equilibrium expression states with period (For the sake of computational tractability, we restrict our attention to the case where all equilibrium expression states have the same period P). We show that the exponential decrease in the number of circuits with k functions also holds for periodic equilibrium expression states, but that the maximum number of functions per circuit decreases with increasing (Fig. S8). So long as , it is possible for a circuit to have more than one function. In this case, the inverse relationship between robustness to genetic perturbation and the number of functions k also holds (Fig. S9). Similarly, the results pertaining to genotype set fragmentation hold so long as (Fig. S10). Lastly, the results pertaining to historical contingency only hold when . This is because it is not possible for a circuit with an equilibrium expression pattern of period to have more than functions, which is a prerequisite for historical contingency (Material and Methods). Taken together, these additional observations show that the results obtained for fixed-point equilibrium expression states can also apply to periodic equilibrium expression states, so long as is not too large.
We have used a Boolean model of gene regulatory circuits to exhaustively characterize the functions of all possible combinations of circuit topologies and signal-integration functions in three-gene circuits. The most basic question we have addressed is whether multifunctionality is easy or difficult to attain in regulatory circuits. Our results show that while the number of circuits with k functions decreases sharply as k increases, there are generally thousands of circuits with k functions, so long as k is not exceedingly large. Thus, multifunctionality is relatively easy to attain, even in the tiny circuits examined here.
It is worth considering how this result might translate to larger circuits. In a related model of gene regulatory circuits with genes, the genotype sets of bifunctions comprised an average of circuits , which is over an order of magnitude more circuits per bifunction than observed here (Fig. 3, inset). For a greater number of functions k, we expect the number of circuits per k-function to increase as the number of genes N in the regulatory circuit increases. This is because the maximum number of circuits with a given k-function is , which is the total number of circuits with N genes () multiplied by the maximum proportion of circuits per multifunction (). For a given number of functions k, this quotient will increase hyper-exponentially as N increases, indicating a dramatic increase in the maximum number of circuits per k-function. More generally, because the fractional size of a k-function's genotype set can be approximated as the product of the fractional sizes of the genotype sets of its k constituent monofunctions (Fig. S7) and because the total number of circuits increases exponentially with N, our observation that there are many circuits with k functions is expected to scale to larger circuits.
The next question we asked is whether there is a tradeoff between the robustness of a k-function and the number of functions k. We found that the robustness of a k-function decreases as k increases. However, some degree of robustness is generally maintained, so long as k is not too large. These observations suggest that the number of circuit functions generally does not impose severe constraints on the evolution of circuit genotypes, unless the number of functions is very large. Our current knowledge of biological circuits is too limited to allow us to count the number of functions per circuit. However, we can ask whether the functional “burden” on biological circuits is very high. If so, we would expect that the genes that form these circuits and their regulatory regions cannot tolerate genetic perturbations, and that they have thus accumulated few or no genetic changes in their evolutionary history. However, this is not the case. The biochemical activities and regulatory regions of circuit genes can diverge extensively without affecting circuit function , , , , and the very different circuit architectures of distantly related species can have identical function , . Further, circuits are highly robust to the experimental perturbation of their architecture, such as the rewiring of regulatory interactions . More indirect evidence comes from the study of genes with multiple functions, identified through gene ontology annotations. The rate of evolution of these genes is significantly but only weakly correlated with the number of known functions . Thus, the functional burden on biological genes and circuits is not sufficiently high to preclude evolutionary change.
Previous studies of monofunctional regulatory circuits have revealed broad distributions of circuit robustness to genetic perturbation , , . We therefore asked if this is also the case for multifunctional circuits. We found that circuit robustness was indeed variable, but that the mean and variance of the distributions of circuit robustness decreased as the number of functions k increased. Thus, variation in circuit robustness persists in multifunctional circuits, so long as k is not too large. This provides further evidence that robustness to mutational change may be considered the rule, rather than the exception, in biological networks , , , . However, to make the claim that robustness to genetic perturbation is an evolvable property in multifunctional regulatory circuits requires not only variability in circuit robustness, but also the ability to change one circuit into another via a series of mutations that do not affect any of the circuit's functions.
We therefore asked whether it is possible to interconvert any two circuits with the same function via a series of function-preserving mutational changes. We showed that this is always possible for monofunctions, but not necessarily for multifunctions, because these often comprise fragmented genotype sets. Genotype set fragmentation has also been observed at lower levels of biological organization, such as the mapping from RNA sequence to secondary structure . Such fragmentation has two evolutionary implications, as has recently been discussed for RNA phenotypes . First, the mutational robustness of a phenotype (function) depends upon which genotype network its sequences inhabit, as we have also shown for regulatory circuits (Fig. S11). Second, it can lead to historical contingency, where the phenotypic effects of future mutations depend upon the current genetic background. Such contingency indeed occurs in our circuits, because the specific genotype network that a circuit (genotype) occupies may be influenced by the temporal order in which a circuit's functions (phenotypes) have evolved. This order in turn may affect a circuit's ability to evolve new functions.
These observations hinge on the assumption that the space between two (disconnected) parts of a fragmented genotype set is not easily traversed. For example, in RNA it is well known that pairs of so-called compensatory mutations can allow transitions between genotype networks , thus alleviating the historical contingency caused by fragmentation. To assess whether an analogous phenomenon might exist for regulatory circuits, we calculated the average distance between all pairs of genotypes on distinct genotype networks for circuits with the same k-function. We found that this distance decreases as the number of functions k increases, indicating an increased proximity between genotype networks (Fig. S12). However, those pairs of genotypes in any two different genotype networks that had the minimal distance of two mutations never exceeded 1% of all pairs of genotypes on these networks, and was as low as 0.03% for functions (Fig. S12A, inset). This means that transitions between genotype networks through few mutations are not usually possible in these model regulatory circuits. Thus, the multiple genotype networks of a genotype set can indeed be considered separate from one another.
Using a Boolean model of gene regulatory circuits comes with several caveats that are worth highlighting. First, the mutational distance between certain logical functions may not correspond to their distance in a biological context. For example, the signal-integration logic of a gene can mutate from an OR function to an XOR function by changing only a single bit. In contrast, research in synthetic biology suggests that these logical functions are separated by greater mutational distances. While the OR function can be encoded as a simple two-input circuit , the XOR function has necessitated cascading signals between distinct circuits  or cells , , or chemically-induced DNA inversions . In some biological circuits, such as the lac operon in E. coli, it may not be possible to transform an OR function into an XOR function at all . However, experimental investigations of the cis-regulatory codes of synthetic and natural circuits are far from exhaustive, and it is therefore possible that there exist alternative implementations of these logical functions that more closely resemble their Boolean representations . Second, the model makes the simplifying assumptions that gene expression states are binary and that regulatory interactions are static. In biological circuits, gene expression is continuous and regulatory interactions are dynamic, varying in both time and space. Despite these limitations, the assumption of binary expression often provides a reasonable approximation  and numerous studies have demonstrated the model's ability to precisely replicate the expression dynamics of biological circuits, even under the assumption of static regulatory interactions –. Third, we assume that gene states are updated synchronously , which is clearly not the case in biological circuitry. Asynchronous updating can affect the transient dynamics of a circuit  and its equilibrium expression patterns , and may therefore impact circuit function. This becomes especially problematic when the equilibrium expression pattern is periodic . However, the fixed-point equilibrium expression states of Boolean circuits do not vary between asynchronous and synchronous updating schemes , so we did not consider asynchronous updating. While it is possible that some of our results depend upon this assumption, we stress that this study could not have been performed without it. The exhaustive enumeration of genotype space is not computationally feasible under asynchronous updating because all possible orderings of updates have to be considered for each genotype. Fourth, we did not explicitly consider gene expression noise. While this is an important aspect of genetic regulation , robustness to gene expression noise is correlated with robustness to genetic perturbation in model regulatory circuits . Thus, we used the latter as a proxy for the former. Lastly, we only considered small, three-gene circuits. This allows for the exhaustive enumeration of all possible circuit topologies and signal-integration functions, but limits the direct applicability of our results to similarly sized circuits. However, we expect our results to also apply to larger circuits, as we have discussed. We emphasize that our observations are not derived from one circuit and its functions, but from an enormous circuit space, comprising a class of circuits that capture biological phenomena in diverse organisms.
Materials and Methods
We consider fully connected Boolean circuits with genes. The binary state of a gene i at time t is a function of the states of all genes at time :(1)
The function maps all of the possible combinations of input expression states to an output expression state. This function represents the gene's signal-integration logic and can be represented as a look-up table (Fig. 1A). The circuit is initialized with an initial expression state and all genes are updated synchronously according to their individual functions f until a steady-state expression pattern is reached. The expression pattern can be a fixed-point () or a cycle ().
The update functions f of all N genes can be represented as a single vector of length (Fig. 1B). We measure the equilibrium expression states for all possible vectors for each of the possible initial expression states . In doing so, we not only enumerate all signal-integration functions, but also all circuit topologies. This is because some functions f make a gene independent of one or more of its N regulatory inputs. For example, in Fig. 1A, the regulatory interaction is inactive because for any combination of regulatory inputs, the expression state of gene a is unaffected by the expression state of gene b.
Dynamic regimes of Boolean circuits
Boolean circuits exhibit three dynamic regimes that have been called ordered, critical, and chaotic . The ordered regime is characterized by a general insensitivity to perturbation that results from having few equilibrium states, each with large basins of attraction, whereas the chaotic regime is characterized by extreme sensitivity to perturbation that results from having many equilibrium states with small basins of attraction. The critical regime lies at the interface of these two extremes. Several studies have focused on characterizing the dynamic regimes of biological circuits – and on understanding how these regimes influence circuit dynamics in silico , .
The dynamic regime of a circuit can be determined by calculating its sensitivity , where z is the average number of regulators per gene and is the average probability of gene expression per gene (i.e., the proportion of the genotype G that is nonzero) , . The ordered regime corresponds to , the critical regime to , and the chaotic regime to . Since for all circuits considered here, the dynamic regime is determined solely by .
Multifunctions and their combinations
The maximum number of functions a circuit can produce is because we require the equilibrium expression states of any multifunction to be unique (i.e., ). We also require that the initial expression states are unique (i.e., ). While the deterministic nature of the model makes this latter requirement superfluous — different equilibrium states require different initial states — we specify it to highlight the fact that each function pertains to a specific input signal, which may differ between environments or tissue-specific conditions.
A circuit may produce various combinations of k functions, as shown in Fig. 1. We note that some combinations of functions are not feasible. As an example, consider a hypothetical combination where , . This combination is not feasible because the equilibrium expression state of is a transient state of .
Our usage of the word function differs from existing terminology for describing the mapping of initial to equilibrium states in Boolean circuits. For a given circuit, an attractor is an equilibrium state (fixed-point or periodic) that can be reached from at least one initial state. An attractor's basin of attraction is the set of initial states that lead to that attractor. The attractor landscape is the set of all attractors and their basins of attraction. These terms are distinct from our use of the words function and k-function, which are concerned with specific pairs of initial and equilibrium states, because specific initial states provide key inputs to most biological circuits in development and physiology. The only equivalence between terms occurs when . Such a k-function is equivalent to the circuit's attractor landscape, because each of the initial states map onto themselves. In this case, the entire attractor landscape is embodied in the function.
We measure the robustness of circuits and of k-functions. The robustness of a circuit is calculated as the proportion of its mutational neighbors that have the same k-function, as follows. First, we remove the entries in the circuit's genotype G that correspond to inactive regulatory interactions. This results in a new vector that may differ from G. Second, we determine the fraction of single mutants of that produce the same multifunction. This is achieved by flipping each bit in , one at a time, and determining whether the resulting genotype has the same k-function. We refer to this measure of circuit robustness as , which is the measure that is used throughout the main body of the text. The robustness of a k-function is calculated as the average robustness of all circuits with that k-function.
Alternatively, the robustness of a circuit can be calculated as the connectivity of its genotype G in a genotype network of a k-function, divided by the maximum possible connectivity L. We refer to this measure of circuit robustness as . In Fig. S13, we show that these two calculations result in measures of k-function robustness that are highly correlated (Spearmans ). The fact that the data are always below the identity line indicates that is a more conservative measure of robustness than .
To detect whether a combination of k functions may exhibit historical contingency, we consider all permutations of those functions. We define a combination of k functions to be contingent if there exists at least one permutation that violates, and at least one other permutation that satisfies, the following condition: For the functions in the permutation, there exists a such that the number of genotype networks in the genotype set of function is greater than the number of genotype networks in the genotype set of function . For example, in Fig. S4, the permutation satisfies this condition because the genotype set of comprises two genotype networks while the genotype set of comprises only one genotype network. All other permutations violate this condition. Therefore this combination of k-functions exhibits historical contingency. Since all monofunctions comprise a single, connected genotype network, it is impossible for any bifunction to satisfy the condition above. Thus, in these model regulatory circuits, historical contingency can only occur for .
Robustness and genotype set size. Each data point shows the size of a specific k-function's genotype set as a function of its robustness. Symbol types correspond to the number of functions k in the k-function. Note the logarithmic scale of the y-axes.
Genotypic robustness is an evolvable property of multifunctional circuits. Each data point shows genotypic robustness before and after 1000 steps of a random walk. In each step of the random walk, robustness is not allowed to decrease. Each panel shows data for 1000 separate random walks on genotype networks of multifunctions for (A) , (B) , and (C) functions. These are the same genotype networks used in Fig. 3B–D, respectively. Since all points lie on or above the identity line, it is always possible to increase robustness via a series of mutations that preserve the k-function, unless the initial genotype already resides atop a local robustness peak. The y-axis label of (A) applies to all panels.
Most circuits are chaotic, regardless of dynamic regime. Each panel shows the number of circuits with sensitivity s for (A) , (B) , and (C) functions. Circuit sensitivity is used to determine a circuit's dynamic regime, as indicated by the white and shaded regions. The line separating these regions corresponds to the so-called critical regime. For each k, we show data for the same genotype networks shown in Fig. 3B–D.
Schematic illustration of genotype set fragmentation and historical contingency. In each panel, the open circles represent circuits and the shading represents circuit function. Three functions are shown, as indicated by the legend. Two circuits are neighbors (connected by a solid line) if they have the same k-function and their genotypes G differ by a single regulatory element (Fig. 1D). Each panel corresponds to a different k-function, and k increases as the three columns of the figure are read from left to right (A: , B,C: , D: ). (A) The genotype set of the monofunction comprises a single connected genotype network, meaning that any genotype can be reached from any other via a series of small genetic changes that do not alter circuit function. (B) The bifunction shows an example of fragmentation, where the genotype set comprises two isolated genotype networks, despite the fact that the genotype sets of the two constituent monofunctions comprise single, connected genotype networks. This means that some genotypes with this bifunction cannot be reached from some others via a series of function-preserving genetic changes. (C) In contrast, the genotype set of the bifunction comprises a single, connected genotype network. (D) This example shows one possible multifunction with all functions. Its genotype set is also made up of a single, connected genotype network. However, there are six possible orderings in which this multifunction could evolve and two of these are shown in panels A, B, and D (upper sequence of arrows ), as well as in panels A, C, and D (lower sequence of arrows, ). This provides an illustration of historical contingency because the order in which the functions evolve dictates whether or not it is possible to evolve all functions. Specifically, the genotype set fragmentation shown in (B) may confine a population to the upper right genotype network, precluding navigation to the region in genotype space where all functions can be satisfied.
An example of genotype set fragmentation. The genotype set of the bifunction shown in (A) is fragmented into five genotype networks. Specifically, this genotype set consists of one large genotype network with 11,380 genotypes and four small genotype networks that each comprise a single genotype. In (B–F), we show genotypes from these five genotype networks and their corresponding “trajectories” from initial to equilibrium states. The genotype in (B) is part of the large genotype network and was chosen because it has the same “trajectory length” as those genotypes in (C–F), which come from the four small genotype networks. Note that any mutations to the genotypes in (C–F) will destroy the bifunction, and it is therefore not possible to reach the large genotype network via a series of function-preserving mutations. We note that at present, we do not have an analytical explanation for the phenomenon of genotype set fragmentation. This presents an exciting direction for future research.
Cumulative distributions of the fractional sizes of the genotype networks of k-functions. Distributions are shown for , , and functions. The vertical dashed lines indicate the maximum fractional size of a genotype network for monofunctions , raised to the kth power. Note the logarithmic scale of the x-axis.
Approximating the fractional size of a genotype set. The product of the fractional sizes of the genotype sets of monofunctions can serve as an order-of-magnitude approximation for the fractional sizes of the genotype sets of multifunctions. Here we show all possible arrangements of genotype set sizes for (A) and (B) functions.
Multifunctional regulatory circuits with multi-state equilibria of period P. Each data point shows the proportion and number of genotypes with k functions. The lines are provided as a visual guide. The period P of increases as the lines are read from right to left. The maximum number of functions per circuit is dictated by P. For example, if then a circuit can have at most functions as this accounts for all possible expression states. Note the logarithmic scale of the y-axes.
Robustness of k-functions with multi-state equilibria of period P. Each data point corresponds to the genotype set of a specific k-function with equilibrium states of period (A), , (B), , (C), , (D), , (E), , (F), , (G), , (H), . For , it is not possible for a circuit to have more than one function because we require that the states in are all unique (Material and Methods). The axes labels of the inset are the same as in Fig. 3. Note the logarithmic scale of the y-axis.
Genotype set fragmentation for k-functions with multi-state equilibria of period P. Each data point shows the number of genotype networks in the genotype set of a k-function with equilibrium states of period (A), , (B), , (C), , (D), , (E), , (F), , (G), , (H), . The insets show the proportion of genotype sets that comprise a single genotype network, as a function of k (cf. Fig. 4).
The average robustness of a circuit may vary between the genotype networks of a k-function's genotype set. Each panel corresponds to a k-function with the largest number of genotype networks in its genotype set for (A) , (B) , and (C) . Each panel depicts a histogram of the average circuit robustness per genotype network. Those genotype networks with an average circuit robustness of zero comprise a single genotype.
Transitions between genotype networks are rare in model gene regulatory circuits. For the genotype set of each k-function, we calculated the mutational distance between all pairs of genotypes that inhabited distinct genotype networks. Each data point in (A) depicts the average of this measure across all k-functions. Error bars denote one standard deviation, but are typically smaller than the symbol size. Data only exists for , because these are the only values of k for which genotype set fragmentation occurs (Fig. 4). The inset of (A) shows the proportion of all pairs of genotypes from distinct genotype networks of the same k-function that were separated by a mutational distance of two. Representative distributions of mutational distance for the genotype sets of multifunctions with (B) , (C) , and (D) are also provided.
Alternative calculations of circuit robustness yield similar measures of k-function robustness. Each data point depicts the robustness of a k-function as measured using and (Material and Methods), revealing a strong correlation between these measures (Spearman's ). The identity line is shown for reference.
The possible compositions of k-functions. The numbers in the brackets denote I and T, respectively. Note that a circuit encounters one state for each I and at least two states for each T.
Analytical results. This section provides analytical solutions for the number of circuits per k-function, the number of unique k-functions, and the number of k-functions with zero robustness. Additionally, we show analytically why there are no “prohibited” k-functions.
The authors would like to thank Davnah Urbach and Dov Pechenick for their careful reading of this manuscript and for their feedback.
Conceived and designed the experiments: JLP AW. Performed the experiments: JLP. Analyzed the data: JLP. Wrote the paper: JLP AW.
- 1. Ingolia NT (2004) Topology and robustness in the Drosophila segment polarity network. PLoS Biol 2: 805–815. doi: 10.1371/journal.pbio.0020123
- 2. Alon U, Surette MG, Barkai N, Leibler S (1999) Robustness in bacterial chemotaxis. Nature 397: 168–171. doi: 10.1038/16483
- 3. Carroll SB, Grenier JK, Weatherbee SD (2001) From DNA to Diversity. Molecular Genetics and the Evolution of Animal Design. Malden: Blackwell Publishing. 272 p.
- 4. Balaskas N, Ribeiro A, Panovska J, Dessaud E, Sasai N, et al. (2012) Gene regulatory logic for reading the Sonic Hedgehog signaling gradient in the vertebrate neural tube. Cell 148: 273–284. doi: 10.1016/j.cell.2011.10.047
- 5. Süel GM, Garcia-Ojalvo J, Liberman LM, Elowitz MB (2006) An excitable gene regulatory circuit induces transient cellular differentiation. Nature 440: 545–550. doi: 10.1038/nature04588
- 6. Oppenheim AB, Kobiler O, Stavans J, Court DL, Adhya S (2005) Switches in bacteriophage lambda development. Annu Rev Genet 39: 409–429. doi: 10.1146/annurev.genet.39.073003.113656
- 7. Elowitz MB, Leibler S (2000) A synthetic oscillatory network of transcriptional regulators. Nature 403: 335–338. doi: 10.1038/35002125
- 8. Gardner TS, Cantor CR, Collins JJ (2000) Construction of a genetic toggle switch in Escherichia coli. Nature 403: 339–342. doi: 10.1038/35002131
- 9. Macia J, Posas F, Solé RV (2012) Distributed computation: the new wave of synthetic biology devices. Trends Biotechnol 30: 342–349. doi: 10.1016/j.tibtech.2012.03.006
- 10. Bornholdt S, Sneppen K (2000) Robustness as an evolutionary principle. Proc Roy Soc Lon B 267: 2281–2286. doi: 10.1098/rspb.2000.1280
- 11. Tsai TY, Choi YS, Ma W, Pomerening JR, Tang C, et al. (2008) Robust, tunable biological oscillations from interlinked and negative feedback loops. Science 321: 126–129. doi: 10.1126/science.1156951
- 12. Stricker J, Cookson S, Bennett MR, Mather WH, Tsimring LS, et al. (2008) A fast, robust and tunable synthetic gene oscillator. Nature 456: 516–520. doi: 10.1038/nature07389
- 13. Batt G, Yordanov B, Weiss R, Belta C (2007) Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23: 2415–2422. doi: 10.1093/bioinformatics/btm362
- 14. Wang B, Kitney R, Joly N, Buck M (2011) Engineering modular and orthogonal genetic logic gates for robust digital-like synthetic biology. Nat Commun 2: 508. doi: 10.1038/ncomms1516
- 15. Azevedo RBR, Lohaus R, Srinivasan S, Dang KK, Burch CL (2006) Sexual reproduction selects for robustness and negative epistasis in artificial gene networks. Nature 440: 87–90. doi: 10.1038/nature04488
- 16. Ma W, Lai L, Ouyang Q, Tang C (2006) Robustness and modular design of the Drosophila segment polarity network. Mol Syst Biol 2: 70. doi: 10.1038/msb4100111
- 17. Ciliberti S, Martin OC, Wagner A (2007) Innovation and robustness in complex regulatory gene networks. Proc Natl Acad Sci USA 104: 13591–13596. doi: 10.1073/pnas.0705396104
- 18. Ciliberti S, Martin OC, Wagner A (2007) Robustness can evolve gradually in complex regulatory gene networks with varying topology. PLoS Computat Biol 3: e15. doi: 10.1371/journal.pcbi.0030015
- 19. Cotterell J, Sharpe J (2010) An atlas of gene regulatory networks reveals multiple three-gene mechanisms for interpreting morphogen gradients. Mol Syst Biol 6: 425. doi: 10.1038/msb.2010.74
- 20. Isalan M, Lemerle C, Michalodimitrakis K, Horn C, Beltrao P, et al. (2008) Evolvability and hierarchy in rewired bacterial gene networks. Nature 452: 840–846. doi: 10.1038/nature06847
- 21. Martin OC, Wagner A (2008) Multifunctionality and robustness trade-offs in model genetic circuits. Biophys J 94: 2927–2937. doi: 10.1529/biophysj.107.114348
- 22. Luo JX, Turner MS (2011) Functionality and metagraph disintegration in Boolean networks. J Theor Biol 282: 65–70. doi: 10.1016/j.jtbi.2011.05.006
- 23. Nochomovitz YD, Li H (2006) Highly designable phenotypes and mutational buffers emerge from a systematic mapping between network topology and dynamic output. Proc Natl Acad Sci USA 103: 4180–4185. doi: 10.1073/pnas.0507032103
- 24. Tsong AE, Tuch BB, Li H, Johnson AD (2006) Evolution of alternative transcriptional circuits with identical logic. Nature 443: 415–420. doi: 10.1038/nature05099
- 25. Hinman VF, Davidson EH (2007) Evolutionary plasticity of developmental gene regulatory network architecture. Proc Natl Acad Sci USA 104: 19404–19409. doi: 10.1073/pnas.0709994104
- 26. Martchenko M, Levitin A, Hogues H, Nantel A, Whiteway M (2007) Transcriptional rewiring of fungal Galactose-metabolism circuitry. Curr Biol 17: 1007–1013. doi: 10.1016/j.cub.2007.05.017
- 27. Liberman LM, Stathopoulos A (2009) Design exibility in cis-regulatory control of gene expression: synthetic and comparative evidence. Dev Biol 327: 578–589. doi: 10.1016/j.ydbio.2008.12.020
- 28. Baker CR, Booth LN, Sorrells TR, Johnson AD (2012) Protein modularity, cooperative binding, and hybrid regulatory states underlie transcription network diversification. Cell 151: 80–95. doi: 10.1016/j.cell.2012.08.018
- 29. Munteanu A, Solé R (2008) Neutrality and robustness in Evo-Devo: Emergence of lateral inhibition. PLoS Computat Biol 4: e1000226. doi: 10.1371/journal.pcbi.1000226
- 30. Szejka A, Drossel B (2010) Evolution of Boolean networks under selection for a robust response to external inputs yields an extensive neutral space. Phys Rev E Stat Nonlin Soft Matter Phys 81: 021908. doi: 10.1103/PhysRevE.81.021908
- 31. Istrail S, Davidson EH (2005) Logic functions of the genomic cis-regulatory code. Proc Natl Acad Sci USA 102: 4954–4959. doi: 10.1073/pnas.0409624102
- 32. Mayo AE, Setty Y, Shavit S, Zaslaver A, Alon U (2006) Plasticity of the cis-regulatory input function of a gene. PLoS Biol 4: e45. doi: 10.1371/journal.pbio.0040045
- 33. Kaplan S, Bren A, Zaslaver A, Dekel E, Alon U (2008) Diverse two-dimensional input functions control bacterial sugar genes. Mol Cell 29: 786–792. doi: 10.1016/j.molcel.2008.01.021
- 34. Peter IS, Davidson EH (2011) Evolution of gene regulatory networks that control embryonic development of the body plan. Cell 144: 970–985. doi: 10.1016/j.cell.2011.02.017
- 35. Cameron RA, Davidson EH (2009) Flexibility of transcription factor target site position in conserved cis-regulatory modules. Dev Biol 336: 122–135. doi: 10.1016/j.ydbio.2009.09.018
- 36. Guet CC, Elowitz MB, Hsing W, Leibler S (2002) Combinatorial synthesis of genetic networks. Science 296: 1466–1470. doi: 10.1126/science.1067407
- 37. Hunziker A, Tuboly C, Horváth P, Krishna S, Semsey S (2010) Genetic exibility of regulatory networks. Proc Natl Acad Sci USA 107: 12998–13003. doi: 10.1073/pnas.0915003107
- 38. Ishiura M, Kutsuna S, Aoki S, Iwasaki H, Andersson CR, et al. (1998) Expression of a gene cluster kaiabc as a circadian feedback process in Cyanobacteria. Science 281: 1519–1523. doi: 10.1126/science.281.5382.1519
- 39. Hinman VF, Davidson EH (2003) Developmental gene regulatory network architecture across 500 million years of echinoderm evolution. Proc Natl Acad Sci USA 100: 13356–13361. doi: 10.1073/pnas.2235868100
- 40. Ma W, Trusina A, El-Samad H, Lim WA, Tang C (2009) Defining network topologies that can achieve biochemical adaptation. Cell 138: 760–773. doi: 10.1016/j.cell.2009.06.013
- 41. Mangan S, Alon U (2003) Structure and function of the feed-forward loop network motif. Proc Natl Acad Sci USA 100: 11980–11985. doi: 10.1073/pnas.2133841100
- 42. Burda Z, Krzywicki A, Martin OC, Zagorski M (2011) Motifs emerge from function in model gene regulatory networks. Proc Natl Acad Sci USA 108: 17263–17268. doi: 10.1073/pnas.1109435108
- 43. Hornung G, Barkai N (2008) Noise propagation and signaling sensitivity in biological networks: a role for positive feedback. PLoS Computat Biol 4: e8. doi: 10.1371/journal.pcbi.0040008
- 44. Payne JL, Moore JH (2011) Robustness, evolvability, and accessibility in the signal-integration space of gene regulatory circuits. In: Lenaerts T, Giacobini M, Bersini H, Bourgine P, Dorigo M, Doursat R, editors. European Conference on Artificial Life. Boston: MIT Press. pp. 638–645.
- 45. Thompson EG, Galitski T (2012) Quantifying and analyzing the network basis of genetic complexity. PLoS Computat Biol 8: e1002583. doi: 10.1371/journal.pcbi.0040008
- 46. Milo R, Shenn-Orr S, Itzkovitz S, Kashtan N, Chklovskii D, et al. (2002) Network motifs: simple building blocks of complex networks. Science 298: 824–827. doi: 10.1126/science.298.5594.824
- 47. Shen-Orr S, Milo R, Mangan S, Alon U (2002) Network motifs in the transcriptional regulation network of Escherichia coli. Nat Genet 31: 64–68. doi: 10.1038/ng881
- 48. Erwin DH, Davidson EH (2009) The evolution of hierarchical gene regulatory networks. Nat Rev Genet 10: 141–148. doi: 10.1038/nrg2499
- 49. Kauffman SA (1969) Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol 22: 437–467. doi: 10.1016/0022-5193(69)90015-0
- 50. Albert R, Othmer HG (2003) The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. J Theor Biol 223: 1–18. doi: 10.1016/S0022-5193(03)00035-3
- 51. Espinosa-Soto C, Padilla-Longoria P, Alvarez-Buylla ER (2004) A gene regulatory network model for cell-fate determination during Arabidopsis thaliana flower development that is robust and recovers experimental gene expression profiles. Plant Cell 16: 2923–2939. doi: 10.1105/tpc.104.021725
- 52. Serra R, Villani M, Semeria A (2004) Genetic network models and statistical properties of gene expression data in knock-out experiments. J Theor Biol 227: 149–157. doi: 10.1016/j.jtbi.2003.10.018
- 53. Peter IS, Faure E, Davidson EH (2012) Predictive computation of genomic logic processing functions in embryonic development. Proc Natl Acad Sci USA 109: 16434–16442. doi: 10.1073/pnas.1207852109
- 54. Sharon E, Kalma Y, Sharp A, Raveh-Sadka T, Levo M, et al. (2012) Inferring gene regulatory logic from high-throughput measurements of thousands of systematically designed promoters. Nat Biotechnol 30: 521–530. doi: 10.1038/nbt.2205
- 55. Habib N, Wapinski I, Margalit H, Regev A, Friedman N (2012) A functional selection model explains evolutionary robustness despite plasticity in regulatory networks. Mol Syst Biol 8: 619. doi: 10.1038/msb.2012.50
- 56. Nüsslein-Volhard C, Wieschaus E (1980) Mutations affecting segment number and polarity in Drosophila. Nature 287: 795–801. doi: 10.1038/287795a0
- 57. Ingham P, Gergen P (1988) Interactions between the pair-rule genes runt, hairy, even-skipped and fushi tarazu and the establishment of periodic pattern in the Drosophila embryo. Development 104: 51–60.
- 58. Warrior R, Levine M (1990) Dose-dependent regulation of pair-rule stripes by gap proteins and the initiation of segment polarity. Development 110: 759–767.
- 59. Ludwig MZ, Bergman C, Patel NH, Kreitman M (2000) Evidence for stabilizing selection in a eukaryotic enhancer element. Nature 403: 564–567. doi: 10.1038/35000615
- 60. Maduro M, Pilgrim D (1996) Conservation of function and expression of unc-119 from two Caenorhabditis species despite divergence of non-coding DNA. Gene 183: 77–85. doi: 10.1016/S0378-1119(96)00491-X
- 61. Romano LA, Wray GA (2003) Conservation of Endo16 expression in sea urchins despite evolutionary divergence in both cis and trans-acting components of transcriptional regulation. Development 130: 4187–4199. doi: 10.1242/dev.00611
- 62. Tanay A, Regev A, Shamir R (2005) Conservation and evolvability in regulatory networks: The evolution of ribosomal regulation in yeast. Proc Natl Acad Sci USA 102: 7203–7208. doi: 10.1073/pnas.0502521102
- 63. Wagner A (2008) Robustness and evolvability: a paradox resolved. Proc Roy Soc Lon B 275: 91–100. doi: 10.1098/rspb.2007.1137
- 64. Li H, Helling R, Tang C, Windgreen N (1996) Emergence of preferred structures in a simple model of protein folding. Science 273: 666–669. doi: 10.1126/science.273.5275.666
- 65. Keys DN, Lewis DL, Selegue JE, Pearson BJ, Goodrich LV, et al. (1999) Recruitment of a hedgehog regulatory circuit in buttery eyespot evolution. Science 283: 532–534. doi: 10.1126/science.283.5401.532
- 66. Mani GS, Clarke BC (1990) Mutational order: a major stochastic process in evolution. Proc Roy Soc Lon B 240: 29–37. doi: 10.1098/rspb.2007.1137
- 67. Conceiçāo IC, Long AD, Gruber JD, Beldade P (2011) Genomic sequence around butterfly wing development genes: annotation and comparative analysis. PLoS One 6: e23778. doi: 10.1371/journal.pone.0023778
- 68. Salathé M, Ackermann M, Bonhoeffer S (2005) The effect of multifunctionality on the rate of evolution in yeast. Mol Biol Evol 23: 721–722. doi: 10.1093/molbev/msj086
- 69. Grüner W, Giegerich R, Strothmann D, Reidys C, Weber J, et al. (1996) Analysis of RNA sequence structure maps by exhaustive enumeration I: Neutral networks. Monatsheft für Chemie 127: 375–389. doi: 10.1007/bf00810882
- 70. Schaper S, Johnston IG, Louis AA (2012) Epistasis can lead to fragmented neutral spaces and contingency in evolution. Proc Roy Soc Lon B 279: 1777–1783. doi: 10.1007/bf00810882
- 71. Meer MV, Kondrashov AS, Artzy-Randrup Y, Kondrashov FA (2010) Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature 464: 279–282. doi: 10.1038/nature08691
- 72. Regot S, Macia J, Conde N, Furukawa K, Kjellén J, et al. (2011) Distributed biological computation with multicellular engineered networks. Nature 469: 207–211. doi: 10.1038/nature09679
- 73. Tamsir A, Tabor JJ, Voigt CA (2011) Robust multicellular computing using genetically encoded NOR gates and chemical ‘wires’. Nature 469: 212–215. doi: 10.1038/nature09565
- 74. Siuti P, Yazbek J, Lu TK (2013) Synthetic circuits integrating logic and memory in living cells. Nat Biotechnol. Epub ahead of print doi:10.1038/nbt.2510.
- 75. Harvey I, Bossomaier T (1997) Time out of joint: Attractors in asynchronous random Boolean networks. In: Husbands P, Harvey I, editors. Fourth International Conference on Artificial Life. Boston: MIT Press. pp. 67–75.
- 76. Griel F, Drossel B (2005) Dynamics of critical Kauffman networks under asynchronous stochastic update. Phys Rev E Stat Nonlin Soft Matter Phys 95: 048701. doi: 10.1038/nbt.2510
- 77. Klemm K, Bornholdt S (2005) Stable and unstable attractors in boolean networks. Phys Rev E Stat Nonlin Soft Matter Phys 72: 055101. doi: 10.1103/PhysRevE.72.055101
- 78. Gershenson C (2002) Classification of random Boolean networks. In: Standish R, Bedau MA, Abbass HA, editors. Eighth International Conference on Artificial Life. Boston: MIT Press. pp. 1–8.
- 79. Raser JM, O'Shea EK (2005) Noise in gene expression: origins, consequences, and control. Science 309: 2010–2013. doi: 10.1126/science.1105891
- 80. Shmulevich I, Kauffman SA, Aldana M (2004) Eukaryotic cells are dynamically ordered or critical but not chaotic. Proc Natl Acad Sci USA 102: 13439–13444. doi: 10.1073/pnas.0506771102
- 81. Balleza E, Alvarez-Buylla ER, Chaos A, Kauffman S, Shmulevich I, et al. (2008) Critical dynamics in genetic regulatory networks: Examples from four kingdoms. PLoS One 3: e2456. doi: 10.1371/journal.pone.0002456
- 82. Nykter M, Price ND, Aldana M, Ramsey SA, Kauffman SA, et al. (2008) Gene expression dynamics in the macrophage exhibit criticality. Proc Natl Acad Sci USA 105: 1897–1900. doi: 10.1073/pnas.0711525105
- 83. Chowdhury S, Lloyd-Price J, Smolander OP, Baici WCV, Hughes TR, et al. (2010) Information propagation within the genetic network of Saccharomyces cerevisiae. BMC Syst Biol 4: 143. doi: 10.1186/1752-0509-4-143
- 84. Aldana M, Balleza E, Kauffman S, Resendiz O (2007) Robustness and evolvability in genetic regulatory networks. J Theor Biol 245: 433–448. doi: 10.1016/j.jtbi.2006.10.027
- 85. Aldana M, Cluzel P (2003) A natural class of robust networks. Proc Natl Acad Sci USA 100: 8710–8714. doi: 10.1073/pnas.1536783100
- 86. Shmulevich I, Kauffman SA (2004) Activities and sensitivities in Boolean network models. Phys Rev Lett 93: 048701. doi: 10.1103/PhysRevLett.93.048701