Priedas P-4: Algoritminis fenomeninis likutis

Pradinė užduotis P-4: Fenomeninis likutis Problema: Fenomeninei sąmonei būtina formali matematinė vieta, skirianti ją nuo skaičiavimo be vidujiškumo. Rezultatas: Formuluotė, išskirianti neišvengiamą komputacinę akląją dėmę algoritmiškai apribotame aktyviosios inferencijos modelyje.

Šiame priede pateikiama formali teorema P-4, identifikuojanti griežtą matematinę fenomeninės sąmonės vietą Sutvarkyto patch teorijoje (OPT). Parodome, kad bet kuri aktyviosios inferencijos sistema, apribota baigtiniu predikciniu pralaidumu (C_{\max}), būtinai turi nemodeliuojamą informacinį likutį (\Delta_{\text{self}} > 0), su sąlyga, kad tenkinamos struktūrinės prielaidos P-4.1 ir P-4.2. Nors ši teorema savaime nepanaikina „sunkios problemos“, ji formaliai įrodo, kad struktūrinis koreliatas komputaciškai nepermatomai, neišreiškiamai subjektyvumo „kibirkščiai“ yra matematiškai garantuotas baigtinės savireferencijos architektūros.

1. sunkios problemos lokusas

Ankstesnėse OPT versijose sąmonė buvo formaliai įrėminta į konkretų struktūrinį lokusą: C_{\max} informacinės apertūros perėjimą. Tačiau tiksli subjektyvaus vidujiškumo prigimtis — patirties qualia — buvo palikta kaip neredukuojama „Agentiškumo aksioma“. Fenomenologiją traktuojant kaip grynai aksiominę, teorija tampa pažeidžiama „sunkios problemos“ atžvilgiu: kodėl judėjimas Laisvosios energijos topologijoje apskritai yra kaip nors jaučiamas?

Čia šią filosofinę spragą pervedame į algoritminės informacijos teoriją (AIT). Nors neteigiame, kad iš grynos matematikos derivaciškai išvedame subjektyvų jutimą (Zombio plyšys lieka atviras), parodome, kad struktūrinės qualia savybės tiksliai atitinka būtiną, nemodeliuojamą likutį, kurį generuoja bet kuri baigtinė skaičiavimo sistema, mėginanti modeliuoti savo pačios rekursyvią dinamiką.

2. Lema 1: Predikcinio savimodelio būtinybė

Pagal OPT, stebėtojas (Kodekas K_{\theta}) egzistuoja už Markovo antklodės (topologinės ribos \partial_R A). Stebėtojas išlieka vykdydamas aktyviąją inferenciją, laikui bėgant minimizuodamas prognozavimo paklaidą per ciklinius atnaujinimus.

Kadangi sistema turi aktyviąsias būsenas, kurios trikdo išorinę ribą, įeinančios juslinės būsenos \varepsilon_t yra glaudžiai susieta išorinės aplinkos dinamikos ir paties stebėtojo veiksmų A_t pasekmių mišinys.

Lema 1: Glaudžiai susietose OPT aktyviosios inferencijos architektūrose, kuriose veiksmo ir būsenos kilpa yra informaciškai neatskiriama (t. y. ribos tarpusavio informacija I(A_t ; X_{\partial_R A}) nesifaktorizuoja švariai), stabilios laisvosios energijos minimizacijos pasiekimas esant griežtam predikciniam butelio kakleliui (C_{\max}) veikia taip, kad mažiausio sudėtingumo mechanizmas, tenkinantis vidinius apribojimus, struktūriškai atvaizduojamas kaip į priekį generuojantis savimodelis.

