Teorija uređenog patcha (OPT)

Izvorni zadatak T-4: MDL / usporedba parsimonije Problem: Aktivni preprint tvrdi da je parsimoničniji od standardne fizike time što fizičke zakone tretira kao makroskopske kompresijske algoritme, ali ne pruža formalnu MDL usporedbu. Isporučivo: Komparativna MDL analiza OPT-a naspram referentnih klasa fizikalnih modela pod eksplicitnim konvencijama kodiranja.

Status zatvaranja: ZATVORENO (uvjetno, uz tipičnost i IC normalizaciju). Ovaj dodatak donosi formalnu MDL evaluaciju koju zahtijeva T-4. Tri referentne klase modela fiksirane su uz eksplicitne konvencije kodiranja. Uspostavljena su četiri teorema i jedna konjektura: (T-4a) selektorsko pravilo OPT-a ima duljinu opisa \mathcal{O}(1); (T-4b) Solomonoffova dominacijska ograda odozgo omeđuje log-gubitak OPT-a; (Konjektura T-4c) pretpostavljeni izvor strukturne prednosti OPT-a jest kompresija početnih uvjeta; (T-4d) OPT postiže trajnu prednost složenosti modela od konstantnog broja bitova u odnosu na svaki izračunljiv referentni model; (T-4e) prednost za konačni T uvjetno je kvantificirana. Zatvaranje počiva na trima nosivim uvjetima: tipičnosti toka promatrača, apsorpciji Solomonoffove kazne normalizacije \log(1/\xi(\mathcal{O})), te stanju K(\text{IC} \mid \text{SP}) > K_0.

§1. Fiksiranje MDL kodnih konvencija

MDL usporedbe besmislene su bez eksplicitnih, fiksnih kodnih konvencija. U preprintu se u §5.1 bilježi taj zahtjev, ali ga se odgađa. Ovdje fiksiramo konvencije slijedeći Rissanena (1978) [12] i dvodijelni MDL okvir Li & Vitányi (2008) [27].

1.1 Dvodijelna duljina koda

Za klasu hipoteza \mathcal{M} i niz opažanja y_{1:T} \in \{0,1\}^*, dvodijelna MDL duljina koda glasi:

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

gdje je K(\mathcal{M}) prefiksna Kolmogorovljeva složenost hipoteze — duljina najkraćeg samorazgraničavajućeg programa na fiksnom univerzalnom Turingovu stroju (UTM) koji ispisuje potpun opis od \mathcal{M} — a L(y_{1:T} \mid \mathcal{M}) negativna log-vjerojatnost podataka prema najboljem prediktivnom modelu unutar \mathcal{M}:

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

Za determinističke teorije (zakoni + IC jednoznačno određuju opažanja), L(y_{1:T} \mid \mathcal{M}) = 0 kada je y konzistentan s teorijom, a inače je L = \infty. Svi su logaritmi baze 2; sve duljine koda izražene su u bitovima.

1.2 Univerzalni stroj

Fiksiramo jedan optimalni UTM \mathcal{U} kroz cijeli tekst. Sve Kolmogorovljeve složenosti relativne su na \mathcal{U}; rezultati se pod drukčijim izborom UTM-a mijenjaju za najviše \mathcal{O}(1) bitova. Solomonoffova mjera \xi definirana je relativno na \mathcal{U} (preprint, jednadžba 1). Time se utvrđuje konvencija za sve daljnje usporedbe.

1.3 Opseg od y_{1:T}

Uspoređujemo modele na domeni koju je svaki od njih osmišljen predviđati: svjesni tok promatrača y_{1:T} = z_{0:T} (slijed komprimiranih latentnih stanja, C_{\max} bitova u sekundi tijekom T sekundi). Standardna fizika vrednuje se na istoj domeni svođenjem svojih predviđanja na tok kompatibilan s promatračem putem grubog zrnjenja. Od obje se teorije traži da objasne potpuno ista opažanja.

§2. Referentne klase modela

