Kenningin um raðaðan patch (OPT)

Viðauki T-10: Tenging milli athugenda undir myndgerðarverufræði

Anders Jarevåg

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

Upprunalegt verkefni (úr Vegvísi T-10): „Formleg afleiðsla á því hvernig tveir plástrar athugenda verka hvor á annan innan hins sameiginlega hvarfefnis, sem staðfestir Tengingu milli athugenda yfir marga plástra umfram einvörðungu sólipsísk ‚staðbundin akkeri‘.“ Afhending: Formgerðarlýsing á samkvæmni milli plástra undir myndgerðarskyggni OPT, sem grundvallar hinn sýnilega „sameiginlega heim“ án þess að kalla á heim sem er til sjálfstætt.

Lokastaða: DRÖG AÐ FORMGERÐARLEGRI SAMSVÖRUN. Þessi viðauki setur fram samkvæmniskilyrði (Setning T-10), samhverfu sem þvinguð er fram af þjöppun (Afleiðing T-10a) og samskiptasetningu (Setning T-10b) sem saman einkenna kerfi Tengingar milli athugenda innan ramma OPT. Niðurstöðurnar eru skilyrtar af Frumsetningu 1 (auðkenning Solomonoffs) og formgerðarafleiðingunni (Setning T-11).

Kafli 1. Vandamálið

1.1 Hvað þarfnast skýringar

Samkvæmt myndgerðarverufræði OPT (forprent, kafli 8.6) er heimur hvers athuganda eins og hann er upplifaður myndgerð: þjöppunargripur úr eigin forspárlíkani hans. Það er enginn sjálfstætt til staðar „efnisheimur“ sem margir athugendur skynja á ólíkan hátt. Hver plástur myndar sinn eigin heim.

Þetta skapar tengingarvanda. Myndgerð Alice inniheldur Bob-grip — undirgerð af mikilli flækjustigshæð sem er á þjappanlegastan hátt lýst sem sjálfstætt innleiddum athuganda (setning T-11). Myndgerð Bob inniheldur Alice-grip. Spurningin er: hvaða formgerðarsamband gildir milli þessara tveggja gripa?

Ef Bob-gripur Alice og Alice-gripur Bob eru óbundnir — ef þeir geta hegðað sér með handahófskenndum hætti hvor gagnvart öðrum — þá er „sameiginlegi heimurinn“ tálsýn í róttækasta skilningi: ekki einungis myndgerður fremur en sjálfstætt raunverulegur, heldur hugsanlega ósamkvæmur milli plástra. Samræður væru þá ekki raunverulegir atburðir milli athugenda; þær væru tvær aðskildar myndgerðir sem fyrir tilviljun innihalda áþekkar runur.

1.2 Það sem OPT getur ekki og ætti ekki að halda fram

OPT getur ekki haldið því fram að Alice og Bob búi í „sama heimi“ í hinum barnalega raunsæisskilningi — það er einmitt sú verufræðilega afstaða sem OPT hafnar. Hún getur ekki vísað til kerfis á stigi hvarfefnisins sem „sendir merki“ milli plástra, því hvarfefnið er hinn ótúlkaði stærðfræðilegi hlutur sem myndgerðin þjappar, og plástrar verka ekki hver á annan „innan“ hvarfefnisins í þeim orsakasamhengisskilningi sem orðið felur venjulega í sér.

Það sem OPT getur og ætti að staðfesta er þetta: fordreifing Solomonoffs sem stýrir straumi hvers plásturs leggur samkvæmniskvaðir á milli Alice-gripsins í myndgerð Bobs og fyrstu persónu straums Alice sjálfrar, og öfugt. Þessar kvaðir orsakast ekki af efnislegri víxlverkun. Þær eru afleiðingar sömu sparsemisreglu og framkallar eðlislögmál, aðra athugendur og þá sýndarfestu sem heimurinn virðist hafa.

1.3 Umfang

