Five behaviors of binding and catalysis, derived and placed

The full five-step comparison for each behavior, then every result placed at its parameter conditions, read backwards for design, and bounded by what the regime enumeration of a written mechanism guarantees.

This chapter is the derivation companion to the core. The core shows five behaviors that cells build from binding and catalysis: the sign of regulation, a threshold, memory, adaptation and a rhythm. It explains each one by the allocation of a finite pool. Here each behavior is derived in full, with every model written out, every limit taken explicitly and every number traced to a calculation. Nothing below assumes an equation from the core.

The chapter has one method and one destination. The method is a five-step comparison between a binding-catalysis model and the effective rate law usually written in its place. The destination is a table that puts each example, and each published result about the same behavior, at the parameter conditions where it holds. A reader who finishes should be able to take a mechanism this page never mentions, run the five steps, and place a result on that table.

Parts 2 to 6 run the comparison on the five behaviors, one part each. Part 7 collects them. It shows that every boundary on the placement table has been derived, reads the table backwards for design, and states what the enumeration of regimes guarantees about a written mechanism and what it leaves to the closed dynamics. The lineage tells how the field reached each verdict. This page cites the literature for authority only.

Conventions

A bare species symbol is a free concentration: XX, RR, PP. A total, the sum over every state that contains a constituent, is qXq_X. A complex of A and B is CABC_{AB}, and the dissociation constant of a pair is KdK_d, or a labelled K when a page carries several. An elementary step gets a straight arrow with its microscopic constants. A composite step, such as transcription, translation, degradation or dilution, gets a bare squiggle, and its rate law is written beside it.

Every number carries one of four labels, stated where it appears. Exact means exact within the stated reduced model, usually a closed form. Leading order means a limit or a dominance approximation, with its condition named. Numerical means a model prediction computed at stated illustrative parameters. Reported means a measurement or a stated value in a cited source, with its page. No number here is a fit to data.

Part 1

A fair comparison

What is compared, how an effective law sits inside a binding-catalysis model, and what matching the two can and cannot fix.

1A behavior is a property of the closed loop

A response curve describes one experiment on a binding layer. A behavior belongs to the vector field on the totals, once production and removal close the loop.

The object of comparison is a vector field on totals, so we build one concretely first. Take a protein X that binds one partner Y. Binding is the elementary pair

X+Y⇌k−k+CXY,Kd=k−k+,X+Y\xrightleftharpoons[k_-]{k_+}C_{XY},\qquad K_d=\frac{k_-}{k_+},(1)

where k+k_+ is the association rate constant, k−k_- the dissociation rate constant, and KdK_d their ratio, the dissociation constant, a concentration. Binding moves molecules between states without changing how many X there are. The totals count every state:

qX=X+CXY,qY=Y+CXY.q_X=X+C_{XY},\qquad q_Y=Y+C_{XY}.(2)

Binding is fast against everything else, so at every instant the pair sits at equilibrium, KdCXY=XYK_dC_{XY}=XY. Given the totals, eqs. (1) and (2) fix every free species and complex. That is Lecture 8's binding layer.

Production and removal change the totals, and that closes the loop. Suppose X is made by a composite step whose rate law vprodv_\mathrm{prod} depends on the binding layer, for instance on how much of a promoter is free. Its total then obeys an addition-removal balance:

q˙X=vprod(q;b)−(removal of every X-containing state).\dot q_X=v_\mathrm{prod}(q;b)-(\text{removal of every X-containing state}).(3)

Here q collects the totals and b the binding constants and activities. The binding layer computes the production law from the totals, and the balance moves the totals. A behavior is what this closed loop does.

The removal term has a rule, and the rule is part of the model. If free X is removed at frequency λf\lambda_\mathrm{f} and bound X at λb\lambda_\mathrm{b}, the loss is λfX+λbCXY\lambda_\mathrm{f}X+\lambda_\mathrm{b}C_{XY}. We write θ=λb/λf\theta=\lambda_\mathrm{b}/\lambda_\mathrm{f} for the bound-to-free removal ratio. Growth dilution removes every state alike, so θ=1\theta=1 and the loss is λqX\lambda q_X, a function of the total alone. Removal of free X only, for example by a protease that cannot reach bound X, has θ=0\theta=0, and binding then protects X. These are the two variants Lecture 8's coda handed over. Part 6 shows that the whole range of θ\theta matters.

A behavior is one of four properties of that vector field. It can be how a steady state depends on a total, how many attractors exist, how far the output returns after a sustained step of input, or whether a stable cycle exists. The first is a static input-output behavior and the other three are dynamical. A steep response curve of the binding layer alone, measured at fixed totals, is a static relation of that layer, and a count of binding states is a property of the layer too. The loop can turn either into different closed-loop behaviors or into none.

Each comparison in this chapter runs five steps, and each step removes one ambiguity.

  1. Model. Write the elementary binding steps, the composite production and removal steps with their rate laws, the totals, the removal rule and the observable.
  2. Limit. Derive the effective rate law as a limit of that model, and name the assumptions that make it exact.
  3. Match. Choose parameters so that both give the same response at one reference condition.
  4. Move a total. Change what a cell changes: an input total, a regulator total, a site number, a removal rate.
  5. Close the loop. Read the behavior from the closed dynamics: steady states, their stability, the error after a step, or a cycle.

Two of the five steps exist to keep the comparison fair, and two to make it informative. Step 2 makes the effective law a correct answer to a narrower question, not a strawman. Step 3 prevents a difference of scale from posing as a difference of mechanism. Step 4 is where the two models can part. Step 5 decides whether the parting is a difference in behavior.

State a behavior as a property of the closed vector field on the totals, with the removal rule named by its bound-to-free ratio θ\theta, and plan every comparison as model, limit, match, move a total, close the loop.

2One binding pair supplies the elementary calculation

Most effective laws in this chapter are the binding pair of eq. (1) evaluated in one of its regimes, and the multisite and multimer laws of Parts 3 and 4 are assembled from the same calculation. Drawn on the pair's map, a law is a cut that stays on one side of a boundary.

The pair has an exact solution, and the effective laws are its limits. Write the pair generically as E+S⇌k−k+CESE+S\xrightleftharpoons[k_-]{k_+}C_{ES}, with totals qE=E+CESq_E=E+C_{ES} and qS=S+CESq_S=S+C_{ES}. Substituting E=qE−CESE=q_E-C_{ES} and S=qS−CESS=q_S-C_{ES} into KdCES=ESK_dC_{ES}=ES gives a quadratic, CES2−TCES+qEqS=0C_{ES}^2-TC_{ES}+q_Eq_S=0 with T=qE+qS+KdT=q_E+q_S+K_d. Its physical root is the smaller one, written without a cancelling difference:

CES=2qEqST+T2−4qEqS.C_{ES}=\frac{2q_Eq_S}{T+\sqrt{T^2-4q_Eq_S}}.(4)

The root lies between zero and the smaller total, as a complex must.

Lecture 8 sorts the pair into four regimes by which term wins each total. A regime names the winner of qEq_E first, then the winner of qSq_S. Keeping only the winners and the binding relation gives one monomial law per regime. Each law is accurate to leading order deep inside its sector, where the stated inequalities hold with a wide margin:

RegimeLeading-order lawSector where the law is accurate
(E,S)(E,S)CES≈qEqS/KdC_{ES}\approx q_Eq_S/K_dqE≪Kdq_E\ll K_d and qS≪Kdq_S\ll K_d
(E,CES)(E,C_{ES})CES≈qSC_{ES}\approx q_S, S≈KdqS/qES\approx K_dq_S/q_EqS≪qEq_S\ll q_E and qE≫Kdq_E\gg K_d
(CES,S)(C_{ES},S)CES≈qEC_{ES}\approx q_E, E≈KdqE/qSE\approx K_dq_E/q_SqE≪qSq_E\ll q_S and qS≫Kdq_S\gg K_d
(CES,CES)(C_{ES},C_{ES})E≈S≈KdqEE\approx S\approx\sqrt{K_dq_E}qE≫Kdq_E\gg K_d and ∣qE−qS∣≪KdqE|q_E-q_S|\ll\sqrt{K_dq_E}

The last regime is singular, and for a structural reason. The complex wins both totals, so the two winner equations, CES≈qEC_{ES}\approx q_E and CES≈qSC_{ES}\approx q_S, select the same column and leave E and S undetermined. Its law needs one more balance. The difference of the totals is exact, qE−qS=E−Sq_E-q_S=E-S, so near the ray E≈SE\approx S, and binding gives ES=KdCES≈KdqEES=K_dC_{ES}\approx K_dq_E. A small free pool of size KdqE\sqrt{K_dq_E} survives where nearly everything is bound. The condition E≈SE\approx S needs the difference of the totals to be small on that scale, not merely the totals to look close on a log plot.

The sector lines are leading-order boundaries, not exact ties. An exact tie is an equal contribution of two terms to one total. Free and bound E contribute equally where CES=qE/2C_{ES}=q_E/2, and binding then forces S=KdS=K_d, so the tie lies on the curve qS=Kd+qE/2q_S=K_d+q_E/2. Free and bound S tie on qE=Kd+qS/2q_E=K_d+q_S/2. The leading-order map draws the first of these as qS=max⁡(Kd,qE)q_S=\max(K_d,q_E), which differs from the exact curve by at most a factor of 2. Lecture 8 guaranteed agreement within such bounded factors and no more. A tie marks a boundary between two regimes. It is a different thing from the singular regime above, where the winners are dependent.

The Michaelis-Menten law is the pair wherever the free substrate wins its own total. If S≈qSS\approx q_S, then E=qE−CESE=q_E-C_{ES} and KdCES=(qE−CES)qSK_dC_{ES}=(q_E-C_{ES})q_S give

CES≈qE qSKd+qS.C_{ES}\approx q_E\,\frac{q_S}{K_d+q_S}.(5)

The condition S≈qSS\approx q_S holds in the regimes (E,S)(E,S) and (CES,S)(C_{ES},S), that is when qS≫qEq_S\gg q_E or Kd≫qEK_d\gg q_E. This validity condition is the one Liu, Ren and Xiao derived for the law.1 Outside it the substrate is held in the complex, and eq. (5) has no way to say so.

The Hill law with coefficient 1 is the free partner on a weak cut. Hold qEq_E far below KdK_d, the partner in trace, and sweep qSq_S. The free species S then wins its total, so CES/E=S/Kd≈qS/KdC_{ES}/E=S/K_d\approx q_S/K_d, and the free fraction of the partner is

EqE≈KdKd+qS.\frac{E}{q_E}\approx\frac{K_d}{K_d+q_S}.(6)

This is a repression law of Hill coefficient 1 in the total qSq_S. Its log-slope, −dln⁡(E/qE)/dln⁡qS=qS/(Kd+qS)-d\ln(E/q_E)/d\ln q_S=q_S/(K_d+q_S), never reaches 1. A promoter in trace read by a repressor is this cut.

A titration switch is the same partner on a tight cut. Hold qEq_E far above KdK_d. Below the ray, where qE−qS≫KdqEq_E-q_S\gg\sqrt{K_dq_E}, the complex holds nearly all of S, and the free partner falls only as the sites fill, E≈qE−qSE\approx q_E-q_S. Above it, where qS−qE≫KdqEq_S-q_E\gg\sqrt{K_dq_E}, the complex holds nearly all of E, the free S is qS−qEq_S-q_E, and E≈KdqE/(qS−qE)E\approx K_dq_E/(q_S-q_E). The (CES,S)(C_{ES},S) law E≈KdqE/qSE\approx K_dq_E/q_S needs the further excess qS≫qEq_S\gg q_E. Between these the free partner drops by a factor of order qE/Kdq_E/K_d, passing through KdqE\sqrt{K_dq_E} on the ray. A promoter pool read by a repressor whose total passes the pool is this cut, and Parts 4 and 6 use it.

The examples as cuts through one binding pair Lecture 8's map of one pair, in units of its own dissociation constant 0.001 0.1 10 1000 10⁵ 0.001 0.1 10 1000 10⁵
qS/Kd  (swept total)q_S/K_d\ \ (\text{swept total})
qE/Kd  (partner total, held)q_E/K_d\ \ (\text{partner total, held})
(E,S)(E,S)
(E,CES)(E,C_{ES})
(CES,S)(C_{ES},S)
repressor with inducer
qR/KRI=104q_R/K_{RI}=10^4
promoter pool of the ring
qP/K=200q_P/K=200
ring threshold
qP/K=7+43q_P/K=7+4\sqrt3
activator with inducer
qA/KAI≈1q_A/K_{AI}\approx 1
partner in trace
qP≪K: Hill law, n=1q_P\ll K:\ \text{Hill law, }n=1
diagonal: the singular ray (CES,CES)\text{diagonal: the singular ray }(C_{ES},C_{ES})
thick stretch: what one cycle of the monomer ring sweeps dot: where a cut crosses the singular ray (a switch) or the corner (a kink)

Scroll inside the figure to see it at reading size.

Figure 1. The examples as cuts through one binding pair. The pair's regimes in totals scaled by its own dissociation constant: the partner total, held, on the vertical axis and the swept total on the horizontal. Gray lines are the boundaries of the leading-order map, within a factor of 2 of the exact ties, and the plum diagonal is the singular ray. Each horizontal line is one example's cut. The activator and its inducer sit near the corner after matching, and the repressor and its inducer far above it (§6). A promoter pool at qP/K=200q_P/K=200 runs well above the ring's tightness threshold qP/K=7+43q_P/K=7+4\sqrt3 (§26), and the thick stretch is what one cycle of the monomer ring sweeps. A partner in trace gives the Hill law of eq. (6). Exact boundaries of the leading-order map; the cycle stretch is numerical (§28).

Only the winners of the conservation sums are a dominance regime. A regime is a choice of one winning term per total, nothing more. The observable, the controlled input and the removal rule are separate model choices. A different observable reads the same allocation differently, as free and total output do in Part 5. A different removal rule changes the vector field without changing any allocation. A different architecture changes the conservation sums themselves. All four must be named to interpret a result, and only the first is a regime.

A cut's height decides the kind of response, and the height is a ratio of totals to KdK_d. Below the corner a cut breaks once, at qS=Kdq_S=K_d, where one total changes winner, and the response is graded. Above it a cut crosses the singular ray, where in the leading-order map both totals change winner together, and the response switches. At finite binding the two exact ties stay distinct: on a cut at fixed qE≫Kdq_E\gg K_d they sit near qS=qE/2q_S=q_E/2 and qS=2qEq_S=2q_E. Between them lies a broad intermediate band, and the free partner's collapse is concentrated in a much narrower rounding layer of width about KdqE\sqrt{K_dq_E} around the ray. Lecture 11 develops the general geometry of such maps for networks with many pairs. This chapter needs only the one-pair map, applied once per example.

Locate an effective law as a cut through a binding pair's map: name the regime it stays in, write the condition on the totals that keeps it there, and predict a switch wherever a path crosses the singular ray.

3Matching fixes one scale and leaves the totals free

Matching two models at a reference condition sets one constant for each quantity matched. It does not make the models equivalent, because it says nothing about how either one stores a total.

A match sets as many constants as it equates. To match a floor, a ceiling and a midpoint of two response curves, one chooses three parameters. The choice is a calibration, a fact about the parameters, not about the mechanisms. The binding-catalysis supplement of the lecturer's group makes the same point about a matched pair of induction circuits: the equality of the fitted curves is a calibration choice, not an identity of the full equilibrium.2

A match leaves three things free. It leaves the inventories: how much of each total sits in complexes rather than free. It leaves the joint states, such as which promoter states coexist. And it leaves the response to a total the match did not touch. Step 4 moves exactly such a total.

A match can move the two models to opposite sides of a regime boundary. Part 2 matches an induced activator to an induced repressor in free inducer. The match forces the activator to bind its inducer about 10410^4 times more weakly than the repressor does. On the map of Figure 1, it puts the activator's inducer pair near the corner and the repressor's far above it. The two circuits then answer a change of inducer total in opposite ways, and the match itself predicted it.

A contrast is stated with its conditions, and only a counterexample under those conditions refutes it. Each contrast below names its model, its observable, its controlled input, its removal rule and the one parameter it moves. A reproduced counterexample under exactly those statements would refute that contrast. A second successful fit of the effective law refutes nothing. The law should keep working wherever its regime holds, and it can agree by accident outside it.

After matching two models, list what the match fixed and which totals it left free, check where each model's pairs sit on the map, and state every contrast with the conditions a counterexample would have to meet.

Part 2

Sign of regulation

An inducer can turn a gene on through an activator or through a repressor. Matched in free inducer, the two circuits compute different functions of the inducer total. The core draws the two circuits side by side.

4The repressor circuit reduces to one equation

A repressor circuit has five binding species, but its equilibrium is one monotone equation for the free repressor, and its output reads that free repressor.

1 · Model, repressor. The job is to switch on a gene, the output protein G, when an inducer I appears. The repressor R binds the promoter D and blocks expression. The inducer binds the repressor, and the complex CRIC_{RI} cannot bind the promoter. The binding steps are elementary, and expression and removal are composite:

R+I⇌k−RIk+RICRI,D+R⇌k−DRk+DRCDR,D⇝D+G  (rate law aD),G⇝∅  (rate law δqG).\begin{aligned}&R+I\xrightleftharpoons[k_{-RI}]{k_{+RI}}C_{RI},\qquad D+R\xrightleftharpoons[k_{-DR}]{k_{+DR}}C_{DR},\\ &D\rightsquigarrow D+G\ \ (\text{rate law }aD),\qquad G\rightsquigarrow\varnothing\ \ (\text{rate law }\delta q_G).\end{aligned}(7)

Here a is the expression activity of a free promoter and δ\delta the removal frequency of the output. The two dissociation constants are KRI=k−RI/k+RIK_{RI}=k_{-RI}/k_{+RI} and KDR=k−DR/k+DRK_{DR}=k_{-DR}/k_{+DR}. The letter pair in a subscript names the partners. At equilibrium KRICRI=RIK_{RI}C_{RI}=RI and KDRCDR=DRK_{DR}C_{DR}=DR, and the three totals are

qR=R+CDR+CRI,qI=I+CRI,qD=D+CDR.q_R=R+C_{DR}+C_{RI},\qquad q_I=I+C_{RI},\qquad q_D=D+C_{DR}.(8)

Every species follows from the free repressor. The promoter total and its binding relation give D=qDKDR/(KDR+R)D=q_DK_{DR}/(K_{DR}+R) and CDR=qDR/(KDR+R)C_{DR}=q_DR/(K_{DR}+R). The inducer total gives, in the same way, CRI=qIR/(KRI+R)C_{RI}=q_IR/(K_{RI}+R). Substituting both into the repressor total leaves one equation for R:

R+qDRKDR+R+qIRKRI+R=qR.R+\frac{q_DR}{K_{DR}+R}+\frac{q_IR}{K_{RI}+R}=q_R.(9)

The left side rises strictly with R, from zero at R=0R=0 to at least qRq_R at R=qRR=q_R. So eq. (9) has exactly one root in (0,qR](0,q_R], for every set of totals.

The output reads the free repressor. Production is v=aDv=aD, so the production per promoter, in units of the free-promoter activity, is

va qD=KDRKDR+R.\frac{v}{a\,q_D}=\frac{K_{DR}}{K_{DR}+R}.(10)

This is the observable throughout Part 2. Because it reads a free species, it inherits the titration switch of §2 whenever the inducer total drives the free repressor across a ray.

The illustrative parameters put the repressor far above its operator constant. In nanomolar, qR=100q_R=100, KDR=1K_{DR}=1, KRI=0.01K_{RI}=0.01 and qD=0.1q_D=0.1, a trace promoter. The excess of the repressor over its operator constant is ρ=qR/KDR=100\rho=q_R/K_{DR}=100. These are model parameters chosen for clarity, not measurements.

Reduce a one-promoter repressor circuit to the single monotone equation (9) for the free repressor, and read its output as the free-promoter fraction (10).

5The activator circuit reduces to one equation, and its order is capped

The activator circuit also reduces to one equation, for the inducer-bound activator. Its output is a complex, and a complex holding one inducer can never rise faster than the inducer total.

1 · Model, activator. The activator A binds the inducer, and only the complex CAIC_{AI} binds the promoter, as CDAIC_{DAI}. The free activator cannot bind the promoter. Both promoter states express:

A+I⇌k−AIk+AICAI,D+CAI⇌k−DAk+DACDAI,D⇝D+G  (rate law a0D),CDAI⇝CDAI+G  (rate law a1CDAI),G⇝∅  (rate law δqG).\begin{aligned}&A+I\xrightleftharpoons[k_{-AI}]{k_{+AI}}C_{AI},\qquad D+C_{AI}\xrightleftharpoons[k_{-DA}]{k_{+DA}}C_{DAI},\\ &D\rightsquigarrow D+G\ \ (\text{rate law }a_0D),\quad C_{DAI}\rightsquigarrow C_{DAI}+G\ \ (\text{rate law }a_1C_{DAI}),\quad G\rightsquigarrow\varnothing\ \ (\text{rate law }\delta q_G).\end{aligned}(11)

The constants a0a_0 and a1a_1 are the activities of the free and the loaded promoter. At equilibrium KAICAI=AIK_{AI}C_{AI}=AI and KDACDAI=DCAIK_{DA}C_{DAI}=DC_{AI}, with totals

qA=A+CAI+CDAI,qI=I+CAI+CDAI,qD=D+CDAI.q_A=A+C_{AI}+C_{DAI},\qquad q_I=I+C_{AI}+C_{DAI},\qquad q_D=D+C_{DAI}.(12)

Every species follows from the inducer-bound activator. Write c=CAIc=C_{AI}. The promoter gives CDAI=qDc/(KDA+c)C_{DAI}=q_Dc/(K_{DA}+c). Let s(c)=c+CDAIs(c)=c+C_{DAI} be what the complexes hold of both the activator and the inducer. Then A=qA−s(c)A=q_A-s(c) and I=qI−s(c)I=q_I-s(c), and the binding relation of the pair becomes

(qA−s(c))(qI−s(c))=KAI c.\big(q_A-s(c)\big)\big(q_I-s(c)\big)=K_{AI}\,c .(13)

The left side falls and the right side rises as c grows from zero to the point where s(c)=min⁡(qA,qI)s(c)=\min(q_A,q_I). So eq. (13) has one root. The production is v=a0D+a1CDAI=a0qD+(a1−a0)CDAIv=a_0D+a_1C_{DAI}=a_0q_D+(a_1-a_0)C_{DAI}, and the rise above the floor is proportional to the active complex.

The active complex never rises faster than the inducer total, and the proof takes two observations. First, the share of the inducer that sits in the active complex depends only on the free activator and the free promoter. Second, both fall when inducer is added. Take the first. Every species is a product of free constituents, CAI=AI/KAIC_{AI}=AI/K_{AI} and CDAI=DAI/(KAIKDA)C_{DAI}=DAI/(K_{AI}K_{DA}), so the free inducer cancels from the share:

CDAIqI=DA/(KAIKDA)1+A/KAI+DA/(KAIKDA).\frac{C_{DAI}}{q_I}=\frac{DA/(K_{AI}K_{DA})}{1+A/K_{AI}+DA/(K_{AI}K_{DA})}.(14)

This share rises with A and with D.

The second observation follows from the Jacobian of the totals, which is positive definite. Differentiate the totals with respect to the logarithms of the free constituents A, I and D. Each species contributes its concentration once for every constituent it contains, so the Jacobian is the symmetric matrix

M=(qACAI+CDAICDAICAI+CDAIqICDAICDAICDAIqD),d (qA,qI,qD)T=M d (ln⁡A,ln⁡I,ln⁡D)T.M=\begin{pmatrix}q_A&C_{AI}+C_{DAI}&C_{DAI}\\ C_{AI}+C_{DAI}&q_I&C_{DAI}\\ C_{DAI}&C_{DAI}&q_D\end{pmatrix},\qquad d\,(q_A,q_I,q_D)^{\mathsf T}=M\,d\,(\ln A,\ln I,\ln D)^{\mathsf T}.(15)

It is positive definite, because for any vector w the form wTMww^{\mathsf T}Mw is a sum of species concentrations times squares. Adding inducer at fixed qAq_A and qDq_D changes the free logarithms by M−1M^{-1} times (0,dqI,0)(0,dq_I,0). The two entries of M−1M^{-1} that matter are cofactors:

(M−1)AI=−(CAI+CDAI) qD−CDAI 2det⁡M≤0,(M−1)DI=−CDAI Adet⁡M≤0.\big(M^{-1}\big)_{AI}=-\frac{(C_{AI}+C_{DAI})\,q_D-C_{DAI}^{\,2}}{\det M}\le0,\qquad \big(M^{-1}\big)_{DI}=-\frac{C_{DAI}\,A}{\det M}\le0.(16)

The first numerator is nonnegative because qD≥CDAIq_D\ge C_{DAI}. So free activator and free promoter both fall as the inducer total rises, the share (14) falls, and

0≤dln⁡CDAIdln⁡qI≤1.0\le\frac{d\ln C_{DAI}}{d\ln q_I}\le1 .(17)

The lower bound holds because CDAI=qD−DC_{DAI}=q_D-D rises as D falls. This is exact for every parameter set of the circuit (11), promoter loading included.

An order of at most 1 caps the Hill coefficient at 2. Measure steepness by nH=ln⁡81/ln⁡(EC90/EC10)n_H=\ln81/\ln(\mathrm{EC}_{90}/\mathrm{EC}_{10}), where EC10\mathrm{EC}_{10} and EC90\mathrm{EC}_{90} are the inputs giving 10% and 90% of the rise. The normalized rise is CDAI/CDAImax⁡C_{DAI}/C_{DAI}^{\max}, and by eq. (17) its log-slope is at most 1. A ninefold rise of the response, from 0.1 to 0.9, then needs at least a ninefold rise of input. So EC90/EC10≥9\mathrm{EC}_{90}/\mathrm{EC}_{10}\ge9 and nH≤ln⁡81/ln⁡9=2n_H\le\ln81/\ln9=2, whatever the parameters. The repressor's output (10) reads a free species, which carries no such bound. The lecturer's thesis states the general form of this dichotomy: an activating regulator acts through a complex, whose order in a total is bounded between 0 and 1, while a repressing regulator acts through a free species, whose order can become arbitrarily negative under tight binding.3

Reduce the activator circuit to eq. (13), and bound its response without computing it: the active complex has order at most 1 in the inducer total, so its Hill coefficient in that total is at most 2.

6Three assumptions give one free-inducer law

With binding at equilibrium, the free inducer clamped and the promoter in trace, both circuits become one Michaelis-Menten law with a floor. Matching them costs one affinity ratio of about 10410^4.

2 · Limit. Three assumptions give the usual effective law. Binding is at equilibrium. The free inducer I is the controlled input, as when a large medium holds it fixed. The transcription factor far exceeds the promoter, qD≪qRq_D\ll q_R and qD≪qAq_D\ll q_A, so loading the promoter does not deplete the factor. The fast subsystem removed is the binding layer, justified by binding equilibrium. The promoter in trace is a dominance choice: the factor wins its own total.

The repressor circuit becomes Michaelis-Menten in free inducer, with a floor. With the promoter in trace, the free repressor is the share of its total that holds no inducer, R=qRKRI/(KRI+I)R=q_RK_{RI}/(K_{RI}+I). Substituting into eq. (10) and rearranging,

va qD=11+ρ+ρ1+ρ IKeff+I,Keff=KRI(1+ρ).\frac{v}{a\,q_D}=\frac{1}{1+\rho}+\frac{\rho}{1+\rho}\,\frac{I}{K_\mathrm{eff}+I},\qquad K_\mathrm{eff}=K_{RI}(1+\rho).(18)

The floor 1/(1+ρ)1/(1+\rho) is the leak of a repressed promoter, and the rise above it is half complete at the free inducer KeffK_\mathrm{eff}.

The activator circuit becomes the same form. With the promoter in trace, the inducer-bound activator is c=qAI/(KAI+I)c=q_AI/(K_{AI}+I), and the loaded fraction of the promoter is c/(KDA+c)c/(K_{DA}+c). With ρA=qA/KDA\rho_A=q_A/K_{DA} that fraction rearranges to ρA1+ρA I/(KAI/(1+ρA)+I)\tfrac{\rho_A}{1+\rho_A}\,I/(K_{AI}/(1+\rho_A)+I). The production per promoter is (a0/a)(a_0/a) times the free fraction plus (a1/a)(a_1/a) times the loaded fraction. Its half-rise point is KAI/(1+ρA)K_{AI}/(1+\rho_A).

3 · Match. Three choices make the two laws identical. Give both factors the same excess, ρA=ρ=100\rho_A=\rho=100. Set the activities so that the floors and ceilings agree: the floor needs a0=a/(1+ρ)a_0=a/(1+\rho), and a ceiling of 1 then needs a1=a(2+ρ)/(1+ρ)a_1=a(2+\rho)/(1+\rho). Equal half-rise points need

KAI1+ρ=KRI(1+ρ)⟺KAI=(1+ρ)2KRI.\frac{K_{AI}}{1+\rho}=K_{RI}(1+\rho)\qquad\Longleftrightarrow\qquad K_{AI}=(1+\rho)^2K_{RI}.(19)

At the illustrative parameters KAI=102.01 nMK_{AI}=102.01\ \mathrm{nM} and Keff=1.01 nMK_\mathrm{eff}=1.01\ \mathrm{nM} in both circuits. The exact circuits then agree with each other and with eq. (18) within 0.1% (numerical, Figure 2, left).

