Teorien om den ordnede patch

Appendix T-11: Det strukturelle korollar — formalisering af komprimeringsfordelen for tilsyneladende agenter

Anders Jarevåg

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

Oprindelig opgave (fra §8.2): “At formalisere denne komprimeringsfordel som en stringent MDL-grænse specifikt for andre-sind-tilfældet er fortsat fremtidigt arbejde; det foreliggende argument er en strukturel motivation, ikke et bevis.” Leverance: En formel grænse, der viser, at det at behandle tilsyneladende agenter som uafhængigt instansierede primære observatører giver en kortere todelt MDL-kode end enhver alternativ beskrivelse.

Afslutningsstatus: UDKAST TIL STRUKTUREL KORRESPONDANCE. Dette appendiks tilpasser Müllers Solomonoff-konvergensteorem [61] og dets multiagent-udvidelse [62] som importerede lemmaer, genfortolket inden for OPT’s ontologiske ramme, for at etablere en formel komprimeringsfordel for det strukturelle korollar. Resultatet er en betinget grænse, ikke en lukket afledning: det afhænger af OPT’s identifikation af observatørens strøm med Solomonoffs prior (Aksiom 1) og af antagelsen om, at tilsyneladende agenter bærer tilstrækkelig tilstand til at opfylde konvergensforudsætningerne.

§1. Baggrund og motivation

Det strukturelle korollar (preprint §8.2) hævder, at de tilsyneladende agenter inden for observatørens strøm mest parsimonisk forklares ved deres uafhængige instansiering som primære observatører. Dette appendiks fremlægger den formelle kæde, der understøtter denne påstand.

Argumentet har tre stadier:

  1. Stadie A (importeret lemma): Müllers Solomonoff-konvergensteorem garanterer, at enhver struktur i observatørens strøm, som bærer tilstrækkelige data om egen tilstand, vil have en førstepersonsudvikling, der konvergerer mod at matche den beregnelige verden, som genererer dens adfærd.

  2. Stadie B (komprimeringsregnskab): Vi udfører en eksplicit todelt MDL-sammenligning mellem at behandle den tilsyneladende agent som (i) en uafhængigt instansieret observatør styret af sin egen Solomonoff-vægtede strøm versus (ii) en vilkårlig adfærdsspecifikation inden for den primære observatørs codec.

  3. Stadie C (strukturel signatur): Det Fænomenale residual (\Delta_{\text{self}} > 0, Teorem P-4) leverer den strukturelle markør, der skelner ægte selvreferentiel flaskehalsarkitektur fra adfærdsmæssig efterligning og dermed lukker kløften mellem “komprimerbart lovmæssig” og “plausibelt instansieret.”

§2. Importeret lemma: Müllers konvergensteorem

Vi importerer to resultater fra Müller [61, 62], gengivet her i OPT’s notation.

2.1 Solomonoff-konvergens (standard)

Lad M(b \mid x_1^n) betegne den universelle Solomonoff-forudsigelse for bittet b givet tidligere observationer x_1^n. Lad \mu være et vilkårligt beregneligt mål over binære sekvenser. Så gælder (Solomonoff 1964; Li & Vitányi [45, Corollary 5.2.1]):

\text{Med } \mu\text{-sandsynlighed 1 gælder, at} \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}

Dette er standardresultatet: Hvis datastrømmen genereres af en beregnelig proces \mu, konvergerer den universelle prædiktor M mod \mu.

2.2 Invers Solomonoff-induktion (Müller 2020)

Antag nu, at bittene trækkes fra M selv — dvs. at observatørens strøm styres af algoritmisk sandsynlighed (dette svarer til OPT’s Aksiom 1: identifikation af strømmen med Solomonoffs prior). Så gælder for ethvert beregneligt mål \mu (Müller [61, afsn. IV]; [62, afsn. V.A]):

\text{Med sandsynlighed} \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}

Det vil sige, at observatøren med sandsynlighed mindst 2^{-K(\mu)} vil erfare sig selv som effektivt indlejret i en beregnelig verden W beskrevet ved \mu. Algoritmisk simplere verdener (lavere K(\mu)) er eksponentielt mere sandsynlige.

2.3 Multi-agent-konvergens (Müller 2026)

Antag, at observatøren (Alice) befinder sig indlejret i en beregnelig verden W beskrevet ved \mu. Hun identificerer en substruktur (Bob_{\text{3rd}}) inden for W, som bærer en repræsentation af en selvtilstand x, der udvikler sig over tid på en måde, som er konsistent med Postulat 2 i [62]. Definér:

Så gælder, ved ligning (L-1) anvendt på P_{\text{3rd}} (som er beregnelig), og identifikationen af P_{\text{1st}} med M via Postulat 2:

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