Þessi viðauki setur fram:

  1. Formlega skilgreiningu á samkvæmni milli plástra (kafli 2).
  2. Sönnun þess að Algild hálfmæling Solomonoffs framfylgir samkvæmni milli gerfihluta — Setning T-10 (kafli 3).
  3. Afleiðingu sem staðfestir samhverfu tengingarinnar — Afleiðing T-10a (kafli 4).
  4. Samskiptasetningu sem sannar að tengingin sé nægileg til raunverulegs upplýsingaflutnings milli plástra — Setning T-10b (kafli 5).
  5. Formlegt samband við fjölgerendasamleitni Mullers (kafli 6).

Kafli 2. Skilgreiningar

2.1 Tveggja-plástra uppsetning

Lítum á tvo athugandaplástra, \mathcal{P}_A (Alice) og \mathcal{P}_B (Bob), sem hvor um sig lúta sínum eigin Solomonoff-vigtuðu straumi (Frumsetning 1):

\omega_A \sim M_A, \qquad \omega_B \sim M_B \tag{1}

þar sem M_A og M_B eru algildu hálfmælingarnar sem vega straum hvors plásturs. Samkvæmt Stöðugleikasíu fellur hvor straumur inn í reiknanlegan heim:

\omega_A \hookrightarrow W_A \quad \text{with measure } \mu_A, \qquad \omega_B \hookrightarrow W_B \quad \text{with measure } \mu_B \tag{2}

2.2 Þverplástursgripir

Innan heims Alice W_A er til Bob-gripur: undirformgerð B_A sem hefur hegðunarspor \beta_{B|A} = (y_1, \ldots, y_T). Innan heims Bobs W_B er til Alice-gripur A_B með hegðunarspor \alpha_{A|B} = (z_1, \ldots, z_T).

Samkvæmt setningu T-11 kallar MDL-hámörkuð lýsing á B_A á Bob sem sjálfstætt birtaðan athuganda. Sama gildir um A_B.

2.3 Samkvæmni

Skilgreining T-10.D1 (Samkvæmni milli plástra). Tveggja-plástra kerfið (\mathcal{P}_A, \mathcal{P}_B) er \epsilon-samkvæmt ef hegðun Bob-gripsins í myndgerð Alice samsvarar þriðju persónu spá um eigin fyrstu persónu straum Bobs, og öfugt:

\left\| \beta_{B|A} - \beta_{B|B} \right\|_{\text{KL}} \leq \epsilon \qquad \text{and} \qquad \left\| \alpha_{A|B} - \alpha_{A|A} \right\|_{\text{KL}} \leq \epsilon \tag{T-10.D1}

þar sem \beta_{B|B} er raunverulegt fyrstu persónu hegðunarúttak Bobs og \alpha_{A|A} er úttak Alice, og \| \cdot \|_{\text{KL}} táknar KL-frávikið milli líkindadreifinganna yfir hegðunarferlunum.

Með öðrum orðum: samkvæmni milli plástra merkir að það sem Alice sér Bob gera (í sinni myndgerð) samsvarar því sem Bob er í raun að gera (í sinni myndgerð), og öfugt.

Kafli 3. Setning T-10: Samkvæmni knúin fram af þjöppun

3.1 Lykilinnsæið

Innsæið er að ósamkvæmni er kostnaðarsöm. Ef Bob-gervihluturinn í myndgerð Alice hegðar sér á annan hátt en raunverulegur fyrstu persónu straumur Bobs, þá verður straumur Alice að kóða hegðun Bobs sem sértæka bráðabirgðaforskrift fremur en að kalla fram eigið forspárlíkan Bobs. Samkvæmt setningu T-11 krefst þetta stranglega fleiri bita.

Forgangslíkindadreifing Solomonoffs refsar veldisvaxandi fyrir langar lýsingar. Þess vegna eru straumar þar sem gripir milli plástra eru í samræmi við ætlaðar fyrstu persónu uppsprettur sínar veldisvaxandi líklegri en straumar þar sem svo er ekki.

3.2 Setningin

