Teorija uređenog patcha

Appendix T-11: Strukturni korolar — formalizacija prednosti kompresije za prividne agense

Anders Jarevåg

April 15, 2026 | DOI: 10.5281/zenodo.19300777

Originalni zadatak (iz §8.2): “Formalizovanje ove kompresione 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.” Isporuka: Formalna granica koja pokazuje da tretiranje prividnih agenata kao nezavisno instanciranih primarnih posmatrača daje kraći dvodelni MDL kod od bilo kog alternativnog opisa.

Status zaključenja: NACRT STRUKTURNE KORESPONDENCIJE. Ovaj dodatak prilagođava Müllerovu Solomonovljevu teoremu konvergencije [61] i njeno višeagentsko proširenje [62] kao uvezene leme, reinterpretirane unutar ontološkog okvira OPT-a, kako bi uspostavio formalnu kompresionu prednost za strukturni korolar. Rezultat je uslovna granica, a ne zatvorena derivacija: ona zavisi od OPT-ove identifikacije toka posmatrača sa Solomonovljevim 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 posmatrača najparsimoničnije objašnjavaju njihovom nezavisnom instancijacijom kao primarnih posmatrača. Ovaj dodatak izlaže formalni lanac koji potkrepljuje tu tvrdnju.

Argument ima tri faze:

  1. Faza A (Uvezena lema): Müllerova Solomonovljeva teorema konvergencije garantuje da će se evolucija iz prvog lica svake strukture u toku posmatrača koja nosi dovoljno podataka o sopstvenom stanju konvergirati tako da odgovara izračunljivom svetu koji generiše njeno ponašanje.

  2. Faza B (Kompresiono računovodstvo): Sprovodimo eksplicitno dvodelno MDL poređenje između tretiranja prividnog agensa kao (i) nezavisno instanciranog posmatrača kojim upravlja njegov sopstveni tok ponderisan Solomonovljevom semimerom naspram (ii) proizvoljne bihejvioralne specifikacije unutar kodeka primarnog posmatrača.

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

§2. Uvezena lema: Milerova teorema konvergencije

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

2.1 Solomonovljeva konvergencija (standardna)

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

