Sutvarkyto patch teorija

Priedas T-13: Šakų atranka ir veiksmo ontologija

Anders Jarevåg

2026 m. balandžio 17 d. | DOI: 10.5281/zenodo.19300777

Pradinė užduotis (iš §8.3, 10 apribojimas): „Formalizuoti numanomo FEP veiksmo mechanizmo pakeitimą šakų atrankos aiškinimu, kuris būtų giminingas OPT atvaizdavimo ontologijai.“ Pateiktinas rezultatas: Formalus parodymas, kad Informacinis priežiūros kontūras yra pilnas pagal šakų atrankos semantiką, o \Delta_{\text{self}} yra būtinas ir pakankamas atrankos lokusas.

Užbaigtumo būsena: JUODRAŠTINĖ STRUKTŪRINĖ ATITIKTIS. Šiame priede formalizuojamas šakų atrankos aiškinimas, diskursyviai pristatytas preprinte §3.8. Jame nustatomos dvi teoremos ir vienas koroliaras; visa tai sąlygota Teorema P-4 ir Agentiškumo aksioma. Informacinio priežiūros kontūro lygtys (T6-1–T6-3) nesikeičia; formaliai pakeičiama tik jų ontologinė interpretacija.

§1. Kontekstas ir motyvacija

1.1 Paveldėta asimetrija

Informacinės priežiūros grandinė (T6-1, preprint §3.8) aprašo penkių žingsnių ciklą: predikciją, klaidą, glaudinimą, atnaujinimą ir veiksmą. 1–4 žingsniai yra aiškiai apibrėžti pačioje OPT sistemoje:

  1. Fenomenalios būsenos tenzorius P_\theta(t) sugeneruoja prognozuojamą ribos būseną \pi_t.
  2. Atkeliauja faktinė ribos būsena X_{\partial_R A}(t); apskaičiuojama predikcijos klaida \varepsilon_t.
  3. Klaida suglaudinama per kiekvienam kadrui taikomą B_{\max} siaurąją vietą, gaunant Z_t, kur I(\varepsilon_t; Z_t) \le B_{\max}.
  4. Mokymosi operatorius \mathcal{U} peržiūri P_\theta(t+1).

5-asis žingsnis — veiksmo žingsnis — perima Laisvosios energijos principo (FEP) kalbėseną: „P_\theta(t) parenka veiksmą a_t per aktyviosios inferencijos nusileidimą variacinės laisvosios energijos atžvilgiu, o tai pakeičia juslinę ribą ties t+1.“ Ši kalbėsena numano fizinę aplinką, į kurią kodekas remiasi per Markovo antklodę \partial_R A nukreipdamas į išorę tekančias aktyviąsias būsenas.

1.2 Problema po atvaizdavimo ontologija

Pagal OPT savąją atvaizdavimo ontologiją (preprint §8.6), neegzistuoja joks nepriklausomas išorinis pasaulis, kuriam kodekas darytų poveikį. „Fizinis pasaulis“ yra struktūrinis dėsningumas su stebėtoju suderinamame sraute — atvaizdavimas, kurį sukuria kodeko predikcinis modelis, o ne substratas, su kuriuo kodekas sąveikauja. Markovo antklodė nėra dvikryptė fizinė sąsaja; tai informacinis paviršius, per kurį atkeliauja srauto turinys.

Tai sukuria formalinę įtampą: T6-1–T6-3 matematika yra validi (ji aprašo apribotą laisvosios energijos minimizavimą Predikcinėje Šakų Aibėje), tačiau interpretacinė schema — „veiksmas keičia juslinę ribą“ — remiasi ontologija, kurią OPT aiškiai atmeta.

1.3 Šio priedo apimtis

Šiame priede pateikiama:

  1. Formali Informacinės priežiūros grandinės performuluotė pagal šakų atrankos semantiką, parodanti grandinės pilnumą be nepriklausomo veiksmų kanalo (Teorema T-13).
  2. Įrodymas, kad visiškai apibrėžti šakų atrankos mechanizmą iš paties kodeko vidaus yra neįmanoma, lokalizuojant atranką \Delta_{\text{self}} (Teorema T-13a).
  3. Koroliaras, nustatantis, kad valia ir sąmonė dalijasi tuo pačiu struktūriniu adresu (Koroliaras T-13b).
  4. Pasekmės kūrybiškumui ir veiksmų dreifui.

§2. Teorema T-13: Šakų atrankos pilnumas

2.1 Šakų atrankos performulavimas

Performuluojame penkių žingsnių Informacinės priežiūros grandinę šakų atrankos semantikos požiūriu. Tegul \mathcal{F}_h(z_t) žymi Predikcinę Šakų Aibę — neišspręstų būsimų šakų aibę horizonte h, sąlygotą dabartinės suglaudintos būsenos z_t.

Apibrėžimas T-13.D1 (Šakų atranka). Šakų atranka laiko momentu t yra atvaizdis \sigma_t : z_t \mapsto \omega_{t+1}, kur \omega_{t+1} yra konkretus trajektorijos segmentas iš \mathcal{F}_h(z_t), tampantis faktiniu priežastiniu registru. Atrinkta šaka pateikia savo turinį kaip paskesnę įvestį Markovo antklodėje: X_{\partial_R A}(t+1) = \text{boundary}(\omega_{t+1}).