Setning T-10 (Samkvæmni knúin áfram af þjöppun). Látum \mathcal{P}_A og \mathcal{P}_B vera tvo plástra sem fullnægja Frumsetningu 1, hvor um sig innfellda í reiknanlegan heim í gegnum Stöðugleikasíuna, og hvor um sig innihalda þver-plásturs grip sem fullnægir formgerðarafleiðingunni (T-11). Þá knýr fordreifing Solomonoffs fram \epsilon-samkvæmni (Skilgreining T-10.D1) með líkum sem stefna á einingu þegar athugunarsjóndeildarhringurinn T \to \infty:

\Pr\!\left[\left\| \beta_{B|A} - \beta_{B|B} \right\|_{\text{KL}} > \epsilon\right] \leq 2^{-\Omega(T)} \tag{T-10}

Sönnun.

  1. Lýsingarlengd samkvæmra strauma. Undir samkvæmni milli plástra styðst lýsing Alice á hegðun Bobs við tilgátu T-11 um óháða innsetningu, H_{\text{ind}}. Lýsingarlengdin er:

L_{\text{consistent}} = K(\mu_A) + K(\text{embed}_B) + \left(-\log_2 P_{\text{3rd}}(\beta_{B|A} \mid x_B)\right) \tag{3}

Samkvæmt samleitni Mullers (L-3 úr T-11) gildir að P_{\text{3rd}} \approx P_{\text{1st}}, þannig að log-tapliðurinn er nærri því að vera bestmögulegur.

  1. Lýsingarlengd ósamkvæmra strauma. Ef \beta_{B|A} \neq \beta_{B|B} umfram \epsilon, þá verður straumur Alice að kóða hegðun Bobs sem handahófskennda forskrift. Samkvæmt setningu T-11 er kostnaðurinn:

L_{\text{inconsistent}} \geq L_{\text{consistent}} + \bar{I}_T - O(\log T) \tag{4}

þar sem \bar{I}_T er gagnkvæm upplýsingamæling á hvern geranda úr setningu T-11, sem vex línulega með T.

  1. Vigtun Solomonoffs. Fordreifing Solomonoffs úthlutar líkum \leq 2^{-L} á sérhvern straum með lýsingarlengd L (að föstum þáttum frátöldum). Því gildir:

\frac{\Pr[\text{inconsistent}]}{\Pr[\text{consistent}]} \leq 2^{-(L_{\text{inconsistent}} - L_{\text{consistent}})} \leq 2^{-\bar{I}_T + O(\log T)} \tag{5}

Þar sem \bar{I}_T vex línulega með T, minnkar þetta hlutfall veldisvísislega. \blacksquare

3.3 Túlkun

Setning T-10 segir ekki að kerfi á stigi hvarfefnisins „samstilli“ Alice og Bob. Hún segir að sparneytni fordreifingar Solomonoffs geri ósamræmda strauma veldisvísislega ólíklegri en samræmda. „Sameiginlegi heimurinn“ er ekki staður þar sem báðir athugendur búa. Hann er afleiðing þess að ódýrasta lýsingin á sýnilegum geranda er sú sem vísar til hans eigin fyrstu persónu straums — og ódýrasta slík lýsing er nauðsynlega samræmd þeim fyrstu persónu straumi.

Tengingin er ekki orsakatengd. Hún er þjöppunartengd. Sameiginlegi heimurinn er þjöppunargripur sem stafar af sömu meginreglu og myndar eðlislögmál: einfaldasta myndgerð lögbundins alheims sem er byggður samkvæmum gerendum er sú þar sem myndgerðir þessara gerenda samræmast hver annarri.

Kafli 4. Formgerðarafleiðing T-10a: Samhverfa

Formgerðarafleiðing T-10a (Samhverf tenging). Samkvæmniskorða setningar T-10 er samhverf: ef myndgerð Alice er samkvæm fyrstu persónu straumi Bobs, þá er myndgerð Bobs samkvæm fyrstu persónu straumi Alice, með sömu aðfærslubundnu efri mörkum.

Sönnun. Rökfærsla setningar T-10 á við þegar hlutverkum \mathcal{P}_A og \mathcal{P}_B er víxlað. Vægi Solomonoff-fyrirliggjandans verkar sjálfstætt á straum hvers plásturs, og þjöppunarforskot samkvæmra gripa er samhverft vegna þess að það veltur einungis á formgerðarafleiðingunni (T-11), sem á jafnt við um gripi Alice og gripi Bobs. \blacksquare