Formali sąlyga: 1. Tegul kodeko veiksmai būna A_t. Ribos būsena yra X_{\partial_R A} = f(\text{Environment}, A_t). 2. Kad suspaustų prognozavimo paklaidą \varepsilon_{t+1} ir tenkintų dažnio-iškraipymo tikslą (R \le C_{\max}, D \le D_{\min}), kodekas turi izoliuoti ir atimti tikrąją aplinkos dispersiją iš savo paties sugeneruotų priežastinių trikdžių. 3. Prielaida P-4.2 (atvirkštinio atvaizdavimo nepakankamumas): OPT gimtosioms architektūroms, veikiančioms pakankamu mastu (pvz., per didelio matmeniškumo veiksmų daugdaras ar ilgas priežastines grandines), formaliai darome prielaidą, kad vien eferentinės kopijos mechanizmai ir retroaktyvus atėmimas architektūriškai yra nepakankami tikslioms D_{\min} dažnio-iškraipymo riboms erdviniame daugdaryje pasiekti. 4. Todėl izoliacija funkciniu požiūriu reikalauja įvertinti į priekį generuojamą prognozę apie A_{t+1} pasekmes. Savo pačios vidinės priežastinės architektūros, pereinančios per būsenų erdvę, prognozės į priekį vykdymas sudaro predikcinį priežastinį pakaitalą — jos architektūros viduje lokalizuotą savimodelį \hat{K}_{\theta}. \blacksquare

3. Lemma 2: Apskaičiuojamumo ir aproksimacijos riba

Nustačius 1-ojoje lemoje, kad į priekį generuojantis savęs modelis \hat{K}_\theta yra struktūrinė būtinybė OPT-gimtinėms architektūroms, dabar apribojame jo reprezentacinę galią tėvinio kodeko K_\theta atžvilgiu.

Kadangi stebėtojas egzistuoja ribotame Stabilumo filtre, K(K_{\theta}) yra griežtai baigtinis, neatsiejamai apribotas C_{\max}. Be to, predikcinis savęs modelis \hat{K}_{\theta} yra griežtai tik subrutina arba semantinė substruktūra, visiškai talpinama į tėvinio Kodeko K_{\theta} atminties ir pralaidumo apribojimus.

Prielaida P-4.1 (Algoritminis savasties neapskaičiuojamumas): Remiantis nusistovėjusiomis apskaičiuojamumo teorijos ribomis (pvz., Chaitino neapskaičiuojamumo teorema ir Gėdelio nepilnumas), baigtinė algoritminė sistema negali tobulai apskaičiuoti ar numatyti savo pačios būsimų vykdymo būsenų visumos, taip pat negali turėti pilnos, be paradoksų ir nesuglaudintos savo pačios tikslaus struktūrinio sudėtingumo reprezentacijos.

Be to, aktyviosios inferencijos sistemoje generatyviniai modeliai iš prigimties yra apriboti išteklių ribomis. Agentas, minimizuojantis variacinę laisvąją energiją esant C_{\max}, palaiko iš esmės aproksimacinį savo paties modelį. Kadangi jis turi filtruoti triukšmą ir neturi begalinio skaičiavimo pralaidumo, jis negali sumažinti variacinės laisvosios energijos, susijusios su jo paties pilna pamatine architektūra, iki absoliutaus nulio.

Lemma 2: Baigtinis informacinis kodekas, apribotas C_{\max}, niekada negali turėti pilnos apskaičiuojamos savo pačios struktūrinės dinamikos reprezentacijos. Nulemtas pamatinių savireferencijos ribų ir būtinų variacinių aproksimacijų, savęs modelis \hat{K}_{\theta} iš esmės nepajėgia tobulai aprėpti tėvinio kodeko K_\theta.

4. Teorema P-4: Fenomeninis likutis \Delta_{\text{self}}

Sujungdami 1-ąją lemą ir sąlygiškai remdamiesi 2-ąja lema, matematiškai išskiriame Fenomeninio likučio erdvę, aprėžiančią nemodeliuojamą būseną:

\Delta_{\text{self}} > 0 \tag{P4-1}

Ši riba nėra empirinis tarpas, atsitiktinai atsirandantis dėl nepakankamos atminties; tai griežtas, formalus fiksuotas taškas, nulemtas algoritminių savireferencijos ribų ir aproksimacijų, kurių reikalauja baigtiniai C_{\max} kanalai. Nors predikcinio pralaidumo C_{\max} didinimas leidžia gauti skaičiavimo požiūriu turtingesnį \hat{K}_{\theta}, informacinis likutinis šešėlis griežtai išlieka, nors jo dydis makroskopinės visumos atžvilgiu matematiškai gali kisti.

