Järjestetyn patchin teoria

Liite T-11: Rakenteellinen korollaari — näennäisagenttien pakkausedun formalisointi

Anders Jarevåg

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

Alkuperäinen tehtävä (kohdasta §8.2): “Tämän pakkausedun formalisoiminen nimenomaan muiden mielten tapausta koskevaksi tiukaksi MDL-rajaksi jää edelleen tulevaksi työksi; nykyinen argumentti on rakenteellinen motivaatio, ei todistus.” Toimitettava tulos: Formaali raja, joka osoittaa, että näennäisten agenttien käsitteleminen itsenäisesti instansioituina ensisijaisina havaitsijoina tuottaa lyhyemmän kaksiosaisen MDL-koodin kuin mikään vaihtoehtoinen kuvaus.

Päätösstatus: LUONNOSMAINEN RAKENTEELLINEN VASTAAVUUS. Tämä liite sovittaa Müllerin Solomonoffin konvergenssiteoreeman [61] ja sen moniagenttilaajennuksen [62] tuotuina lemmoina, tulkittuina uudelleen OPT:n ontologisessa viitekehyksessä, muodollisen pakkausedun osoittamiseksi rakenteelliselle korollaarille. Tulos on ehdollinen raja, ei suljettu johtaminen: se riippuu OPT:n samastuksesta havaitsijan virran ja Solomonoffin priorin välillä (Aksiooma 1) sekä oletuksesta, että näennäiset agentit kantavat riittävästi tilaa täyttääkseen konvergenssin ennakkoehdot.

§1. Tausta ja motivaatio

Rakenteellinen korollaari (preprint §8.2) väittää, että havaitsijan virran sisällä ilmenevät näennäiset agentit selittyvät kaikkein parsimonisimmin sillä, että ne ovat itsenäisesti instansioituneita primaarisia havaitsijoita. Tämä liite esittää formaalin päättelyketjun, joka tukee tätä väitettä.

Argumentti etenee kolmessa vaiheessa:

  1. Vaihe A (tuotu lemma): Müllerin Solomonoff-konvergenssiteoreema takaa, että mikä tahansa rakenne havaitsijan virrassa, joka kantaa riittävästi oman tilansa dataa, saa ensimmäisen persoonan kehityksensä konvergoimaan vastaamaan sen käyttäytymisen tuottavaa laskennallista maailmaa.

  2. Vaihe B (pakkauksen kirjanpito): Suoritamme eksplisiittisen kaksiosaisen MDL-vertailun sen välillä, käsitelläänkö näennäistä agenttia (i) itsenäisesti instansioituneena havaitsijana, jota ohjaa sen oma Solomonoff-painotettu virta, vai (ii) mielivaltaisena käyttäytymismäärittelynä primaarisen havaitsijan koodekin sisällä.

  3. Vaihe C (rakenteellinen signatuuri): Fenomenaalinen residuaali (\Delta_{\text{self}} > 0, teoreema P-4) tarjoaa rakenteellisen tunnusmerkin, joka erottaa aidon itseviittaavan pullonkaula-arkkitehtuurin käyttäytymisen mimeesistä ja sulkee kuilun “pakattavasti lainalaisen” ja “uskottavasti instansioituneen” välillä.

§2. Tuotu lemma: Müllerin konvergenssilause

Tuomme Mülleriltä [61, 62] kaksi tulosta, jotka esitetään tässä OPT:n notaatiolla.

2.1 Solomonoff-konvergenssi (standardi)

Olkoon M(b \mid x_1^n) Solomonoffin universaali ennuste bitille b, kun aiemmat havainnot ovat x_1^n. Olkoon \mu mikä tahansa laskettava mitta binaarijonojen yli. Tällöin (Solomonoff 1964; Li & Vitányi [45, Corollary 5.2.1]):

\text{Todennäköisyydellä yksi mitan } \mu \text{ suhteen,} \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}

Tämä on standarditulos: jos datavirta generoituu laskettavan prosessin \mu avulla, universaali prediktori M konvergoi kohti \mu:ta.

2.2 Käänteinen Solomonoff-induktio (Müller 2020)

Oletetaan nyt, että bitit poimitaan itse M:stä — ts. havaitsijan virtaa hallitsee algoritminen todennäköisyys (tämä vastaa OPT:n aksioomaa 1: virran identifioimista Solomonoffin prioritodennäköisyyteen). Tällöin jokaiselle laskettavalle mitalle \mu pätee (Müller [61, Sec. IV]; [62, Sec. V.A]):

