Dynamical mechanisms of growth-feedback effects on adaptive gene circuits
Figures

Schematic illustration of a synthetic adaptive gene circuit embedded in a host cell.
(a) A representative three-gene circuit (inside the dashed red box) and its dynamical interplay with host-cell growth. Arrows with triangular ends and round ends denote activating and inhibiting regulations, respectively. Altogether, there are 16,038 possible three-node topologies, with 425 topologies capable of adaptation. (b) An example of the circuit input and output signals. The input is an idealized step function of currents and before and after the jump, respectively. The output signal is a response of the circuit to the step function. The features of the output signal, as characterized by three key quantities characterizing the signal: , , and , can be used to determine if the circuit has succeeded or failed in its intended function.

Systemic classification of circuit failure scenarios due to growth feedback.
This study identifies six computationally detectable categories of failures based on the criterion of functional adaptation that the circuit violates as the effect of growth feedback becomes stronger. (a) Type-I and (b) type-II failures correspond to the cases where the precision criterion or sensitivity criterion is violated in a continuous fashion as the growth-feedback strength increases, respectively. (c) Type-III and (d) type-IV failures occur when the circuits lose adaptation due to growth-feedback-induced oscillation, either continuously or abruptly, as increases, respectively. The abrupt changes in type-IV are caused by bifurcations, mostly a saddle-node bifurcation of cycles or an infinite-period bifurcation. For instance, the case shown in (d) undergoes an infinite-period bifurcation. (e) Type-V and (f) type-VI failures are when the circuits lose adaptation due to an abrupt change in or as increases, respectively, which are caused by bistability or multistability in the systems. Trials that are not categorized under these six classifications or fall into multiple categories constitute less than 0.4% of all cases (see text for more details and discussions about each failure class). The insets around the pie chart provide exemplary response curves of the circuits in each failure scenario. Each inset shows the concentration of the output node versus time with two values of the growth-feedback strength , one below and another above the failure threshold, for the specific failure scenario. In each case, the input is switched from state to at the time indicated by the red vertical dashed line.

Fractions of growth-feedback-induced oscillation failures for different network topologies.
(a) There are significant variations across network topologies in the fraction of circuit failures attributable to growth-feedback-induced oscillations (types III and IV). Some topologies exhibit virtually no oscillation-related malfunctions, while others experience about 80% of failures caused by growth-induced oscillations. Network topologies containing any oscillation-supporting motifs (discussed in the main text) are represented by red triangles, while the rest are shown as blue circles. The majority of red data points have higher fractions of oscillation-related failures compared to the blue ones, mainly due to the presence of oscillation-supporting motifs. To reduce fluctuations in the results, only circuit topologies with over 200 failed trials are included. (b1, b2) A pair of network topologies that differ by only one link (from node C to B). (c1, c2) The distinct topologies in (b1, b2) leading to different distributions of failure mechanisms. The topology in (b1) primarily experiences growth-induced oscillation as the major failure mechanism, while the one in (b2) has barely any trials with growth-feedback-induced oscillations.

Bistability behind both the type-V and type-VI failures.
(a, b) Basin structure of the circuit shown in Figure 2e (with type-V failure) for input with different levels of growth feedback, for growth-feedback strength (weak) and (relatively strong). The coordinates and are the initial values of nodes A and B, respectively, corresponding to a two-dimensional slice of the entire four-dimensional phase space by fixing and . The color bar indicates the equilibrium value of node C before the input switch, which is . There is bistability in both cases, as there are two basins of attraction. The yellow region is the functional basin that has adaptation, while the blue region is a non-functional basin without adaptation. The relative size of the blue non-functional region with larger in this case is significantly larger and includes the initial state of the system (), causing a type-V circuit failure. (c) Diagram of from the circuit in Figure 2f with a type-VI failure. Prior to a threshold value of , one higher stable value of exists. After this threshold, the state suddenly switches to a lower one. Note that this abrupt change is not caused by a bifurcation. Instead, it is caused by continuously changing with respect to crossing a basin boundary of .

A family of circuit topologies with optimal performance.
The circuits both have a large volume of the functional region in the parameter space in the absence of growth feedback as characterized by a large value of and are robust against growth feedback with a high value of . (a) Values of and from all the 425 network topologies, where each data point corresponds to a topology. The family of optimal topologies is represented by the orange data points, including eight network topologies. (b) The set of links (motif) shared by this family of circuits. The combination of these links is also one of the minimal topologies with perfect adaptation in three regulatory logic (Shi et al., 2017).

Strong correlation between circuit robustness against growth feedback and circuit topology.
There are three groups of circuits, each displaying strong topological similarities within, exhibit distinct levels of robustness against growth feedback as measured by the characterizing quantity . (a) Robustness measure versus for all 425 network topologies. Circuits are color/shape-coded into three groups (green triangles, blue circles, and red diamonds) based on the rules defined in the text. The three groups of topologies display distinct levels of values, signifying a strong correlation between circuit robustness and topology. Only circuits with are shown to reduce fluctuations arising from random parameter sampling. What is demonstrated is the case of an intermediate level of growth feedback with (a different value of has no significant effect on the results – see Figure 7). The topologies associated with the green triangles have a high level of robustness, which can be regarded as an optimal group and is more prevalent than the optimal group identified in Figure 5. (b) Histogram of the same color legends as in (a). Three distinct peaks emerge, each associated with a group of circuit topologies. (c) The shared network motif among all networks in the green group, which is highly correlated with the optimal minimal network shown in Figure 5b, but without the link B B, which is necessary for the negative feedback loop (NFBL) family of networks to have adaptation (Shi et al., 2017). (d) Effects of burden for the three groups of networks, where the abscissa is the effective term of burden in the formula of growth rate Equation 12. The circuits in the red group have larger values of , suggesting that a heavier burden yields a stronger effect of the growth feedback for the red group. (e) A multilayer perceptron (MLP) for identifying the crucial connections that determine the robustness of the circuits. The circuit topology serves as the input, where 1, 0, and –1 represent activation, null, and inhibition links, respectively. The output is a predicted robustness measure, denoted as . To encourage the neural network to select as few links as possible for predicting , a l–1 regularization term, , is incorporated into the loss function alongside the fidelity error . As a result, the feed-forward process eliminates information about the links that have little impact on circuit robustness since the corresponding entries automatically optimize to values close to zero. (f) Results from an ensemble of 50 MLPs, each trained with distinct initial values. Shown is the average importance of each of the nine links, which is determined by the weights in – see Appendix 8. The top four links with the highest importance correspond to the four links used to classify the three peaks in panel (b).

