有序補丁理論

原始任務 T-4：MDL／簡約性比較 問題： 目前的預印本主張，相較於標準物理學，本理論更具簡約性，因其將物理定律視為巨觀壓縮演算法；但尚未提供形式化的 MDL 比較。 交付內容： 在明確編碼慣例之下，對有序補丁理論 (OPT) 與基準物理模型類別進行比較性的 MDL 分析。

結案狀態：已結案（以典型性與 IC 正規化為條件）。 本附錄提供了 T-4 所要求的形式化 MDL 評估。文中固定了三類基準模型類別，並為其指定明確的編碼慣例。本文建立了四個定理與一個猜想：（T-4a）OPT 的選擇器規則具有 \mathcal{O}(1) 的描述長度；（T-4b）所羅門諾夫支配性為 OPT 的對數損失提供上界；（猜想 T-4c）OPT 結構性優勢的推定來源是初始條件壓縮；（T-4d）OPT 相對於每一個可計算的基準模型，都取得永久性的常數位元模型複雜度優勢；（T-4e）有限-T 的優勢在條件下被量化。此一結案建立在三個承重條件之上：觀察者流的典型性、所羅門諾夫正規化懲罰 \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. 基準模型類別

固定三個基準類別。依據我們的 UTM 慣例，為每一類指定明確的 K(\mathcal{M}) 估計值。精確數值屬於數量級估計；§§3–7 的結構性結果只依賴其排序，而不依賴精確數值。

2.1 \mathcal{M}_1 — 標準模型 + 廣義相對論

目前可得、在預測上最為精確的物理理論。其描述需要三個組成部分：

• 數學結構 K_{\text{struct}}： 規範群 \text{SU}(3) \times \text{SU}(2) \times \text{U}(1)、洛倫茲不變性、可重整化，以及 GR 的微分同胚對稱性。柯爾莫哥洛夫複雜度：K_{\text{struct}} \approx 10^3 位元。

• 參數值 K_{\text{param}}： 19 個 SM 自由參數 + 3 個混合角 + 1 個 CP 相位 + \Lambda + G + c \approx 25 個以實驗精度編碼的常數（每個約 \sim 30 位元）：K_{\text{param}} \approx 750 位元。

• 初始條件 K_{\text{IC}}： 在暴脹範式下，K_{\text{IC}}^{\text{inf}} \approx 200–400 位元。注意：我們此處不將 Penrose 的 10^{123} 熱力學熵界納入評分，因為它衡量的是巨觀相空間體積（S），而非特定的演算法式柯爾莫哥洛夫複雜度（K）。特定微觀狀態本身可能具有高度可壓縮性。我們完全依據較為嚴謹的暴脹界限。

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 — 一般可重整化量子場論

所有在 \leq 4 維時空中的可重整化量子場論之類別。此類別包含 \mathcal{M}_1 作為其中一個成員。由於還必須指定規範群與粒子內容：

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

納入 \mathcal{M}_2，是為了作為有序補丁理論 (OPT) 主張「法則是被選擇的，而非被枚舉的」之對照。雖然與 \mathcal{M}_2 的 MDL 比較，會被任何有限子類別（包括 \mathcal{M}_1）輕易勝出，因為 K(\mathcal{M}_2) 並無上界；但將其納入，在形式上是為了展示穩定性濾波器原生地塌縮之參數選擇問題，其尺度乃是無限的。

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}} 是所羅門諾夫測度 \xi 在觀察者相容類別 \mathcal{O}（滿足 R_{\text{req}} \leq B_{\max} 的流）上的條件化，而 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)。穩定性濾波器需要兩個參數：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（所羅門諾夫支配界限）。 對於任何可計算的物理測度 \nu（包括 \mathcal{M}_1、\mathcal{M}_2、\mathcal{M}_3），只要 K(\nu) < \infty，以及對於任何資料流 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 位元。我們在下文中將 \log(1/\xi(\mathcal{O})) 併入 K_0，方法是假定觀察者序列的類別相對於結構性 UTM 常數具有乾淨的界定，但仍須將此正規化缺口記為一項形式上的脆弱點。