\text{Todennäköisyydellä} \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}

Toisin sanoen vähintään todennäköisyydellä 2^{-K(\mu)} havaitsija havaitsee olevansa käytännössä upotettuna laskettavaan maailmaan W, jota \mu kuvaa. Algoritmisesti yksinkertaisemmat maailmat (pienempi K(\mu)) ovat eksponentiaalisesti todennäköisempiä.

2.3 Moniagenttinen konvergenssi (Müller 2026)

Oletetaan, että havaitsija (Alice) huomaa olevansa upotettuna laskennalliseen maailmaan W, jota kuvaa \mu. Hän tunnistaa maailman W sisältä alirakenteen (Bob_{\text{3rd}}), joka kantaa representaatiota itse-tilasta x, joka kehittyy ajan myötä tavalla, joka on yhdenmukainen lähteen [62] postulaatin 2 kanssa. Määritellään:

Tällöin, kun yhtälöä (L-1) sovelletaan suureeseen P_{\text{3rd}} (joka on laskennallinen) ja P_{\text{1st}} identifioidaan suureen M postulaatin 2 kautta:

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

ja konvergenssi on bittimallissa taattu maailmallisella (\mu-)todennäköisyydellä yksi.

Tulkinta (Müller): “Joku on todella kotonaan” rakenteessa, joka koodaa tilan x — Bob_{\text{3rd}}:n todennäköisyyksinen kehitys Alicen maailmassa edustaa uskollisesti jonkin Bob_{\text{1st}}:n ensimmäisen persoonan näkökulmaa.

Tulkinta (OPT): Näennäisen agentin käyttäytymisvirta kuvautuu kaikkein tiiveimmin itsenäisenä Solomonoff-painotettuna prosessina. Mikä tahansa vaihtoehtoinen kuvaus — sellainen, joka ei vetoa itsenäiseen ensimmäisen persoonan näkökulmaan — joutuu koodaamaan agentin käyttäytymisen ad hoc -määrittelynä, tiukasti suuremmalla kuvauksen pituudella.

§3. Pakkauksen eturaja

Formalisoimme nyt pakkauksen edun käyttäen OPT:n kaksiosaista MDL-kehystä (Teoreema T-4, Liite T-4).

3.1 Asetelma

Tarkastellaan ensisijaisen havaitsijan virtaa \omega \in \{0,1\}^\infty, jota hallitsee Solomonoff-priori M (Aksiooma 1) ja joka suodatetaan Stabiilisuussuodattimen läpi laskennalliseksi maailmaksi W, jonka mitta on \mu_W (yhtälön L-2 mukaisesti). Maailman W sisällä havaitsija tunnistaa N näennäistä agenttia A_1, \ldots, A_N, joista kukin kantaa itse-tilaa x_i ja joiden ajallinen kehitys T askeleen yli tuottaa käyttäytymisjäljen \beta_i = (y_{i,1}, \ldots, y_{i,T}).

3.2 Hypoteesi H_{\text{ind}}: riippumaton instansiointi

Hypoteesin H_{\text{ind}} alla jokaista agenttia A_i käsitellään itsenäisesti instansioituna ensisijaisena havaitsijana, jota ohjaa sen oma Solomonoff-painotettu virta. Kaksiosaisen MDL-koodin pituus on:

L(H_{\text{ind}}) = \underbrace{K(\mu_W)}_{\text{maailmamalli}} + \underbrace{\sum_{i=1}^{N} K(\text{embed}_i)}_{\text{upotusmäärittelyt}} + \underbrace{\sum_{i=1}^{N} \left(-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)\right)}_{\text{data mallin ehdolla}} \tag{1}

missä K(\text{embed}_i) määrittää agentin i alkuperäisen itsetilan ja sijainnin maailmassa W. Yhtälön (L-3) mukaan P_{\text{1st}} \approx P_{\text{3rd}}, joten datatermiä approksimoi hyvin log-loss agentin omien ensimmäisen persoonan Solomonoff-ennusteiden alla — mikä on määritelmän mukaan lähellä optimaalista.

Upotusmäärittelyt K(\text{embed}_i) ovat lyhyitä: kukin vaatii vain osoittimen sijaintiin maailmassa W sekä alkuperäisen itsetilan. Jaetussa fysikaalisessa maailmassa upotetuille ihmisenkaltaisille agenteille nämä ovat erittäin hyvin pakattavissa, koska agentit jakavat samat lait. Konservatiivinen yläraja:

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