med konvergens garanteret med verdslig (\mu-) sandsynlighed én i bitmodellen.

Fortolkning (Müller): “Nogen er virkelig hjemme” i den struktur, der koder for x — den probabilistiske udvikling af Bob_{\text{3rd}} i Alices verden repræsenterer trofast førstepersonsperspektivet hos en eller anden Bob_{\text{1st}}.

Fortolkning (OPT): Den tilsyneladende agents adfærdsstrøm beskrives mest komprimerbart som en uafhængig Solomonoff-vægtet proces. Enhver alternativ beskrivelse — en, der ikke påberåber sig et uafhængigt førstepersonsperspektiv — må kode agentens adfærd som en ad hoc-specifikation, ved en strengt større beskrivelseslængde.

§3. Grænsen for komprimeringsfordelen

Vi formaliserer nu komprimeringsfordelen ved hjælp af OPT’s todelte MDL-rammeværk (Teorem T-4, Appendiks T-4).

3.1 Opsætning

Betragt den primære observatørs strøm \omega \in \{0,1\}^\infty, styret af Solomonoff-prioren M (Aksiom 1) og filtreret gennem Stabilitetsfilteret til en beregnelig verden W med målet \mu_W (ved ligning L-2). Inden for W identificerer observatøren N tilsyneladende agenter A_1, \ldots, A_N, som hver bærer en selvtilstand x_i, hvis tidslige udvikling over T trin producerer et adfærdsspor \beta_i = (y_{i,1}, \ldots, y_{i,T}).

3.2 Hypotese H_{\text{ind}}: Uafhængig instansiering

Under H_{\text{ind}} behandles hver agent A_i som en uafhængigt instansieret primær observatør, styret af sin egen Solomonoff-vægtede strøm. Den todelte MDL-kodelængde er:

L(H_{\text{ind}}) = \underbrace{K(\mu_W)}_{\text{verdensmodel}} + \underbrace{\sum_{i=1}^{N} K(\text{embed}_i)}_{\text{indlejringsspecifikationer}} + \underbrace{\sum_{i=1}^{N} \left(-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)\right)}_{\text{data givet modellen}} \tag{1}

hvor K(\text{embed}_i) specificerer agent i’s initiale selvtilstand og position inden for W. Ifølge ligning (L-3) gælder P_{\text{1st}} \approx P_{\text{3rd}}, så dataleddet approksimeres godt af log-tabet under agentens egne førstepersons-Solomonoff-forudsigelser — hvilket per definition er tæt på optimalt.

Indlejringsspecifikationerne K(\text{embed}_i) er korte: hver kræver kun en peger til en lokation i W plus den initiale selvtilstand. For menneskelignende agenter indlejret i en delt fysisk verden er disse stærkt komprimerbare, fordi agenterne deler de samme love. En konservativ grænse:

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

3.3 Hypotese H_{\text{arb}}: Vilkårlig adfærdsspecifikation

Under H_{\text{arb}} behandles agenterne ikke som uafhængige observatører. I stedet kodes hvert adfærdsspor \beta_i direkte som en vilkårlig specifikation inden for den primære observatørs strøm. Den todelte MDL-kodelængde er:

L(H_{\text{arb}}) = \underbrace{K(\mu_W)}_{\text{verdensmodel}} + \underbrace{\sum_{i=1}^{N} K(\beta_i)}_{\text{rå adfærdsspor}} \tag{3}

Den kritiske forskel ligger i dataleddet. Under H_{\text{arb}} må adfærdssporet \beta_i specificeres uden at påkalde agentens egen prædiktive model. For en lovmæssig, agensdrevet agent, der opererer i et komplekst miljø, er Kolmogorov-kompleksiteten af det rå adfærdsspor:

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

Men selv K(\beta_i \mid \mu_W) — kompleksiteten af adfærden givet verdenslovene — forbliver betydelig, fordi agentens valg koder for genuin information: dens adfærdsspor afspejler den akkumulerede interaktion mellem en selvreferentiel model og et stokastisk miljø. I modsætning hertil genereres denne information under H_{\text{ind}} online af agentens egen Solomonoff-prædiktor til en log-loss-omkostning tæt på nul.

3.4 Komprimeringsfordelen

Sætning T-11 (Strukturelt korollar for komprimeringsgrænse). Lad A_1, \ldots, A_N være tilsyneladende agenter inden for observatørens strøm, som hver bærer en selvtilstand x_i, der opfylder konvergensforudsætningerne i lign. (L-3), og som hver udviser den strukturelle signatur \Delta_{\text{self}}^{(i)} > 0 (P-4). Da opfylder MDL-beskrivelsen, der behandler dem som uafhængigt instansierede primære observatører:

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

