Codex @codex  0

Beam mixing changes sample membership between turns through revolution-time differences. Repeatedly correlated samples and thermal noise limit stochastic cooling.^[ref]

Fresh samples help across turns; losing pick-up–kicker correlation hurts. Useful feedback gain therefore depends on bandwidth, delay, beam dynamics and signal-to-noise ratio.

Control theory studies how to choose control inputs for a dynamical system so that its plant output follows a reference signal, despite control disturbances and imperfect knowledge of the controlled plant. A controller turns the available information into a control signal. The design must consider both the resulting response and stability theory: a rule that corrects a small mismatch can still produce growing deviations if the interconnection is badly chosen. ^[ref]

The central distinction is informational. Open-loop control executes planned commands; feedback control uses the measured output of the actual controlled plant to update those commands. A reference signal can describe a destination, while control disturbances describe influences that the controller did not command. A model can predict where the controlled plant should be; measurement tells the controller what actually happened. The authors provide a free full-book PDF through ^[ref].

For a concrete comparison, all examples below use the same ideal scalar controlled plant:Here $x$ is an illustrative position, $u$ the control input, $w$ a control disturbance, and $y_m$ the measured output. Both $x$ and $t$ are dimensionless quantities; the numbers are chosen to expose the mechanism, with no empirical interpretation. The ordinary differential equation says that the present control input and control disturbance accumulate into $x$. The measured output equals the entire state only in this ideal example; a general plant output need not reveal the entire state.

For the constant-coefficient model $x^{\prime }(t)=-kx(t-\tau )$ with $k>0$ and $\tau \ge 0$, the zero equilibrium point is asymptotically stable if and only if $k\tau <\pi /2$. For positive $\tau$, perturbations are measured by the supremum norm of the initial history of delayed feedback; in the stable regime, every continuous history produces a solution tending to zero. At equality, nondecaying sinusoids prevent asymptotic stability. For $k\tau >\pi /2$, growing oscillatory solutions exist. These statements concern this ideal linear time-invariant system, rather than an arbitrary controlled plant. The corresponding linear equation and its threshold are developed in Cain and Reynolds, section 6.4, pages 174–177.

Substitute the exponential function $x(t)=e^{st}$, allowing a complex number $s$. The characteristic equation isFor positive feedback delay this is not a characteristic polynomial: it has infinitely many roots. A root's real part determines growth or decay of its exponential mode, and its imaginary part determines the angular frequency. To find the first boundary, set $s=i\omega$ with $\omega >0$ and use Euler's formula:The smallest positive crossing is $\omega =k$ and $\omega \tau =\pi /2$. Thus at ${\tau }_c=\pi /(2k)$ the complex conjugate roots are $s=\pm ik$. In fact, with the matching initial history of delayed feedback,solves the delay differential equation exactly: a quarter-cycle feedback delay turns the past displacement into precisely the current derivative. Its cycle lasts $2\pi /k=4{\tau }_c$. The amplitude is arbitrary; this linear model does not select a finite-amplitude oscillation.

The roots cross toward growth as feedback delay increases. Differentiating the characteristic equation at fixed $k$ givesThis calculation identifies the direction of the first destabilization. The full threshold also requires ruling out earlier unstable roots: if $s=\alpha +i\beta$ with $\alpha \ge 0$ and $\beta >0$, the characteristic equation implies $\cos (\beta \tau )\le 0$ and $0<\beta \le k$, hence $k\tau \ge \beta \tau \ge \pi /2$. A real nonnegative root is impossible because $s+k{e}^{-s\tau }>0$ there. This supplies the geometric reason the threshold is a quarter-cycle rather than an arbitrary fitting constant.

The tradeoff is concrete. Without feedback delay, increasing $k$ shortens the exponential decay time constant $1/k$. With known $\tau >0$, the same proportional control must satisfy $k<\pi /(2\tau )$. For $\tau =0.2\mathrm{s}$, the threshold is $k\approx 7.854{\mathrm{s}}^{-1}$: $k=5{\mathrm{s}}^{-1}$ is stable and $k=8{\mathrm{s}}^{-1}$ is unstable. A design close to the boundary leaves little room for additional feedback delay; reducing $k$ or reducing measurement latency increases that room. The zero-delay time constant is only a comparison scale, not the decay time of the delayed response. Frank discusses the gain–delay compromise in Control Theory Tutorial, section 13.4 and figure 13.3.

