Ordered Patch Theory

Izvorni zadatak T-4: MDL / poređenje 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 formalno MDL poređenje. Isporučivo: Komparativna MDL analiza OPT-a naspram referentnih klasa fizičkih modela pod eksplicitnim konvencijama kodiranja.

Status zatvaranja: ZATVORENO (uslovno, uz tipičnost i normalizaciju IC-a). Ovaj dodatak donosi formalnu MDL evaluaciju zahtijevanu zadatkom T-4. Tri referentne klase modela fiksirane su uz eksplicitne konvencije kodiranja. Uspostavljene su četiri teoreme i jedna konjektura: (T-4a) selektorsko pravilo OPT-a ima dužinu opisa \mathcal{O}(1); (T-4b) Solomonoffova dominacija odozgo ograničava log-gubitak OPT-a; (Konjektura T-4c) pretpostavljeni izvor strukturne prednosti OPT-a jeste kompresija početnih uslova; (T-4d) OPT ostvaruje trajnu prednost u složenosti modela od konstantnog broja bitova u odnosu na svaki izračunljivi referentni model; (T-4e) prednost za konačno T uslovno je kvantificirana. Zatvaranje počiva na tri nosiva uslova: tipičnosti toka promatrača, apsorpciji Solomonoffove normalizacijske kazne \log(1/\xi(\mathcal{O})), i stanju K(\text{IC} \mid \text{SP}) > K_0.

§1. Fiksiranje MDL konvencija kodiranja

MDL poređenja besmislena su bez eksplicitnih, fiksnih konvencija kodiranja. §5.1 preprinta bilježi taj zahtjev, ali ga odgađa. Ovdje fiksiramo konvencije slijedeći Rissanena (1978) [12] i dvodijelni MDL okvir Li & Vitányi (2008) [27].

1.1 Dvodijelna dužina koda

Za klasu hipoteza \mathcal{M} i niz opažanja y_{1:T} \in \{0,1\}^*, dvodijelna MDL dužina 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 — dužina najkraćeg samorazgraničavajućeg programa na fiksnoj univerzalnoj Turingovoj mašini (UTM) koji ispisuje potpun opis \mathcal{M} — a L(y_{1:T} \mid \mathcal{M}) negativna log-vjerovatnoća 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 L = \infty u suprotnom. Svi logaritmi su po bazi 2; sve dužine koda izražene su u bitovima.

1.2 Univerzalna mašina

Fiksiramo jednu optimalnu UTM \mathcal{U} kroz cijeli tekst. Sve Kolmogorovljeve složenosti relativne su na \mathcal{U}; rezultati se mijenjaju za najviše \mathcal{O}(1) bita pod drugačijim izborom UTM-a. Solomonoffova semimjera \xi definirana je relativno na \mathcal{U} (preprint, jednačina 1). Time se utvrđuje konvencija za sva naredna poređenja.

1.3 Opseg y_{1:T}

Upoređujemo modele na domenu koji je svaki od njih dizajniran da predviđa: svjesni tok promatrača y_{1:T} = z_{0:T} (sekvenca komprimiranih latentnih stanja, C_{\max} bitova u sekundi tokom T sekundi). Standardna fizika procjenjuje se na istom domenu tako što se njena predviđanja reduciraju na tok kompatibilan s promatračem putem grubog zrnjenja. Od obje teorije traži se 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 su procjene reda veličine; strukturni rezultati u §§3–7 zavise samo od poretka, a ne od tačnih vrijednosti.

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

Trenutno najprediktivnije tačna fizička teorija koja nam je dostupna. Njen opis zahtijeva tri komponente:

• 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 ugla 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 uslovi K_{\text{IC}}: u okviru inflatorne paradigme, K_{\text{IC}}^{\text{inf}} \approx 200–400 bita. Napomena: Ovdje ne vrednujemo Penroseovu granicu termodinamičke 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 visoko kompresibilno. Oslanjamo se isključivo na poštene inflatorne granice.

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

K(\text{IC} \mid \mathcal{M}_1) \approx 300 \text{ bita (inflatorno)}

2.2 \mathcal{M}_2 — Generička renormalizabilna QFT

