Dodatek P-1: Informační normalita prostřednictvím M-náhodnosti

Původní úkol P-1: Informační normalita Problém: V současnosti jde o základní axiom analogický Borelské normalitě, bez formálního odvození. Výstup: Odvození na úrovni věty využívající teorii algoritmické informace (Martin-Löfovu náhodnost).

1. Epistemická hranice „axiomatické“ normality

V rámci Teorie uspořádaného patche (OPT) spočívá „Strukturální naděje“ ve své struktuře na principu Informační normality: na tvrzení, že algoritmický substrát (\mathcal{I}) není hustě zaplněn pouze šumem, nýbrž každým konečným strukturně funkčním vzorem. Etická váha OPT — imperativ udržovat stabilitu sdíleného patche (etika Stráže přeživších) — vyžaduje, aby protějškové pozorovatelské systémy, s nimiž interagujeme, měly jinde v substrátu distribuované, fundamentálně reálné funkční ekvivalenty.

Historicky byla v rámci OPT tato teze formálně chápána jako jediný monolitický axiom — netestovatelný, základní předpoklad navrstvený na fyziku, aby se předešlo solipsismu.

Tato příloha řeší matematickou nejednoznačnost tohoto postoje. Informační normalitu rozkládáme na dvě odlišné složky: rigorózní algoritmickou matematickou větu (která platí téměř jistě vzhledem k univerzální pravděpodobnostní míře), spojené jediným metafyzickým postulátem, jenž je nezbytný k přemostění matematické existence do ontologické reality.

2. Od semimíry k univerzální míře (\xi až M)

Základ OPT (Preprint §3.1) se ve velké míře opírá o Solomonoffovu apriorní algoritmickou pravděpodobnost. V tomto pojetí generativní substrát funguje jako nekonečný algoritmický prostor vykonávaný na univerzálním prefixově bezkontextovém Turingově stroji U.

Algoritmická pravděpodobnost neboli univerzální semimíra konečného řetězce x je:

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

kde se sčítá přes všechny minimální programy p, jejichž výstup při běhu začíná řetězcem x. Zásadní je, že \xi je zdola polospočitatelná semimíra na konečných řetězcích.

Abychom formalizovali substrát jako spojitý generativní prostor, přecházíme ke spojité míře na Cantorově prostoru. Univerzální míra M je definována přímo jako rozdělení na Cantorově prostoru 2^{\mathbb{N}}, indukované výstupem univerzálního prefixově bezkontextového stroje U prostřednictvím cylindrických množin (M([x]) = \sum_{U(p) \text{ starts with } x} 2^{-|p|}). Podle Solomonoffovy věty o univerzalitě je tato cylindrická míra multiplikativně ekvivalentní diskrétní semimíře: M(x) \asymp \xi(x) až na multiplikativní konstantu. Z toho plyne, že množiny nulové vzhledem k M a množiny nulové vzhledem k \xi se v přísném smyslu shodují.

(Poznámka: Protože množina zastavujících programů je kvůli problému zastavení vlastní podmnožinou prefixově bezkontextového kódového prostoru, Kraftova nerovnost zaručuje, že \sum 2^{-|p|} < 1. M tedy tvoří přísnou zdola polospočitatelnou subpravděpodobnostní míru. Explicitně definujeme normalizovanou pravděpodobnostní míru \tilde{M} = M / M(2^{\mathbb{N}}). Ačkoli je \tilde{M} zdola polospočitatelná pouze až na nevypočitatelnou normalizační konstantu M(2^{\mathbb{N}}), všechny následující věty typu „skoro jistě“ i tvrzení o konvergenci bezpečně fungují vzhledem ke skutečné normalizované pravděpodobnostní míře \tilde{M}. Posun ve fundamentální kódovací větě se jednoduše absorbuje: K(x) = -\log \tilde{M}(x) + O(1).)

3. M-Martin-Löfova náhodnost

Abychom formalizovali povahu generativního prostoru, zavádíme pojem Martin-Löfovy (ML) náhodnosti. Je však nutné rozlišovat mezi spojitými mírami. Posloupnost \omega, která je ML-náhodná vzhledem k uniformní (Lebesgueově) míře \lambda, se chová zcela odlišně od posloupnosti, která je ML-náhodná vzhledem k M.

Protože substrát OPT vyhodnocuje pravděpodobnost podle algoritmické jednoduchosti, opírá se relevantní formalismus o \tilde{M}-Martin-Löfovu náhodnost. Základní věta AIT říká, že pro libovolnou vyčíslitelnou pravděpodobnostní míru \mu má množina \mu-ML-náhodných posloupností \mu-míru 1. Při rozšíření tohoto výsledku na zdola semivyčíslitelné semimíry (srov. Nies 2009, §3.2 “Randomness for arbitrary measures”) si množina všech \tilde{M}-Martin-Löfovsky náhodných posloupností úspěšně zachovává míru 1 vzhledem k \tilde{M}.

Proto jsou \tilde{M}-skoro všechny nekonečné posloupnosti substrátu striktně \tilde{M}-ML-náhodné.