The match moves the two inducer pairs to opposite sides of the corner. Eq. (19) makes the repressor bind its inducer (1+ρ)2≈104(1+\rho)^2\approx10^4 times more tightly than the activator does. Excess activator lowers the half-rise point, because a few induced activators already fill the promoter. Excess repressor raises it, because nearly all of the repressor must be inactivated. On the map of Figure 1, the activator and its inducer sit at qA/KAI≈0.98q_A/K_{AI}\approx0.98, at the corner, and the repressor and its inducer at qR/KRI=104q_R/K_{RI}=10^4, far above it. The first cut is graded and the second switches, and §7 confirms both.

In this regime the two designs differ only in the sign of one sensitivity. Savageau compared activator and repressor control in systems that were otherwise identical, and found that the only inherent difference was their response to regulatory mutations (p. 5647).4 In eq. (18) and its activator twin, a change of the regulator's own total is such a mutation. §8 derives the two responses and finds them equal and opposite. That verdict is exact in the regime of the three assumptions.

Before trusting a matched induction law, name its three assumptions, write the affinity ratio the match forces, here (1+ρ)2(1+\rho)^2, and locate each circuit's inducer pair on the map.

7In the inducer total, the repressor switches where its store runs out

When the cell controls the inducer total, each circuit must first fill its own store of bound inducer. The repressor's store is its whole total, so it switches there. The activator's store is small, so it stays graded.

4 · Move a total. Let the cell set the inducer total qIq_I, as it does for a metabolite or a second messenger it makes itself. The inducer then splits between free and bound, and only the free part enters the law (18).

Counting the stored inducer at half rise gives both half-rise totals. At half rise both circuits hold free inducer KeffK_\mathrm{eff}, by eq. (18). Take the repressor first. Setting eq. (10) to the half level (2+ρ)/(2(1+ρ))(2+\rho)/(2(1+\rho)) gives R=qR/(2+ρ)R=q_R/(2+\rho). All other repressor holds an inducer, apart from at most qDq_D on the promoter, so the stored inducer is qR(1+ρ)/(2+ρ)=99.0 nMq_R(1+\rho)/(2+\rho)=99.0\ \mathrm{nM}. For the activator, the bound inducer at I=KAI/(1+ρ)I=K_{AI}/(1+\rho) is qAI/(KAI+I)=qA/(2+ρ)=0.98 nMq_AI/(K_{AI}+I)=q_A/(2+\rho)=0.98\ \mathrm{nM}. Adding free and stored inducer,

qI,1/2≈Keff+1+ρ2+ρ qR=100.0 nM  (repressor),qI,1/2≈Keff+qA2+ρ=1.99 nM  (activator).q_{I,1/2}\approx K_\mathrm{eff}+\frac{1+\rho}{2+\rho}\,q_R=100.0\ \mathrm{nM}\ \ \text{(repressor)},\qquad q_{I,1/2}\approx K_\mathrm{eff}+\frac{q_A}{2+\rho}=1.99\ \mathrm{nM}\ \ \text{(activator)}.(20)

The exact half-rise totals are 99.98 and 2.04 nM (numerical). The activator's estimate is 2.4% low, mostly because the loaded promoter also stores inducer, about 0.05 nM0.05\ \mathrm{nM} at half rise.

Matched in free inducer, split in the inducer total Exact equilibrium at the illustrative parameters. Open circles: leading-order half-rise estimates. 0 0.5 1 0.001 0.1 10 1000
I  (nM)I\ \ (\mathrm{nM})
v/(a qD)v/(a\,q_D)
0 0.5 1 0.01 1 100
qI  (nM)q_I\ \ (\mathrm{nM})
v/(a qD)v/(a\,q_D)
free inducer held inducer total held the three curves coincide activator repressor activator circuit repressor circuit free-inducer law
qA=qR=100, KDA=KDR=1, KRI=0.01, KAI=102.01, qD=0.1  (nM)q_A=q_R=100,\ K_{DA}=K_{DR}=1,\ K_{RI}=0.01,\ K_{AI}=102.01,\ q_D=0.1\ \ (\mathrm{nM})

Scroll inside the figure to see it at reading size.

Figure 2. Matched in free inducer, split in the inducer total. Production per promoter, eq. (10) and its activator twin, for the activator circuit (coral), the repressor circuit (blue) and the free-inducer law (18) (dashed). Left: against a clamped free inducer, where the three curves coincide. Right: against the inducer total. Open circles are the leading-order half-rise totals of eq. (20), 1.99 and 100.0 nM, at the half level. Exact equilibrium of eqs. (9) and (13) at the illustrative parameters of §4 and §6.

The shapes differ as much as the positions. In the inducer total the activator stays graded, with nH=1.02n_H=1.02, inside the cap of eq. (17). The repressor switches, with nH=25.7n_H=25.7 (both numerical).

In the tight-inducer limit the two responses are mirror images, and their Hill coefficients are related exactly. Let the inducer binding become tight, KRI→0K_{RI}\to0, with KAIK_{AI} rematched by eq. (19), and write x=qI/qRx=q_I/q_R. Then every inducer is bound. The free repressor is qR−qIq_R-q_I while x<1x<1, so eq. (10) becomes 1/(1+ρ(1−x))1/(1+\rho(1-x)), and the normalized rises of the two circuits are

NR(x)=x1+ρ(1−x),NA(x)=(1+ρ)x1+ρx,NR(x)=1−NA(1−x).N_R(x)=\frac{x}{1+\rho(1-x)},\qquad N_A(x)=\frac{(1+\rho)x}{1+\rho x},\qquad N_R(x)=1-N_A(1-x).(21)

Solving each for its 10% and 90% points gives

nR=ln⁡81ln⁡[9(1+0.1ρ)/(1+0.9ρ)]=52.2,nA=ln⁡81ln⁡[9(1+0.9ρ)/(1+0.1ρ)]=1.02,1nA+1nR=1,n_R=\frac{\ln81}{\ln\big[9(1+0.1\rho)/(1+0.9\rho)\big]}=52.2,\qquad n_A=\frac{\ln81}{\ln\big[9(1+0.9\rho)/(1+0.1\rho)\big]}=1.02,\qquad \frac1{n_A}+\frac1{n_R}=1 ,(22)

at ρ=100\rho=100, exact in the limit. For large ρ\rho, nR≈ρ/2n_R\approx\rho/2. In this limit the repressor computes a comparison of two totals, v/(aqD)≈KDR/(KDR+max⁡(0,qR−qI))v/(aq_D)\approx K_{DR}/(K_{DR}+\max(0,q_R-q_I)), the titration switch of §2 with the repressor as the sink for inducer. The activator reads the smaller of qIq_I and qAq_A through one saturating promoter.

At finite inducer affinity the steepness has a closed form, and it locates the tightness condition. With the promoter in trace, the response depends on the free inducer alone, so the 10% and 90% points in free inducer are Keff/9K_\mathrm{eff}/9 and 9Keff9K_\mathrm{eff}. The inducer total adds the stored inducer, CRI=qRI/(KRI+I)C_{RI}=q_RI/(K_{RI}+I), so ECx=Ix(1+qR/(KRI+Ix))\mathrm{EC}_x=I_x\big(1+q_R/(K_{RI}+I_x)\big). With σ=qR/KRI\sigma=q_R/K_{RI}, the ratio of the two points gives

nH=ln⁡81ln⁡ ⁣[9+9σ/(10+9ρ)1/9+σ/(10+ρ)].n_H=\frac{\ln81}{\ln\!\left[\dfrac{9+9\sigma/(10+9\rho)}{1/9+\sigma/(10+\rho)}\right]}.(23)

As σ→0\sigma\to0 the ratio is 81 and nH=1n_H=1. As σ→∞\sigma\to\infty it becomes the tight limit (22). The switch appears when the stored inducer outweighs the free inducer at both points, which needs σ≫10+9ρ\sigma\gg10+9\rho, roughly KRI≪KDR/9K_{RI}\ll K_{DR}/9: the repressor must bind its inducer sufficiently more tightly than its operator. Eq. (23) is continuous, so there is no universal threshold. At ρ=100\rho=100 and the nHn_H criterion used here, a ratio of 0.1 already gives 6.1 and a ratio of 1 gives 1.93, which is why the factor of ten is quoted as a working rule for these parameters. Eq. (23) gives 25.8, 6.11 and 1.93 at KRI/KDR=0.01K_{RI}/K_{DR}=0.01, 0.1 and 1, against exact values of 25.7, 6.10 and 1.93 with promoter loading (numerical, Figure 3).

Steepness rises continuously as inducer binding tightens Hill coefficient in the inducer total against the ratio of the two dissociation constants 1 2 5 10 20 50 100 10⁻⁴ 0.001 0.01 0.1 1 10 100
KRI/KDRK_{RI}/K_{DR}
nH  in the inducer totaln_H\ \ \text{in the inducer total}
tight limit 52.2 activator cap 2 illustrative: 0.1 closed form, promoter in trace exact repressor exact activator, rematched each time
qR=100KDR, qD=0.1KDR; shaded: KRI≤0.1KDRq_R=100K_{DR},\ q_D=0.1K_{DR};\ \text{shaded: }K_{RI}\le 0.1K_{DR}

Scroll inside the figure to see it at reading size.

Figure 3. Steepness rises continuously as inducer binding tightens. Hill coefficient in the inducer total against KRI/KDRK_{RI}/K_{DR}, at qR=100KDRq_R=100K_{DR}. Line: the closed form (23) with the promoter in trace. Blue dots: the exact repressor circuit, eq. (9) with qD=0.1KDRq_D=0.1K_{DR}. Coral dots: the exact activator circuit, rematched by eq. (19) at each point. Dashed lines: the tight limit 52.2 of eq. (22) and the activator's cap of 2 from eq. (17). Shaded: KRI≤0.1KDRK_{RI}\le0.1K_{DR}, an illustrative choice at this regulator total, where nH≥6.1n_H\ge6.1. Exact closed form and numerical equilibria.
The input must be a total the cell controls

The threshold needs two conditions: tight inducer binding, derived above, and an inducer whose total is set inside the system. A metabolite, a second messenger, a protein anti-repressor or a cell-free extract qualifies. A membrane-permeant inducer in a large medium clamps the free inducer instead, and then the effective law (18) is the right model for both circuits.

Predict a half-rise total by adding the free inducer the law needs to the inducer each regulator stores, and read from eq. (23) how steep the repressor's switch at qI≈qRq_I\approx q_R is for its affinity ratio: at qR=100KDRq_R=100K_{DR} a ratio of 0.1 gives nH≈6n_H\approx6, and the switch sharpens continuously as the ratio falls.

8The regulator and promoter totals separate the circuits again

The regulator's own total moves the repressor's threshold one for one and barely moves the activator's. The promoter total, which the effective law does not contain, separates them a third time.

The repressor's threshold tracks its own total. By eq. (20) the repressor's half-rise total is about qRq_R. Sweeping the factor's total over 50, 100 and 200 nM moves it to 49.5, 100.0 and 201.0 nM. The activator's half-rise total moves only from 3.01 to 2.04 to 1.55 nM (numerical). The activator's store, qA/(2+ρA)q_A/(2+\rho_A), stays near KDAK_{DA} whatever qAq_A is. What moves is its free-inducer half point, KAI/(1+ρA)K_{AI}/(1+\rho_A), which falls as qAq_A rises at fixed KAIK_{AI}.

In free inducer the two sensitivities to the regulator total are equal and opposite. Hold the free inducer at the half-rise point I=KeffI=K_\mathrm{eff} and change the factor's total. For the repressor, eq. (10) with R=qRKRI/(KRI+I)R=q_RK_{RI}/(K_{RI}+I) gives dln⁡v/dln⁡qR=−(R/KDR)/(1+R/KDR)d\ln v/d\ln q_R=-(R/K_{DR})/(1+R/K_{DR}), and at the half point R/KDR=ρ/(2+ρ)R/K_{DR}=\rho/(2+\rho). For the activator, the loaded fraction ϑ=c/(KDA+c)\vartheta=c/(K_{DA}+c) has dϑ/dln⁡qA=ϑ(1−ϑ)d\vartheta/d\ln q_A=\vartheta(1-\vartheta), and at the half point ϑ=ρ/(2(1+ρ))\vartheta=\rho/(2(1+\rho)). Working both through,

dln⁡vdln⁡qR=−ρ2(1+ρ),dln⁡vdln⁡qA=+ρ2(1+ρ),ρ2(1+ρ)=0.495  at ρ=100.\frac{d\ln v}{d\ln q_R}=-\frac{\rho}{2(1+\rho)},\qquad \frac{d\ln v}{d\ln q_A}=+\frac{\rho}{2(1+\rho)},\qquad \frac{\rho}{2(1+\rho)}=0.495\ \ \text{at }\rho=100 .(24)

This is exact within the reduced model, and it is Savageau's difference of response to regulatory mutations made quantitative.4

In the inducer total the repressor's sensitivity is about fifty times its free-inducer value. Holding the inducer total at each circuit's half-rise point, the sensitivity is −24.7-24.7 for the repressor, about 50 times the −0.495-0.495 of eq. (24), and +0.25+0.25 for the activator, about half its eq. (24) value (numerical). The two circuits now differ about a hundredfold in size of sensitivity. Near its threshold the repressor turns a 1% change in its own total into about a 25% change in output. This is a static sensitivity: it predicts how a change of the factor's total slower than 1/δ1/\delta shows up in the output. No noise was simulated.

The promoter total separates the circuits a third time. Raise qDq_D past the factor's total. With tight promoter binding, an uninduced repressor occupies one site each, so the free promoter is about max⁡(0,qD−qR)\max(0,q_D-q_R) and the production per promoter about (qD−qR)/qD(q_D-q_R)/q_D once qD>qRq_D>q_R. With saturating inducer, the activator loads one site each, so the loaded promoter is about min⁡(qD,qA)\min(q_D,q_A) and the production per promoter is about a0/a+(a1−a0)/a⋅min⁡(1,qA/qD)a_0/a+(a_1-a_0)/a\cdot\min(1,q_A/q_D). Both estimates give 0.50 at qD=200 nMq_D=200\ \mathrm{nM}, against exact values of 0.505 (numerical). At 1000 nM the repressor circuit reaches 0.90 and the activator circuit falls to 0.11. The effective law (18) contains no qDq_D, so it predicts a production per promoter independent of copy number in both.

Measurement

Brewster and colleagues measured the repressor side of this result for the Lac repressor in E. coli, with the repressed gene on multicopy plasmids or at five chromosomal sites. The measured fold-change in expression stayed near 1 whenever repressors were fewer than gene copies, as the caption of their Figure 4 states (p. 1316).5

Use the regulator total and the promoter total as two further inputs: in free inducer the sensitivities to the regulator total are ∓ρ/(2(1+ρ))\mp\rho/(2(1+\rho)), and in the inducer total a repressor near its threshold amplifies changes in its own total many fold.

9Closing the inducer loop: removal decides what the steady state reads

Closing the output loop adds nothing while the inducer total is fixed. Once the inducer is made and removed, the removal rule decides whether the steady state reads the free inducer or the total.

5 · Close the loop. With the inducer total fixed, the output obeys q˙G=v−δqG\dot q_G=v-\delta q_G, which filters v with the same time 1/δ1/\delta in both circuits. Closing that loop changes no comparison. Let the inducer total itself be dynamic, supplied by ∅⇝I\varnothing\rightsquigarrow I with rate law u, and dilute the output at δ=λ\delta=\lambda. Time is in units of 1/λ1/\lambda.

If only free inducer is removed, both circuits reach the same steady state, at different times. The inducer obeys q˙I=u−δII\dot q_I=u-\delta_II, so at steady state I∗=u/δII^*=u/\delta_I exactly, whatever the binding. Both circuits settle at the output the free-inducer law (18) gives, 0.505 when I∗=KeffI^*=K_\mathrm{eff}, that is at u=0.101 λqRu=0.101\,\lambda q_R with δI=10λ\delta_I=10\lambda. The repressor must first fill a store of about qRq_R, which takes about qR/u≈10/λq_R/u\approx10/\lambda. It reaches half its final output at λt=10.6\lambda t=10.6, against 0.85 for the activator (numerical). Binding protects the stored inducer from removal.

If every inducer-containing state is diluted, the steady state reads the total. Uniform dilution gives q˙I=u−λqI\dot q_I=u-\lambda q_I, so

qI(t)=uλ(1−e−λt)q_I(t)=\frac{u}{\lambda}\big(1-e^{-\lambda t}\big)(25)

in both circuits, exactly, whatever the binding. At the same supply the steady total is 10.1 nM, and the activator reaches 0.84 while the repressor stays at 0.011 (numerical). The repressor turns on only when the steady total passes its half-rise total, about qR+Keffq_R+K_\mathrm{eff}, that is when u>λ(qR+Keff)u>\lambda(q_R+K_\mathrm{eff}). At u=2λqRu=2\lambda q_R, eq. (25) crosses qRq_R when e−λt=1/2e^{-\lambda t}=1/2, at λt=ln⁡2\lambda t=\ln2, and the production per promoter switches there. The output protein follows through its own removal filter, with time 1/δ1/\delta. The repressor total is itself held by synthesis at λqR\lambda q_R, so the threshold sits where the two synthesis rates match, the in vivo titration threshold of Buchler and Louis (pp. 1106 to 1110).6

Close an inducer loop with a named removal rule: removal of free inducer only makes the steady state read the free inducer and delays the repressor by about qR/uq_R/u, while uniform dilution makes it read the total and switches the repressor where the inducer supply passes λqR\lambda q_R.

Part 3

Ultrasensitivity

A threshold from two saturated enzymes, and a threshold from one tight binding layer whose input is a total. In both, the threshold sits at a total. The core shows the finite-pool picture.

10The modification cycle with every complex kept

The canonical switch is a covalent-modification cycle. Written with both enzyme complexes kept in the substrate total, it is two binding pairs and one slow balance with exactly one stable steady state.

Two measures of steepness are used, and a threshold is a claim about the second. The Hill coefficient nH=ln⁡81/ln⁡(EC90/EC10)n_H=\ln81/\ln(\mathrm{EC}_{90}/\mathrm{EC}_{10}) of §5 summarizes the whole rise from 10% to 90%. The local order dln⁡(output)/dln⁡(input)d\ln(\text{output})/d\ln(\text{input}) is the slope on log axes at one point, Lecture 8's gain. A hard saturation corner can raise nHn_H without any point of high local order, so a threshold is checked with the local order.

1 · Model. A kinase E converts the substrate X into its modified form Y, and a phosphatase F converts it back. Each enzyme binds its substrate form in an elementary step and acts in a composite catalytic step, with co-substrates held fixed and the reverse activity neglected:

E+X⇌k−Ek+ECEX,CEX⇝E+Y  (rate law kECEX),F+Y⇌k−Fk+FCFY,CFY⇝F+X  (rate law kFCFY).\begin{aligned}&E+X\xrightleftharpoons[k_{-E}]{k_{+E}}C_{EX},\qquad C_{EX}\rightsquigarrow E+Y\ \ (\text{rate law }k_EC_{EX}),\\ &F+Y\xrightleftharpoons[k_{-F}]{k_{+F}}C_{FY},\qquad C_{FY}\rightsquigarrow F+X\ \ (\text{rate law }k_FC_{FY}).\end{aligned}(26)

The totals are qE=E+CEXq_E=E+C_{EX}, qF=F+CFYq_F=F+C_{FY} and the substrate total qS=X+Y+CEX+CFYq_S=X+Y+C_{EX}+C_{FY}, which the cycle conserves. The modified total, free or bound to the phosphatase, is qY=Y+CFYq_Y=Y+C_{FY}, and the unmodified total is qS−qY=X+CEXq_S-q_Y=X+C_{EX}.

Each enzyme forms one pair with its own substrate form, so eq. (4) gives both complexes. The kinase pairs with the unmodified total and the phosphatase with the modified total: CEX=C(qE,qS−qY;KE)C_{EX}=C(q_E,q_S-q_Y;K_E) and CFY=C(qF,qY;KF)C_{FY}=C(q_F,q_Y;K_F), where C(⋅)C(\cdot) is the root (4) and KEK_E, KFK_F are the two dissociation constants. The slow variable obeys

q˙Y=kE C(qE,qS−qY;KE)−kF C(qF,qY;KF).\dot q_Y=k_E\,C(q_E,q_S-q_Y;K_E)-k_F\,C(q_F,q_Y;K_F).(27)

The root (4) rises with each of its totals. So the first term falls and the second rises as qYq_Y grows, and eq. (27) has exactly one steady state, which is stable. The cycle cannot hold two states by itself.

The experiment varies the ratio of the enzyme totals. The input is r=qE/qFr=q_E/q_F with equal catalytic constants, kE=kFk_E=k_F, so r is the ratio of the two maximal rates. The readout is the modified fraction y=qY/qSy=q_Y/q_S. Both enzymes share one dissociation constant K, which is also their Michaelis constant when catalysis is slow against unbinding.

Write a modification cycle as two binding pairs plus the slow balance (27), and conclude from monotonicity alone that it has one stable steady state at every input.

11Saturation is the route to steepness, and a large phosphatase share caps it

In this cycle the steepness comes from saturating both enzymes. One saturated enzyme gives at most nH=2n_H=2. For the modified fraction read against the enzyme ratio, a phosphatase holding more than a small share of the substrate caps the steepness however saturated the enzymes are.

2 · Limit. Goldbeter and Koshland took both enzymes in trace, so that the complexes are negligible in the substrate total and each free substrate form wins its own total.7 Each complex then follows eq. (5). With Kˉ=K/qS\bar K=K/q_S, setting eq. (27) to zero gives their closed form:

r=y (Kˉ+1−y)(1−y)(Kˉ+y),RV=r(0.9)r(0.1)=81(Kˉ+0.1)2(Kˉ+0.9)2,nH=ln⁡81ln⁡RV.r=\frac{y\,(\bar K+1-y)}{(1-y)(\bar K+y)},\qquad R_V=\frac{r(0.9)}{r(0.1)}=\frac{81(\bar K+0.1)^2}{(\bar K+0.9)^2},\qquad n_H=\frac{\ln81}{\ln R_V}.(28)

These are their Eqs. 7 to 10 (pp. 6841 to 6842) with equal constants for the two enzymes. 3 · Match. In the trace limit the exact cycle (27) reproduces eq. (28) to 6×10−66\times10^{-6} (numerical).

Saturation sets the steepness. For a saturating substrate, Kˉ≪1\bar K\ll1, expand the logarithm. Since ln⁡81+2ln⁡(0.1/0.9)=0\ln81+2\ln(0.1/0.9)=0, only the first-order terms survive: ln⁡RV≈2Kˉ(10−10/9)=(160/9)Kˉ\ln R_V\approx2\bar K(10-10/9)=(160/9)\bar K. Therefore

nH≈9ln⁡81160 qSK=0.247 qSK.n_H\approx\frac{9\ln81}{160}\,\frac{q_S}{K}=0.247\,\frac{q_S}{K}.(29)

At qS=100Kq_S=100K the rise from 10% to 90% spans r from 0.919 to 1.088, an 18% change of the enzyme ratio. At qS=Kq_S=K the switch is barely there, nH=1.33n_H=1.33 (both from eq. 28).

One saturated enzyme gives at most 2, so a sharper switch needs both. Let the phosphatase work in its first-order range, KˉF→∞\bar K_F\to\infty, in the two-constant form of Eq. 10. The response ratio becomes RV=81(KˉE+0.1)/(KˉE+0.9)R_V=81(\bar K_E+0.1)/(\bar K_E+0.9), which falls to 9 as the kinase saturates, so nH→2n_H\to2 and stops (exact). Goldbeter and Koshland's condition is that "one or more" of the enzymes work in the zero-order region (p. 6840). One saturated enzyme already makes the response ultrasensitive, up to 2. A switch steeper than that needs both. Saturation is the route to steepness in this cycle. It is not the only route in general, and §13 reaches a threshold through sequestration instead.

4 · Move a total. An abundant phosphatase caps the switch, because it holds the modified substrate. Raise the phosphatase total to a fraction f=qF/qSf=q_F/q_S of the substrate and take binding tight. In that limit each complex is the smaller of its two totals, and flux balance at equal catalytic constants sets CEX=CFYC_{EX}=C_{FY}. There are two cases, f<1/2f<1/2 and f≥1/2f\ge1/2. Take f<1/2f<1/2 first. Below the balance point r=1r=1 the phosphatase out-runs the kinase, so every modified substrate sits on the phosphatase: CFY=qEC_{FY}=q_E, and y=rfy=rf. Above it the phosphatase is full, CFY=qFC_{FY}=q_F, the kinase holds the whole unmodified total qFq_F, and y=1−fy=1-f. The normalized rise reaches 10% at r=0.1(1−f)/fr=0.1(1-f)/f on the linear part. It reaches 90% on the linear part only if 0.9(1−f)≤f0.9(1-f)\le f, and otherwise at the jump, r=1r=1.

For f≥1/2f\ge1/2 the phosphatase can never be filled, because the plateau 1−f1-f would leave it less modified substrate than its own total. Once the kinase total passes half the substrate, at r=1/(2f)r=1/(2f), each enzyme holds the whole of its substrate form, and CEX=CFYC_{EX}=C_{FY} forces y=1/2y=1/2. The response is y=rfy=rf up to r=1/(2f)r=1/(2f) and then the plateau 1/21/2, with no jump at r=1r=1. At qS=1q_S=1, f=0.8f=0.8, r=100r=100 and K=10−8qSK=10^{-8}q_S the exact cycle gives y=0.5000000083y=0.5000000083 (numerical). Normalized by its plateau the rise is linear from start to end, so nH=ln⁡81/ln⁡9=2n_H=\ln81/\ln9=2. The two cases combine into

nHmax=ln⁡81ln⁡(10f/(1−f))for 111<f<919,nHmax=2for f≥919,n_H^\mathrm{max}=\frac{\ln81}{\ln\big(10f/(1-f)\big)}\quad\text{for}\ \tfrac1{11}<f<\tfrac9{19},\qquad n_H^\mathrm{max}=2\quad\text{for}\ f\ge\tfrac9{19},(30)

with the plateau 1−f1-f below f=1/2f=1/2 and 1/21/2 above it. The cap is 41.7 at f=0.1f=0.1 and 3.0 at f=0.3f=0.3. Unbounded steepness of this readout needs f≤1/11f\le1/11, a phosphatase scarcer than qS/11q_S/11. That condition is exact in the tight limit for this normalized readout, the total modified fraction against the ratio of enzyme totals. It is not a requirement for steepness in general, and not a necessary condition for every catalytic switch. The exact cycle approaches these caps as the substrate saturates (numerical, Figure 4). Goldbeter and Koshland remarked that enzyme ratios of 0.1 or less change little at their parameters (p. 6842). That agrees, because at qS/K=10q_S/K=10 the cap of 42 is far above the trace value of 3.7.

Steepness from saturation, capped by the phosphatase share Hill coefficient of the modified fraction against the substrate total over K 1 2 3 10 30 100 300 0.1 1 10 100 1000
qS/Kq_S/K
nHn_H
trace, both saturable
0.247 qS/K0.247\,q_S/K
one first-order enzyme: cap 2
qF=0.1 qS: cap 41.7q_F=0.1\,q_S:\ \text{cap }41.7
qF=0.3 qS: cap 3.0q_F=0.3\,q_S:\ \text{cap }3.0
Exact cycle at binding equilibrium, kE=kF, KE=KF=K\text{Exact cycle at binding equilibrium, }k_E=k_F,\ K_E=K_F=K

Scroll inside the figure to see it at reading size.

Figure 4. Steepness from saturation, capped by the phosphatase share. Hill coefficient of the modified fraction y against qS/Kq_S/K. Rose: both enzymes saturable and in trace, the closed form (28). Gray dashed: the asymptote (29). Coral dashed: a first-order phosphatase, capped at 2. Lime and plum: the exact cycle (27) with phosphatase totals 0.1qS0.1q_S and 0.3qS0.3q_S, approaching the caps of eq. (30), drawn dotted. Exact closed forms and numerical steady states, kE=kFk_E=k_F, KE=KF=KK_E=K_F=K.

5 · Close the loop. The cycle has one stable state at every input, by §10, so its steepness is a static input-output behavior: the steady state as a function of the enzyme ratio. It is not an autonomous dynamical behavior such as memory or a cycle. A steep static response becomes one only when a loop feeds the output back, which Part 4 does with a titration layer instead.

Read a catalytic switch's steepness from eq. (29), about 0.25 qS/K0.25\,q_S/K, with both enzymes saturated, since one alone gives at most nH=2n_H=2. For the modified fraction against the enzyme ratio, read the cap of eq. (30) from the phosphatase share: unbounded only below f=1/11f=1/11, and 2 from f=9/19f=9/19 on.

12In free ligand, negative cooperativity flattens

A receptor with two sites, only the doubly bound state active, can make a threshold with one binding layer. Measured against free ligand, though, negative cooperativity makes its response flatter, not steeper.

1 · Model. A receptor R binds ligand L at two identical sites, first with the site constant K1K_1 and then, with one site filled, with K2K_2. An empty receptor offers two sites, so its association runs at 2k+1RL2k_{+1}RL. A doubly bound receptor can lose either ligand, so its dissociation runs at 2k−2CRL22k_{-2}C_{RL_2}. Writing those factors into the elementary arrows,