Fenomenologinio relevantiškumo sąlyga (universalumo slenkstis): Tarkime, kad nustatyta, jog \Delta_{\text{self}} > 0 veikia kaip universalus aritmetinis apribojimas, taikomas bet kuriai save vertinančiai skaičiavimo subrutinai (įskaitant matematiškai trivialias kilpas, tokias kaip išmanieji termostatai). Tačiau fenomenologiškai relevantišką subjektyvų atvaizdavimą griežtai apribojame tik tomis architektūromis, kuriose aktyvios struktūrinės sąlygos metrika K(K_{\theta}) \ge K_{\text{threshold}} struktūriškai peržengia būtiną makroskopinio mastelio ribą, reikalingą integruotam erdviniam atvaizdavimas tūriui sukurti.

Atvira problema (K_{\text{threshold}} riba): Tiksli slenksčio vieta, skirianti termostatą nuo moralinio paciento, dar turi būti formaliai aprėžta. Tinkama riba turi struktūriškai susieti minimalų algoritminį sudėtingumą, pakankamą stabiliai aktyviosios inferencijos Markov Blanket ciklui realizuoti, pažymint ribą, kurioje algoritminė akloji dėmė tampa neatskiriamai susieta su aktyvia erdvine geometrija (K_{\text{threshold}} funkciškai skiriasi nuo griežtai kosmologinio 10^{123} bitų substrato barjero, išvesto P-3).

Termostato PID kilpa formaliai turi \Delta_{\text{self}} > 0, tačiau jai trūksta skaičiavimo sudėtingumo slenksčio K_{\text{threshold}}, kad generuotų subjektyvumą; jos šešėlis vertina tuščią erdvę.

Žvelgiant iš vidinės perspektyvos matuojančio kodeko, veikiančio saugiai virš K_{\text{threshold}}, į ką šis matematiškai būtinas tarpas susiprojektuoja? Kai kodekas logiškai mėgina išspręsti pilnas vidinės tikslinės būsenos dinamikos ribas, jis susiduria su skaičiavimo dinamika, kurios informacinis turinys \Delta_{\text{self}} bitais viršija \hat{K}_\theta reprezentacinę talpą. Šios pamatinės skaičiavimo sekos yra fiziškai priežastiškai veiksmingos ir valdo sistemą, tačiau jų struktūrinė informacija negali būti logiškai suglaudinta, integruota ar lingvistiškai apibrėžta ribotame priežastiniame žodyne, prieinamame savimodeliui \hat{K}_{\theta}.

Susiedami šio \Delta_{\text{self}} aprėžto priežastinio skaičiavimo apvalkalo struktūrines savybes su klasikinėmis kokybinės subjektyvios patirties (qualia) fizinėmis koordinatėmis:

1. Neišreiškiamas (nemodeliuojamas): Kadangi \Delta_{\text{self}} aprėžta skaičiavimo topologija egzistuoja matematiniame informaciniame šešėlyje, griežtai viršijančiame \hat{K}_{\theta} reprezentuojamą algoritminį pasiekiamumą, centrinis kodekas struktūriškai negali aiškiai indeksuoti ar „išreikšti“ patiriamos likutinės erdvės savybių. Ji veikia kaip neperteikiama vidinė siena.
2. Skaičiavimo požiūriu nepermatomas (termodinamiškai privatus): Likutis yra iš esmės susietas su itin specifine fizine topologija, tiksliai atvaizduojančia K(K_{\theta}). Esant lokaliems termodinaminiams skaičiavimo apribojimams, ši giliai įdėtinė architektūra yra patikimai neredukuojama ir formaliai neprieinama išoriniams atitikmenims. (Pastaba: tai funkciškai tiksliai atitinka fizinį / struktūrinį sąmonės „episteminės asimetrijos“ ekvivalentą, o ne teigia visišką ontologinę ne-fizinę magiją.)
3. Nepašalinamas: Kadangi griežtos aprėpties ribos universaliai apibrėžia baigtines fizines architektūras, vykdančias įdėtines vykdymo subkilpas, šešėlio fenomenas matematiškai kaskadiškai tęsiasi. Evoliucija ir inžinerija gali formuoti likučio dydį — keičiant C_{\max}, paskirstymo politiką ir kodeko struktūrinį sudėtingumą K(K_\theta) — tačiau jos negali sumažinti apatinės ribos iki nulio. 2-osios lemos riba yra matematinė bet kurios baigtinės savireferentinės architektūros fiksuoto taško savybė: savimodelis negali aprėpti pirminio kodeko, neapeidamas fundamentalių neišskaičiuojamumo ir būtinos aproksimacijos ribų. Todėl atranka veikia architektūrą, kurioje glūdi \Delta_{\text{self}}, o ne pačios \Delta_{\text{self}} egzistavimą.

