Fast enough for which prediction?

A defensible reduction preserves a specified prediction under a specified preparation, input and observation.

A reduced model can fit an endpoint and still miss the experiment. It may reach that endpoint too quickly, predict covalent capture before binding has occurred, or reproduce the mean while discarding most of the variance. Agreement must therefore be judged against a named observable.

The Week 3 contributions expose several ways a familiar summary can conceal failure. A final abundance leaves recovery speed undetermined. Affinity does not fix capture time. A good amplitude fit can hide phase lag, and an exact free-protein law can fail when fed a total-protein measurement. Even after those checks, a short molecular episode may leave a random packet that a downstream consumer can detect.

We will follow these failures from a hidden binding clock to a downstream output. At each step, the missing information becomes a concrete validation test. The core separates exact accounting from fast-state closure. The exposition supplies broader derivations, and the lineage puts the reduction programmes in context.

Names link to accepted submissions. Added connections and error criteria are editorial synthesis. They do not imply a classroom exchange or student approval of this prose. All numerical rates below are illustrative model choices, not fitted biological measurements.

1Equal levels leave a clock undetermined

A steady abundance determines a ratio, not a turnover rate. Changkai Li isolates this distinction with constant supply and linear removal. Let xx be abundance, kk the supply per unit time and γ\gamma the per-capita removal rate. Starting from zero,

x˙=k−γx,x(t)=kγ(1−e−γt).\dot x=k-\gamma x,\qquad x(t)=\frac{k}{\gamma}(1-e^{-\gamma t}).

Fixing k/γ=100k/\gamma=100 makes every trajectory end at 100. The time to reach half that value is t1/2=log⁡(2)/γt_{1/2}=\log(2)/\gamma. Changkai's removal rates 0.2, 1 and 5 per chosen time unit give half-times 3.47, 0.693 and 0.139 time units. The shared endpoint leaves a 25-fold difference between the slowest and fastest recovery.

The extra measurement needed is a clock measurement. A time course after a controlled change can estimate γ\gamma. Combined with the final level, it determines kk. An endpoint alone cannot distinguish those parameter pairs.

This example does not yet eliminate a state. It establishes why an endpoint fit cannot validate an elimination. We next place the hidden clock inside a process whose output is formed only after a binding event.

Separate the ratio fixed by a steady abundance from the rate fixed by a transient measurement.

2Equal affinity does not fix capture

A binding equilibrium predicts occupancy, not the speed of irreversible capture. Xinyu Wu compares two binders with the same affinity but different association and dissociation rates. His observable is the fraction captured by a finite time.

Consider one reactive molecule and a partner maintained in excess at concentration [B][B]. The molecule has three states: unbound, reversibly bound, and irreversibly captured. Let their probabilities be pU,pC,pXp_U,p_C,p_X. The unbound-to-bound transition has rate a=kon[B]a=k_\mathrm{on}[B], unbinding has rate b=koffb=k_\mathrm{off}, and capture from the bound state has rate cc. All three rates are positive and have units of inverse time.

These are transitions between modeled states. They do not specify the elementary chemistry of a crosslinker. With no side reactions and an initially unbound molecule, the probability equations are

p˙U=−apU+bpC,p˙C=apU−(b+c)pC,p˙X=cpC,(pU,pC,pX)(0)=(1,0,0).\begin{aligned} \dot p_U&=-ap_U+bp_C,\\ \dot p_C&=ap_U-(b+c)p_C,\\ \dot p_X&=cp_C,\qquad (p_U,p_C,p_X)(0)=(1,0,0). \end{aligned}

In the reversible binding submodel without capture, the bound probability is pbound=a/(a+b)p_\mathrm{bound}=a/(a+b). Holding the dissociation constant Kd=koff/konK_d=k_\mathrm{off}/k_\mathrm{on} and partner concentration fixed preserves that probability. Multiplying both binding rates by a common factor leaves affinity unchanged while changing the binding relaxation time 1/(a+b)1/(a+b).