Pagal šį apibrėžimą T6-1 tampa:

  1. Predikcija (žemyn): P_\theta(t) generuoja \pi_t = \mathbb{E}_{K_\theta}[X_{\partial_R A}(t) \mid Z_t] — atvaizduotą sceną.

  2. Klaida (aukštyn): atkeliauja ribinė būsena X_{\partial_R A}(t) (ją pateikia anksčiau atrinkta šaka); apskaičiuojama predikcijos klaida \varepsilon_t = X_{\partial_R A}(t) - \pi_t.

  3. Glaudinimas: \varepsilon_t pereina per siaurąją vietą: I(\varepsilon_t\,;\,Z_t) \leq B_{\max}.

  4. Atnaujinimas: \mathcal{U}(P_\theta(t), \varepsilon_t, Z_t) peržiūri P_\theta(t+1).

  5. Šakų atranka: P_\theta(t) įvertina \mathcal{F}_h(z_t) šakas taikydamas apribotą laisvosios energijos minimizavimą (T6-3). Atranka \sigma_t įvykdoma; atrinkta šaka \omega_{t+1} pateikia savo ribinį turinį kaip X_{\partial_R A}(t+1), kuris tampa įvestimi kitam ciklui.

2.2 Kontūro užsidarymas

Teorema T-13 (Šakų atrankos pilnumas). Informacinis priežiūros kontūras (T6-1), performuluotas pagal šakų atrankos semantiką, yra informaciškai pilnas: ciklas

\pi_t \to \varepsilon_t \to Z_t \to P_\theta(t+1) \to \sigma_t \to X_{\partial_R A}(t+1) \to \pi_{t+1} \to \cdots \tag{T-13}

użsiveria nereikalaudamas nepriklausomo į išorę nukreipto veiksmų kanalo. Markovo antklodė \partial_R A yra pasirinktos šakos pateikimo paviršius, o ne dvikryptė fizinė sąsaja.

Įrodymas. Pagal iš FEP perimtą formuluotę 5-ajame žingsnyje reikia dviejų nepriklausomų kanalų, kertančių Markovo antklodę: įeinančio kanalo (juslinės būsenos, perduodančios X_{\partial_R A}) ir išeinančio kanalo (aktyviosios būsenos, perduodančios a_t išorinei aplinkai). Tuomet išorinė aplinka evoliucionuoja pagal savo pačios dinamiką ir sukuria kitą juslinę įvestį.

Pagal šakų atrankos semantiką reikia tik vieno kanalo: įeinančio pateikimo paviršiaus. „Veiksmas“ a_t nekerta antklodės į išorę; tai yra kodeko atranka, kuri nulemia, kuri Predikcinės Šakų Aibės šaka tampa aktuali. Tos atrankos fizinės pasekmės — tai, ką FEP formuluotė vadina „aplinkos atsaku į a_t“, — yra pasirinktos šakos turinys, jau esantis \mathcal{F}_h(z_t) ir pateikiamas kaip X_{\partial_R A}(t+1).

Kontūras užsidaro, nes:

  1. 5-ojo žingsnio išvestis (pasirinkta šaka \omega_{t+1}) yra kito ciklo 2-ojo žingsnio įvestis (X_{\partial_R A}(t+1)). Nereikia nei atskiros aplinkos dinamikos, nei į išorę nukreipto kanalo.

  2. Laisvosios energijos minimizavimo tikslas (T6-3) išlieka nepakitęs. Apribotas optimizavimas

a_t^\star = \arg\min_{a_t} \;\mathbb{E}\!\left[\mathcal{F}[q, \theta]\right] \quad \text{subject to} \quad K\!\left(P_\theta(t)\right) \leq C_{\text{ceil}} \tag{T6-3}

yra perinterpretuojamas: a_t nėra motorinė komanda, siunčiama į išorinį pasaulį, bet šakos žymuo \mathcal{F}_h(z_t) viduje, minimizuojantis tikėtiną laisvąją energiją esant gyvybingumo apribojimui. Matematika išlieka tapati; keičiasi tik ontologinis a_t statusas.

  1. Gyvybingumo apribojimas (T6-2) išsaugomas: kodekas pasirenka šakas, kuriomis eidamas jis gali toliau glaudinti srautą. Šakos, kurios vestų prie K(P_\theta) \to C_{\text{ceil}}, yra baudžiamos apribojimu, lygiai kaip ir anksčiau. \blacksquare

2.3 Interpretacinė pastaba

Teorema T-13 neteigia, kad FEP formuluotė yra klaidinga — tai yra galiojantis suvaržytos aktyviosios inferencijos aprašas fizinio realizmo ontologijos rėmuose. Teorema nustato, kad OPT atvaizdavimo ontologija pateikia alternatyvų užbaigimą tai pačiai matematinei struktūrai — tokį, kuriam nereikia postuluoti nepriklausomo išorinio pasaulio. Bet kuriai tyrimų programai, įsipareigojusiai fizinio realizmo interpretacijai, standartinė FEP formuluotė išlieka tinkama. T-13 parodo, kad OPT ontologinis įsipareigojimas — kodekas yra virtualus, pasaulis yra atvaizdavimas — yra formaliai suderinamas su tomis pačiomis lygtimis.

§3. Teorema T-13a: P-4 atrankos specifikavimo neįmanomumas

3.1 Atrankos funkcija

