Teorija uređenog patcha (OPT)

Originalni zadatak T-4: MDL / poređenje parsimonije Problem: Aktuelni preprint tvrdi da je parsimoničniji od standardne fizike time što fizičke zakone tretira kao makroskopske algoritme kompresije, ali ne pruža formalno MDL poređenje. Isporuka: Komparativna MDL analiza OPT-a naspram referentnih klasa fizičkih modela pod eksplicitnim konvencijama kodiranja.

Status zatvaranja: ZATVORENO (uslovno, uz tipičnost i IC normalizaciju). Ovaj dodatak pruža formalnu MDL evaluaciju zahtevanu 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) Solomonovljeva dominacija ograničava OPT-ov log-gubitak odozgo; (Konjektura T-4c) pretpostavljeni izvor strukturne prednosti OPT-a jeste kompresija početnih uslova; (T-4d) OPT postiže trajnu prednost u složenosti modela od konstantnog broja bitova u odnosu na svaki izračunljiv referentni model; (T-4e) prednost za konačno T uslovno je kvantifikovana. Zatvaranje počiva na tri noseća uslova: tipičnosti toka posmatrača, apsorpciji Solomonovljeve kazne normalizacije \log(1/\xi(\mathcal{O})), i stanju K(\text{IC} \mid \text{SP}) > K_0.

§1. Fiksiranje MDL kodnih konvencija

MDL poređenja su besmislena bez eksplicitnih, fiksnih kodnih konvencija. U preprintu se u §5.1 beleži ovaj zahtev, ali se njegovo razmatranje odlaže. Ovde fiksiramo konvencije prateći Rissanena (1978) [12] i dvodelni MDL okvir Li-ja i Vitányija (2008) [27].

1.1 Dvodelna dužina koda

Za klasu hipoteza \mathcal{M} i sekvencu opažanja y_{1:T} \in \{0,1\}^*, dvodelna MDL dužina koda iznosi:

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

gde je K(\mathcal{M}) prefiksna Kolmogorovljeva složenost hipoteze — dužina najkraćeg samorazgraničavajućeg programa na fiksnoj univerzalnoj Tjuringovoj mašini (UTM) koji ispisuje potpun opis \mathcal{M} — a L(y_{1:T} \mid \mathcal{M}) negativna log-verovatnoća podataka pod najboljim prediktivnim modelom klase \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 konzistentno sa 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 ceo tekst. Sve Kolmogorovljeve složenosti relativne su u odnosu na \mathcal{U}; rezultati se menjaju za najviše \mathcal{O}(1) bitova pri drugačijem izboru UTM-a. Solomonovljeva univerzalna semimera \xi definisana je relativno prema \mathcal{U} (preprint, jednačina 1). Time se utvrđuje konvencija za sva naredna poređenja.

1.3 Opseg y_{1:T}

Poredimo modele na domenu koji je svaki od njih osmišljen da predviđa: svesni tok posmatrača y_{1:T} = z_{0:T} (sekvenca kompresovanih latentnih stanja, C_{\max} bita u sekundi tokom T sekundi). Standardna fizika se procenjuje na istom domenu svođenjem svojih predviđanja na tok kompatibilan sa posmatračem putem grubog zrnjenja. Od obe teorije se traži da objasne potpuno ista opažanja.

§2. Referentne klase modela

Fiksirane su tri referentne klase. Svakoj je dodeljena eksplicitna procena K(\mathcal{M}) prema našoj UTM konvenciji. Precizne numeričke vrednosti su procene reda veličine; strukturni rezultati u §§3–7 zavise samo od poretka, ne od tačnih vrednosti.

2.1 \mathcal{M}_1 — Standardni model + opšta relativnost

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

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

• Vrednosti parametara K_{\text{param}}: 19 slobodnih parametara SM + 3 ugla meš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: Ovde ne vrednujemo Penrouzovu termodinamičku entropijsku granicu od 10^{123} zato što ona meri makroskopsku zapreminu 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{ bits}