The rapid-equilibrium approximation assumes that the uncaptured population continually has this bound fraction. It uses pC≈pbound(1−pX)p_C\approx p_\mathrm{bound}(1-p_X), giving

pXRE(t)=1−e−cpboundt.p_X^\mathrm{RE}(t)=1-e^{-c p_\mathrm{bound}t}.

The model boundary matters for real crosslinking. Kammer and colleagues explicitly include hydrolysis, mono-link formation and competing crosslinks. Those pathways can change both yield and its dependence on rates. Xinyu's three-state construction isolates the binding-clock question. It does not claim to reproduce that full chemistry.1

Define capture as a finite-time state probability, and distinguish equal binding occupancy from equal capture kinetics.

3Calculate the missing binding wait

The initial binding wait produces a measurable difference even at fixed affinity. Take Xinyu's c=0.1 s−1c=0.1\,\mathrm{s}^{-1} and pbound=1/2p_\mathrm{bound}=1/2. Compare a=b=0.01 s−1a=b=0.01\,\mathrm{s}^{-1} with a=b=1 s−1a=b=1\,\mathrm{s}^{-1}. At 60 seconds, the exact captured probabilities are 0.3663 and 0.9450. Rapid equilibrium predicts 0.9502 for both.

The same affinity leaves different capture histories
pbound=1/2,c=0.1 s−1p_\mathrm{bound}=1/2,\quad c=0.1\,\mathrm{s}^{-1}
0 30 60 90 120 0 0.25 0.5 0.75 1
t  (seconds)t\;\text{(seconds)}
Pr⁡(captured by t)\Pr(\text{captured by }t)
a=b=0.01 s−1a=b=0.01\,\mathrm{s}^{-1}
a=b=1 s−1a=b=1\,\mathrm{s}^{-1}
rapid-equilibrium approximation\text{rapid-equilibrium approximation}
Figure 1. Equal affinity hides a large finite-time yield difference. Both preparations start entirely unbound and ultimately become captured in this model. The curves are exact state-probability solutions, checked against a matrix exponential. Dots mark 60 seconds. The dashed approximation omits the initial binding delay.
The exact capture curve

Define positive decay rates r±=[a+b+c±(a+b+c)2−4ac]/2r_\pm=[a+b+c\pm\sqrt{(a+b+c)^2-4ac}]/2. For the positive rates used here, r+>r−r_+>r_-. Solving the two uncaptured-state equations gives

pX(t)=1−r+e−r−t−r−e−r+tr+−r−.p_X(t)=1-\frac{r_+e^{-r_-t}-r_-e^{-r_+t}}{r_+-r_-}.

The exact initial derivative is zero because binding must precede capture. The rapid-equilibrium derivative starts at cpboundc p_\mathrm{bound}. Even the fast case therefore has an initial layer that the reduced curve cannot resolve.

The mean capture time exposes the omitted wait without solving the full time course. Let TUT_U and TCT_C be the expected remaining times to capture from the unbound and bound states. First wait for the next state transition, then add the remaining time:

TU=1a+TC,TC=1b+c+bb+cTU.T_U=\frac1a+T_C,\qquad T_C=\frac1{b+c}+\frac{b}{b+c}T_U.

The first equation includes the initial association wait. The second includes a possible unbinding and restart. Solving gives

TU=a+b+cac=a+bac⏟TRE+1a,TRE=1cpbound.T_U=\frac{a+b+c}{ac} =\underbrace{\frac{a+b}{ac}}_{T_\mathrm{RE}}+\frac1a, \qquad T_\mathrm{RE}=\frac1{c p_\mathrm{bound}}.

The rapid-equilibrium mean is 20 seconds in both cases. The exact means are 120 and 21 seconds. Their difference is not an affinity difference or an eventual-yield difference. It is time spent reaching the reactive state under the specified preparation.

Use first-step waiting equations to identify the delay that an occupancy-based approximation omits.

4Turn “fast” into a requirement