Klasa svih renormalizabilnih kvantnih teorija polja u \leq 4 prostorno-vremenske dimenzije. Ova 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 tvrdnji OPT-a da se zakoni biraju, a ne nabrajaju. Iako se MDL poređenje s \mathcal{M}_2 trivijalno dobija za bilo koju konačnu podklasu (uključujući \mathcal{M}_1), zato što je K(\mathcal{M}_2) neograničen, njeno uključivanje formalno služi da pokaže beskonačnu razmjeru problema odabira parametara koji Filter stabilnosti izvorno kolabira.

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

Standardna fizika s maksimalno jednostavnim početnim uslovima: termalno stanje (stanje maksimalne entropije) na Planckovoj skali. Zakoni su identični kao u \mathcal{M}_1; početni uslovi su trivijalno 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-vjerovatnoća 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 vjerovatnoće, te je uključena kako bi se pokazalo da se MDL prednost OPT-a ne postiže istim trikom.

§3. Dužina koda OPT-a — Teorem T-4a

MDL dužina koda za Teoriju uređenog patcha (OPT) dekomponira 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 uslovljena klasom kompatibilnom s promatračem \mathcal{O} (tokovi koji zadovoljavaju R_{\text{req}} \leq B_{\max}), a K_0 = K(\xi, \text{Filter}) je dužina 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 propusnog opsega 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). Filter stabilnosti zahtijeva dva parametra: C_{\max} i \Delta t, od kojih se svaki mjeri do \sim 4 značajne cifre, pa je K(C_{\max}, \Delta t) \leq 2 \times (4 \times \log_2 10) \approx 26 bita. Uslov R_{\text{req}} \leq B_{\max} je jedna 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 znači referentnu mašinu čiji ugrađeni skup instrukcija ne kodira nijednu fizičku teoriju preferencijalno (tj. osnovnu kombinatorsku ili Brainfuck-ekvivalentnu geometriju, potpuno agnostičnu prema fizici). Pod takvom nepristrasnom mašinom, održavanje K(\xi, \text{Filter}) \approx 36 bita uz standardizaciju K(\mathcal{M}_1) \approx 1750 bita jeste valjano. Izričito priznajemo da to apsolutni broj bitova čini 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 je poredak po rangu (K_0 \ll K(\mathcal{M}_1)), koji tvrdi robusnu strukturnu prednost nezavisnu od precizne numeričke konstante. \blacksquare

Poređenje: Isključujući zajednički UTM overhead, K_0 \approx 36 bita naspram K(\mathcal{M}_1) \approx 1750 bita. OPT-ovo pravilo selekcije 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 uz eksplicitan broj 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 uslovljavanjem univerzalne mjere na klasu promatrača \mathcal{O}.

Dokaz. Iz definicije Solomonoffove mjere (preprint, jednačina 1), pri čemu je 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 prelazu s univerzalne mjere \xi na ograničeni filter \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}) dobijamo:

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 referentnog modela za više od K'_0 bita. Odsad apsorbujemo \log(1/\xi(\mathcal{O})) u K_0 pod pretpostavkom da je klasa sekvenci promatrača uredno omeđena u odnosu na strukturne konstante UTM-a, ali taj jaz normalizacije bilježimo kao formalnu ranjivost.

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

Strukturni izvor MDL prednosti OPT-a jeste kompresija početnih uslova. U standardnoj fizici, zakoni i početni uslovi odvojeni su objekti koji oba moraju biti opisani. U OPT-u, početni uslovi apsorbirani su u prior: Solomonoffova mjera već dodjeljuje najveću težinu najjednostavnijim tokovima kompatibilnim s promatračem, čineći zasebnu specifikaciju IC 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 K(\text{IC} \mid \text{laws}) predstavlja dužinu opisa specifičnih početnih uslova uz zadate zakone — on nije izvediv iz samih zakona. Tu se nalazi mjesto finog podešavanja.

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 zadato 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). Definišimo 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 dužina opisa početnih uslova uz dati puni model OPT-a. \Delta_{\text{IC}} \geq 0, s jednakošću akko Filter stabilnosti ne pruža nikakvu dodatnu kompresiju IC-a povrh onoga što zakoni već daju.