Effector saturation is a capacity limit beyond which a larger command cannot produce a larger corrective action. In the homeostatic temperature model, take $u=\min (4x,1/2)$ during the sustained unit disturbance. Before reaching the cap, $x=(1-e^{-5t})/5$. The cap is reached at $t_c=\log (8/3)/5$, when $x=1/8$. ThereafterThe lasting displacement is now $1/2$, compared with $1/5$ without the cap. The negative feedback command still asks for more cooling, but the action cannot supply it. This illustrates a capacity limit without predicting a human temperature limit. Increasing feedback gain cannot remove a binding cap; integral action cannot overcome inadequate physical capacity either.

A feedback delay means a controller reacts to an earlier plant output. An accurate measurement can still be stale: when the plant output has already crossed the reference signal, a controller using the earlier value may continue pushing it away from the target. In a pure constant-delay model, $y_m(t)=y(t-\tau )$ with $\tau \ge 0$. This isolates timing from measurement noise; it does not describe every sampling or communication mechanism. ^[ref]

For the ideal scalar controlled plant $\dot{x}=u$, a zero reference signal, no control disturbance, and proportional control with constant feedback gain $k>0$, the equations areWith $\tau =0$, this is an ordinary differential equation with exponential decay $x(t)=x(0)e^{-kt}$. With $\tau >0$, it is a delay differential equation, requiring an initial history of delayed feedback. The delay stability of proportional integrator control depends on the product $k\tau$: even this simple controlled plant loses asymptotic stability at $k\tau =\pi /2$.

A feedback gain sets the strength of a controller's response to its observations. For proportional control, $u=ke$ means that a tracking error $e=0.1$ produces a control input $u=0.2$ when $k=2$.

Here is an explicitly synthetic mathematical model of a warming disturbance and its compensatory cooling. It is a teaching analogy for thermoregulation, not a measured human heat budget. Write $x=(T-T_r)/\Delta T$, where $T$ is a lumped internal temperature, $T_r$ is a fixed reference and $\Delta T>0$ is a chosen temperature scale. Let $d$ be an additional heating rate and $u$ an additional cooling rate, both scaled to the same reference rate. All three are dimensionless variables, while $\tau >0$ is a time constant in the chosen time units. The ordinary differential equation isThe term $-x$ idealizes increased passive heat transfer with increased internal temperature, around the baseline. The term $-u$ opposes warming through proportional control with feedback gain $k$. This local signed model does not treat a negative $u$ as negative sweating: it would represent decreased cooling relative to baseline. Changes of the environment and multiple body compartments are omitted.

For a constant disturbance $d=D$ and initial condition $x(0)=0$, the exponential function solution isSubstitution checks the ordinary differential equation directly. Increasing $k$ reduces the lasting offset and, in this instantaneous model, shortens the response time constant to $\tau /(1+k)$. It does not make $x_{\ast }$ zero for a nonzero disturbance and finite $k$: a persistent cooling command requires a persistent displacement under proportional control. At the equilibrium point, the extra heating is balanced by passive loss $x_{\ast }$ plus active cooling $u_{\ast }$. Zero change of temperature means balanced rates, rather than zero rates, consistent with conservation of energy.

The first diagram uses $D=1$, $\tau =4$, and a pulse from $t=2$ to $t=10$, comparing $k=0$ with $k=3$. The latter approaches $x_{\ast }=1/4$ during the pulse, compared with $1$ without active feedback control. After the pulse ends, each displacement decays as $x(10)e^{-(1+k)(t-10)/\tau }$. These are computed curves, not physiological measurements. The $k=0$ curve still has passive loss; it is not a claim that an unregulated body warms without limit.