An error tolerance converts the clock comparison into a quantitative acceptance test. Building on Xinyu's exact mean, define relative error against the full initially unbound mean:

emean=TU−TRETU=ca+b+c.e_\mathrm{mean}=\frac{T_U-T_\mathrm{RE}}{T_U} =\frac{c}{a+b+c}.

To require emean≤ηe_\mathrm{mean}\leq\eta, with 0<η<10<\eta<1, it is necessary and sufficient in this model that

a+bc≥1−ηη.\frac{a+b}{c}\geq\frac{1-\eta}{\eta}.

A 5% tolerance therefore requires a binding relaxation rate at least 19 times the capture rate. The fast example has ratio 20 and relative error 4.76%. The slow example has ratio 0.2 and error 83.33%. The criterion says exactly which approximation is acceptable for this mean-time question.

This criterion does not certify the whole capture curve. Relative error at very early times can remain large because the exact initial capture rate is zero. A finite-time yield tolerance needs its own curve comparison.

Starting from a pre-equilibrated mixture changes the mean-time criterion too. If its initial bound fraction is pboundp_\mathrm{bound}, the extra wait above TRET_\mathrm{RE} becomes (1−pbound)/a(1-p_\mathrm{bound})/a, not 1/a1/a.

Attach every “fast enough” inequality to its observable, normalization and initial preparation.

5A moving target supplies another clock

A fast relaxation must be compared with the changing input, not just with another internal rate. Zixuan Wang gives this requirement an exact error budget. Let z(t)z(t) track a target u(t)u(t) with relaxation time trelaxt_\mathrm{relax}:

trelaxz˙=u(t)−z,u(t)=Asin⁡(ωt).t_\mathrm{relax}\dot z=u(t)-z,\qquad u(t)=A\sin(\omega t).

Here zz and uu are equally scaled deviations around positive reference states, not concentrations that become negative. For small perturbations of independent receptor binding, trelax=1/(konS0+koff)t_\mathrm{relax}=1/(k_\mathrm{on}S_0+k_\mathrm{off}), where S0S_0 is the reference free-ligand concentration. This connection is a local linearization with externally imposed free ligand.

After startup transients decay, define the dimensionless forcing speed r=ωtrelaxr=\omega t_\mathrm{relax}. The exact gain is G=1/1+r2G=1/\sqrt{1+r^2} and the phase lag is arctan⁡r\arctan r. Quasi-steady tracking sets z=uz=u and loses both effects.

A nearly correct amplitude can miss the waveform
trelax=1 s,T=20 st_\mathrm{relax}=1\,\mathrm{s},\quad T=20\,\mathrm{s}
0 10 20 30 40 -1 0 1
t  (seconds)t\;\text{(seconds)}
deviation / input amplitude\text{deviation / input amplitude}
Dashed: target. Red: exact settled response. Amplitude loss: 4.60%. Normalized RMS error: 29.97%.
Figure 2. Matching peak sizes does not align their timing. A one-second relaxation following a 20-second sinusoid retains 95.40% of the target amplitude, yet has 29.97% normalized RMS tracking error. Exact settled waveforms were checked by independent ODE integration. Only signed deviations are plotted.

Zixuan measures waveform error over one settled period, normalized by the input's RMS amplitude. Denoting a full-period average by angle brackets,

Etrack=⟨(z−u)2⟩⟨u2⟩=r1+r2,Ttrelax≥2π1−η2ηfor Etrack≤η.E_\mathrm{track}=\sqrt{\frac{\langle(z-u)^2\rangle}{\langle u^2\rangle}} =\frac{r}{\sqrt{1+r^2}},\qquad \frac{T}{t_\mathrm{relax}}\geq\frac{2\pi\sqrt{1-\eta^2}}{\eta} \quad\text{for }E_\mathrm{track}\leq\eta.

The last inequality assumes T=2π/ωT=2\pi/\omega and 0<η<10<\eta<1. A 10% tolerance requires a period at least 62.52 relaxation times. This is a result for the stated waveform metric and single-frequency linear model, not a universal “63 times faster” rule for enzymes.