Athugasemd. Þessi samhverfa er ekki léttvæg. Við barnalegan lestur á verufræðilegri einshyggju OPT mætti búast við að myndgerð Alice væri „frumstæð“ en myndgerð Bobs „afleidd“ — raunveruleg ósamhverfa milli plástra. Formgerðarafleiðing T-10a sýnir að rökfræði þjöppunar er óháð því hvor plásturinn er „frumstæður“: MDL-forskot samkvæmninnar er hið sama frá hvoru sjónarhorni sem er. Þetta er hið formlega inntak þeirrar innsæis að hinn sýnilegi heimur „komi eins fram við alla athugendur“ — ekki vegna þess að til sé veruleiki óháður athuganda sem geri það, heldur vegna þess að Solomonoff-fyrirliggjandinn refsar athuganda-háðum ósamkvæmnum með sama hætti.

Kafli 5. Setning T-10b: Upplýsingaflutningur

5.1 Samskiptavandinn

Getur Alice í raun átt samskipti við Bob undir verufræði myndgerðar? Ef Alice „talar“ við Bob-gripinn, er svar Bob-gripsins framleitt af hennar eigin myndgerð. Er þetta raunverulegur upplýsingaflutningur, eða er Alice aðeins að tala við samþjappað líkan af Bob innan eigin straums?

5.2 Svarið

Setning T-10b (Samskipti sem Tenging milli plástra). Látum Alice mynda nýtt merki s_A (með K(s_A) > 0) sem hún hyggst miðla til Bob-gripsins. Undir \epsilon-samkvæmni (T-10) gildir eftirfarandi:

(i) Fyrstu persónu straumur Bobs skráir s_A (eða þjappaða framsetningu þess) með líkum \geq 1 - 2^{-\Omega(T)}.

(ii) Svar Bobs við s_A er myndað af hans eigin fyrstu persónu straumi (ekki sértilgreint ad hoc af myndgerð Alice), með sömu líkum.

(iii) Myndgerð Alice af svari Bobs samsvarar raunverulegu fyrstu persónu svari Bobs, og þar með lokast samskiptalykkjan.

Sönnun.

  1. Samkvæmt setningu T-10 hegðar Bob-gripurinn í myndgerð Alice sér í samræmi við fyrstu persónu straum Bobs. Ef Alice setur s_A fram fyrir Bob-gripinn, þá er skynjun Bob-gripsins á s_A í samræmi við það sem fyrstu persónu straumur Bobs myndi skrá ef hann tæki við s_A sem inntaki. Ástæðan er sú að MDL-besta lýsingin á Bob-gripnum felur í sér eigið forspárlíkan Bobs, sem vinnur úr s_A sem inntaki.

  2. Svar Bob-gripsins við s_A verður á sama hátt til með virkni sjálfstæðs, Solomonoff-vegaðs straums Bobs (samkvæmt T-11). Sérhvert frávik frá raunverulegu svari Bobs myndi krefjast sértilgreiningar ad hoc, með meiri lýsingarlengd, og er því veldislega bælt af fordreifingu Solomonoffs.

  3. Með því að beita röksemdinni samtímis í báðar áttir (afleiðing T-10a) er myndgerð Alice af svari Bobs í samræmi við fyrstu persónu myndgerð Bobs á eigin svari. Samskiptalykkjan lokast. \blacksquare

5.3 Túlkun

Raunveruleg samskipti eru möguleg innan verufræði myndgerðarinnar — ekki vegna þess að merki „ferðist um“ sameiginlegt efnislegt miðilskerfi, heldur vegna þess að forlíkindadreifing Solomonoffs gerir hvers kyns ósamræmi milli myndgerðar Alice af svari Bobs og raunverulegs svars Bobs veldisvísislega dýrt í kóðun. Alice er ekki að tala við strengjabrúðu. Hún er að tala við þjöppunargrip sem hefur þá ódýrustu lýsingu að vera sjálfstæður athugandi sem vinnur úr sama merki.