Argument. Polazeći od punog dvodijelnog koda za SP i primjenjujući Solomonoffovu dominaciju (uz apsorpciju normalizacionih konstanti u član ograničenja UTM-a reda \mathcal{O}(1)):

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: Filter stabilnosti vrši odabir iz Solomonoffovog priora, koji inherentno komprimira IC putem težinskih faktora dužine. Subaditivnost AIT-a garantuje 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 deklarisanje sirovih zakona (što je središnja opklada 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}). Heuristički to daje \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 Filter stabilnosti visoko restriktivan, preslikavajući matematički na jedinstveno s promatračem kompatibilna stanja. To je motivisana fizička tvrdnja, 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 — uslovljena tipičnošću). Za svaki fiksni, netrivijalni izračunljivi model fizike \nu sa K_0 < K(\nu) < \infty, formulacija OPT-a ostvaruje fiksnu, trajnu prednost u složenosti modela, konkretno za svaki y_{1:T} \in \mathcal{O} koji je ujedno i \nu-tipičan. Kako dužina sekvence T \to \infty, razlika u ukupnoj dužini koda strukturno je ogranič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 garantuje da \xi konvergira ka \nu upravo na \nu-tipičnim sekvencama: mjereno kao \nu-gotovo-svi y_{1:\infty}. Ovdje treba uočiti duboku formalnu napetost: Filter stabilnosti izdvaja tokove koji se procjenjuju kao strogo niskoentropijski i strukturirani, čime ih strukturno mapira kao atipične u odnosu na standardne nekontrolirane tokove maksimalne entropije pod \nu-mjerom. Osim ako filtrirana klasa promatrača \mathcal{O} i \nu-tipična klasa ne posjeduju pokazivo netrivijalno matematičko preklapanje, Solomonoffova granica konvergencije ne može se neposredno iskoristiti. Shodno tome, ovaj teorem važi uslovno 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) stopa entropije modela \nu. Slično tome, -\frac{1}{T} \log \nu(y_{1:T}) \to H(\nu). Asimptotski, članovi log-loss log-vjerovatnoće po bitu konvergiraju i izjednačavaju se, što znači da se preostala prednost u ukupnoj dužini koda svodi isključivo na dužinu 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 dužina 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 bita. Jednom kada log-loss vjerovatnoće konvergiraju preko dovoljno širokih \nu-tipičnih prozora opažanja, OPT zadržava trajnu matematičku nadmoć u ukupnom kodiranju od približno 1714 bita.

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

Za tokove konačne dužine, MDL poređenje zahtijeva da IC kompresijska prednost iz T-4c nadmaši režijski trošak K_0.

