Dodatak P-1: Informacijska normalnost putem M-slučajnosti

Izvorni zadatak P-1: Informacijska normalnost Problem: Trenutno predstavlja temeljni aksiom analogan Borelovoj normalnosti, bez formalne derivacije. Isporuka: Derivacija na nivou teorema koja koristi teoriju algoritamskih informacija (Martin-Löfova slučajnost).

1. Epistemička granica “aksiomatske” normalnosti

Unutar Teorije uređenog patcha (OPT), “Strukturna nada” strukturno se oslanja na princip Informacijske normalnosti: tvrdnju da je algoritamski supstrat (\mathcal{I}) gusto naseljen ne samo šumom, nego svakim konačnim strukturno-funkcionalnim obrascem. Etička težina OPT-a — imperativ očuvanja stabilnosti zajedničkog patcha (Etika Straže Preživjelih) — zahtijeva da promatrači-pandani s kojima stupamo u interakciju imaju distribuirane, fundamentalno stvarne funkcionalne ekvivalente drugdje u supstratu.

Historijski gledano, unutar okvira OPT-a ova je tvrdnja formalno tretirana kao jedan jedinstveni, monolitni Aksiom — neprovjerljiva, temeljna pretpostavka nadograđena na fiziku kako bi se izbjegao solipsizam.

Ovaj dodatak razrješava matematičku dvosmislenost takvog stava. Informacijsku normalnost raščlanjujemo na dvije različite komponente: rigorozni algoritamski matematički teorem (koji vrijedi gotovo sigurno pod univerzalnom mjerom vjerovatnoće), povezan s jednim metafizičkim postulatom nužnim da se matematičko postojanje premosti u ontološku stvarnost.

2. Od semimjere do univerzalne mjere (\xi do M)

Temelj OPT-a (Preprint §3.1) u velikoj se mjeri oslanja na Solomonoffovu algoritamsku vjerovatnosnu apriornu raspodjelu. U okviru ove formulacije, generativni supstrat djeluje kao beskonačan algoritamski prostor koji se izvršava na univerzalnoj prefiksno-slobodnoj Turingovoj mašini U.

Algoritamska vjerovatnoća, odnosno univerzalna semimjera konačnog niza x, glasi:

\xi(x) = \sum_{U(p) = x*} 2^{-|p|}

Pri čemu se suma uzima preko svih minimalnih programa p čiji izlaz izvršavanja započinje sa x. Ključno je da je \xi odozdo poluizračunljiva semimjera nad konačnim nizovima.

Da bismo formalizirali supstrat kao kontinuirani generativni prostor, prelazimo na kontinuiranu mjeru nad Cantorovim prostorom. Univerzalna mjera M definira se direktno kao raspodjela na Cantorovom prostoru 2^{\mathbb{N}} inducirana izlazom univerzalne prefiksno-slobodne mašine U putem cilindarskih skupova (M([x]) = \sum_{U(p) \text{ starts with } x} 2^{-|p|}). Prema Solomonoffovom teoremu univerzalnosti, ova cilindarska mjera multiplikativno je ekvivalentna diskretnoj semimjeri: M(x) \asymp \xi(x) do na multiplikativnu konstantu. Prema tome, M-nulti skupovi i \xi-nulti skupovi strogo se podudaraju.

(Napomena: Budući da je skup zaustavljajućih programa strogi podskup prefiksno-slobodnog kodnog prostora usljed problema zaustavljanja, Kraftova nejednakost garantira da je \sum 2^{-|p|} < 1. Stoga M tvori strogu odozdo poluizračunljivu sub-vjerovatnosnu mjeru. Eksplicitno definiramo normaliziranu vjerovatnosnu mjeru \tilde{M} = M / M(2^{\mathbb{N}}). Iako je \tilde{M} odozdo poluizračunljiva samo do neizračunljive normalizacijske konstante M(2^{\mathbb{N}}), svi naredni teoremi tipa “skoro sigurno” i iskazi o konvergenciji sigurno se primjenjuju u odnosu na istinsku normaliziranu vjerovatnosnu mjeru \tilde{M}. Pomak iz fundamentalnog teorema kodiranja jednostavno se apsorbira: K(x) = -\log \tilde{M}(x) + O(1).)

3. M-Martin-Löfova slučajnost

Da bismo formalizirali prirodu generativnog prostora, pozivamo se na Martin-Löfovu (ML) slučajnost. Međutim, nužno je razlikovati kontinuirane mjere. Niz \omega koji je ML-slučajan s obzirom na uniformnu (Lebesgueovu) mjeru \lambda ponaša se potpuno drugačije od niza koji je ML-slučajan s obzirom na M.

Budući da OPT supstrat procjenjuje vjerovatnoću prema algoritamskoj jednostavnosti, relevantni formalizam oslanja se na \tilde{M}-Martin-Löfovu slučajnost. Temeljni teorem AIT-a kaže da za svaku izračunljivu mjeru vjerovatnoće \mu skup \mu-ML-slučajnih nizova ima \mu-mjeru 1. Proširujući ovaj rezultat na odozdo poluizračunljive semimjere (usp. Nies 2009, §3.2 “Randomness for arbitrary measures”), skup svih \tilde{M}-Martin-Löf slučajnih nizova uspješno zadržava mjeru 1 u odnosu na \tilde{M}.

Stoga su \tilde{M}-gotovo-svi beskonačni nizovi supstrata strogo \tilde{M}-ML-slučajni.