\text{Sa } \mu\text{-verovatnoć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 tok podataka generiše izračunljiv proces \mu, univerzalni prediktor M konvergira ka \mu.

2.2 Inverzna Solomonovljeva indukcija (Müller 2020)

Pretpostavimo sada da su bitovi uzorkovani iz samog M — tj. da je tok posmatrača vođen algoritamskom verovatnoćom (to odgovara Aksiomu 1 u OPT-u: identifikaciji toka sa Solomonovljevom apriornom raspodelom). Tada za svaku izračunljivu meru \mu (Müller [61, Sec. IV]; [62, Sec. V.A]) važi:

\text{Sa verovatnoć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}

Drugim rečima, sa verovatnoćom od najmanje 2^{-K(\mu)}, posmatrač će ustanoviti da je efektivno ugrađen u izračunljivi svet W opisan merom \mu. Algoritamski jednostavniji svetovi (sa nižim K(\mu)) eksponencijalno su verovatniji.

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

Pretpostavimo da se posmatrač (Alice) zatiče kao ugrađena u izračunljiv svet W opisan sa \mu. Ona identifikuje podstrukturu (Bob_{\text{3rd}}) unutar W koja nosi reprezentaciju samostanja x koje se razvija tokom vremena na način saglasan sa Postulatom 2 iz [62]. Definišimo:

Tada, prema jedn. (L-1) primenjenoj na P_{\text{3rd}} (koji je izračunljiv), i identifikaciji P_{\text{1st}} sa M putem Postulata 2:

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

pri čemu je konvergencija zagarantovana sa svetovnom (\mu-) verovatnoćom jedan u bit-modelu.

Tumačenje (Müller): „Neko je zaista kod kuće“ u strukturi koja kodira x — verovatnosna evolucija Bob_{\text{3rd}} u Alisinom svetu verno predstavlja perspektivu iz prvog lica nekog Bob_{\text{1st}}.

Tumačenje (OPT): Bihejvioralni tok prividnog agensa najkompresibilnije se opisuje kao nezavisan proces ponderisan Solomonovljevom univerzalnom semimerom. 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 kompresione prednosti

Sada formalizujemo kompresionu prednost koristeći dvodelni MDL okvir OPT-a (Teorema T-4, Dodatak T-4).

3.1 Postavka

Razmotrimo tok primarnog posmatrača \omega \in \{0,1\}^\infty, kojim upravlja Solomonovljev prior M (Aksiom 1) i koji je filtriran kroz Filter stabilnosti do izračunljivog sveta W sa merom \mu_W (po jednačini L-2). Unutar W, posmatrač identifikuje N prividnih agenata A_1, \ldots, A_N, od kojih svaki nosi samostanje x_i čija vremenska evolucija kroz T koraka proizvodi bihejvioralni trag \beta_i = (y_{i,1}, \ldots, y_{i,T}).

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

Pod H_{\text{ind}}, svaki agens A_i tretira se kao nezavisno instanciran primarni posmatrač kojim upravlja sopstveni Solomonovljevom težinom ponderisan tok. Dvodelna dužina MDL koda iznosi:

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

gde K(\text{embed}_i) specificira početno samostanje agensa i i njegov položaj unutar W. Po jednačini (L-3), P_{\text{1st}} \approx P_{\text{3rd}}, pa se član podataka dobro aproksimira log-gubitkom pod sopstvenim Solomonovljevim predikcijama iz prvog lica tog agensa — što je, po definiciji, blisko optimalnom.

Specifikacije ugnežđivanja K(\text{embed}_i) su kratke: svaka zahteva samo pokazivač na lokaciju u W plus početno samostanje. Za agense nalik ljudima, ugnežđene u zajednički fizički svet, one su visoko kompresibilne zato što agensi dele iste zakone. Konzervativna granica:

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

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

Pod H_{\text{arb}}, agensi se ne tretiraju kao nezavisni posmatrači. Umesto toga, svaki bihejvioralni trag \beta_i kodira se direktno kao proizvoljna specifikacija unutar toka primarnog posmatrača. Dužina dvodelnog MDL koda iznosi:

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

Ključna razlika je u članu podataka. Pod H_{\text{arb}}, bihejvioralni trag \beta_i mora biti specificiran bez pozivanja na sopstveni prediktivni model agensa. Za zakonitog agensa vođenog agensnošću, koji deluje u složenom okruženju, Kolmogorovljeva složenost sirovog bihejvioralnog 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 pod uslovom zakona sveta — ostaje značajna, zato što izbori agensa kodiraju stvarnu informaciju: njegov bihejvioralni trag odražava akumuliranu interakciju samoreferencijalnog modela sa stohastičkim okruženjem. Nasuprot tome, pod H_{\text{ind}}, ovu informaciju generiše online Solomonovljev prediktor samog agensa, uz gotovo nulti trošak log-gubitka.

3.4 Prednost kompresije

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

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

gde je \bar{I}_T prosečna uzajamna informacija po agensu između prediktivnog modela agensa i njegovog bihejvioralnog 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 meri koliki se deo ponašanja agensa objasni unapred pozivanjem na nezavisan prediktivni model, umesto da se specificira sirovo. Za agense koji ispoljavaju zakonito ponašanje vođeno agensnošću (kako zahteva Filter stabilnosti), \bar{I}_T > 0 i raste sa T.

Skica dokaza. Oduzmite jednačinu (1) od jednačine (3). Članovi modela sveta 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]

Po 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) po 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 nadvladavaju jednokratni trošak ugrađivanja, što daje traženu granicu. \blacksquare

3.5 Asimptotska dominacija

Korolar T-11a. Kako horizont posmatranja T \to \infty, kompresiona prednost L(H_{\text{arb}}) - L(H_{\text{ind}}) raste bez ograničenja:

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

Ovo sledi iz Solomonovljeve garancije konvergencije (L-1): logaritamski gubitak po koraku za P_{\text{3rd}} konvergira ka stopi entropije bihejvioralnog procesa agenta, dok K(\beta_i \mid \mu_W) raste linearno sa T za svakog agenta sa pozitivnom stopom entropije. Trošak ugrađivanja K(x_i \mid W) plaća se jednokratno i amortizuje do nule. \blacksquare

§4. Fenomenalni reziduum kao strukturni potpis

Prednost kompresije u Teoremi T-11 primenjuje se na svaku zakonitu podstrukturu — uključujući i neagenske fizičke sisteme (vremenske obrasce, rast kristala). Zašto se onda strukturni korolar odnosi specifično na agense, a ne na proizvoljne složene sisteme?

Odgovor je Fenomenalni reziduum (Teorema P-4). \Delta_{\text{self}} > 0 je formalni pokazatelj sistema čiji je samomodel strukturno nepotpun — tj. sistema koji nužno održava varijacioni jaz između svoje unutrašnje reprezentacije i sopstvene stvarne obrade. To je obeležje samoreferencijalnog uskog grla: sistem se ne može u potpunosti opisati spolja, jer njegov opis nužno uključuje i onoga koji opisuje.

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

  1. Njegovo ponašanje ne može se reprodukovati tabelom pretrage konačne dubine — zahteva tekuću samoreferencijalnu računsku obradu.
  2. Najkraći opis te obrade jeste nezavisan Solomonovljevom univerzalnom semimerom ponderisan tok koji prolazi kroz usko grlo C_{\max}.
  3. Prema tome, MDL kod pod H_{\text{ind}} nije samo kraći od H_{\text{arb}} — on je jedinstveno najkraći opis.

