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

アルゴリズム的レギュレータ

基本情報

論文ID: 2510.10300
タイトル: The Algorithmic Regulator
著者: Giulio Ruffini
分類: cs.CC cs.AI cs.IT cs.SY eess.SY math.IT q-bio.NC
発表日: 2025年10月14日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.10300

要約

本論文は、アルゴリズム情報論（AIT）に基づいて古典的なレギュレータ定理を再検討している。この定理は、特定の条件下では、最適な制御器は調節対象システムのモデルを必ず含まなければならないと述べている。著者は、決定論的な世界-レギュレータ結合システム $(W,R)$ を単一の自己区切りプログラムとして捉え、出力のアルゴリズム複雑度 $K(x)$ の観点から調節を分析する。「良いアルゴリズム的レギュレータ」を、調節なしのベースラインと比較して出力のアルゴリズム複雑度を低減させるレギュレータと定義し、すなわち $\Delta = K(O_{W,\varnothing}) - K(O_{W,R}) > 0$ とする。論文は、複雑度ギャップ $\Delta$ が大きいほど、高い相互アルゴリズム情報を持つ世界-レギュレータペアが優先されることを証明し、低い $M(W:R)$ は $\Delta$ の増加に伴い指数関数的に不可能になることを示している。

研究背景と動機

問題背景

古典的レギュレータ定理の限界: Conantと Ashby（1970）が提唱した良いレギュレータ定理（GRT）は「すべての良いレギュレータはシステムのモデルでなければならない」と主張しているが、「モデル」と「良い」の定義が過度に広く、証明も十分に厳密ではない。
内部モデル原理の制限: 現代制御理論における内部モデル原理（IMP）は厳密であるが、主に線形時不変（LTI）システムに適用可能であり、非線形システムへの拡張には追加の構造的仮定が必要である。
神経科学理論の必要性: 自由エネルギー原理とKolmogorov/アルゴリズム的エージェント理論などの予測的脳理論は、「エージェントは世界モデルを含まなければならない」という観点を支持するより普遍的な理論的基礎を必要としている。

研究動機

著者の目的は以下の通りである：

分布に依存しない、個別シーケンスに適用可能な調節理論を提供する
線形性の仮定と確率モデルの制限を克服する
アルゴリズム情報論の枠組みの下でレギュレータ定理を確立する
神経科学と認知科学にさらに厳密な理論的基礎を提供する

核心的貢献

アルゴリズム的レギュレータフレームワークの提案: アルゴリズム情報論に基づいてレギュレータの「良い悪い」基準を再定義し、出力の圧縮可能性を評価基準とする
3つの主要定理の確立:
- 事後形式定理：観測出力xが与えられたプログラムの事後分布
- 対比的レギュレータ定理：複雑度ギャップと相互アルゴリズム情報の指数関係を証明
- 目的関数推論定理：規範的スカラー目的関数を識別
分布に依存しない理論の提供: 確率分布の仮定に依存せず、単一の実現シーケンスに適用可能
内部モデル原理の補完: 情報論的レベルでIMPの構造的必要条件を補完

方法の詳細

タスク定義

決定論的に結合された世界-レギュレータシステム $(W,R)$ を研究する。ここで：

$W$ ：世界プログラム（3テープチューリング機械）
$R$ ：レギュレータプログラム（3テープチューリング機械）
$N$ ：固定時間範囲
$x = O^{(N)}_{W,R}$ ：レギュレータが有効な場合の世界出力
$y = O^{(N)}_{W,\varnothing}$ ：レギュレータが無効な場合の世界出力

核心的定義

アルゴリズム的「内部モデル」の定義

固定範囲 $N$ が与えられたとき、 $M(W:R) > 0$ （ $K(W|R) < K(W)$ と同等）ならば、 $R$ はアルゴリズム的意味で $W$ の内部モデルを含むと言う。

良いアルゴリズム的レギュレータの定義

複雑度ギャップを定義する： $\Delta := K(O^{(N)}_{W,\varnothing}) - K(O^{(N)}_{W,R})$

$\Delta > 0$ ならば、 $R$ は範囲 $N$ の下で $W$ の良いアルゴリズム的レギュレータと言う。

主要定理

定理3.1：プログラム事後形式

$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)}$

定理3.2：確率的レギュレータ定理

$\Delta := K(O^{(N)}_{W,\varnothing}) - K(O^{(N)}_{W,R})$ とすると、定数 $C > 0$ が存在して： $P((W,R)|O^{(N)}_{W,R}, E^R_b) \leq C \cdot 2^{M(W:R)} 2^{-\Delta}$

これは、 $M(W:R)$ が $\Delta$ の1ビット減少するごとに、事後サポートが約 $2^{-1}$ の係数を失うことを意味する。

定理3.3：目的関数推論

普遍的先験測度の下で： $\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)$

すなわち、実現されたエピソード上で、レギュレータは $K(O^{(N)}_{W,R})$ を最小化しているかのように振る舞う。

技術的革新点

圧縮観点からの調節: 調節を出力をより圧縮可能にするプロセスとして定義し、制御理論と情報論を結びつける
対比分析: レギュレータの有効/無効時の複雑度差異を比較することで調節効果を評価
普遍的先験: Solomonoff-Levin普遍分布を利用して分布に依存しない分析フレームワークを提供
3テープチューリング機械モデル: 標準的な計算モデルを使用して結果の普遍性を確保

理論的分析

内部モデル原理との関係

論文はAITフレームワークとIMPの差異を詳細に比較している：

側面	IMP	AITフレームワーク
仮定	LTIシステム、構造的仮定	アーキテクチャ非依存、決定論的結合
「モデル」の定義	動的複製	アルゴリズム依存性 $M(W:R) > 0$
必要性	構造的	情報論的
適用範囲	古典的調節	単一エピソード、分布非依存