Weihan Luo supplies a complementary moving-target example: s˙=1−s\dot s=1-s and ϵf˙=s−f\epsilon\dot f=s-f, starting at zero. Time is scaled to the slow relaxation time. At time one, s=0.6321s=0.6321. The fast state is 0.6128 for ϵ=0.05\epsilon=0.05, but only 0.2642 for ϵ=1\epsilon=1. Calling a variable “fast” does not establish that it follows its target.

The connection to fast-weight neural memory raises a further question: is the lag an error or the function? Ba and colleagues deliberately retain recent activity through rapidly changing associative weights. Their fast weights evolve more quickly than learned weights, but are not simply an instantaneous function of the current input. Weihan's tracking toy illustrates a condition for elimination. It does not justify deleting the history that a memory architecture was built to store.4

Test the input bandwidth and ask whether the fast state's retained history is negligible for the task, rather than eliminating it because of its name.

6Fast binding does not identify the measured pool

An accurate fast-state reduction can still fail at the observation map. Kehan Lang makes the course's free-versus-total warning quantitative. Let RR be free repressor monomer, CRRC_{RR} free dimer, DD free promoter and CDRRC_{DRR} promoter-bound dimer. Assume rapid reversible equilibration and define dissociation scales by

CRR=R2/Kdim,CDRR=DCRR/Kd,KH2=KdimKd.C_{RR}=R^2/K_\mathrm{dim},\qquad C_{DRR}=DC_{RR}/K_d,\qquad K_H^2=K_\mathrm{dim}K_d.

Promoter conservation is qD=D+CDRRq_D=D+C_{DRR}. Protein conservation counts two monomer constituents in every free or bound dimer. Together the constraints give

DqD=11+(R/KH)2,qR=R+2R2Kdim+2qDR2KH2+R2.\frac{D}{q_D}=\frac1{1+(R/K_H)^2},\qquad q_R=R+\frac{2R^2}{K_\mathrm{dim}}+ \frac{2q_D R^2}{K_H^2+R^2}.

The promoter law is exactly degree two in free monomer within this reduced model. The total map is strictly increasing, so a measured qRq_R determines one physical RR. But using qRq_R directly in the promoter law drops both storage terms. Fast binding does not make those terms small.

Free and total protein give different half points
KH=1 μM,qD=0.02 μMK_H=1\,\mu\mathrm{M},\quad q_D=0.02\,\mu\mathrm{M}
0 5 10 15 20 25 0 0.25 0.5 0.75 1
qR  (μM)q_R\;(\mu\mathrm{M})
D/qDD/q_D
Teal: little dimer storage. Red: strong dimer storage. Half points: 1.04 and 21.02 micromolar total protein. Dashed: putting total protein directly into the free-protein law.
Figure 3. The same free-monomer law gives different total-protein curves. Kehan fixes KH=1 μMK_H=1\,\mu\mathrm M and qD=0.02 μMq_D=0.02\,\mu\mathrm M. Dimer dissociation scales of 100 and 0.1 micromolar give total half-repression points 1.04 and 21.02 micromolar. Both have R=KHR=K_H at that point. Curves use the exact monotone total map, not Hill fits.

This comparison separates two approximations often bundled together. A fast-equilibrium assumption reconstructs occupancy from free species. A monomer-dominance assumption permits replacement of free protein by total protein. Failure of the second assumption does not refute the first or the dimer mechanism. Nor does a fitted Hill exponent alone identify that mechanism.

Reconstruct the free species from the conserved total before applying a free-species regulatory law, unless pool dominance has been checked.

7The mean is the easy observable

A reduction that preserves the mean may still discard substantial noise. Peng Su tests promoter averaging by its stationary Fano factor. His question is not whether arbitrarily fast switching can average out. It is how much speed a specified noise tolerance needs at the actual production amplitude.

