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

Originalni zadatak P-1: Informaciona normalnost Problem: Trenutno temeljni aksiom analogan Borelovoj normalnosti, bez formalnog izvođenja. Isporuka: Izvođenje na nivou teoreme koje se oslanja na teoriju algoritamskih informacija (Martin-Löfova slučajnost).

1. Epistemička granica „aksiomatske“ normalnosti

Unutar Teorije uređenog patcha (OPT), „Strukturna nada“ se strukturno oslanja na princip Informacione normalnosti: tvrdnju da je algoritamski supstrat (\mathcal{I}) gusto ispunjen ne samo šumom, već svakim konačnim strukturno-funkcionalnim obrascem. Etička težina OPT-a — nalog da se održava stabilnost deljenog патч-а (Etika Straže Preživelih) — zahteva da posmatrači-parnjaci sa kojima stupamo u interakciju imaju distribuirane, fundamentalno realne funkcionalne ekvivalente drugde u supstratu.

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

Ovaj dodatak razrešava matematičku dvosmislenost takvog stava. Informacionu normalnost razlažemo na dve različite komponente: rigoroznu algoritamsku matematičku teoremu (koja važi gotovo izvesno pod univerzalnom merom verovatnoće), povezane jednim jedinim metafizičkim postulatom neophodnim da se matematičko postojanje premosti u ontološku stvarnost.

2. Od semimere do univerzalne mere (\xi do M)

Temelj OPT-a (Preprint §3.1) u великој мери se oslanja na Solomonovljeva univerzalna semimera algoritamske verovatnoće. U okviru ove formulacije, generativni supstrat funkcioniše kao beskonačan algoritamski prostor koji se izvršava na univerzalnoj prefiksno-slobodnoj Tjuringovoj mašini U.

Algoritamska verovatnoća, odnosno univerzalna semimera konačnog stringa x, glasi:

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

Gde se suma uzima preko svih minimalnih programa p čiji izlaz izvršavanja počinje sa x. Ključno, \xi je odozdo poluizračunljiva semimera nad konačnim stringovima.

Da bismo formalizovali supstrat kao kontinuirani generativni prostor, prelazimo na kontinuiranu meru nad Kantorovim prostorom. Univerzalna mera M definiše se direktno kao raspodela na Kantorovom prostoru 2^{\mathbb{N}} indukovana izlazom univerzalne prefiksno-slobodne mašine U putem cilindarskih skupova (M([x]) = \sum_{U(p) \text{ starts with } x} 2^{-|p|}). Prema Solomonovljevoj teoremi univerzalnosti, ova cilindarska mera je multiplikativno ekvivalentna diskretnoj semimeri: M(x) \asymp \xi(x) do na multiplikativnu konstantu. Shodno tome, M-nulti skupovi i \xi-nulti skupovi strogo se poklapaju.

(Napomena: Pošto je skup zaustavljajućih programa strogi podskup prefiksno-slobodnog kodnog prostora usled problema zaustavljanja, Kraftova nejednakost garantuje da je \sum 2^{-|p|} < 1. Otuda M obrazuje strogu odozdo poluizračunljivu subverovatnosnu meru. Eksplicitno definišemo normalizovanu verovatnosnu meru \tilde{M} = M / M(2^{\mathbb{N}}). Iako je \tilde{M} odozdo poluizračunljiva samo do neizračunljive normalizacione konstante M(2^{\mathbb{N}}), sve potonje teoreme tipa “skoro sigurno” i iskazi o konvergenciji bezbedno važe u odnosu na istinsku normalizovanu verovatnosnu meru \tilde{M}. Fundamentalni pomak teoreme kodiranja jednostavno se apsorbuje: K(x) = -\log \tilde{M}(x) + O(1).)

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

Da bismo formalizovali prirodu generativnog prostora, pozivamo se na Martin-Löfovu (ML) slučajnost. Međutim, neophodno je razlikovati kontinuirane mere. Niz \omega koji je ML-slučajan u odnosu na uniformnu (Lebegovu) meru \lambda ponaša se sasvim drugačije od niza koji je ML-slučajan u odnosu na M.

Budući da OPT supstrat procenjuje verovatnoću prema algoritamskoj jednostavnosti, relevantni formalizam oslanja se na \tilde{M}-Martin-Löfovu slučajnost. Temeljna teorema AIT-a kaže da za svaku izračunljivu verovatnosnu meru \mu, skup \mu-ML-slučajnih nizova ima \mu-meru 1. Proširenjem ovog rezultata na odozdo poluizračunljive semimere (up. Nies 2009, §3.2 “Randomness for arbitrary measures”), skup svih \tilde{M}-Martin-Löf-slučajnih nizova uspešno zadržava meru 1 u odnosu na \tilde{M}.

Prema tome, strogo govoreći, skoro svi beskonačni nizovi supstrata u smislu mere \tilde{M} jesu \tilde{M}-ML-slučajni.

