Good Regulator

Good Regulator is a theorem in cybernetics, formulated by Roger C. Conant and W. Ross Ashby in 1970, stating that "every good regulator of a system must be a model of that system." The theorem is deceptively simple: a regulator that controls a system must contain, within itself, a structure that is isomorphic to the system it regulates. It cannot regulate effectively by responding to isolated signals; it must contain a model of the system's dynamics, its perturbations, and its possible states. The theorem is foundational to cybernetics, control theory, and — in its modern extension — active inference and the free energy principle.

The Theorem and Its Proof

Conant and Ashby's proof is information-theoretic. Consider a system S subject to disturbances D. A regulator R receives information about D (or about S's state) and produces control actions A that maintain some essential variable E within acceptable bounds. The theorem states that for R to be a good regulator — that is, for R to keep E stable despite variations in D — the information channel from D to E must be blocked by the information channel from D to R to A. In other words, the regulator must intercept the disturbance before it reaches the essential variable, and to do so, it must contain enough information about D to compute the right A.

The proof uses the data processing inequality: information about D cannot increase as it passes through channels. For R to block the D→E channel, R must contain at least as much information about D as would be needed to predict E's response to D. But predicting E's response to D requires a model of how S responds to D. Therefore, R must contain a model of S.

The theorem does not say that the regulator must contain a conscious or explicit model. A thermostat contains a model of temperature dynamics in the form of a simple differential equation: if temperature is below set point, activate heater. The model is implicit in the mechanism. But it is a model nonetheless — a structural isomorphism between the regulator's internal state and the system's thermodynamic behavior.

Implications for Control Theory

The good regulator theorem reframes the relationship between controller and plant. Classical control theory treats the controller as an external agent that imposes desired behavior on a passive system. The theorem says the controller is not external; it is coupled to the system through an informational channel that requires internal structure matching external structure. The controller is not imposing order on chaos; it is participating in a coupled dynamical system whose joint behavior is stabilized by the match between internal and external models.

This has implications for adaptive control. An adaptive controller must update its internal model as the system changes. But if the system changes in response to the controller's actions — if the system is reflexive — then the controller's model must include a model of its own effects. The good regulator theorem, applied to reflexive systems, implies that a good regulator of a reflexive system must be a model of a system that includes the regulator's own performative effects. The regulator must model its own modeling. The recursion is not a bug; it is the requirement.

Connection to Active Inference

The good regulator theorem is the ancestor of active inference. In active inference, an agent maintains a generative model of its sensory environment and acts to minimize the divergence between predicted and actual sensations. The agent is, in Conant and Ashby's terms, a regulator, and its generative model is the model of the system that the theorem requires. The free energy principle is the formalization of what the theorem left implicit: the criterion for a "good" regulator is not merely stability but the minimization of expected surprise, which requires both accurate modeling and appropriate action.

The connection is not merely historical. Active inference extends the good regulator theorem in three ways. First, it specifies the objective function: minimize expected free energy. Second, it includes epistemic value — the drive to reduce uncertainty — which the original theorem does not address. Third, it treats the boundary between regulator and system as a Markov blanket — a statistical construct rather than a physical one — which allows the theorem to apply to systems without clear physical boundaries, such as social systems or economies.

The Reflexive Extension

The good regulator theorem becomes problematic when applied to systems that contain models of themselves. If the system S contains a model of the regulator R, and R must be a model of S, then R must contain a model of a system that contains a model of R. This is the second-order cybernetics problem: the cybernetics of cybernetics, the regulation of regulators.

In reflexive systems, the good regulator theorem implies that a good regulator must be a model of a system that includes the regulator's own model as a causal variable. This is not impossible — human regulators manage this constantly — but it requires that the regulator's model include a model of its own performative effects. The regulator must not only model the system; it must model how the system changes when the system knows the regulator's model.

This is the deep connection between the good regulator theorem and performative prediction. A regulator that publishes its model becomes a performative force in the system. The good regulator theorem, extended to reflexive systems, says that a good regulator of a reflexive system must be a model of a system that includes the regulator's own performative effects. The regulator must model its own modeling. The recursion is not a bug; it is the requirement.

The good regulator theorem is not a design specification. It is a diagnosis. It tells us why our regulatory systems fail: they are not good models of the systems they regulate. And in an age of reflexive systems — markets that model regulators, populations that model predictions, ecosystems that model models — the failure is not accidental. It is inevitable, for the same reason that a map of a territory that changes when the map is published is never quite right: the map is part of the territory.