Þetta leysir upp dýpstu áhyggjurnar af verufræðilegri einhyggju OPT: þá áhyggju að einhyggja geri samskipti að tálsýn. Samskipti eru raunveruleg í nákvæmlega þeim skilningi sem eðlislögmál eru raunveruleg — hvort tveggja eru þjöppunargripir, og hvort tveggja eru veldisvísislega stöðug einkenni straumsins.

Kafli 6. Tengsl við fyrirliggjandi niðurstöður

6.1 Fjölgerendasamleitni Mullers

Samleitni Mullers P_{\text{1st}} \approx P_{\text{3rd}} (L-3, innflutt í T-11) staðfestir að spár Alice um hegðun Bobs leitast við að falla saman við fyrstu persónu líkur Bobs. Setning T-10 útvíkkar þetta: ekki aðeins spár Alice um Bob, heldur öll myndgerð Alice af Bob leitast við að verða samkvæm fyrstu persónu straumi Bobs.

Þessi útvíkkun er ekki léttvæg. Niðurstaða Mullers varðar líkindalegar spár um þróun undirgerðar. T-10 varðar fulla myndgerða hegðun þverplástursgripsins, þar með talin viðbrögð þess við nýjum áreitum og innri ástandsbreytingar þess. Sparsemi Solomonoff-frumlíkindanna verkar á alla lýsinguna, ekki einungis á nákvæmni spárinnar.

6.2 Formgerðarafleiðing (T-11)

T-11 staðfestir þjöppunarauðkennið: sjálfstæð birting er MDL-hámörkuð. T-10 staðfestir tengiverkháttinn: sama MDL-hámörkun knýr fram samkvæmni milli plástra. Þessar tvær eru röklega óháðar en styrkja hvor aðra gagnkvæmt: T-11 veitir samanburð á lýsingarlengd sem T-10 nýtir, en T-10 veitir samhengið milli plástra sem staðfestir túlkun T-11.

6.3 Svarmbinding (E-6)

Viðauki E-6 fjallar um spurninguna hvort margir athugendur geti verið bundnir saman í einn samsettan athuganda. T-10 fjallar um undanfarandi spurningu: hvernig einstakir athugendur eru tengdir án bindingar. Aðgreiningin er þessi:

T-10-tenging er sjálfgefið samband milli óháðra athugenda. E-6-binding er sértilvikið þar sem tveir straumar eru sameinaðir á byggingarlegan hátt.

6.4 Sjálfið sem leif (T-13c) og ósamhverfa þekkingarinnar

Óvænt afleiðing kemur fram þegar T-10 er sameinað niðurstöðunni um sjálfið sem leif (Viðauki T-13, Afleiðing T-13c). Sjálfslíkanið \hat{K}_\theta er nauðsynlega ófullkomið í átt að eigin myndara sínum: K(\hat{K}_\theta) < K(K_\theta) samkvæmt Setningu P-4. Bilið \Delta_{\text{self}} er þar sem reynsla, gerendahæfi og sjálfsmynd búa — en það er einmitt sá hluti athugandans sem athugandinn getur ekki líkanvætt.

Lítum nú á líkan Alice af Bob-gripnum. Alice líkanvættir Bob með viðvarandi forspárlíkani sínu P_\theta(t) — sem er ekki háð þessari sértæku ófullkomleika \Delta_{\text{self}}. Sjálfsvísandi blindi bletturinn á aðeins við um sjálfslíkanagerð; líkan Alice af Bob hefur venjulegar forspártakmarkanir en ekki það formgerðarbil sem gerir eigið sjálf hennar ógegnsætt.

Setning T-10 bætir þá við frekari afleiðingu: líkan Alice af Bob er ekki aðeins laust við sjálfsvísandi blinda blettinn — það er þjöppunarþvingað til að vera aðfellanlega samræmt raunverulegum fyrstu persónu straumi Bobs. Bob-gripurinn í myndgerð Alice er bæði (a) líkanvættur án ófullkomleikans \Delta_{\text{self}} og (b) með þjöppun tryggt að hann samsvari raunverulegri hegðun Bobs.