Fiksirane su tri referentne klase. Svakoj je dodijeljena eksplicitna procjena K(\mathcal{M}) prema našoj UTM konvenciji. Precizne numeričke vrijednosti procjene su reda veličine; strukturni rezultati u §§3–7 ovise samo o poretku, a ne o točnim vrijednostima.

2.1 \mathcal{M}_1 — Standardni model + opća relativnost

Trenutačno najprediktivnije najtočnija fizička teorija koja nam je dostupna. Njezin opis zahtijeva tri sastavnice:

• Matematička struktura K_{\text{struct}}: baždarna grupa \text{SU}(3) \times \text{SU}(2) \times \text{U}(1), Lorentzova invarijantnost, renormalizabilnost i difeomorfizamska simetrija OR-a. Kolmogorovljeva složenost: K_{\text{struct}} \approx 10^3 bita.

• Vrijednosti parametara K_{\text{param}}: 19 slobodnih parametara SM-a + 3 kuta miješanja + 1 CP faza + \Lambda + G + c \approx 25 konstanti kodiranih do eksperimentalne preciznosti (\sim 30 bita svaka): K_{\text{param}} \approx 750 bita.

• Početni uvjeti K_{\text{IC}}: unutar inflacijskog paradigme, K_{\text{IC}}^{\text{inf}} \approx 200–400 bita. Napomena: ovdje ne vrednujemo Penroseovu termodinamičku granicu entropije od 10^{123} jer ona mjeri makroskopski volumen faznog prostora (S), a ne specifičnu algoritamsku Kolmogorovljevu složenost (K). Specifično mikrostanje može biti vrlo kompresibilno. Oslanjamo se isključivo na poštene inflacijske granice.

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 — Generička renormalizabilna QFT

Klasa svih renormalizabilnih kvantnih teorija polja u \leq 4 prostorno-vremenske dimenzije. Ta klasa sadrži \mathcal{M}_1 kao jedan svoj član. Budući da se moraju specificirati i baždarna grupa i sadržaj čestica:

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

\mathcal{M}_2 je uključena kao kontrast OPT-ovoj tvrdnji da se zakoni odabiru, a ne enumeriraju. Premda se MDL usporedba s \mathcal{M}_2 trivijalno dobiva za bilo koju konačnu podklasu (uključujući \mathcal{M}_1), jer je K(\mathcal{M}_2) neomeđen, njezino uključivanje formalno služi tomu da pokaže beskonačne razmjere problema odabira parametara koji Filtar stabilnosti izvorno kolabira.

2.3 \mathcal{M}_3 — Boltzmannov mozak / toplinska fluktuacija

Standardna fizika s maksimalno jednostavnim početnim uvjetima: toplinsko stanje (stanje maksimalne entropije) na Planckovoj skali. Zakoni su identični onima u \mathcal{M}_1; početni uvjeti trivijalno su jednostavni:

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}

Međutim, log-vjerojatnost opažanja uređenog svjesnog toka y_{1:T} pod \mathcal{M}_3 astronomski je mala: L(y_{1:T} \mid \mathcal{M}_3) \approx K(y_{1:T}) \gg T \cdot C_{\max}. \mathcal{M}_3 stoga ima zanemariv trošak IC-a, ali katastrofalan trošak vjerojatnosti, te je uključen kako bi se pokazalo da se MDL prednost OPT-a ne postiže istim trikom.

§3. Duljina koda OPT-a — Teorem T-4a

MDL duljina koda za OPT rastavlja se kao:

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)

gdje je \xi^{\text{Filter}} Solomonoffova mjera \xi uvjetovana na s promatračem kompatibilnu klasu \mathcal{O} (tokove koji zadovoljavaju R_{\text{req}} \leq B_{\max}), a K_0 = K(\xi, \text{Filter}) duljina opisa pravila selekcije.

Teorem T-4a (granica složenosti meta-pravila). K(\xi, \text{Filter}) = K_0 = \mathcal{O}(1) bita. Preciznije:

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

gdje je K(\mathcal{U}) složenost UTM-a, K(C_{\max}) = \mathcal{O}(\log C_{\max}) bita kodira prag propusnosti do eksperimentalne preciznosti, K(\Delta t) = \mathcal{O}(\log \Delta t) kodira prozor ažuriranja, a c je mala univerzalna konstanta.