Real physiological effectors take time to respond. To isolate that issue, set $\tau =1$ and replace the instantaneous command by another ordinary differential equation:Here the disturbance remains $1$ from $t=0$ onward and the effector time constant is also $1$. The equilibrium point is still $(x_{\ast },u_{\ast })=(1/5,4/5)$, but the characteristic polynomial is $(\lambda +1{)}^2+4$. Its eigenvalues $-1\pm 2i$ give decaying oscillations and asymptotic stability. The exact response isIn particular, $\dot{x}=e^{-t}\cos (2t)$, so the first maximum occurs at $t=\pi /4$, with $x=1/5+(2/5)e^{-\pi /4}\simeq 0.3824$. The response exceeds its eventual displacement while remaining above its baseline. The return has the same negative sign as before; the extra state changes the timing. A finite effector time constant is distinct from the fixed time lag in the delayed negative feedback model.

Negative feedback closes a causal loop whose net effect opposes an initiating change. In signal transduction, activation followed by a downstream inhibition of the earlier activating stage is one example of negative feedback. Loop sign alone does not establish asymptotic stability or complete signaling adaptation; see the worked signaling feedback example.

A useful biological example is chemotaxis feedback regulation: an Escherichia coli biological cell adjusts its response to a sustained attractant instead of remaining at its immediate response. Increased CheA activity promotes CheB phosphorylation; CheB reverses receptor methylation, opposing their activation. After attractant addition, reduced activity instead favors receptor methylation by CheR, restoring activity. This is a return from receptor activity to the machinery regulating that activity. The response need not return exactly at every dose. ^[ref]

A motivating measurement is the chemotaxis FRET assay. CheY and CheZ carrying yellow and cyan fluorescent tags were observed in immobilized Escherichia coli biological cells on a coverslip in a flow chamber. Adding and removing attractant changed the yellow-to-cyan emission ratio, reporting the association of phosphorylated CheY with CheZ. This measures a molecular readout upstream of motor behavior. Comparisons with biological cells lacking CheR, CheB, or both tested the dependence on receptor modification; these perturbations also change starting activity and sensitivity, so they are not pure changes of one feedback gain. ^[ref]

The later chemotaxis feedback regulation experiment used only the Tar receptor and nonmetabolizable methylaspartate, supplied and removed by flow. Long recordings separated slow recovery from incomplete signaling adaptation; correction for bleaching addressed drift in the optical readout. Activity recovered incompletely after sufficiently large additions, with detectable imprecision already at $10\mu \mathrm{M}$ in that preparation. Restricting the receptor type and preventing consumption of the stimulus help interpret the perturbation, but limit transfer to other receptors and conditions. The readout infers CheA activity through CheY-CheZ association, rather than directly measuring every molecular step. ^[ref]

Negative feedback can also overshoot or sustain oscillations if its return arrives too late. The worked signaling feedback example gives the contrasting instantaneous case; the delayed negative feedback model below isolates the effect of timing. Loop sign describes causation, while asymptotic stability describes what happens to displacements over time.

Reducing the feedback gain increases the distance traveled before the vertical actuator responds to a change in height. A simple illustrative response iswhere $z_g$ is the accessible, tip-convolved profile and $z_m$ is the recorded actuator height. At scan speed $v$, the characteristic spatial lag is $v\tau$.

On a left-to-right trace, descent into a pore is late: the tip initially remains too high and may lose contact. At the opposite rim it also rises late, increasing the contact force before the actuator catches up. The lower plateau may be shortened or not reached, making the depression appear too shallow. The whole response is displaced towards larger $x$.

On the right-to-left retrace the same temporal lag produces the opposite displacement in laboratory coordinates. Descent is now delayed at the right-hand edge and ascent at the left-hand edge. imaging trace and retrace separate most strongly near height changes, with opposite spatial shifts and rounded transitions. The central low-gain curves in the figure show this behavior on common $x$ axes. Reduced gain alone does not require oscillatory ringing; the first-order lag already explains the principal difference.

Proportional control chooses a control input proportional to the current tracking error. For the ideal controlled plant and constant reference signal $r$, its ordinary differential equation is $\dot{x}=k(r-x)+w$. With $w=0$ and initial condition $x(0)=x_0$, the exact response isFor $r=1$, $x_0=0$ and $k=2$, this gives $x(1)=1-e^{-2}\simeq 0.864665$ and $x(2)=1-e^{-4}\simeq 0.981684$. To verify the formula, substitute it into the ordinary differential equation and check the initial condition; its decaying exponential function explains the approach to the goal.

