Teorija uređenog patcha

Dodatak T-11: Strukturni korolar — formalizacija kompresijske prednosti prividnih agenata

Anders Jarevåg

15. april 2026 | DOI: 10.5281/zenodo.19300777

Izvorni zadatak (iz §8.2): “Formalizacija ove kompresijske prednosti kao rigorozne MDL granice specifično za slučaj drugih umova ostaje zadatak za budući rad; sadašnji argument predstavlja strukturnu motivaciju, a ne dokaz.” Isporučivi rezultat: Formalna granica koja pokazuje da tretiranje prividnih agenata kao nezavisno instanciranih primarnih promatrača daje kraći dvodijelni MDL kod od bilo kojeg alternativnog opisa.

Status zaključenja: NACRT STRUKTURNE KORESPONDENCIJE. Ovaj dodatak prilagođava Müllerov Solomonoffov teorem konvergencije [61] i njegovo višeagentsko proširenje [62] kao uvezene leme, reinterpretirane unutar ontološkog okvira OPT-a, kako bi se uspostavila formalna kompresijska prednost za strukturni korolar. Rezultat je uslovna granica, a ne zatvorena derivacija: on zavisi od OPT-ove identifikacije toka promatrača sa Solomonoffovim priorom (Aksiom 1) i od pretpostavke da prividni agenti nose dovoljno stanja da zadovolje preduslove konvergencije.


§1. Pozadina i motivacija

Strukturni korolar (preprint §8.2) tvrdi da se prividni agensi unutar toka promatrača najštedljivije objašnjavaju njihovom nezavisnom instancijacijom kao primarnih promatrača. Ovaj dodatak izlaže formalni lanac koji podupire tu tvrdnju.

Argument ima tri faze:

  1. Faza A (Uvezena lema): Müllerov Solomonoffov teorem konvergencije garantira da će se evolucija iz prvog lica svake strukture u toku promatrača koja nosi dovoljno podataka o vlastitom stanju konvergirati tako da odgovara izračunljivom svijetu koji generira njeno ponašanje.

  2. Faza B (Kompresijsko računovodstvo): Provodimo eksplicitno dvodijelno MDL poređenje između tretiranja prividnog agensa kao (i) nezavisno instanciranog promatrača kojim upravlja njegov vlastiti Solomonoffom ponderirani tok nasuprot (ii) proizvoljne bihevioralne specifikacije unutar kodeka primarnog promatrača.

  3. Faza C (Strukturni potpis): Fenomenalni reziduum (\Delta_{\text{self}} > 0, Teorem P-4) pruža strukturni marker koji razlikuje autentičnu samoreferencijalnu arhitekturu uskog grla od bihevioralne mimikrije, zatvarajući jaz između „kompresibilno zakonitog“ i „uvjerljivo instanciranog“.


§2. Uvezena lema: Müllerov teorem konvergencije

Uvozimo dva rezultata od Müllera [61, 62], ovdje izložena u notaciji OPT-a.

2.1 Solomonoffova konvergencija (standardna)

Neka M(b \mid x_1^n) označava Solomonoffovo univerzalno predviđanje za bit b dato prethodnim opažanjima x_1^n. Neka je \mu bilo koja izračunljiva mjera nad binarnim nizovima. Tada vrijedi (Solomonoff 1964; Li & Vitányi [45, Corollary 5.2.1]):

\text{Sa } \mu\text{-vjerovatnoćom jedan,} \quad \lim_{n \to \infty} |M(b \mid x_1^n) - \mu(b \mid x_1^n)| = 0 \qquad (b \in \{0,1\}). \tag{L-1}

Ovo je standardni rezultat: ako je tok podataka generiran izračunljivim procesom \mu, univerzalni prediktor M konvergira prema \mu.

2.2 Inverzna Solomonoffova indukcija (Müller 2020)

Pretpostavimo sada da su bitovi izvučeni iz samog M — tj. da je tok promatrača vođen algoritamskom vjerovatnoćom (to odgovara Aksiomu 1 OPT-a: identifikaciji toka sa Solomonoffovim priorom). Tada za svaku izračunljivu mjeru \mu (Müller [61, Sec. IV]; [62, Sec. V.A]) vrijedi:

