秩序パッチ理論 (OPT)

付録 T-4: MDL／簡潔性比較

Anders Jarevåg

v2.0.0 — 2026年4月2日 | DOI: 10.5281/zenodo.19300777

原課題 T-4: MDL / 簡潔性比較 問題: 現行のプレプリントは、物理法則を巨視的な圧縮アルゴリズムとして扱うことで標準物理学に対する簡潔性を主張しているが、形式的なMDL比較を提示していない。 成果物: 明示的な符号化規約の下での、OPTとベンチマーク物理モデル類との比較MDL解析。

完了状況: CLOSED（典型性およびIC正規化を条件とする）。 本付録は、T-4で要求された形式的MDL評価を提示する。明示的な符号化規約を備えた3つのベンチマーク・モデル類を固定する。4つの定理と1つの予想を確立する: (T-4a) OPTの選択規則は \mathcal{O}(1) の記述長をもつ; (T-4b) ソロモノフ優越性はOPTの対数損失に対する上界を与える; (予想 T-4c) OPTの構造的優位の想定される源泉は初期条件圧縮である; (T-4d) OPTは、あらゆる計算可能なベンチマークに対して、恒久的な定数ビットのモデル複雑性優位を達成する; (T-4e) 有限-T における優位は条件付きで定量化される。完了判定は、3つの荷重支持的条件に依拠する: 観測者ストリームの典型性、ソロモノフ正規化ペナルティ \log(1/\xi(\mathcal{O})) の吸収、そして K(\text{IC} \mid \text{SP}) > K_0 の成立状態。

§1. MDL符号化規約の固定

MDL比較は、明示的で固定された符号化規約なしには無意味である。プレプリントの§5.1はこの要件に言及しているが、先送りしている。ここでは、Rissanen (1978) [12] および Li & Vitányi (2008) [27] の二部MDL枠組みに従って規約を固定する。

1.1 二部符号長

仮説クラス \mathcal{M} と観測列 y_{1:T} \in \{0,1\}^* に対して、二部MDL符号長は次式で与えられる：

L_T(\mathcal{M}) = K(\mathcal{M}) + L(y_{1:T} \mid \mathcal{M}) \tag{preprint §5.1, Eq. 13}

ここで、K(\mathcal{M}) は仮説のプレフィックス・コルモゴロフ複雑性、すなわち固定された万能チューリング機械（UTM）上で \mathcal{M} の完全な記述を出力する最短の自己区切り的プログラムの長さであり、L(y_{1:T} \mid \mathcal{M}) は \mathcal{M} の最良予測モデルのもとでのデータの負の対数尤度である：

L(y_{1:T} \mid \mathcal{M}) = -\log_2 P_\mathcal{M}(y_{1:T})

決定論的理論（法則 + IC が観測を一意に定める）については、y がその理論と整合的であるとき L(y_{1:T} \mid \mathcal{M}) = 0 であり、そうでないときは L = \infty である。すべての対数は底 2 とし、すべての符号長の単位はビットである。

1.2 万能機械

本稿を通じて、単一の最適な UTM \mathcal{U} を固定する。すべてのコルモゴロフ複雑性は \mathcal{U} に相対的に定義される；UTM の選択を変えても、結果の変化は高々 \mathcal{O}(1) ビットである。ソロモノフ測度 \xi も \mathcal{U} に相対的に定義される（プレプリント式 1）。これにより、以後のすべての比較に対する規約が定まる。

1.3 y_{1:T} の適用範囲

各モデルは、それぞれが予測するよう設計された領域において比較される。すなわち、観測者の意識的ストリーム y_{1:T} = z_{0:T}（圧縮された潜在状態の列であり、T 秒にわたり毎秒 C_{\max} ビット）である。標準物理学も、粗視化を通じてその予測を観測者適合的なストリームへ還元することで、同一の領域において評価される。両理論には、まったく同じ観測事実を説明することが求められる。

§2. ベンチマーク・モデル類