Define a binary promoter state G∈{0,1}G\in\{0,1\}. It switches ON at rate α\alpha and OFF at rate β\beta, independently of protein count. When ON, it adds single proteins at propensity ρ\rho. Each protein is removed at rate γ\gamma. All four rates are positive. This effective state-and-count model is the switching construction studied by Peccoud and Ycart. It does not resolve transcription and translation separately.2

The stationary ON fraction is pon=α/(α+β)p_\mathrm{on}=\alpha/(\alpha+\beta). If NN denotes protein count, stationary mean balance gives μ=E[N]=ρpon/γ\mu=\mathrm E[N]=\rho p_\mathrm{on}/\gamma. Replacing the promoter by the constant propensity ρpon\rho p_\mathrm{on} preserves this mean exactly at every switching speed.

The variance reveals the missing correlation. Let C=Cov⁡(G,N)C=\operatorname{Cov}(G,N) at stationarity. Applying the event generator to GNGN, using G2=GG^2=G, gives

0=ρpon(1−pon)−(γ+α+β)C.0=\rho p_\mathrm{on}(1-p_\mathrm{on}) -(\gamma+\alpha+\beta)C.

Protein accumulation remembers recent promoter activity. Its variance balance retains that memory through CC. Define the Fano factor F=Var⁡(N)/μF=\operatorname{Var}(N)/\mu. Then

Var⁡(N)=μ+ργC,F=1+ρ(1−pon)γ+α+β.\operatorname{Var}(N)=\mu+\frac{\rho}{\gamma}C, \qquad F=1+\frac{\rho(1-p_\mathrm{on})}{\gamma+\alpha+\beta}.

The constant-rate reduction predicts a Poisson distribution and F=1F=1. It matches the full mean while omitting the entire positive second term. The comparison is exact for this model, without a Gaussian approximation or a moment-closure assumption.

Check a fluctuation statistic when a reduction already preserves stationary mean balance.

8Amplitude sets the noise threshold

Peng's amplitude scan shows why a clock ratio alone is not a finite-error guarantee. Define the switching relaxation time tswitch=1/(α+β)t_\mathrm{switch}=1/(\alpha+\beta), the protein lifetime tprotein=1/γt_\mathrm{protein}=1/\gamma, and the dimensionless production amplitude R=ρ/γR=\rho/\gamma. Then

ϵ=tswitchtprotein=γα+β,F−1=R(1−pon)ϵ1+ϵ.\epsilon=\frac{t_\mathrm{switch}}{t_\mathrm{protein}} =\frac{\gamma}{\alpha+\beta},\qquad F-1=R(1-p_\mathrm{on})\frac{\epsilon}{1+\epsilon}.

At pon=1/21p_\mathrm{on}=1/21 and ϵ=0.01\epsilon=0.01, switching relaxes 100 times faster than protein removal. Yet amplitudes R=1,10,100,200R=1,10,100,200 give Fano factors 1.0094, 1.0943, 1.9430 and 2.8859. The same clock separation meets some noise requirements and misses others.

Specify an absolute Fano-excess tolerance F−1≤τF-1\leq\tau, with τ>0\tau>0. The exact acceptance condition is

α+βγ≥R(1−pon)τ−1.\frac{\alpha+\beta}{\gamma} \geq\frac{R(1-p_\mathrm{on})}{\tau}-1.

If the right side is negative, every positive switching speed satisfies that particular tolerance. For Peng's R=200R=200, pon=1/21p_\mathrm{on}=1/21 and τ=0.05\tau=0.05, the required ratio is 3808.5.