Dokaz. Solomonoffova mjera \xi jednoznačno je određena fiksnim UTM-om \mathcal{U}, pa je K(\xi \mid \mathcal{U}) = \mathcal{O}(1). Filtar stabilnosti zahtijeva dva parametra: C_{\max} i \Delta t, od kojih je svaki izmjeren na \sim 4 značajne znamenke, pa je K(C_{\max}, \Delta t) \leq 2 \times (4 \times \log_2 10) \approx 26 bita. Uvjet R_{\text{req}} \leq B_{\max} jedna je nejednakost u fiksnoj notaciji: \sim 10 bita. Ukupno: K_0 \leq K(\mathcal{U}) + 36 bita.

Da bismo pravedno apsorbirali K(\mathcal{U}), moramo pretpostaviti „epistemički neutralan” UTM — to jest referentni stroj čiji ugrađeni skup instrukcija ne kodira nijednu fizikalnu teoriju povlašteno (tj. osnovnu geometriju ekvivalentnu kombinatoru ili jeziku Brainfuck, potpuno agnostičnu prema fizici). Pod takvim nepristranim strojem valjano je održati K(\xi, \text{Filter}) \approx 36 bita uz standardizaciju K(\mathcal{M}_1) \approx 1750 bita. Izričito priznajemo da to apsolutni broj bitova ostavlja ranjivim na skaliranje konstantom reda \mathcal{O}(1) ako se UTM promijeni, što znači da je račun 36 naspram 1750 inherentno relativan. Strukturno pošten matematički iskaz ovdje jest poredak po rangu (K_0 \ll K(\mathcal{M}_1)), koji tvrdi robusnu strukturnu prednost neovisnu o preciznoj numeričkoj konstanti. \blacksquare

Usporedba: Isključujući zajednički UTM overhead, K_0 \approx 36 bita naspram K(\mathcal{M}_1) \approx 1750 bita. Pravilo selekcije OPT-a kraće je od opisa Standardnog modela za K(\mathcal{M}_1) - K_0 \approx 1714 bita. To je prednost strukturne parsimonije koja se tvrdi u §5 preprinta — sada s eksplicitnim brojem bitova.

§4. Solomonoffova granica dominacije — Teorem T-4b

Teorem T-4b (Solomonoffova granica dominacije). Za bilo koju izračunljivu mjeru fizike \nu (uključujući \mathcal{M}_1, \mathcal{M}_2, \mathcal{M}_3) za koju vrijedi K(\nu) < \infty, i za bilo koji tok podataka y_{1:T}:

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

gdje je K'_0 = K_0 + \log(1/\xi(\mathcal{O})). To predstavlja složenost osnovnog pravila uvećanu za nužnu algoritamsku kaznu normalizacije nastalu uvjetovanjem univerzalne mjere na klasu promatrača \mathcal{O}.

Dokaz. Iz definicije Solomonoffove mjere (preprint, jednadžba 1), uz 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})

Uzimajući negativne logaritme:

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

Pri prijelazu s univerzalne mjere \xi na ograničeni filtar \xi^{\text{Filter}}, plaćamo trošak normalizacije -\log \xi^{\text{Filter}}(y) = -\log \xi(y) + \log(1/\xi(\mathcal{O})). Uvrštavanjem u 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

Važna ograda. Teorem T-4b ne pokazuje da OPT nadmašuje SP. On pokazuje da OPT ne može proći lošije od bilo kojeg mjerila za više od K'_0 bitova. Odsad apsorbiramo \log(1/\xi(\mathcal{O})) u K_0 pretpostavljajući da je klasa promatračkih sekvenci čisto omeđena u odnosu na strukturne konstante UTM-a, ali taj jaz normalizacije bilježimo kao formalnu ranjivost.

§5. Kompresija početnih uvjeta — Teorem T-4c