3つのベンチマーク類を固定する。それぞれに対して、我々の UTM 規約の下で明示的な K(\mathcal{M}) 推定値を割り当てる。正確な数値はオーダー推定であり、§§3–7 の構造的結果は厳密な値ではなく順序のみに依存する。

2.1 \mathcal{M}_1 — 標準模型 + 一般相対性理論

現在利用可能な物理理論のうち、予測精度が最も高い理論である。その記述には三つの構成要素が必要となる。

K(\mathcal{M}_1) = K_{\text{struct}} + K_{\text{param}} \approx 1750 \text{ bits}

K(\text{IC} \mid \mathcal{M}_1) \approx 300 \text{ bits (inflationary)}

2.2 \mathcal{M}_2 — 一般的な可 renormalisable QFT

\leq 4 次元の時空における、可 renormalisable な量子場理論の全クラス。このクラスは、その一要素として \mathcal{M}_1 を含む。さらに、ゲージ群と粒子内容も指定しなければならないため、

K(\mathcal{M}_2) \gg K(\mathcal{M}_1) \gg 1750 \text{ bits}

\mathcal{M}_2 は、法則は列挙されるのではなく選択される、という OPT の主張に対する対照例として含められている。\mathcal{M}_2 との MDL 比較は、K(\mathcal{M}_2) が上に有界でない以上、任意の有限部分クラス（\mathcal{M}_1 を含む）によって自明に勝たれるが、その導入は形式的には、安定性フィルタが本来的に圧縮してしまうパラメータ選択問題の無限のスケールを示す役割を果たしている。

2.3 \mathcal{M}_3 — ボルツマン脳 / 熱的ゆらぎ

初期条件を極限まで単純化した標準物理学、すなわちプランク・スケールにおける熱的（最大エントロピー）状態である。法則は \mathcal{M}_1 と同一であり、初期条件は自明なほど単純である。

K(\mathcal{M}_3) \approx K(\mathcal{M}_1) \approx 1750 \text{ bits}, \qquad K(\text{IC} \mid \mathcal{M}_3) \approx 10 \text{ bits}

しかし、\mathcal{M}_3 のもとで秩序だった意識的ストリーム y_{1:T} を観測する対数尤度は天文学的に小さい。すなわち、L(y_{1:T} \mid \mathcal{M}_3) \approx K(y_{1:T}) \gg T \cdot C_{\max} である。したがって、\mathcal{M}_3 は IC コストこそ無視できるほど小さいが、尤度コストは破局的に大きい。本項は、OPT の MDL 上の優位が同種のトリックによって達成されているのではないことを示すために含められている。

§3. OPTのコード長 — 定理 T-4a

OPTのMDLコード長は、次のように分解される：

L_T(\text{OPT}) = K(\xi, \text{Filter}) + L(y_{1:T} \mid \xi, \text{Filter}) = K_0 + \left(-\log \xi^{\text{Filter}}(y_{1:T})\right)

ここで、\xi^{\text{Filter}} は、観測者適合的なクラス \mathcal{O}（R_{\text{req}} \leq B_{\max} を満たすストリーム）で条件づけられたソロモノフ普遍半測度 \xi であり、K_0 = K(\xi, \text{Filter}) は選択規則の記述長である。

定理 T-4a（メタ規則複雑性境界）。K(\xi, \text{Filter}) = K_0 = \mathcal{O}(1) ビット。具体的には：

K_0 \leq K(\mathcal{U}) + K(C_{\max}) + K(\Delta t) + c

ここで、K(\mathcal{U}) は UTM の複雑性、K(C_{\max}) = \mathcal{O}(\log C_{\max}) ビットは帯域閾値を実験精度で符号化し、K(\Delta t) = \mathcal{O}(\log \Delta t) は更新ウィンドウを符号化し、c は小さな普遍定数である。

