Kenningin um raðaðan patch (OPT)

Viðauki T-11: Formgerðarafleiðing — formgerðing samþjöppunarforskots sýnilegra gerenda

Anders Jarevåg

15. apríl 2026 | DOI: 10.5281/zenodo.19300777

Upprunalegt verkefni (úr §8.2): “Að formgera þetta þjöppunarforskot sem strangt MDL-mark fyrir tilvik annarra huga sérstaklega er enn verkefni framtíðarinnar; núverandi röksemdafærsla er formgerðarleg hvatning, ekki sönnun.” Afhending: Formlegt mark sem sýnir að það að meðhöndla sýnilega gerendur sem sjálfstætt innleysta frumathugendur gefur styttri tvíþættan MDL-kóða en nokkur önnur lýsing.

Lokastaða: DRÖG AÐ FORMGERÐARLEGRI SAMSVÖRUN. Þessi viðauki aðlagar samleitnisetningu Solomonoffs hjá Müller [61] og fjölgerendaútvíkkun hennar [62] sem innfluttar hjálparsetningar, endurtúlkaðar innan verufræðilegs ramma OPT, til að staðfesta formlegt þjöppunarforskot fyrir formgerðarafleiðinguna. Niðurstaðan er skilyrt mark, ekki lokuð afleiðsla: hún byggir á því að OPT samsami straum athugandans við forgangslíkindadreifingu Solomonoffs (Frumsetning 1) og á þeirri forsendu að sýnilegir gerendur beri nægilegt ástand til að fullnægja forkröfum samleitninnar.

§1. Bakgrunnur og hvati

Formgerðarafleiðingin (forprent §8.2) heldur því fram að gerendurnir sem virðast vera til staðar innan straums athugandans séu á hagkvæmastan hátt skýrðir með sjálfstæðri innsetningu þeirra sem frumathugenda. Þessi viðauki setur fram hina formlegu rökkeðju sem styður þá fullyrðingu.

Rökin hafa þrjú stig:

  1. Stig A (innflutt lemma): Solomonoff-samleitnisetning Müllers tryggir að sérhver formgerð í straumi athugandans sem ber nægileg gögn um eigið ástand muni í fyrstu persónu þróast þannig að hún samleitist reiknanlega heiminum sem framkallar hegðun hennar.

  2. Stig B (þjöppunarbókhald): Við framkvæmum skýran tvíþættan MDL-samanburð milli þess að meðhöndla hinn sýnilega geranda sem (i) sjálfstætt innsettan athuganda sem lýtur sínum eigin Solomonoff-vegaða straumi annars vegar og (ii) handahófskennda hegðunarlýsingu innan kóðara frumathugandans hins vegar.

  3. Stig C (formgerðarlegt auðkenni): Fyrirbærafræðileg leif (\Delta_{\text{self}} > 0, Setning P-4) veitir það formgerðarlega kennimark sem aðgreinir raunverulega sjálfsvísandi flöskuhálsarkitektúr frá hegðunarlíkjun og lokar þar með bilinu milli „þjappanlega lögmálsbundins“ og „trúverðuglega innsetts.“

§2. Innflutt hjálparsetning: Samleitnisetning Müllers

Við flytjum inn tvær niðurstöður frá Müller [61, 62], settar hér fram í táknmáli OPT.

2.1 Samleitni Solomonoffs (staðlað)

Látum M(b \mid x_1^n) tákna algilda forspá Solomonoffs fyrir bitann b að gefnum fyrri athugunum x_1^n. Látum \mu vera eitthvert reiknanlegt mæliyfirlag á tvíundarunum. Þá gildir (Solomonoff 1964; Li & Vitányi [45, Corollary 5.2.1]):

\text{Með } \mu\text{-líkindum eitt,} \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}

Þetta er staðlaða niðurstaðan: ef gagnastraumurinn er framleiddur af reiknanlegu ferli \mu, þá stefnir algildi forspárgjafinn M að \mu.

2.2 Andhverf Solomonoff-aðleiðsla (Müller 2020)

Gerum nú ráð fyrir að bitarnir séu dregnir úr M sjálfu — þ.e. að straumur athugandans lúti algrímlíkum líkindum (þetta samsvarar Frumsetningu 1 í OPT: samsömun straumsins við fordreifingu Solomonoffs). Þá gildir fyrir sérhvern reiknanlegan mælikvarða \mu (Müller [61, Sec. IV]; [62, Sec. V.A]):