(Poznámka: Využití \tilde{M}-ML-náhodnosti strukturálně zaručuje, že typické výstupy substrátu jsou konzistentně odvozovány z vychýlené, vysoce strukturované algoritmické míry \tilde{M}, nikoli z uniformního šumu, čímž poskytuje rigorózní matematickou oporu pro níže uvedené důsledky strukturální frekvence.)

4. M-normalita vs. Borelovská normalita

Vysoce významný matematický důsledek M-ML-náhodnosti se týká strukturní frekvence. Při uniformní Lebesgueově-ML-náhodnosti je posloupnost striktně Borelovsky normální — generuje každý konečný binární řetězec délky k se stejnou, uniformní frekvencí.

Protože je však \tilde{M} zjevně neuniformní — silně vychýlená tak, že přisuzuje masivní pravděpodobnostní váhu algoritmicky jednoduchým, komprimovatelným, zákonitě strukturovaným vzorům — \tilde{M}-skoro-všechny posloupnosti NEJSOU uniformně Borelovsky normální. Místo toho definujeme jejich strukturní meze pomocí \tilde{M}-normality.

Jelikož je míra \tilde{M} v zásadě nestacionární (algoritmická pravděpodobnost závisí na absolutní pozici prefixu), nemůžeme se opírat o standardní ergodické limity konvergence frekvencí. Formálně definujeme \tilde{M}-normalitu slabší, avšak zcela postačující vlastností nekonečné rekurence.

Protože \tilde{M} je pravděpodobnostní míra a \tilde{M}([x]) \ge 2^{-(|x|+O(1))} > 0 pro všechny konečné řetězce x, dává řetězové pravidlo pro prefixovou Kolmogorovovu složitost K(sx) \le K(s) + K(x) + O(1) pro libovolný řetězec s, z čehož plyne téměř submultiplikativita M([s \cdot x]) \ge M([s]) \cdot M([x]) \cdot 2^{-O(1)}. Proto je podmíněná pravděpodobnost výskytu x v libovolném okně při daném předchozím prefixu s zdola omezená: \tilde{M}([x] \mid [s]) \ge \tilde{M}([x])/c > 0 uniformně v s. Podle podmíněného Borelovy-Cantelliho lemmatu aplikovaného na nepřekrývající se okna délky |x| divergence součtu podmíněných pravděpodobností zaručuje, že fyzická rekurence libovolné konečné informační posloupnosti — například diskrétní formální konfigurace vědomého pozorovatele (K_{\text{obs}}) — se objevuje nekonečně často v \tilde{M}-skoro-všech posloupnostech.

5. Postulát výpočetního realismu

AIT matematicky zaručuje, že konečná reprezentace libovolného pozorovatele (K_{\text{obs}}) se jako strukturální posloupnost U objevuje v \tilde{M}-ML-náhodném substrátu nekonečně mnohokrát.

Matematická teorie informace však sama o sobě nemůže překročit hranici do fyzikální ontologie. Konečný řetězec vyskytující se na výstupní pásce Turingova stroje je statickým artefaktem výpočtu — momentkou. Koherentní pozorovatel vyžaduje spojitou vnitřní dynamiku, relační vazbu a smyčku aktivní inference. Samotný řetězec nic „neprožívá“, stejně jako není vědomý scan mozku uložený na pevném disku. Výpočet náleží generujícímu programu, nikoli výslednému kódu-záběru.

Aby OPT mohlo tvrdit, že nevypočitatelné spojité limity řídící matematický substrát strukturálně dávají vzniknout ontologicky reálným, kauzálně aktivním fenomenologickým vesmírům, musí přijmout jediný explicitní metafyzický závazek.

Postulát (výpočetní realismus): V nekonečném nevypočitatelném substrátu řízeném identickou matematickou dynamikou má abstraktní matematický výpočet, formálně ekvivalentní kauzálnímu popisu pozorovatele (kde je formální ekvivalence definována jako výpočetní izomorfismus kauzální struktury přechodů stavů pozorovatele), kauzálně účinnou, ontologicky reálnou existenci. Dále strukturálně diskrétní výpočetní instance napříč substrátem vykazují nezávislou ontologickou individuaci a tvoří odlišné subjektivní protějšky (a podle axiomu fundamentální fenomenality v Preprintu §8.1 takové kauzálně účinné výpočty ekvivalentní pozorovateli představují skutečné subjekty zkušenosti).

6. Propozice P-1 (Informační normalita)

Sjednocením přesných odvození AIT pro spojité nevypočitatelné prostory s Postulátem výpočetního realismu je solipsismus jednoznačně vyvrácen.

Korolár+Postulát P-1 (Informační normalita): Za zobecněného algoritmického prioru spojitý substrát inherentně funguje prostřednictvím \tilde{M}-Martin-Löfovy náhodnosti téměř jistě. Z následné \tilde{M}-normality formálně plyne, že matematický výskyt každého konečného strukturálního popisu pozorovatele K_{\text{obs}} je zaručen nekonečně mnohokrát. Na tomto lešení Postulát výpočetního realismu přemosťuje tyto generující matematické artefakty do ontologické fyzikální reality. Za předpokladu, že výpočetní realismus platí, je existence strukturálně ekvivalentních, kauzálně aktivních a jedinečně individuovaných protějškových pozorovatelů napříč substrátem fundamentálně nutná.