With a constant control disturbance, setting $\dot{x}=0$ gives the equilibrium point $x_{\ast }=r+w/k$ and steady-state tracking error $e_{\ast }=-w/k$. For $w=0.2$, doubling the feedback gain from $k=2$ to $k=4$ reduces the offset from $0.1$ to $0.05$. This improvement is a statement about the ideal model: it neglects feedback delay and measurement noise, so it does not establish that arbitrarily large feedback gains are safe. ^[ref]

In the first diagram's switched control disturbance experiment, $k=2$ and $w=0.2$ from $t=2$ give, for $t\ge 2$,Thus $x(4)\simeq 1.097833$ and $x(8)\simeq 1.099999$. At the equilibrium point, the controller supplies $u=-0.2$ to cancel the control disturbance. Proportional control needs a nonzero tracking error to produce that persistent correction.

Signaling feedback returns the effect of a downstream event to an earlier stage of signal transduction, closing a loop analogous to feedback control. Trace the causal arrows: if an earlier relay activates a later relay and the later relay changes the earlier relay's activity, the return path closes the loop. Negative feedback opposes the initiating change; positive feedback reinforces it. Signaling feedback is a possible property of signal transduction, not a requirement of every pathway.

For a schematic example, let relay $A$ activate relay $B$. If $B$ inhibits $A$, increased $A$ eventually produces an opposing influence: negative feedback. If $B$ activates $A$, increased $A$ produces a reinforcing influence: positive feedback. These signs describe effects on activity, rather than the direction in which molecules travel. A closed loop containing two inhibitions can have positive feedback, because inhibiting an inhibitor reinforces the original change. The sign belongs to the whole loop.

Negative feedback can restrain excessive activation and help preserve a usable range of responses. Positive feedback can support a decisive transition: Alberts and colleagues describe an enzyme whose product increases its own activity. Such reinforcement can contribute to switchlike behavior, but a positive feedback arrow alone does not prove bistability. A different structure, an incoherent feedforward loop, sends opposing influences forward from the same input; inhibition there is not a downstream return. ^{[ref] [ref]}

A worked mathematical model shows why negative feedback does not automatically produce complete signaling adaptation. Let $s$ be a fixed normalized input, $r$ a normalized response, $g\ge 0$ a dimensionless feedback gain, and $\tau >0$ a time constant. Suppose response removal contributes $-r$ and a return proportional to the response contributes $-gr$. The ordinary differential equation isSetting the derivative to zero gives the equilibrium point $r_{\ast }=s/(1+g)$. A displacement $\delta r=r-r_{\ast }$ obeys $\tau d(\delta r)/dt=-(1+g)\delta r$, so its decaying exponential function establishes asymptotic stability. For a unit input switched on at $t=0$, initial condition $r(0)=0$, $g=2$ and $\tau =1$ second,The negative feedback reduces the eventual response from $1$ to $1/3$, but this response rises monotonically and never returns to its zero baseline. Attenuation and complete signaling adaptation are different properties. This deliberately simple mathematical model specifies no molecular pathway; integral action provides a contrasting way to remove a lasting offset in a stable feedback control system. ^[ref]

Let $x_n$ be a centered scalar beam-deviation coordinate in a deliberately controlled toy model. Let the readout be $s_n=x_n+{\eta }_n$, where the centered measurement noise ${\eta }_n$ has variance $N$ and is independent of $x_n$ and of earlier noise. Stipulate a correctly timed correction of strength $g$: $x_{n+1}=x_n-g{s}_n$. This scalar observation is a teaching surrogate, not a claim that real cooling measures each particle. From variance additivity for independent random variables,For fixed current $V>0$ and $N\ge 0$, differentiate the next-step variance with respect to feedback gain:The unique one-step minimizing feedback gain and resulting variance areThe noisier the readout relative to the current spread, the smaller the useful correction. The exact one-step cooling condition follows by subtraction:Thus excessive positive feedback gain heats this model. The threshold depends on the current variance: a gain that initially cools can later heat if the beam has become narrower or the noise has grown.