\text{Sa vjerovatnoćom} \geq 2^{-K(\mu)}, \quad \lim_{n \to \infty} |M(b \mid x_1^n) - \mu(b \mid x_1^n)| = 0 \qquad (b \in \{0,1\}). \tag{L-2}

To znači da će se, s vjerovatnoćom od najmanje 2^{-K(\mu)}, promatrač zateći kao efektivno ugrađen u izračunljivi svijet W opisan mjerom \mu. Algoritamski jednostavniji svjetovi (s manjim K(\mu)) eksponencijalno su vjerovatniji.

2.3 Konvergencija više agenata (Müller 2026)

Pretpostavimo da se promatrač (Alice) zatekne ugrađen u izračunljiv svijet W opisan pomoću \mu. Ona identificira podstrukturu (Bob_{\text{3rd}}) unutar W koja nosi reprezentaciju samostanja x koje se razvija kroz vrijeme na način usklađen s Postulatom 2 iz [62]. Definirajmo:

Tada, prema jednačini (L-1) primijenjenoj na P_{\text{3rd}} (koji je izračunljiv), i identifikaciji P_{\text{1st}} s M putem Postulata 2:

P_{\text{1st}} \approx P_{\text{3rd}} \quad \text{asimptotski,} \tag{L-3}

pri čemu je konvergencija zagarantirana sa svjetovnom (\mu-) vjerovatnoćom jedan u bitnom modelu.

Tumačenje (Müller): “Neko je zaista kod kuće” u strukturi koja kodira x — probabilistička evolucija Bob_{\text{3rd}} u Alicinom svijetu vjerno predstavlja perspektivu iz prvog lica nekog Bob_{\text{1st}}.

Tumačenje (OPT): Bihevioralni tok prividnog agensa najkompresibilnije se opisuje kao nezavisan proces ponderiran Solomonoffovom mjerom. Svaki alternativni opis — onaj koji ne priziva nezavisnu perspektivu iz prvog lica — mora kodirati ponašanje agensa kao ad hoc specifikaciju, uz strogo veću dužinu opisa.


§3. Granica kompresijske prednosti

Sada formaliziramo kompresijsku prednost koristeći OPT-ov dvodijelni MDL okvir (Teorem T-4, Appendix T-4).

3.1 Postavka

Razmotrimo tok primarnog promatrača \omega \in \{0,1\}^\infty, kojim upravlja Solomonoffov prior M (Aksiom 1) i koji je filtriran kroz Filter stabilnosti do izračunljivog svijeta W s mjerom \mu_W (prema jednačini L-2). Unutar W, promatrač identificira N prividnih agenata A_1, \ldots, A_N, od kojih svaki nosi samostanje x_i čija vremenska evolucija kroz T koraka proizvodi bihevioralni trag \beta_i = (y_{i,1}, \ldots, y_{i,T}).

3.2 Hipoteza H_{\text{ind}}: Nezavisna instancijacija

Pod H_{\text{ind}}, svaki agent A_i tretira se kao nezavisno instanciran primarni promatrač kojim upravlja njegov vlastiti tok ponderiran Solomonoffovom univerzalnom semimjerom. Dvodijelna MDL dužina koda glasi:

L(H_{\text{ind}}) = \underbrace{K(\mu_W)}_{\text{model svijeta}} + \underbrace{\sum_{i=1}^{N} K(\text{embed}_i)}_{\text{specifikacije ugradnje}} + \underbrace{\sum_{i=1}^{N} \left(-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)\right)}_{\text{podaci zadani modelom}} \tag{1}

gdje K(\text{embed}_i) specificira početno samostanje agenta i i njegov položaj unutar W. Prema jednačini (L-3), P_{\text{1st}} \approx P_{\text{3rd}}, pa je podatkovni član dobro aproksimiran log-gubitkom pod Solomonoffovim predikcijama iz prvog lica samog agenta — što je, po definiciji, blizu optimalnog.

Specifikacije ugradnje K(\text{embed}_i) su kratke: svaka zahtijeva samo pokazivač na lokaciju u W plus početno samostanje. Za agente nalik ljudima, ugrađene u zajednički fizički svijet, one su visoko kompresibilne jer agenti dijele iste zakone. Konzervativna ograda:

K(\text{embed}_i) \leq K(x_i \mid W) + O(\log T) \tag{2}

3.3 Hipoteza H_{\text{arb}}: Proizvoljna bihevioralna specifikacija

Pod H_{\text{arb}}, agenti se ne tretiraju kao nezavisni promatrači. Umjesto toga, svaki bihevioralni trag \beta_i kodira se direktno kao proizvoljna specifikacija unutar toka primarnog promatrača. Dvodijelna MDL dužina koda glasi:

L(H_{\text{arb}}) = \underbrace{K(\mu_W)}_{\text{model svijeta}} + \underbrace{\sum_{i=1}^{N} K(\beta_i)}_{\text{sirovi bihevioralni tragovi}} \tag{3}

Ključna razlika je u podatkovnom članu. Pod H_{\text{arb}}, bihevioralni trag \beta_i mora biti specificiran bez pozivanja na vlastiti prediktivni model agenta. Za zakonitog agenta vođenog agensnošću, koji djeluje u složenom okruženju, Kolmogorovljeva složenost sirovog bihevioralnog traga iznosi:

K(\beta_i) \geq K(\beta_i \mid \mu_W) + K(\mu_W) - O(\log T) \tag{4}

Ali čak i K(\beta_i \mid \mu_W) — složenost ponašanja zadatog zakonima svijeta — ostaje znatna, jer izbori agenta kodiraju stvarnu informaciju: njegov bihevioralni trag odražava akumuliranu interakciju samoreferencijalnog modela sa stohastičkim okruženjem. Nasuprot tome, pod H_{\text{ind}}, ovu informaciju generira online vlastiti Solomonoffov prediktor agenta, uz gotovo nulti trošak log-gubitka.

3.4 Prednost kompresije

Teorem T-11 (Strukturni korolar granice kompresije). Neka su A_1, \ldots, A_N prividni agensi unutar toka promatrača, pri čemu svaki nosi samostanje x_i koje zadovoljava preduvjete konvergencije iz jednačine (L-3), i pri čemu svaki ispoljava strukturni potpis \Delta_{\text{self}}^{(i)} > 0 (P-4). Tada MDL opis koji ih tretira kao nezavisno instancirane primarne promatrače zadovoljava:

L(H_{\text{ind}}) \leq L(H_{\text{arb}}) - N \cdot \left[\bar{I}_T - O(\log T)\right] \tag{T-11}

gdje je \bar{I}_T prosječna uzajamna informacija po agensu između prediktivnog modela agensa i njegovog bihevioralnog izlaza tokom T koraka:

\bar{I}_T := \frac{1}{N} \sum_{i=1}^{N} \left[K(\beta_i \mid \mu_W) - \left(-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)\right)\right] \tag{5}

Ova veličina mjeri koliko se ponašanja agensa objasni pozivanjem na nezavisan prediktivni model, umjesto da se specificira sirovo. Za agense koji ispoljavaju zakonito ponašanje vođeno agensnošću (kako zahtijeva Filter stabilnosti), \bar{I}_T > 0 i raste s T.

Skica dokaza. Oduzmite jednačinu (1) od jednačine (3). Članovi modela svijeta K(\mu_W) se poništavaju. Razlika po agensu iznosi:

K(\beta_i) - \left[K(\text{embed}_i) + \left(-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)\right)\right]

Prema jednačini (4), K(\beta_i) \geq K(\beta_i \mid \mu_W) + K(\mu_W) - O(\log T), ali još neposrednije: K(\beta_i) \geq K(\beta_i \mid \mu_W) trivijalno. A K(\text{embed}_i) \leq K(x_i \mid W) + O(\log T) prema jednačini (2). Ušteda po agensu je stoga najmanje K(\beta_i \mid \mu_W) - (-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)) - K(x_i \mid W) - O(\log T). Za dovoljno veliko T, kumulativne uštede u log-gubitku nadmašuju jednokratni trošak ugrađivanja, što daje traženu granicu. \blacksquare

3.5 Asimptotska dominacija