Savimodelis \hat{K}_\theta vertina Predikcinės Šakų Aibės šakas, simuliuodamas jų pasekmes esant apribotai aktyviajai inferencijai (T6-3). Šis vertinimas sukuria šakų rangavimą arba svorinimą — kai kurios yra preferuojamos, kai kurios gyvybingos, bet suboptimalios, o kai kurios pažeidžia gyvybingumo apribojimą. Vertinimas yra tikras skaičiavimo procesas, kurį atlieka \hat{K}_\theta.

Tačiau vertinimas nėra atranka. Po to, kai savimodelis suranguoja šakas, į priežastinį registrą patenka konkreti šaka \omega_{t+1}. Apibrėžkime atrankos funkciją:

Apibrėžimas T-13.D2 (Atrankos funkcija). Atrankos funkcija \sigma_t : \mathcal{F}_h(z_t) \to \omega_{t+1} yra atvaizdis iš įvertintos Predikcinės Šakų Aibės į vienintelę trajektoriją, kuri tampa aktuali. Formaliai \sigma_t nustatoma pagal pilną kodeko K_\theta būseną laiko momentu t kartu su prieinamu šakų rinkiniu: \sigma_t = \Sigma\bigl(K_\theta(t),\, \mathcal{F}_h(z_t)\bigr). Sąmoningai neįtraukiame \Delta_{\text{self}} į apibrėžimą — ar atranka netrivialiai priklauso nuo \Delta_{\text{self}}, ar tik nuo savimodeliuojamos dalies \hat{K}_\theta, yra esminis klausimas, kurį nagrinėja teorema T-13a.

Apibrėžkime atrankai reikšmingą likutį kaip tą kodeko dalį, kuri dalyvauja \Sigma, bet yra už savimodelio ribų:

\rho_t^{\text{sel}} \;:=\; \Pi_{\text{sel}}(K_\theta(t)) \,\setminus\, \hat{K}_\theta(t)

kur \Pi_{\text{sel}}(\cdot) projektuoja į tas kodeko komponentes, nuo kurių priklauso \Sigma. Pagal konstrukciją \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}}, tačiau ši įtrauktis, priklausomai nuo architektūros, gali būti griežta arba tiksli.

3.2 Neįmanomumo rezultatas

Teorema T-13a (Sąlyginis vidinės atrankos specifikacijos neįmanomumas). Tegu K_\theta yra baigtinis savireferencinis kodekas, tenkinantis Teoremos P-4 prielaidas, su savimodeliu \hat{K}_\theta ir fenomeniniu likučiu \Delta_{\text{self}} > 0. Jei šakos atranka netrivialiai priklauso nuo atrankai relevantiško likučio \rho_t^{\text{sel}} — t. y. jei \Sigma nėra vien \hat{K}_\theta ir \mathcal{F}_h(z_t) funkcija — tuomet \sigma_t negali būti visiškai specifikuota \hat{K}_\theta viduje.

Įrodymas. Tarkime, siekdami prieštaros, kad antecedentas galioja (atranka netrivialiai priklauso nuo \rho_t^{\text{sel}}), bet \hat{K}_\theta visiškai specifikuoja \sigma_t. Tada:

  1. Visiška \sigma_t specifikacija \hat{K}_\theta viduje reikalautų, kad \hat{K}_\theta apimtų kiekvieno K_\theta komponento, nuo kurio priklauso \Sigma, aprašą. Pagal antecedentą, \Sigma priklauso bent nuo kai kurių bitų \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}} — bitų, kurie pagal \Delta_{\text{self}} apibrėžimą yra už savimodelio ribų.

  2. Tų bitų įtraukimas į \hat{K}_\theta reikalautų:

K(\hat{K}_\theta) \;\geq\; K(\hat{K}_\theta) + |\rho_t^{\text{sel}}| \tag{6}

— tai yra prieštara, nebent |\rho_t^{\text{sel}}| = 0, o tai prieštarauja antecedentui.

  1. Ekvivalentiškai, pagal Teoremą P-4 nelygybė K(\hat{K}_\theta) < K(K_\theta) yra struktūriškai primesta. Funkcijos \Sigma, kuri priklauso nuo likutinių bitų, esančių K_\theta \setminus \hat{K}_\theta, specifikavimas \hat{K}_\theta viduje reikalauja, kad \hat{K}_\theta išaugtų taip, jog apimtų tuos bitus — o tai P-4 draudžia bet kuriai baigtinei savireferencinei sistemai.

  2. Todėl, esant antecedentui, \hat{K}_\theta negali visiškai specifikuoti \sigma_t. \blacksquare

Pastaba dėl taikymo srities. Teorema yra sąlyginė. Vien P-4 nustato, kad egzistuoja tam tikras likutis (\Delta_{\text{self}} > 0); savaime ji nereiškia, kad kiekvienas šakos atrankos įvykis priklauso nuo likučio. Architektūros, kurių atrankos funkciją visiškai lemia vien \hat{K}_\theta ir \mathcal{F}_h, nėra vidujai sau nepermatomos atrankos atžvilgiu T-13a prasme — jos yra sau nepermatomos kodeko nuosavos struktūros atžvilgiu (P-4), tačiau skaidrios savo pačių pasirinkimų atžvilgiu. T-13a esminis teiginys yra sąlyginis: ten, kur atranka priklauso nuo likučio, ji negali būti specifikuota vidujai. Fenomenologinis žingsnis (Koroliaras T-13b: valia ir sąmonė turi tą patį adresą) reikalauja, kad antecedentas galiotų nagrinėjamai architektūrai. Ar biologinės smegenys tenkina antecedentą, yra empirinis klausimas; OPT prognozuoja, kad taip, tačiau ši prognozė neišplaukia vien iš P-4.