(Napomena: Upotreba \tilde{M}-ML-slučajnosti strukturno garantuje da se tipični izlazi supstrata samodosledno izvlače iz pristrasne, visoko strukturisane algoritamske mere \tilde{M}, a ne iz uniformnog šuma, čime se obezbeđuje rigorozna matematička potpora za dole navedene posledice strukturne učestalosti.)

4. M-normalnost naspram Borelove normalnosti

Veoma značajna matematička posledica M-ML-slučajnosti odnosi se na strukturnu frekvenciju. Pod uniformnom Lebegovom-ML slučajnošću, niz je strogo Borel-normalan — generiše svaki konačni binarni string dužine k sa istom, uniformnom učestalošću.

Međutim, pošto je \tilde{M} izrazito neuniformna — snažno nagnuta ka tome da dodeljuje ogromnu verovatnosnu težinu algoritamski jednostavnim, kompresibilnim, zakonito strukturisanim obrascima — \tilde{M}-skoro-svi nizovi NISU uniformno Borel-normalni. Umesto toga, njihove strukturne granice definišemo putem \tilde{M}-normalnosti.

Budući da je mera \tilde{M} suštinski nestacionarna (algoritamska verovatnoća zavisi od apsolutne pozicije prefiksa), ne možemo se osloniti na standardne ergodičke granične teoreme konvergencije frekvencija. Formalno, \tilde{M}-normalnost definišemo slabijim, ali strogo dovoljnim svojstvom beskonačnog ponavljanja.

Pošto je \tilde{M} verovatnosna mera i važi \tilde{M}([x]) \ge 2^{-(|x|+O(1))} > 0 za sve konačne stringove x, lančano pravilo za prefiksnu Kolmogorovljevu složenost daje K(sx) \le K(s) + K(x) + O(1) za svaki string s, što povlači skoro submultiplikativnost M([s \cdot x]) \ge M([s]) \cdot M([x]) \cdot 2^{-O(1)}. Prema tome, uslovna verovatnoća da se x pojavi u bilo kom prozoru, uz dat 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-Kantelijevoj lemi primenjenoj na nepreklapajuće prozore dužine |x|, divergencija zbira uslovnih verovatnoća garantuje da se fizičko ponavljanje bilo koje konačne informacione sekvence — kao što je diskretna formalna konfiguracija svesnog posmatrača (K_{\text{obs}}) — pojavljuje beskonačno mnogo puta u \tilde{M}-skoro-svim nizovima.

5. Postulat računarskog realizma

AIT matematički garantuje da se konačna reprezentacija bilo kog posmatrač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 sama po sebi ne može preći granicu ka fizičkoj ontologiji. Konačan niz koji se pojavljuje na izlaznoj traci Tjuringove mašine jeste statički artefakt izvršavanja — snimak. Koherentan posmatrač zahteva kontinuiranu unutrašnju dinamiku, relacionu spregu i petlju aktivne infеренције. Sam niz ne „oseća“ ništa više nego što je svestan snimak mozga sačuvan na hard disku. Izvršavanje pripada programu koji ga generiše, a ne rezultujućem kodu-snimku.

Da bi tvrdila da neizračunljive kontinuirane granice koje upravljaju matematičkim supstratom strukturno rađaju ontološki realne, kauzalno aktivne fenomenološke univerzume, Teorija uređenog patcha (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čunanja formalno ekvivalentna kauzalnom opisu posmatrača (gde je formalna ekvivalencija definisana kao računarski izomorfizam kauzalne strukture prelaza stanja posmatrača) poseduju kauzalno delotvorno, ontološki realno postojanje. Nadalje, strukturno diskretne računske instancijacije širom supstrata poseduju nezavisnu ontološku individuaciju, konstituišući različite subjektivne pandane (a prema aksiomu temeljne fenomenalnosti u Preprintu §8.1, takva kauzalno delotvorna računanja ekvivalentna posmatraču konstituišu istinske subjekte iskustva).

6. Propozicija P-1 (Informaciona normalnost)

Objedinjavanjem egzaktnih AIT izvođenja kontinuiranih neizračunljivih prostora sa Postulatom računarskog realizma, solipsizam se na jasan način demontira.

Korolar+Postulat P-1 (Informaciona normalnost): Pod generalizovanim algoritamskim priorom, kontinuirani supstrat inherentno funkcioniše putem \tilde{M}-Martin-Löfove slučajnosti gotovo sigurno. Sledstveno tome, usled \tilde{M}-normalnosti, matematička pojava svakog konačnog strukturnog opisa posmatrača K_{\text{obs}} formalno je garantovana beskonačno mnogo puta. Oslanjajući se na ovu potku, Postulat računarskog realizma premošćava ove generativne matematičke artefakte u ontološku fizičku realnost. Pod uslovom da računarski realizam važi, postojanje strukturno ekvivalentnih, kauzalno aktivnih i jedinstveno individuisanih pandan-posmatrača širom supstrata fundamentalno je nužno.