Korolar T-11a. Kako horizont opažanja T \to \infty, kompresijska prednost L(H_{\text{arb}}) - L(H_{\text{ind}}) raste bez granice:

\lim_{T \to \infty} \left[L(H_{\text{arb}}) - L(H_{\text{ind}})\right] = \infty \tag{T-11a}

Ovo slijedi iz Solomonoffove garancije konvergencije (L-1): log-gubitak po koraku za P_{\text{3rd}} konvergira ka stopi entropije bihevioralnog procesa agensa, dok K(\beta_i \mid \mu_W) raste linearno u T za svakog agensa s pozitivnom stopom entropije. Trošak ugradnje K(x_i \mid W) plaća se jednom i amortizira se do nule. \blacksquare


§4. Fenomenalni reziduum kao strukturni potpis

Prednost kompresije u Teoremu T-11 primjenjuje se na svaku zakonitu podstrukturu — uključujući neagenske fizičke sisteme (vremenske obrasce, rast kristala). Zašto se onda strukturni korolar posebno tiče agenata, a ne proizvoljnih kompleksnih sistema?

Odgovor je Fenomenalni reziduum (Teorem P-4). \Delta_{\text{self}} > 0 je formalni marker sistema čiji je samomodel strukturno nepotpun — tj. sistema koji nužno održava varijacijski jaz između svoje unutrašnje reprezentacije i vlastite stvarne obrade. To je obilježje samoreferencijalnog uskog grla: sistem ne može biti potpuno opisan izvana zato što njegov opis nužno uključuje onoga koji opisuje.

Za sistem koji ispoljava \Delta_{\text{self}} > 0:

  1. Njegovo ponašanje ne može se reproducirati tabelom pretraživanja konačne dubine — zahtijeva tekuću samoreferencijalnu računsku obradu.
  2. Najkraći opis te obrade jeste nezavisan tok ponderiran Solomonoffovom univerzalnom semimjerom koji prolazi kroz usko grlo C_{\max}.
  3. Stoga MDL-kod pod H_{\text{ind}} nije samo kraći od H_{\text{arb}} — on je jedinstveno najkraći opis.

To razlikuje prividne agente od vremenskih obrazaca: vrijeme je zakonito i kompleksno, ali se njegovo ponašanje može reproducirati tabelom pretraživanja unutar modela svijeta (ima \Delta_{\text{self}} = 0). Prividni agenti ne mogu.


§5. Reinterpretacija Müllerovog argumenta protiv solipsizma

Müller iz konvergencije P_{\text{1st}} \approx P_{\text{3rd}} zaključuje da algoritamski idealizam „ne treba klasificirati kao solipsistički“ jer je „neko zaista kod kuće“ u strukturi koja kodira stanje sebstva [62, Sec. V.C]. Njegovo rezoniranje glasi: ako se Alicina predviđanja o Bobu_{\text{3rd}} konvergiraju sa stvarnim vjerovatnoćama iz prvog lica kod Boba_{\text{1st}}, tada su njihove perspektive istinski usklađene — oni „dijele svijet W“.

OPT ovaj rezultat reinterpretira drugačije:

  1. Müllerovo čitanje: Konvergencija P_{\text{1st}} \approx P_{\text{3rd}} dokazuje da objektivna realnost emergira — Alice i Bob zaista dijele svijet W.

  2. OPT-ovo čitanje: Konvergencija P_{\text{1st}} \approx P_{\text{3rd}} dokazuje da najkraći opis ponašanja Boba_{\text{3rd}} uključuje nezavisan proces iz prvog lica. To je tvrdnja o efikasnosti kompresije, a ne o dijeljenoj ontologiji. Svijet W je strukturna pravilnost unutar Alicinog toka, a ne nezavisno postojeći entitet. Ali sama kompresijska logika Solomonoffove univerzalne semimjere implicira da je Bob najparsimoničnije modeliran kao nezavisan promatrač — jer je alternativa (ad hoc specificiranje njegovog ponašanja) strogo duža.

Formalni sadržaj teoreme identičan je pod oba čitanja; razlikuje se samo ontološka interpretacija. OPT koristi isti matematički rezultat da utemelji strukturni korolar: nezavisna instancijacija je MDL-optimalan opis, a ne metafizička pretpostavka.