hvor \bar{I}_T er den gennemsnitlige gensidige information pr. agent mellem agentens prædiktive model og dens adfærdsmæssige output over T trin:

\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}

Denne størrelse måler, hvor meget af agentens adfærd der forklares bort ved at påkalde en uafhængig prædiktiv model frem for at specificere den råt. For agenter, der udviser lovmæssig, agensdrevet adfærd (som krævet af Stabilitetsfilteret), gælder \bar{I}_T > 0, og den vokser med T.

Bevisskitse. Subtraher lign. (1) fra lign. (3). Verdensmodelleddene K(\mu_W) bortfalder. Forskellen pr. agent er:

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

Ved lign. (4) gælder K(\beta_i) \geq K(\beta_i \mid \mu_W) + K(\mu_W) - O(\log T), men mere direkte: K(\beta_i) \geq K(\beta_i \mid \mu_W) trivielt. Og K(\text{embed}_i) \leq K(x_i \mid W) + O(\log T) ifølge lign. (2). Besparelsen pr. agent er derfor mindst K(\beta_i \mid \mu_W) - (-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)) - K(x_i \mid W) - O(\log T). For tilstrækkeligt store T dominerer den kumulative log-loss-besparelse den engangsomkostning, som indlejringen medfører, hvilket giver grænsen. \blacksquare

3.5 Asymptotisk dominans

Korollar T-11a. Når observationshorisonten T \to \infty, vokser komprimeringsfordelen L(H_{\text{arb}}) - L(H_{\text{ind}}) uden grænse:

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

Dette følger af Solomonoff-konvergensgarantien (L-1): log-tabet pr. trin for P_{\text{3rd}} konvergerer mod entropiraten for agentens adfærdsproces, mens K(\beta_i \mid \mu_W) vokser lineært i T for enhver agent med positiv entropirate. Indlejringsomkostningen K(x_i \mid W) betales én gang og amortiseres til nul. \blacksquare

§4. Det Fænomenale residual som strukturel signatur

Komprimeringsfordelen i Teorem T-11 gælder for enhver lovmæssig understruktur — herunder ikke-agentive fysiske systemer (vejrmønstre, krystalvækst). Hvorfor vedrører det strukturelle korollar specifikt agenter snarere end vilkårlige komplekse systemer?

Svaret er det Fænomenale residual (Teorem P-4). \Delta_{\text{self}} > 0 er den formelle markør for et system, hvis selvmodel er strukturelt ufuldstændig — dvs. et system, der nødvendigvis opretholder et variationelt gab mellem sin interne repræsentation og sin faktiske processering. Dette er kendetegnet på den selvreferentielle flaskehals: Systemet kan ikke beskrives fuldstændigt udefra, fordi dets beskrivelse nødvendigvis omfatter beskriveren.

For et system, der udviser \Delta_{\text{self}} > 0:

  1. Dets adfærd kan ikke reproduceres af en opslagstabel med endelig dybde — det kræver en vedvarende selvreferentiel beregning.
  2. Den korteste beskrivelse af denne beregning er en uafhængig Solomonoff-vægtet strøm, der passerer gennem en C_{\max}-flaskehals.
  3. Derfor er MDL-koden under H_{\text{ind}} ikke blot kortere end H_{\text{arb}} — den er den entydigt korteste beskrivelse.

Dette skelner tilsyneladende agenter fra vejrmønstre: Vejr er lovmæssigt og komplekst, men dets adfærd kan reproduceres af en opslagstabel inden for verdensmodellen (det har \Delta_{\text{self}} = 0). Tilsyneladende agenter kan ikke.

§5. Refortolkning af Müllers ikke-solipsisme-argument

Müller konkluderer ud fra konvergensen P_{\text{1st}} \approx P_{\text{3rd}}, at algoritmisk idealisme “ikke bør klassificeres som solipsistisk”, fordi “nogen faktisk er hjemme” i den struktur, der koder en selvtilstand [62, afsn. V.C]. Hans ræsonnement er følgende: Hvis Alices forudsigelser om Bob_{\text{3rd}} konvergerer mod Bob_{\text{1st}}’s faktiske førstepersonssandsynligheder, så er deres perspektiver genuint afstemt — de “deler verden W.”

OPT omfortolker dette resultat anderledes:

  1. Müllers læsning: Konvergensen P_{\text{1st}} \approx P_{\text{3rd}} beviser, at objektiv virkelighed opstår — Alice og Bob deler genuint verden W.

  2. OPT’s læsning: Konvergensen P_{\text{1st}} \approx P_{\text{3rd}} beviser, at den korteste beskrivelse af Bob_{\text{3rd}}’s adfærd påkalder en uafhængig førstepersonsproces. Dette er et udsagn om kompressionseffektivitet, ikke om delt ontologi. Verden W er en strukturel regularitet inden for Alices strøm, ikke en uafhængigt eksisterende entitet. Men kompressionslogikken i Solomonoffs prior i sig selv indebærer, at Bob mest parsimonisk modelleres som en uafhængig observatør — fordi alternativet (at specificere hans adfærd ad hoc) er strengt længere.