R+L⇌k−12k+1CRL,CRL+L⇌2k−2k+2CRL2,K1=k−1k+1,K2=k−2k+2.R+L\xrightleftharpoons[k_{-1}]{2k_{+1}}C_{RL},\qquad C_{RL}+L\xrightleftharpoons[2k_{-2}]{k_{+2}}C_{RL_2},\qquad K_1=\frac{k_{-1}}{k_{+1}},\quad K_2=\frac{k_{-2}}{k_{+2}}.(31)

Equilibrium of each step then gives

CRL=2RLK1,CRL2=CRLL2K2=RL2K1K2,C_{RL}=\frac{2RL}{K_1},\qquad C_{RL_2}=\frac{C_{RL}L}{2K_2}=\frac{RL^2}{K_1K_2},(32)

with totals qR=R+CRL+CRL2q_R=R+C_{RL}+C_{RL_2} and qL=L+CRL+2CRL2q_L=L+C_{RL}+2C_{RL_2}. The cooperativity is c=K1/K2c=K_1/K_2. It is negative when c<1c<1, so that the second ligand binds more weakly than the first. The observable is the active fraction CRL2/qRC_{RL_2}/q_R. The illustrative constants are K1=10−4 μMK_1=10^{-4}\ \mu\mathrm M and K2=10−2 μMK_2=10^{-2}\ \mu\mathrm M, so c=0.01c=0.01.

The exact equilibrium is one monotone equation for the free ligand. Substituting eq. (32) into the ligand total,

L+qR 2L/K1+2L2/(K1K2)1+2L/K1+L2/(K1K2)=qL.L+q_R\,\frac{2L/K_1+2L^2/(K_1K_2)}{1+2L/K_1+L^2/(K_1K_2)}=q_L .(33)

The left side rises strictly with L, so there is one root, and every species follows from it.

2 · Limit. The classical treatment takes the ligand in excess, so that the free ligand equals its total. The fast subsystem removed is the binding layer, and the dominance choice is that free ligand wins its own total. The active fraction is then a function of free ligand alone:

CRL2qR=L2/(K1K2)1+2L/K1+L2/(K1K2).\frac{C_{RL_2}}{q_R}=\frac{L^2/(K_1K_2)}{1+2L/K_1+L^2/(K_1K_2)}.(34)

Its Hill coefficient lies between 1 and 2. For strong negative cooperativity, once L≫K1L\gg K_1 the first site is full and eq. (34) becomes L/(2K2+L)L/(2K_2+L), a Michaelis-Menten law, so nH→1n_H\to1. For strong positive cooperativity it becomes L2/(K1K2+L2)L^2/(K_1K_2+L^2), so nH→2n_H\to2. The computed values are 1.000 at c=10−4c=10^{-4}, 1.005 at c=0.01c=0.01, 1.19 at c=1c=1 and 1.98 at c=104c=10^4 (numerical, from eq. 34). Ha and Ferrell describe the same trend (p. 990).8

3 · Match. Eq. (34) is exact when the receptor cannot deplete the ligand, that is when qR≪K2q_R\ll K_2. There the response to the ligand total rises half-way near qL=2K2q_L=2K_2, with nH=1.02n_H=1.02 at qR=10−4 μMq_R=10^{-4}\ \mu\mathrm M (numerical), as the free-ligand law does.

Write a multisite receptor with its statistical factors in the elementary arrows, solve it by the monotone equation (33), and expect a free-ligand response with nHn_H between 1 and 2 that negative cooperativity pushes toward 1.

13In the ligand total, the first sites buffer the input

When the receptor total exceeds its second dissociation constant and the input is the ligand total, the singly bound receptors absorb the first ligands one each. The response stays flat up to the receptor total and then rises straight to full.

4 · Move a total. Raise the receptor total past K2K_2, to qR=1 μMq_R=1\ \mu\mathrm M, and sweep the ligand total. Count before computing. The first site binds a hundred times more tightly than the second, so the first ligands go to empty receptors. Until qLq_L reaches qRq_R, nearly every receptor holds at most one ligand, and the active state stays empty. Past that point the two totals read CRL+CRL2≈qRC_{RL}+C_{RL_2}\approx q_R and CRL+2CRL2≈qLC_{RL}+2C_{RL_2}\approx q_L, because nearly every receptor and every ligand is bound. Subtracting,

CRL2qR≈qLqR−1for  qR<qL<2qR.\frac{C_{RL_2}}{q_R}\approx\frac{q_L}{q_R}-1\qquad\text{for}\ \ q_R<q_L<2q_R .(35)

The rise from 10% to 90% then spans qL/qRq_L/q_R from 1.1 to 1.9, which gives nH=ln⁡81/ln⁡(1.9/1.1)=8.04n_H=\ln81/\ln(1.9/1.1)=8.04, exact in the limit. This is the maximum Ha and Ferrell found as c→0c\to0 (p. 991). At the illustrative constants the exact response has nH=6.73n_H=6.73, with 10%, 50% and 90% points at 1.08, 1.52 and 2.08 μM and a local order of 11.0 near qL≈qRq_L\approx q_R. The same receptor has nH=1.005n_H=1.005 in free ligand (both numerical).

The threshold needs two separate conditions. Negative cooperativity, c≪1c\ll1, makes the singly bound receptors a buffer that absorbs the first qRq_R of ligand. Tight binding, K2≪qRK_2\ll q_R, makes the ligand total the effective input. Without negative cooperativity, at c=1c=1, the two sites fill independently. With all ligand bound, each site is occupied with probability qL/(2qR)q_L/(2q_R), so the active fraction is (qL/2qR)2(q_L/2q_R)^2, with local order exactly 2. Its 10% and 90% points are 20.1 qR2\sqrt{0.1}\,q_R and 20.9 qR2\sqrt{0.9}\,q_R, so nH=ln⁡81/ln⁡3=4n_H=\ln81/\ln3=4. That high value comes from the depletion corner at 2qR2q_R, not from a threshold. With a weak second site, K2=qRK_2=q_R, the response stays near nH=1.6n_H=1.6 (numerical).

One binding layer makes a threshold when the ligand total is the input Two-site receptor, only the doubly bound state active, cooperativity c = K₁/K₂ 0 0.5 1 0 1 2 3
qL/qRq_L/q_R
CRL2/qRC_{RL_2}/q_R
1 2 4 6 8 10⁻⁴ 0.01 1 100 10⁴
c=K1/K2c=K_1/K_2
nHn_H
c = 0.01, ligand total swept steepness against cooperativity
qL/qR−1q_L/q_R-1
c=1: (qL/2qR)2c=1:\ (q_L/2q_R)^2
K2=10−5qRK_2=10^{-5}q_R
K2=10−2qRK_2=10^{-2}q_R
K2=qRK_2=q_R
free ligand exact equilibrium tight limit, c → 0
Left: qR=1 μM, K1=10−4, K2=10−2 μM.  Right: qR fixed, K1=cK2.\text{Left: }q_R=1\,\mu\mathrm M,\ K_1=10^{-4},\ K_2=10^{-2}\,\mu\mathrm M.\ \ \text{Right: }q_R\text{ fixed, }K_1=cK_2.

Scroll inside the figure to see it at reading size.

Figure 5. One binding layer makes a threshold when the ligand total is the input. Left: active fraction against qL/qRq_L/q_R at c=0.01c=0.01 and K2=10−2qRK_2=10^{-2}q_R from eq. (33) (rose), the tight limit (35) (dashed) and the independent-site limit (qL/2qR)2(q_L/2q_R)^2 at c=1c=1 (coral). Right: Hill coefficient against c, in the ligand total at three affinity scales and in free ligand, eq. (34) (dashed). Negative cooperativity flattens the free-ligand response toward 1 and sharpens the total-ligand response toward 8.04. Exact equilibrium and its limits, numerical Hill coefficients.
Measurement

Ha and Ferrell built the two-site receptor from DNA strands and held it at 1000 nM (p. 991). From their threshold data they inferred c=0.022±0.014c=0.022\pm0.014 for one ligand pair (supplement, Table S1), near the illustrative 0.01.8 In budding yeast, Buchler and Cross measured apparent Hill coefficients up to 12 from a transcription factor sequestered by an inhibitor, with threshold and steepness set by the inhibitor's abundance (p. 1).9

Get a threshold from one binding layer by making the input a total, with a buffer that binds first (c≪1c\ll1) and binding tight against the partner total (K2≪qRK_2\ll q_R): the response is flat to qL=qRq_L=q_R and then follows eq. (35).

14The threshold sits at a total, so a fitted Hill function cannot travel

The receptor's threshold is its own total. A Hill function fitted at one receptor total stores the threshold as a constant, so it misses as soon as that total moves.

The half-rise point moves from 2K22K_2 to 1.5qR1.5q_R as the receptor total grows. While qR≪K2q_R\ll K_2 the free-ligand law (34) holds and the half-rise is near 2K22K_2. Once qR≫K2q_R\gg K_2, eq. (35) puts it at 1.5qR1.5q_R. Along the way the Hill coefficient rises from 1.02 at qR=10−4 μMq_R=10^{-4}\ \mu\mathrm M through 3.6 at 0.1 μM0.1\ \mu\mathrm M to 7.8 at 100 μM100\ \mu\mathrm M (numerical).

A Hill function fitted at one receptor total misses at the next. The Hill function through the exact 10% and 90% points at qR=1 μMq_R=1\ \mu\mathrm M has half-rise KH=1.50 μMK_H=1.50\ \mu\mathrm M and coefficient 6.73. At qR=0.3q_R=0.3 and 3 μM3\ \mu\mathrm M the exact half-rise points are 0.47 and 4.52 μM, so the fit misses them 3.2-fold and 3.0-fold, and the exact coefficients change to 5.28 and 7.39 (numerical). The fit stores the threshold as a constant. The mechanism places it at a total.

At fixed ligand the active receptor rises and then falls with the receptor total. Apply the same counts with the roles swapped, holding qLq_L and sweeping qRq_R. While qR<qL/2q_R<q_L/2 there is ligand for every site, and CRL2≈qRC_{RL_2}\approx q_R. Between qL/2q_L/2 and qLq_L, eq. (35) gives CRL2≈qL−qRC_{RL_2}\approx q_L-q_R, because added receptors take ligand one at a time and complete fewer pairs. So the active receptor peaks at qR=qL/2q_R=q_L/2: at 0.100 μM for qL=0.2 μMq_L=0.2\ \mu\mathrm M (numerical). A model without ligand depletion keeps rising. Ha and Ferrell predicted and measured this peak, at a receptor-to-ligand ratio of 1:2 (p. 993).8

5 · Close the loop. A threshold becomes a behavior only inside a loop. Parts 4 and 6 put the same mechanism, a pool whose total sets a threshold, into feedback loops: a finite promoter pool read by monomeric repressors. The repressor of §7 is the same mechanism once more, with the repressor as the sink for inducer. Buchler and Louis state the pair of controls for such titration: the titrant total sets the threshold's position, and the ratio of that total to KdK_d sets its sharpness (pp. 1108 to 1109).6

Refit a Hill function whenever the partner total moves, or better, place the threshold at the partner total: half-rise near 1.5qR1.5q_R for the two-site receptor, and a peak at qR=qL/2q_R=q_L/2 when the receptor total is swept.

Part 4

Multistability

Memory needs several stable states of the closed loop. Two comparisons follow: the same toggle mechanism in two limits, and two architectures for N factors. The core shows the circuits and their time courses.

15The Hill toggle needs the product of its coefficients above one

The effective model of mutual repression is the Hill toggle. It holds a single stable state whenever the product of its two Hill coefficients is at most one, and a short index argument proves it.

1 · Effective model. Gardner, Cantor and Collins wrote the toggle in dimensionless form (Box 1, p. 339):10

u˙=α11+vβ−u,v˙=α21+uγ−v.\dot u=\frac{\alpha_1}{1+v^{\beta}}-u,\qquad \dot v=\frac{\alpha_2}{1+u^{\gamma}}-v .(36)

Here u and v are the two repressor totals in units of the repression constant, time is in removal lifetimes, α1\alpha_1 and α2\alpha_2 are synthesis strengths, and β\beta and γ\gamma are Hill coefficients. These letters are the authors' and hold only in this section. Every arrow is composite: ∅⇝R1\varnothing\rightsquigarrow R_1 with rate law α1/(1+vβ)\alpha_1/(1+v^\beta), and removal with rate law u. Nothing in eq. (36) resolves binding, so each exponent is a fitted cooperativity. Gardner and colleagues attribute it to multimerization and cooperative binding to several operator sites.

One stable state without cooperativity

If βγ≤1\beta\gamma\le1, the toggle (36) has exactly one fixed point for every α1,α2>0\alpha_1,\alpha_2>0, and every trajectory converges to it.

The proof has three steps: every fixed point is a stable node, there is exactly one, and no cycle exists. Write f1(v)=α1/(1+vβ)f_1(v)=\alpha_1/(1+v^\beta) and f2(u)=α2/(1+uγ)f_2(u)=\alpha_2/(1+u^\gamma). At a fixed point u=f1(v)u=f_1(v), so f1′(v)=−(u/v) e1f_1'(v)=-(u/v)\,e_1 with e1=βvβ/(1+vβ)<βe_1=\beta v^\beta/(1+v^\beta)<\beta, the log-slope of the first repression law. Likewise f2′(u)=−(v/u) e2f_2'(u)=-(v/u)\,e_2 with e2=γuγ/(1+uγ)<γe_2=\gamma u^\gamma/(1+u^\gamma)<\gamma. The Jacobian (−1f1′f2′−1)\begin{pmatrix}-1&f_1'\\f_2'&-1\end{pmatrix} has trace −2-2 and determinant 1−e1e2>1−βγ≥01-e_1e_2>1-\beta\gamma\ge0, so every fixed point is a stable node, of index +1. On the boundary of the box [0,α1+1]×[0,α2+1][0,\alpha_1+1]\times[0,\alpha_2+1] the field points strictly inward, so the indices inside sum to +1, and there is exactly one fixed point. The divergence is −2-2 everywhere, so Bendixson's criterion excludes periodic orbits, and the Poincaré-Bendixson theorem sends every trajectory to the fixed point.

The converse holds: a product above one opens a bistable wedge. The saddle-node set is e1e2=1e_1e_2=1, which needs βγ>1\beta\gamma>1. On the diagonal, with β=γ=n\beta=\gamma=n and α1=α2=α\alpha_1=\alpha_2=\alpha, the symmetric state x=α/(1+xn)x=\alpha/(1+x^n) splits when its log-slope reaches 1, at xn=1/(n−1)x^n=1/(n-1). So the symmetric threshold is

αc(n)=nn−1 (n−1)−1/n,\alpha_c(n)=\frac{n}{n-1}\,(n-1)^{-1/n},(37)

which is 2 at n=2n=2, 1.19 at n=3n=3 and 89.2 at n=1.1n=1.1 (exact). On a grid of 1681 synthesis pairs from 0.1 to 1000, no point is bistable at n=0.8n=0.8 or 1, and 11, 339 and 536 points are bistable at n=1.1n=1.1, 2 and 3 (numerical).