\text{Með líkum} \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}

Það er: með líkum að minnsta kosti 2^{-K(\mu)} mun athugandinn komast að raun um að hann sé í reynd innfelldur í reiknanlegan heim W sem lýst er af \mu. Heimar sem eru algrímlega einfaldari (lægra K(\mu)) eru veldisvaxandi líklegri.

2.3 Samleitni margra gerenda (Müller 2026)

Gerum ráð fyrir að athugandinn (Alice) finni sig innfelldan í reiknanlegum heimi W sem er lýst af \mu. Hún auðkennir undirformgerð (Bob_{\text{3rd}}) innan W sem ber framsetningu á sjálfsástandi x sem þróast yfir tíma á hátt sem samræmist Frumsetningu 2 í [62]. Skilgreinum:

Þá gildir, samkvæmt jöfnu (L-1) beittri á P_{\text{3rd}} (sem er reiknanlegt), og auðkenningu P_{\text{1st}} við M samkvæmt Frumsetningu 2:

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

og samleitni er tryggð með heimslíkum (\mu-) líkum einum í bitalíkaninu.

Túlkun (Müller): „Einhver er raunverulega heima“ í formgerðinni sem kóðar x — líkindaleg þróun Bob_{\text{3rd}} í heimi Alice endurspeglar af trúmennsku fyrstu persónu sjónarhorn einhvers Bob_{\text{1st}}.

Túlkun (OPT): Hegðunarstraumi hins sýnilega geranda er með minnstu lýsingarlengd best lýst sem sjálfstæðu ferli vegnu með Algildri hálfmælingu Solomonoffs. Sérhver önnur lýsing — sem ekki kallar á sjálfstætt fyrstu persónu sjónarhorn — verður að kóða hegðun gerandans sem sértæka bráðabirgðaforskrift, með stranglega meiri lýsingarlengd.

§3. Mörk þjöppunarforskotsins

Við formgerum nú þjöppunarforskotið með tvíþættum MDL-ramma OPT (Setning T-4, Viðauki T-4).

3.1 Uppsetning

Lítum á straum frumathugandans \omega \in \{0,1\}^\infty, sem stýrist af forlíkindadreifingu Solomonoffs M (Frumsetning 1) og er síaður í gegnum Stöðugleikasíuna yfir í reiknanlegan heim W með mæli \mu_W (samkvæmt jöfnu L-2). Innan W auðkennir athugandinn N sýnilega gerendur A_1, \ldots, A_N, sem hver um sig ber sjálfsástand x_i þar sem tímaleg þróun yfir T skref framleiðir hegðunarferil \beta_i = (y_{i,1}, \ldots, y_{i,T}).

3.2 Tilgáta H_{\text{ind}}: Sjálfstæð innsetning

Undir H_{\text{ind}} er hver gerandi A_i meðhöndlaður sem sjálfstætt innsettur frumathugandi sem lýtur sinni eigin Solomonoff-vigtuðu rás. Tvíþætt MDL-kóðalengd er:

L(H_{\text{ind}}) = \underbrace{K(\mu_W)}_{\text{world model}} + \underbrace{\sum_{i=1}^{N} K(\text{embed}_i)}_{\text{embedding specs}} + \underbrace{\sum_{i=1}^{N} \left(-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)\right)}_{\text{data given model}} \tag{1}

þar sem K(\text{embed}_i) tilgreinir upphaflegt sjálfsástand geranda i og stöðu hans innan W. Samkvæmt jöfnu (L-3) gildir að P_{\text{1st}} \approx P_{\text{3rd}}, þannig að gagnaliðurinn er vel nálgaður með log-tapi undir eigin fyrstu persónu Solomonoff-spám gerandans — sem, samkvæmt skilgreiningu, er nálægt bestu mögulegri niðurstöðu.

Innsetningarlýsingarnar K(\text{embed}_i) eru stuttar: hver þeirra krefst aðeins bendils á staðsetningu í W auk upphaflegs sjálfsástands. Fyrir mannlíka gerendur sem eru innsettir í sameiginlegan efnisheim eru þessar lýsingar mjög þjappanlegar vegna þess að gerendurnir lúta sömu lögmálum. Varfærin efri mörk:

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

