2025-11-16T23:37:13.075377

The Algorithmic Regulator

Ruffini
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.
academic

Der algorithmische Regulator

Grundinformationen

  • 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

Zusammenfassung

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)(W,R) als ein einzelnes selbstbegrenztes Programm und analysiert die Regelung aus der Perspektive der algorithmischen Komplexität K(x)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\Delta = K(O_{W,\varnothing}) - K(O_{W,R}) > 0. Das Papier beweist, dass je größer die Komplexitätsdifferenz Δ\Delta ist, desto mehr werden Welt-Regulator-Paare mit hoher gegenseitiger algorithmischer Information bevorzugt, wodurch niedriges M(W:R)M(W:R) mit wachsendem Δ\Delta exponentiell unmöglich wird.

Forschungshintergrund und Motivation

Problemhintergrund

  1. 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.
  2. 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.
  3. 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".

Forschungsmotivation

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

Kernbeiträge

  1. 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
  2. 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
  3. Bereitstellung einer verteilungsunabhängigen Theorie: Unabhängig von Wahrscheinlichkeitsverteilungsannahmen, anwendbar auf einzelne Realisierungssequenzen
  4. Ergänzung des Inneren-Modell-Prinzips: Ergänzung der strukturellen Notwendigkeitsbedingungen des IMP auf informationstheoretischer Ebene

Methodische Erklärung

Aufgabendefinition

Untersuchung des deterministisch gekoppelten Welt-Regulator-Systems (W,R)(W,R), wobei:

  • WW: Weltprogramm (3-Band-Turingmaschine)
  • RR: Regulatorprogramm (3-Band-Turingmaschine)
  • NN: Fester Zeithorizont
  • x=OW,R(N)x = O^{(N)}_{W,R}: Weltausgabe mit aktiviertem Regulator
  • y=OW,(N)y = O^{(N)}_{W,\varnothing}: Weltausgabe mit deaktiviertem Regulator

Kerndefinitionen

Definition des algorithmischen "Inneren Modells"

Für einen festen Horizont NN wird gesagt, dass RR ein inneres Modell von WW im algorithmischen Sinne enthält, wenn M(W:R)>0M(W:R) > 0 (äquivalent zu K(WR)<K(W)K(W|R) < K(W)).

Definition eines guten algorithmischen Reglers

Definition der Komplexitätsdifferenz: Δ:=K(OW,(N))K(OW,R(N))\Delta := K(O^{(N)}_{W,\varnothing}) - K(O^{(N)}_{W,R})

Wenn Δ>0\Delta > 0, wird RR als guter algorithmischer Regulator von WW im Horizont NN bezeichnet.

Haupttheoreme

Theorem 3.1: Posteriori-Form von Programmen

P((W,R)x)[1c~2,1c~1]2K(x)K(W,R)<1c~2M(W:R)P((W,R)|x) \in \left[\frac{1}{\tilde{c}_2}, \frac{1}{\tilde{c}_1}\right] \cdot 2^{K(x)-K(W,R)} < \frac{1}{\tilde{c}} 2^{M(W:R)}

Theorem 3.2: Probabilistisches Regulator-Theorem

Sei Δ:=K(OW,(N))K(OW,R(N))\Delta := K(O^{(N)}_{W,\varnothing}) - K(O^{(N)}_{W,R}), dann existiert eine Konstante C>0C > 0 derart, dass: P((W,R)OW,R(N),EbR)C2M(W:R)2ΔP((W,R)|O^{(N)}_{W,R}, E^R_b) \leq C \cdot 2^{M(W:R)} 2^{-\Delta}

Dies bedeutet, dass die posteriori Unterstützung etwa um einen Faktor von 212^{-1} abnimmt, wenn M(W:R)M(W:R) um ein Bit von Δ\Delta reduziert wird.

Theorem 3.3: Zielfunction-Inferenz