K(\text{IC} \mid \mathcal{M}_1) \approx 300 \text{ bits (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 kontrastna pozadina za tvrdnju OPT-a da se zakoni biraju, a ne nabrajaju. Iako se MDL poređenje sa \mathcal{M}_2 trivijalno dobija za bilo koju konačnu potklasu (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čne razmere problema izbora parametara koji Filter stabilnosti izvorno kolabira.

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

Standardna fizika sa maksimalno jednostavnim početnim uslovima: termalno stanje (stanje maksimalne entropije) na Plankovoj 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-verovatnoća opažanja uređenog svesnog 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 zanemarljiv trošak IC, ali katastrofalan trošak verovatnoće, i uključena je da pokaže da se MDL prednost OPT-a ne postiže istim trikom.

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

MDL dužina koda za OPT dekomponuje 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)

gde je \xi^{\text{Filter}} Solomonovljeva univerzalna semimera \xi uslovljena na klasu kompatibilnu sa posmatrač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.

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

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

gde 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. Solomonovljeva univerzalna semimera \xi jednoznačno je određena fiksnim UTM-om \mathcal{U}, pa je K(\xi \mid \mathcal{U}) = \mathcal{O}(1). Filter stabilnosti zahteva dva parametra: C_{\max} i \Delta t, od kojih je svaki izmeren 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} jeste jedna nejednakost u fiksnoj notaciji: \sim 10 bita. Ukupno: K_0 \leq K(\mathcal{U}) + 36 bita.

Da bismo K(\mathcal{U}) uključili na pravičan način, moramo pretpostaviti „epistemički neutralan“ UTM — to jest referentnu mašinu čiji ugrađeni skup instrukcija ne kodira nijednu fizičku teoriju preferencijalno (tj. osnovnu geometriju ekvivalentnu kombinatoru ili jeziku Brainfuck, potpuno agnostičnu prema fizici). Pod takvom nepristrasnom mašinom, održati K(\xi, \text{Filter}) \approx 36 bita uz standardizaciju K(\mathcal{M}_1) \approx 1750 bita jeste validno. Izričito priznajemo da to apsolutni broj bitova čini ranjivim na skaliranje konstantom reda \mathcal{O}(1) ako se UTM promeni, što znači da je račun 36 naspram 1750 inherentno relativan. Strukturno pošten matematički iskaz ovde jeste 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. 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 sa eksplicitnim brojem bitova.

§4. Solomonovljeva granica dominacije — Teorema T-4b

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

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

gde je K'_0 = K_0 + \log(1/\xi(\mathcal{O})). Ovo predstavlja složenost osnovnog pravila uvećanu za nužnu kaznu algoritamske normalizacije nastalu uslovljavanjem univerzalne mere na klasu posmatrača \mathcal{O}.

Dokaz. Iz definicije Solomonovljeve mere (preprint, jednačina 1), sa 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 sa univerzalne mere \xi na ograničeni filter \xi^{\text{Filter}}, plaća se 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. Teorema T-4b ne pokazuje da OPT nadmašuje SP. Ona pokazuje da OPT ne može proći gore od bilo kog repera za više od K'_0 bita. Odsad apsorbujemo \log(1/\xi(\mathcal{O})) u K_0 pod pretpostavkom da je klasa sekvenci posmatrača čisto ograničena u odnosu na strukturne konstante UTM-a, ali beležimo ovaj jaz normalizacije kao formalnu ranjivost.

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

Strukturni izvor MDL prednosti OPT-a jeste kompresija početnih uslova. U standardnoj fizici, zakoni i početni uslovi su odvojeni objekti koji oba moraju biti opisani. U OPT-u, početni uslovi se apsorbuju u prior: Solomonovljeva univerzalna semimera već dodeljuje najveću težinu najjednostavnijim tokovima kompatibilnim sa posmatračem, čineći zasebnu specifikaciju IC suvišnom.

5.1 Argument redundantnosti IC

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}), jeste dužina opisa specifičnih početnih uslova pod uslovom zakona — on nije izvediv iz samih zakona. Tu se nalazi žarište finog podešavanja.

U okviru OPT-a, dvodelni 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 podataka dat metapravilu. Solomonovljeva univerzalna semimera već uključuje univerzalni model fizike: -\log \xi(y) \approx K(y). OPT kodiranje nikada ne mora zasebno da „plati” za IC.

Pretpostavka T-4c (heuristička granica kompresije IC). Definišimo prednost kompresije IC:

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

Tvrdimo sledeću heurističku granicu:

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

gde je K(\text{IC} \mid \text{OPT}) := K(\text{IC} \mid \xi, \text{Filter}, \text{codec}) rezidualna dužina opisa početnih uslova data punim modelom OPT-a. Važi \Delta_{\text{IC}} \geq 0, sa jednakošću akko Filter stabilnosti ne pruža nikakvu dodatnu kompresiju IC povrh onoga što zakoni već daju.