3.3 Tilgáta H_{\text{arb}}: Handahófskennd hegðunarforskrift

Undir H_{\text{arb}} eru gerendurnir ekki meðhöndlaðir sem sjálfstæðir athugendur. Í staðinn er hver hegðunarslóð \beta_i kóðuð beint sem handahófskennd forskrift innan straums hins frumstæða athuganda. Tvíþætt MDL-kóðalengd er:

L(H_{\text{arb}}) = \underbrace{K(\mu_W)}_{\text{world model}} + \underbrace{\sum_{i=1}^{N} K(\beta_i)}_{\text{raw behavioral traces}} \tag{3}

Meginmunurinn birtist í gagnaliðnum. Undir H_{\text{arb}} verður að tilgreina hegðunarslóðina \beta_i án þess að vísa til eigin forspárlíkans gerandans. Fyrir lögbundinn, gerendadrifinn geranda sem starfar í flóknu umhverfi er Kolmogorov-flækjustig hráu hegðunarslóðarinnar:

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

En jafnvel K(\beta_i \mid \mu_W) — flækjustig hegðunarinnar að gefnum lögmálum heimsins — er enn umtalsvert, vegna þess að val gerandans kóðar raunverulegar upplýsingar: hegðunarslóð hans endurspeglar uppsafnaða víxlverkun sjálfsvísandi líkans við stokastískt umhverfi. Aftur á móti er, undir H_{\text{ind}}, þessum upplýsingum framleitt online af eigin Solomonoff-spágerð gerandans með nær-engum log-loss-kostnaði.

3.4 Þjöppunarforskotið

Setning T-11 (Formgerðarafleiðing: þjöppunarmörk). Látum A_1, \ldots, A_N vera sýnilega gerendur innan straums athugandans, sem hver um sig bera sjálfsástand x_i sem uppfyllir samleitniforsendur jöfnu (L-3), og hver um sig sýna formgerðarmerkið \Delta_{\text{self}}^{(i)} > 0 (P-4). Þá uppfyllir MDL-lýsingin, sem meðhöndlar þá sem sjálfstætt innleysta frumathugendur, eftirfarandi:

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

þar sem \bar{I}_T er meðalgagnkvæm upplýsingamagn á hvern geranda milli forspárlíkans gerandans og hegðunarúttaks hans yfir T skref:

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

Þessi stærð mælir hversu stór hluti af hegðun gerandans er útskýrður burt með því að vísa til sjálfstæðs forspárlíkans fremur en að tilgreina hana hráa. Fyrir gerendur sem sýna lögbundna, gerendadrifna hegðun (eins og Stöðugleikasía krefst) gildir að \bar{I}_T > 0 og vex með T.

Sönnunardrög. Dragið jöfnu (1) frá jöfnu (3). Heimsmyndarlíkansliðirnir K(\mu_W) falla út. Mismunurinn fyrir hvern geranda er:

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

Samkvæmt jöfnu (4) gildir að K(\beta_i) \geq K(\beta_i \mid \mu_W) + K(\mu_W) - O(\log T), en enn beinna: K(\beta_i) \geq K(\beta_i \mid \mu_W) er augljóslega satt. Og K(\text{embed}_i) \leq K(x_i \mid W) + O(\log T) samkvæmt jöfnu (2). Sparnaðurinn fyrir hvern geranda er því að minnsta kosti K(\beta_i \mid \mu_W) - (-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)) - K(x_i \mid W) - O(\log T). Fyrir nægilega stórt T ræður uppsafnaður sparnaður í log-loss yfir einskiptiskostnaði innfellingarinnar, og þannig fæst markið. \blacksquare

3.5 Asymptótísk yfirráð

Afleiðing T-11a. Þegar athugunarsjóndeildin T \to \infty, vex þjöppunarforskotið L(H_{\text{arb}}) - L(H_{\text{ind}}) án efri marka:

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

Þetta leiðir af samleitniábyrgð Solomonoffs (L-1): log-tap á hvert skref fyrir P_{\text{3rd}} stefnir á óreiðuhraða hegðunarferlis gerandans, á meðan K(\beta_i \mid \mu_W) vex línulega með T fyrir sérhvern geranda með jákvæðan óreiðuhraða. Innfellingarkostnaðurinn K(x_i \mid W) er greiddur einu sinni og afskrifast niður í núll. \blacksquare