§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{[決定論：若一致，則 } -\log P = 0 \text{]}

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 優勢——以典型性為條件）。 對於每一個固定、非平凡且可計算的物理模型 \nu，只要 K_0 < K(\nu) < \infty，則有序補丁理論 (OPT) 的表述對任何同時屬於 y_{1:T} \in \mathcal{O} 且亦為 \nu-典型的序列，都能達成一種固定且永久的模型複雜度優勢。當序列長度 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{[因為 } K_0 \approx 36 \text{，而 } 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} 上，OPT 相對於 SP 的對數似然虧損。只要 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}) \approx 300 位元（暴脹參數 + e-fold 數 + 再加熱）
• K_0 \approx 36 位元（T-4a）
• 對數似然虧損：我們在功能上假設，配備了 T-1 中所映射之 R_{T,h}(D) 編解碼器限制的 OPT，在觀察者相容的流上，至少能達到與標準物理同樣穩健的逐點對數似然。需注意的是，所羅門諾夫界嚴格來說只保證對期望總和的支配性，並不對特定單一流上的逐點界給出確定保證；因此，\left[-\log \xi^{\text{Filter}}(y) - \left(-\log P_{\text{SP}}(y)\right)\right] \leq 0 代表的是一種經驗性的結構預期，而非演算法上的保證。

因此，條件可化約為 K(\text{IC} \mid \text{SP laws}) > K_0，亦即 300 > 36。此條件以相當大的結構裕度成立。只有在 IC 的成本低於約 \sim 36 位元時，此條件才會失敗——也就是說，只有當我們宇宙的特定 IC 能夠僅由 SP 定律在結構上推導出來，且剩餘位元少於 36 時，才會如此。當前沒有任何宇宙學模型做到這一點。

§8. 比較 MDL 表

^* 在 §9.2 對編解碼器所作的明確識別之下，一旦將 K_\theta 識別為 SP 編解碼器，OPT 的主動資料項便化約為 -\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 bits），但它並不會在編解碼器既有提供的內容之外，額外產生新的預測內容。

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 bits，包含相對 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 bits），儘管其無窮逐位元密度會縮放至零。

7. T-4e（有限-T 優勢——條件性）。 在有限 T 下，只要經驗上的逐點損失未推翻核心的 K(\text{IC}\mid\text{SP}) > K_0 結構邊界（300 > 36），OPT 在數值上即與前述方式相同地勝過 \mathcal{M}_1。其脆弱性因而被明確集中到演算法逐點支配假設之上。

MDL 主張的可否證條件

• 若能僅由 SP 定律在少於 \sim 36 bits 內導出宇宙學初始條件——即顯示 K(\text{IC} \mid \text{SP laws}) < K_0。
• 若能證明穩定性濾波器對觀察者相容流的限制並未壓縮 IC——亦即，K(\text{IC} \mid \xi, \text{Filter}) = K(\text{IC} \mid \text{laws})，從而得到 \Delta_{\text{IC}} = 0。
• 若能為 OPT 給出一個明確可計算的編解碼器 K_\theta，並可證明其在觀察者流上的準確性低於 SM+GR，使得對數似然虧損超過 IC 壓縮增益。

下游依賴項

• T-5（常數回復） 是下一個關鍵步驟：一旦透過 T-1/T-2/T-3 將編解碼器 K_\theta 與 SM+GR 定律識別起來，MDL 比較就會變得完全明確，而 T-4e 中的條件也將成為已知量之間的具體不等式。
• Preprint §5.2 更新： 片語 “Whether this meta-rule yields an actual MDL advantage… is an open comparative question” 現可更新為：“Theorem T-4d establishes a conditional asymptotic advantage (for observer streams that are also \nu-typical under the benchmark physics, a set currently uncharacterised); Theorem T-4e establishes a conditional finite-T advantage; see Appendix T-4.”

本附錄作為 OPT 專案儲存庫的一部分，與 theoretical_roadmap.pdf 一同維護。參考文獻：Rissanen (1978) [12], Li & Vitányi (2008) [27], Solomonoff (1964) [11], Penrose (2004)。