A noise tolerance depends on production amplitude
pon=1/21,R=ρ/γp_\mathrm{on}=1/21,\quad R=\rho/\gamma
0.1 1 10 100 1000 10000 0.001 0.01 0.1 1 10 100
(α+β)/γ(log scale)(\alpha+\beta)/\gamma\quad\text{(log scale)}
F−1(log scale)F-1\quad\text{(log scale)}
R=1R=1
R=10R=10
R=200R=200
Dashed: Fano excess 0.05. Red crossing: speed 3808.5.
Figure 4. Faster than removal is not the same as accurate enough for noise. Curves show exact Fano excess at fixed ON fraction. Larger ON-state production requires faster switching to reach the same absolute excess tolerance. At R=200R=200, the crossing of 0.05 occurs at a switching-to-removal rate ratio of 3808.5. Both axes are logarithmic.

The required acceleration can be large even for an initially fast promoter. Peng's baseline uses ρ=6 s−1\rho=6\,\mathrm{s}^{-1}, γ=0.03 s−1\gamma=0.03\,\mathrm{s}^{-1}, α=0.015 s−1\alpha=0.015\,\mathrm{s}^{-1} and β=0.3 s−1\beta=0.3\,\mathrm{s}^{-1}. Their switching-to-removal ratio is 10.5. Reaching the chosen tolerance requires multiplying both switching rates by about 362.7 while preserving their ratio. The resulting switching relaxation time is about 8.75 milliseconds.

The error metric changes the conclusion's meaning. With equal means, the relative variance error of the Poisson reduction is (F−1)/F(F-1)/F. An absolute Fano excess of 0.05 therefore means 4.76% relative variance error, not exactly 5%. A true 5% relative variance tolerance instead requires a rate ratio of 3618.0 in this example.

Increasing production also does not worsen every fluctuation metric. The squared coefficient of variation is variance divided by squared mean. Its excess above the Poisson value is

CV2−1μ=1−ponponγγ+α+β.\mathrm{CV}^2-\frac1\mu =\frac{1-p_\mathrm{on}}{p_\mathrm{on}} \frac{\gamma}{\gamma+\alpha+\beta}.

At fixed ON fraction and switching speed, this excess is independent of ρ\rho. Peng's warning concerns finite accuracy for a named statistic. It does not say that production amplitude defeats fast switching under every normalization.

Choose the noise metric first, then solve for the switching rate that meets its tolerance at the declared production amplitude.

9A different limit retains packets

Fixed-amplitude averaging remains valid as switching becomes arbitrarily fast. If RR and ponp_\mathrm{on} stay fixed while ϵ→0\epsilon\to0, Peng's formula gives F→1F\to1. The finite-rate example does not contradict that limit. It shows why the convergence is not uniform over unrestricted production amplitudes.

A distinct joint scaling can preserve finite output from an ever-shorter active episode. During one ON episode, production events occur at rate ρ\rho and deactivation occurs at rate β\beta. Let BB count proteins produced before deactivation. Competing exponential clocks give

Pr⁡(B=j)=βρ+β(ρρ+β)j,j=0,1,…,E[B]=ρβ=bpkt.\Pr(B=j)=\frac{\beta}{\rho+\beta} \left(\frac{\rho}{\rho+\beta}\right)^j, \quad j=0,1,\ldots,\qquad \mathrm E[B]=\frac{\rho}{\beta}=b_\mathrm{pkt}.

Keep α,γ\alpha,\gamma and bpktb_\mathrm{pkt} fixed while increasing ρ\rho and β\beta together. Active durations shrink to zero, but packet sizes remain geometrically distributed. This is not the previous family: the ON fraction now tends to zero while ON-state production diverges. The limit has packet arrivals at rate α\alpha, mean count αbpkt/γ\alpha b_\mathrm{pkt}/\gamma and Fano factor 1+bpkt1+b_\mathrm{pkt}.

Runzi Yan moves the hidden clock from a promoter episode to an RNA lifetime. Translation at rate kpk_p competes with RNA removal at rate γm\gamma_m. Counting translation events before removal gives a geometric packet with mean Bˉ=kp/γm\bar B=k_p/\gamma_m and variance Bˉ(1+Bˉ)\bar B(1+\bar B). Speeding both clocks at fixed ratio shortens the episode without shrinking the packet.