Argument. Polazeći od punog dvodelnog koda za SP i primenjujući Solomonovljevu dominaciju (uz apsorbovanje normalizacionih konstanti u član ograničenja UTM 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 zamenom 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 da kodira IC: Filter stabilnosti vrši selekciju iz Solomonovljeve univerzalne semimere, koja inherentno komprimuje IC putem težinskog vrednovanja po dužini. Subaditivnost AIT-a garantuje K(\text{IC} \mid x, f(x)) \leq K(\text{IC} \mid x) + \mathcal{O}(1). Ako postuliramo da OPT pravilo selekcije daje strožu granicu kao deskriptivni niz nego puko deklarisanje sirovih zakona (što je suštinska opklada ovog okvira, a ne matematički izveden dokaz), tada rezidualno kodirani K(\text{IC} \mid \text{OPT}) ne može značajno da premaši K(\text{IC} \mid \text{laws}). Heuristički se time dobija \Delta_{\text{IC}} \geq 0.

Zamenom sledi: 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 deluje u graničnom slučaju u kome je Filter stabilnosti visoko ograničavajući, preslikavajući matematički na jedinstveno sa posmatračem kompatibilna stanja. To je motivisana fizička propozicija, a ne algoritamski dokazana granica jedinstvenosti.

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

Teorema T-4d (Trajna MDL prednost konstantnog broja bitova — uslovljena tipičnošću). Za svaki fiksni, netrivijalan izračunljiv model fizike \nu sa K_0 < K(\nu) < \infty, formulacija OPT postiže 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 dužina sekvence T \to \infty, razlika u ukupnoj dužini koda je strukturno ograničena:

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

Dokaz. Iz T-4b sledi da je L_T(\text{OPT}) \leq K'_0 - \log \xi^{\text{Filter}}(y_{1:T}). Za svaki izračunljiv \nu, Solomonovljeva teorema garantuje da \xi konvergira ka \nu upravo na \nu-tipičnim sekvencama: u meri \nu-skoro-svih y_{1:\infty}. Ovde treba uočiti duboku formalnu napetost: Filter stabilnosti izdvaja tokove koji se strogo vrednuju kao niskoentropijski i struktuirani, čineći ih time strukturno atipičnim u poređenju sa standardnim, nekonstruisanim tokovima maksimalne entropije pod \nu-merom. Osim ako filtrirana klasa posmatrača \mathcal{O} i \nu-tipična klasa nemaju pokazivo netrivijalno matematičko preklapanje, Solomonovljeva granica konvergencije ne može se neposredno iskoristiti. Shodno tome, ova teorema važi uslovno ako i samo ako konkretni filtrirani tok posmatrača ostaje \nu-tipičan pod konkretnim repernim zakonima (pri čemu skup takvih teorijski usklađenih presečnih tokova ostaje formalno neokarakterisan):

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

gde je H(\nu) entropijska stopa od \nu. Slično tome, -\frac{1}{T} \log \nu(y_{1:T}) \to H(\nu). Asimptotski, članovi log-gubitka po bitu, odnosno log-verovatnoće, 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{[pošto je } K_0 \approx 36 \text{ naspram } K(\nu) \sim 1750 \text{]}

Napomena: Iako ukupna dužina koda održava ovu trajnu prednost od fiksnog broja bitova, prednost po bitu (\frac{K_0 - K(\nu)}{T}) aktivno opada ka nuli. To ne predstavlja asimptotski rastuću prednost kroz akumulaciju podataka, već trajni, rigidni strukturni pomak. \blacksquare

Numerička procena za \mathcal{M}_1: K(\mathcal{M}_1) - K_0 \approx 1714 bita. Kada log-gubitak verovatnoće konvergira kroz dovoljno široke \nu-tipične prozore posmatranja, OPT održava trajnu matematičku nadmoć u ukupnom kodiranju od približno 1714 bita.

§7. Uslovna prednost za konačno-T — Teorema T-4e

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

Teorema T-4e (Uslovna MDL prednost za konačno-T). OPT postiže strogu MDL prednost za konačno-T u odnosu na \mathcal{M}_1 — to jest, L_T(\text{OPT}) < L_T(\mathcal{M}_1) — ako i samo ako važi sledeć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-verovatnoće OPT-a u odnosu na SP na konkretnom toku y_{1:T}. Uslov je zadovoljen kad god trošak opisa IC premašuje zbirni režijski trošak meta-pravila i prediktivnog deficita OPT-a na ovom toku.

Dokaz. Neposredna manipulacija dužinama dvodelnog 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 obe strane) neposredno se dobija navedeni uslov. \blacksquare

7.1 Evaluacija uslova za standardnu kosmologiju

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