Strukturni izvor OPT-ove MDL prednosti jest kompresija početnih uvjeta. U standardnoj fizici zakoni i početni uvjeti odvojeni su objekti koje oba treba opisati. U OPT-u se početni uvjeti apsorbiraju u prior: Solomonoffova mjera već pridružuje najveću težinu najjednostavnijim tokovima kompatibilnima s promatračem, čineći zasebnu specifikaciju početnih uvjeta suvišnom.

5.1 Argument redundancije IC-a

U okviru standardne fizike (\mathcal{M}_1), puni MDL-kod za determinističku teoriju glasi:

L_T(\text{SP}) = K_{\text{laws}} + K(\text{IC} \mid \text{laws}) + 0 \qquad \text{[deterministički: } -\log P = 0 \text{ ako je konzistentno]}

Član IC-a K(\text{IC} \mid \text{laws}) jest duljina opisa specifičnih početnih uvjeta uz zadane zakone — on nije izvediv iz samih zakona. Tu se nalazi mjesto finog ugađanja.

U okviru OPT-a, dvodijelni kod glasi:

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

Član -\log \xi^{\text{Filter}}(y_{1:T}) kodira specifični tok uz zadano meta-pravilo. Solomonoffov prior već uključuje univerzalni model fizike: -\log \xi(y) \approx K(y). OPT-kodiranje nikada ne mora zasebno plaćati za IC.

Konjektura T-4c (heuristička granica kompresije IC-a). Definirajmo prednost kompresije IC-a:

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

Tvrdimo sljedeću heurističku granicu:

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

gdje je K(\text{IC} \mid \text{OPT}) := K(\text{IC} \mid \xi, \text{Filter}, \text{codec}) rezidualna duljina opisa početnih uvjeta uz puni model OPT-a. Vrijedi \Delta_{\text{IC}} \geq 0, s jednakošću ako i samo ako Filtar stabilnosti ne pruža nikakvu dodatnu kompresiju IC-a povrh onoga što već daju zakoni.

Argument. Polazeći od punog dvodijelnog koda za SP i primjenjujući Solomonoffovu dominaciju (uz apsorpciju normalizacijskih konstanti u ograničavajući član \mathcal{O}(1) za 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)

Preuređivanjem i supstitucijom L_T(\text{SP}) = K_{\text{laws}} + K(\text{IC} \mid \text{laws}) (deterministička teorija):

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

Unutar OPT-a, -\log \xi^{\text{Filter}}(y_{1:T}) ne mora pojedinačno kodirati IC: Filtar odabire iz Solomonoffova priora, koji inherentno komprimira IC putem težina duljine. Subaditivnost AIT-a jamči da je K(\text{IC} \mid x, f(x)) \leq K(\text{IC} \mid x) + \mathcal{O}(1). Ako postuliramo da se pravilo odabira u OPT-u ograničava kao stroži opisni niz nego puko navođenje sirovih zakona (što je središnja oklada ovog okvira, a ne matematički izveden dokaz), tada rezidualno kodirani K(\text{IC} \mid \text{OPT}) ne može značajno premašiti K(\text{IC} \mid \text{laws}). Time se heuristički dobiva \Delta_{\text{IC}} \geq 0.

Supstitucijom: L_T(\text{OPT}) \leq L_T(\text{SP}) - \Delta_{\text{IC}} + K_0 + \mathcal{O}(1). \blacksquare

Napomena. Pretpostavljamo da antropska kompresija K(\text{IC} \mid \text{OPT}) \approx 0 djeluje u granici u kojoj je Filtar stabilnosti izrazito restriktivan, preslikavajući matematički u jedinstveno s promatračem kompatibilna stanja. To je motivirana fizikalna postavka, a ne algoritamski dokazana granica jedinstvenosti.

§6. Prednost složenosti modela s konstantnim brojem bitova — Teorem T-4d

Teorem T-4d (Trajna MDL prednost s konstantnim brojem bitova — uvjetovana tipičnošću). Za svaki fiksni, netrivijalni izračunljivi model fizike \nu za koji vrijedi K_0 < K(\nu) < \infty, formulacija OPT-a ostvaruje fiksnu, trajnu prednost u složenosti modela, i to specifično za svaki y_{1:T} \in \mathcal{O} koji je ujedno i \nu-tipičan. Kako duljina niza T \to \infty, razlika u ukupnoj duljini koda strukturno je omeđena:

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