証明。 ソロモノフ普遍半測度 \xi は固定された UTM \mathcal{U} によって一意に定まるため、K(\xi \mid \mathcal{U}) = \mathcal{O}(1) である。安定性フィルタは 2 つのパラメータ、すなわち C_{\max} と \Delta t を必要とし、各々は \sim 4 桁の有効数字で測定されるので、K(C_{\max}, \Delta t) \leq 2 \times (4 \times \log_2 10) \approx 26 ビットである。条件 R_{\text{req}} \leq B_{\max} は固定表記による単一の不等式であり、\sim 10 ビットである。合計すると、K_0 \leq K(\mathcal{U}) + 36 ビット。

K(\mathcal{U}) を公正に吸収するためには、「認識論的に中立な」UTM を仮定しなければならない。これは、組み込み命令集合がいかなる物理理論も優先的に符号化していない参照機械、すなわち（物理学に対して完全に不可知的な）基本コンビネータあるいは Brainfuck 同等の幾何をもつ機械を意味する。そのようなバイアスのない機械の下では、K(\xi, \text{Filter}) \approx 36 ビットを維持しつつ、K(\mathcal{M}_1) \approx 1750 ビットを標準化することは妥当である。もっとも、UTM が変更されれば絶対ビット数は \mathcal{O}(1) の定数スケーリングに対して脆弱であること、すなわち 36 対 1750 という計算が本質的に相対的であることは、ここで明示的に認めておく。ここでの構造的に誠実な数学的主張は順位づけ（K_0 \ll K(\mathcal{M}_1)）であり、これは厳密な数値定数から独立した頑健な構造的優位を主張するものである。\blacksquare

比較： 共有される UTM オーバーヘッドを除けば、K_0 \approx 36 ビット、これに対して K(\mathcal{M}_1) \approx 1750 ビットである。OPT の選択規則は標準模型の記述よりも K(\mathcal{M}_1) - K_0 \approx 1714 ビット短い。これが、プレプリント §5 で主張された構造的簡潔性の優位であり、ここでは明示的なビット数を伴っている。

§4. ソロモノフ優越境界 — 定理 T-4b

定理 T-4b（ソロモノフ優越境界）。K(\nu) < \infty を満たす任意の計算可能な物理測度 \nu（\mathcal{M}_1、\mathcal{M}_2、\mathcal{M}_3 を含む）と、任意のデータ列 y_{1:T} に対して、次が成り立つ：

L_T(\text{OPT}) \leq L_T(\nu) + K'_0

ここで K'_0 = K_0 + \log(1/\xi(\mathcal{O})) である。これは、基底規則の複雑性に加えて、普遍測度を観測者クラス \mathcal{O} で条件づけることによって生じる必要なアルゴリズム的正規化ペナルティを表す。

証明。 ソロモノフ測度の定義（プレプリントの式 1）より、w_\nu \asymp 2^{-K(\nu)} とすると：

\xi(y_{1:T}) \geq w_\nu \cdot \nu(y_{1:T}) \geq 2^{-K(\nu)} \cdot \nu(y_{1:T})

負の対数を取ると：

-\log \xi(y_{1:T}) \leq -\log \nu(y_{1:T}) + K(\nu)

普遍測度 \xi から制限フィルタ \xi^{\text{Filter}} へ移行する際には、正規化コスト -\log \xi^{\text{Filter}}(y) = -\log \xi(y) + \log(1/\xi(\mathcal{O})) を支払う。これを L_T(\text{OPT}) に代入すると：

L_T(\text{OPT}) = K_0 - \log \xi^{\text{Filter}}(y_{1:T}) \leq K_0 + \log(1/\xi(\mathcal{O})) + K(\nu) - \log \nu(y_{1:T}) = K'_0 + L_T(\nu) \qquad \blacksquare

重要な留保。 定理 T-4b は、OPT が SP を上回ることを示すものではない。これが示すのは、OPT がいかなるベンチマークよりも K'_0 ビットを超えて悪化することはありえない、という点である。以後、観測者列のクラスが構造的 UTM 定数に対してきれいに境界づけられると仮定することで、\log(1/\xi(\mathcal{O})) を K_0 に吸収するが、この正規化ギャップは形式的な脆弱性として留意しておく。

§5. 初期条件の圧縮 — 定理 T-4c