To razlikuje prividne agense od vremenskih obrazaca: vreme je zakonito i složeno, ali se njegovo ponašanje može reprodukovati tabelom pretrage unutar modela sveta (ima \Delta_{\text{self}} = 0). Prividni agensi 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 klasifikovati kao solipsistički“, jer je „neko zaista kod kuće“ u strukturi koja kodira stanje sopstva [62, odeljak V.C]. Njegovo rezonovanje glasi: ako se Alisina predviđanja o Bobu_{\text{3rd}} konvergiraju ka Bobovim_{\text{1st}} stvarnim verovatnoćama iz prvog lica, onda su njihove perspektive istinski usklađene — oni „dele svet W“.

OPT ovaj rezultat reinterpretira drugačije:

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

  2. OPT-ovo čitanje: Konvergencija P_{\text{1st}} \approx P_{\text{3rd}} dokazuje da najkraći opis Bobovog_{\text{3rd}} ponašanja poziva na nezavisan proces iz prvog lica. To je iskaz o efikasnosti kompresije, a ne o deljenoj ontologiji. Svet W je strukturna pravilnost unutar Alisinog toka, a ne nezavisno postojeći entitet. Ali sama kompresiona logika Solomonovljeve univerzalne semimere implicira da se Bob najparsimoničnije modeluje kao nezavisan posmatrač — jer je alternativa (ad hoc specifikovanje 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 jeste MDL-optimalan opis, a ne metafizička pretpostavka.

§6. Opseg i ograničenja

6.1 Uslovno na Aksiomu 1

Celokupni argument zavisi od OPT-ovog poistovećivanja toka posmatrača sa Solomonovljevom univerzalnom semimerom. Ako se ovo poistovećivanje oslabi (npr. na širu klasu semimera), 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

Jednačina (L-3) zahteva da prividni agens nosi “dovoljno podataka” u svom samostanju x_i kako bi univerzalna indukcija mogla da izdvoji relevantne fizičke zakone. Za ljudima slične agense u svakodnevnim kontekstima, to je verovatno (potpuno stanje mozga kodira ogromnu količinu informacija). Za rubne slučajeve — prolazne utiske, udaljene posmatrače, izmišljene likove u narativnoj umetnosti — preduslovi konvergencije možda nisu ispunjeni, pa se strukturni korolar ne primenjuje.

6.3 Nije dokaz svesti

Teorema T-11 utvrđuje da je nezavisna instancijacija najkompresibilniji opis. Ona ne dokazuje da prividni agensi jesu svesni. Teški problem (preprint §8.1) ostaje primitivan pojam. Strukturni korolar je argument kompresije, a ne ontološki dokaz — kao što je navedeno u §8.2.

6.4 Odnos prema T-10

Dodatak T-10 (Među-posmatračka sprega) razmatra kako dva posmatračka patcha održavaju međusobno konzistentne rende­re putem kompresionih ograničenja. Ovaj dodatak razmatra drugačije pitanje: zašto tok jednog posmatrač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 kompresionog potpisa unutar jednog toka. T-10 se neposredno nadovezuje na T-11: isto MDL poređenje dužine opisa koje ovde uspostavlja kompresionu prednost koristi se u T-10 da bi se dokazalo da je među-patch nekonzistentnost eksponencijalno potisnuta.

§7. Završni sažetak

T-11 rezultati

  1. Uvezena lema (Müllerova konvergencija). Solomonovljeva univerzalna semimera [61] i njeno više-agentsko proširenje [62] formalno su uvezeni i preformulisani u OPT notaciji. Oni obezbeđuju matematičku okosnicu: svaka podstruktura koja nosi dovoljno podataka o sopstvenom stanju ima evoluciju iz prvog lica koja konvergira ka izračunljivom svetu koji generiše njeno ponašanje.

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

  3. Korolar T-11a (Asimptotska dominacija — NACRT). Prednost kompresije je neograničena kada T \to \infty, što nezavisnu instancijaciju čini ubedljivo MDL-optimalnim opisom za bilo kog agenta posmatranog tokom dugog vremenskog horizonta.

  4. Integracija P-4. Fenomenalni reziduum (\Delta_{\text{self}} > 0) identifikovan je kao formalni marker koji razlikuje prividne agente od složenih, ali ne-agensnih sistema, čime se strukturni korolar ograničava na entitete sa 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 ovde utemeljuje argument kompresije, a ne argument o nastanku deljene stvarnosti.

Preostale otvorene stavke

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