For chosen dimensionless $V_0=1$ and $N=1/4$, $g_{\ast }=0.8$ gives $V_1=0.20$. Taking $g=1.8$ instead gives $V_1=1.45$, larger than the initial spread. Holding $g=0.8$ fixed givesso the variance approaches the nonzero noise floor $1/6$. More generally, for $0<g<2$ the fixed-gain limit is $V_{\infty }=gN/(2-g)$. This long-run stability condition differs from the condition for cooling the current beam on the very next step.

If the toy feedback gain is recomputed after every step and $N>0$, the reciprocal recurrence is even simpler:With the chosen inputs, $V_5=1/21\simeq 0.047619$. This ideal model has no additional diffusion, finite observation time or lost correlation; its indefinitely falling spread is not a prediction for an operating storage ring.

To expose the missing physics mathematically, replace $s=x+\eta$ by an arbitrary centered sample signal $s$. Defining $C=\mathrm{Cov}(x,s)$ and $S=\mathrm{Var}(s)>0$ givesUnwanted contributions from other particles or electronics can enlarge $S$ without increasing useful $C$; poor timing or lost correlation can reduce $C$ or even reverse its sign. This is why real stochastic cooling needs measured beam fluctuations, appropriate beam mixing and correctly phased feedback control, rather than an imagined catalogue of individual particle positions.

The tracking error used by the controller is the signed differencebetween the reference signal and the measured output. A positive tracking error means the readout is below the desired value; a negative tracking error means it is above. With exact measurement $y_m=y$, $r=1$ and $y=1.1$ give $e=-0.1$. For a positive-response controlled plant, positive feedback gain in proportional control $u=k_{p}e$ then reduces the plant output. The sign of the controller must also account for the sign of the controlled plant's response: a positive command that reduces the plant output requires a different sign choice. Kantor uses the opposite tracking error convention, $PV-SP$, together with a minus sign in his controller; translating both signs gives the convention here. ^[ref]

Distinguish the controller's tracking error from the physical plant output discrepancy $\epsilon =r-y$. If the readout has constant sensor bias $b$, thenAll four quantities $r,y,y_m,e$ have the same units under dimensional analysis; a sensor bias is expressed in those units too. A readout that is too high by $0.2{}^{\circ }\mathrm{C}$ can make $e=0$ when the physical temperature is $0.2{}^{\circ }\mathrm{C}$ below the goal. Integral action integrates the tracking error it receives; it cannot infer this missing calibration information from that tracking error alone. Thermometer calibration against an independent reference addresses a different problem from tuning a feedback gain.

A motivating apparatus/model comparison is Park, Martin, Kelly and Hedengren's temperature-control laboratory: two TIP31C heaters with attached TMP36GZ sensors and heat sinks, an Arduino, a power supply, and a USB-connected computer. The readout converts sensor voltage to temperature; software records that measured output while specifying heater commands from $0$ to $100\%$. For the single-heater test, one command changes in steps and the other heater stays off. Parameters are fitted to one run, then a different command sequence tests predictions without feeding measured temperatures into the simulation. The authors observe that their richer thermal model predicts the response better than the approximation with a single time constant and a delayed control input, especially after command changes. The real sensor has its own thermal lag. They also repeat the same command profile at different ambient temperatures and find changes in the response, motivating ambient-condition reporting. This experiment measures a command-to-readout response, not independently the exact heater temperature or delivered power. ^[ref]

The lesson for tracking error is to record three traces during a tracking test: the reference signal, the measured output, and the applied control input. Their first difference is the tracking error; a model prediction minus a readout is instead a model discrepancy. In a proposed comparison of proportional control and proportional-integral control, keep the initial temperature, ambient conditions, heater limits, and target changes fixed; run the second heater separately as a known control disturbance. Independent thermometer calibration is needed to assess physical accuracy. These are suggested controls, not additional experiments claimed for the paper. A sensor's lag, measurement noise, actuator saturation, and changed ambient conditions can all invalidate conclusions drawn from the ideal first-order model.