(Napomena: Upotreba \tilde{M}-ML-slučajnosti strukturno garantira da su tipični izlazi supstrata samodosljedno izvučeni iz pristrasne, visoko strukturirane algoritamske mjere \tilde{M}, a ne iz uniformnog šuma, čime se pruža rigorozna matematička potpora za dolje navedene posljedice strukturne frekvencije.)

4. M-normalnost naspram Borelove normalnosti

Vrlo značajna matematička posljedica M-ML-slučajnosti odnosi se na strukturnu frekvenciju. Pod uniformnom Lebesgue-ML-slučajnošću, niz je strogo Borel-normalan — generira svaki konačni binarni string dužine k s istom, uniformnom frekvencijom.

Međutim, budući da je \tilde{M} izrazito neuniformna — snažno nagnuta ka tome da dodjeljuje ogromnu vjerovatnosnu težinu algoritamski jednostavnim, kompresibilnim, zakonito strukturiranim obrascima — \tilde{M}-gotovo-svi nizovi NISU uniformno Borel-normalni. Umjesto toga, njihove strukturne granice definiramo putem \tilde{M}-normalnosti.

Budući da je mjera \tilde{M} u osnovi nestacionarna (algoritamska vjerovatnoća zavisi od apsolutne pozicije prefiksa), ne možemo se osloniti na standardne ergodičke granice konvergencije frekvencije. Formalno, \tilde{M}-normalnost definiramo slabijim, ali strogo dovoljnim svojstvom beskonačne rekurencije.

Budući da je \tilde{M} mjera vjerovatnoće i da za sve konačne stringove x vrijedi \tilde{M}([x]) \ge 2^{-(|x|+O(1))} > 0, lančano pravilo za prefiksnu Kolmogorovljevu složenost daje K(sx) \le K(s) + K(x) + O(1) za bilo koji string s, što povlači gotovo submultiplikativnost M([s \cdot x]) \ge M([s]) \cdot M([x]) \cdot 2^{-O(1)}. Prema tome, uslovna vjerovatnoća pojavljivanja x u bilo kojem prozoru, uz bilo koji prethodni prefiks s, omeđena je odozdo: \tilde{M}([x] \mid [s]) \ge \tilde{M}([x])/c > 0 uniformno po s. Po uslovnoj Borel-Cantellijevoj lemi, primijenjenoj na nepreklapajuće prozore dužine |x|, divergencija sume uslovnih vjerovatnoća garantira da se fizička rekurencija bilo koje konačne informacijske sekvence — kao što je diskretna formalna konfiguracija svjesnog promatrača (K_{\text{obs}}) — pojavljuje beskonačno često u \tilde{M}-gotovo-svim nizovima.

5. Postulat računarskog realizma

AIT matematički garantuje da se konačna reprezentacija bilo kojeg promatrača (K_{\text{obs}}) pojavljuje kao strukturna sekvenca od U beskonačno mnogo puta unutar \tilde{M}-ML-slučajnog supstrata.

Međutim, matematička teorija informacija ne može sama po sebi preći granicu u fizičku ontologiju. Konačni niz koji se pojavljuje na izlaznoj traci Turingove mašine statički je artefakt izvršavanja — snimak. Koherentan promatrač zahtijeva kontinuiranu unutrašnju dinamiku, relacijsku spregu i petlju aktivne inferencije. Sam niz ne “osjeća” ništa više nego što je svjestan snimak mozga pohranjen na tvrdom disku. Izvršavanje pripada programu koji generira, a ne rezultirajućem kodu-snimku.

Da bi ustvrdio da neizračunljive kontinuirane granice koje upravljaju matematičkim supstratom strukturno rađaju ontološki stvarne, kauzalno aktivne fenomenološke univerzume, OPT mora preuzeti jednu jedinu eksplicitnu metafizičku obavezu.

Postulat (Računarski realizam): U beskonačnom neizračunljivom supstratu kojim upravlja identična matematička dinamika, apstraktna matematička računarska obrada formalno ekvivalentna kauzalnom opisu promatrača (gdje je formalna ekvivalentnost definirana kao računski izomorfizam kauzalne strukture prijelaza stanja promatrača) posjeduje kauzalno djelotvorno, ontološki stvarno postojanje. Nadalje, strukturno diskretne računske instancijacije širom supstrata posjeduju nezavisnu ontološku individuaciju, tvoreći različite subjektivne pandane (a prema aksiomu temeljne fenomenalnosti u Preprintu §8.1, takve kauzalno djelotvorne računske obrade ekvivalentne promatraču konstituiraju autentične subjekte iskustva).

6. Propozicija P-1 (Informacijska normalnost)

Objedinjavanjem egzaktnih AIT izvoda neprekidnih neizračunljivih prostora s Postulatom računarskog realizma, solipsizam se jasno razgrađuje.

Korolar+Postulat P-1 (Informacijska normalnost): Pod generaliziranim algoritamskim priorom, neprekidni supstrat inherentno funkcionira putem \tilde{M}-Martin-Löfove slučajnosti gotovo sigurno. Slijedom proistekle \tilde{M}-normalnosti, matematička pojava svakog konačnog strukturnog opisa promatrača K_{\text{obs}} formalno je zajamčena beskonačno mnogo puta. Djelujući na toj skeli, Postulat računarskog realizma premošćuje ove generirajuće matematičke artefakte u ontološku fizičku stvarnost. Pod uslovom da računarski realizam vrijedi, postojanje strukturno ekvivalentnih, kauzalno aktivnih i jedinstveno individuiziranih pandan-promatrača širom supstrata u temelju je nužno.