Robustness of the circuit division into three groups subject to different levels of growth feedback.
From the left to the right, the four columns are for (a1, a2) , (b1, b2) , (c1, c2) , and (d1, d2) , respectively. The legends are the same as in Figure 6a, b. For different levels of growth feedback, the distribution of the robustness measure exhibits three distinct peaks that occur at approximately the same locations on the axis. The implication is that the division of the circuit topologies into three groups in terms of the robustness measure can be revealed by examining the circuit functions at a single value of the growth-feedback strength.

Scaling law governing the circuit robustness measure .
The blue curve is the average result of all the 425 network topologies. The other three curves represent circuits with different robustness levels: high (Circuit No. 98), moderate (Circuit No. 3), and low (Circuit No. 28) values of , to demonstrate that this scaling behavior is generic. Each of these three circuit topologies is selected from one of the three groups illustrated in Figures 6 and 7, and they have the highest value within their respective groups.

Functional failures in four-gene circuits under growth feedback.
(a) Ten representative four-gene circuits. The eight circuits in the first four columns are from Qiao et al., 2019, and the two circuits in the fifth column are selected due to the oscillation-related motifs in their topologies and the relatively high values when reduced to three-gene circuits. (b–d) Examples of the three major categories of growth-feedback-induced functional failures in the four-gene circuits, where the upper panels display the circuit outputs with smaller values for which the circuits remain functional and the lower panels showcase the circuit outputs with larger values for which the circuits lose their functionality. The vertical red dashed line marks the time when the input is switched to another state. The three failure categories are identical to these in the three-gene circuits in the main text: (b1, b2) continuous trajectory deformation causing the system to cross thresholds associated with the sensitivity criterion, (c1, c2) growth-strengthened oscillations, and (d1, d2) growth-induced switching in bistability. The change in between panels (d1) and (d2) is small so as to show the abrupt change in the response at a critical point.

Scaling law of robustness measure for the single-gene self-activation circuit and the two-gene toggle switch circuit.
(a1, b1) The topology of the self-activation circuit and the decay of the robustness measure with the growth-feedback strength. (a2, b2) Same legends as (a1, b1), respectively, for the toggle switch circuit. Note the drastic difference in the range of values in (b1) and (b2) where approaches zero much more quickly in the former than in the latter, indicating the nearly immediate loss of functions of the single-gene circuit even under weak growth feedback.

Circuit performance for zero burden.
Shown is a comparison of the distributions of circuit failure scenarios under growth feedback for (a) as in the main text and (b) (zero burden). In both cases, there are six categories in spite of some quantitative differences in their probabilities, implying that, as the burden is reduced to zero from a finite value continuously, the failure scenarios are qualitatively the same. Notable is the fraction of circuits suffering type-I failures (violation of the precision criterion), which has a relatively large reduction for , a result that is consistent with the semi-quantitative analysis in Appendix 5.

Scaling law of circuit robustness measure for zero burdens.
(a1, b1) Representative scaling relations between and for as in the main text, plotted on two different scales. (a2, b2) Representative scaling relations for . The curves in (b2) are approximately linear, suggesting the scaling law (1) in the main text. In (b1), the curves are less linear where the added burden leads to more reduction in in the regime of weak growth feedback.

Dependence of the distribution of the robustness measure on circuit topology.
(a1) For (as in the main text), versus (a quantity that measures the likelihood of a functional circuit) for all 425 network topologies. (b1) Histogram of for constructed from all network topologies. (c1) versus the burden parameter. In (a1–c1), each data point represents a specific network topology. (a2–c2) The same legends as in (a1–c1), respectively, for . Even with the burden removed, the circuit topologies in the red group remain less stable than those in the green group.

Demonstration of circuit robustness against growth feedback being unrelated to negative feedback loop (NFBL) or feed-forward loop (IFFL) family membership.
The green and blue colors represent the NFBL and IFFL families, respectively. (a) Robustness measure versus , where each node represents a network topology. Circuits from both families are widely distributed across different levels of and intermingled. (b) Distributions of for the two families, which are quite similar.

Demonstration of oscillation-related bifurcations.
Here we demonstrate two types of oscillation-related bifurcations: (a–f) infinite-period bifurcation and (g–k) saddle-node bifurcation of cycles. Panels (a–e) show the output signal of a circuit around an infinite-period bifurcation with increasing . The circuit fails between panels (a) and (b) due to the emergent oscillation. Panel (f) shows the length of the oscillation period with respect to after the critical value. There is no persisting oscillation before the critical . Panels (g–j) show the output signal of another circuit around a saddle-node bifurcation of cycles with increasing . The circuit failed between panels (i) and (j). Panel (k) shows the length of the oscillation period with respect to after the critical value, where two distinct branches exist on the two sides of the critical .