Figure 1.
Schematic of a chemical model of a gene regulated by two transcription factors.
Transcription factors A and B may irreversibly form an inert dimer, C, or they may bind individually or simultaneously to the promoter region of the gene, where they affect the transcription rate. Transcripts, T, are translated into proteins, Z. Both T and Z decay at fixed rates.
Table 1.
Symbols that pertain throughout the paper and that are used in particular for the the description and analysis of arithmetic genes.
Table 2.
Symbols that are used in the context of the network for detecting significant elevation in a time-varying signal.
Table 3.
Symbols that are used in the context of the gene for approximating analytic functions.
Figure 2.
Regulatory architectures and parameters for approximating various arithmetic and comparison operations.
(A) Diagrams depict the reactions employed to achieve each operation. The A–B dumbbell is bold if A and B dimerize and gray if they do not. The four circles connected as a diamond represent different binding states of the promoter. In bold are achievable binding states, with bold connecting bars indicating the allowed transitions. A bold arrow leaving a circle to the right indicates a binding state in which transcription occurs. (B) Steady state expression and parameter constraints. Each row of the table corresponds to one operation. The [Z] column gives the exact and approximate steady-state expression of the gene. The exact steady state is obtained from Equation (24), assuming parameters conform to the formulae in the “Production-decay balance” column and setting to zero those parameters implied to be zero by the diagrams in (A). The final column of the table describes under what conditions each operation is well approximated. The symbol ⊝ denotes zero-truncated subtraction, defined as x⊝y = max(x–y, 0).
Figure 3.
Accuracy with which the genetic designs in Figure 2 approximate the intended operations.
We quantify accuracy in terms of relative error—|f([Atot],[Btot])−[Z]|/f([Atot],[Btot]) for the arithmetic operations, and |f([Atot],[Btot])−[Z]|/Zon for the comparison operations, where f is the operation being approximated. The second column in the table gives relative error in terms of the kinetic parameters. The third column gives the relative error in terms of the fraction of time the promoter spends bound by different combinations of transcription factors at steady state.
Figure 4.
Stochastic kinetics simulation of an Addition gene, for varying rates of transcription factor binding and unbinding.
Larger values of ρ correspond to both faster binding and unbinding, with no change in the equilibrium association constant. (A) Sample traces of the output, Z(t). (B) Empirical noise (standard deviation divided by mean) in the output. Dashed line gives the expected noise under the steady state assumption for the promoter. (C) Mean output, which is independent of ρ. See Materials and Methods for details, including kinetic parameters.
Figure 5.
(A) Diagram of a network of arithmetic genes that computes the mean and standard deviation of a time-varying signal, I(t), and responds when the signal is statistically significantly elevated.
Circles represent genes. An arrow between genes Gi and Gj means that Gi's protein is an input to (transcription factor for) Gj. Symbols inside the circles denote the operation computed. μ denotes a gene that is activated proportional to its input, but operates at a slower time scale than the other genes, resulting in a recency-weighted temporal average of its input. (B–E) Simulation results. (B) The input signal is primarily a sinusoidal oscillation with Gaussian noise added. The mean changes on days 8 and 11, and the amplitude changes on day 14. There are short spikes in the signal on days 5, 6, 7, 17, 18 and 19. See Materials and Methods for details. An “X” marks each time the signal is significantly elevated compared to its recent mean and standard deviation. (C) The overall response of the network is given by the expression level of gene G8. It correctly flags each significant elevation of the signal and does not respond at any other time. The responses to the input spikes do not last long because the spikes themselves do not last long. The responses to the changes in the oscillations on days 8 and 14 are short because the network quickly adjusts to the changed statistics of the input signal. (D,E) The mean and standard deviation of the sinusoidal oscillations, and the network's recency-weighted estimates of the mean and standard deviation of the signal, as encoded by the concentrations of the proteins for genes G3 and G6.
Figure 6.
Approximation of analytic function.
(A) Schematic of interactions for a gene regulated by a single transcription factor, A, via N independent binding sites. (B) For varying input levels, [A], the four curves represent: cos([A]), the 5th order Taylor series approximation of cosine centered at zero, the steady state output ([Z]) of a pair of genes computing the Taylor series approximation to cosine, and the steady state output when kinetic rates are optimized so that [Z]≈cos([A]), over the range [A]∈[0,2π] nM.
Table 4.
Parameters for the simulation of the network for detected significant elevations in a time-varying signal.
Table 5.
Optimized parameters for a pair of genes approximating the cosine function.