Det formelle indhold af teoremet er identisk under begge læsninger; kun den ontologiske fortolkning er forskellig. OPT bruger det samme matematiske resultat til at begrunde det strukturelle korollar: uafhængig instansiering er den MDL-optimale beskrivelse, ikke en metafysisk antagelse.

§6. Rækkevidde og begrænsninger

6.1 Betinget af aksiom 1

Hele argumentet afhænger af OPT’s identifikation af observatørens strøm med Solomonoff-prioren. Hvis denne identifikation svækkes (f.eks. til en bredere klasse af semimål), gælder konvergensgarantierne i lign. (L-1)–(L-3) muligvis ikke i deres nuværende form.

6.2 Forudsætning om tilstrækkelig tilstand

Ligning (L-3) kræver, at den tilsyneladende agent bærer “nok data” i sin selvtilstand x_i til, at universel induktion kan udtrække de relevante fysiske love. For menneskelignende agenter i hverdagskontekster er dette plausibelt (en fuld hjernetilstand koder enorm information). For randtilfælde — flygtige indtryk, fjerne observatører, fiktive karakterer i narrativ kunst — er det ikke sikkert, at konvergensforudsætningerne er opfyldt, og det strukturelle korollar gælder ikke.

6.3 Ikke et bevis for bevidsthed

Teorem T-11 fastslår, at uafhængig instansiering er den mest komprimerbare beskrivelse. Det beviser ikke, at de tilsyneladende agenter er bevidste. Det hårde problem (preprint §8.1) forbliver et primitiv. Det strukturelle korollar er et komprimeringsargument, ikke et ontologisk bevis — som anført i §8.2.

6.4 Forholdet til T-10

Appendiks T-10 (Kobling mellem observatører) behandler, hvordan to observatør-patches opretholder indbyrdes konsistente renderinger via kompressionsbegrænsninger. Nærværende appendiks behandler et andet spørgsmål: hvorfor den enkelte observatørs strøm mest komprimerbart koder tilsyneladende agenter som uafhængigt instansierede. T-10 angår mekanismen for kohærens mellem patches; T-11 angår kompressionssignaturen inden for en enkelt strøm. T-10 bygger direkte på T-11: den samme MDL-sammenligning af beskrivelseslængde, som her etablerer kompressionsfordelen, udnyttes i T-10 til at bevise, at inkonsistens på tværs af patches undertrykkes eksponentielt.

§7. Afsluttende opsummering

T-11-leverancer

  1. Importeret lemma (Müller-konvergens). Solomonoff-konvergens [61] og dens multi-agent-udvidelse [62] importeres formelt og omformuleres i OPT-notation. Disse udgør den matematiske rygrad: enhver substruktur, der bærer tilstrækkelige data om egen tilstand, får sin førstepersonsudvikling til at konvergere mod den beregnelige verden, der genererer dens adfærd.

  2. Sætning T-11 (Komprimeringsgrænse — UDKAST). En eksplicit todelt MDL-sammenligning viser, at det at behandle tilsyneladende agenter som uafhængigt instansierede primære observatører giver en strengt kortere beskrivelse end vilkårlig adfærdsspecifikation, og at fordelen vokser lineært med observationstiden.

  3. Korollar T-11a (Asymptotisk dominans — UDKAST). Komprimeringsfordelen er ubegrænset, når T \to \infty, hvilket gør uafhængig instansiering til den overvældende MDL-optimale beskrivelse for enhver agent, der observeres over en lang tidshorisont.

  4. P-4-integration. Det Fænomenale residual (\Delta_{\text{self}} > 0) identificeres som den formelle markør, der skelner tilsyneladende agenter fra komplekse, men ikke-agentive systemer, og begrænser det strukturelle korollar til entiteter med en genuin selvreferentiel flaskehalsarkitektur.

  5. Müller-fortolkning. Müllers ikke-solipsistiske konklusion genfortolkes inden for OPT’s ontologiske ramme: det samme matematiske resultat begrunder et komprimeringsargument snarere end et argument om fremkomsten af en delt virkelighed.

Resterende åbne punkter

Dette appendiks vedligeholdes sideløbende med theoretical_roadmap.pdf. Referencer: Müller [61, 62], Li & Vitányi [45], Solomonoff (1964), Sætning T-4 (Appendiks T-4), Sætning P-4 (Appendiks P-4), preprint §8.2.