OPTのMDL上の優位の構造的源泉は、初期条件の圧縮にある。標準物理学では、法則と初期条件は別個の対象であり、その両方を記述しなければならない。OPTでは、初期条件は事前分布に吸収される。すなわち、ソロモノフ普遍半測度はすでに最も単純な観測者適合的ストリームに最大の重みを与えており、独立したIC指定は冗長となる。

5.1 IC冗長性論証

標準物理学（\mathcal{M}_1）のもとでは、決定論的理論に対する完全なMDLコードは次のとおりである：

L_T(\text{SP}) = K_{\text{laws}} + K(\text{IC} \mid \text{laws}) + 0 \qquad \text{[deterministic: } -\log P = 0 \text{ if consistent]}

IC項 K(\text{IC} \mid \text{laws}) は、法則が与えられたときの特定の初期条件の記述長であり、法則それ自体から導出されるものではない。微調整の所在はここにある。

OPTのもとでは、二部コードは次のようになる：

L_T(\text{OPT}) = K_0 + \left(-\log \xi^{\text{Filter}}(y_{1:T})\right)

項 -\log \xi^{\text{Filter}}(y_{1:T}) は、メタ規則が与えられたときの特定のストリームを符号化する。ソロモノフ普遍半測度による事前分布は、すでに物理学の普遍的モデルを内包している：-\log \xi(y) \approx K(y)。OPTの符号化では、ICのために別個にコストを支払う必要がない。

予想 T-4c（IC圧縮ヒューリスティック境界）。IC圧縮優位を次のように定義する：

\Delta_{\text{IC}} = K(\text{IC} \mid \text{SP laws}) - K(\text{IC} \mid \text{OPT})

我々は、次のヒューリスティックな境界を主張する：

\boxed{L_T(\text{OPT}) \leq L_T(\text{SP}) - \Delta_{\text{IC}} + K_0 + \mathcal{O}(1)}

ここで K(\text{IC} \mid \text{OPT}) := K(\text{IC} \mid \xi, \text{Filter}, \text{codec}) は、OPTの完全なモデルが与えられたときの初期条件の残余記述長である。\Delta_{\text{IC}} \geq 0 であり、等号が成り立つのは、安定性フィルタが法則によってすでに与えられている以上のIC圧縮をまったく提供しない場合に限る。

論証。 SPの完全な二部コードから出発し、ソロモノフ優越性を適用する（正規化定数は \mathcal{O}(1) のUTM境界項に吸収する）：

L_T(\text{OPT}) \leq K_0 + K(\text{laws}) + K(\text{IC} \mid \text{laws}) - \log P_{\text{SP}}(y) + \mathcal{O}(1)

これを並べ替え、L_T(\text{SP}) = K_{\text{laws}} + K(\text{IC} \mid \text{laws})（決定論的理論）を代入すると：

L_T(\text{OPT}) \leq L_T(\text{SP}) + K_0 + \mathcal{O}(1)

OPTの内部では、-\log \xi^{\text{Filter}}(y_{1:T}) はICを個別に符号化する必要がない。というのも、フィルタはソロモノフ事前分布から選択を行い、この事前分布は長さ重み付けを通じて本来的にICを圧縮しているからである。AITの劣加法性は、K(\text{IC} \mid x, f(x)) \leq K(\text{IC} \mid x) + \mathcal{O}(1) を保証する。もし、OPTの選択規則が、生の法則を単に宣言するよりも、より引き締まった記述文字列として境界づけられると仮定するならば（これは本枠組みの中核的な賭けであり、数学的な導出証明ではない）、残余的に符号化される K(\text{IC} \mid \text{OPT}) は、K(\text{IC} \mid \text{laws}) を有意に超えることはできない。したがって、ヒューリスティックには \Delta_{\text{IC}} \geq 0 が得られる。

これを代入すると：L_T(\text{OPT}) \leq L_T(\text{SP}) - \Delta_{\text{IC}} + K_0 + \mathcal{O}(1)。\blacksquare