Dokaz. Iz T-4b slijedi da je L_T(\text{OPT}) \leq K'_0 - \log \xi^{\text{Filter}}(y_{1:T}). Za svaki izračunljivi \nu, Solomonoffov teorem jamči da \xi konvergira prema \nu upravo na \nu-tipičnim nizovima, mjereno kao za \nu-gotovo-sve y_{1:\infty}. Ovdje valja uočiti duboku formalnu napetost: Filtar stabilnosti izdvaja tokove koji se strogo evaluiraju kao niskoentropijski i strukturirani, čime ih strukturno mapira kao atipične u odnosu na standardne, nekontrolirane tokove maksimalne entropije pod mjerom \nu. Ako filtrirana klasa promatrača \mathcal{O} i klasa \nu-tipičnih nizova nemaju pokazivo netrivijalno matematičko preklapanje, Solomonoffova granica konvergencije ne može se izravno iskoristiti. Posljedično, ovaj teorem vrijedi uvjetno ako i samo ako konkretni filtrirani tok promatrača ostaje \nu-tipičan pod konkretnim referentnim zakonima (pri čemu skup takvih teorijski usklađenih presječnih tokova ostaje formalno neokarakteriziran):

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

gdje je H(\nu) entropijska stopa od \nu. Slično tome, -\frac{1}{T} \log \nu(y_{1:T}) \to H(\nu). Asimptotski, članovi log-lossa po bitu u log-vjerojatnosti konvergiraju i izjednačuju se, što znači da se preostala prednost u ukupnoj duljini koda svodi isključivo na duljinu opisa modela:

\left[L_T(\text{OPT}) - L_T(\nu)\right] \to K_0 - K(\nu) < 0 \qquad \text{[budući da je } K_0 \approx 36 \text{ naspram } K(\nu) \sim 1750 \text{]}

Napomena: Iako ukupna duljina koda zadržava ovu trajnu prednost od fiksnog broja bitova, prednost po bitu (\frac{K_0 - K(\nu)}{T}) aktivno se smanjuje prema nuli. To ne predstavlja asimptotski kontinuirano rastuću prednost putem akumulacije podataka, nego trajni, rigidni strukturni pomak. \blacksquare

Numerička procjena za \mathcal{M}_1: K(\mathcal{M}_1) - K_0 \approx 1714 bitova. Jednom kada log-loss vjerojatnosti konvergiraju kroz dovoljno široke prozore \nu-tipičnih opažanja, OPT zadržava trajnu matematičku nadmoć u ukupnom kodiranju od približno 1714 bitova.

§7. Konačna-T uvjetna prednost — Teorem T-4e

Za tokove konačne duljine, MDL usporedba zahtijeva da IC kompresijska prednost iz T-4c nadmaši režijski trošak K_0.

Teorem T-4e (Konačna-T uvjetna MDL prednost). OPT postiže strogu konačnu-T MDL prednost nad \mathcal{M}_1 — to jest, L_T(\text{OPT}) < L_T(\mathcal{M}_1) — ako i samo ako vrijedi sljedeći uvjet:

\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]}

Zagrada na desnoj strani predstavlja deficit log-vjerojatnosti OPT-a u odnosu na SP na specifičnom toku y_{1:T}. Uvjet je zadovoljen kad god trošak opisa IC-a premašuje kombinirani režijski trošak meta-pravila i OPT-ov deficit predikcije na ovom toku.

Dokaz. Izravna manipulacija duljinama dvodijelnog koda:

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]

Preuređivanjem (budući da se K_{\text{laws}} poništava na objema stranama) izravno se dobiva navedeni uvjet. \blacksquare

7.1 Procjena uvjeta za standardnu kozmologiju

Pod inflacijskim kodiranjem (najpovoljniji slučaj za SP):