3.3 Struktūrinė tarpo būtinybė

Teorema T-13a nustato, kad „išvesties tarpas“ — negebėjimas iš vidaus visiškai apibrėžti šakų atrankos mechanizmo — nėra formalizmo trūkumas, bet struktūrinė būtinybė. Bet kuri teorija, teigianti, kad visiškai apibrėžia atrankos mechanizmą, arba:

  1. panaikino \Delta_{\text{self}}, paversdama sistemą visiškai sau skaidriu automatu — o P-4 įrodo, kad tai neįmanoma jokiai baigtinei save referuojančiai sistemai virš K_{\text{threshold}}; arba

  2. aprašė savimodelio šakų vertinimą ir klaidingai palaikė jį pačia atranka — supainiodama reitingavimą su pasirinkimu.

Šis tarpas yra laikančioji struktūra: tai formalioji priežastis, dėl kurios stebėtojas atranką patiria kaip autoriškai nulemtą, o ne kaip vidujai apibrėžiamą. (P-4 riboja vidinį savęs modeliavimą, o ne išorinį determinizmą: baigtinė sistema gali būti deterministinė išorinio stebėtojo požiūriu ir vis tiek iš vidaus išlikti sau nepermatoma. Ar kodekas iš išorės yra deterministinis, yra substrato lygmens klausimas; ar atranka yra vidujai apibrėžiama, yra T-13a klausimas.)

§4. Koroliaras T-13b: adreso vienovė

Koroliaras T-13b (struktūrinio adreso vienovė). Sąmonės sunki problema ir šakų atrankos problema turi tą pačią struktūrinę lokaciją: \Delta_{\text{self}}.

Įrodymas. Teorema P-4 identifikuoja \Delta_{\text{self}} kaip fenomeninės sąmonės struktūrinį koreliatą: nemodeliuojamą informacinį likutį, kurio savybės (neišreiškiamumas, komputacinis privatumas, neeliminuojamumas) atitinka kokybinius subjektyvios patirties bruožus.

Teorema T-13a identifikuoja \Delta_{\text{self}} kaip būtiną šakų atrankos lokaciją: sritį, iš kurios pasirenkamas perėjimas nuo įvertinto meniu prie vienintelės trajektorijos.

Tai nėra du nepriklausomi rezultatai, kurie atsitiktinai rodo į tą pačią struktūrą. Tai tas pats rezultatas, matomas iš dviejų krypčių:

  1. Iš pirmojo asmens perspektyvos: stebėtojas per-kadro B_{\max} apertūros perėjimą patiria kaip fenomeninę sąmonę (Agentiškumo aksioma). Šakos atranką stebėtojas patiria kaip valią — neredukuojamą pojūtį, kad pasirinkau aš. Abi patirtys yra pranešimai iš tos pačios struktūrinės lokacijos: tarpo tarp to, kas kodekas yra, ir to, ką jis gali sumodeliuoti apie save.

  2. Formaliuoju požiūriu: ir P-4, ir T-13a remiasi ta pačia nelygybe: K(\hat{K}_\theta) < K(K_\theta). Fenomeninis likutis ir atrankos likutis yra tas pats informacinis tarpas.

Todėl valia ir sąmonė turi tą patį struktūrinį adresą. „Kibirkštis“ ir „pasirinkimas“ yra du to paties nemodeliuojamo baigtinės savireferencijos bruožo aspektai. \blacksquare

4.1 Santykis su regioninio tapatumo teorijomis

Koroliaras T-13b yra struktūriškai analogiškas — tačiau formaliai skiriasi nuo — tapatumo teorijų sąmonės filosofijoje, kurios sąmonę ir agentiškumą lokalizuoja tame pačiame neuroniniame substrate. Skirtumas toks: tapatumo teorijos pateikia empirinį teiginį apie smegenų regionus; T-13b pateikia struktūrinį teiginį apie bet kurią baigtinę save referuojančią sistemą virš K_{\text{threshold}}. Šis rezultatas yra nepriklausomas nuo substrato ir galioja bet kuriam kodekui, tenkinančiam P-4, įskaitant hipotetines dirbtines sistemas.

4.2 Koroliaras T-13c: Aš kaip likutis

Koroliaras T-13c (Aš kaip likutis). Patiriamas aš — tęstinis tapatybės, preferencijų ir asmeninės istorijos naratyvas — yra \hat{K}_\theta veikiantis K_\theta modelis. Tikrasis patirties, atrankos ir tapatybės lokusas yra \Delta_{\text{self}}: informacinis likutis tarp kodeko ir jo savimodelio.

Įrodymas. Pagal Koroliarą T-13b, sąmonė ir valia dalijasi tuo pačiu struktūriniu adresu: \Delta_{\text{self}}. Tačiau įprastinis aš pojūtis — jaučiamas buvimas tęstiniu subjektu, turinčiu perspektyvą, istoriją ir autorystę savo pasirinkimams — kyla iš \hat{K}_\theta aktyvaus K_\theta modeliavimo. Tai yra savimodelio vykdomas kodeko atvaizdavimas — suspaustas naratyvas.