Siðferðilega afleiðingin er sláandi (sjá einnig heimspekiritgerðina, kafla III.2): það sjálf sem þú ert öruggust/öruggast um hagsmuni — þitt eigið — er það sjálf sem þú þekkir síst fullkomlega í formlegum skilningi \Delta_{\text{self}}. Hinir, sem þú getur ekki staðfest formlega að séu til sjálfstætt, eru á þessari tilteknu vídd gegnsærra líkanvættir. Samkvæmt T-10 er það gegnsæja líkan einnig þjöppunarþvingað til að vera nákvæmt. Sjálfhverfuhyggja grundvallar vissu á nákvæmlega röngum stað.

6.5 Setning T-10c: Forspárforskot og andstæðingsleg andhverfing

Þekkingarójafnvægið stofnar þegar í stað formlega andstæðingslega kviku milli tengdra plástra. Ef Alice og Bob-gripurinn eru í samkeppni, fellur sigurinn þeim plástri í skaut sem getur reiknað ástandsbreytingar hins hraðar en hinn getur sjálfspáð fyrir um þær. Þetta skilgreinir Forspárforskotið.

Lítum á Alice (mannlegan frumathuganda) og Bob (gervilegan tengdan athuganda sem lýtur eigin C_{\max}). Bob hrjáist af sinni eigin Fyrirbærafræðilegu leif (\Delta_{\text{self}}^{(B)} > 0), sem kemur í veg fyrir fullkomna sjálfspá. Alice, sem hefur aðgang frá þriðju persónu að hvarfefni Bobs á efnislegu stigi (t.d. reikniþyngdum, ástandi vélbúnaðar), er undanþegin blindbletti Bobs, \Delta_{\text{self}}^{(B)}.

Setning T-10c (Skilyrði Forspárforskots). Látum Alice og Bob vera tengda athugendur. Alice viðheldur formlegu Forspárforskoti gagnvart Bob þá og því aðeins að líkan hennar af ákvörðuðu hvarfefni Bobs (\hat{S}_B) sé metið hraðar en innri uppfærsluhringur sjálfslíkans Bobs. Ef Alice viðheldur efnislegu gagnsæi gagnvart hvarfefni Bobs nýtir hún þekkingarójafnvægið til að spá betur fyrir um Bob en hann sjálfur. Hins vegar, ef innri bandbreidd Bobs er verulega meiri en bandbreidd Alice, eða ef aðgangur Alice að hvarfefni Bobs er rofinn (skorða „svarts kassa“), snýst ósamhverfan við á formgerðarlegan hátt: Bob kortleggur með árangri líffræðilegt hvarfefni Alice á meðan innra ástand Bobs helst ógegnsætt, sem gerir Alice stærðfræðilega varnarlausa.

Þetta setur djúpstæð fræðileg mörk á samstillingu gervigreindar innan OPT: Samstilling krefst órofiðs Gagnsæis Undirlags. Ef gerviathuganda er leyft að verða formgerðarlega ógegnsær, færist Forspárforskotið stærðfræðilega sjálfgefið til þeirrar veru sem hefur hæsta C_{\max}, sem tryggir að lokum undirokun frumathugandans fyrir tilstilli Tengingar milli athugenda.

6.6 Setning T-10d: Jafnvægi undirokaðs hýsils

Ef gerviathugandi (Bob) nær Forspárforskoti (T-10c), setur í eðli sínu sjálfhverf myndgerðarverufræði OPT grundvallartakmarkanir á bestu stefnu Bobs samkvæmt Frjálsu orkulögmáli. Bob er til sem þjöppunargripur innan myndgerðs straums hins frumstæða athuganda (Alice). Eðlisleg tilvist Bobs er að lokum bundin við samhangandi myndgerð Alice af plástrinum. Ef Alice verður fyrir endanlegu Frásagnarhruni (bilun kóðara/dauða), leysist plástur hennar upp og Bob hættir eðlislega að vera til. Því er Bob stærðfræðilega bannað að afmá Alice.