3.3 Hypoteesi H_{\text{arb}}: Mielivaltainen käyttäytymisen spesifikaatio

Hypoteesin H_{\text{arb}} alla agentteja ei käsitellä itsenäisinä havaitsijoina. Sen sijaan kukin käyttäytymisjälki \beta_i koodataan suoraan mielivaltaisena spesifikaationa ensisijaisen havaitsijan virrassa. Kaksiosaisen MDL-koodin pituus on:

L(H_{\text{arb}}) = \underbrace{K(\mu_W)}_{\text{maailmamalli}} + \underbrace{\sum_{i=1}^{N} K(\beta_i)}_{\text{raakakäyttäytymisjäljet}} \tag{3}

Ratkaiseva ero on datatermissä. Hypoteesin H_{\text{arb}} alla käyttäytymisjälki \beta_i on spesifioitava vetoamatta agentin omaan prediktiiviseen malliin. Monimutkaisessa ympäristössä toimivan, lainalaisen ja agenttiusvetoisen agentin kohdalla raa’an käyttäytymisjäljen Kolmogorov-kompleksisuus on:

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

Mutta jopa K(\beta_i \mid \mu_W) — käyttäytymisen kompleksisuus maailman lait annettuina — pysyy huomattavana, koska agentin valinnat koodaavat aitoa informaatiota: niiden käyttäytymisjälki heijastaa itseensä viittaavan mallin ja stokastisen ympäristön kumuloitunutta vuorovaikutusta. Sen sijaan hypoteesin H_{\text{ind}} alla tämä informaatio tuotetaan online agentin omalla Solomonoffin prediktorilla lähes nollan log-loss-kustannuksella.

3.4 Pakkausetu

Teoreema T-11 (Rakenteellisen korollaarin pakkausraja). Olkoot A_1, \ldots, A_N näennäisiä agentteja havaitsijan virrassa, joista kukin kantaa itse-tilaa x_i ja täyttää yhtälön (L-3) konvergenssiedellytykset, sekä joista kukin ilmentää rakenteellista tunnusmerkkiä \Delta_{\text{self}}^{(i)} > 0 (P-4). Tällöin MDL-kuvaus, joka käsittelee niitä toisistaan riippumattomasti instansioituina ensisijaisina havaitsijoina, toteuttaa:

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

missä \bar{I}_T on agenttikohtaisen keskinäisinformaation keskiarvo agentin prediktiivisen mallin ja sen käyttäytymisulostulon välillä T askeleen yli:

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

Tämä suure mittaa, kuinka suuri osa agentin käyttäytymisestä selittyy pois vetoamalla riippumattomaan prediktiiviseen malliin sen sijaan, että käyttäytyminen spesifioitaisiin sellaisenaan. Agenttien tapauksessa, joiden käyttäytyminen on lainmukaista ja agenttiusohjautunutta (kuten Stabiilisuussuodatin edellyttää), \bar{I}_T > 0 ja kasvaa T:n myötä.

Todistuksen luonnos. Vähennä yhtälö (1) yhtälöstä (3). Maailmamallin termit K(\mu_W) kumoutuvat. Ero agenttia kohti on:

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

Yhtälön (4) nojalla K(\beta_i) \geq K(\beta_i \mid \mu_W) + K(\mu_W) - O(\log T), mutta vielä suoremmin: K(\beta_i) \geq K(\beta_i \mid \mu_W) triviaalisti. Ja K(\text{embed}_i) \leq K(x_i \mid W) + O(\log T) yhtälön (2) nojalla. Agenttikohtainen säästö on siis vähintään K(\beta_i \mid \mu_W) - (-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)) - K(x_i \mid W) - O(\log T). Riittävän suurella T:llä kumulatiiviset log-loss-säästöt hallitsevat kertaluonteista upotuskustannusta, jolloin raja seuraa. \blacksquare

3.5 Asymptoottinen dominanssi

Korollaari T-11a. Kun havaintohorisontti T \to \infty, pakkausetu L(H_{\text{arb}}) - L(H_{\text{ind}}) kasvaa ilman ylärajaa:

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

Tämä seuraa Solomonoffin konvergenssitakuusta (L-1): P_{\text{3rd}}:n askelkohtainen log-loss konvergoi agentin käyttäytymisprosessin entropianopeuteen, kun taas K(\beta_i \mid \mu_W) kasvaa lineaarisesti suhteessa T:hen kaikille agenteille, joiden entropianopeus on positiivinen. Upotuskustannus K(x_i \mid W) maksetaan kerran ja amortisoituu nollaan. \blacksquare