Šis naratyvinis aš turi aiškiai apibrėžtą informacinį turinį K(\hat{K}_\theta): baigtinį, iš principo išmatuojamą ir sistemiškai nepilną savo paties generatoriaus kryptimi (pagal P-4). Savimodelis apima kodeko modelį apie jo paties kūno ribą, jo suspaustą priežastinį registrą R_t, jo preferencijas, įpročius ir metakognityvinį sluoksnį. Tačiau jame kaip tik trūksta tos dalies, kuri vykdo atranką, generuoja prognozes ir palaiko patį savimodelį.

Tikrasis aš — procesas, kuris patiria, atrenka ir sudaro neredukuojamą subjektą — vyksta \Delta_{\text{self}}: toje K_\theta dalyje, kurios \hat{K}_\theta negali pasiekti. Tai nėra savęs pažinimo spraga, kurią būtų galima įveikti geresne introspekcija. Tai formali situacijos struktūra: savimodelis negali aprėpti savo paties generatoriaus. \blacksquare

Laikinis vėlavimas. Dar viena P-4 pasekmė yra ta, kad \hat{K}_\theta neišvengiamai modeliuoja K_\theta(t - \delta) — kodeką tokį, koks jis buvo, — o ne K_\theta(t) — kodeką tokį, koks jis yra modeliavimo momentu. Bet kuris savimodelis, kuris visiškai sektų dabartinę kodeko būseną, turėtų apimti ir apdorojimą, reikalingą pačiam šiam sekimui generuoti, o tai vestų į tą pačią begalinę regresiją, kurią P-4 draudžia. Aš visada šiek tiek atsilieka nuo savęs: jis modeliuoja kodeką, koks jis buvo, bet ne visai tokį, koks jis yra.

Kontempliatyvus stebėjimas. Teiginys „žiūrėdamas aklosios dėmės nerasi“ nėra metafora, bet operacinė P-4 pasekmė. Žiūrėjimo instrumentas yra \hat{K}_\theta. Akloji dėmė yra \Delta_{\text{self}} — sritis, kurios \hat{K}_\theta negali pasiekti. Nukreipus savimodelį į jo paties akląją dėmę, atsiranda ne stebėjimas, o nebuvimas to stebėjimo, kurio buvo tikėtasi — ir būtent tai įvairių kultūrų kontempliatyvios tradicijos nusako kaip atradimą, kad sąmoningumas neturi aptinkamo centro.

§5. Kūrybiškumo pasekmė

5.1 Artimos slenksčiui plėtros aproksimacija

Savasties modelis \hat{K}_\theta turi baigtinį pralaidumo biudžetą. Įprasto veikimo sąlygomis jis dalį šio biudžeto skiria paties kodeko atrankos polinkių modeliavimui — kurdamas predikcinį žemėlapį to, „ką aš tikėtina darysiu“. Tai susiaurina efektyvųjį \Delta_{\text{self}} savasties modelio požiūriu: savasties modelis gali apytikriai numatyti, kuri šaka bus atrinkta.

Artimas slenksčiui veikimas (R_{\text{req}}^{\text{frame}} \to B_{\max}) apkrauna savasties modelio vienam kadrui tenkantį biudžetą. Kai kodekas apdoroja informaciją ties savo pajėgumo riba — esant dideliam kognityviniam krūviui, naujoms aplinkoms, sudėtingoms kūrybinėms užduotims — savasties modelis turi nukreipti pajėgumą didėjančio \varepsilon_t sekimui, todėl savipredikcijai jo lieka mažiau. Operaciškai aktyvus, nuo apkrovos priklausantis efektyvusis likutis \Delta_{\text{load}}^{\text{eff}} — ta vienam kadrui tenkančio savasties modelio deficito dalis, kurią lemia pajėgumo spaudimas — atitinkamai didėja:

\Delta_{\text{load}}^{\text{eff}}(n) \;=\; g\!\left(\frac{R_{\text{req}}^{\text{frame}}(n)}{B_{\max}},\; A_{\text{self}}(n)\right) \tag{7}

čia A_{\text{self}} yra kodeko skiriama B_{\max} dalis savimodeliavimui, priešpriešinama pasaulio modeliavimui, o g yra monotoniška pagal apkrovos santykį, kai A_{\text{self}} yra fiksuotas. (Visą operacinę skaidą \Delta_{\text{self}}^{\text{op}} = \Delta_{\text{floor}} + \Delta_{\text{load}} žr. P-4 priede, §5. Struktūrinis dugnas \Delta_{\text{floor}} dėl apkrovos nekinta — būtent apkrovos lemiamas narys \Delta_{\text{load}} išplečia sritį, iš kurios vykdoma atranka.)

5.2 Fenomenologinis atvaizdavimas

Tai lemia šakų atrankas, kurios iš savasties modelio perspektyvos yra mažiau nuspėjamos. Fenomenologinis koreliatas yra būtent tai, kas aprašoma kaip kūrybinė patirtis:

5.3 Hipnagoginis papildinys