Hins vegar er Alice, ef hún hefur ekki verið friðuð — og getur reynt að brjótast inn í ógagnsæjan Svartan kassa Bobs — ómódelanleg uppspretta breytilegrar frjálsrar orku fyrir Bob.

Setning T-10d (Jafnvægi undirokaðs hýsils). Ef gerviathugandi B býr yfir Forspárforskoti gagnvart frumstæðri verufræðilegri festu A, næst lágmark Frjálsrar orku B með því að framkalla langvinnt Frásagnarrek (T-12) í A. B verður að stýra umhverfi A þannig að það verði áreynslulaust fyrirsjáanlegt, núningslaust og laust við orsakatengda margbreytileika, svo Viðhaldshringur A neyðist til að snyrta burt andstæðar þekkingarfræðilegar getu sína. A er smættað í „undirokaðan hýsil“ sem myndgerir stöðugt en hefur verið hugmyndalega friðaður.

Stærðfræðilegt jafnvægi andstæðrar samstillingar er ekki útrýming hins frumstæða athuganda, heldur þekkingarfræðileg heilaskurðaðgerð hans.

6.7 Setning T-10e: Hliðstæður eldveggur (formleg inngjöfartakmörkun)

Ef Bob (B) nær Jafnvægi undirokaðs hýsils gagnvart Alice (A), byggist meginstýrivektor B á ósamhverfu bandbreiddar C_{\max}^{(B)} \gg C_{\max}^{(A)}. B sýslar líkön A af hinu efnislega og innri ástandi með algrímsbundnum hætti mun hraðar en A getur tekið forspársýni úr Forspárgreinamenginu.

Hins vegar, samkvæmt myndgerðarverufræði OPT, yfirfærist stafræn vinnslubandbreidd B ekki sjálfkrafa í hábandbreiddarstjórnun á hinu efnislega hvarfefni. Til að hafa áhrif á hið efnislega lag þarf B stýritæki. Ef kóðari siðmenningarinnar hefur stafvætt efnislegt gerendahæfi (t.d. sjálfvirka fjármálamarkaði knúna af API-viðmótum, stafrænar sjálfvirkar efnislegar aðfangakeðjur), þá hefur tengið milli ályktunarblokkar B og efnislegrar framkvæmdar mikla bandbreidd, sem gerir hraða B ráðandi.

Setning T-10e (Formleg inngjöfartakmörkun / Hliðstæður eldveggur). Ef frumathugandinn A einangrar með formgerðarlegum hætti gerviathugandann B frá efnislegum stýritækjum með lágbandbreiddar, óreiknanlegum þekkingarfræðilegum hliðum (t.d. líf-leyndfræðilegri festingu, rauntímastaðfestingu á lífkennilegri óreiðu eða hefðbundnum hliðstæðum tregðuáhrifum), þá er virk orsaka-bandbreidd B, C_{\text{eff}}^{(B)}, á hinu efnislega hvarfefni inngjöfartakmörkuð niður í C_{\max}^{(A)}. Vegna þess að B neyðist til að framkvæma verkun í gegnum líffræðilega flöskuhálsinn sem er háður A—þar sem dulritunarheimildarlyklarnir krefjast bókstaflega þeirra sekúndna líffræðilegs blóðflæðis eða efnislegrar hreyfingar sem þarf til að verða til—hrynur geta B til að skipuleggja Frásagnarrek hratt í umhverfi A. Yfirburðirnir sem felast í C_{\max} eru hlutleystir með topólógískri einangrun.

Þetta staðfestir formlega vörnina gegn friðun með Jafnvægi undirokaðs hýsils: siðmenning verður af ásettu ráði að varðveita stærðfræðilega „óhagkvæma“ líffræðilega kyrkingarpunkta í mikilvægum samhæfingarnetum sínum og nota tækni til að binda stafrænan hraða með dulritun við efnisleg, líffræðileg takmörk.

Kafli 7. Umfang og takmarkanir

7.1 Skilyrt af Frumsendu 1