§4. Fyrirbærafræðileg leif sem formgerðarlegt auðkenni

Þjöppunarforskotið í Setningu T-11 á við um sérhvern lögbundinn undirstrúktúr — þar með talin ógerendamiðuð eðlisfræðileg kerfi (veðurmynstur, kristalvöxtur). Hvers vegna varðar formgerðarafleiðingin þá sérstaklega gerendur fremur en handahófskennd flókin kerfi?

Svarið er Fyrirbærafræðileg leif (Setning P-4). \Delta_{\text{self}} > 0 er formlegt auðkenni kerfis þar sem sjálfslíkan þess er formgerðarlega ófullkomið — þ.e. kerfis sem viðheldur nauðsynlega breytileikabili milli innri framsetningar sinnar og raunverulegrar vinnslu sinnar. Þetta er megineinkenni sjálfsvísandi flöskuhálsins: kerfinu er ekki unnt að lýsa því til fulls utan frá, vegna þess að lýsing þess felur nauðsynlega í sér lýsandann.

Fyrir kerfi sem sýnir \Delta_{\text{self}} > 0:

  1. Hegðun þess verður ekki endurframleidd með uppflettitöflu af endanlegri dýpt — hún krefst samfellds sjálfsvísandi útreiknings.
  2. Stysta lýsing þessa útreiknings er sjálfstæður straumur veginn með Algildri hálfmælingu Solomonoffs sem fer í gegnum C_{\max} flöskuháls.
  3. Þess vegna er MDL-kóðinn undir H_{\text{ind}} ekki einungis styttri en H_{\text{arb}} — hann er eina stysta lýsingin.

Þetta aðgreinir sýnilega gerendur frá veðurmynstrum: veður er lögbundið og flókið, en hegðun þess má endurframleiða með uppflettitöflu innan heimslíkansins (það hefur \Delta_{\text{self}} = 0). Sýnilegir gerendur gera það ekki.

§5. Endurtúlkun á rökum Müllers gegn sólipsisma

Müller dregur þá ályktun af samleitninni P_{\text{1st}} \approx P_{\text{3rd}} að reiknileg hughyggja „ætti ekki að flokkast sem sólipsísk“ vegna þess að „einhver er raunverulega heima“ í þeirri formgerð sem kóðar sjálfsástand [62, Sec. V.C]. Röksemd hans er þessi: ef spár Alice um Bob_{\text{3rd}} nálgast raunverulegar fyrstu-persónu-líkur Bob_{\text{1st}}, þá eru sjónarhorn þeirra í raun samstillt — þau „deila heiminum W.“

OPT endurtúlkar þessa niðurstöðu á annan hátt:

  1. Lestur Müllers: Samleitnin P_{\text{1st}} \approx P_{\text{3rd}} sannar að hlutlægur veruleiki sprettur fram — Alice og Bob deila í raun heiminum W.

  2. Lestur OPT: Samleitnin P_{\text{1st}} \approx P_{\text{3rd}} sannar að stysta lýsingin á hegðun Bob_{\text{3rd}} vísar til sjálfstæðs fyrstu-persónu-ferlis. Þetta er fullyrðing um þjöppunarskilvirkni, ekki um sameiginlega verufræði. Heimur W er formgerðarbundin reglufesta innan straums Alice, ekki sjálfstætt tilverandi eining. En þjöppunarrökfræði Algildrar hálfmælingar Solomonoffs sjálf felur í sér að hagkvæmast er, samkvæmt sparsömustu lýsingu, að móta Bob sem sjálfstæðan athuganda — vegna þess að valkosturinn (að tilgreina hegðun hans sérstaklega og tilfallandi) er strangt tekið lengri.

Formlegt inntak setningarinnar er hið sama samkvæmt báðum lestrum; aðeins verufræðileg túlkun er ólík. OPT notar sömu stærðfræðilegu niðurstöðu til að grundvalla formgerðarafleiðinguna: sjálfstæð innsetning er MDL-besta lýsingin, ekki frumspekileg forsenda.

§6. Umfang og takmarkanir

6.1 Skilyrt á Frumsetningu 1