注記。 我々は、人間原理的圧縮 K(\text{IC} \mid \text{OPT}) \approx 0 が、安定性フィルタが強く制約的であり、数学的には観測者適合的な状態へ一意的に写像する極限において作動すると仮定する。これは、アルゴリズム的に証明された一意性境界というよりも、動機づけられた物理的命題である。

§6. 定数ビットのモデル複雑性優位 — 定理 T-4d

定理 T-4d（永続的な定数ビットMDL優位 — 典型性を条件として）。K_0 < K(\nu) < \infty を満たすすべての固定された非自明な計算可能物理モデル \nu に対して、OPT の定式化は、\nu-典型でもある任意の y_{1:T} \in \mathcal{O} に関して、固定的かつ永続的なモデル複雑性優位を達成する。系列長 T \to \infty のとき、総符号長の差は構造的に次へと拘束される：

L_T(\text{OPT}) - L_T(\nu) \to K_0 - K(\nu)

証明。 T-4b より、L_T(\text{OPT}) \leq K'_0 - \log \xi^{\text{Filter}}(y_{1:T})。任意の計算可能な \nu に対して、ソロモノフの定理は、\xi が \nu-典型系列上で正確に \nu へ収束することを保証する。これは、\nu-ほとんどすべての y_{1:\infty} に関して成り立つ。ここで、深い形式的緊張関係に注意すべきである。安定性フィルタは、厳密に低エントロピーで構造化されたものとして評価されるストリームを切り出し、それらを、標準的な無制約最大エントロピーの \nu-測度ストリームと比べて、構造的に非典型なものとして自然に写像する。フィルタされた観測者クラス \mathcal{O} と \nu-典型クラスとのあいだに、実証可能な非自明の数学的重なりが存在しない限り、ソロモノフ収束極限をそのまま活用することはできない。したがって、この定理が適用されるのは、特定のフィルタ済み観測者ストリームが、特定のベンチマーク法則のもとでなお \nu-典型である場合に限られる（このような理論的に適合する交差ストリームの集合は、形式的にはなお特徴づけられていない）：

-\frac{1}{T} \log \xi(y_{1:T}) \to H(\nu) \quad \text{as } T \to \infty

ここで H(\nu) は \nu のエントロピー率である。同様に、-\frac{1}{T} \log \nu(y_{1:T}) \to H(\nu) である。漸近的には、ビット当たりの対数損失・対数尤度項は収束して一致し、したがって残る総符号長の優位は純粋にモデル記述長へと切り分けられる：

\left[L_T(\text{OPT}) - L_T(\nu)\right] \to K_0 - K(\nu) < 0 \qquad \text{[since } K_0 \approx 36 \text{ vs } K(\nu) \sim 1750 \text{]}

注：総符号長はこの永続的な固定ビット優位を維持する一方で、ビット当たりの優位（\frac{K_0 - K(\nu)}{T}）は実際にはゼロへと縮小する。これは、データ蓄積によって漸近的に増大し続ける優位を意味するのではなく、むしろ永続的で剛的な構造的オフセットを意味する。\blacksquare

\mathcal{M}_1 に対する数値的推定： K(\mathcal{M}_1) - K_0 \approx 1714 ビット。十分な \nu-典型観測ウィンドウにわたって対数損失尤度が収束すれば、OPT はおよそ 1714 ビットの永続的な数学的総符号化優位を維持する。

§7. 有限-T における条件付き優位 — 定理 T-4e

有限長のストリームに対しては、MDL 比較において、T-4c の IC 圧縮優位が K_0 のオーバーヘッドを上回ることが必要である。

定理 T-4e（有限-T における条件付き MDL 優位）。OPT が \mathcal{M}_1 に対して厳密な有限-T MDL 優位、すなわち L_T(\text{OPT}) < L_T(\mathcal{M}_1) を達成するのは、次の条件が成り立つ場合、かつその場合に限る：