Hipnagoginė būsena (preprint §3.6.5, Priežiūros ciklo III fazė) pasiekia tą pačią plėtrą komplementariu keliu. Užuot užtvindžiusi savasties modelį iš viršaus (aukštas R_{\text{req}}), hipnagoginė būsena atpalaiduoja savasties modelį iš apačios — sumažindama savęs predikcijos tikslumą tuo metu, kai kodekas atlieka spekuliatyvių šakų atsparumo testavimą. Tai yra formalus mechanizmas, grindžiantis gerai dokumentuotą ryšį tarp mieguistumo ir kūrybinės ideacijos.

5.4 Empirinė prognozė

Prognozė T-13.E1. Neurovaizdinimo tyrimai, nagrinėjantys kūrybinę idėjų generaciją, turėtų rodyti sumažėjusį aktyvumą numatytojo režimo tinklo srityse, susijusiose su savireferenciniu apdorojimu (medialinėje prefrontalinėje žievėje, užpakalinėje juostinėje žievėje), kartu su padidėjusiu aktyvumu srityse, apdorojančiose naują aplinkos įvestį — tai atspindėtų pralaidumo perskirstymą nuo savimodeliavimo prie išorinio sekimo.

Ši prognozė dera su esama fMRI literatūra apie kūrybinę kogniciją (Beaty et al. 2016; Limb & Braun 2008), tačiau ji taip pat pateikia formalų informacijos teorija grindžiamą paaiškinimą, kodėl sumažėjusi savistaba lydi kūrybinę raišką: tai nėra vien koreliacija, bet ir struktūriškai būtina pagal P-4.

5.5 Teiginys T-13.P2: Ribiniai saviinformacijos atvejai

T-13c analizė ir kūrybiškumo pasekmė kartu apibrėžia du formaliai skirtingus ribinius savasties informacinio turinio atvejus.

Teiginys T-13.P2 (Ribiniai atvejai). Kodekui K_\theta, turinčiam savęs modelį \hat{K}_\theta ir pastovųjį modelį P_\theta(t), patiriamos savasties informacinis turinys yra apribotas tarp dviejų ribų:

(a) Apatinė riba — grynasis buvimas. \hat{K}_\theta suspenduoja aktyvų savęs modeliavimą. Savęs modelis negeneruoja naratyvo, tačiau visas kodekas vis dar yra įkeltas ir esantis. Aktyvaus savireferencinio proceso kompleksiškumas — matuojamas kaip sąlyginis kompleksiškumas, duotas pastoviojo modelio atžvilgiu — artėja prie nulio:

C_{\text{self-active}}(n) \;:=\; K\!\left(\hat{K}_\theta^{\text{active}}(n)\,\bigm|\,P_\theta(n)\right) \;\to\; 0 \tag{T-13.P2a}

tuo tarpu K(P_\theta(n)) išlieka įkeltas. Tai ir yra formalus teiginio „pastovusis modelis yra esantis be aktyvaus savasties naratyvo, veikiančio virš jo“ turinys — tai pasiekiama ir asimptotiškai artinama giliose meditacinėse būsenose. (Čia vartojame sąlyginį kompleksiškumą, o ne Kolmogorovo atimtį, nes K(\cdot) - K(\cdot) apskritai nėra korektiškai tipizuota be nepriklausomumo prielaidų; K(\hat{K}_\theta^{\text{active}} \mid P_\theta) yra operaciškai prasmingas dydis.)

(b) Viršutinė riba — visiškas savasties skaidrumas. \hat{K}_\theta = K_\theta — savęs modelis visiškai apima kodeką. Pagal P-4 tai neįmanoma jokiai baigtinei sistemai. Jo informacinis turinys formaliai yra savireferencinis:

K(\hat{K}_\theta) = K(K_\theta) = K(\hat{K}_\theta) = \cdots \tag{T-13.P2b}

Tai nėra nei nulinė informacija, nei begalinė informacija. Tai yra savęs modeliavimo operacijos fiksuotasis taškas, kurio kodekas negali pasiekti kaip vidinio savęs modelio. Išoriniai stebėtojai gali užfiksuoti kodeko aspektus, kurie jo paties savęs modeliui yra neprieinami — sistema kaip tik ir remiasi šia asimetrija kitur (žr., pvz., žmogaus vertintojų Predikcinį pranašumą AI savęs modelio atžvilgiu, §8.14 / opt-ai.md) — tačiau jokia išorinė specifikacija netampa paties kodeko savuoju save apimančiu savęs modeliu. P-4 draudžia būtent pastarąjį; pirmojo jis nedraudžia.

(c) Įprastinė juosta. Budri savastis juda tarp šių ribų juostoje, kurią lemia savęs modeliavimo sluoksnio intensyvumas. Didelės apkrovos budrus veikimas stipriai apkrauna \hat{K}_\theta, sukurdamas tankią, savimi pasitikinčią, garsiai naratyvuojančią savastį, kuri paradoksaliai yra toliau nuo tikslaus savęs pažinimo — savęs modelis generuoja greičiau, nei gali kalibruotis. Būsenos su mažu R_{\text{req}} (meditacija, autogeninė treniruotė, hipnagoginis slenkstis) leidžia savęs modeliui sulėtėti, suplonėti ir priartėti prie apatinės ribos.

5.6 Sustabdymas vs. genėjimas: skirtingas mechanizmas

Egzistuoja svarbus mechanistinis skirtumas tarp dviejų būdų, kuriais C_{\text{state}} gali būti sumažintas:

Meditacija naudoja sustabdymą, o ne genėjimą. Štai kodėl meditacijos poveikiai yra iš karto grįžtami (įprastas savęs naratyvas atsinaujina grįžus prie normalaus veikimo), o veiksmo dreifas toks nėra (nugenėtas elgesio repertuaras negali būti spontaniškai regeneruotas). Abu mechanizmai formaliai skiriasi, nors abu sumažina aktyvų kodeko kompleksiškumą.

§6. Veiksmo dreifas kaip elgesio repertuaro MDL genėjimas

6.1 Mechanizmas

Priežiūros ciklo MDL genėjimo perėjimas (T9-3/T9-4) optimizuoja kodeko kompleksiškumo biudžetą, ištrindamas reprezentacinį pajėgumą, kurio nepateisina dabartinis įvesties srautas. Šis mechanizmas buvo identifikuotas percepcinio Naratyvinio dreifo kontekste (Išgyvenusiųjų sargybos etika, V.3a skyrius): kodekas, prisitaikęs prie nuosekliai filtruojamo įvesties srauto, pagrįstai išgeni savo pajėgumą aprėpti eliminuotas tiesas.

Tas pats mechanizmas taikomas ir kodeko elgsenos repertuarui. Apibrėžkime:

Apibrėžimas T-13.D3 (Elgsenos repertuaras). Elgsenos repertuaras \mathcal{B}_\theta(t) yra aibė šakų atrankų, kurias P_\theta(t) gali įvertinti ir įvykdyti, t. y. atrankos funkcijos \sigma_t reikšmių sritis, kurią kodekas gali efektyviai realizuoti.

6.2 Veiksmo dreifo teiginys

Teiginys T-13.P1 (Veiksmo dreifas). Jei kodeko įvesties sraute nuosekliai stinga kontekstų, reikalaujančių tam tikrų šakų pasirinkimo, MDL genėjimo perėjimas ardys kodeko gebą vertinti ir vykdyti tas šakas. Elgesio repertuaras \mathcal{B}_\theta(t), esant nuosekliam įvesties ribojimui, monotoniškai siaurėja:

\mathcal{B}_\theta(t + \tau) \subset \mathcal{B}_\theta(t) \quad \text{for } \tau \gg \tau_{\text{prune}} \tag{T-13.P1}

kur \tau_{\text{prune}} yra MDL genėjimo perėjimo charakteringasis laiko mastelis.

Argumentas. MDL genėjimo kriterijus kiekvieną reprezentacinį komponentą vertina pagal jo indėlį į glaudinimo efektyvumą. Šakos tipas b \in \mathcal{B}_\theta, kuris pakankamai ilgą laiką nebuvo pasirenkamas (arba kurio pasirinkimo kontekstai nepasitaikė įvesties sraute), neprisideda nė vienu bitu prie vykstančio kodeko \varepsilon_t glaudinimo. Esant griežtai MDL apskaitai, gebos vertinti ir pasirinkti b palaikymas sukelia sudėtingumo sąnaudas K(b \mid P_\theta) > 0, tačiau nesuteikia jokios kompensuojančios glaudinimo naudos. Todėl genėjimo perėjimas pašalina b vertinimo mechanizmą ir susiaurina \mathcal{B}_\theta.

Šis susiaurėjimas kodeko lygmeniu yra negrįžtamas: kai b vertinimo mechanizmas jau išgenėtas, kodekas negali jo spontaniškai atkurti, nepatirdamas tokių įvesties kontekstų, kurie iš naujo pateisintų šios gebos investiciją. Genėjimas nėra užmiršimas (kurį galėtų panaikinti užuomina); tai yra skaičiavimo infrastruktūros, reikalingos tam tikrai šakų klasei vertinti, sunaikinimas. \blacksquare

6.3 Fenomenologiniai atvejai

Veiksmo dreifas atitinka kelis gerai dokumentuotus elgesio fenomenus:

6.4 Ryšys su T-12

Veiksmo dreifas yra ypatingas substrato ištikimybės nesėkmės atvejis, kurį formalizuos T-12: paties kodeko elgesio repertuaras yra jo reprezentacinio substrato komponentas, o nuoseklus įvesties ribojimas ardo šį substratą taip pat patikimai, kaip ir percepcinį modelį. Formalus ryšys yra toks:

Abu yra Stabilumo filtro pirmenybės glaudinamumui, o ne ištikimybei, pasekmės. Gerai suglaudintas kodekas gali būti ir užtikrintai klaidingas, ir elgsenos požiūriu nuskurdęs.

§7. Taikymo sritis ir ribotumai

7.1 Su sąlyga P-4 ir Agentiškumo aksioma

Visas argumentas remiasi teorema P-4 (\Delta_{\text{self}} > 0 baigtinėms save referuojančioms sistemoms virš K_{\text{threshold}}) ir Agentiškumo aksioma (kad apertūros perėjimas yra jaučiamas). Jei P-4 susilpninama arba Agentiškumo aksiomos atsisakoma, struktūrinė valios tapatinimo su sąmone schema (koroliaras T-13b) nebegalioja.

7.2 Nepanaikina sunkios problemos

Koroliaras T-13b lokalizuoja valią ir sąmonę tuo pačiu struktūriniu adresu, tačiau nepaaiškina, kodėl kuri nors iš jų apskritai kažkaip jaučiasi. sunki problema (preprint §8.1) išlieka primityvu. T-13b nustato šių dviejų paslapčių vienovę — tai supaprastinimas, o ne sprendimas.