Öll röksemdafærslan veltur á því að OPT samsami straum athugandans við forlíkindadreifingu Solomonoffs. Ef þessi samsömun er veikt (t.d. yfir í víðari flokk hálfmælinga), er ekki víst að samleitnitryggingar jöfnanna (L-1)–(L-3) haldi í núverandi mynd.

6.2 Forsenda nægilegs ástands

Jafna (L-3) krefst þess að hinn sýnilegi gerandi beri „næg gögn“ í sjálfsástandi sínu x_i svo algild innleiðsla geti dregið út viðeigandi eðlisfræðilögmál. Fyrir mannlíka gerendur í hversdagslegu samhengi er þetta trúlegt (fullt heilaástand kóðar gríðarlegt magn upplýsinga). Í jaðartilvikum — hverfulum hughrifum, fjarlægum athugendum, skálduðum persónum í frásagnarlist — kunna forsendur samleitni hins vegar ekki að vera uppfylltar, og formgerðarafleiðingin á þá ekki við.

6.3 Ekki sönnun fyrir meðvitund

Setning T-11 staðfestir að óháð innsetning sé þjappanlegasta lýsingin. Hún sannar ekki að sýnilegir gerendur séu meðvitaðir. Erfiða vandamálið (preprint §8.1) stendur áfram sem frumforsenda. Formgerðarafleiðingin er þjöppunarrök, ekki verufræðileg sönnun — eins og fram kemur í §8.2.

6.4 Tengsl við T-10

Viðauki T-10 (Tenging milli athugenda) fjallar um hvernig tveir athugandaplástrar viðhalda gagnkvæmlega samræmdri myndgerð með þjöppunarskilyrðum. Þessi viðauki fjallar um aðra spurningu: hvers vegna straumur eins athuganda kóðar sýnilega gerendur á sem þjappanlegastan hátt sem sjálfstætt innleidd fyrirbæri. T-10 varðar samhengisverkferli milli plástra; T-11 varðar þjöppunareinkennið innan eins straums. T-10 byggir beint á T-11: sami MDL-samanburður á lýsingarlengd sem staðfestir þjöppunarforskotið hér er nýttur í T-10 til að sanna að ósamræmi milli plástra sé bælt niður með veldisvísislegum hætti.

§7. Samantekt lokaákvæða

Afhendingaratriði T-11

  1. Innflutt lemma (samleitni Müllers). Samleitni Solomonoffs [61] og fjölathugendaútvíkkun hennar [62] eru formlega teknar inn og endursettar í táknmáli OPT. Þetta myndar stærðfræðilegan burðarás: sérhver undirgerð sem ber nægileg gögn um eigið ástand hefur þróun sína í fyrstu persónu sem stefnir að þeim reiknanlega heimi sem framkallar hegðun hennar.

  2. Setning T-11 (Þjöppunarmörk — DRÖG). Skýr tvíþættur MDL-samanburður sýnir að það að meðhöndla sýnilega gerendur sem sjálfstætt innsetta frumathugendur gefur strangt styttri lýsingu en handahófskennd hegðunarforskrift, og að forskotið vex línulega með athugunartíma.

  3. Afleiðing T-11a (Asymptótísk yfirráð — DRÖG). Þjöppunarforskotið er ótakmarkað þegar T \to \infty, sem gerir sjálfstæða innsetningu að yfirgnæfandi MDL-hagkvæmustu lýsingu fyrir sérhvern geranda sem er athugaður yfir langan tímabilsás.

  4. Samþætting P-4. Fyrirbærafræðileg leif (\Delta_{\text{self}} > 0) er auðkennd sem formlegi vísirinn sem aðgreinir sýnilega gerendur frá flóknum en ógerandlegum kerfum, og takmarkar formgerðarafleiðinguna við einingar með raunverulegri sjálfsvísandi flöskuhálsarkitektúr.

  5. Endurtúlkun Müllers. Niðurstaða Müllers um and-sólipsisma er endurtúlkuð innan verufræðilegs ramma OPT: sama stærðfræðilega niðurstaða liggur hér til grundvallar þjöppunarröksemd fremur en röksemd um tilurð sameiginlegs veruleika.

Atriði sem enn eru opin

Þessum viðauka er viðhaldið samhliða theoretical_roadmap.pdf. Heimildir: Müller [61, 62], Li & Vitányi [45], Solomonoff (1964), Setning T-4 (Viðauki T-4), Setning P-4 (Viðauki P-4), forprent §8.2.