Unter dem universellen Prior-Maß: log2m(OW,R(N))m(OW,(N))=K(OW,(N))K(OW,R(N))±O(1)\log_2 \frac{m(O^{(N)}_{W,R})}{m(O^{(N)}_{W,\varnothing})} = K(O^{(N)}_{W,\varnothing}) - K(O^{(N)}_{W,R}) \pm O(1)

Das heißt, auf der realisierten Episode verhält sich der Regulator so, als würde er K(OW,R(N))K(O^{(N)}_{W,R}) minimieren.

Technische Innovationen

  1. Kompressionsperspektive der Regelung: Definition der Regelung als Prozess, der die Ausgabe komprimierbarer macht, verbindet Regelungstheorie und Informationstheorie
  2. Kontrastive Analyse: Bewertung der Regelungseffektivität durch Vergleich der Komplexitätsdifferenzen mit aktiviertem/deaktiviertem Regulator
  3. Universeller Prior: Verwendung der Solomonoff-Levin-Universalverteilung für eine verteilungsunabhängige Analysemethodik
  4. 3-Band-Turingmaschinen-Modell: Verwendung des Standardrechenmodells zur Gewährleistung der Universalität der Ergebnisse

Theoretische Analyse

Beziehung zum Inneren-Modell-Prinzip

Das Papier vergleicht die Unterschiede zwischen dem AIT-Rahmen und dem IMP im Detail:

AspektIMPAIT-Rahmen
AnnahmenLTI-Systeme, strukturelle AnnahmenArchitekturunabhängig, deterministische Kopplung
"Modell"-DefinitionDynamische KopieAlgorithmische Abhängigkeit M(W:R)>0M(W:R) > 0
NotwendigkeitStrukturellInformationstheoretisch
AnwendungsbereichKlassische RegelungEinzelne Episode, verteilungsunabhängig

Praktische Schätzungen

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()K(\cdot)
  • Block-Zerlegungsmethode (BDM): Durch Nachschlag in Komplexitätstabellen kleiner Blöcke
  • Neuronale Netzwerk-Kompressoren: Basierend auf variationalen Autoencodern usw.

Beispiel eines Haushalts-Thermostats

Das Papier illustriert die Anwendung des Rahmens anhand eines Thermostats:

  • Welt WW: Raumthermodynamik + externe Störungen
  • Regulator RR: Thermostat-Logik
  • Ausgabe xx: Raumtemperatur oder Fehlersignal
  • Guter Regulator: Hält die Temperatur in einem regelmäßigen Totband-Muster, was komprimierbarer ist als ohne Regelung

Verwandte Arbeiten

Klassische Regelungstheorie

  1. Conant-Ashby GRT (1970): Bahnbrechendes Werk, aber vage Definitionen
  2. Francis-Wonham IMP (1975-76): Strenge Ergebnisse für lineare Systeme
  3. Nichtlineare Ausgaberegelung: Erfordert zusätzliche Lösbarkeits- und Stabilitätsbedingungen

Algorithmische Informationstheorie

  1. Solomonoff-Induktion: Universeller Prior und Kodierungstheorem
  2. Kolmogorov-Komplexität: Komplexitätsmessung für einzelne Sequenzen
  3. Minimale Beschreibungslänge: Verbindung zwischen Modellauswahl und Kompression

Neurowissenschaftliche Theorien

  1. Prinzip der freien Energie: Biologische Agenten minimieren die variationelle freie Energie
  2. Vorhersagekodierung: Das Gehirn als Vorhersagemaschine
  3. Algorithmische Agententheorie: Bewusstseinstheorie basierend auf Kompressionsmodellen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Algorithmische Notwendigkeit: Ein anhaltender Komplexitätsvorteil Δ>0\Delta > 0 macht niedriges M(W:R)M(W:R) exponentiell unmöglich
  2. Normative Zielfunktion: Das Kodierungstheorem identifiziert rechnerisch die normative skalare Zielfunktion
  3. Agenten-Interpretation: Der Regulator verhält sich so, als würde er die Beschreibungslänge minimieren