\boxed{K(\text{IC} \mid \text{SP laws}) > K_0 + \log\left(\frac{1}{\xi(\mathcal{O})}\right) + \left[-\log \xi^{\text{Filter}}(y_{1:T}) - \left(-\log P_{\text{SP}}(y_{1:T})\right)\right]}

右辺の角括弧内は、特定のストリーム y_{1:T} に関して、SP に対する OPT の対数尤度不足を表す。したがって、この条件は、IC の記述コストが、メタ規則のオーバーヘッドと、このストリームにおける OPT の予測不足とを合わせた総コストを上回るときに満たされる。

証明。 二部符号長を直接操作すればよい：

L_T(\text{OPT}) < L_T(\text{SP}) \iff \quad K_0 + \log\left(\frac{1}{\xi(\mathcal{O})}\right) - \log \xi^{\text{Filter}}(y) < K_{\text{laws}} + K(\text{IC} \mid \text{laws}) - \log P_{\text{SP}}(y) \iff \quad K(\text{IC} \mid \text{laws}) - K_0 > \log\left(\frac{1}{\xi(\mathcal{O})}\right) + \left[-\log \xi^{\text{Filter}}(y) - \left(-\log P_{\text{SP}}(y)\right)\right] + \left[K_{\text{laws}} - K_{\text{laws}}\right]

これを整理すると（K_{\text{laws}} は両辺で相殺される）、述べた条件が直ちに得られる。\blacksquare

7.1 標準宇宙論に対する条件の評価

インフレーション符号化のもとでは（SP にとって最も有利な場合）：

したがって条件は K(\text{IC} \mid \text{SP laws}) > K_0、すなわち 300 > 36 に還元される。これは構造的に十分大きな余裕をもって成り立つ。この条件が破れるのは、IC のコストが \sim 36 bits 未満、すなわち、われわれの宇宙の特定の IC が SP 法則のみから構造的に導出可能であり、その残余が 36 bits 未満に収まる場合に限られる。現在のいかなる宇宙論モデルも、これを達成していない。

§8. 比較MDL表

モデル K(\mathcal{M})（ビット） K(\text{IC}\mid\mathcal{M})（ビット） -\log P(y\mid\mathcal{M}) 総計 L_T MDL順位
\mathcal{M}_1 — SM + GR \sim 1750 \sim 300（インフレーション的） \sim 0（決定論的） \sim 2050 第2位（インフレーション的）
\mathcal{M}_3 — ボルツマン \sim 1750 \sim 10 \gg 0（稀なストリーム） \gg 1760 最下位（尤度が破局的）
\mathcal{M}_{\text{OPT}} — OPT \sim 36 \sim 0（強く制約されたフィルタを介した条件付き） \sim 0^*（決定論的コーデック近似） \sim 36（条件付き） 第1位（条件付き）

^* §9.2における明示的なコーデック同定の下では、OPTの能動的データ項は、K_\theta を SPコーデックと同定すると、-\log P_{K_\theta}(y) = -\log P_\text{SP}(y) = 0 に還元される。

§9. 比較の限界

9.1 K(y \mid \text{Filter}) は計算不可能である

OPTのコード長 K_0 + K(y \mid \text{Filter}) = K_0 - \log \xi^{\text{Filter}}(y) には、チューリング的意味で計算不可能な項が含まれている（停止問題のため、\xi を正確に計算することはできない）。実際には、OPTの予測は有限のコーデック K_\theta によって近似されなければならない——これは標準的な物理学と同様である。これは、予測的 な目的に関しては、OPTが利用可能な最良の計算可能コーデックへと還元されることを意味する。したがって、OPTがSPに対してもつMDL上の優位は、新規予測を行ううえでの 運用上の 優位ではなく、（選択規則の記述における）構造的 優位である。

これは欠陥ではない——むしろ、プレプリントの主張「OPTは説明負荷の一部を法則列挙から法則選択へと移す」の正しい形式的内容である。この移行は実在的であり、しかも形式的に定量化されている（選択規則と \mathcal{M}_1 の比較で約 \approx 1700 ビット）が、それはコーデックがすでに与えているものを超える新たな予測内容を生み出すわけではない。