Packet size and packet arrival rate are separate quantities. With independent RNA arrivals at rate rmr_m, linear protein removal at rate γp\gamma_p, and a short-RNA limit at fixed Bˉ\bar B, proteins receive instantaneous geometric packets at rate rmr_m. Shorter RNA lifetime does not itself accelerate those arrivals. Shahrezaei and Swain's fast-RNA analysis retains the finite packet scale and excludes the unresolved early RNA transient.3

The count observed at one time is not the cumulative output of one RNA. In the full unregulated two-stage model, stationary protein moments give

E[P]=rmkpγmγp,FP=1+kpγm+γp.\mathrm E[P]=\frac{r_m k_p}{\gamma_m\gamma_p},\qquad F_P=1+\frac{k_p}{\gamma_m+\gamma_p}.

Only when γm≫γp\gamma_m\gg\gamma_p at fixed packet size does the count Fano approach 1+Bˉ1+\bar B. For Yan's illustrative kp=2 min−1k_p=2\,\mathrm{min}^{-1} and γm=0.2 min−1\gamma_m=0.2\,\mathrm{min}^{-1}, the packet mean is 10 and packet variance is 110. The stationary protein Fano also needs γp\gamma_p. For example, γp=0.02 min−1\gamma_p=0.02\,\mathrm{min}^{-1} gives 10.09, approaching 11 only in the stronger separation limit.

A different scaling erases the packets. Hold translation fixed, increase RNA removal, and increase the RNA source to preserve mean protein production. Individual packet sizes then collapse toward zero, with rare single-protein events. The resulting protein arrivals approach a Poisson process. This is not a geometric packet becoming a Poisson-distributed packet. It is a limiting arrival process assembled from many increasingly unproductive RNA episodes.

These alternatives show what a noise measurement can reject without uniquely identifying a cause. A stationary Fano incompatible with the specified two-stage model could reflect promoter switching, shared environmental variation, feedback or measurement effects. Matching the geometric packet law likewise cannot identify whether a promoter episode or RNA lifetime produced it.

State what is held fixed in a fast limit, and retain the random output of a short episode when that output remains finite.

10A downstream consumer can notice the packets

Preserving mean supply need not preserve mean function. Shunkang Xue tests this consequence with a noisy carrier pool feeding a nonlinear consumer. The question follows directly from the packet limit: if the reduced source retains only average input, what does the next process lose?

Let EE count available carrier molecules and YY cumulative useful product. Unit additions arrive at rate Jˉ\bar J, or fixed packets of BB carriers arrive at rate Jˉ/B\bar J/B. Both have the same expected input. A work event consumes one carrier and adds one product at propensity v(E)=VmaxE/(KE+E)v(E)=V_\mathrm{max}E/(K_E+E). Leakage removes a carrier at propensity ℓE\ell E.

The mean output depends on the distribution of the carrier pool. The exact expectation equations are

dE[E]dt=Jˉ−E[v(E)]−ℓE[E],dE[Y]dt=E[v(E)].\frac{d\mathrm E[E]}{dt}=\bar J-\mathrm E[v(E)]-\ell\mathrm E[E],\qquad \frac{d\mathrm E[Y]}{dt}=\mathrm E[v(E)].

The deterministic approximation replaces E[v(E)]\mathrm E[v(E)] by v(E[E])v(\mathrm E[E]). The saturating law is concave, so fluctuations lower average consumption relative to evaluating the same law at the same pool mean. Comparing two dynamical systems still requires solving their distributions: their pool means can change too. Concavity alone does not determine the difference between every pair of burst sources.

Shunkang includes the necessary unit-event control. It separates a burst-size effect from the difference between any discrete event source and a noiseless ODE. For Jˉ=4 min−1\bar J=4\,\mathrm{min}^{-1}, Vmax=6 min−1V_\mathrm{max}=6\,\mathrm{min}^{-1}, KE=10K_E=10 carriers and ℓ=0.08 min−1\ell=0.08\,\mathrm{min}^{-1}, start every system at zero and observe for 60 minutes.