• K(\text{IC} \mid \text{SP laws}) \approx 300 bita (inflacijski parametri + broj e-presavijanja + reheating)
• K_0 \approx 36 bita (T-4a)
• Deficit log-vjerojatnosti: Funkcionalno pretpostavljamo da OPT, opremljen ograničenjima kodeka R_{T,h}(D) mapiranima u T-1, postiže barem jednako robusnu točkastu log-vjerojatnost kao standardna fizika na toku kompatibilnom s promatračem. Valja napomenuti da Solomonoffove granice strogo daju dominaciju nad očekivanim sumama, a ne definitivne točkaste granice na specifičnim singularnim tokovima; stoga \left[-\log \xi^{\text{Filter}}(y) - \left(-\log P_{\text{SP}}(y)\right)\right] \leq 0 predstavlja empirijsko strukturno očekivanje, a ne algoritamsko jamstvo.

Stoga se uvjet svodi na K(\text{IC} \mid \text{SP laws}) > K_0, tj. 300 > 36. To vrijedi uz znatnu strukturnu marginu. Uvjet ne vrijedi samo ako IC košta manje od \sim 36 bita — tj. ako je specifični IC našeg svemira strukturno izvodiv samo iz zakona SP, pri čemu ostaje manje od 36 rezidualnih bitova. Nijedan trenutačni kozmološki model to ne postiže.

§8. Komparativna MDL tablica

^* Uz eksplicitnu identifikaciju kodeka iz §9.2, OPT-ov aktivni podatkovni član svodi se na -\log P_{K_\theta}(y) = -\log P_\text{SP}(y) = 0 jednom kada se K_\theta identificira sa SP kodekom.

§9. Granice usporedbe

9.1 K(y \mid \text{Filter}) nije izračunljiv

Duljina koda u OPT-u, K_0 + K(y \mid \text{Filter}) = K_0 - \log \xi^{\text{Filter}}(y), sadrži član koji nije izračunljiv u Turingovu smislu (problem zaustavljanja onemogućuje točan izračun \xi). U praksi se predviđanja OPT-a moraju aproksimirati konačnim kodekom K_\theta — što je standardno u fizici. To znači da se OPT za prediktivne svrhe svodi na najbolji dostupni izračunljivi kodek. MDL prednost OPT-a nad SP-om stoga je strukturna prednost (u opisu pravila selekcije), a ne operativna prednost u izvođenju novih predviđanja.

To nije manjkavost — to je ispravan formalni sadržaj tvrdnje iz preprinta: “OPT premješta dio eksplanatornog tereta s enumeracije zakona na selekciju zakona.” Taj je pomak stvaran i formalno kvantificiran (\approx 1700 bitova za pravilo selekcije naspram \mathcal{M}_1), ali ne generira novi prediktivni sadržaj povrh onoga što kodek već pruža.

9.2 Problem identifikacije kodeka

OPT kodek K_\theta specifična je izračunljiva mjera iz \mathcal{M} koju odabire Filtar stabilnosti. T-4 ne određuje o kojoj je mjeri riječ — ta identifikacija zahtijeva T-5 (rekonstrukciju konstanti) i puni program fizičkog ujedinjenja. Dok se K_\theta eksplicitno ne identificira sa SM + GR, MDL usporedba uvjetovana je tom identifikacijom. Formalna ograda L_T(\text{OPT}) \leq L_T(\text{SP}) + K_0 jamči da OPT ne može proći lošije od SP-a, ali ne jamči da prolazi bolje u konačnom vremenu osim ako nije zadovoljen uvjet IC iz T-4e — što jest, pod standardnim kozmološkim pretpostavkama.

Ograničenje iz P-2. Dodatak P-2 (Ugradnja Hilbertova prostora putem kvantne korekcije pogrešaka) utvrđuje da, pod lokalnim šumom, kodek mora zadovoljavati QECC strukturu — njegova unutarnja reprezentacija mora tvoriti kvantni kod za korekciju pogrešaka sa specifičnim parametrima (n, k, d). Time se problem identifikacije kodeka sužava: K_\theta više nije proizvoljna izračunljiva mjera, nego ona čija prediktivna stanja nose geometriju korekcije pogrešaka Hilbertova prostora. To ograničenje prethodi programu rekonstrukcije konstanti iz T-5 i može pružiti dodatne kriterije odabira za identifikaciju K_\theta sa Standardnim modelom.