Einschränkungen

  1. Rechnerische Unzulänglichkeit: Die Kolmogorov-Komplexität ist nicht berechenbar und erfordert Approximationen
  2. Beschränkung auf einzelne Episode: Ergebnisse basieren auf einzelnen Realisierungen und könnten durch mehrfache Beobachtungen gestärkt werden
  3. Anforderungen an die Diagnose: Erfordert die Auswahl eines geeigneten Ausgabesignals, um die Kontrastivität zu gewährleisten
  4. Konstante Faktoren: Maschinenabhängige Konstanten können in der Praxis erheblich sein

Zukünftige Richtungen

  1. Erweiterung auf mehrere Episoden: Untersuchung kumulativer Evidenz über mehrere Episoden
  2. Approximative Algorithmen: Entwicklung besserer Schätzmethoden für die Kolmogorov-Komplexität
  3. Experimentelle Validierung: Testen des Rahmens in praktischen Regelungssystemen
  4. Neurowissenschaftliche Anwendungen: Anwendung der Theorie auf die Gehirnforschung

Tiefgreifende Bewertung

Stärken

  1. Theoretische Strenge: Bietet eine strenge algorithmische informationstheoretische Version des klassischen Regulatortheorems
  2. Universelle Anwendbarkeit: Unabhängig von linearen oder probabilistischen Annahmen, breitere Anwendbarkeit
  3. Tiefe Einsichten: Verbindet Regelung mit Kompression und bietet neue theoretische Perspektiven
  4. Interdisziplinärer Wert: Bietet theoretische Grundlagen für Neurowissenschaften und Kognitionswissenschaften

Mängel

  1. Praktische Herausforderungen: Die Nicht-Berechenbarkeit der Kolmogorov-Komplexität begrenzt die direkte Anwendung
  2. Unzureichende empirische Validierung: Mangel an Validierung in großen praktischen Systemen
  3. Abhängigkeit von Konstanten: Konstante Faktoren in den Ergebnissen können die praktische Anwendung beeinflussen
  4. Einzelne Perspektive: Konzentriert sich hauptsächlich auf die informationstheoretische Perspektive und könnte andere wichtige Faktoren übersehen

Einflussfähigkeit

  1. Theoretischer Beitrag: Bietet eine neue informationstheoretische Grundlage für die Regelungstheorie
  2. Interdisziplinäre Brücke: Verbindet Regelungstheorie, Informationstheorie und Neurowissenschaften
  3. Methodologische Innovation: Demonstriert das Anwendungspotenzial der AIT in der Systemtheorie
  4. Zukünftige Forschung: Legt den Grundstein für nachfolgende Forschung in verwandten Bereichen

Anwendungsszenarien

  1. Theoretische Analyse: Geeignet für theoretische Analyse und Verständnis von Regelungssystemen
  2. Systemdiagnose: Kann zur Bewertung verwendet werden, ob Regelungssysteme angemessene Weltmodelle enthalten
  3. Neurowissenschaftliche Forschung: Bietet einen quantitativen Rahmen für die Untersuchung der Vorhersagefunktionen des Gehirns
  4. Künstliche Intelligenz: Bietet Orientierung für die Gestaltung intelligenter Systeme mit Weltmodellen

Literaturverzeichnis

Das Papier zitiert 65 wichtige Werke, hauptsächlich:

  1. Conant & Ashby (1970): "Every good regulator of a system must be a model of that system"
  2. Francis & Wonham (1975, 1976): Originalarbeiten zum Inneren-Modell-Prinzip
  3. Li & Vitányi (2019): Lehrbuch zur Kolmogorov-Komplexität
  4. Solomonoff (1964): Grundlagenwerk der algorithmischen Wahrscheinlichkeitstheorie
  5. Grünwald (2007): Prinzip der minimalen Beschreibungslänge
  6. Friston: Arbeiten zum Prinzip der freien Energie
  7. 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.