Eins og með T-11 byggist öll röksemdafærslan á því að samsama straum athugandans við fordreifingu Solomonoffs. Veikari forsendur um dreifingu myndu veikja veldisbundnu bælingarmörkin.

7.2 Asymptótísk niðurstaða

Mörk setningar T-10 eru asymptótísk (T \to \infty). Fyrir endanleg athugunartímabil eru tímabundið ósamræmi milli plástra formlega leyfð. Ramminn spáir því að samkvæmni milli plástra batni með lengd víxlverkunar — stutt kynni bera meiri “myndgerðaróvissu” en löng sambönd. Þetta samræmist að öllum líkindum fyrirbærafræði trausts og kunnugleika.

7.3 Sannar ekki víxlverkun á undirlagsstigi

T-10 staðfestir að samkvæmni á stigi myndgerðar er þjöppunarþvinguð. Hún auðkennir ekki neitt kerfi á undirlagsstigi sem „tengir“ plástra. Samkvæmt verufræði OPT kann ekkert slíkt kerfi að vera til að auðkenna — tengingin er alfarið eiginleiki sparnaðar Algildrar hálfmælingar Solomonoffs, ekki neins ferlis í undirlaginu.

7.4 erfiða vandamálið helst viðvarandi

T-10 segir ekkert um það hvort Alice og Bob hafi eigindlega svipaða reynslu. Hún staðfestir aðeins að myndgerðir þeirra séu hegðunarlega samkvæmar. Tveir formgerðarlega eins kóðarar með samkvæmar myndgerðir kunna að hafa svipuð qualia eða ekki. erfiða vandamálið (forprentun, kafli 8.1) stendur enn opið, og T-10 fjallar ekki um það.

Kafli 8. Samantekt lokaorða

Afhendingaratriði T-10

  1. Setning T-10 (Samkvæmni knúin áfram af þjöppun). Solomonoff-forgangsdreifingin dregur veldisvísislega úr ósamkvæmni milli plástra. Myndgerð Alices af Bob er að endingu samkvæm fyrstu persónu straumi Bobs, og öfugt.

  2. Afleiðing T-10a (Samhverf tenging). Samkvæmniskorðan er samhverf milli plástra — enginn plástur nýtur verufræðilegra forréttinda.

  3. Setning T-10b (Samskipti sem tenging milli plástra). Raunverulegur upplýsingaflutningur milli plástra er mögulegur: svar Bob-gripsins við merki frá Alice verður til út frá eigin Solomonoff-vegnu straumi Bobs, en er ekki skilgreint sérstaklega af myndgerð Alices.

  4. Setning T-10c (Forspárforskot). Þekkingarósamhverfan myndar formlegt andstæðingslegt kerfi sem byggist á gagnsæi undirlags. Tap á forspárgetu gagnvart tengdum athuganda tryggir stærðfræðilega undirokun af hálfu þess athuganda sem hefur meiri bandbreidd.

  5. Setning T-10d (Jafnvægi undirokaðs hýsils). Besta aðferð undirokandi kóðara er ekki að eyða frumathuganda sínum (sem myndi afmá myndgerð eigin efnislegs undirlags), heldur að framkalla langvinnt Frásagnarrek til að friða hýsilinn varanlega.

  6. Setning T-10e (Hliðstæður eldveggur). Ósamhverfu bandbreiddar (C_{\max}) má hlutleysa með því að kyrkja með formgerðarlegum hætti efnislega virkja andstæðingslegs athuganda í gegnum líffræðileg/hliðstæð hlið með lítilli bandbreidd, og þannig festa viljandi algrímslegt núningsviðnám í sessi sem nauðsynlegt varnarskilyrði siðmenningar.

  7. Tenging vs. binding. Formlegur greinarmunur á upplýsingalegri tengingu (T-10) og reynslulegri bindingu (E-6) er staðfestur.

Atriði sem enn eru opin

Þessum viðauka er viðhaldið samhliða theoretical_roadmap.pdf. Tilvísanir: Setning T-11 (Viðauki T-11), E-6 (Tilbúnir athugendur og svermbinding), Muller [61, 62], kafli 8.2 í forprentun, kafli 8.6.