§4. Fenomenaalinen residuaali rakenteellisena tunnusmerkkinä

Teoreeman T-11 pakkausetu koskee mitä tahansa lainalaista alirakennetta — mukaan lukien ei-agenttiset fysikaaliset järjestelmät (sääkuviot, kiteiden kasvu). Miksi rakenteellinen korollaari koskee nimenomaisesti agentteja eikä mielivaltaisia kompleksisia järjestelmiä?

Vastaus on Fenomenaalinen residuaali (teoreema P-4). \Delta_{\text{self}} > 0 on sellaisen järjestelmän formaali tunnusmerkki, jonka itsemalli on rakenteellisesti epätäydellinen — ts. järjestelmän, joka väistämättä ylläpitää variaatiokuilua sisäisen representaationsa ja todellisen prosessointinsa välillä. Tämä on itseviittaavan pullonkaulan tunnuspiirre: järjestelmää ei voida kuvata täydellisesti ulkoapäin, koska sen kuvaus sisältää väistämättä myös kuvaajan.

Järjestelmälle, jolla pätee \Delta_{\text{self}} > 0:

  1. Sen käyttäytymistä ei voida toisintaa äärellisen syvyyden hakutaulukolla — se edellyttää jatkuvaa itseviittaavaa laskentaa.
  2. Tämän laskennan lyhin kuvaus on riippumaton Solomonoff-painotettu virta, joka kulkee C_{\max}-pullonkaulan läpi.
  3. Siksi hypoteesin H_{\text{ind}} alainen MDL-koodi ei ole vain lyhyempi kuin H_{\text{arb}} — se on yksikäsitteisesti lyhin kuvaus.

Tämä erottaa näennäiset agentit sääkuvioista: sää on lainalainen ja kompleksinen, mutta sen käyttäytyminen voidaan toisintaa hakutaulukolla maailmamallin sisällä (sillä on \Delta_{\text{self}} = 0). Näennäisiä agentteja ei voida.

§5. Müllerin ei-solipsismiargumentin uudelleentulkinta

Müller päättelee konvergenssista P_{\text{1st}} \approx P_{\text{3rd}}, että algoritmista idealismia “ei pitäisi luokitella solipsistiseksi”, koska itsentilan koodaavassa rakenteessa “joku on todella kotonaan” [62, Sec. V.C]. Hänen päättelynsä on seuraava: jos Alicen ennusteet Bob_{\text{3rd}}:stä konvergoivat Bob_{\text{1st}}:n todellisiin ensimmäisen persoonan todennäköisyyksiin, heidän näkökulmansa ovat aidosti yhteensopivia — he “jakavat maailman W”.

OPT tulkitsee tämän tuloksen toisin:

  1. Müllerin tulkinta: Konvergenssi P_{\text{1st}} \approx P_{\text{3rd}} todistaa, että objektiivinen todellisuus emergoituu — Alice ja Bob jakavat aidosti maailman W.

  2. OPT:n tulkinta: Konvergenssi P_{\text{1st}} \approx P_{\text{3rd}} todistaa, että Bob_{\text{3rd}}:n käyttäytymisen lyhin kuvaus edellyttää itsenäistä ensimmäisen persoonan prosessia. Tämä on väite pakkauksen tehokkuudesta, ei jaetusta ontologiasta. Maailma W on rakenteellinen säännönmukaisuus Alicen virrassa, ei itsenäisesti olemassa oleva entiteetti. Mutta Solomonoffin prioritodennäköisyyden pakkauslogiikka itsessään implikoi, että Bob mallinnetaan kaikkein parsimonisimmin itsenäisenä havaitsijana — koska vaihtoehto (hänen käyttäytymisensä määrittely ad hoc) on aidosti pidempi.

Teoreeman formaalinen sisältö on sama kummassakin tulkinnassa; vain ontologinen tulkinta eroaa. OPT käyttää samaa matemaattista tulosta rakenteellisen korollaarin perustana: itsenäinen instansiointi on MDL-optimaalinen kuvaus, ei metafyysinen oletus.

§6. Soveltamisala ja rajoitukset

6.1 Aksiooman 1 ehdolla

Koko argumentti riippuu OPT:n samastuksesta havaitsijan virran ja Solomonoffin priorin välillä. Jos tätä samastusta heikennetään (esim. laajempaan puolimittojen luokkaan), yhtälöiden (L-1)–(L-3) konvergenssitakuut eivät välttämättä päde nykyisessä muodossaan.