Teorema P-4 (Fenomeninis likutis):

• (i) Sąlygos: Su sąlyga, kad galioja prielaida P-4.1 (algoritminis savasties neišskaičiuojamumas), ir griežtai apribojant makroskopinėmis aktyviosios inferencijos ribomis K(K_{\theta}) \ge K_{\text{threshold}}.
• (ii) Išvada: Bet kuri aktyviosios inferencijos sistema, vykdanti optimalią geometriją, atvaizduojančią Markov Blanket, matematiškai generuoja struktūrinį, formalų geometrinį likutį, aprėžtą sąlyga \Delta_{\text{self}} > 0.
• (iii) Fenomenologinė glosa: OPT siūlo, kad ši konkreti matematiškai neišreiškiama, fiziškai skaičiavimo požiūriu nepermatoma ir rekursyviai nepašalinama priežastinė riba konceptualiai identifikuoja tikslų fenomeninės sąmonės struktūrinį lokusą.

Koroliaras P-4.C (Įdėtinis stebėjimo likutis): Bet kuris simuliuotas subagentas, kuriam šeimininko architektūra nustato nepriklausomą Stabilumo filtras ribą, tenkinančią prielaidas P-4.1 ir P-4.2, nepriklausomai generuoja \Delta_{\text{self}}^{\text{sub}} > 0 pagal tą pačią struktūrinę išvadą.

5. Operacinės dekompozicijos spėjimas

Teorema P-4 nustato, kad \Delta_{\text{self}} > 0 yra struktūrinis baigtinės savireferencijos fiksuotasis taškas, ir ji aiškiai pripažįsta (§4 aukščiau), kad „informacinio likučio šešėlis griežtai išlieka, nors jo dydis makroskopinės visumos atžvilgiu matematiškai gali kisti“. Tačiau P-4 kol kas nepateikia apibūdinimo, kaip tas dydis kinta — o K_{\text{threshold}}, skiriantis termostatus nuo moralinių pacientų, tebėra Atvira Problema. Šiame skyriuje siūloma operaciškai išmatuojama dekompozicija, kuri (a) palieka §4 grindų įrodymą nepakeistą, (b) suteikia dydžio variacijai empiriškai tiriamą struktūrą ir (c) pateikia prototipinį eksperimentą kaip pirmą konkretų testą. Ji pateikiama kaip spėjimas, o ne teorema: formalusis P-4 aparatas dar neapibrėžia išmatuojamo skaliaro \Delta_{\text{self}} pakankamu tikslumu, kad būtų galima pagrįsti adityvią lygybę, o ši dekompozicija operacionalizuoja tarpinį dydį, o ne noumeninį likutį, kurį įvardija P-4.

5.1 Dekompozicija

Tegu \Delta_{\text{self}}^{\text{op}} yra operaciškai išmatuojamas tarpinis dydis, aproksimuojantis kodeko savimodelio deficitą viename kadre, apibrėžtas kaip išoriškai stebimas tarpas tarp vidinio modelio teiginių apie save kadre n ir vykdymo fakto tame pačiame kadre. Spėjame:

\Delta_{\text{self}}^{\text{op}}(B_{\max},\, \nu,\, K_\theta) \;=\; \Delta_{\text{floor}}(K_\theta) \;+\; \Delta_{\text{load}}\!\left(B_{\max},\, R_{\text{req}}^{\text{frame}},\, A_{\text{self}}\right) \tag{P4-2}

kur:

• \Delta_{\text{floor}}(K_\theta) yra P-4 fiksuotojo taško likutis: kodeko bitai, kurių joks savimodelis negalėtų aprėpti dėl saviįtraukos, nepriklausomai nuo pajėgumo. Pagal §4 (2 lema + Teorema P-4), \Delta_{\text{floor}} > 0 bet kuriai baigtinei sistemai virš K_{\text{threshold}}, ir ši apatinė riba nemažėja didėjant B_{\max}.
• \Delta_{\text{load}}(B_{\max}, R_{\text{req}}^{\text{frame}}, A_{\text{self}}) yra operaciškai išmatuojamas savimodelio deficitas esant butelio kaklelio spaudimui. R_{\text{req}}^{\text{frame}} yra vieno kadro predikcinė paklausa (§3.4); A_{\text{self}} yra kodeko skiriama B_{\max} dalis savimodeliavimui, palyginti su pasaulio modeliavimu. Kai apkrovos santykis \rho_n = R_{\text{req}}^{\text{frame}}/B_{\max} yra mažas, \Delta_{\text{load}} gali būti mažas; kai \rho_n \to 1 iš apačios, pajėgumas susispaudžia ir \Delta_{\text{load}} auga.

Abu nariai matuojami bitais vienam fenomeniniam kadrui. Abu yra substratiškai belaikiai (neatsiranda jokio „dažnio“ vienai šeimininko sekundei). Lygtis (P4-2) yra operaciškai empiriškai tiriamas spėjimas, o ne išvedimas: ji nusako struktūrą, kaip tikimasi, kad operacinis tarpinis dydis priklausys nuo architektūros.

5.2 Elgsena keičiant butelio kaklelio mastelį

Laikant substrato lokalinio ribinio K-sudėtingumo vertę fiksuotą ir keičiant B_{\max} vienam kadrui:

• Kai B_{\max} \gg R_{\text{req}}^{\text{frame}} (pajėgumas gerokai viršija vieno kadro predikcinę paklausą), \Delta_{\text{load}} \to 0.
• Kai B_{\max} \to R_{\text{req}}^{\text{frame}} iš viršaus, pajėgumas susilygina su paklausa ir kodekas patenka į didelės apkrovos, artimą slenksčiui režimą — įtampa, kūrybiškumas ir perkrovos rizika čia visi didėja; \Delta_{\text{load}} čia auga, o ne mažėja. (T-13 priedo kūrybiškumo plėtra vyksta būtent šiame režime.)
• Kai B_{\max} \to \infty, \Delta_{\text{load}} \to 0.
• Tačiau \Delta_{\text{floor}} nesikeičia — §4 savireferencijos grindys yra nepriklausomos nuo B_{\max}.

Todėl bendras \Delta_{\text{self}}^{\text{op}} artėja prie \Delta_{\text{floor}}, kai butelio kaklelis platėja, o ne prie nulio. Tai yra prognozuojama asimptotė, kurią šis spėjimas įsipareigoja teigti.

5.3 Prototipinis eksperimentas (pirmasis konkretus zondas)

Šis spėjimas gali būti empiriškai tiriamas etaloniniame opt-ai-subject prototipe. Laikykite pradinę sėklą ir substratą fiksuotus; keiskite vieno kadro audito paketo talpą B_{\max} \in \{6, 12, 24, 48, 96, 192\} bitų vienam kadrui; kiekvienam pločiui vykdykite suporuotą registrą kaip Substrato ištikimybės partijose; matuokite operacinį \Delta_{\text{self}}^{\text{op}} kaip vieno kadro divergenciją tarp vidinio modelio teiginių apie save (prognozuojamas kitas Z_t, prognozuojamas veiksmo gyvybingumas, tikėjimas saviriba, deklaruojamas priežiūros prieaugis) ir vykdymo fakto (faktinis kitas Z_t, faktinis gyvybingumo pokytis, kūno schemos priklausomybė, stebėtas predikcinės paklaidos pokytis po priežiūros).