Teorem T-4e (Konačna-T uslovna 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 uslov:

\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-vjerovatnoće OPT-a u odnosu na SP na konkretnom toku y_{1:T}. Uslov je zadovoljen kad god trošak opisa IC-a premašuje kombinovani režijski trošak meta-pravila i OPT-ov deficit predikcije na ovom toku.

Dokaz. Direktna manipulacija dužinama 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 (pri čemu se K_{\text{laws}} poništava na obje strane) neposredno se dobija navedeni uslov. \blacksquare

7.1 Evaluacija uslova za standardnu kosmologiju

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-vjerovatnoće: Funkcionalno pretpostavljamo da OPT, opremljen ograničenjima kodeka R_{T,h}(D) mapiranim u T-1, postiže barem jednako robustnu tačkastu log-vjerovatnoću kao standardna fizika na toku kompatibilnom s promatračem. Imajte na umu da Solomonoffove granice strogo daju dominaciju nad očekivanim sumama, a ne definitivne tač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 algoritamsku garanciju.

Prema tome, uslov se svodi na K(\text{IC} \mid \text{SP laws}) > K_0, tj. 300 > 36. To važi uz znatnu strukturnu marginu. Uslov ne vrijedi jedino ako IC košta manje od \sim 36 bita — tj. ako je specifični IC našeg univerzuma strukturno izvodiv samo iz SP zakona, uz manje od 36 rezidualnih bita. Nijedan aktuelni kosmološki model to ne postiže.

§8. Komparativna MDL tabela

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

§9. Granice poređenja

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

Dužina 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 Turingovom smislu (problem zaustavljanja onemogućava tačno računanje \xi). U praksi, predviđanja OPT-a moraju se aproksimirati konačnim kodekom K_\theta — što je standardno u fizici. To znači da se, za prediktivne svrhe, OPT svodi na najbolji dostupni izračunljivi kodek. MDL prednost OPT-a u odnosu na SP stoga je strukturna prednost (u opisu pravila selekcije), a ne operativna prednost u izvođenju novih predviđanja.

To nije nedostatak — to je ispravan formalni sadržaj tvrdnje iz preprinta: “OPT premješta dio eksplanatornog tereta sa enumeracije zakona na selekciju zakona.” Taj pomak je 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 je specifična izračunljiva mjera iz \mathcal{M} koju odabire Filter stabilnosti. T-4 ne određuje koja je to mjera — ta identifikacija zahtijeva T-5 (rekonstrukciju konstanti) i puni program fizičkog ujedinjenja. Dok se K_\theta eksplicitno ne identificira sa SM + GR, MDL poređenje ostaje uslovljeno tom identifikacijom. Formalna granica L_T(\text{OPT}) \leq L_T(\text{SP}) + K_0 garantira da OPT ne može proći lošije od SP, ali ne garantira da prolazi bolje u konačnom vremenu osim ako je ispunjen IC uslov iz T-4e — što i jeste slučaj pod standardnim kosmološkim pretpostavkama.

Ograničenje iz P-2. Dodatak P-2 (Ugnježđivanje Hilbertovog prostora putem kvantne korekcije greške) uspostavlja da, pod lokalnim šumom, kodek mora zadovoljavati QECC strukturu — njegova unutrašnja reprezentacija mora sačinjavati kvantni kod za korekciju greške 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 greške Hilbertovog prostora. Ovo 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

Isporuke T-4 — potvrđeno zatvorene (uz uslove normalizacije i tipičnosti)

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

2. Benchmark klase fiksirane (§2). Evaluira \mathcal{M}_1 (SM+GR) naspram trivijalnih granica poput \mathcal{M}_2 (eksplodirajuća selekcija parametara generativnog opsega) i \mathcal{M}_3 (Boltzmannov kolaps vjerovatnoće).

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

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

5. Pretpostavka T-4c (Heuristička granica IC kompresije). Strukturna redundantnost početnih uslova jeste pretpostavljeni mehanizam kompresije: \Delta_{\text{IC}} = K(\text{IC}\mid\text{SP}) - K(\text{IC}\mid\text{OPT}) \geq 0, iako je jedinstvenost preslikavanja uslovna. Ovo služi kao heuristička granica, a ne kao formalno dokazana teorema.

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

7. T-4e (Prednost pri konačnom T — uslovna). OPT numerički nadmašuje \mathcal{M}_1 pri konačnom T upravo onda kada empirijski tačkasti gubici ne ponište jezgrenu strukturnu granicu K(\text{IC}\mid\text{SP}) > K_0 (300 > 36). Time se ranjivost izravno fokusira na pretpostavke algoritamske tačkaste dominacije.

Uslovi opovrgavanja za MDL tvrdnju

• Izvođenje kosmoloških početnih uslova samo iz SP zakona u manje od \sim 36 bita — što pokazuje da je K(\text{IC} \mid \text{SP laws}) < K_0.
• Pokazivanje da ograničenje Filtera stabilnosti na tokove kompatibilne s promatračem 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 za koji se pokazuje da je manje tačan od SM+GR na tokovima promatrača, tako da deficit log-vjerovatnoće premašuje dobitak od IC kompresije.

Nizvodne zavisnosti

• T-5 (Oporavak konstanti) je suštinski sljedeći korak: kada se kodek K_\theta identificira sa zakonima SM+GR putem T-1/T-2/T-3, MDL poređenje postaje potpuno eksplicitno, a uslov 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 dodatak održava se kao dio repozitorija OPT projekta, zajedno s theoretical_roadmap.pdf. Reference: Rissanen (1978) [12], Li & Vitányi (2008) [27], Solomonoff (1964) [11], Penrose (2004).