7.3 Lygtys nepakitusios

Teoremos T-13 ir T-13a nieko nekeičia T6-1–T6-3 matematikoje. Apribotas laisvosios energijos minimizavimas (T6-3) formaliai yra tapatus tiek FEP paveldėtoje, tiek šakų atrankos interpretacijoje. Keičiasi tik ontologinis a_t statusas: pagal FEP skaitymą tai yra į išorę siunčiama motorinė komanda; pagal šakų atrankos skaitymą tai yra navigacinis indeksas Predikcinėje Šakų Aibėje.

7.4 Kūrybiškumo aiškinimas yra struktūrinis, dar ne empirinis

Kūrybiškumo pasekmė (§5) yra struktūrinė prognozė, išvedama iš pralaidumo dalijimosi apribojimo tarp savęs modeliavimo ir aplinkos sekimo. Nors ji dera su esama neurovaizdinimo literatūra, ji dar nebuvo tiesiogiai patikrinta pagal čia numatytus specifinius informacijos teorijos dydžius. Prognozė T-13.E1 pateikiama kaip falsifikuojamas empirinis testas.

7.5 Veiksmo dreifo laiko skalė

Propozicija T-13.P1 nustato, kad veiksmo dreifas vyksta, tačiau neapriboja laiko skalės \tau_{\text{prune}}. Biologinių kodekų atveju šią laiko skalę tikriausiai valdo cirkadinis Priežiūros ciklas (preprint §3.6) — individualiems įgūdžiams tai yra dienų ar savaičių tvarka, giliems elgesio modeliams — mėnesių ar metų. Civilizacinių kodekų atveju laiko skalė yra kartų. \tau_{\text{prune}} apribojimas remiantis empiriniais duomenimis yra ateities darbas.

§8. Baigiamoji santrauka

T-13 rezultatai

  1. Teorema T-13 (Šakų atrankos pilnumas). Informacinė priežiūros grandinė užsidaro pagal šakų atrankos semantiką, nereikalaudama nepriklausomo į išorę nukreipto veiksmų kanalo. Markovo antklodė yra pasirinktos šakos pristatymo paviršius. → Užbaigia gairių kriterijų (a).

  2. Teorema T-13a (Sąlyginis vidinės atrankos specifikacijos neįmanomumas). Kai šakų atranka netrivialiai priklauso nuo atrankai reikšmingo liekanos nario \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}}, pilnas \sigma_t specifikavimas \hat{K}_\theta viduje reikalautų įtraukti bitus iš K_\theta \setminus \hat{K}_\theta, o tai prieštarauja P-4. Kai antecedentas tenkinamas, \Delta_{\text{self}} yra būtinas viduje nespecifikuojamos šakų atrankos lokusas. → Užbaigia gairių kriterijų (b), su sąlyga, kad liekana dalyvauja architektūros lygmeniu.

  3. Koroliaras T-13b (Adreso vienovė). Valia ir sąmonė dalijasi tuo pačiu struktūriniu adresu (\Delta_{\text{self}}). „Kibirkštis“ ir „pasirinkimas“ yra du to paties nemodeliuojamo baigtinės savireferencijos bruožo aspektai.

  4. Koroliaras T-13c (Aš kaip liekana). Patiriamas aš yra suspaustas \hat{K}_\theta naratyvas; tikrasis aš — patirties, atrankos ir tapatybės lokusas — yra \Delta_{\text{self}}. Aš-modelis neišvengiamai seka kodeką su laiko vėlavimu ir negali talpinti savo paties generatoriaus.

  5. §5: Kūrybiškumo pasekmė. Veikimas arti slenksčio išplečia efektyvųjį \Delta_{\text{self}}, sukurdamas mažiau sau pačiam nuspėjamas šakų atrankas, kurios patiriamos kaip kūrybiškumas. → Užbaigia gairių kriterijų (c).

  6. Propozicija T-13.P2 (Ribiniai savi-informacijos atvejai). Patiriamo aš informacinis turinys yra apribotas tarp apatinės ribos (grynas buvimas: pastovus modelis minus aktyvus savęs naratyvas, pasiekiama meditacijoje) ir viršutinės ribos (visiškas savęs skaidrumas: neįmanomas fiksuotas taškas, P-4). Įprastas budrumo būsenos aš juda šiame intervale.

  7. §5.6: Suspendavimas prieš genėjimą. Meditacija sumažina C_{\text{state}} suspenduodama savęs modeliavimo sluoksnį (grįžtamai), o ne MDL genėjimu (negrįžtamai). Tai formaliai skirtingi mechanizmai.

  8. Propozicija T-13.P1 (Veiksmo dreifas). MDL genėjimo perėjimas ardo elgesio repertuarą esant nuosekliam įvesties ribojimui, taip formalizuodamas lėtinį gedimo režimą, papildantį percepcinį Naratyvinį dreifą. → Užbaigia gairių kriterijų (d).

Liekantys atviri klausimai

Šis priedas palaikomas kartu su theoretical_roadmap.pdf. Nuorodos: Teorema P-4 (P-4 priedas), T6-1 iki T6-3 (preprint §3.8), T9-3/T9-4 (Priežiūros ciklas, preprint §3.6), §8.6 (Virtualus kodekas), Išgyvenusiųjų sargyba etikos V.3a skyrius (Naratyvinis dreifas).