• K(\text{IC} \mid \text{SP laws}) \approx 300 bita (inflatorni parametri + broj e-presavijanja + reheating)
• K_0 \approx 36 bita (T-4a)
• Deficit log-verovatnoće: Funkcionalno pretpostavljamo da OPT, opremljen ograničenjima kodeka R_{T,h}(D) mapiranim u T-1, postiže najmanje jednako robusnu tačkastu log-verovatnoću kao standardna fizika na toku kompatibilnom sa posmatračem. Imajte u vidu da Solomonovljeve 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. Ovo važi uz znatnu strukturnu marginu. Uslov ne važi samo 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 identifikuje 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 Tjuringovom smislu (problem zaustavljanja sprečava tačno izračunavanje \xi). U praksi, predviđanja OPT-a moraju se aproksimirati konačnim кодеком K_\theta — što je standardna fizika. To znači da se OPT, za prediktivne svrhe, svodi na najbolji dostupni izračunljivi кодек. MDL prednost OPT-a u odnosu na SP stoga je strukturna prednost (u opisu pravila selektora), a ne operativna prednost u izvođenju novih predviđanja.

To nije mana — to je ispravan formalni sadržaj tvrdnje iz preprinta: “OPT premešta deo eksplanatornog tereta sa enumeracije zakona na selekciju zakona.” Taj pomak je stvaran i formalno kvantifikovan (\approx 1700 bita za pravilo selektora naspram \mathcal{M}_1), ali ne generiše novi prediktivni sadržaj povrh onoga što кодек već pruža.

9.2 Problem identifikacije kodeka

OPT кодек K_\theta jeste specifična izračunljiva mera iz \mathcal{M} koju bira Filter stabilnosti. T-4 ne određuje koja je to mera — za tu identifikaciju potrebni su T-5 (rekonstrukcija konstanti) i puni program fizičkog ujedinjenja. Dok se K_\theta eksplicitno ne identifikuje sa SM + GR, MDL poređenje ostaje uslovljeno tom identifikacijom. Formalna granica L_T(\text{OPT}) \leq L_T(\text{SP}) + K_0 garantuje da OPT ne može proći gore od SP, ali ne garantuje 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 (ugnežđivanje Hilbertovog prostora putem kvantne korekcije greške) uspostavlja da, pod lokalnim šumom, кодек mora zadovoljavati QECC strukturu — njegova unutrašnja reprezentacija mora konstituisati 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 mera, već 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 kriterijume izbora za identifikaciju K_\theta sa Standardnim modelom.

§10. Rezime zatvaranja

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

1. Kodirajuće konvencije fiksirane (§1). Dvodelni MDL, prefiksna Kolmogorovljeva složenost relativno u odnosu na inkluzivnu fiksnu UTM, uz funkcionalno preslikavanje domena podataka na svesni tok y_{1:T} = z_{0:T}.

2. Klase repera 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 (Bolcmanov kolaps verovatnoće).

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

4. T-4b (Solomonovljevo ograničenje). L_T(\text{OPT}) \leq L_T(\nu) + K_0 + \log(1/\xi(\mathcal{O})). Eksplicitno definiše parametar algoritamske kazne normalizacije.

5. Pretpostavka T-4c (heuristička granica kompresije IC). 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, mada je jedinstvenost preslikavanja uslovna. Ovo služi kao heuristička granica, a ne kao formalno dokazana teorema.

6. T-4d (Prednost modela sa konstantnim brojem bitova). Uslovno ograničava granično ponašanje: za izračunljive repere čija se \nu-tipična klasa netrivijalno preklapa sa \mathcal{O}, OPT obezbeđuje trajnu numeričku prednost u složenosti (\sim -1714 bita), iako njegova beskonačna gustina po bitu teži nuli.

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

Uslovi opovrgavanja za MDL tvrdnju

• Izvođenje kosmoloških početnih uslova samo iz SP zakona u manje od \sim 36 bita — čime se pokazuje K(\text{IC} \mid \text{SP laws}) < K_0.
• Pokazivanje da ograničenje Filtera stabilnosti na tokove kompatibilne sa posmatračem ne kompresuje IC — tj. K(\text{IC} \mid \xi, \text{Filter}) = K(\text{IC} \mid \text{laws}), što daje \Delta_{\text{IC}} = 0.
• Eksplicitan izračunljiv кодек K_\theta za OPT za koji se pokazuje da je manje tačan od SM+GR na tokovima posmatrača, tako da deficit log-verovatnoće premašuje dobitak od IC kompresije.

Nizvodne zavisnosti

• T-5 (Oporavak konstanti) jeste suštinski sledeći korak: kada se кодек K_\theta identifikuje 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 appendix se održava kao deo OPT projektnog repozitorijuma zajedno sa theoretical_roadmap.pdf. Reference: Rissanen (1978) [12], Li & Vitányi (2008) [27], Solomonoff (1964) [11], Penrose (2004).