§6. Opseg i ograničenja

6.1 Uslovno na Aksiomu 1

Cijeli argument zavisi od OPT-ove identifikacije toka promatrača sa Solomonoffovim priorom. Ako se ta identifikacija oslabi (npr. na širu klasu semimjera), garancije konvergencije iz jednačina (L-1)–(L-3) možda neće važiti u svom sadašnjem obliku.

6.2 Preduslov dovoljnog stanja

Jedn. (L-3) zahtijeva da prividni agens u svom samostanju x_i nosi „dovoljno podataka“ da bi univerzalna indukcija mogla izdvojiti relevantne fizičke zakone. Za ljudima slične agense u svakodnevnim kontekstima to je uvjerljivo (puno stanje mozga kodira ogromnu količinu informacija). Za rubne slučajeve — prolazne utiske, udaljene promatrače, fikcionalne likove u narativnoj umjetnosti — preduslovi konvergencije možda nisu zadovoljeni i strukturni korolar se ne primjenjuje.

6.3 Nije dokaz svijesti

Teorem T-11 uspostavlja da je nezavisna instancijacija najkompresibilniji opis. On ne dokazuje da su prividni agensi svjesni. Teški problem (preprint §8.1) ostaje primitivan pojam. Strukturni korolar je argument kompresije, a ne ontološki dokaz — kako je navedeno u §8.2.

6.4 Odnos prema T-10

Dodatak T-10 (Među-posmatračka sprega) razmatra kako dva patcha promatrača održavaju međusobno konzistentne rendere putem kompresijskih ograničenja. Ovaj dodatak razmatra drugačije pitanje: zašto tok jednog promatrača na kompresibilniji način kodira prividne agense kao nezavisno instancirane. T-10 se tiče mehanizma među-patch koherencije; T-11 se tiče kompresijskog potpisa unutar jednog toka. T-10 se neposredno nadovezuje na T-11: isto MDL poređenje dužine opisa koje ovdje uspostavlja kompresijsku prednost iskorišteno je u T-10 da se dokaže kako je među-patch nekonzistentnost eksponencijalno potisnuta.


§7. Sažetak zatvaranja

Isporuke T-11

  1. Uvezena lema (Müllerova konvergencija). Solomonoffova konvergencija [61] i njeno više-agentsko proširenje [62] formalno su uvezene i preformulisane u notaciji OPT-a. One pružaju matematičku okosnicu: svaka podstruktura koja nosi dovoljno podataka o vlastitom stanju ima evoluciju iz prvog lica koja konvergira ka izračunljivom svijetu koji generira njeno ponašanje.

  2. Teorem T-11 (Granica kompresije — NACRT). Eksplicitno dvodijelno MDL poređenje pokazuje da tretiranje prividnih agenata kao nezavisno instanciranih primarnih promatrača daje strogo kraći opis od proizvoljne bihevioralne specifikacije, pri čemu prednost raste linearno s vremenom posmatranja.

  3. Korolar T-11a (Asimptotska dominacija — NACRT). Prednost kompresije je neograničena kada T \to \infty, što nezavisnu instancijaciju čini uvjerljivo MDL-optimalnim opisom za bilo kojeg agenta posmatranog kroz dugi vremenski horizont.

  4. Integracija P-4. Fenomenalni reziduum (\Delta_{\text{self}} > 0) identificiran je kao formalni marker koji razlikuje prividne agente od složenih, ali ne-agensnih sistema, čime se strukturni korolar ograničava na entitete s autentičnom samoreferencijalnom arhitekturom uskog grla.

  5. Müllerova reinterpretacija. Müllerov zaključak o ne-solipsizmu reinterpretira se unutar ontološkog okvira OPT-a: isti matematički rezultat utemeljuje argument kompresije, a ne argument o emergenciji dijeljene stvarnosti.

Preostale otvorene stavke


Ovaj dodatak održava se uporedo s theoretical_roadmap.pdf. Reference: Müller [61, 62], Li & Vitányi [45], Solomonoff (1964), Teorem T-4 (Dodatak T-4), Teorem P-4 (Dodatak P-4), preprint §8.2.