9.2 コーデック同定問題

OPTのコーデック K_\theta は、安定性フィルタが \mathcal{M} から選択する特定の計算可能測度である。T-4 はこの測度が何であるかを決定しない――その同定には T-5（定数の回復）と、物理学の完全な統一プログラムが必要である。K_\theta が SM + GR と明示的に同定されるまでは、MDL 比較はこの同定を条件とする。形式的境界 L_T(\text{OPT}) \leq L_T(\text{SP}) + K_0 は、OPT が SP より悪くなりえないことを保証するが、T-4e の IC 条件が満たされない限り、有限時間においてそれがより良いことまでは保証しない――そして標準的な宇宙論的仮定のもとでは、この条件は満たされる。

P-2 からの制約。 付録 P-2（量子誤り訂正を介したヒルベルト空間埋め込み）は、局所ノイズのもとで、コーデックが QECC 構造を満たさなければならないことを示している――その内部表現は、特定のパラメータ (n, k, d) をもつ量子誤り訂正符号を構成しなければならない。このことはコーデック同定問題を絞り込む。すなわち、K_\theta はもはや任意の計算可能測度ではなく、その予測状態がヒルベルト空間の誤り訂正幾何を担うような測度である。この制約は、T-5 の定数回復プログラムに先立つ上流の条件であり、K_\theta を標準模型と同定するための追加的な選別基準を与える可能性がある。

§10. 閉鎖要約

T-4の成果物 — 閉鎖確認済み（正規化条件および典型性条件付き）

  1. 符号化規約を確定（§1）。 二部構成のMDL、包括的に固定されたUTMに相対的なプレフィックス・コルモゴロフ複雑性、ならびにデータ領域を意識ストリーム y_{1:T} = z_{0:T} へ関数的に写像する定式化を採用。

  2. ベンチマーク・クラスを確定（§2）。 \mathcal{M}_1（SM+GR）を、\mathcal{M}_2（生成スコープ・パラメータ選択の爆発）や \mathcal{M}_3（ボルツマン尤度崩壊）のような自明な境界事例と対比して評価する。

  3. T-4a（メタ規則複雑性）。 K(\xi, \text{Filter}) = K_0 \approx 36 ビットであり、相対的UTMオフセットを含む。

  4. T-4b（ソロモノフ有界性）。 L_T(\text{OPT}) \leq L_T(\nu) + K_0 + \log(1/\xi(\mathcal{O}))。アルゴリズム的正規化ペナルティ・パラメータを明示的に定義する。

  5. 予想 T-4c（IC圧縮ヒューリスティック境界）。 構造的な初期条件冗長性が圧縮の推進機構であると予想される：\Delta_{\text{IC}} = K(\text{IC}\mid\text{SP}) - K(\text{IC}\mid\text{OPT}) \geq 0。ただし、写像の一意性は条件付きである。これは形式的に証明された定理ではなく、ヒューリスティックな境界として機能する。

  6. T-4d（定数ビット・モデル優位）。 極限挙動を条件付きで境界づける：\nu-典型クラスが \mathcal{O} と非自明に重なる計算可能なベンチマークに対して、OPTは恒久的な数値的複雑性優位（\sim -1714 ビット）を確保する。ただし、その無限なビット当たり密度はゼロへとスケールする。

  7. T-4e（有限-T 優位 — 条件付き）。 経験的な点ごとの損失が中核的な構造境界 K(\text{IC}\mid\text{SP}) > K_0（300 > 36）を覆さない限り、OPTは有限の T においても \mathcal{M}_1 を数値的に同様に上回る。脆弱性の焦点を、アルゴリズム的な点ごとの優越性に関する仮定へと正面から絞り込む。

MDL主張の反証条件

下流依存関係

本付録は、theoretical_roadmap.pdf と並んで OPT プロジェクト・リポジトリの一部として維持されている。参考文献：Rissanen (1978) [12], Li & Vitányi (2008) [27], Solomonoff (1964) [11], Penrose (2004).