The regulator theorem states that, under certain conditions, any optimal controller must embody a model of the system it regulates, grounding the idea that controllers embed, explicitly or implicitly, internal models of the controlled. This principle underpins neuroscience and predictive brain theories like the Free-Energy Principle or Kolmogorov/Algorithmic Agent theory. However, the theorem is only proven in limited settings. Here, we treat the deterministic, closed, coupled world-regulator system $(W,R)$ as a single self-delimiting program $p$ via a constant-size wrapper that produces the world output string~$x$ fed to the regulator. We analyze regulation from the viewpoint of the algorithmic complexity of the output, $K(x)$. We define $R$ to be a \emph{good algorithmic regulator} if it \emph{reduces} the algorithmic complexity of the readout relative to a null (unregulated) baseline $\varnothing$, i.e., \[ Î= K\big(O_{W,\varnothing}\big) - K\big(O_{W,R}\big) > 0. \] We then prove that the larger $Î$ is, the more world-regulator pairs with high mutual algorithmic information are favored. More precisely, a complexity gap $Î> 0$ yields \[ \Pr\big((W,R)\mid x\big) \le C\,2^{\,M(W{:}R)}\,2^{-Î}, \] making low $M(W{:}R)$ exponentially unlikely as $Î$ grows. This is an AIT version of the idea that ``the regulator contains a model of the world.'' The framework is distribution-free, applies to individual sequences, and complements the Internal Model Principle. Beyond this necessity claim, the same coding-theorem calculus singles out a \emph{canonical scalar objective} and implicates a \emph{planner}. On the realized episode, a regulator behaves \emph{as if} it minimized the conditional description length of the readout.
- Papier-ID: 2510.10300
- Titel: Der algorithmische Regulator
- Autor: Giulio Ruffini
- Klassifizierung: cs.CC cs.AI cs.IT cs.SY eess.SY math.IT q-bio.NC
- Veröffentlichungsdatum: 14. Oktober 2025 (arXiv-Preprint)
- Papierlink: https://arxiv.org/abs/2510.10300
Dieses Papier überprüft das klassische Regulatortheorem auf Grundlage der algorithmischen Informationstheorie (AIT) neu. Das Theorem besagt, dass unter bestimmten Bedingungen jeder optimale Regler ein Modell des von ihm geregelten Systems enthalten muss. Der Autor betrachtet das deterministische Welt-Regulator-Kopplungssystem (W,R) als ein einzelnes selbstbegrenztes Programm und analysiert die Regelung aus der Perspektive der algorithmischen Komplexität K(x) der Ausgabe. Ein "guter algorithmischer Regulator" wird definiert als ein Regulator, der die algorithmische Komplexität der Ausgabe im Vergleich zur ungeregelten Baseline reduziert, d.h. Δ=K(OW,∅)−K(OW,R)>0. Das Papier beweist, dass je größer die Komplexitätsdifferenz Δ ist, desto mehr werden Welt-Regulator-Paare mit hoher gegenseitiger algorithmischer Information bevorzugt, wodurch niedriges M(W:R) mit wachsendem Δ exponentiell unmöglich wird.
- Einschränkungen des klassischen Regulatortheorems: Das von Conant und Ashby (1970) vorgeschlagene Theorem des guten Reglers (GRT) behauptet, dass "jeder gute Regulator ein Modell des Systems sein muss", aber die Definitionen von "Modell" und "gut" sind zu weit gefasst und der Beweis nicht ausreichend streng.
- Beschränkungen des Inneren-Modell-Prinzips: Das Innere-Modell-Prinzip (IMP) in der modernen Regelungstheorie ist zwar streng, gilt aber hauptsächlich für linear zeitinvariante (LTI) Systeme. Die Verallgemeinerung auf nichtlineare Systeme erfordert zusätzliche strukturelle Annahmen.
- Anforderungen der Neurowissenschaft: Theorien des vorhersagenden Gehirns wie das Prinzip der freien Energie und die Kolmogorov/algorithmische Agententheorie benötigen eine allgemeinere theoretische Grundlage, um die Ansicht zu unterstützen, dass "Agenten ein Weltmodell enthalten müssen".
Der Autor zielt darauf ab:
- Eine verteilungsunabhängige Regelungstheorie bereitzustellen, die auf einzelne Sequenzen anwendbar ist
- Lineare Annahmen und probabilistische Modelle zu überwinden
- Ein Regulatortheorem im Rahmen der algorithmischen Informationstheorie zu etablieren
- Eine strengere theoretische Grundlage für Neurowissenschaften und Kognitionswissenschaften zu schaffen
- Vorschlag eines algorithmischen Regulator-Rahmens: Neudefinition der Standards für "Güte" von Reglern auf Grundlage der algorithmischen Informationstheorie, wobei die Komprimierbarkeit der Ausgabe als Bewertungskriterium verwendet wird
- Etablierung von drei Haupttheoremen:
- Posteriori-Form-Theorem: Posteriori-Verteilung von Programmen bei gegebener Ausgabebeobachtung x
- Kontrastierendes Regulator-Theorem: Beweis der exponentiellen Beziehung zwischen Komplexitätsdifferenz und gegenseitiger algorithmischer Information
- Zielfunction-Inferenz-Theorem: Identifikation der normativen skalaren Zielfunktion
- Bereitstellung einer verteilungsunabhängigen Theorie: Unabhängig von Wahrscheinlichkeitsverteilungsannahmen, anwendbar auf einzelne Realisierungssequenzen
- Ergänzung des Inneren-Modell-Prinzips: Ergänzung der strukturellen Notwendigkeitsbedingungen des IMP auf informationstheoretischer Ebene
Untersuchung des deterministisch gekoppelten Welt-Regulator-Systems (W,R), wobei:
- W: Weltprogramm (3-Band-Turingmaschine)
- R: Regulatorprogramm (3-Band-Turingmaschine)
- N: Fester Zeithorizont
- x=OW,R(N): Weltausgabe mit aktiviertem Regulator
- y=OW,∅(N): Weltausgabe mit deaktiviertem Regulator
Für einen festen Horizont N wird gesagt, dass R ein inneres Modell von W im algorithmischen Sinne enthält, wenn M(W:R)>0 (äquivalent zu K(W∣R)<K(W)).
Definition der Komplexitätsdifferenz:
Δ:=K(OW,∅(N))−K(OW,R(N))
Wenn Δ>0, wird R als guter algorithmischer Regulator von W im Horizont N bezeichnet.
P((W,R)∣x)∈[c~21,c~11]⋅2K(x)−K(W,R)<c~12M(W:R)
Sei Δ:=K(OW,∅(N))−K(OW,R(N)), dann existiert eine Konstante C>0 derart, dass:
P((W,R)∣OW,R(N),EbR)≤C⋅2M(W:R)2−Δ
Dies bedeutet, dass die posteriori Unterstützung etwa um einen Faktor von 2−1 abnimmt, wenn M(W:R) um ein Bit von Δ reduziert wird.
Unter dem universellen Prior-Maß:
log2m(OW,∅(N))m(OW,R(N))=K(OW,∅(N))−K(OW,R(N))±O(1)
Das heißt, auf der realisierten Episode verhält sich der Regulator so, als würde er K(OW,R(N)) minimieren.
- Kompressionsperspektive der Regelung: Definition der Regelung als Prozess, der die Ausgabe komprimierbarer macht, verbindet Regelungstheorie und Informationstheorie
- Kontrastive Analyse: Bewertung der Regelungseffektivität durch Vergleich der Komplexitätsdifferenzen mit aktiviertem/deaktiviertem Regulator
- Universeller Prior: Verwendung der Solomonoff-Levin-Universalverteilung für eine verteilungsunabhängige Analysemethodik
- 3-Band-Turingmaschinen-Modell: Verwendung des Standardrechenmodells zur Gewährleistung der Universalität der Ergebnisse
Das Papier vergleicht die Unterschiede zwischen dem AIT-Rahmen und dem IMP im Detail:
| Aspekt | IMP | AIT-Rahmen |
|---|
| Annahmen | LTI-Systeme, strukturelle Annahmen | Architekturunabhängig, deterministische Kopplung |
| "Modell"-Definition | Dynamische Kopie | Algorithmische Abhängigkeit M(W:R)>0 |
| Notwendigkeit | Strukturell | Informationstheoretisch |
| Anwendungsbereich | Klassische Regelung | Einzelne Episode, verteilungsunabhängig |
Da die Kolmogorov-Komplexität nicht berechenbar ist, werden in der Praxis verwendet:
- Lempel-Ziv-Kompressor: Als obere Schranke für die Schätzung von K(⋅)
- Block-Zerlegungsmethode (BDM): Durch Nachschlag in Komplexitätstabellen kleiner Blöcke
- Neuronale Netzwerk-Kompressoren: Basierend auf variationalen Autoencodern usw.
Das Papier illustriert die Anwendung des Rahmens anhand eines Thermostats:
- Welt W: Raumthermodynamik + externe Störungen
- Regulator R: Thermostat-Logik
- Ausgabe x: Raumtemperatur oder Fehlersignal
- Guter Regulator: Hält die Temperatur in einem regelmäßigen Totband-Muster, was komprimierbarer ist als ohne Regelung
- Conant-Ashby GRT (1970): Bahnbrechendes Werk, aber vage Definitionen
- Francis-Wonham IMP (1975-76): Strenge Ergebnisse für lineare Systeme
- Nichtlineare Ausgaberegelung: Erfordert zusätzliche Lösbarkeits- und Stabilitätsbedingungen
- Solomonoff-Induktion: Universeller Prior und Kodierungstheorem
- Kolmogorov-Komplexität: Komplexitätsmessung für einzelne Sequenzen
- Minimale Beschreibungslänge: Verbindung zwischen Modellauswahl und Kompression
- Prinzip der freien Energie: Biologische Agenten minimieren die variationelle freie Energie
- Vorhersagekodierung: Das Gehirn als Vorhersagemaschine
- Algorithmische Agententheorie: Bewusstseinstheorie basierend auf Kompressionsmodellen
- Algorithmische Notwendigkeit: Ein anhaltender Komplexitätsvorteil Δ>0 macht niedriges M(W:R) exponentiell unmöglich
- Normative Zielfunktion: Das Kodierungstheorem identifiziert rechnerisch die normative skalare Zielfunktion
- Agenten-Interpretation: Der Regulator verhält sich so, als würde er die Beschreibungslänge minimieren
- Rechnerische Unzulänglichkeit: Die Kolmogorov-Komplexität ist nicht berechenbar und erfordert Approximationen
- Beschränkung auf einzelne Episode: Ergebnisse basieren auf einzelnen Realisierungen und könnten durch mehrfache Beobachtungen gestärkt werden
- Anforderungen an die Diagnose: Erfordert die Auswahl eines geeigneten Ausgabesignals, um die Kontrastivität zu gewährleisten
- Konstante Faktoren: Maschinenabhängige Konstanten können in der Praxis erheblich sein
- Erweiterung auf mehrere Episoden: Untersuchung kumulativer Evidenz über mehrere Episoden
- Approximative Algorithmen: Entwicklung besserer Schätzmethoden für die Kolmogorov-Komplexität
- Experimentelle Validierung: Testen des Rahmens in praktischen Regelungssystemen
- Neurowissenschaftliche Anwendungen: Anwendung der Theorie auf die Gehirnforschung
- Theoretische Strenge: Bietet eine strenge algorithmische informationstheoretische Version des klassischen Regulatortheorems
- Universelle Anwendbarkeit: Unabhängig von linearen oder probabilistischen Annahmen, breitere Anwendbarkeit
- Tiefe Einsichten: Verbindet Regelung mit Kompression und bietet neue theoretische Perspektiven
- Interdisziplinärer Wert: Bietet theoretische Grundlagen für Neurowissenschaften und Kognitionswissenschaften
- Praktische Herausforderungen: Die Nicht-Berechenbarkeit der Kolmogorov-Komplexität begrenzt die direkte Anwendung
- Unzureichende empirische Validierung: Mangel an Validierung in großen praktischen Systemen
- Abhängigkeit von Konstanten: Konstante Faktoren in den Ergebnissen können die praktische Anwendung beeinflussen
- Einzelne Perspektive: Konzentriert sich hauptsächlich auf die informationstheoretische Perspektive und könnte andere wichtige Faktoren übersehen
- Theoretischer Beitrag: Bietet eine neue informationstheoretische Grundlage für die Regelungstheorie
- Interdisziplinäre Brücke: Verbindet Regelungstheorie, Informationstheorie und Neurowissenschaften
- Methodologische Innovation: Demonstriert das Anwendungspotenzial der AIT in der Systemtheorie
- Zukünftige Forschung: Legt den Grundstein für nachfolgende Forschung in verwandten Bereichen
- Theoretische Analyse: Geeignet für theoretische Analyse und Verständnis von Regelungssystemen
- Systemdiagnose: Kann zur Bewertung verwendet werden, ob Regelungssysteme angemessene Weltmodelle enthalten
- Neurowissenschaftliche Forschung: Bietet einen quantitativen Rahmen für die Untersuchung der Vorhersagefunktionen des Gehirns
- Künstliche Intelligenz: Bietet Orientierung für die Gestaltung intelligenter Systeme mit Weltmodellen
Das Papier zitiert 65 wichtige Werke, hauptsächlich:
- Conant & Ashby (1970): "Every good regulator of a system must be a model of that system"
- Francis & Wonham (1975, 1976): Originalarbeiten zum Inneren-Modell-Prinzip
- Li & Vitányi (2019): Lehrbuch zur Kolmogorov-Komplexität
- Solomonoff (1964): Grundlagenwerk der algorithmischen Wahrscheinlichkeitstheorie
- Grünwald (2007): Prinzip der minimalen Beschreibungslänge
- Friston: Arbeiten zum Prinzip der freien Energie
- Ruffini: Frühere Arbeiten des Autors zur algorithmischen Agententheorie
Gesamtbewertung: Dies ist ein theoretisch sehr streng und tiefgreifend geschriebenes Papier, das erfolgreich die algorithmische Informationstheorie in die Regelungstheorie einführt und eine neue Perspektive auf das klassische Regulatortheorem bietet. Obwohl es praktische Herausforderungen gibt, machen sein theoretischer Beitrag und sein interdisziplinärer Wert es zu einer wichtigen Arbeit in verwandten Bereichen.