SourceExpected product per minuteExpected fraction of time below 3 carriers
Deterministic ODE3.00100.0164
Poisson unit additions2.95340.0250
Poisson packets of 52.86290.0957

These values are independent editorial calculations from forward probability equations and an ODE, not reruns of the submitted simulation. The packet source spends more time near depletion and makes less useful product in this example. No cellular measurements enter the comparison, and a different consumer law could change the direction of the effect.

A linear consumer provides a sharper control. If v(E)=kEv(E)=kE, matched mean input and initial mean give identical expected carrier and product trajectories for all packet sizes. This equality is exact because the mean equations close. No additional fast-clock or small-variance assumption is needed for that mean-output statement. Threshold risk and variance can still differ.

Test a reduced source through the downstream observable that matters, and retain packet statistics when a nonlinear or thresholded consumer is sensitive to them.

11Validate the prediction you need

A useful reduction test reaches beyond the summary used to fit the model. The clock comparisons hold steady levels or affinities fixed. The forcing comparison exposes phase error. The dimer example checks the measured coordinate. The packet and consumer examples test whether discarded fluctuations change an output. Together they specify what “accurate” must mean before a reduced model can earn that description.

The capture experiment requires controlled preparation and a clock. Start the two equal-affinity systems unbound and compare their capture fractions over time. A pre-equilibrated preparation tests a different prediction. Eventual complete capture cannot distinguish the clocks in the three-state model, so it is not a substitute for the time course.

The promoter experiment requires matched means and measured switching. Hold ON fraction, production and removal fixed while changing both switching rates together. The model predicts an unchanged mean but a declining Fano factor. Fit those rates independently if the purpose is to test the prediction rather than merely fit the noise curve.

A next experiment can then separate amplitude from time. Repeat the switching scan at a second production rate. The Fano excess should scale with production, while the excess squared coefficient of variation should not. Apply the detector's integration window before comparing either prediction with a recorded signal, as the Lecture 5 audience chapter shows. Failure of those paired predictions after observation and shared-variation controls would reject this independent binary-promoter description even if every mean still agreed.

Validate a reduction with a specified preparation, observation window and error metric, then choose a second observable that could falsify the retained mechanism.

Models and provenance

This chapter develops eight contributions from the accepted Week 3 snapshot checked on 22 September. The Lecture 5 audience chapter develops the other seven. Together they cover all 15 accepted essays at this cutoff. Attribution identifies intellectual inputs, not student coauthorship or approval of the editorial additions.

Independent calculations, source checksums, full-text passage records and the contribution ledger remain in the instructor's project under lectures/research/week03-extension-synthesis/. Matrix exponentials check capture curves. Backward equations and survival integration check capture means. Stationary generator equations check promoter moments. No student code was executed.

References

  1. K.-M. Kammer, T. Eisgruber, P. Heid, R. Pellarin and F. Stengel, “Kinetic principles of chemical cross-link formation for protein–protein interactions,” PNAS 121, e2402040121 (2024). DOI. Pages 2–3 and Figure 1 specify hydrolysis, mono-links and competing crosslink pathways omitted from the three-state teaching model.
  2. J. Peccoud and B. Ycart, “Markovian modelling of gene product synthesis,” Theoretical Population Biology 48, 222–234 (1995). DOI. Pages 223–224 define the binary gene state, protein transitions and master equations.
  3. V. Shahrezaei and P. S. Swain, “Analytical distributions for stochastic gene expression,” PNAS 105, 17256–17261 (2008). DOI. The two-stage analysis on pp. 17256–17257 specifies the lifetime separation, finite burst parameter and transient-time qualification.
  4. J. Ba, G. Hinton, V. Mnih, J. Z. Leibo and C. Ionescu, “Using fast weights to attend to the recent past,” Advances in Neural Information Processing Systems 29 (2016). Proceedings full text. Sections 1 and 3, especially equations 1–4: temporary associative history and its distinct role from slow learned weights.