§10. Sažetak zatvaranja

T-4 isporučevine — potvrđeno zatvorene (uz uvjete normalizacije i tipičnosti)

1. Konvencije kodiranja fiksirane (§1). Dvodijelni MDL, prefiksna Kolmogorovljeva složenost relativno prema inkluzivnom fiksnom UTM-u, uz funkcionalno preslikavanje domene podataka na svjesni tok y_{1:T} = z_{0:T}.

2. Referentne klase fiksirane (§2). Vrednuje \mathcal{M}_1 (SM+GR) naspram trivijalnih granica poput \mathcal{M}_2 (eksplodirajući odabir parametra generativnog opsega) i \mathcal{M}_3 (Boltzmannov kolaps vjerojatnosti).

3. T-4a (Složenost meta-pravila). K(\xi, \text{Filter}) = K_0 \approx 36 bitova, uključujući pomake relativne prema UTM-u.

4. T-4b (Solomonoff omeđen). L_T(\text{OPT}) \leq L_T(\nu) + K_0 + \log(1/\xi(\mathcal{O})). Eksplicitno definira parametar algoritamske kazne normalizacije.

5. Konjektura T-4c (Heuristička granica kompresije IC-a). Strukturna redundancija početnih uvjeta jest pretpostavljeni mehanizam kompresije: \Delta_{\text{IC}} = K(\text{IC}\mid\text{SP}) - K(\text{IC}\mid\text{OPT}) \geq 0, premda je jedinstvenost preslikavanja uvjetna. To služi kao heuristička granica, a ne kao formalno dokazan teorem.

6. T-4d (Prednost modela s konstantnim brojem bitova). Uvjetno omeđuje granično ponašanje: za izračunljive referentne modele čija se \nu-tipična klasa netrivijalno preklapa s \mathcal{O}, OPT osigurava trajnu numeričku prednost u složenosti (\sim -1714 bitova), premda se njegova beskonačna gustoća po bitu skalira prema nuli.

7. T-4e (Prednost pri konačnom T — uvjetna). OPT numerički nadmašuje \mathcal{M}_1 pri konačnom T upravo onda kada empirijski točkasti gubici ne ponište temeljnu strukturnu granicu K(\text{IC}\mid\text{SP}) > K_0 (300 > 36). Time se ranjivost izravno usmjerava na pretpostavke o algoritamskoj točkastoj dominaciji.

Uvjeti opovrgavanja za MDL tvrdnju

• Izvođenje kozmoloških početnih uvjeta samo iz SP zakona u manje od \sim 36 bitova — što pokazuje K(\text{IC} \mid \text{SP laws}) < K_0.
• Pokazivanje da ograničenje Filtra stabilnosti na s promatračem kompatibilne tokove ne komprimira IC — tj. K(\text{IC} \mid \xi, \text{Filter}) = K(\text{IC} \mid \text{laws}), što daje \Delta_{\text{IC}} = 0.
• Eksplicitan izračunljivi kodek K_\theta za OPT koji je dokazivo manje točan od SM+GR na promatračkim tokovima, tako da deficit log-vjerojatnosti nadmašuje dobitak kompresije IC-a.

Nizvodne ovisnosti

• T-5 (Oporavak konstanti) jest sljedeći ključni korak: jednom kada se kodek K_\theta identificira sa zakonima SM+GR putem T-1/T-2/T-3, MDL usporedba postaje potpuno eksplicitna, a uvjet u T-4e postaje konkretna nejednakost između poznatih veličina.
• Ažuriranje preprinta §5.2: izraz “Whether this meta-rule yields an actual MDL advantage… is an open comparative question” sada se može ažurirati u: “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.”

Ovaj se dodatak održava kao dio repozitorija projekta OPT uz theoretical_roadmap.pdf. Reference: Rissanen (1978) [12], Li & Vitányi (2008) [27], Solomonoff (1964) [11], Penrose (2004).