The universality of push-pull motifs in agents
★ Giulio Ruffini, Francesca Castaldo, ,
★ guarantor: Giulio Ruffini · vouches for the paper per WP0084 §6
Regulation appears, under many names, at every scale: heating against cooling, excitation against inhibition, kinase against phosphatase, demand against supply. We give this recurrence a precise cause. The push--pull motif --- a controlled variable driven up by one process and down by another --- is forced whenever two conditions hold: the disturbance is two-sided, and the available flows are sign-constrained (each acts in one direction only). For a scalar variable (or order parameter) we prove that a single flow then cannot hold the variable in a band (Theorem~1), while one push and one pull flow suffice (Theorem~2): the minimal sign-diverse set has cardinality two (Corollary~1). The necessary condition is tight and non-strict; attraction to the band, we show, additionally requires a strict authority margin. The point is conceptual --- a push and a pull are not two regulators but two one-signed flows, and the regulator is the coupled architecture that senses the variable and engages the two arms to keep it banded. The one-term ``restoring force'' objection is answered only halfway by mathematics: a restoring term is indeed a two-signed flow, but that decomposition is a triviality, and whether its two arms must be separately driven is a thermodynamic thesis, not a theorem (Remark~4). Against a structured disturbance the motif is a Good Algorithmic Regulator: cancelling the disturbance's compressible part opens an algorithmic complexity gap equal to the description length of that part (Lemma~1), and among regulators achieving the gap the universal prior selects the best world-match per bit of regulator (Proposition~1). We are careful about what this licenses: the Algorithmic Regulator Theorem bounds per-pair explanatory support and does not certify model content in a given regulator, and a gap can also be bought by attenuation rather than cancellation --- so the identity holds only under assumptions that exclude every non-model route to a gap, which we state rather than assume silently. We do not claim universality --- the pair is forced exactly when a two-sided disturbance meets one-signed flows --- but argue, as a thesis rather than a theorem, that this condition is common because elementary flows are powered by irreversible free-energy gradients that run one way. The same axis has a reversible end: in a hydrogen atom, a nucleus, or a diamond the opposition is a single conservative potential restored by unitary export, Landauer-free. We propose push--pull motif as a KT-ontology concept: the minimal realization of a Good Algorithmic Regulator.
Regulation is forced to use two opposing flows — not one — whenever disturbances push both ways and each available flow can only act in one direction.
The core insight is almost embarrassingly simple once stated clearly. If the environment can shove a variable up or down, and every physical mechanism you have available only shoves in one direction, then you mathematically cannot hold that variable in a range with a single mechanism. You need at least one that pushes up and one that pulls down. This is not a design choice or an evolved preference — it is a theorem. The paper proves it (Theorem 1), proves the converse that one of each suffices (Theorem 2), and establishes that two is the minimum (Corollary 1). The proof is remarkably lean: it only needs to evaluate the system at the two boundary edges, not anywhere in between. No fancy dynamics required.
The "restoring force" objection — can't a single spring-like term do the job? — gets a careful two-part answer. Mathematically, yes, that term is a two-signed flow in disguise: it pushes up below the set-point and pulls down above it. So it already contains both arms. But whether those two arms must be separately driven by distinct physical processes is not a theorem — it is a thermodynamic thesis. The paper argues (but does not prove) that in most real systems, elementary flows are powered by irreversible free-energy gradients that run one way: a kinase adds phosphate but cannot remove it, a heater warms but cannot cool. This one-directionality is the physical signature of dissipation, and it is what makes the theorem bite in practice. The reversible extreme — a hydrogen atom, a diamond lattice — genuinely has a single conservative potential doing both jobs, and the paper acknowledges this cleanly rather than papering over it.
The information-theoretic layer connects this to BCOM's Kolmogorov Theory framework. A regulator that cancels the predictable part of a structured disturbance opens a compression gap exactly equal to that disturbance's description length (Lemma 1). Among all regulators that achieve this gap, the universal prior — Occam's razor made precise — selects the one with the best world-model per bit of regulator complexity (Proposition 1). The push-pull pair is the minimal architecture that can cancel a two-sided disturbance, so it is the minimal entry in that preferred set. The paper is careful here: this is a selection statement, not a certificate that any given regulator contains a rich world-model. A clamp or attenuator can also open a gap cheaply, and the assumptions (A1–A5) that make the gap equal the description length explicitly exclude those routes.
What the paper ultimately proposes is a new ontological primitive for the KT framework: the push-pull motif as the minimal realization of a Good Algorithmic Regulator. It is the smallest thing that can hold a variable in a band against a two-sided world, it is the same architecture whether it is stabilizing (homeostasis) or oscillating (rhythm generation — same flows, different timing), and it sits at the root of what the framework means by persistence and agency. The cross-disciplinary survey spanning thermostats, kinase-phosphatase pairs, excitation-inhibition circuits, and predator-prey dynamics is illustrative rather than probative, and the paper says so explicitly — flagging economics and politics as loose analogies where the controlled variable is often ill-defined. The neural case study is the tightest: the paper cites companion work showing that essentially all neural mass models are the same push-pull loop with progressively more biological detail added, which is the motif's cross-substrate invariance demonstrated rigorously within one field.
- Zenodo
- 10.5281/zenodo.21008836
- WP ID
- WP0186
- Lifecycle
- ongoing
- Visibility
- internal
- Access level
- open
- Embargo until
- —
- Priority
- —
- Collab
- closed
- Venue
- —
- DOI
- —
- Deadline
- —
- Owner
- —
- Source
- drive_legacy
- Repo path
- WP0186
- v0.2.0 (revision) · cut-version
- 0.1.0 (draft) · auto-run-placeholder · zenodo:21008837