Cherry and Adler stated the condition for any two repression laws. With P(f)=sup⁡y[−yf′(y)/f(y)]P(f)=\sup_y[-yf'(y)/f(y)], the largest log-slope, multiple equilibria need P(f)P(g)≥1P(f)P(g)\ge1, and some removal rates give them when P(f)P(g)>1P(f)P(g)>1 (Proposition 1.1, p. 123).11 For a Hill law P=nP=n. Gardner and colleagues state the weaker form, that at least one repressor must act with cooperativity greater than one (p. 339).

Before expecting a Hill toggle to hold two states, check the product of its two Hill coefficients: at most one means one globally attracting state, and above one opens a bistable wedge whose symmetric edge is eq. (37).

16A finite promoter pool makes a monomeric toggle bistable

The same monomeric toggle, written with its promoter sites, is monostable in its trace-promoter limit and bistable once the site pool exceeds the dissociation constant. This is the strict comparison of one mechanism with its own effective law.

1 · Model. Repressor R2R_2 binds the promoter sites P1P_1 of gene 1 as a monomer, one repressor per site, and only free sites express R1R_1. Every site also leaks at a small rate. Free and bound repressor are diluted alike, the uniform variant θ=1\theta=1:

R2+P1⇌k−k+CP1R2,P1⇝P1+R1  (rate law (kP+kℓ)P1),CP1R2⇝CP1R2+R1  (rate law kℓCP1R2),R2⇝∅  (rate law λR2),CP1R2⇝P1  (rate law λCP1R2),\begin{aligned}&R_2+P_1\xrightleftharpoons[k_-]{k_+}C_{P_1R_2},\\ &P_1\rightsquigarrow P_1+R_1\ \ (\text{rate law }(k_P+k_\ell)P_1),\qquad C_{P_1R_2}\rightsquigarrow C_{P_1R_2}+R_1\ \ (\text{rate law }k_\ell C_{P_1R_2}),\\ &R_2\rightsquigarrow\varnothing\ \ (\text{rate law }\lambda R_2),\qquad C_{P_1R_2}\rightsquigarrow P_1\ \ (\text{rate law }\lambda C_{P_1R_2}),\end{aligned}(38)

and symmetrically for gene 2. Here K=k−/k+K=k_-/k_+ is the dissociation constant of one repressor and one site, qPq_P is the site total of each gene, kPk_P the production per free site and kℓk_\ell the leak per site, free or bound. The two production steps sum to kPP1+kℓqPk_PP_1+k_\ell q_P. The last step is growth dilution of a bound repressor: growth copies the genes, so the site total qPq_P stays fixed while the repressor on a site is diluted, and the site reappears free. Because free and bound repressor leave at the same rate, the total balance q˙R1=kPP1+kℓqP−λqR1\dot q_{R_1}=k_PP_1+k_\ell q_P-\lambda q_{R_1} is exact. Only the binding layer uses fast equilibrium.

The free fraction of sites solves a quadratic. Measure the repressor total and the dissociation constant in units of the pool: r=qR/qPr=q_R/q_P and κ=K/qP\kappa=K/q_P. With p=P/qPp=P/q_P the free fraction, the bound sites are 1−p1-p and the free repressor is r−(1−p)r-(1-p), in units of qPq_P. Equilibrium, P⋅R=K CP\cdot R=K\,C, becomes p (r−1+p)=κ(1−p)p\,(r-1+p)=\kappa(1-p), whose physical root and inverse are

p(r)=12[(r−1+κ)2+4κ−(r−1+κ)],r(p)=(1−p)(p+κ)p.p(r)=\tfrac12\Big[\sqrt{(r-1+\kappa)^2+4\kappa}-(r-1+\kappa)\Big],\qquad r(p)=\frac{(1-p)(p+\kappa)}{p}.(39)

Below equivalence the free fraction falls linearly, and above it collapses. Take tight binding, κ≪1\kappa\ll1. Below equivalence, where 1−r≫κ1-r\gg\sqrt\kappa, each repressor occupies one site, so p≈1−rp\approx1-r: the free promoter falls in proportion, while the free repressor stays tiny, about κr/(1−r)\kappa r/(1-r). Past equivalence, where r−1≫κr-1\gg\sqrt\kappa, the sites are full and every further repressor stays free, so p≈κ/(r−1)p\approx\kappa/(r-1). At equivalence, r=1r=1, the quadratic gives p2=κ(1−p)p^2=\kappa(1-p), so p≈κp\approx\sqrt\kappa. That is the small free pool KqP\sqrt{Kq_P} on the singular ray of §2. Each asymptotic piece holds only on its own side, and the exact quadratic (39) bridges the corner ∣r−1∣≲κ|r-1|\lesssim\sqrt\kappa.

The log-slope of the free fraction measures how sharply the pool switches. Differentiating r(p)r(p) gives dr/dp=−(p2+κ)/p2dr/dp=-(p^2+\kappa)/p^2, so

−dln⁡pdln⁡r=r pp2+κ.-\frac{d\ln p}{d\ln r}=\frac{r\,p}{p^2+\kappa}.(40)

In the limit κ→0\kappa\to0 below equivalence, p=1−rp=1-r and the log-slope is r/(1−r)r/(1-r), which exceeds 1 for r>1/2r>1/2 and grows without bound as r→1r\to1. A straight fall on linear axes is a steep fall on log axes. At finite κ\kappa the peak has a closed form. Differentiating eq. (40) written in p, r(p)p/(p2+κ)=(1−p)(p+κ)/(p2+κ)r(p)p/(p^2+\kappa)=(1-p)(p+\kappa)/(p^2+\kappa), and setting the derivative to zero gives

ppeak=κ 1−κ1+κ,rpeak=(1+κ)21−κ,(−dln⁡pdln⁡r)max⁡=1+κ2κ.p_\mathrm{peak}=\sqrt\kappa\,\frac{1-\sqrt\kappa}{1+\sqrt\kappa},\qquad r_\mathrm{peak}=\frac{(1+\kappa)^2}{1-\kappa},\qquad \Big(-\frac{d\ln p}{d\ln r}\Big)_{\max}=\frac{1+\kappa}{2\sqrt\kappa}.(40a)

These hold for 0<κ<10<\kappa<1, that is qP>Kq_P>K. For κ≥1\kappa\ge1 the formula for ppeakp_\mathrm{peak} gives no physical fraction, and there is no interior peak: the log-slope rises with r toward 1 and never reaches it. At κ=0.005\kappa=0.005 the peak is 7.106423 at r=1.015101r=1.015101, while at equivalence itself the slope is 7.066653 (exact). Both share the leading term 12qP/K\tfrac12\sqrt{q_P/K}, which is 7.07 here, so the two agree to within 0.6% (Figure 6).

A finite promoter pool: linear fall, then collapse Free fraction of sites and its log-slope against the repressor total, q_P/K = 200 10⁻⁴ 0.001 0.01 0.1 1 0.01 0.1 1 10 100
r=qR/qPr=q_R/q_P
p=P/qPp=P/q_P
0 1 2 4 6 8 0.01 0.1 1 10 100
r=qR/qPr=q_R/q_P
−dln⁡p/dln⁡r-d\ln p/d\ln r
1−r1-r
κ/(r−1)\kappa/(r-1)
κ\sqrt{\kappa}
toggle threshold ring threshold
1+κ2κ\tfrac{1+\kappa}{2\sqrt\kappa}
r/(1−r)r/(1-r)
titration quadratic, exact leading-order pieces, K → 0 Hill law with coefficient 1, promoter in trace
κ=K/qP=0.005.  The dot marks equivalence, r=1, where p≈κ.\kappa=K/q_P=0.005.\ \ \text{The dot marks equivalence, }r=1,\text{ where }p\approx\sqrt{\kappa}.

Scroll inside the figure to see it at reading size.

Figure 6. A finite promoter pool: linear fall, then collapse. Left: free fraction of sites against the repressor total, at qP/K=200q_P/K=200. Rose: the quadratic (39). Dashed: the leading-order pieces 1−r1-r and κ/(r−1)\kappa/(r-1). Blue dashed: the Hill law of coefficient 1, κ/(κ+r)\kappa/(\kappa+r), the trace-promoter limit. The dot marks equivalence, where p≈κp\approx\sqrt\kappa. Right: the log-slope (40), with the limit r/(1−r)r/(1-r) and the Hill law's r/(κ+r)r/(\kappa+r), which never reaches 1. Dotted lines: the link gain 1 above which a toggle's symmetric state is a saddle (this section), and the link gain 2 above which a three-node ring's symmetric state is unstable (§24). Exact.

In units of the pool and the dilution time, the toggle is two equations. With a=kP/λa=k_P/\lambda, the repressors one free site makes per lifetime, and ε=kℓ/kP\varepsilon=k_\ell/k_P, the leak,

r˙1=a(p(r2)+ε)−r1,r˙2=a(p(r1)+ε)−r2.\dot r_1=a\big(p(r_2)+\varepsilon\big)-r_1,\qquad \dot r_2=a\big(p(r_1)+\varepsilon\big)-r_2 .(41)

2 · Limit. Put the promoter in trace, qP≪Kq_P\ll K. The repressor then wins its own total, the free repressor equals the total, and p=κ/(κ+r)=K/(K+qR)p=\kappa/(\kappa+r)=K/(K+q_R), a Hill law of coefficient 1 in the repressor total. The fast subsystem removed is the binding layer, and the dominance choice is a promoter in trace. Eq. (41) becomes the toggle (36) with β=γ=1\beta=\gamma=1. 3 · Match. In this limit the two models are the same equations, and by §15 they hold exactly one stable state.

4 · Move a total. Raise the pool above K. The symmetric state, without leak, has r∗=ap∗r^*=ap^*. The gain of each link, the slope with which one node's production answers its upstream total relative to its removal slope of 1, is H=a ∣p′(r∗)∣=ap∗2/(p∗2+κ)H=a\,|p'(r^*)|=ap^{*2}/(p^{*2}+\kappa). Using a=r∗/p∗a=r^*/p^* and eq. (39),

H=(1−p∗)(p∗+κ)p∗2+κ.H=\frac{(1-p^*)(p^*+\kappa)}{p^{*2}+\kappa}.(42)

The Jacobian at the symmetric state is (−1−H−H−1)\begin{pmatrix}-1&-H\\-H&-1\end{pmatrix}, with eigenvalues −1±H-1\pm H. So the symmetric state is a saddle exactly when H>1H>1, where the loop gain H2H^2 of the two links passes 1. Clearing the denominator, H>1H>1 becomes p∗(1−κ−2p∗)>0p^*(1-\kappa-2p^*)>0, that is p∗<(1−κ)/2p^*<(1-\kappa)/2, which needs κ<1\kappa<1. Since a=(1−p)(p+κ)/p2a=(1-p)(p+\kappa)/p^2 falls as p rises, the condition on the production is a>a((1−κ)/2)a>a\big((1-\kappa)/2\big):

qP>Kanda>(1+κ1−κ)2.q_P>K\qquad\text{and}\qquad a>\Big(\frac{1+\kappa}{1-\kappa}\Big)^{2}.(43)

So monomeric repressors make a toggle once the site pool exceeds the dissociation constant and production is high enough (exact for the symmetric state). The number of stable states, computed on 36 grid points with κ\kappa from 0.01 to 2 and a from 1.5 to 1000, matches eq. (43) at every point (numerical).

5 · Close the loop. The removal rule matters here too. If bound repressor is protected, the gain becomes 1−p∗<11-p^*<1, and §27 proves that the toggle then holds one state for every parameter. Cherry and Adler showed that depletion of free repressor can make a switch without cooperative binding, given more than one operator copy per cell, a small enough dissociation constant, and equal decay of free and bound repressor (pp. 127 to 128). Their pool condition is that the operator total exceed the dissociation constant.11 Eq. (43) adds the production threshold, in closed form.

Decide whether monomeric repressors can make a toggle from the pool and the production: the trace-promoter limit never can, and a finite pool can exactly when qP>Kq_P>K and a>((1+κ)/(1−κ))2a>((1+\kappa)/(1-\kappa))^2, with bound repressor removed alongside free.

17N Hill genes keep at most one node raised

Generalized to N mutually repressing genes, the Hill toggle keeps at most one node high in any stable state. That part is a theorem. The resulting count of N + 1 states holds over the parameter grid searched.

1 · Effective model. Each of N genes is repressed by all the others through a product of Hill laws, with no self-activation:

q˙i=α∏j≠i11+qj n−qi,i=1,…,N.\dot q_i=\alpha\prod_{j\ne i}\frac{1}{1+q_j^{\,n}}-q_i,\qquad i=1,\dots,N.(44)

The totals are in units of the repression constant and time in removal lifetimes. All arrows are composite, and the model is symmetric and all-to-all.

Lemma: a stable state has at most one raised node. At a fixed point qi=α(1+qin)/Πq_i=\alpha(1+q_i^n)/\Pi with Π=∏j(1+qjn)\Pi=\prod_j(1+q_j^n), so qi/(1+qin)=α/Πq_i/(1+q_i^n)=\alpha/\Pi takes the same value at every node. The shape of x/(1+xn)x/(1+x^n) splits the proof into two cases, 0<n≤10<n\le1 and n>1n>1. Its derivative is (1+(1−n)xn)/(1+xn)2\big(1+(1-n)x^n\big)/(1+x^n)^2. For 0<n≤10<n\le1 it is positive everywhere, so all nodes share one value, and the uniform state, the root of q=α/(1+qn)N−1q=\alpha/(1+q^n)^{N-1}, is the only fixed point. No node is raised. For n>1n>1 the function rises to a peak at xm=(n−1)−1/nx_m=(n-1)^{-1/n} and then falls, so each node sits on the rising or the falling side at that common level. Suppose two nodes a and b sit on the falling side. They then share one value q. The Jacobian of eq. (44) has off-diagonal entries −qi nqjn−1/(1+qjn)-q_i\,nq_j^{n-1}/(1+q_j^n), and applied to ea−ebe_a-e_b it returns (nqn/(1+qn)−1)(ea−eb)\big(nq^n/(1+q^n)-1\big)(e_a-e_b). On the falling side q>xmq>x_m, so nqn/(1+qn)>1nq^n/(1+q^n)>1 and the eigenvalue is positive. The state is unstable. So a stable state raises at most one node.

The count of N + 1 is a grid result, not a theorem. The lemma allows the N single winners and the uniform state. A numerical enumeration of every fixed point over α\alpha from 1.2 to 1000 and n from 1 to 8 finds at most 2 stable states at N=2N=2 and at most N+1N+1 for N from 3 to 12, the N single winners plus the uniform state. They coexist at small α\alpha and steep repression. Brute-force runs from many starts agree for N from 2 to 5, and at n=1n=1 every case has one stable state (numerical), as the first case of the lemma requires. A bound for all parameters was not proved.

Self-activation would change the architecture and the count. A Hill network of N self-activating switches with weak cross-repression reaches 2N2^N states. So the comparison with MultiFate in §18 and §19 is a comparison of two architectures within one framework, not a limit of one mechanism. The strict limit comparison for multistability is §16.

Bound the repertoire of symmetric Hill mutual repression by the one-raised-node lemma, and quote its N+1N+1 count with its model and grid: symmetric, all-to-all, product form, no self-activation.

18MultiFate's dimer pool solves in closed form

In MultiFate every factor dimerizes through one shared domain. Homodimers activate and heterodimers do not. One equilibrium then supplies both the steepness of self-activation and the inhibition by sharing partners.

1 · Model. Each factor XiX_i pairs with itself into an active homodimer and with any other factor into an inactive heterodimer.12 All factors share one dimerization domain, so every unordered pair of monomers associates at the same rate per pair. Count pairs in a volume V first. With nin_i molecules of XiX_i there are ni(ni−1)/2≈ni2/2n_i(n_i-1)/2\approx n_i^2/2 same-factor pairs and ninjn_in_j mixed pairs with XjX_j. Dividing by V2V^2 converts these to Xi2/2X_i^2/2 and XiXjX_iX_j in concentration units. So, per product of concentrations, the heterodimer channel runs twice as fast as the homodimer channel. We take the rate law of one homodimer association event to be k+Xi2k_+X_i^2, each event using two monomers, which puts the factor 2 on the heterodimer arrow. With one dissociation constant for every dimer,

Xi+Xi⇌k−k+CXiXi,Xi+Xj⇌k−2k+CXiXj  (j≠i),Kd=k−k+.X_i+X_i\xrightleftharpoons[k_-]{k_+}C_{X_iX_i},\qquad X_i+X_j\xrightleftharpoons[k_-]{2k_+}C_{X_iX_j}\ \ (j\ne i),\qquad K_d=\frac{k_-}{k_+}.(45)

Homodimer association has rate law k+Xi2k_+X_i^2, heterodimer association 2k+XiXj2k_+X_iX_j, and every dimer dissociates at k−k_-. Equilibrium therefore gives CXiXi=Xi2/KdC_{X_iX_i}=X_i^2/K_d and CXiXj=2XiXj/KdC_{X_iX_j}=2X_iX_j/K_d, the statistical convention of Zhu and colleagues (supplement, p. 8). The totals count each homodimer twice:

qXi=Xi+2CXiXi+∑j≠iCXiXj.q_{X_i}=X_i+2C_{X_iX_i}+\sum_{j\ne i}C_{X_iX_j}.(46)

The homodimer activates its own gene through composite transcription and translation, and every state is removed at one frequency δ\delta, "regardless of its dimerization state" (Box 1, p. 6 of 11):

q˙Xi=α+β CXiXi nKM n+CXiXi n−δ qXi.\dot q_{X_i}=\alpha+\beta\,\frac{C_{X_iX_i}^{\,n}}{K_M^{\,n}+C_{X_iX_i}^{\,n}}-\delta\,q_{X_i}.(47)

Here α\alpha is basal production, β\beta activated production, KMK_M the homodimer level for half activation and n the transcriptional Hill coefficient. These are MultiFate's letters, and β\beta is not Gardner's coefficient of §15. The published dimensionless values are α=0.8\alpha=0.8, β=20\beta=20, Kd=1K_d=1 and n=1.5n=1.5, in units of KMK_M and 1/δ1/\delta (reported). Dimerization is fast: the authors estimate unbinding at 14.4 per hour against removal at 0.1 per hour (supplement, parameter section).

Every monomer keeps the same free fraction, which closes the binding layer. Substituting the equilibria into eq. (46), qXi=Xi(1+2F/Kd)q_{X_i}=X_i\big(1+2F/K_d\big) with F=∑jXjF=\sum_jX_j the free monomer of all factors. The factor in parentheses is the same for every i, so Xi=φ qXiX_i=\varphi\,q_{X_i} with one shared φ=1/(1+2F/Kd)\varphi=1/(1+2F/K_d). Summing over i, the pooled total S=∑iqXiS=\sum_iq_{X_i} satisfies F=φSF=\varphi S, so 2(S/Kd)φ2+φ−1=02(S/K_d)\varphi^2+\varphi-1=0, and

φ=21+1+8S/Kd,CXiXi=φ2qXi2Kd.\varphi=\frac{2}{1+\sqrt{1+8S/K_d}},\qquad C_{X_iX_i}=\frac{\varphi^2q_{X_i}^2}{K_d}.(48)

Every other factor inhibits XiX_i through φ\varphi, by taking a share of the partners.

The homodimer is nearly quadratic in its own total while it is dilute or holds a small share of the pool. With the other totals held, ∂S/∂qXi=1\partial S/\partial q_{X_i}=1, so the own-total log-slope of the homodimer is

∂ln⁡CXiXi∂ln⁡qXi=2+2qXiφ′(S)φ(S)=2−8qXi/Kdw(1+w),w=1+8S/Kd.\frac{\partial\ln C_{X_iX_i}}{\partial\ln q_{X_i}}=2+\frac{2q_{X_i}\varphi'(S)}{\varphi(S)}=2-\frac{8q_{X_i}/K_d}{w(1+w)},\qquad w=\sqrt{1+8S/K_d}.(49)

It is close to 2 while 8qXi/Kd≪w(1+w)8q_{X_i}/K_d\ll w(1+w). Two cases satisfy that condition: a dilute factor, qXi≪Kdq_{X_i}\ll K_d, whatever its share, and a factor holding a small share of a large pool, qXi≪Sq_{X_i}\ll S. The slope falls toward 1 only when one factor dominates a large pool. For a factor alone it is 1.96, 1.75, 1.33, 1.11 and 1.04 at qXi/Kd=0.01q_{X_i}/K_d=0.01, 0.1, 1, 10 and 100. With 20Kd20K_d held by others, one factor ON, it stays at 2.00, 2.00 and 1.96 up to qXi=Kdq_{X_i}=K_d and falls to 1.69 and 1.19 at 10 and 100 (exact, Figure 7). An OFF factor rising among ON factors is therefore nearly quadratic, a Hill degree of 2 made by binding.

A homodimer is nearly quadratic while dilute or a small share of the pool Log-slope of the homodimer in its own total, other totals held 1 1.5 2 0.001 0.01 0.1 1 10 100 1000
qXi/Kdq_{X_i}/K_d
∂ln⁡CXiXi/∂ln⁡qXi\partial\ln C_{X_iX_i}/\partial\ln q_{X_i}
quadratic linear factor alone in the pool
others hold 20 Kd (one factor ON)\text{others hold }20\,K_d\ \text{(one factor ON)}
2+2qXiφ′(S)/φ(S),  φ=2/(1+1+8S/Kd),  S=∑jqXj2+2q_{X_i}\varphi'(S)/\varphi(S),\ \ \varphi=2/(1+\sqrt{1+8S/K_d}),\ \ S=\textstyle\sum_jq_{X_j}

Scroll inside the figure to see it at reading size.

Figure 7. A homodimer is nearly quadratic while dilute or a small share of the pool. The own-total log-slope (49) against qXi/Kdq_{X_i}/K_d, for a factor alone in the pool (rose) and for a factor while others hold 20Kd20K_d, about one factor ON at the published parameters (coral). Exact.

Solve a shared dimerization pool through the common free fraction (48), write the statistical factor of 2 into the heterodimer arrow, and read the binding-made cooperativity from eq. (49), close to 2 while 8qXi/Kd≪w(1+w)8q_{X_i}/K_d\ll w(1+w), that is while the factor is dilute or holds a small share of a large pool.

19Counting MultiFate's stable states, and what removal decides

The stable states of MultiFate are counted by numerical enumeration of the closed loop. The count follows binomial sums whose range is set by how many factors can stay ON together. The removal rule decides whether partner competition sets the count at all.

5 · Close the loop. At a fixed point each node solves one scalar equation at the shared φ\varphi, δqXi=α+βh(φ2qXi2/Kd)\delta q_{X_i}=\alpha+\beta h\big(\varphi^2q_{X_i}^2/K_d\big), where h is the activation law of eq. (47). That equation has a low, a middle and a high branch. A fixed point is therefore a pattern of nodes over the three branches, plus one scalar consistency equation for S. Enumerating every pattern and solving its equation finds every fixed point the branch parametrization can reach, and the eigenvalues of the Jacobian classify each one. This is a numerical enumeration, not a certified one. Brute-force runs from 300 to 500 starts agree for N from 2 to 5 (numerical).

The counts follow binomial sums. At the published parameters the stable states number

N23456789101112
stable states371530569993130176232299
most factors ON23444433333

(numerical). Every count is a sum over the allowed numbers k of factors ON together,

stable states=∑k=kminkmax(Nk),\text{stable states}=\sum_{k=k_\mathrm{min}}^{k_\mathrm{max}}\binom{N}{k},(50)

where kmaxk_\mathrm{max} is the most factors ON and kmink_\mathrm{min} is 1, or 0 once the all-OFF state is stable, which happens from N = 7. For N = 4 every non-empty subset is allowed, 24−1=152^4-1=15. For N = 5, one to four ON gives 5+10+10+5=305+10+10+5=30. For N = 9, zero to three ON gives 1+9+36+84=1301+9+36+84=130.

Sharing partners caps how many factors stay ON. With k factors ON, each near its full level β/δ=20\beta/\delta=20, the pool is S≈20kS\approx20k. For a large pool eq. (48) gives φ2≈Kd/(2S)\varphi^2\approx K_d/(2S), so each ON homodimer is about q2/(2S)≈10/kq^2/(2S)\approx10/k and falls as 1/k. At the published parameters that holds at most four factors ON for N≤7N\le7 and three for N≥8N\ge8. Zhu and colleagues give the same reason, the diminishing share of active homodimers among all dimers (p. 9 of 11).

How many stable states N regulators hold, by architecture MultiFate at fixed parameters against the largest Hill count over a parameter grid 1 3 10 30 100 300 1000 3000 2 3 4 5 6 7 8 9 10 11 12
N  (number of factors)N\ \ (\text{number of factors})
stable states\text{stable states}
at N=9: 256=130+(94)\text{at }N=9:\ 256 = 130 + \tbinom94
2N−12^N-1
MultiFate, published parameters (fixed) MultiFate, n = 1 set (fixed) symmetric Hill mutual repression: largest count over the grid
α∈[1.2,1000], n∈[1,8], product form, no self-activation\alpha\in[1.2,1000],\ n\in[1,8],\ \text{product form, no self-activation}
Zhu et al. totals: N = 8 read from their Fig. 5D, N = 9 stated

Scroll inside the figure to see it at reading size.

Figure 8. Stable-state counts by architecture, under two comparison rules. MultiFate at the published parameters (rose) and at an n=1n=1 parameter set (coral, N from 2 to 8) are counts at fixed parameters. Symmetric Hill mutual repression, eq. (44), is the largest count over the grid α∈[1.2,1000]\alpha\in[1.2,1000], n∈[1,8]n\in[1,8] (blue). Gray dashed: 2N−12^N-1. Open circles: the totals Zhu and colleagues give at N = 8 (read from their Fig. 5D) and N = 9 (stated in their text), which our reanalysis splits into the stable count plus the (N4)\binom N4 four-ON saddles. Numerical enumeration of the closed dynamics.
Measurement and a reanalysis

Zhu and colleagues built MultiFate-3 in mammalian cells, and the cells held seven distinct states, each stable for at least 18 days (p. 1 of 11). Seven is the count at N = 3. For larger N they report a maximum of 256 attractors at N = 9 in the same model (p. 9 of 11).12 Our reanalysis finds 130 stable states there, and 256=130+(94)=130+126256=130+\binom94=130+126. The 126 are the symmetric four-ON fixed points, which exist on the middle branch with a threefold unstable eigenvalue of +0.0546 δ+0.0546\,\delta (and +0.0245 δ+0.0245\,\delta at N = 8). A kick of 0.1% sends each to a three-ON state (numerical). Their counts of robust attractors, read from their Fig. 5D as about 92 and 128 at N = 8 and 9, agree with our stable counts of 93 and 130.

Binding supplies the steepness. Without transcriptional cooperativity, n=1n=1, a parameter set chosen for three states at N = 2 (α=0.4\alpha=0.4, β=20\beta=20, Kd=0.1K_d=0.1) holds 3, 7, 15, 31, 62, 119 and 218 states for N = 2 to 8, following 2N−12^N-1 up to N = 5 (numerical). The near-quadratic homodimer of eq. (49) does the work. Zhu and colleagues also report multistability at n=1n=1 (supplement, p. 19).

Heterodimers make the OFF states. A lone factor always activates itself at the published parameters. It stays OFF only because ON factors, or the pooled basal expression of many OFF factors, titrate its monomers into inactive heterodimers. Forbidding heterodimers leaves one stable state, all ON, for every N (numerical).

Under free-only removal the steady-state equations separate, but the dynamics stay coupled. Remove only free monomers: q˙Xi=α+βh(Xi2/Kd)−δXi=gi(Xi)\dot q_{X_i}=\alpha+\beta h(X_i^2/K_d)-\delta X_i=g_i(X_i). Each right side depends on its own free monomer alone, so at a fixed point each XiX_i is a root of one scalar sigmoidal equation, with one or three roots. The dynamics do not separate. In logarithmic free coordinates y=ln⁡Xy=\ln X, eq. (46) gives q˙=Ay˙\dot q=A\dot y with the binding-capacity matrix Aij=∂qXi/∂ln⁡XjA_{ij}=\partial q_{X_i}/\partial\ln X_j, whose off-diagonal entries 2XiXj/Kd2X_iX_j/K_d are not zero. So y˙=A−1g(ey)\dot y=A^{-1}g(e^{y}), and the Jacobian at a fixed point is A−1GA^{-1}G with G=diag(gi′Xi)G=\mathrm{diag}(g_i'X_i). Since A is symmetric positive definite, A−1GA^{-1}G is similar to A−1/2GA−1/2A^{-1/2}GA^{-1/2}, which has the inertia of G by Sylvester's law. The unstable directions are the nodes on a middle root. So the count is exactly 2N2^N when the scalar equation has three roots and 1 otherwise, for every N. At the published parameters it is 1, all ON. At Kd=30K_d=30 it is 2N2^N, while uniform removal gives 4, 7, 11, 16, 22 and 29 for N = 2 to 7 (numerical). Uniform removal, the published model, is what lets partner competition set the count.

Count stable states from the closed loop by enumerating branch patterns, expect binomial sums (50) with a co-expression cap set by partner sharing, and name the removal rule, since free-only removal turns the count into 1 or 2N2^N through Sylvester's law.

Part 5

Adaptation

One incoherent feedforward loop, built two ways. Both effective laws compute input over controller. In binding and catalysis each needs its own regime of its binding pair, and the input itself walks the controller across the map. The core shows the step, the pulse and the controller.

20One feedforward loop, two implementations, two production constants

The controller can degrade the output or repress its gene. Matching the two set points fixes two different production constants, one per design, and the matching condition carries units.

Adaptation is a return to the old output after a sustained change of input. In an incoherent feedforward loop the input u drives the output X directly and also drives a controller Y that opposes X. The test here is a tenfold step: hold u=u0u=u_0 until steady state, step to 10u010u_0, and compute the steady-state error

ε(u0)=qX∗(10u0)qX∗(u0)−1.\varepsilon(u_0)=\frac{q_X^*(10u_0)}{q_X^*(u_0)}-1 .(51)

A persistent adaptive window is a range of u0u_0, open toward one end of the input range, on which ∣ε∣≤0.1|\varepsilon|\le0.1. An isolated input at which ε\varepsilon changes sign is a protocol-dependent endpoint cancellation, not a window, because it moves when the step factor changes.

1 · Model. The input is dimensionless and multiplies both production laws, as an activator held in its linear range or a gene dosage would. In both designs the controller is made by ∅⇝Y\varnothing\rightsquigarrow Y with rate law k2uk_2u and leaves every state that contains it at frequency γ\gamma. In the degradation design Y binds X and destroys it. Binding is an elementary pair, and at this model's resolution the catalytic step is one event:

∅⇝X  (rate law k1,Du),X+Y⇌k−k+CXY,CXY→kcatY,Y⇝∅,  CXY⇝X  (total rate law γqY),q˙X=k1,Du−kcatCXY,q˙Y=k2u−γqY.\begin{aligned}&\varnothing\rightsquigarrow X\ \ (\text{rate law }k_{1,\mathrm D}u),\qquad X+Y\xrightleftharpoons[k_-]{k_+}C_{XY},\qquad C_{XY}\xrightarrow{k_\mathrm{cat}}Y,\\ &Y\rightsquigarrow\varnothing,\ \ C_{XY}\rightsquigarrow X\ \ (\text{total rate law }\gamma q_Y),\qquad \dot q_X=k_{1,\mathrm D}u-k_\mathrm{cat}C_{XY},\quad \dot q_Y=k_2u-\gamma q_Y .\end{aligned}(52)

The composite step CXY⇝XC_{XY}\rightsquigarrow X returns the bound output to the free pool when its controller is removed, so X leaves the system only through catalysis. This is an idealized controller-removal model, not indiscriminate dilution of every molecule, and the exact adaptation of free X below depends on it. The totals are qX=X+CXYq_X=X+C_{XY} and qY=Y+CXYq_Y=Y+C_{XY}, and binding is at equilibrium, KdCXY=XYK_dC_{XY}=XY.

In the repression design the controller binds the promoter instead. Y binds the promoter G of the gene for X, whose total qGq_G is fixed. Only the free promoter expresses, and X binds nothing:

G+Y⇌k−k+CGY,G⇝G+X  (rate law k1,Ru G/qG),X⇝∅  (rate law δqX),Y⇝∅,  CGY⇝G  (total rate law γqY),q˙X=k1,Ru GqG−δqX,q˙Y=k2u−γqY.\begin{aligned}&G+Y\xrightleftharpoons[k_-]{k_+}C_{GY},\qquad G\rightsquigarrow G+X\ \ (\text{rate law }k_{1,\mathrm R}u\,G/q_G),\qquad X\rightsquigarrow\varnothing\ \ (\text{rate law }\delta q_X),\\ &Y\rightsquigarrow\varnothing,\ \ C_{GY}\rightsquigarrow G\ \ (\text{total rate law }\gamma q_Y),\qquad \dot q_X=k_{1,\mathrm R}u\,\frac{G}{q_G}-\delta q_X,\quad \dot q_Y=k_2u-\gamma q_Y .\end{aligned}(53)

The totals are qG=G+CGYq_G=G+C_{GY} and qY=Y+CGYq_Y=Y+C_{GY}, with KdCGY=GYK_dC_{GY}=GY, and qX=Xq_X=X. The two production constants carry different subscripts because the designs will need different values. The observable is the output total qXq_X, and in the degradation design free X is a second readout. A check against the full mass-action networks confirms binding equilibrium on the clock of the totals, to within 6.6×10−56.6\times10^{-5} over a step (numerical).

2 · Limit. Each design has a standard effective law. Degradation becomes a Michaelis-Menten law in which the substrate total stands for the free substrate, eq. (5). Repression becomes a Hill law of coefficient 1 in which the repressor total stands for the free repressor, the trace-promoter cut of eq. (6):

q˙X=k1,Du−kcat qY qXKd+qX  (degradation),q˙X=k1,Ru KdKd+qY−δqX  (repression).\dot q_X=k_{1,\mathrm D}u-k_\mathrm{cat}\,q_Y\,\frac{q_X}{K_d+q_X}\ \ \text{(degradation)},\qquad \dot q_X=k_{1,\mathrm R}u\,\frac{K_d}{K_d+q_Y}-\delta q_X\ \ \text{(repression)}.(54)

3 · Match. In both designs the controller settles at qY∗=k2u/γq_Y^*=k_2u/\gamma, proportional to the input. The degradation law then gives k1,Du=kcatqY∗X∗/(Kd+X∗)k_{1,\mathrm D}u=k_\mathrm{cat}q_Y^*X^*/(K_d+X^*), so

X∗=Kd ρ1−ρ,ρ=k1,D γkcat k2,X^*=K_d\,\frac{\rho}{1-\rho},\qquad \rho=\frac{k_{1,\mathrm D}\,\gamma}{k_\mathrm{cat}\,k_2},(55)

independent of the input whenever the dimensionless degrader load ρ\rho is below 1. The repression law gives X∗→k1,RKdγ/(δk2)X^*\to k_{1,\mathrm R}K_d\gamma/(\delta k_2) once qY≫Kdq_Y\gg K_d, also independent of the input. Equal set points therefore require

k1,R=δγ k2 ρ1−ρ.k_{1,\mathrm R}=\frac{\delta}{\gamma}\,k_2\,\frac{\rho}{1-\rho}.(56)

Both sides are a production rate per unit input, a concentration per time, because δ/γ\delta/\gamma and ρ\rho are dimensionless. Take KdK_d as the unit of concentration and 1/γ1/\gamma as the unit of time, and set k2=γKdk_2=\gamma K_d per unit input, so that qY∗=uKdq_Y^*=uK_d. The illustrative values kcat=1000γk_\mathrm{cat}=1000\gamma, ρ=0.05\rho=0.05 and δ=10γ\delta=10\gamma then give k1,D=ρkcatk2/γ=50 γKdk_{1,\mathrm D}=\rho k_\mathrm{cat}k_2/\gamma=50\,\gamma K_d and k1,R=(10/19) γKd≈0.526 γKdk_{1,\mathrm R}=(10/19)\,\gamma K_d\approx0.526\,\gamma K_d per unit input, and a shared set point X∗=Kd/19=0.0526 KdX^*=K_d/19=0.0526\,K_d (exact). In their limits both laws compute the ratio of input to controller. That shared structure is why the effective laws call the two designs the same.

Match two implementations by their set points, not by one shared constant: write each production constant with its own symbol and derive the matching condition, here eq. (56), with its units.

21The degradation design adapts only while both partners are free

The degradation design cancels the input exactly in free X at every input. Its total output adapts only while the degrader stays free and well below its dissociation constant, and the input pushes it out of that regime.

4 · Move a total. Here the input itself moves a total, because qY∗=uKdq_Y^*=uK_d. A sweep of the input walks the controller total along the pair's map.

The binding-catalysis steady state is exact in closed form. Setting eq. (52) to zero gives CXY∗=k1,Du/kcatC^*_{XY}=k_{1,\mathrm D}u/k_\mathrm{cat} and qY∗=k2u/γq_Y^*=k_2u/\gamma, so CXY∗/qY∗=ρC^*_{XY}/q_Y^*=\rho and Y∗=(1−ρ)qY∗Y^*=(1-\rho)q_Y^*. Binding then gives the free output and the total:

X∗=Kd CXY∗Y∗=Kd ρ1−ρ,qX∗=X∗+CXY∗=X∗ (1+η),η=Y∗Kd=CXY∗X∗.X^*=K_d\,\frac{C^*_{XY}}{Y^*}=K_d\,\frac{\rho}{1-\rho},\qquad q_X^*=X^*+C^*_{XY}=X^*\,(1+\eta),\qquad \eta=\frac{Y^*}{K_d}=\frac{C^*_{XY}}{X^*}.(57)

The free output is the effective law's set point (55) at every input. The total carries an extra factor, 1+η1+\eta. Here η\eta is Lecture 8's residual fraction of the output total: the bound share measured against the winner, free X.

The regimes of the pair X, Y place the failure. Name each regime by the winner of qYq_Y, the degrader, then of qXq_X:

RegimeCondition at steady stateTotal outputGain in u
(Y,X)(Y,X), both freeY∗<KdY^*<K_d, X∗<KdX^*<K_dqX∗≈X∗q_X^*\approx X^*, degradation flux (kcat/Kd)qYqX(k_\mathrm{cat}/K_d)q_Yq_X0, adapts
(Y,CXY)(Y,C_{XY}), output boundY∗>KdY^*>K_d, X∗<KdX^*<K_dqX∗≈CXY∗=k1,Du/kcatq_X^*\approx C^*_{XY}=k_{1,\mathrm D}u/k_\mathrm{cat}1, tracks the input
(CXY,X)(C_{XY},X), degrader saturatedX∗>KdX^*>K_d, so ρ>1/2\rho>1/2set point fragile, eq. (55) near ρ=1\rho=1fine-tuned edge
(CXY,CXY)(C_{XY},C_{XY})X∗>KdX^*>K_d, Y∗>KdY^*>K_dtotals tied, qX≈qYq_X\approx q_Ytracks

The path leaves (Y,X)(Y,X) where Y∗=KdY^*=K_d, that is at qY=Kd/(1−ρ)=Kd+X∗q_Y=K_d/(1-\rho)=K_d+X^*.

Precision demands depth inside the adaptive regime. A tenfold step multiplies Y∗Y^*, and so η\eta, by ten. By eq. (57) the error of the total is

ε=1+10η1+η−1=9η1+η,∣ε∣≤0.1  ⟺  η≤0.18.9=0.0112.\varepsilon=\frac{1+10\eta}{1+\eta}-1=\frac{9\eta}{1+\eta},\qquad |\varepsilon|\le0.1\iff\eta\le\frac{0.1}{8.9}=0.0112 .(58)

With Y∗=(1−ρ)qYY^*=(1-\rho)q_Y, the persistent window is qY≤0.0112Kd/(1−ρ)=0.0118 Kdq_Y\le0.0112K_d/(1-\rho)=0.0118\,K_d (exact). Its edge sits at 0.0112 times the regime boundary Y∗=KdY^*=K_d, two decades inside the regime. That is Lecture 8's bounded-factor accuracy read backwards: a 10% tolerance asks for the discarded term to be about 1% of the winner. Free X has ε=0\varepsilon=0 at every input.

The Michaelis-Menten law is valid exactly where the design works. The law (54) needs the free substrate to win its own total, X≈qXX\approx q_X, which is the regime (Y,X)(Y,X) or (CXY,X)(C_{XY},X) of the table.1 So the law describes the adaptive regime correctly, and it has no complex with which to represent the failure: sequestration of the total output.

Loading the degrader more heavily widens the window and makes the set point fragile. From eq. (55), ln⁡X∗=ln⁡Kd+ln⁡ρ−ln⁡(1−ρ)\ln X^*=\ln K_d+\ln\rho-\ln(1-\rho), so dln⁡X∗/dln⁡ρ=1/(1−ρ)d\ln X^*/d\ln\rho=1/(1-\rho): 1.05 at ρ=0.05\rho=0.05, 2 at 0.5 and 10 at 0.9. In the plane of input and set point, eq. (58) puts the window edge at u0=0.0112 (1+X∗/Kd)u_0=0.0112\,(1+X^*/K_d), which rises with the load (Figure 9, left). For ρ≥1\rho\ge1 production outruns the degrader's capacity kcatqYk_\mathrm{cat}q_Y, and X accumulates without bound. Saturating the degrader therefore trades robustness of the set point for range.

Diluting the output as well closes the window from below, and gives Du and colleagues' form. Let every X-containing state also be removed at dXd_X, so a bound X is diluted and releases its degrader. The steady state then balances k1,Du=kcatCXY∗+dXqX∗k_{1,\mathrm D}u=k_\mathrm{cat}C^*_{XY}+d_Xq_X^*, with CXY∗=X∗Y∗/KdC^*_{XY}=X^*Y^*/K_d and qX∗=X∗(1+Y∗/Kd)q_X^*=X^*(1+Y^*/K_d). Solving,

qX∗=k1,DudX⋅Kd+Y∗Kd+(1+kcat/dX) Y∗.q_X^*=\frac{k_{1,\mathrm D}u}{d_X}\cdot\frac{K_d+Y^*}{K_d+(1+k_\mathrm{cat}/d_X)\,Y^*}.(59)

The first factor is the unregulated level. In Du and colleagues' scaled variables, with dosage D, free regulator rs≈Dr_s\approx D and the dimensionless catalytic rate k~c=kcat/dX\tilde k_c=k_\mathrm{cat}/d_X, this is their mtot=D(K+rs)/(K+(k~c+1)rs)m_\mathrm{tot}=D(K+r_s)/(K+(\tilde k_c+1)r_s) (Data S1, pp. 14 to 16).13 It compensates dosage only approximately, and only for K/(k~c+1)<D≪KK/(\tilde k_c+1)<D\ll K. Their K also counts removal of the complex, so it is a Briggs-Haldane-like constant that reduces to KdK_d when binding is fast. With dX=γd_X=\gamma and kcat=1000γk_\mathrm{cat}=1000\gamma the best error of a tenfold step is 19.1%, and no input adapts within 10%. A 10% window needs kcat/dXk_\mathrm{cat}/d_X above about 3500 (numerical). The repression design has no such lower edge, because its output is removed at first order anyway.

Model prediction and measurement

Bleris and colleagues built incoherent feedforward loops in mammalian cells, with a microRNA as the controller. Their measured loops adapted to the amount of their genetic template (abstract; p. 7). Their model predicted a loss of adaptation at high copy number and low silencing-complex concentration, from saturation of that complex (p. 5).14 In the language of the table this is the degrader-saturated regime (CXY,X)(C_{XY},X). It is their model's prediction, not a measurement.

Check a degradation design by the residual fraction η=Y∗/Kd\eta=Y^*/K_d of its output total: a tenfold step adapts within 10% only while η≤0.0112\eta\le0.0112, free output adapts regardless, and output dilution adds a lower edge that needs kcat/dXk_\mathrm{cat}/d_X in the thousands.

22The repression design adapts only above its dissociation constant and its promoter

The repression design adapts only while the repressor exceeds both its dissociation constant and the promoter total. The Hill law sees the first condition. Only the binding-catalysis model sees the second, and with it a titration switch and a cancellation that holds for one step size.

The binding-catalysis steady state reads the free promoter. Eq. (53) at steady state gives qX∗=k1,Ru G/(δqG)q_X^*=k_{1,\mathrm R}u\,G/(\delta q_G), with G the free member of the pair (G,Y)(G,Y) at totals (qG,uKd)(q_G,uK_d). By the same quadratic as eq. (4),

G=12[(qG−qY−Kd)+(qG−qY−Kd)2+4KdqG],ε=10 G(10u0)G(u0)−1.G=\tfrac12\Big[(q_G-q_Y-K_d)+\sqrt{(q_G-q_Y-K_d)^2+4K_dq_G}\Big],\qquad \varepsilon=\frac{10\,G(10u_0)}{G(u_0)}-1 .(60)

The regimes of the pair G, Y place both failures. Name each regime by the winner of qGq_G, the promoter, then of qYq_Y:

RegimeLeading sectorFree promoter GGain of qX∗q_X^* in u
(G,Y)(G,Y), weak repressionqY≪Kdq_Y\ll K_d, qG≪Kdq_G\ll K_d≈qG\approx q_G1, tracks the input
(G,CGY)(G,C_{GY}), repressor titratedqY≪qGq_Y\ll q_G, qG≫Kdq_G\gg K_d≈qG\approx q_G1, tracks
(CGY,CGY)(C_{GY},C_{GY})qG≫Kdq_G\gg K_d, ∣qY−qG∣≪KdqG|q_Y-q_G|\ll\sqrt{K_dq_G}≈KdqG\approx\sqrt{K_dq_G}a switch
(CGY,Y)(C_{GY},Y), repressor in excessqY≫qGq_Y\gg q_G, qY≫Kdq_Y\gg K_d≈KdqG/qY\approx K_dq_G/q_Y0, adapts

Each entry is leading order deep inside its sector. Near the ray of a heavy promoter, outside the rounding scale KdqG\sqrt{K_dq_G}, the improved expressions are G≈qG−qYG\approx q_G-q_Y below it and G≈KdqG/(qY−qG)G\approx K_dq_G/(q_Y-q_G) above it, and the exact root (60) covers the rest. The exact ties lie within a factor of 2 of the sector lines, as in §2.

The design needs (CGY,Y)(C_{GY},Y): the free repressor wins its own total and the complex wins the promoter's. There the free-promoter readout has gain −1-1 in the repressor total, and the input's gain of +1+1 cancels it.

The Hill law already predicts the low-input failure, weak repression. In the Hill law (54) the output is proportional to u/(1+u)u/(1+u) in units of KdK_d, so

ε=10(1+u0)1+10u0−1=91+10u0=9KdKd+10qY,∣ε∣≤0.1  ⟺  qY≥8.9 Kd.\varepsilon=\frac{10(1+u_0)}{1+10u_0}-1=\frac{9}{1+10u_0}=\frac{9K_d}{K_d+10q_Y},\qquad |\varepsilon|\le0.1\iff q_Y\ge8.9\,K_d .(61)

At u0=0.01u_0=0.01 it gives 818%. At low input the repressor is scarce, the promoter stays mostly free, and production tracks the input. This is weak repression, and the Hill law represents it.

The Hill law misses titration of the repressor by the promoter pool. With a light promoter, qG=0.1Kdq_G=0.1K_d, eq. (60) starts the persistent window at 8.12Kd8.12K_d, close to the Hill law. With a heavy promoter, qG=10Kdq_G=10K_d, the first qGq_G of repressor is soaked up by the sites, and the persistent window starts only at 80.5Kd80.5K_d (numerical). In both cases the window begins about one decade beyond the leading-order regime boundary qY=max⁡(Kd,qG)q_Y=\max(K_d,q_G).

Below that window the heavy promoter has a protocol-dependent endpoint cancellation. At qG=10Kdq_G=10K_d the error of eq. (60) passes through zero at qY=2.0404 Kdq_Y=2.0404\,K_d, and stays within ±0.1\pm0.1 from 1.9039Kd1.9039K_d to 2.2107Kd2.2107K_d (exact roots, Figure 10). A tenfold step from there jumps across the titration ray qY=qGq_Y=q_G: the input rises tenfold while the free promoter falls about tenfold as the repressor passes the pool. The two endpoints happen to give the same output. Between them the output does not stay flat, and a different step factor moves the cancelling input. It is not an adaptive window.

On the titration ray a step over-adapts. At qG=10Kdq_G=10K_d the high-input step u=10→100u=10\to100 starts on the ray, where the free promoter is about KdqG\sqrt{K_dq_G}. The step drives the promoter into (CGY,Y)(C_{GY},Y), and the output settles at 0.41 of its old level, an error of −59%-59\% (numerical). The Hill law, with its promoter in trace, has no ray to cross.

Each adaptation design needs its own corner of its binding map Regimes at steady state before a tenfold step. Rose: the step adapts within 10%. degradation: pair X, Y repression: pair G, Y 0.001 0.1 10 1000 0.001 0.1 10 1000
qY/Kdq_Y/K_d
X∗/KdX^*/K_d
(Y,X)(Y,X)
(Y,CXY)(Y,C_{XY})
(CXY,X)(C_{XY},X)
(CXY,CXY)(C_{XY},C_{XY})
0.001 0.1 10 1000 0.001 0.1 10 1000
qY/Kdq_Y/K_d
qG/Kdq_G/K_d
(G,Y)(G,Y)
(G,CGY)(G,C_{GY})
(CGY,Y)(C_{GY},Y)
window edge (exact) regime boundaries error exactly zero dotted lines and dots: the parameters and inputs of the step responses
Left: the load ρ=X∗/(Kd+X∗) moves vertically. A tenfold step moves a point one decade right.\text{Left: the load }\rho=X^*/(K_d+X^*)\text{ moves vertically. A tenfold step moves a point one decade right.}

Scroll inside the figure to see it at reading size.

Figure 9. Each adaptation design needs its own corner of its binding map. Left, degradation: regimes of the pair X, Y at steady state over the controller total before the step and the set point X∗X^*, which fixes the load ρ\rho. The rose region adapts within 10%, bounded by the exact edge qY=0.0112(Kd+X∗)q_Y=0.0112(K_d+X^*) of eq. (58), two decades inside the boundary qY=Kd+X∗q_Y=K_d+X^*. Right, repression: the regimes of the pair G, Y over the repressor total before the step and the promoter total. Rose: the persistent window, edge from eq. (60). Rose dotted: inputs where the error is exactly zero, the endpoint cancellation. Dotted lines and dots: the parameters and inputs of Figure 11. A tenfold step moves a point one decade right. Exact steady states.
Signed error of a tenfold step: a persistent window and one cancellation Steady-state error against the controller total before the step -0.5 0 0.5 1 1.5 10⁻⁴ 0.01 1 100 10⁴
qY/Kdq_Y/K_d
ε\varepsilon
-0.5 0 0.5 1 1.5 0.01 1 100 10⁴
qY/Kdq_Y/K_d
ε\varepsilon
degradation repression cancellation window from 80.5 total output free output total, output also diluted Hill law: 9/(1+10u₀)
qG=0.1Kdq_G=0.1K_d
qG=10Kdq_G=10K_d
Shaded: ∣ε∣≤0.1.  ε=qX∗(10u0)/qX∗(u0)−1,  qY=u0Kd before the step.\text{Shaded: }|\varepsilon|\le0.1.\ \ \varepsilon=q_X^*(10u_0)/q_X^*(u_0)-1,\ \ q_Y=u_0K_d\text{ before the step.}

Scroll inside the figure to see it at reading size.

Figure 10. Signed error of a tenfold step: persistent windows and one cancellation. Left, degradation: the total output, which equals 9η/(1+η)9\eta/(1+\eta) of eq. (58) (rose), free output (lime, zero), and the total when the output is also diluted at γ\gamma, eq. (59) (rose dashed, never within 10%). Right, repression: the Hill law (61) (dashed) and the binding-catalysis model (60) at qG=0.1Kdq_G=0.1K_d (rose) and 10Kd10K_d (lime). The lime curve crosses zero at 2.04, the endpoint cancellation, then over-adapts and enters its persistent window at 80.5 (open circle). Shaded: ∣ε∣≤0.1|\varepsilon|\le0.1. Exact steady states.
Measurement

Segall-Shapiro, Sontag and Voigt tuned a monomeric TALE repressor to stay in excess at the lowest gene dosage, and obtained nearly constant expression across plasmids from 3 to 100 copies per cell, at the price of output strength (pp. 353 to 354).15 Their model assumes exactly the two conditions above, a repressor in excess of the promoters and of its KdK_d (supplement Note 1, pp. 3 to 5), and gives the strength-error trade as S=E/(E+1)S=E/(E+1) (supplement Eq. 19). Goentoro and colleagues likewise ask for Y/K>10Y/K>10 and note that the promoter then runs at a small fraction of its maximal strength (p. 897).16 At the edge of the light-promoter window here the promoter runs at 1/(1+8.12)=11%1/(1+8.12)=11\% of its unrepressed strength.

Check a repression design against both of its conditions, qY≫Kdq_Y\gg K_d and qY≫qGq_Y\gg q_G, at the lowest input it must handle, and distinguish a persistent window from an endpoint cancellation by asking whether it survives a different step factor.

23Step responses: what each effective law misses

The closed dynamics show both failures in one experiment. Each effective law misses a different one, for a different reason.

5 · Close the loop. Step the input tenfold from the steady state and integrate the closed totals, with binding solved at every instant (Figure 11). At low input, u=0.01→0.1u=0.01\to0.1, the degradation design starts in (Y,X)(Y,X). Its total pulses 5.9-fold and returns to within 8.5%. The repression design starts in (G,Y)(G,Y) and rises about tenfold and stays there, with errors of 824% at qG=0.1Kdq_G=0.1K_d and 892% at 10Kd10K_d. At high input, u=10→100u=10\to100, the roles swap. The light-promoter repression design starts in (CGY,Y)(C_{GY},Y), pulses 4.9-fold and returns to within 8.1%. The degradation design starts in (Y,CXY)(Y,C_{XY}). Its total settles at an error of 814%, while its free X pulses 17-fold and returns exactly (all numerical).

Tenfold input steps: each design adapts at one end Output over its value just before the step; time in units of 1/γ 0 1 5 0 2 4 6
tγt\gamma
fold\text{fold}
0 5 10 15 0 2 4 6
tγt\gamma
fold\text{fold}
0 1 5 10 0 2 4 6
tγt\gamma
fold\text{fold}
0 1 5 0 2 4 6
tγt\gamma
fold\text{fold}
low input: u = 0.01 → 0.1 high input: u = 10 → 100 degradation repression binding-catalysis, total output free output (degradation) effective law
repression: qG=0.1Kd (rose), 10Kd (lime)\text{repression: }q_G=0.1K_d\ \text{(rose)},\ 10K_d\ \text{(lime)}

Scroll inside the figure to see it at reading size.

Figure 11. Tenfold input steps: each design adapts at one end. Output over its value just before the step, with time in units of 1/γ1/\gamma. Left column: u=0.01→0.1u=0.01\to0.1. Right column: u=10→100u=10\to100. Top row, degradation: total output (rose) and free output (lime) of eq. (52), and the Michaelis-Menten law (54) (dashed). Bottom row, repression: eq. (53) at qG=0.1Kdq_G=0.1K_d (rose) and 10Kd10K_d (lime), and the Hill law (54) (dashed). Closed total dynamics with binding solved at every instant, illustrative parameters of §20. Numerical.

Each effective law misses a different failure. The Michaelis-Menten law misses sequestration of the total output. It adapts at every input, with ε=0\varepsilon=0, and at high input it pulses to 18.4 and returns, while the binding-catalysis total stays 814% high. The Hill law captures the low-input failure, weak repression: its error of 818% at u0=0.01u_0=0.01 is close to the 824% of the light promoter. What it misses is depletion of free repressor by a finite promoter pool, and with it the titration that moves the window to 80.5Kd80.5K_d and the over-adaptation to 0.41 on the titration ray.

The readout matters as much as the regime. In the degradation design free X adapts exactly at every input, and only the total fails. Which pool counts is a biological question. The total counts when bound X still acts or is still measured, as for a fluorescent fusion, or for a target mRNA that is still translated while bound, until it is cleaved. The effective law cannot pose the question, because it has no complex.

Both loops forget the input only inside one regime. Each design adapts over a feasible operating range of inputs, set by its binding regime, never over every possible input. Lecture 10 asks what a loop must remember to adapt across a whole range, and it should take these claims with that scope.

Read a step response together with the regime before the step: the degradation design adapts from (Y,X)(Y,X) and the repression design from (CGY,Y)(C_{GY},Y), the Michaelis-Menten law misses sequestration of the total output, and the Hill law misses titration by the promoter pool.

Part 6

Oscillation

A ring of three repressors loses its symmetric rest state when each link amplifies more than twofold. A Hill law cannot supply that gain at coefficient 1. A finite promoter pool can, by titration, if bound repressor leaves with free repressor. Below the threshold a cycle can still coexist with a stable rest state. The core follows one cycle around the ring.

24A ring's rest state loses stability at a gain of 2 per link

Linearizing a symmetric ring gives a threshold on the gain of each link: 2 for proteins alone, a loop gain of 23=82^3=8, and 4/3 with an mRNA stage at equal lifetimes. Crossing it destabilizes the symmetric rest state. It is not a necessary condition for oscillation. A Hill law's gain is always below its coefficient.

The threshold comes from the eigenvalues of a cyclic matrix. Take a symmetric ring of three nodes with uniform removal, linearized at its symmetric steady state. Each node relaxes at rate 1, in units of its removal rate, and its upstream neighbour pushes it with slope −H-H. We call H>0H>0 the gain of each link. The loop gain, the product of the three link gains around the ring, is H3H^3. The Jacobian is J=−I−HPJ=-I-HP, with P the cyclic shift of the three nodes, whose eigenvalues are the cube roots of unity. So

μk=−1−H ωk,ω=e2πi/3,k=0,1,2.\mu_k=-1-H\,\omega^k,\qquad \omega=e^{2\pi i/3},\qquad k=0,1,2 .(62)

For k=1,2k=1,2, ωk=−12±i32\omega^k=-\tfrac12\pm i\tfrac{\sqrt3}2, so the pair has real part −1+H/2-1+H/2 and imaginary part ±H3/2\pm H\sqrt3/2. It crosses into the right half-plane at H=2H=2, a loop gain of 8, with frequency 3\sqrt3 times the removal rate. A ring of N genes, N odd, crosses at H=sec⁡(π/N)H=\sec(\pi/N). A two-gene loop instead becomes a saddle at H=1H=1, which was the toggle of §16.

The threshold is a statement about the symmetric rest state, not about oscillation in general. Above it the rest state is unstable. Below it the rest state is locally stable, yet a stable cycle can coexist with it far from rest, as §28 finds beyond a subcritical Hopf point. A gain above 2 per link is therefore sufficient to destabilize the rest state, and it is not necessary for a cycle.

An mRNA stage lowers the link threshold to 4/3 at best. Elowitz and Leibler's model adds an mRNA to each node (Box 1, p. 337):17

m˙i=−mi+α1+pi−1 n+α0,p˙i=−β (pi−mi).\dot m_i=-m_i+\frac{\alpha}{1+p_{i-1}^{\,n}}+\alpha_0,\qquad \dot p_i=-\beta\,(p_i-m_i).(63)

Here mim_i and pip_i are mRNA and protein in their authors' units, time is in mRNA lifetimes, α\alpha and α0\alpha_0 are the maximal and leaky transcription, and β\beta is the ratio of protein to mRNA removal rates. These letters hold only in this section. For a rotating mode the linearization gives (μ+1)(μ+β)=Hβe±iπ/3(\mu+1)(\mu+\beta)=H\beta e^{\pm i\pi/3}. Setting μ=iΩ\mu=i\Omega and separating real and imaginary parts gives Ω2=β(1−H/2)\Omega^2=\beta(1-H/2) and Ω(1+β)=Hβ3/2\Omega(1+\beta)=H\beta\sqrt3/2. Eliminating Ω\Omega, the rest state is unstable, for H<2H<2, exactly when

(1+β)2β<3H24−2H.\frac{(1+\beta)^2}{\beta}<\frac{3H^2}{4-2H}.(64)

This is Elowitz and Leibler's condition with their slope written as −H-H. The left side is smallest, 4, at β=1\beta=1, equal lifetimes, where the condition becomes H>4/3H>4/3. For H≥2H\ge2 the rest state is unstable at every β\beta.

A Hill law supplies a gain below its coefficient. The protein-only ring is p˙i=f(pi−1)−pi\dot p_i=f(p_{i-1})-p_i with f(x)=α0+α/(1+xn)f(x)=\alpha_0+\alpha/(1+x^n). At its unique symmetric fixed point, p∗=f(p∗)p^*=f(p^*),

H=∣f′(p∗)∣=n p∗n1+p∗n⋅p∗−α0p∗<n.H=|f'(p^*)|=\frac{n\,p^{*n}}{1+p^{*n}}\cdot\frac{p^*-\alpha_0}{p^*}<n .(65)

The first factor is below n and the second below 1, so a leak lowers the gain further. At n=1n=1, H<1H<1, below both thresholds, for every production, leak and pair of lifetimes. With Elowitz and Leibler's own parameters, n=2n=2, α=216.4\alpha=216.4, α0=0.2164\alpha_0=0.2164 and β=0.2\beta=0.2, derived from their Box 1, the gain is H=1.876H=1.876. The threshold of eq. (64) at β=0.2\beta=0.2 is 1.52, so the steady state is unstable, and the predicted period is 43.2 mRNA lifetimes, about 125 minutes (numerical). Their repressilator, built from cooperative repressors, oscillated with a period of around 150 minutes (p. 336, reported). The Hill law is the right model for that circuit.

A Hill law gives a link gain below its coefficient Link gain H at the symmetric steady state of a Hill repressilator, against the Hill coefficient 0 1 2 3 4 1 2 3 4
n  (Hill coefficient)n\ \ (\text{Hill coefficient})
HH
H = n protein only: H > 2 with mRNA, equal lifetimes: H > 4/3 Elowitz–Leibler, n = 2: H = 1.88 n = 1 Shaded: every gain a Hill law can supply at its fixed point, for any production and leak.
Rose curve: Elowitz–Leibler’s production and leak (α=216.4, α0=0.2164) at each n.\text{Rose curve: Elowitz–Leibler's production and leak }(\alpha=216.4,\ \alpha_0=0.2164)\text{ at each }n.

Scroll inside the figure to see it at reading size.

Figure 12. A Hill law gives a link gain below its coefficient. Link gain H at the symmetric steady state against the Hill coefficient n. Shaded: every gain eq. (65) allows, below H=nH=n. Horizontal lines: the thresholds of eq. (62), H=2H=2 for proteins alone, and of eq. (64), H=4/3H=4/3 with mRNA at equal lifetimes. Rose: the gain at Elowitz and Leibler's production and leak for each n, with their point at n=2n=2. Exact.
Optional: why a Hill ring with coefficient 1 never oscillates, from any start

The local argument leaves open a cycle far from the steady state, and a global argument closes it. Let MiM_i and mim_i be the limsup and liminf of node i along a bounded trajectory. Each node passes its input through the decreasing map f(x)=α0+α/(1+x)f(x)=\alpha_0+\alpha/(1+x) and through stable first-order filters, so Mi≤f(mi−1)M_i\le f(m_{i-1}) and mi≥f(Mi−1)m_i\ge f(M_{i-1}). Around the ring this gives M≤F(m)M\le F(m) and m≥F(M)m\ge F(M) with F=f∘f∘fF=f\circ f\circ f, hence M≤F(F(M))M\le F(F(M)) and m≥F(F(m))m\ge F(F(m)).

Now f is a Möbius map, so F∘FF\circ F is again a Möbius map, and it has the same two fixed points as f: one positive and attracting, one negative. So F(F(x))<xF(F(x))<x above the positive steady state x∗x^* and F(F(x))>xF(F(x))>x below it. The two inequalities then force m=M=x∗m=M=x^*. Every trajectory converges, in the protein-only model and with mRNA, for every parameter and every odd ring length (exact).

The Hill limit in the literature

Potvin-Trottier and colleagues simulated a minimal Hill model of the repressilator at n=1n=1 (K=0.01K=0.01, λ=103\lambda=10^3). Its stochastic traces oscillate, while the deterministic equations with the same parameters show damped oscillations (Extended Data Fig. 4d and its legend; Supplementary Information 4.1, p. 12).18 The damping is the Hill limit of eq. (65).

Decide whether a repressor ring's symmetric rest state is stable by comparing the gain of each link with 2, a loop gain of 8, or with 4/3 when an mRNA stage has equal lifetimes. A gain above the threshold rules the rest state out, a gain below it does not rule out a cycle, and a Hill law supplies less than its coefficient.

25A finite promoter pool supplies the gain by titration

The same ring, written with its promoter sites, gets its gain from the titration layer of §16. The trace-promoter limit is the Hill ring with coefficient 1 and cannot oscillate.

1 · Model. Repressor Ri−1R_{i-1} binds the promoter sites PiP_i of gene i as a monomer, with indices counted around the ring of three. Free sites express at the full rate, every site, free or bound, leaks at a small rate, and free and bound repressor are diluted alike:

Ri−1+Pi⇌k−k+CPiRi−1,Pi⇝Pi+Ri  (rate law (kP+kℓ)Pi),CPiRi−1⇝CPiRi−1+Ri  (rate law kℓCPiRi−1),Ri⇝∅  (rate law λRi),CPi+1Ri⇝Pi+1  (rate law λCPi+1Ri).\begin{aligned}&R_{i-1}+P_i\xrightleftharpoons[k_-]{k_+}C_{P_iR_{i-1}},\\ &P_i\rightsquigarrow P_i+R_i\ \ (\text{rate law }(k_P+k_\ell)P_i),\qquad C_{P_iR_{i-1}}\rightsquigarrow C_{P_iR_{i-1}}+R_i\ \ (\text{rate law }k_\ell C_{P_iR_{i-1}}),\\ &R_i\rightsquigarrow\varnothing\ \ (\text{rate law }\lambda R_i),\qquad C_{P_{i+1}R_i}\rightsquigarrow P_{i+1}\ \ (\text{rate law }\lambda C_{P_{i+1}R_i}).\end{aligned}(66)

As in §16 the total balance is exact, and in units of qPq_P and 1/λ1/\lambda the closed loop is

r˙i=a(p(ri−1)+ε)−ri,i=1,2,3,\dot r_i=a\big(p(r_{i-1})+\varepsilon\big)-r_i,\qquad i=1,2,3,(67)

with ri=qRi/qPr_i=q_{R_i}/q_P, a=kP/λa=k_P/\lambda, ε=kℓ/kP\varepsilon=k_\ell/k_P and the free fraction p(r)p(r) of eq. (39). The observable is the three repressor totals over time.

2 · Limit. With the promoter in trace, p=κ/(κ+r)p=\kappa/(\kappa+r), and eq. (67) becomes the protein-only Hill ring with coefficient 1. By §24 it converges from every start. 3 · Match. In that limit the two rings are the same equations. At the reference parameters of §28 with the promoter put in trace, the gain is H=0.91H=0.91 and the run returns to rest (numerical).

4 · Move a total. With a finite pool, the gain is the titration slope. The gain of each link is the production slope relative to the removal slope of 1, H=a∣p′(r∗)∣=ap∗2/(p∗2+κ)H=a|p'(r^*)|=ap^{*2}/(p^{*2}+\kappa), with or without leak. At a leak-free steady state r∗=ap∗r^*=ap^*, and H equals the log-slope (40) of the free fraction at r∗r^*, which is eq. (42). So the ring can borrow the steep log-slope that titration makes near equivalence, up to about 12qP/K\tfrac12\sqrt{q_P/K} (Figure 6). In the irreversible limit κ→0\kappa\to0, below equivalence, r∗=a(1−r∗)r^*=a(1-r^*) and the gain is r∗/(1−r∗)=ar^*/(1-r^*)=a: the production per lifetime itself, without bound.

Write a repressor ring with its promoter sites, reduce it to eq. (67), and read the gain of each link as the titration slope ap∗2/(p∗2+κ)ap^{*2}/(p^{*2}+\kappa), which a finite pool can raise far above 2.

26The tightness threshold and its irreversible-binding edge

A leak-free monomer ring's symmetric steady state can lose stability only if the promoter pool exceeds 7+43≈13.97+4\sqrt3\approx13.9 dissociation constants. Production must then lie in a window. Irreversible binding is the edge of this map, where Clamons and Murray's idealized ring sits.

The threshold is a quadratic inequality in the free fraction. Set the gain (42) above 2 and clear the denominator: (1−p)(p+κ)>2(p2+κ)(1-p)(p+\kappa)>2(p^2+\kappa) becomes

3p∗2−(1−κ) p∗+κ<0.3p^{*2}-(1-\kappa)\,p^*+\kappa<0 .(68)

Some p∗p^* between 0 and 1 satisfies it exactly when the discriminant is positive, (1−κ)2>12κ(1-\kappa)^2>12\kappa, that is κ2−14κ+1>0\kappa^2-14\kappa+1>0. The root above 1 is excluded, so κ<7−43\kappa<7-4\sqrt3, or

qPK>17−43=7+43=(2+3)2≈13.93.\frac{q_P}{K}>\frac{1}{7-4\sqrt3}=7+4\sqrt3=(2+\sqrt3)^2\approx13.93 .(69)

This is exact for the leak-free symmetric ring under uniform removal.

Production must lie in a window. The roots of eq. (68) are p±=[(1−κ)±(1−κ)2−12κ]/6p_\pm=\big[(1-\kappa)\pm\sqrt{(1-\kappa)^2-12\kappa}\big]/6. Since a(p)=(1−p)(p+κ)/p2a(p)=(1-p)(p+\kappa)/p^2 falls as p rises, the steady state is unstable for

a(p+)<a<a(p−),which tends to2<a<2 qPKfor qPK≫1.a(p_+)<a<a(p_-),\qquad\text{which tends to}\qquad 2<a<2\,\frac{q_P}{K}\quad\text{for}\ \frac{q_P}{K}\gg1 .(70)

We call this the symmetric-state instability window, because that is what it bounds. It is not the complete set of parameters at which a cycle exists, as §28 shows.

The window's two edges have simple limits. They follow from p+→1/3p_+\to1/3 and p−→κp_-\to\kappa. At qP/K=200q_P/K=200 the window is 2.094<a<385.92.094<a<385.9, and the largest gain over production is 7.11, close to 12200\tfrac12\sqrt{200} (exact, leak-free). A leak raises the threshold slightly: to 14.1 at ε=10−3\varepsilon=10^{-3}, 16.1 at 10−210^{-2} and 20.8 at 3×10−23\times10^{-2} (numerical).

The threshold concerns the steady state, not every cycle. Eq. (69) is necessary and sufficient for the symmetric steady state to lose stability at some production. It does not prove that no cycle exists below it, because a subcritical Hopf point can leave a stable cycle beside a stable steady state, as §28 finds. A scan below the threshold found none: at qP/K=10q_P/K=10, 12, 13 and 13.5, with 26 productions from 1 to 316 and two distant starts each, every run came to rest (numerical).

Irreversible binding is the edge of the map, and Clamons and Murray's idealized ring sits there. As κ→0\kappa\to0, eq. (39) becomes p(r)=max⁡(0,1−r)p(r)=\max(0,1-r). Clamons and Murray's first-order CRISPRi model assumes abundant dCas, instantaneous binding and irreversible one-to-one binding of the guide-dCas complex to DNA, until the promoter pool saturates (p. 9).19 For the ring, with guide totals gig_i and promoter total P, their equation is

g˙i=αmax⁡(0,P−gi−1)+α0min⁡(P,gi−1)−γgi,\dot g_i=\alpha\max(0,P-g_{i-1})+\alpha_0\min(P,g_{i-1})-\gamma g_i ,(71)

where α\alpha and α0\alpha_0 are the guide production rates from an unbound and a bound promoter and γ\gamma is the dilution rate (p. 10). The loss γgi\gamma g_i multiplies the total guide, bound guide included, so this idealized equation dilutes bound complexes with free ones. In their full model, replication releases the DNA-bound complex back to the free pool rather than removing it (pp. 4 to 5), and the printed reaction list gives a different product for that step (p. 6). The comparison is therefore made on eq. (71).

A coefficient conversion maps eq. (71) onto the ring (67) at the edge. Since min⁡(P,g)=P−max⁡(0,P−g)\min(P,g)=P-\max(0,P-g),

αmax⁡(0,P−g)+α0min⁡(P,g)=α0P+(α−α0)max⁡(0,P−g).\alpha\max(0,P-g)+\alpha_0\min(P,g)=\alpha_0P+(\alpha-\alpha_0)\max(0,P-g).(72)

So their leak is a background from every promoter plus an increment from each free one, the lecture's form. With ri=gi/Pr_i=g_i/P and time in units of 1/γ1/\gamma,

r˙i=b+amax⁡(0,1−ri−1)−ri,a=α−α0γ,b=α0γ,\dot r_i=b+a\max(0,1-r_{i-1})-r_i,\qquad a=\frac{\alpha-\alpha_0}{\gamma},\qquad b=\frac{\alpha_0}{\gamma},(73)

which is eq. (67) at κ=0\kappa=0 with aε=ba\varepsilon=b, that is ε=α0/(α−α0)\varepsilon=\alpha_0/(\alpha-\alpha_0). At zero leak the two equations coincide exactly. Integrated side by side they give the same period, 3.808 in units of 1/γ1/\gamma, with a largest trajectory difference of 3.1×10−63.1\times10^{-6} (numerical).

Their instability condition needs the central state below saturation. If b<1b<1, the symmetric state lies on the sloped segment, r∗=(a+b)/(1+a)<1r^*=(a+b)/(1+a)<1, the gain is a, and the rotating pair has real part a/2−1a/2-1. It is unstable exactly when a>2a>2, that is (α−α0)/2>γ(\alpha-\alpha_0)/2>\gamma, the condition they derived (p. 11). If b>1b>1, the symmetric state is r∗=br^*=b, on the flat segment where production does not depend on the input, and the Jacobian is −I-I: stable. At b=1b=1 the state r∗=1r^*=1 sits on the kink, where the law has no derivative, so it is treated directly. A node below 1 never falls, since its rate is at least 1−ri>01-r_i>0, so every deficit shrinks at least as e−te^{-t}. A node above 1 adds nothing to the next node's production, so the deficit cannot travel around the ring, and every trajectory comes to rest at r∗=1r^*=1 (exact). So the complete condition is (α−α0)/2>γ(\alpha-\alpha_0)/2>\gamma together with α0<γ\alpha_0<\gamma. For example α=5\alpha=5, α0=2\alpha_0=2, γ=1\gamma=1 satisfies the first, with a=3a=3, but has b=2b=2, a saturated central state at r∗=2r^*=2, and a stable one (exact). Clamons and Murray state that cooperativity is not necessary for a toggle or a repressilator (p. 12). In the coordinates of this page their ring is the right edge of the map, qP/K→∞q_P/K\to\infty, where the window (70) becomes a>2a>2.

Test whether a monomer ring's symmetric state can lose stability against qP/K>7+43q_P/K>7+4\sqrt3 and the production window (70), read irreversible binding as the edge κ→0\kappa\to0 with the conversion (72), and require α0<γ\alpha_0<\gamma as well as (α−α0)/2>γ(\alpha-\alpha_0)/2>\gamma at that edge.

27The bound-to-free removal ratio rescales the pool

If bound repressor leaves at a fraction θ\theta of the rate of free repressor, the symmetric-state gain and the instability thresholds of the ring and the toggle are those of uniform removal with the pool qP/Kq_P/K replaced by θqP/K\theta q_P/K. Protected bound repressor, θ=0\theta=0, makes neither a toggle nor a cycle, from any start.

Partial protection changes the removal slope. Let free repressor leave at λf\lambda_\mathrm{f} and bound repressor at λb=θλf\lambda_\mathrm{b}=\theta\lambda_\mathrm{f}, with time in units of 1/λf1/\lambda_\mathrm{f}. The free repressor, in units of qPq_P, is ϱ(r)=r−1+p(r)\varrho(r)=r-1+p(r), so the ring becomes

r˙i=a(p(ri−1)+ε)−[θri+(1−θ)ϱ(ri)].\dot r_i=a\big(p(r_{i-1})+\varepsilon\big)-\big[\theta r_i+(1-\theta)\varrho(r_i)\big].(74)

The removal slope is θ+(1−θ)ϱ′\theta+(1-\theta)\varrho', and ϱ′=1+p′=κ/(p2+κ)\varrho'=1+p'=\kappa/(p^2+\kappa). Dividing the production slope by it, the gain is H=ap∗2/(θp∗2+κ)H=ap^{*2}/(\theta p^{*2}+\kappa).

At a leak-free steady state the gain is the uniform gain at a smaller pool. The steady state balances ap∗=θr∗+(1−θ)ϱ(r∗)ap^*=\theta r^*+(1-\theta)\varrho(r^*). With r(p)r(p) from eq. (39) and ϱ=(1−p)κ/p\varrho=(1-p)\kappa/p, this gives a=(1−p∗)(θp∗+κ)/p∗2a=(1-p^*)(\theta p^*+\kappa)/p^{*2}, and substituting,

H=(1−p∗)(θp∗+κ)θp∗2+κ,H(p;θ,κ)=H(p;1,κ/θ),a(p;θ,κ)=θ a(p;1,κ/θ).H=\frac{(1-p^*)(\theta p^*+\kappa)}{\theta p^{*2}+\kappa},\qquad H(p;\theta,\kappa)=H(p;1,\kappa/\theta),\qquad a(p;\theta,\kappa)=\theta\,a(p;1,\kappa/\theta).(75)

So the removal ratio rescales the pool in the symmetric-state analysis. The link gain at the symmetric state, and every instability threshold derived from it, are those of uniform removal with qP/Kq_P/K replaced by θqP/K\theta q_P/K and a by a/θa/\theta (exact, Figure 13). The substitution concerns the symmetric state only. It does not make whole trajectories or cycles identical, and eq. (74) is not the uniform ring with new constants.

The rescaling gives the two thresholds at once. The ring's symmetric state can lose stability exactly when θqP/K>7+43\theta q_P/K>7+4\sqrt3, by eq. (69). The symmetric state of the toggle of §16 is a saddle exactly when θqP/K>1\theta q_P/K>1 and

a>θ(θ+κθ−κ)2,a>\theta\Big(\frac{\theta+\kappa}{\theta-\kappa}\Big)^{2},(76)

which is eq. (43) rescaled. With bound repressor protected, θ=0\theta=0, eq. (75) gives

H=1−p∗<1H=1-p^*<1(77)

for every pool and production. Titration then lowers the production slope and the removal slope in the same proportion, and the two cancel. That is a local statement about the symmetric state. A global one also holds, because free-only removal turns each node into a Hill-1 filter of free repressor. Write node i in its free repressor yi=ϱ(ri)y_i=\varrho(r_i). Binding gives p=κ/(κ+y)p=\kappa/(\kappa+y), so the input of node i is a(κ/(κ+yi−1)+ε)a\big(\kappa/(\kappa+y_{i-1})+\varepsilon\big), a decreasing Möbius map of the upstream free repressor, and its removal ϱ(ri)\varrho(r_i) rises with rir_i. The limsup and liminf argument of the optional box in §24 then applies to the free repressors, around a ring of any length, odd or even. Every trajectory of the ring and of the toggle converges to the unique steady state, for every pool, production and leak (exact). A check from four starts at each of 24 parameter sets for the ring and the toggle found the same (numerical).

The numbers show how much protection the ring tolerates. At qP/K=200q_P/K=200 the largest leak-free gain is 7.11, 5.05, 3.24 and 1.74 for θ=1\theta=1, 0.5, 0.2 and 0.05 (exact). With a leak of 10−310^{-3} the values for 1, 0.5 and 0.05 are 6.99, 4.99 and 1.73 (numerical). The ring's steady state can lose stability only for θ>13.93/200=0.070\theta>13.93/200=0.070. At qP/K=50q_P/K=50 the bound repressor must leave at more than 0.279 times the rate of free repressor.

Removal of bound repressor rescales the promoter pool Largest leak-free link gain against the pool, for several bound-to-free removal ratios θ 0.5 1 2 5 10 20 50 1 10 100 1000 10⁴
qP/Kq_P/K
Hmax⁡H_{\max}
0.5 1 2 5 10 20 50 1 10 100 1000 10⁴
θ qP/K\theta\,q_P/K
Hmax⁡H_{\max}
13.9 ring threshold toggle threshold θ = 1 θ = 0.5 θ = 0.2 θ = 0.05 θ = 0 (bound repressor protected): H = 1 − p* stays below 1 for every pool.
Right: the curves coincide. Hmax⁡>1 needs θqP/K>1, Hmax⁡>2 needs θqP/K>7+43.\text{Right: the curves coincide. }H_{\max}>1\text{ needs }\theta q_P/K>1,\ H_{\max}>2\text{ needs }\theta q_P/K>7+4\sqrt3.

Scroll inside the figure to see it at reading size.

Figure 13. Removal of bound repressor rescales the promoter pool. Left: the largest leak-free link gain over production, from eq. (75), against qP/Kq_P/K for bound-to-free removal ratios θ=1\theta=1, 0.5, 0.2 and 0.05. Right: the same curves against θqP/K\theta q_P/K, where they coincide. The dots mark the thresholds: 1 for the toggle at θqP/K=1\theta q_P/K=1, and 2 for the ring at θqP/K=7+43\theta q_P/K=7+4\sqrt3. At θ=0\theta=0 the gain is 1−p∗1-p^*, below 1 for every pool. Exact.

The published analyses sit at particular removal ratios. In Loinger and Biham's rate equations, bound repressor degrades at drd_r and free repressor at d, so θ=dr/d\theta=d_r/d. Without bound-repressor degradation their single steady state "is stable for any choice of the parameters" (p. 6), the case θ=0\theta=0. With it their Eq. 5 oscillates, and the oscillatory range "shrinks to zero when dr→0d_r\to0" (p. 7), consistent with the rescaled threshold.20 Müller and colleagues degrade free proteins only (preprint, p. 3), which is θ=0\theta=0, and find the central equilibrium of their ring stable for Hill coefficients below 4/3 (p. 29).21 Potvin-Trottier and colleagues note that equal dilution of repressor and binding sites is key to effective titration (Supplementary Information 4.3, p. 17).18

Name the bound-to-free removal ratio before deciding what monomeric repressors can do: replace qP/Kq_P/K by θqP/K\theta q_P/K in every symmetric-state threshold, so a toggle's symmetric state is a saddle only if θqP>K\theta q_P>K, a ring's rest state can lose stability only if θqP/K>7+43\theta q_P/K>7+4\sqrt3, and protected bound repressor allows neither a toggle nor a cycle.

28Hopf points, a subcritical edge and a relaxation cycle

Inside the window the ring settles onto a relaxation cycle. Its upper edge is subcritical, so a stable cycle outlives the unstable steady state, and rest and oscillation coexist.

5 · Close the loop. Take qP/K=200q_P/K=200 and a leak ε=10−3\varepsilon=10^{-3}. The steady state loses stability between two Hopf points, at a=2.094a=2.094 and a=226.2a=226.2, where the gain passes 2. The lower crossing is supercritical: the cycle grows from zero amplitude, with a peak-to-peak of 0.25 at a=2.105a=2.105. The upper crossing is subcritical. The large cycle outlives the steady state's instability up to a fold of cycles near a=408.7a=408.7, so a stable steady state and a stable cycle coexist for 226<a<409226<a<409, separated by an unstable cycle (all numerical). A gain above 2 is therefore sufficient for the steady state to lose stability, but not necessary for oscillation.

At the reference production the steady state spirals outward fast. At a=33.3a=33.3 the symmetric state has r∗=1.116r^*=1.116, p∗=0.0325p^*=0.0325 and H=5.81H=5.81. Eq. (62) then gives the eigenvalues −1−H=−6.81-1-H=-6.81 and −1+H/2±iH3/2=1.907±5.035i-1+H/2\pm iH\sqrt3/2=1.907\pm5.035i, which a finite-difference Jacobian reproduces (numerical).

The cycle is a relaxation oscillation through three titration switches. At a=33.3a=33.3 the period is 9.91/λ9.91/\lambda. Each total swings from 0.169 qP0.169\,q_P to 24.35 qP24.35\,q_P, while the free fraction of its target sites runs from 2×10−42\times10^{-4} to 0.83 (numerical, Figure 14). One repressor pulse holds the next promoter pool occupied while dilution clears it. When its total falls through the pool, the pool is released abruptly, the next gene fires, and its pulse represses the gene after. On the map of Figure 1, each pool sweeps its cut from far below the ray to far above it once per cycle. The same cycle is reached from a distant start.

Two Hopf points, a subcritical edge and a relaxation cycle Monomer ring at q_P/K = 200 with leak 10⁻³, uniform dilution 0.1 1 10 100 1 10 100 1000
a=kP/λa=k_P/\lambda
qR/qPq_R/q_P
10⁻⁴ 0.01 1 100 0 10 20 30
λt\lambda t
qRi/qP and p1q_{R_i}/q_P\ \text{and}\ p_1
Hopf 2.09 226 cycle from a far start (max, min) cycle from near the steady state steady state, unstable between the Hopf lines
qR1/qP, qR2/qP, qR3/qP  (a=33.3)q_{R_1}/q_P,\ q_{R_2}/q_P,\ q_{R_3}/q_P\ \ (a=33.3)
p1=P1/qP (free sites of gene 1)p_1=P_1/q_P\ \text{(free sites of gene 1)}
Cream band: rest and oscillation coexist, from the upper Hopf point to the fold of cycles at 409.

Scroll inside the figure to see it at reading size.

Figure 14. Two Hopf points, a subcritical edge and a relaxation cycle. Left: range of the repressor total on the attractor against a=kP/λa=k_P/\lambda, at qP/K=200q_P/K=200 and ε=10−3\varepsilon=10^{-3}, from a distant start (rose) and from near the steady state (blue). The steady state (dashed) is unstable between the Hopf lines. In the cream band, from the upper Hopf point to the fold of cycles, rest and oscillation coexist. Right: the three totals at a=33.3a=33.3 and the free fraction p1p_1 of gene 1's sites, set by repressor 3 (dashed). Numerical integration of eq. (67).
Estimate: is the window within reach of a cell?

Take about 20 promoter copies per E. coli cell, which is about 20 nM by Lecture 2's rule that one molecule per cell is about one nanomolar. Take a tight repressor with K=0.1 nMK=0.1\ \mathrm{nM}. Then qP/K≈200q_P/K\approx200, far above 13.9. A free site that makes one repressor per minute, diluted at λ=0.03\lambda=0.03 per minute (a 23-minute doubling), gives a≈33a\approx33, inside the window 2<a<3862<a<386. The period is then 9.91/λ≈3309.91/\lambda\approx330 minutes, about 14 doublings. All of these are illustrative values and a model prediction.

For comparison, reported values. The Lac repressor binds its operator in vitro with a dissociation constant close to 10−13 M10^{-13}\ \mathrm M in standard buffer (p. 402).22 The chromosomal DnaA boxes of E. coli form a natural titration pool of about 300 high-affinity sites with dissociation constants near 1 nM (pp. 013011-2 to 013011-3).23 A three-node CRISPRi ring in E. coli oscillated with a period of 10 to 12 hours (p. 6).24 Clamons and Murray's full model predicts about seven hours (p. 12).

Loinger and Biham's oscillator sits inside the window. Their Fig. 2 uses one promoter site per gene, protein synthesis g=0.05g=0.05, degradation d=dr=0.003d=d_r=0.003, binding α0=0.5\alpha_0=0.5 per molecule and unbinding α1=0.01\alpha_1=0.01, all per second, and reports a period of about 2260 s (p. 19).20 In this page's units that is θ=1\theta=1, a=g/d=16.7a=g/d=16.7 and K=α1/α0=0.02K=\alpha_1/\alpha_0=0.02 molecules, so qP/K=50q_P/K=50. There the leak-free window is 2.43<a<85.62.43<a<85.6, the gain is 3.38, and eq. (67) cycles with period 7.02/λ=23397.02/\lambda=2339 s. Their binding is only a few times faster than degradation, so the occupancy constant (α1+dr)/α0=0.026(\alpha_1+d_r)/\alpha_0=0.026 is the better equilibrium proxy. With it qP/K=38.5q_P/K=38.5, the window is 2.60<a<62.42.60<a<62.4, the gain 2.95 and the period 2210 s (all numerical). The two equilibrium estimates bracket their reported period.

Read a ring's behavior from its closed dynamics, not from the gain alone: locate the two Hopf points and their criticality, expect a relaxation cycle with a period of about ten lifetimes inside the window, and check for a coexistence band beyond a subcritical edge.

29The cycle as a tour through repression patterns

The same cycle can be read without a Jacobian, as a sequence of repression patterns. The reading uses three kinds of statement, kept apart below: exact winner boundaries, asymptotic formulas on their own domains, and a high/low cartoon checked against the exact allocation.

A predicted rest point must pass two separate tests. It must be a fixed point of the coupled equations of its pattern and lie inside the inequalities that define that pattern, which is consistency. And it must be stable under the dynamics. Consistency alone proves nothing about memory or rest: a consistent point can be a saddle. The two tests are checked separately below.

Each link has two conservation rows, and each row has its own exact winner boundary. Take the pair formed by repressor Ri−1R_{i-1} and the sites of gene i, and write r=ri−1r=r_{i-1}. In units of qPq_P, the promoter row is 1=p+(1−p)1=p+(1-p), free sites plus bound sites, and the repressor row is r=ϱ+(1−p)r=\varrho+(1-p), free repressor plus bound copies. Free sites win the promoter row while p>1/2p>1/2, and putting p=1/2p=1/2 into p(r−1+p)=κ(1−p)p(r-1+p)=\kappa(1-p) gives r=1/2+κr=1/2+\kappa. Free repressor wins its row while ϱ>1−p\varrho>1-p, and with pϱ=κ(1−p)p\varrho=\kappa(1-p) the tie forces p=κp=\kappa, at r=2(1−κ)r=2(1-\kappa). At κ=0.005\kappa=0.005 the two boundaries are 0.505 and 1.99 (exact winner boundaries). Named by the winner of the promoter row and then of the repressor row, they split each link into (P,CPR)(P,C_{PR}) below 0.505, the singular (CPR,CPR)(C_{PR},C_{PR}) between, and (CPR,R)(C_{PR},R) above 1.99.

Each asymptotic formula holds on its own side of equivalence, not on its side of a winner boundary. Below equivalence, for 1−r≫κ1-r\gg\sqrt\kappa, the sites fill one for one and p≈1−rp\approx1-r. Above it, for r−1≫κr-1\gg\sqrt\kappa, the sites are full and p≈κ/(r−1)p\approx\kappa/(r-1). The exact quadratic (39) bridges the corner ∣r−1∣≲κ|r-1|\lesssim\sqrt\kappa, where neither piece holds. The excess formula has no meaning below equivalence, even inside the bound-sites regime: at r=0.75r=0.75 it gives p=−0.02p=-0.02, against the exact 0.26394345. Inserted into eq. (67), the two pieces give the reduced dynamics

1−ri−1≫κ:r˙i≈a(1−ri−1+ε)−ri,ri−1−1≫κ:r˙i≈a(κri−1−1+ε)−ri.\begin{aligned}&1-r_{i-1}\gg\sqrt\kappa:\qquad \dot r_i\approx a\big(1-r_{i-1}+\varepsilon\big)-r_i,\\ &r_{i-1}-1\gg\sqrt\kappa:\qquad \dot r_i\approx a\Big(\frac{\kappa}{r_{i-1}-1}+\varepsilon\Big)-r_i .\end{aligned}(78)

The first is affine in the totals. The second is nonlinear in the upstream total. Both relax rir_i at rate 1 toward a target set by the upstream total. At the two winner boundaries each piece is within 1.1% of the exact free fraction on its own side, and deeper inside it is closer (asymptotic formulas, on these domains).

The cartoon calls a repressor low below the promoter boundary and high above the repressor boundary. Low means r<0.505r<0.505, so its target sites are mostly free. High means r>1.99r>1.99, so it is mostly free itself and its target sites are nearly all bound. A repressor between the two boundaries is in the intermediate band, which the cartoon leaves unresolved. The band is much wider than the rounding layer ∣r−1∣≲κ≈0.07|r-1|\lesssim\sqrt\kappa\approx0.07, and away from that layer an asymptotic piece still works inside it: at r=0.7r=0.7, p≈1−r=0.3p\approx1-r=0.3 against the exact 0.311. This section simply uses the exact root throughout the band. The exact boundary values fix each node's target. A low upstream leaves p>1/2p>1/2, so the target a(p+ε)a(p+\varepsilon) lies between 16.68 and 33.33. A high upstream leaves p<κp<\kappa, so the target lies between 0.033 and 0.200 (exact, at a=33.3a=33.3, κ=0.005\kappa=0.005, ε=10−3\varepsilon=10^{-3}). For every production with 3.97<a<84.23.97<a<84.2, a low upstream sends its node's target into the high class, and a high upstream sends it into the low class.

No pattern of low and high repressors is consistent, so the ring cannot rest in one. In such a pattern each node heads for the class opposite to its upstream neighbour's, and around a ring of three no assignment of two classes alternates at every link. The two uniform patterns show the same through their coupled fixed points. In the all-low pattern every link follows the affine equation, and the coupled symmetric fixed point is r∗=a(1+ε)/(1+a)=0.97181633r^*=a(1+\varepsilon)/(1+a)=0.97181633, far above 0.505 and outside the affine piece's own domain (exact for eq. 78). The value a(1+ε)=33.3a(1+\varepsilon)=33.3 is only the target of a node whose upstream repressor is clamped at zero, and not a fixed point. In the all-high pattern the coupled symmetric fixed point solves r2−(1+aε)r+a(ε−κ)=0r^2-(1+a\varepsilon)r+a(\varepsilon-\kappa)=0, which gives r∗=1.149r^*=1.149, below 1.99 (exact for eq. 78). Neither reduced system has another fixed point, because each link is a decreasing affine or Möbius map of its upstream total.

The only steady state sits in the intermediate band, and the stability test rejects it. Each link of the full ring is a decreasing function of its upstream total, so the full ring has exactly one steady state, the symmetric one. At a=33.3a=33.3 it is r∗=1.116r^*=1.116, with p∗=0.0325p^*=0.0325. Bound sites hold 0.967 of the pool and bound copies 0.867 of the repressor, so every link is in the singular regime (CPR,CPR)(C_{PR},C_{PR}), inside the intermediate band and close to the rounding layer, at r∗−1≈1.6κr^*-1\approx1.6\sqrt\kappa. Neither asymptotic piece describes it: the excess piece gives a free fraction of 0.0430, against the exact 0.0325. The state is consistent and real, and its gain is H=5.81H=5.81, above the threshold of 2 from §24, so it is unstable (numerical). Consistency decides whether a predicted rest point is real. Stability decides whether the ring can stay there.

Between rest points the state is handed on, one release at a time. One repressor pulse holds the next promoter pool occupied while dilution clears it. When the pulse falls through the intermediate band, the pool is released, the next gene fires, and its pulse represses the gene after. Six phases of one period at a=33.3a=33.3, measured from a peak of r2r_2, give each repressor's class and the exact allocation of one promoter row and one repressor row:

λt\lambda tr1,r2,r3r_1,r_2,r_3classessites of gene 1: free, boundrepressor 1: free, bound
0.000.272, 24.4, 1.18low, high, middle0.024, 0.9760.002, 0.270
1.6514.1, 5.98, 0.269high, high, low0.733, 0.26713.1, 1.00
3.3024.4, 1.18, 0.272high, middle, low0.730, 0.27023.4, 1.00
4.955.98, 0.269, 14.1high, low, high0.000, 1.0004.98, 0.999
6.611.18, 0.272, 24.4middle, low, high0.000, 1.0000.204, 0.976
8.260.269, 14.1, 5.98low, high, high0.001, 0.9990.002, 0.267

The table checks the cartoon against the exact allocation. At every phase each low or high repressor is matched by its asymptotic piece to within 0.3% of the exact free fraction, and at three phases one repressor is crossing the intermediate band, where this section uses the exact root. Gene 1's promoter row changes winner twice per period, between free and bound sites. Repressor 1's row changes winner twice as well, between free repressor and the copies on gene 2's sites (numerical, in units of qPq_P). The cycle spans r from 0.169 to 24.35, so it crosses both exact boundaries, and the targets at its extremes, 27.7 from the trough and 0.040 from the peak, lie in the classes the cartoon predicts.

The pattern argument explains the order, and the full model supplies the rest. The reduced equations (78) hold on their domains and fail in the rounding layer around equivalence, which each repressor crosses twice per period, and the cartoon leaves the wider intermediate band unresolved. So the pattern argument explains the sequence of repression patterns, not the period, the amplitude or the basin. Those come from integrating the full ring, as §28 does, and the parameters used here are verified there to oscillate.

This is Marken, Xiao and Murray's structural reading, applied here to titration. They simplify a circuit inside each saturation regime, compute that regime's fixed point, and ask whether it is consistent, meaning that it lies inside the regime it came from (p. 8). For a Hill repressilator they find the all-low fixed point (α,α,α)(\alpha,\alpha,\alpha) inconsistent once α≫1\alpha\gg1, the all-high fixed point consistent but failing its own stability test once n≥2n\ge2, and the six mixed regimes pointing around the ring to carry the cycle (§4, pp. 12 to 14 and Fig. 4).26 Their all-low point does not transfer to this ring. It comes from production that is constant while the upstream repressor is low, whereas here production in the low class falls linearly with the upstream total, and the coupled all-low fixed point is a(1+ε)/(1+a)a(1+\varepsilon)/(1+a). What transfers is the pointing, here with no cooperativity at all. The bound a>3.97a>3.97, which sends a low upstream's target into the high class, plays the role of their α≫1\alpha\gg1, and the bound a<84.2a<84.2 keeps the target of a high upstream low against the leak and the residual free sites. The role of their consistent but unstable all-high point is taken by the steady state in the intermediate band, which lies near the rounding layer and needs the exact quadratic.

Their n≥2n\ge2 is a threshold of the limiting cartoon, not a finite-parameter condition. In the smooth Hill model at finite production the gain is H=np∗n/(1+p∗n)H=np^{*n}/(1+p^{*n}), below n by eq. (65), so at n=2n=2 the symmetric state's leading real part −1+H/2-1+H/2 is still negative. The cartoon is marginal exactly at that endpoint. The monomer ring has its own gain, eq. (42), and its own verified conditions, eq. (69) and the window (70). They are not the cartoon's condition transferred. They also state their own limits: the regime description is good far from a boundary and breaks down near one, smooth transitions between regimes are assumed rather than proved, and the connection between their structural matrix and the Jacobian is still under development (p. 15). Lecture 11 develops the systematic version of this method.

Read an oscillation as a tour through repression patterns: draw each pattern with exact winner boundaries, reduce its dynamics only where an asymptotic formula holds, compute the coupled fixed point before calling it a rest point, test consistency and stability separately, and keep the full model as the check on the period and the attractor.

Part 7

Every result holds in its regime

The five comparisons gave three kinds of contrast. Each sits at a regime boundary derived above. Collected, they place every example and every published result at its parameter conditions, invert into a list of requirements, and come with a precise guarantee and a precise limit.

30Three contrasts mark where an effective law leaves its regime

An effective law can hide a difference between mechanisms, forbid a behavior the mechanism produces, or misjudge how a capacity scales. In every case the law holds inside its regime, exactly in its limit and to leading order near it, and the contrast appears across a boundary with a formula.

The three kinds of contrast are the evidence, and each one has an address. The table lists, for each comparison, where the effective law holds and the boundary beyond which the binding-catalysis model parts from it.

KindComparisonThe effective law holds whereThe contrast appears where
Hides a differenceActivator against repressor (§6, §7)Free inducer clamped, promoter in traceInducer total controlled and qR/KRI≫10+9ρq_R/K_{RI}\gg10+9\rho, eq. (23)
Hides a differenceDegradation design (§21)Free output wins its total, X∗≈qX∗X^*\approx q_X^*Total output with η=Y∗/Kd>0.0112\eta=Y^*/K_d>0.0112 before a tenfold step held to 10%, eq. (58)
Hides a differenceRepression design (§22)Promoter in tracePromoter total above KdK_d: the window moves to 80.5Kd80.5K_d at qG=10Kdq_G=10K_d
Forbids a behaviorTwo-site receptor (§12, §13)Free ligand, nH≤2n_H\le2Ligand total with c≪1c\ll1 and K2≪qRK_2\ll q_R, nH→8.04n_H\to8.04
Forbids a behaviorMonomeric toggle (§16)Promoter in trace, one stable stateSymmetric state a saddle for θqP>K\theta q_P>K and production above eq. (76)
Forbids a behaviorMonomer ring (§24 to §27)Promoter in trace, H<1H<1Rest state unstable for θqP/K>7+43\theta q_P/K>7+4\sqrt3 and production in the window (70), and a coexisting cycle beyond its subcritical edge
Misjudges a scalingN factors (§17 to §19)Symmetric Hill mutual repression, at most N+1N+1 on the gridA shared dimer pool with uniform removal: binomial sums (50)

The last row compares two architectures within one framework, not a mechanism with its own limit. The same-mechanism comparison for multistability is the monomeric toggle, in the fifth row.

The table mixes three kinds of boundary, and the difference matters. The validity boundary of an approximation, such as X∗≈qX∗X^*\approx q_X^* for the Michaelis-Menten law, ends a formula, not necessarily a behavior: a law can agree by accident outside its regime. A performance criterion, such as a tenfold-step error below 10%, is a threshold chosen by the test. A bifurcation boundary, such as the symmetric toggle's pitchfork, where its symmetric state becomes a saddle, or the ring's loss of stability, is a property of the closed dynamics. Rows 1 to 4 and 7 of the table are validity boundaries and performance criteria. Rows 5 and 6 are bifurcation boundaries.

Each boundary is a ratio of totals to an affinity, a removal ratio or a production window. None is a property of the effective law alone. Each names a parameter a cell or an experiment can move. That is why the contrasts can be turned into a placement: a published result is neither right nor wrong in general, it holds in the regime its conditions select.

Before calling an effective law wrong, find its regime and the boundary that ends it: a ratio of a total to a dissociation constant, a removal ratio, or a production window.

31The placement table: each result at its parameter conditions

Every example of this chapter, and every published result about the same behaviors, holds at parameter conditions that Parts 2 to 6 derived. The table collects them. The monomeric-repressor rows also appear on one plane.

The table reads left to right as result, conditions, consequence, derivation. The conditions are inequalities on totals, affinities, production and removal. The consequence carries its label: exact, leading order, numerical or reported. The last column names the section that derives the condition, so every boundary can be checked.

ResultParameter conditionsWhat holds thereDerived in
Matched induction law, and Savageau's controlled comparison4Free inducer clamped, qD≪qR,qAq_D\ll q_R,q_A, binding at equilibrium, KAI=(1+ρ)2KRIK_{AI}=(1+\rho)^2K_{RI}One law, eq. (18), for both circuits. They differ only in the sign of dln⁡v/dln⁡qTF=∓ρ/(2(1+ρ))d\ln v/d\ln q_\mathrm{TF}=\mp\rho/(2(1+\rho)) (exact)§6, §8
Repressor threshold in the inducer total, as the lecturer's draft states25Inducer total controlled, ρ=qR/KDR≫1\rho=q_R/K_{DR}\gg1, and for a sharp switch qR/KRI≫10+9ρq_R/K_{RI}\gg10+9\rho, roughly KRI≪KDR/9K_{RI}\ll K_{DR}/9Half rise near qRq_R, eq. (20). Steepness rising continuously with the affinity ratio, eq. (23), toward ρ/2\rho/2 (leading order)§7
Activator order in the inducer total, as the lecturer's thesis states3Any parameters, with the free activator unable to bind the promoterOrder at most 1 and nH≤2n_H\le2, eq. (17) (exact)§5
Brewster's promoter-copy experiment5Uninduced repressor, tight promoter binding, qD>qRq_D>q_RProduction per promoter about (qD−qR)/qD(q_D-q_R)/q_D (leading order). Measured fold-change near 1 while repressors are fewer than gene copies (reported)§8
Closed inducer loop, and Buchler and Louis's synthesis-rate threshold6Free-only removal of inducer, or uniform dilutionSteady state reads I∗=u/δII^*=u/\delta_I, or the total u/λu/\lambda (exact). Repressor on only for u>λ(qR+Keff)u>\lambda(q_R+K_\mathrm{eff}) (leading order)§9
Goldbeter and Koshland's switch7Both enzymes saturated, qS≫Kq_S\gg K. For unbounded steepness of the modified fraction against the enzyme ratio, a phosphatase share qF/qS≤1/11q_F/q_S\le1/11nH≈0.247 qS/Kn_H\approx0.247\,q_S/K, eq. (29). One first-order enzyme caps nHn_H at 2, and a larger phosphatase share caps it by eq. (30), at 2 from a share of 9/19 on (exact limits)§11
Ha and Ferrell's receptor, and Buchler and Cross's sequestration8, 9Ligand or titrant total as the input, c=K1/K2≪1c=K_1/K_2\ll1, K2≪qRK_2\ll q_RFlat to qL=qRq_L=q_R, then eq. (35), nH→8.04n_H\to8.04. In free ligand nH≤2n_H\le2. Peak at qR=qL/2q_R=q_L/2 when the receptor total is swept§12 to §14
Gardner, Cantor and Collins's toggle, and Cherry and Adler's product condition10, 11Hill coefficients with βγ>1\beta\gamma>1, synthesis inside the wedge, edge (37) on the diagonalTwo stable states. For βγ≤1\beta\gamma\le1, one globally attracting state (proved)§15
Monomeric toggle by depletion of free repressor11θqP>K\theta q_P>K and a>θ((θ+κ)/(θ−κ))2a>\theta((\theta+\kappa)/(\theta-\kappa))^2, with eq. (43) at θ=1\theta=1Symmetric state a saddle (exact), two stable states at every tested grid point for θ=1\theta=1 (numerical). With the promoter in trace, or θ=0\theta=0, one state from any start (proved)§16, §27
Symmetric Hill mutual repression of N genesProduct form, all-to-all, no self-activation, grid α∈[1.2,1000]\alpha\in[1.2,1000], n∈[1,8]n\in[1,8]At most one raised node (proved). At most N+1N+1 stable states on the grid (numerical)§17
MultiFate12Fast dimerization, uniform removal, the published production and binding constantsBinomial sums (50): 3, 7, 15, 30, up to 299 for N = 2 to 12 (numerical). Seven states measured at N = 3 (reported). The 256 at N = 9 includes 126 saddles (our reanalysis). Free-only removal: 1 or 2N2^N§18, §19
Degradation adaptation, Du's microRNA modules, and Bleris's model13, 14Total output, for a tenfold step held to 10%: η=Y∗/Kd≤0.0112\eta=Y^*/K_d\le0.0112 before the step, so qY≤0.0118Kdq_Y\le0.0118K_d at ρ=0.05\rho=0.05. With output dilution, kcat/dXk_\mathrm{cat}/d_X above about 3500. Du: K/(k~c+1)<D≪KK/(\tilde k_c+1)<D\ll K, approximatelyAdapts at low input and fails at high input by sequestration of the total output. Free output adapts at every input. Bleris's predicted loss is the saturated regime (CXY,X)(C_{XY},X) (model prediction)§21, §23
Repression adaptation, Segall-Shapiro's TALE circuit, and Goentoro's condition15, 16At the lowest input, qY≥8.9Kdq_Y\ge8.9K_d (Hill law), 8.12Kd8.12K_d at qG=0.1Kdq_G=0.1K_d, 80.5Kd80.5K_d at qG=10Kdq_G=10K_dAdapts at high input and fails at low input by weak repression and titration. The band from 1.904 to 2.211 KdK_d is a protocol-dependent cancellation§22, §23
Hill repressilators: Elowitz and Leibler, and Potvin-Trottier's damped model17, 18Promoter in trace. Rest state unstable for a link gain above 2, or above the threshold (64) with mRNAHill coefficient 2 at Elowitz and Leibler's parameters oscillates, H=1.88H=1.88 (numerical). Coefficient 1 never oscillates, from any start (proved)§24
Monomer ring by titration: Loinger and Biham, and this chapter's ring20θqP/K>7+43\theta q_P/K>7+4\sqrt3, production in the window (70). Loinger and Biham: θ=1\theta=1, qP/Kq_P/K from 38 to 50, a=16.7a=16.7Steady state unstable (exact), relaxation cycle (numerical), and coexistence beyond a subcritical edge§25 to §28
Clamons and Murray's idealized CRISPRi ring19The edge K→0K\to0: (α−α0)/2>γ(\alpha-\alpha_0)/2>\gamma and α0<γ\alpha_0<\gammaCentral state unstable. A saturated central state, α0≥γ\alpha_0\ge\gamma, is stable (exact)§26
Protected bound repressor: Loinger and Biham's Eq. 3, and Müller's ring20, 21θ=0\theta=0H=1−p∗<1H=1-p^*<1, and every trajectory converges to the unique steady state: no toggle and no cycle at any pool, production or leak (proved)§27
Where each repressor result sits in the pool-production plane Monomeric repressors on a finite promoter pool, leak-free boundaries, uniform removal 1 10 100 1000 10⁴ 10⁵ 1 10 100 1000 10⁴
qP/Kq_P/K
a=kP/λa=k_P/\lambda
this chapter's ring Loinger–Biham, Fig. 2 toggle bistable rest state unstable
qP/K=7+43q_P/K=7+4\sqrt3
K → 0: a > 2 (Clamons–Murray) Hill limit
qP≪Kq_P\ll K
leak-free boundaries (exact) with leak 10⁻³
toggle: qP>K and a above the curve\text{toggle: }q_P>K\text{ and }a\text{ above the curve}
Open circle: Loinger–Biham with the occupancy constant (α₁ + dᵣ)/α₀.

Scroll inside the figure to see it at reading size.

Figure 15. Where each monomeric-repressor result sits in the pool-production plane. Uniform removal, leak-free boundaries. Lavender: the toggle's symmetric state is a saddle, and the toggle bistable on the tested grid, right of qP=Kq_P=K and above eq. (43). Pink: the ring's steady state is unstable, right of qP/K=7+43q_P/K=7+4\sqrt3 and inside the window (70). Dashed: the ring's Hopf boundary with leak 10−310^{-3}. Dots: this chapter's ring at (200, 33.3) and Loinger and Biham's Fig. 2 parameters at (50, 16.7), with the open circle for their occupancy constant. The bar on the right is the irreversible-binding edge, where Clamons and Murray's condition reads a>2a>2. The left edge is the Hill limit, with no region at all. A removal ratio θ<1\theta<1 moves every boundary right by the factor 1/θ1/\theta and down by the factor θ\theta, by eq. (75). Exact boundaries, numerical leak curve.

The removal rule belongs on the map. Removal of free species alone protects bound molecules. That protection fixes the free-inducer steady state in §9, separates MultiFate's steady-state equations in §19, and forbids the monomeric toggle and ring in §27. Three of the table's rows change when θ\theta changes, so a placement that omits the removal rule is incomplete.

Some boundaries on the table come from the regimes and some from the closed dynamics. Where a half rise sits, where a window of adaptation ends, and where a switch occurs are read from the regimes of a binding pair. Where a steady state loses stability, eq. (69) and the window (70), is a condition on the Jacobian of the closed loop. It uses the exact titration slope across the singular ray, not a single regime's monomial law. §33 makes the distinction precise.

Place a new result by writing its mechanism as binding and catalysis, naming its removal ratio, and finding the row whose inequalities its parameters satisfy. If no row fits, run the five steps and add one.

32The same table, read as a set of requirements

Read from the behavior backwards, each row becomes a list of requirements on totals, affinities, production and removal, and an experiment that would show the boundary.

Inverting a row is a mechanical step, because every condition is an inequality in measurable quantities. Start from the behavior, find the rows that produce it, and read their inequalities as a specification. Each inequality names one of four things: which total is the controlled input, how large a total must be against a dissociation constant, how strong production must be against removal, and what the bound-to-free removal ratio must be. The last column then points at the derivation, so the requirement can be rechecked when a parameter is revised.

The requirements for the five behaviors of this chapter, stated as inequalities. A threshold in an induction input asks for the repressor architecture, an inducer whose total the system sets, and inducer binding tight enough for the sharpness wanted, which eq. (23) specifies. At the illustrated total qR=100KDRq_R=100K_{DR}, a ratio KRI/KDR=0.1K_{RI}/K_{DR}=0.1 gives nH≈6n_H\approx6, and the threshold sits at qRq_R (§7). A steep response from one binding layer asks for a titrant whose total sets the threshold and whose ratio to its KdK_d sets the sharpness, with c≪1c\ll1 and K2≪qRK_2\ll q_R for a two-site receptor (§13). Memory from monomeric parts asks, at the symmetric state, for θqP>K\theta q_P>K and production above eq. (76) (§16, §27). Adaptation of a total output is specified here by the test chosen in §21, a tenfold step held to 10%. For the degradation route it asks that the controller before the step stay below 0.0118Kd0.0118K_d in total, η≤0.0112\eta\le0.0112, and that catalysis be about 3500 times faster than any other removal of the output. For the repression route it asks that the controller exceed both KdK_d and the promoter total at the lowest input (§21, §22). A different step or tolerance moves these numbers. A cycle that grows from an unstable rest state asks for θqP/K>7+43\theta q_P/K>7+4\sqrt3, a production inside the window (70), and a small leak. A cycle can also coexist with a stable rest state beyond a subcritical edge, which none of these inequalities captures (§26 to §28).

Each requirement also names the sweep that would expose its boundary. The threshold row predicts that a sweep of the inducer total at several repressor totals moves the half rise with slope 1 in qRq_R. The receptor row predicts a peak at qR=qL/2q_R=q_L/2 when the receptor total is swept at fixed ligand. The adaptation rows predict opposite failures at the two ends of the input range, and different verdicts for the free and the total output. The ring rows predict a window in production with two edges, and a loss of the window as θ\theta falls. A measurement that follows a predicted boundary supports the placement. One that does not locates a missing state or a wrong removal rule, which is more useful than a better fit.

Two of these questions are handed forward. Lecture 10 takes the adaptation rows, with their scope: each design adapts over a feasible operating range of inputs, never over every input. Lecture 11 takes the regime maps themselves and develops the general geometry, for networks with many pairs, that this chapter uses one pair at a time.

Turn any row of the table into a specification by reading its inequalities as requirements on the controlled total, the ratios of totals to dissociation constants, the production window and the removal ratio, and then name the sweep that would show the boundary.

33What the regime enumeration guarantees, and what it leaves to the dynamics

For a written binding-catalysis mechanism, the regimes of its conservation sums can be enumerated completely. That covers the parameter space. It does not count attractors, locate Hopf points or decide whether a cycle coexists with a steady state.

The enumeration is complete because each conservation equation is a finite sum of positive terms. A mechanism fixes a finite list of species and a finite list of complexes, so each total is qi=∑jLijxjq_i=\sum_jL_{ij}x_j with LijL_{ij} the number of copies of constituent i in species j. At every positive parameter choice each such sum has a largest term, its winner. A choice of one winner per total is a regime, and there are finitely many choices. Enumerating them therefore exhausts the possibilities. Two kinds of inequality describe a regime, and only one is linear in the totals. The exact winner inequalities, such as CES>EC_{ES}>E, are linear in the logarithms of the species. Rewritten in the totals they generally are not: the exact tie of §2 lies on qS=Kd+qE/2q_S=K_d+q_E/2, which is not a line in log coordinates. The leading-order consistency conditions, written with each regime's own monomial laws, are linear inequalities in the logarithms of the totals and the binding constants, and they define the polyhedral map. Lecture 8 gives the procedure, and Lecture 11 develops its geometry.

The guarantee is conditional on the written mechanism being the intended one. The mechanism includes its binding states, its activities, its removal rules and the fast-equilibrium assumption. A missing complex, a missing conformation or a removal rule written as uniform when it is not changes the lists, and therefore the enumeration. Nothing in the procedure can detect such an omission. This chapter supplies three reminders: §19, where the removal rule changes the count from binomial sums to 1 or 2N2^N; §27, where the removal ratio rescales every symmetric-state threshold; and §22, where the promoter total, absent from the effective law, moves an adaptive window by a decade.

Three cases need the full equations rather than one regime's monomial law. The first is a tie, where two terms of one total contribute comparably. It marks a boundary between two regimes, and there either regime's law is off by a bounded factor, at most 2 for one pair (§2). The second is a singular regime, which is a different thing: its winners are dependent, as on §2's ray, where the complex wins both totals, the free pool is KdqE\sqrt{K_dq_E}, and the winner equations leave the free species undetermined until one more balance is added. The third is any question about the closed dynamics, which needs the Jacobian, built from exact slopes. The steep behavior lives near the first two: eq. (40)'s log-slope peaks at rpeakr_\mathrm{peak} of eq. (40a), just above equivalence.

The guarantee covers regimes, and the dynamics still decide the behavior. Four results of this chapter make the limit concrete. The number of stable states of MultiFate comes from enumerating fixed points of the closed loop and computing eigenvalues, not from the binding regimes (§19). The threshold qP/K>7+43q_P/K>7+4\sqrt3 comes from the Jacobian of the ring at its steady state, and it uses the exact titration slope (§26). The criticality of the two Hopf points, and the band from a=226a=226 to a=409a=409 where a stable cycle coexists with a stable steady state, come from integrating the closed dynamics (§28). And because of that subcritical edge, a gain above 2 is sufficient for the symmetric steady state to lose stability but not necessary for a cycle to exist. A complete regime analysis of a mechanism does not list its attractors.

So the chapter ends with one claim and one boundary on it. The claim: for a written binding-catalysis mechanism, the regimes of its conservation sums can be listed in full, every published result about its behaviors can be placed at the conditions where it holds, and the list inverts into requirements. The boundary: regimes are not attractors. Which attractor a closed loop reaches, whether a cycle exists, and whether rest and oscillation coexist are questions for the dynamics, answered example by example in Parts 4 to 6.

Claim completeness for the regimes of a written mechanism, under its stated binding states, activities, removal rules and equilibrium assumption, and claim nothing about attractors without the closed dynamics: stability, cycles and coexistence are separate calculations.

Part 8

Thresholds, gates and feedback

Four derivations that the core uses intuitively, each prompted by what the one before leaves open. Cooperative binding has an equilibrium ceiling on steepness, so §34 looks for a threshold in one binding pair read against a total. A threshold reads one input, so §35 asks what a promoter reading two inputs can compute. A steep law can be closed on its own output, so §36 asks what feedback buys from steepness, and finds a residual of about 1/(1+h)1/(1+h). That residual never vanishes, so §37 asks what removes it, and finds a stored difference of two sequestering species. Lecture 10 develops the adaptation story systematically.

34One binding pair computes a rectifier and a minimum

Why look for steepness in a single binding pair? Because occupancy at equilibrium, read against a free ligand, has a ceiling: its Hill slope cannot exceed the number of sites. One pair read against a total escapes that ceiling. With tight binding it leaves a free pool that is the positive part of a difference and a complex that is the smaller of two totals. Weak binding gives a product instead, and one bound covers the whole plane.

Cooperative occupancy has a ceiling on steepness, set by the number of sites. Take a molecule with n sites at equilibrium with a free ligand L, and let m be the number of ligands bound, distributed over the states with weights proportional to LmL^m. Then d⟨m⟩/dln⁡L=Var(m)d\langle m\rangle/d\ln L=\mathrm{Var}(m), and the Hill slope of the occupancy odds is

nH(L)=ddln⁡Lln⁡⟨m⟩n−⟨m⟩=n Var(m)⟨m⟩ (n−⟨m⟩)≤n.n_H(L)=\frac{d}{d\ln L}\ln\frac{\langle m\rangle}{n-\langle m\rangle}=\frac{n\,\mathrm{Var}(m)}{\langle m\rangle\,(n-\langle m\rangle)}\le n .(78a)

The bound holds because m lies between 0 and n, so ⟨m(n−m)⟩≥0\langle m(n-m)\rangle\ge0, which is Var(m)≤⟨m⟩(n−⟨m⟩)\mathrm{Var}(m)\le\langle m\rangle(n-\langle m\rangle). Equality needs all-or-none binding, every molecule empty or full. So a Hill slope of 8 by this route needs at least 8 sites on one molecule acting together, and reaching the bound needs all-or-none binding (exact, for direct occupancy at equilibrium). Sites are not subunits: one molecule can carry several sites, so the count says nothing about how many proteins assemble. This is an equilibrium limit of the kind Lecture 7 contrasted with driven mechanisms.

The ceiling binds one kind of mechanism, and a fitted coefficient does not reveal the mechanism. Eq. (78a) concerns direct occupancy at equilibrium, read against the free ligand. A large fitted Hill coefficient therefore does not by itself imply that many sites. This chapter has already passed the ceiling twice: §11 with saturated enzymes, which are driven, and §13 with two sites read against a ligand total. Titration passes it the second way, by changing the input from a free ligand to a total, and one binding pair shows how.

The exact pair is one root, and every limit below is a limit of it. Take A+B⇌k−k+CABA+B\xrightleftharpoons[k_-]{k_+}C_{AB} with Kd=k−/k+K_d=k_-/k_+, totals qA=A+CABq_A=A+C_{AB} and qB=B+CABq_B=B+C_{AB}, and equilibrium KdCAB=ABK_dC_{AB}=AB. As in eq. (4),

CAB=2qAqBT+T2−4qAqB,T=qA+qB+Kd.C_{AB}=\frac{2q_Aq_B}{T+\sqrt{T^2-4q_Aq_B}},\qquad T=q_A+q_B+K_d .(79)

Tight binding gives a rectifier and a minimum. Let Kd→0K_d\to0 at fixed totals. Then AB=KdCAB→0AB=K_dC_{AB}\to0, so at least one free pool vanishes, while the exact difference qA−qB=A−Bq_A-q_B=A-B is preserved. If qA>qBq_A>q_B then B vanishes and A→qA−qBA\to q_A-q_B, and otherwise A vanishes. So

A→max⁡(0, qA−qB),B→max⁡(0, qB−qA),CAB→min⁡(qA,qB).A\to\max(0,\,q_A-q_B),\qquad B\to\max(0,\,q_B-q_A),\qquad C_{AB}\to\min(q_A,q_B).(80)

The free pool is a rectifier in the partner total: zero up to a threshold at qBq_B, then linear with slope 1. The complex is the smaller of the two totals, the limiting-pool response. These are the two readouts of §2's tight cut, written as functions.

At the corner the rectifier is rounded, and the rounding has a size. Set qA=qB=qq_A=q_B=q in eq. (79). Then A=BA=B and A2=KdCAB=Kd(q−A)A^2=K_dC_{AB}=K_d(q-A), so A=(Kd2+4Kdq−Kd)/2≈KdqA=\big(\sqrt{K_d^2+4K_dq}-K_d\big)/2\approx\sqrt{K_dq} when Kd≪qK_d\ll q (exact root, leading-order value). At qB=1q_B=1 and Kd=10−4K_d=10^{-4} the exact free pool is 0.00995 against KdqB=0.01\sqrt{K_dq_B}=0.01 (numerical). The rectifier's corner is therefore not sharp: it is rounded over a width of order KdqB\sqrt{K_dq_B} in the totals.

The log gain at the corner is the same 12qB/Kd\tfrac12\sqrt{q_B/K_d} that Part 4 found, from one site. Differentiating the free pool with respect to qAq_A at qA=qBq_A=q_B gives a log gain of 50.50 at qB/Kd=104q_B/K_d=10^4, against 12qB/Kd=50\tfrac12\sqrt{q_B/K_d}=50 (numerical). One site per molecule, read against a total, so the ceiling of eq. (78a) does not apply, and the steepness grows without bound as binding tightens. The free fraction of a promoter pool in §16 is this same free pool with qBq_B the pool and qAq_A the repressor, which is why its peak slope has the same form.

Weak binding gives a product. If both totals are far below KdK_d, both free pools are nearly their totals and CAB≈qAqB/KdC_{AB}\approx q_Aq_B/K_d, a multiplier. So one pair computes a product, a minimum or a rectified difference, depending only on where the two totals sit against KdK_d.

One bound covers the whole plane. The three limits are the three candidates qAq_A, qBq_B and qAqB/Kdq_Aq_B/K_d, and for positive totals and KdK_d the complex is never far from the smallest of them:

3−52≤CABmin⁡(qA, qB, qAqB/Kd)≤1,3−52=0.38197.\frac{3-\sqrt5}{2}\le\frac{C_{AB}}{\min\big(q_A,\ q_B,\ q_Aq_B/K_d\big)}\le1 ,\qquad \frac{3-\sqrt5}{2}=0.38197 .(81)

The upper bound is immediate: CABC_{AB} cannot exceed either total, and KdCAB=AB≤qAqBK_dC_{AB}=AB\le q_Aq_B. The lower bound needs a short argument, in two steps: rescale by the minimum, then bound the binding quadratic at one point. Let m=min⁡(qA,qB,qAqB/Kd)m=\min(q_A,q_B,q_Aq_B/K_d), and write a=qA/ma=q_A/m, b=qB/mb=q_B/m, z=CAB/mz=C_{AB}/m and k=Kd/mk=K_d/m. Then a,b≥1a,b\ge1 and k≤abk\le ab, because m≤qAqB/Kdm\le q_Aq_B/K_d. Equilibrium becomes g(z)=(a−z)(b−z)−kz=0g(z)=(a-z)(b-z)-kz=0, and the physical root is the one below min⁡(a,b)\min(a,b), where g falls from g(0)=ab>0g(0)=ab>0. It suffices to show g(c)≥0g(c)\ge0 at c=(3−5)/2c=(3-\sqrt5)/2, for then the root lies at or above c. Using k≤abk\le ab,

g(c)≥(a−c)(b−c)−c ab=ab[1−c−ca−cb+c2ab].g(c)\ge(a-c)(b-c)-c\,ab=ab\Big[1-c-\frac ca-\frac cb+\frac{c^2}{ab}\Big].(81a)

The bracket is linear in each of 1/a1/a and 1/b1/b, which lie in (0,1](0,1], so its minimum sits at a corner. The corner (1,1)(1,1) gives 1−3c+c21-3c+c^2, which is zero because c is the smaller root of c2−3c+1=0c^2-3c+1=0, and the other corners give 1−2c1-2c and 1−c1-c, both positive. So z≥cz\ge c, with equality only at a=b=1a=b=1 and k=abk=ab, that is qA=qB=Kdq_A=q_B=K_d (exact). A scan of 61361^3 points over six decades in each of qAq_A, qBq_B and KdK_d agrees, with the ratio between 0.38197 and 1.0000 (numerical). So the three-way minimum is a leading-order law whose error is a factor of at most 2.62 anywhere, which is the bounded-factor accuracy of a dominance regime made concrete.

Read one binding pair as three computations selected by the totals: a product below KdK_d, a minimum above it, and a rectified difference in the free pool, with a corner rounded over KdqB\sqrt{K_dq_B}, a steepness that passes the equilibrium site ceiling because the input is a total, and a three-way minimum accurate within the factor 2.62 of eq. (81).

35A two-input promoter computes a gate set by its activities

A threshold reads one input. What can a promoter that reads two inputs compute? Its four binding states and their activities decide the gate. The truth table is a regime table of the promoter's conservation sum, and the gate has a fixed sign in each input exactly when its activities satisfy two inequalities per input.

The model is one conservation sum over four states. A promoter G binds regulator A at one site and regulator B at another, independently, with dissociation constants KAK_A and KBK_B. Independence means that each site binds with the same constants whether or not the other is occupied, so the four elementary steps close a square of states. Transcription from any state is composite:

G+A⇌k−Ak+ACGA,CGB+A⇌k−Ak+ACGAB,G+B⇌k−Bk+BCGB,CGA+B⇌k−Bk+BCGAB,qG=G+CGA+CGB+CGAB,v=a00G+a10CGA+a01CGB+a11CGAB.\begin{aligned}&G+A\xrightleftharpoons[k_{-A}]{k_{+A}}C_{GA},\qquad C_{GB}+A\xrightleftharpoons[k_{-A}]{k_{+A}}C_{GAB},\\ &G+B\xrightleftharpoons[k_{-B}]{k_{+B}}C_{GB},\qquad C_{GA}+B\xrightleftharpoons[k_{-B}]{k_{+B}}C_{GAB},\\ &q_G=G+C_{GA}+C_{GB}+C_{GAB},\qquad v=a_{00}G+a_{10}C_{GA}+a_{01}C_{GB}+a_{11}C_{GAB}.\end{aligned}(82)

Here a00a_{00}, a10a_{10}, a01a_{01} and a11a_{11} are the transcription activities of the empty, A-bound, B-bound and doubly bound states. Independent binding does not make the activities independent: any four values are allowed. At equilibrium the four states are in proportion 1:x:y:xy1:x:y:xy, with x=A/KAx=A/K_A and y=B/KBy=B/K_B, so

vqG=a00+a10x+a01y+a11xy(1+x)(1+y).\frac{v}{q_G}=\frac{a_{00}+a_{10}x+a_{01}y+a_{11}xy}{(1+x)(1+y)}.(83)

An on-off gate gives each activity the value a or 0, and the set A\mathcal A of expressing states names the gate.

The truth table is the regime table of the promoter total. Take each input either far below its dissociation constant, written 0, or far above it, written 1. At each corner one term of (1+x)(1+y)(1+x)(1+y) dominates, so one state wins the promoter total: the empty state at (0,0), the A-bound state at (1,0), the B-bound state at (0,1) and the doubly bound state at (1,1). The output is then the activity of that winner. Five gates follow at once:

Expressing states A\mathcal A(0,0)(1,0)(0,1)(1,1)Gate
{AB}\{AB\}0001AND
{A,B,AB}\{A,B,AB\}0111OR
{∅}\{\varnothing\}1000NOR
{∅,A,B}\{\varnothing,A,B\}1110NAND
{A}\{A\}0100A AND NOT B

Reading a gate off a promoter is therefore the same exercise as reading a regime off a conservation sum: name the winner at each corner, then look up its activity.

The corners are idealizations, and each transition has a width set by its dissociation constant. With free inputs each site's occupancy is x/(1+x)x/(1+x), which rises from 10% to 90% over a factor of 81 in its input, centred on its K. A corner is reached only when each input is far from its dissociation constant. If a regulator is depleted by the promoter, its input becomes a total, and the tight-titration rounding of §34, of order Kq\sqrt{Kq}, replaces that width. A gate drawn as a truth table is an assertion about the corners alone.

The sign of each input is fixed by two inequalities on the activities. Differentiating eq. (83) in x at fixed y,

∂∂x vqG=(a10−a00)+(a11−a01) y(1+x)2(1+y).\frac{\partial}{\partial x}\,\frac{v}{q_G}=\frac{(a_{10}-a_{00})+(a_{11}-a_{01})\,y}{(1+x)^2(1+y)}.(84)

The sign is that of a straight line in y. So A activates at every level of B exactly when a10≥a00a_{10}\ge a_{00} and a11≥a01a_{11}\ge a_{01}, and represses at every level exactly when both inequalities reverse. B has the two corresponding inequalities, a01≥a00a_{01}\ge a_{00} and a11≥a10a_{11}\ge a_{10} for activation. The five gates of the table satisfy them, each input with one sign. A fixed-sign gate is monotone in each input, and it is these activity inequalities, not the positivity of the activities, that make it so.

XOR breaks the inequalities, and one layer can still compute it. XOR expresses at (1,0) and (0,1) and not at (0,0) or (1,1). Take A={A,B}\mathcal A=\{A,B\}: a10=a01=aa_{10}=a_{01}=a and a00=a11=0a_{00}=a_{11}=0, a silent doubly bound state. Eq. (84) becomes a(1−y)/((1+x)2(1+y))a(1-y)/\big((1+x)^2(1+y)\big), which changes sign at y=1y=1, that is B=KBB=K_B, so B decides whether A activates or represses (exact). The four corners give 0, 1, 1 and 0. XOR therefore needs no new binding model, only this activity assignment, which violates a11≥a01a_{11}\ge a_{01}. Mutual exclusion alone does not give it: without the doubly bound state, the A-bound or B-bound state wins at (1,1), that corner expresses, and the gate becomes OR. Whether a real promoter silences its doubly bound state while expressing from each single state is a question about its activities. The alternative is a second layer, with one promoter computing OR, another NAND, and a third taking their outputs through an AND. Lecture 12 develops cellular computation.

Read a promoter gate from the winner of its conservation sum at each input corner, and read the sign of each input from the activity inequalities of eq. (84): XOR, which violates them, needs a silent doubly bound state or a second layer.

36Negative feedback divides small disturbances and small inputs by the same factor

§34 and §35 read their inputs without feedback. Closing a steep law on its own output asks a new question: how far does the steepness protect a steady state? Locally, one scalar identity divides a small change of removal and a small change of input by the same factor, 1+h1+h. A finite change needs that identity integrated, because h moves with the steady state.

The model is one species with a decreasing production law. Let an input u drive production through a decreasing function F, and let the species be removed at frequency δ\delta:

x˙=u F(x)−δx,F>0, F′<0.\dot x=u\,F(x)-\delta x,\qquad F>0,\ F'<0 .(85)

The production law F is the negative feedback: more x makes less x. At a positive steady state uF(x∗)=δx∗uF(x^*)=\delta x^*, define the static feedback steepness

h=−x∗F′(x∗)F(x∗) ≥0.h=-\frac{x^*F'(x^*)}{F(x^*)}\ \ge0 .(86)

For a Hill law F(x)=1/(1+(x/K)n)F(x)=1/(1+(x/K)^n), h is n(x∗/K)n/(1+(x∗/K)n)n(x^*/K)^n/(1+(x^*/K)^n), below n, as in eq. (65). It is the same kind of quantity as the link gain H of §24, a log-slope of production. In this one-species loop the link is the whole loop, so h is also its loop gain. The lower-case h keeps the one-species loop apart from the three-node ring.

Implicit differentiation gives both local sensitivities at once. Take the logarithm of the balance: ln⁡u+ln⁡F(x∗)=ln⁡δ+ln⁡x∗\ln u+\ln F(x^*)=\ln\delta+\ln x^*. Differentiating, and using dln⁡F=−h dln⁡x∗d\ln F=-h\,d\ln x^*,

dln⁡u−h dln⁡x∗=dln⁡δ+dln⁡x∗,sodln⁡x∗dln⁡δ=−11+h,dln⁡x∗dln⁡u=+11+h.d\ln u-h\,d\ln x^*=d\ln\delta+d\ln x^*,\qquad\text{so}\qquad \frac{d\ln x^*}{d\ln\delta}=-\frac{1}{1+h},\qquad \frac{d\ln x^*}{d\ln u}=+\frac{1}{1+h}.(87)

Without feedback, h=0h=0, the steady state is inversely proportional to the removal rate, for any change. With h=9h=9, a small relative change of the removal rate moves the steady state by a tenth as much. Checked against finite differences of exact steady states of eq. (85) for Hill laws with n=1n=1, 2 and 4, the identities agree to 10 significant figures (numerical).

A finite change needs the identity integrated, because h moves with the steady state. Integrating eq. (87) along the path from δ1\delta_1 to δ2\delta_2,

ln⁡x2∗x1∗=−∫δ1δ211+h(x∗(δ)) dln⁡δ.\ln\frac{x_2^*}{x_1^*}=-\int_{\delta_1}^{\delta_2}\frac{1}{1+h\big(x^*(\delta)\big)}\,d\ln\delta .(87a)

The power law (δ2/δ1)−1/(1+h)(\delta_2/\delta_1)^{-1/(1+h)} follows only if h is constant along the whole path, and a Hill law's h is not: it falls as the steady state falls. Take F=1/(1+x16)F=1/(1+x^{16}), δ1=1\delta_1=1 and the steady state with h=9h=9, which is x1∗=(9/7)1/16x_1^*=(9/7)^{1/16} with u=x1∗(1+x1∗16)u=x_1^*(1+x_1^{*16}). Doubling δ\delta gives x2∗/x1∗=0.905415x_2^*/x_1^*=0.905415, against 0.933033 from a frozen h. A tenfold increase gives 0.228571, against 0.794328 (exact steady states of eq. 85). Steepness protects a steady state only while the steady state stays on the steep part of its law.

The same steepness that rejects a disturbance also rejects the signal. Eqs. (87) are equal and opposite. Locally, a loop that suppresses a change in its removal rate by 1/(1+h)1/(1+h) suppresses a change in its input by exactly the same factor. Rejection and responsiveness are the same quantity here, which is why a circuit that must both hold a set point and follow a signal cannot do it with static steepness alone.

The steady state of this scalar model is always locally stable. Linearizing eq. (85) at x∗x^* gives the eigenvalue uF′(x∗)−δuF'(x^*)-\delta, which is negative because F′<0F'<0. So negative feedback in this one-species, instantaneous form cannot destabilize anything. That is a property of the scalar model, not of feedback in general: Part 6's ring is negative feedback with three stages, and it oscillates.

The electronic form of the statement carries two different gains, and they must not be confused. In Black's static amplifier an input u is amplified by A after a fraction β\beta of the output is subtracted. This β\beta is a feedback factor, not the Hill coefficient of §15 or the activated production of §18. The relation is y=A(u−βy)y=A(u-\beta y). Solving,

yu=A1+Aβ,dln⁡(y/u)dln⁡A=11+Aβ.\frac{y}{u}=\frac{A}{1+A\beta},\qquad \frac{d\ln(y/u)}{d\ln A}=\frac{1}{1+A\beta}.(88)

The first quantity is the closed-loop gain, which falls as feedback is added. The second is the relative sensitivity of that gain to the amplifier, which falls in the same proportion. At A=100A=100 and β=1\beta=1 the closed-loop gain is 0.990 and the sensitivity is 0.0099 (exact). Black wrote the same two relations as μ/(1−μβ)\mu/(1-\mu\beta) and (δμ/μ)/(1−μβ)(\delta\mu/\mu)/(1-\mu\beta), with his loop transmission μβ\mu\beta negative for negative feedback (pp. 5 to 6).27 Writing AβA\beta as the loop gain, eq. (88) has the form of eq. (87) with h=Aβh=A\beta: locally, a loop gain of h divides a change by 1+h1+h. Khammash draws the same comparison for a negatively autoregulated gene with Hill coefficient n, whose steady state has sensitivities of about ±1/(n+1)\pm1/(n+1) to its expression and degradation rates (Fig. 2 caption, p. 5).28 That is the limit h→nh\to n of eq. (87), reached at high expression.

Measure what negative feedback buys from the static steepness h=−x∗F′/Fh=-x^*F'/F: locally it divides both a disturbance and an input by 1+h1+h, a finite change needs the integral (87a) because h moves with the steady state, and in the scalar model feedback never costs stability.

37Rejection is not perfect adaptation

§36's loop shrinks an error but never removes it. What removes it? A stored quantity, not a steeper curve. Two sequestering species supply one: the rate of change of their difference is the error, so the difference stores the accumulated error, and at a steady state the error is zero.

A static law cannot reach zero error at finite steepness. By eq. (87a) a finite change of the removal rate leaves the steady state unchanged only if h is infinite along the whole path. Locally the residual is the fraction 1/(1+h)1/(1+h) of the change. For a large step it can be much worse, because h falls as the steady state falls: in §36's example a tenfold step from h=9h=9 leaves the output at 0.229 of its old level. The binding mechanisms of Parts 3 and 4 supply a finite h: eq. (40a) caps the titration steepness at (1+κ)/(2κ)(1+\kappa)/(2\sqrt\kappa), and eq. (65) caps a Hill law below its coefficient.

Integral action is a stored quantity, and that is a different thing from a steep curve. An integrator holds a running total of the error and keeps changing its output until that error is zero. The state that holds it is a memory, so the circuit needs an extra species, not a sharper function of x. Khammash describes the same action in the frequency domain, as infinite gain at zero frequency (p. 7).28 That description belongs to a dynamic integrator, and it is not a licence to treat an infinitely steep static law as one.

Sequestration supplies the memory, written here as a reversible pair whose complex is removed. A reference species Z1Z_1 is made at constant rate μ\mu and actuates the output. A sensor species Z2Z_2 is made in proportion to the output, at rate θX\theta X. The two bind into a complex, which is removed. This θ\theta is the controller's sensing rate, in the notation of Briat, Gupta and Khammash, and not the bound-to-free removal ratio of §27, which does not appear again in this section.29 The output X is made by free Z1Z_1 and removed at frequency γ\gamma, and the disturbance is a change of γ\gamma:

∅⇝Z1  (rate law μ),X⇝X+Z2  (rate law θX),Z1+Z2⇌k−k+CZ1Z2,CZ1Z2⇝∅  (rate law δCCZ1Z2),Z1⇝Z1+X  (rate law kZ1),X⇝∅  (rate law γX).\begin{aligned}&\varnothing\rightsquigarrow Z_1\ \ (\text{rate law }\mu),\qquad X\rightsquigarrow X+Z_2\ \ (\text{rate law }\theta X),\qquad Z_1+Z_2\xrightleftharpoons[k_-]{k_+}C_{Z_1Z_2},\\ &C_{Z_1Z_2}\rightsquigarrow\varnothing\ \ (\text{rate law }\delta_CC_{Z_1Z_2}),\qquad Z_1\rightsquigarrow Z_1+X\ \ (\text{rate law }kZ_1),\qquad X\rightsquigarrow\varnothing\ \ (\text{rate law }\gamma X).\end{aligned}(89)

Binding and unbinding cancel in the difference of the two free species. The net sequestration flux k+Z1Z2−k−CZ1Z2k_+Z_1Z_2-k_-C_{Z_1Z_2} takes one Z1Z_1 and one Z2Z_2 per binding event and returns one of each per unbinding, so it enters both free balances identically:

d(Z1−Z2)dt=μ−θX.\frac{d(Z_1-Z_2)}{dt}=\mu-\theta X .(90)

The rate of change of Z1−Z2Z_1-Z_2 is the error μ−θX\mu-\theta X, so Z1−Z2Z_1-Z_2 itself stores the accumulated error. With the totals qZ1=Z1+CZ1Z2q_{Z_1}=Z_1+C_{Z_1Z_2} and qZ2=Z2+CZ1Z2q_{Z_2}=Z_2+C_{Z_1Z_2}, the difference is also qZ1−qZ2q_{Z_1}-q_{Z_2}, and complex removal, which takes one of each, cancels there too. At any steady state the left side of eq. (90) is zero, so

X∗=μθ,X^*=\frac{\mu}{\theta},(91)

whatever γ\gamma and the plant's other constants are. This is robust perfect adaptation: the set point depends on two controller constants and on nothing in the controlled network. Simulating eq. (89) at μ=2\mu=2, θ=0.5\theta=0.5, k+=10k_+=10, k−=1k_-=1, δC=0.5\delta_C=0.5 and k=1k=1, from small positive starts, the steady state is 4.000000 at γ=0.5\gamma=0.5, 1, 2 and 3, and every species stays nonnegative (numerical). Briat and colleagues write the comparison as annihilation, Z1+Z2→∅Z_1+Z_2\to\varnothing, an event that lowers both counts by one and so preserves their difference (Equation 1, p. 19). Eq. (90) holds there too, but annihilation conserves no separate totals.

At steady state the free reference is §34's rectifier, with an effective constant that includes removal. The complex balance at a steady state of eq. (89) gives Z1Z2=KeffCZ1Z2Z_1Z_2=K_\mathrm{eff}C_{Z_1Z_2} with Keff=(k−+δC)/k+K_\mathrm{eff}=(k_-+\delta_C)/k_+, because removal empties the complex as unbinding does. When KeffK_\mathrm{eff} is small against the totals, eq. (80) applied with KeffK_\mathrm{eff} gives Z1≈max⁡(0,qZ1−qZ2)Z_1\approx\max(0,q_{Z_1}-q_{Z_2}): the actuator runs only while the reference total exceeds the sensor total. A small k−/k+k_-/k_+ alone is not enough. At μ=θ=k=γ=k+=1\mu=\theta=k=\gamma=k_+=1, k−=10−6k_-=10^{-6} and δC=100\delta_C=100, the steady state has Z1=1Z_1=1 while qZ1−qZ2=−10−8q_{Z_1}-q_{Z_2}=-10^{-8}, because Keff=100K_\mathrm{eff}=100 (exact). Using the equilibrium constant k−/k+k_-/k_+ along a transient also needs binding fast against complex removal. The memory identity (90) needs neither approximation, and the zero steady error comes from it, not from the sharpness of the corner.

Three conditions belong next to that claim: the loop must settle, a reversible complex must be removed, and the free controller species must not be. Take settling first. Eq. (91) holds at a steady state, and the difference balance says nothing about whether the loop reaches one. "If it settles" is a stability condition on the full closed loop, as everywhere in this chapter. Briat and colleagues prove settling, in the stochastic sense of ergodicity, for unimolecular networks whose open loop is stable and output controllable and whose set point is accessible (Theorem 2, p. 21). They also note that the deterministic counterpart can oscillate in an instability region (p. 24).

A reversible complex must be removed, or the loop has no steady state. Without complex removal nothing removes the reference, so qZ1q_{Z_1} grows as μt\mu t. The complex then grows as μt\mu t too, and the free sensor must grow with it to keep binding balanced against unbinding. With K=k−/k+K=k_-/k_+ its growth rate is Kμ/Zˉ1K\mu/\bar Z_1, which the sensor's production θXˉ\theta\bar X must supply on top of μ\mu. The output therefore settles at an offset instead of the set point,

Xˉ=μθ(1+KZˉ1),Zˉ1=γXˉk,\bar X=\frac{\mu}{\theta}\Big(1+\frac{K}{\bar Z_1}\Big),\qquad \bar Z_1=\frac{\gamma\bar X}{k},

which is 4.0976 at γ=1\gamma=1 and 4.0331 at γ=3\gamma=3 with δC=0\delta_C=0 and the other constants above (exact for this ramp, and numerical). The plant's removal rate now sets the output, so adaptation is lost. Irreversible binding into an inert complex, k−=0k_-=0, needs no removal, because the complex never returns its partners. Annihilation is that case.

Removing the complex does not leak the memory, but removing the free controller species does. The cancellation in eq. (90) is a cancellation of equal event fluxes: each binding, unbinding or complex-removal event changes the two free species, or the two totals, by the same amount. Equal first-order removal of the free species is not such a flux. Diluting free Z1Z_1 and Z2Z_2 at δZ\delta_Z gives d(Z1−Z2)/dt=μ−θX−δZ(Z1−Z2)d(Z_1-Z_2)/dt=\mu-\theta X-\delta_Z(Z_1-Z_2), a leaky integrator, and the set point acquires an offset: the output falls from 4.000 to 3.925 at δZ=0.01\delta_Z=0.01 and to 3.358 at 0.1 (numerical). As in §27, the removal rule is part of the model, and here equal dilution of the two free species is enough to make the memory leak.

A living cell dilutes its controller, so its adaptation is near-perfect rather than exact. Aoki and colleagues built the motif in E. coli from the σ factor SigW and its anti-σ factor RsiW. They note that the theory assumes unsaturated production and negligible degradation of the two controller proteins, that living cells satisfy neither, and that simulations with realistic parameters gave small errors (p. 535).30 In eq. (90) that is the leak term.

Lecture 10 takes this question up systematically. It develops the internal model principle, the conditions for robust perfect adaptation, chemotaxis and the comparison with the feedforward designs of Part 5. This section supplies only the two identities, eq. (87) for static rejection and eq. (90) for stored memory, and the distinction between them.

Separate three quantities: the static steepness h, which divides a small disturbance by 1+h1+h; a stored difference, whose rate of change is the error and which drives the error to zero through eq. (90); and the stability of the closed loop, which neither of them establishes. Keep a reversible complex removed and the free controller species unremoved, or the memory fails.


References

  1. Q. Liu, X. Ren and F. Xiao, “Evaluating valid parameter regimes for biocircuits,” bioRxiv 2026.01.19.700491 (2026), preprint. §3.1 and Eq. 12: the validity condition of the Michaelis-Menten law, free substrate winning its own total. bioRxiv
  2. F. Xiao, J. P. Marken, J. Yan and D. Cappelletti, Supplementary Information for: Universal polyhedral geometry governs the behavior of biomolecular reaction systems, unpublished author manuscript, snapshot of 21 September 2026. §20.1, pp. 317 to 326: an induced activator and an induced repressor matched to one Hill curve, the matching as a calibration choice, and a sweep of the regulator total. Cited as an unpublished manuscript.
  3. F. Xiao, Biocontrol of biomolecular systems: polyhedral constraints on binding’s regulation of catalysis from biocircuits to metabolism, PhD thesis, California Institute of Technology (2022). Printed p. 113, Eq. 3.45 and the paragraph after it: an activating regulator acts through a complex, whose order in the regulator total stays between 0 and 1, while a repressing regulator acts through a free species that can become hypersensitive under tight binding. Cited as unpublished.
  4. M. A. Savageau, “Design of molecular control mechanisms and the demand for gene expression,” Proceedings of the National Academy of Sciences USA 74, 5647–5651 (1977). p. 5647: in a controlled comparison of otherwise identical systems, the only inherent difference between activator and repressor control is the response to regulatory mutations. publisher
  5. R. C. Brewster, F. M. Weinert, H. G. Garcia, D. Song, M. Rydenfelt and R. Phillips, “The transcription factor titration effect dictates level of gene expression,” Cell 156, 1312–1323 (2014). Fig. 4 and its caption, p. 1316: the fold-change is near 1 while the repressor copy number is below the gene copy number. publisher
  6. N. E. Buchler and M. Louis, “Molecular titration and ultrasensitivity in regulatory networks,” Journal of Molecular Biology 384, 1106–1119 (2008). pp. 1106 to 1110: titration as a sink, the threshold where two totals match, the sharpness set by the ratio of the titrant total to KdK_d, and the in vivo threshold where two synthesis rates match. publisher
  7. A. Goldbeter and D. E. Koshland Jr., “An amplified sensitivity arising from covalent modification in biological systems,” Proceedings of the National Academy of Sciences USA 78, 6840–6844 (1981). p. 6840: amplification when one or more converter enzymes work in the zero-order region. pp. 6841 to 6842: Eqs. 7 to 10 and the remark on enzyme ratios of 0.1 or less. publisher
  8. S. H. Ha and J. E. Ferrell Jr., “Thresholds and ultrasensitivity from negative cooperativity,” Science 352, 990–993 (2016), with Supplementary Materials. p. 990: the receptor models and the excess-ligand assumption. p. 991: the limit near 8.04, the singly bound state as a stoichiometric buffer, and the receptor held at 1000 nM. p. 993: the biphasic response at a receptor-to-ligand ratio of 1:2. Supplement, Table S1: the inferred cooperativity. publisher
  9. N. E. Buchler and F. R. Cross, “Protein sequestration generates a flexible ultrasensitive response in a genetic network,” Molecular Systems Biology 5, 272 (2009). p. 1: apparent Hill coefficients up to 12, with threshold and steepness set by the inhibitor’s abundance. publisher
  10. T. S. Gardner, C. R. Cantor and J. J. Collins, “Construction of a genetic toggle switch in Escherichia coli,” Nature 403, 339–342 (2000). Box 1, p. 339: the model, and the statement that the nullclines intersect three times because of their sigmoidal shape. publisher
  11. J. L. Cherry and F. R. Adler, “How to make a biological switch,” Journal of Theoretical Biology 203, 117–133 (2000). p. 123, Proposition 1.1: the condition on the product of the two repression laws’ largest log-slopes. pp. 127 to 128: depletion of free repressor as a route that needs no cooperative binding, with more than one operator copy per cell, a small enough dissociation constant, and equal decay of free and bound repressor. publisher
  12. R. Zhu, J. M. del Rio-Salgado, J. Garcia-Ojalvo and M. B. Elowitz, “Synthetic multistability in mammalian cells,” Science 375, eabg9765 (2022), with Supplementary Materials. p. 1 of 11: seven states held for more than 18 days. p. 6 of 11, Box 1: the model and removal of every species regardless of its dimerization state. p. 9 of 11: a maximum of 256 attractors at N = 9, and the declining share of active homodimers. Supplement, p. 8: the dimerization equilibria with the statistical factor 2. Supplement, p. 19: multistability even at n = 1. publisher
  13. R. Du, M. J. Flynn, K. Mahe, M. Honsa, B. Gu, D. Li, S. E. McGeary, V. Gradinaru, R. Jungmann and M. B. Elowitz, “miRNA modules for precise, tunable control of gene expression,” bioRxiv 2024.03.12.583048, version 5 (2025), preprint, and the Molecular Cell version (2026), Data S1, pp. 14 to 16: the non-dimensionalization, the dimensionless catalytic rate, the constant K once complex removal is included, and the approximate compensation window. publisher
  14. L. Bleris, Z. Xie, D. Glass, A. Adadey, E. Sontag and Y. Benenson, “Synthetic incoherent feedforward circuits show adaptation to the amount of their genetic template,” Molecular Systems Biology 7, 519 (2011). Abstract and p. 7: the measured loops adapt. p. 5: the model’s predicted loss of adaptation at high copy number from saturation of the RNA-induced silencing complex. publisher
  15. T. H. Segall-Shapiro, E. D. Sontag and C. A. Voigt, “Engineered promoters enable constant gene expression at any copy number in bacteria,” Nature Biotechnology 36, 352–358 (2018), with the revised Supplementary Information. pp. 353 to 354: monomeric TALE repressors and nearly constant expression from 3 to 100 copies per cell. Supplement, Note 1, pp. 3 to 5: the assumptions of repressor excess over the promoters and over KdK_d, and Eq. 19 for the strength-error trade. publisher
  16. L. Goentoro, O. Shoval, M. W. Kirschner and U. Alon, “The incoherent feedforward loop can provide fold-change detection in gene regulation,” Molecular Cell 36, 894–899 (2009). p. 897: the requirement Y/K>10Y/K>10, at a small fraction of the promoter’s maximal strength. publisher
  17. M. B. Elowitz and S. Leibler, “A synthetic oscillatory network of transcriptional regulators,” Nature 403, 335–338 (2000). p. 335: the conditions that favour oscillation. Box 1, p. 337: the model, its parameters, the stability condition, and the two operator sites used to obtain cooperativity. p. 336: the measured period of around 150 minutes. publisher
  18. L. Potvin-Trottier, N. D. Lord, G. Vinnicombe and J. Paulsson, “Synchronous long-term oscillations in a synthetic gene circuit,” Nature 538, 514–517 (2016), with Supplementary Information. Extended Data Fig. 4d and its legend: at Hill coefficient 1 the stochastic model oscillates while the deterministic equations damp. Supplementary Information 4.1, p. 12: the minimal Hill model. Supplementary Information 4.3, p. 17: equal dilution of repressor and binding sites as key to effective titration. publisher
  19. S. Clamons and R. M. Murray, “Modeling dynamic transcriptional circuits with CRISPRi,” bioRxiv 225318 (2017), preprint, version posted 11 February 2022. p. 4: global dilution of all components. pp. 4 to 6: the replication and unbinding step, printed differently in the text and in the reaction list. p. 9: the first-order assumptions and the idealized equations. p. 10: the definitions of the production and dilution rates. pp. 11 to 12: the loss-of-stability condition, and that cooperativity is not necessary. bioRxiv
  20. A. Loinger and O. Biham, “Stochastic simulations of the repressilator circuit,” Physical Review E 76, 051917 (2007). Read as the arXiv preprint 0710.1421, Sec. III A. p. 6: the rate equations with an explicit bound repressor, their single steady state stable for any choice of the parameters, and cell division as an effective degradation of bound transcription factors. p. 7: oscillations once bound repressor degrades, and an oscillatory range that shrinks to zero as that rate goes to zero. p. 19, Fig. 2: the parameters and the period of about 2260 s. publisher
  21. S. Müller, J. Hofbauer, L. Endler, C. Flamm, S. Widder and P. Schuster, “A generalized model of the repressilator,” Journal of Mathematical Biology 53, 905–937 (2006). Read as the author preprint. p. 3: only free proteins are degraded. p. 29: the central equilibrium is stable for Hill coefficients below 4/3 at zero leak and three genes. publisher
  22. A. D. Riggs, S. Bourgeois and M. Cohn, “The lac repressor-operator interaction. III. Kinetic studies,” Journal of Molecular Biology 53, 401–417 (1970). p. 402: the equilibrium constant close to 10−13 M10^{-13}\ \mathrm M in the authors’ standard buffer, and its sensitivity to ionic strength. publisher
  23. H. Fu, F. Xiao and S. Jun, “Bacterial replication initiation as precision control by protein counting,” PRX Life 1, 013011 (2023). pp. 013011-2 to 013011-3: about 300 high-affinity chromosomal DnaA boxes with dissociation constants near 1 nM, acting as a titration pool. publisher
  24. A. Santos-Moreno, E. Tasiudi, J. Stelling and Y. Schaerli, “Multistable and dynamic CRISPRi-based synthetic circuits,” Nature Communications 11, 2746 (2020). p. 6, Fig. 5: a three-node CRISPRi ring in E. coli oscillating with a period of 10 to 12 hours. publisher
  25. F. Xiao, J. P. Marken, J. Yan and D. Cappelletti, Universal polyhedral geometry governs the behavior of biomolecular reaction systems, unpublished manuscript, draft of 28 August 2026. The subsection on unique response behaviors from logically equivalent gene regulatory networks: the repressor architecture reaches arbitrarily large reaction order in the signal total, the activator architectures stay at most linear, and the distinctions vanish under the Michaelis-Menten assumptions. Cited as an unpublished manuscript.
  26. J. P. Marken, F. Xiao and R. M. Murray, “A geometric and structural approach to the analysis and design of biological circuit dynamics,” bioRxiv 2020.02.18.953620 (2020), preprint. p. 8: regime consistency conditions, which decide whether a regime’s fixed point lies inside the regime it came from. §4, p. 12 and Fig. 4: structural oscillation when each regime’s fixed point points into the next, with the conditions α≫1\alpha\gg1 and n≥2n\ge2 for their repressilator model. pp. 13 to 14: the two parameter conditions and the remaining regimes. p. 15: the stated limits of the approach. bioRxiv
  27. H. S. Black, “Stabilized feedback amplifiers,” Bell System Technical Journal 13, 1–18 (1934). p. 5: signal, noise and modulation in the output are divided by 1−μβ1-\mu\beta, with feedback negative when that factor reduces them. p. 6, Eqs. 5 and 6: the closed-loop gain μ/(1−μβ)\mu/(1-\mu\beta) and the reduction of its relative variations by the same factor. publisher
  28. M. Khammash, “An engineering viewpoint on biological robustness,” BMC Biology 14, 22 (2016). p. 5, Fig. 2 caption: the sensitivities of a negatively autoregulated gene's steady state to its expression and degradation rates, about ±1/(n+1)\pm1/(n+1) for Hill coefficient n. p. 7: integral feedback as infinite gain at zero frequency, and perfect adaptation to constant disturbances. publisher
  29. C. Briat, A. Gupta and M. Khammash, “Antithetic integral feedback ensures robust perfect adaptation in noisy biomolecular networks,” Cell Systems 2, 15–26 (2016). p. 19, Equation 1: the controller reactions, with Z1Z_1 made at rate μ\mu, Z2Z_2 made in proportion to the regulated species, and an annihilation that lowers both counts by one and so preserves their difference. p. 21, Theorem 2: ergodicity and set-point tracking for unimolecular networks whose open loop is stable and output controllable and whose set point μ/θ\mu/\theta is accessible. p. 24: the deterministic counterpart oscillates in an instability region. publisher
  30. S. K. Aoki, G. Lillacci, A. Gupta, A. Baumschlager, D. Schweingruber and M. Khammash, “A universal biomolecular integral feedback controller for robust perfect adaptation,” Nature 570, 533–537 (2019). p. 535: the σ factor SigW and anti-σ factor RsiW of Bacillus subtilis as the two controller molecules in E. coli, and the statement that the theory's assumptions of unsaturated production and negligible controller degradation are not satisfied in living cells. publisher

Every curve and number on this page is a model calculation at the stated illustrative parameters, labelled exact, leading order or numerical, except where a box or a table cell names a reported measurement. None is a fit to data. The figure generator, the parameter records and the numbered checks are kept in the Lecture 9 research directory.