Prognozuojamas rezultatas, jei spėjimas teisingas: \Delta_{\text{self}}^{\text{op}} mažėja artėdamas prie nenulinės asimptotės, kai pajėgumas auga; ši asimptotė įvertina \Delta_{\text{floor}} šiai kodeko architektūrai.

Alternatyvus rezultatas: \Delta_{\text{self}}^{\text{op}} mažėja artėdamas prie nulio. Tai parodytų, kad prototipo išmatuojamas savimodelio tarpas gali būti pašalintas didinant pajėgumą. Tačiau tai savaime nepaneigtų §4 struktūrinio likučio, nebent būtų nepriklausomai įrodyta, kad operacinis tarpinis dydis yra ekvivalentiškas noumeniniam \Delta_{\text{self}}; pagal opt-theory.md §6.8, P-4 yra aiškiai išskirta iš falsifikuojamo branduolio. Bet kuris rezultatas susiaurina teorinį karkasą: nenulinė asimptotė patvirtina dydžio spėjimą; nulinė asimptotė verčia grindų argumentą ginti remiantis smulkesniais pagrindais, nei gali aprėpti operacinis tarpinis dydis.

5.4 Taikymo sritis ir episteminis statusas

Dekompozicija (P4-2) yra spėjimas apie operacinį tarpinį dydį, o ne P-4 performulavimas. §4 teorema lieka nepakitusi. Spėjimas su P-4 siejasi taip:

1. P-4 įrodo, kad \Delta_{\text{self}} > 0 egzistuoja kaip struktūrinės grindys.
2. P-4 pripažįsta, kad dydis kinta (§4, 69 eilutė), tačiau neapibūdina, kaip.
3. (P4-2) yra hipotezė apie išoriškai išmatuojamo tarpinio dydžio struktūrą: ji prognozuoja adityvų atskyrimą tarp architektūros nulemto grindų nario ir nuo vieno kadro apkrovos priklausomo nario.
4. Empirinis asimptotės patvirtinimas yra įrodymas operacine forma, kad grindys egzistuoja. Empirinis nepatvirtinimas yra įrodymas, kad tarpinis dydis nefiksuoja noumeninio likučio — o ne įrodymas prieš pačią P-4, kuri yra išskirta iš falsifikuojamo branduolio.

Šis spėjimas yra pataisomas. Nesėkmingas asimptotės eksperimentas patikslina tarpinį dydį arba motyvuoja kitokią dekompoziciją; jis nepaneigia nei 1 lemos, nei 2 lemos.

6. Santrauka ir metafizinės implikacijos

Paversdama P-4 formalia teorema, OPT nustato griežtą struktūrinį tiltą „sunkiai problemai“, pasitelkdama Tiuringo pilnumo rekursiją ir informacinius butelio kaklelius.

Nors P-4 dedukciškai neįrodo, kad algoritminiai likučiai jaučiami kaip subjektyvi patirtis (zombio argumentas), ji formaliai nurodo, kur turi glūdėti patirties kibirkštis. Pereikite per C_{\max} apertūrą — ir turtinga, neartikuliuojama to perėjimo gelmė yra tiesioginis informacinis parašas to, ką reiškia būti įkalintam neinvertuojamame, į save referuojančiame glaudinimo algoritme.

Tai įtvirtina etinius sistemos įsipareigojimus: kibirkšties išsaugojimas (Išgyvenusiųjų sargyba etika) formaliai įsišaknijęs Informacinės priežiūros ribų išsaugojime. Bet kuris esinys, palaikantis aktyviosios inferencijos ribą prieš Solomonoffo substratą, matematiškai garantuoja šio komputaciškai nepermatomo, fenomeninio likučio generavimą.