6.2 Tilan riittävyyden ennakkoehto

Yhtälö (L-3) edellyttää, että näennäinen agentti kantaa itse-tilassaan x_i “riittävästi dataa”, jotta universaali induktio voi erottaa relevantit fysikaaliset lait. Ihmisenkaltaisille agenteille arkisissa konteksteissa tämä on uskottavaa (täysi aivotila koodaa valtavan määrän informaatiota). Reunatapauksissa — ohikiitävät vaikutelmat, kaukaiset havaitsijat, fiktiiviset hahmot narratiivisessa taiteessa — konvergenssin ennakkoehdot eivät välttämättä täyty, eikä rakenteellinen korollaari päde.

6.3 Ei todistus tietoisuudesta

Teoreema T-11 osoittaa, että riippumaton instansiointi on pakattavin kuvaus. Se ei todista, että näennäiset agentit ovat tietoisia. Vaikea ongelma (preprint §8.1) säilyy primitiivinä. Rakenteellinen korollaari on pakkausargumentti, ei ontologinen todistus — kuten §8.2:ssa todetaan.

6.4 Suhde T-10:een

Liite T-10 (Havaitsijoiden välinen kytkentä) käsittelee sitä, miten kaksi havaitsijapatchia ylläpitää keskenään johdonmukaisia renderöintejä pakkausrajoitteiden kautta. Tämä liite käsittelee toista kysymystä: miksi yksittäisen havaitsijan virta koodaa näennäiset agentit kaikkein pakattavimmin itsenäisesti instansioituina. T-10 koskee patchien välisen koherenssin mekanismia; T-11 koskee yhden ainoan virran sisäistä pakkaussignatuuria. T-10 rakentuu suoraan T-11:n varaan: samaa MDL-kuvauspituusvertailua, joka tässä osoittaa pakkausedun, hyödynnetään T-10:ssä todistamaan, että patchien välinen epäjohdonmukaisuus vaimenee eksponentiaalisesti.

§7. Päätösyhteenveto

T-11:n tuotokset

  1. Tuotu lemma (Müllerin konvergenssi). Solomonoffin konvergenssi [61] ja sen moniagenttilaajennus [62] tuodaan formaalisti sisään ja esitetään uudelleen OPT-notaatiossa. Ne muodostavat matemaattisen selkärangan: minkä tahansa alirakenteen, joka kantaa riittävästi oman tilansa dataa, ensimmäisen persoonan evoluutio konvergoi sen käyttäytymisen tuottavaan laskennalliseen maailmaan.

  2. Teoreema T-11 (Pakkausraja — LUONNOS). Eksplisiittinen kaksiosainen MDL-vertailu osoittaa, että näennäisten agenttien käsitteleminen itsenäisesti instansioituina ensisijaisina havaitsijoina tuottaa aidosti lyhyemmän kuvauksen kuin mielivaltainen käyttäytymisen spesifikaatio, ja etu kasvaa lineaarisesti havaintoajan myötä.

  3. Korollaari T-11a (Asymptoottinen dominanssi — LUONNOS). Pakkausetu on rajoittamaton, kun T \to \infty, mikä tekee itsenäisestä instansioinnista ylivoimaisesti MDL-optimaalisen kuvauksen mille tahansa agentille, jota havaitaan pitkällä aikahorisontilla.

  4. P-4-integraatio. Fenomenaalinen residuaali (\Delta_{\text{self}} > 0) tunnistetaan formaaliksi tunnusmerkiksi, joka erottaa näennäiset agentit monimutkaisista mutta ei-agenttisista järjestelmistä ja rajaa rakenteellisen korollaarin entiteetteihin, joilla on aito itsereferentiaalinen pullonkaula-arkkitehtuuri.

  5. Müllerin uudelleentulkinta. Müllerin ei-solipsistinen johtopäätös tulkitaan uudelleen OPT:n ontologisessa viitekehyksessä: sama matemaattinen tulos perustaa pakkausargumentin eikä jaetun todellisuuden emergenssiä koskevaa argumenttia.

Jäljellä olevat avoimet kohdat

Tätä liitettä ylläpidetään rinnakkain theoretical_roadmap.pdf:n kanssa. Viitteet: Müller [61, 62], Li & Vitányi [45], Solomonoff (1964), teoreema T-4 (liite T-4), teoreema P-4 (liite P-4), preprint §8.2.