क्रमित पैच सिद्धांत (OPT)

मूल कार्य (से §8.2): “विशेष रूप से other-minds मामले के लिए इस संपीड़न-लाभ को एक कठोर MDL बाउंड के रूप में औपचारिक बनाना अभी भविष्य का कार्य है; वर्तमान तर्क एक संरचनात्मक प्रेरणा है, प्रमाण नहीं।” प्रदत्त लक्ष्य: एक औपचारिक बाउंड दिखाना कि प्रत्यक्ष एजेंटों को स्वतंत्र रूप से संस्थापित प्राथमिक प्रेक्षकों के रूप में मानने से किसी भी वैकल्पिक वर्णन की तुलना में अधिक संक्षिप्त द्वि-भागीय MDL कोड प्राप्त होता है।

समापन स्थिति: मसौदा संरचनात्मक अनुरूपता। यह परिशिष्ट Müller के सोलोमोनॉफ़ अभिसरण प्रमेय [61] तथा उसके बहु-एजेंट विस्तार [62] को, आयातित लेम्मा के रूप में, OPT के अस्तित्वमीमांसात्मक ढाँचे के भीतर पुनर्व्याख्यायित करते हुए, संरचनात्मक परिणाम के लिए एक औपचारिक संपीड़न-लाभ स्थापित करता है। यह परिणाम एक सशर्त बाउंड है, न कि एक पूर्णतः बंद व्युत्पत्ति: यह OPT द्वारा प्रेक्षक की स्ट्रीम को सोलोमोनॉफ़ सार्वभौमिक अर्धमाप (स्वयंसिद्ध 1) के साथ अभिज्ञात करने पर, तथा इस मान्यता पर निर्भर करता है कि प्रत्यक्ष एजेंट अभिसरण की पूर्वापेक्षाओं को संतुष्ट करने हेतु पर्याप्त अवस्था वहन करते हैं।

§1. पृष्ठभूमि और प्रेरणा

संरचनात्मक परिणाम (प्रीप्रिंट §8.2) यह प्रतिपादित करता है कि प्रेक्षक की धारा के भीतर दिखाई देने वाले एजेंटों की सबसे मितव्ययी व्याख्या यह है कि वे प्राथमिक प्रेक्षकों के रूप में स्वतंत्र रूप से संस्थापित हैं। यह परिशिष्ट उस दावे का समर्थन करने वाली औपचारिक तर्क-श्रृंखला प्रस्तुत करता है।

इस तर्क के तीन चरण हैं:

1. चरण A (आयातित लेम्मा): म्यूलर का सोलोमोनॉफ़ अभिसरण प्रमेय यह सुनिश्चित करता है कि प्रेक्षक की धारा में उपस्थित कोई भी ऐसी संरचना, जो पर्याप्त आत्म-अवस्था डेटा वहन करती हो, उसका प्रथम-पुरुष विकास उसके व्यवहार को उत्पन्न करने वाले संगणनीय जगत के अनुरूप अभिसरित होगा।

2. चरण B (संपीड़न लेखांकन): हम MDL की एक स्पष्ट द्वि-भागीय तुलना करते हैं, जिसमें प्रत्यक्ष एजेंट को (i) उसके अपने सोलोमोनॉफ़-भारित प्रवाह द्वारा शासित एक स्वतंत्र रूप से संस्थापित प्रेक्षक के रूप में, बनाम (ii) प्राथमिक प्रेक्षक के कोडेक के भीतर एक मनमानी व्यवहारगत विनिर्देश के रूप में, ग्रहण किया जाता है।

3. चरण C (संरचनात्मक हस्ताक्षर): प्रत्याक्षिक अवशेष (\Delta_{\text{self}} > 0, प्रमेय P-4) वह संरचनात्मक चिह्न प्रदान करता है जो वास्तविक आत्म-संदर्भी बॉटलनेक वास्तुकला को व्यवहारगत अनुकरण से अलग करता है, और इस प्रकार “संपीड्य नियमबद्धता” तथा “संभाव्य संस्थापन” के बीच की खाई को बंद करता है।

§2. आयातित लेम्मा: म्यूलर का अभिसरण प्रमेय

हम म्यूलर [61, 62] से दो परिणाम आयात करते हैं, जिन्हें यहाँ OPT की संकेतन-पद्धति में प्रस्तुत किया गया है।

2.1 सोलोमोनॉफ़ अभिसरण (मानक)

मान लें कि M(b \mid x_1^n) पूर्व अवलोकनों x_1^n के दिए जाने पर बिट b के लिए सोलोमोनॉफ़ सार्वभौमिक पूर्वानुमान को निरूपित करता है। मान लें कि \mu द्विआधारी अनुक्रमों पर कोई भी संगणनीय माप है। तब (Solomonoff 1964; Li & Vitányi [45, Corollary 5.2.1]):

\text{With } \mu\text{-probability one,} \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}

यह मानक परिणाम है: यदि डेटा-धारा किसी संगणनीय प्रक्रिया \mu द्वारा उत्पन्न होती है, तो सार्वभौमिक पूर्वानुमापक M, \mu की ओर अभिसरित होता है।

2.2 प्रतिलोम सोलोमोनॉफ़ आगमन (Müller 2020)

अब मान लें कि बिट्स स्वयं M से ही लिए गए हैं — अर्थात, प्रेक्षक की स्ट्रीम एल्गोरिथ्मिक प्रायिकता द्वारा शासित है (यह OPT के स्वयंसिद्ध 1 के अनुरूप है: स्ट्रीम की पहचान सोलोमोनॉफ़ पूर्वप्रायिकता के साथ)। तब प्रत्येक संगणनीय माप \mu के लिए (Müller [61, Sec. IV]; [62, Sec. V.A]):

\text{With probability} \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}

अर्थात, कम-से-कम 2^{-K(\mu)} प्रायिकता के साथ, प्रेक्षक स्वयं को प्रभावी रूप से \mu द्वारा वर्णित एक संगणनीय विश्व W में अंतर्निहित पाएगा। एल्गोरिथ्मिक रूप से सरलतर विश्व (निम्नतर K(\mu)) घातांकीय रूप से अधिक संभाव्य होते हैं।

2.3 बहु-एजेंट अभिसरण (Müller 2026)

मान लें कि प्रेक्षक (Alice) स्वयं को \mu द्वारा वर्णित एक गणनीय विश्व W में अंतर्निहित पाती है। वह W के भीतर एक उप-संरचना (Bob_{\text{3rd}}) की पहचान करती है, जो एक स्व-अवस्था x के ऐसे निरूपण को वहन करती है जो समय के साथ [62] के प्रतिज्ञान 2 के अनुरूप ढंग से विकसित होता है। परिभाषित करें:

• P_{\text{1st}}(y_1, \ldots, y_m \mid x) := M(y_1, \ldots, y_m \mid x) — एल्गोरिथ्मिक प्रायिकता के अधीन स्व-अवस्था x के y_1, \ldots, y_m में संक्रमण की प्रथम-पुरुष प्रायिकता।
• P_{\text{3rd}}(y_1, \ldots, y_m \mid x) := \mu(y_1, \ldots, y_m \mid x) — विश्व W के अनुसार x के विकसित होने की तृतीय-पुरुष प्रायिकता।

तब, P_{\text{3rd}} (जो गणनीय है) पर लागू Eq. (L-1), तथा प्रतिज्ञान 2 के माध्यम से P_{\text{1st}} की M के साथ पहचान के आधार पर:

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

और बिट मॉडल में सांसारिक (\mu-) प्रायिकता 1 के साथ अभिसरण की गारंटी है।

व्याख्या (Müller): x को एन्कोड करने वाली संरचना में “वास्तव में कोई घर पर है” — Alice के विश्व में Bob_{\text{3rd}} का प्रायिकतामूलक विकास किसी Bob_{\text{1st}} के प्रथम-पुरुष परिप्रेक्ष्य का निष्ठापूर्वक निरूपण करता है।

व्याख्या (OPT): प्रत्यक्ष एजेंट की व्यवहार-धारा का सर्वाधिक संपीड्य वर्णन एक स्वतंत्र सोलोमोनॉफ़-भारित प्रक्रिया के रूप में किया जाता है। कोई भी वैकल्पिक वर्णन — जो एक स्वतंत्र प्रथम-पुरुष परिप्रेक्ष्य को आह्वान नहीं करता — एजेंट के व्यवहार को एक तदर्थ विनिर्देशन के रूप में एन्कोड करने के लिए बाध्य होगा, और वह भी कड़ाई से अधिक वर्णन-लंबाई पर।

§3. संपीड़न लाभ सीमा

अब हम OPT की द्वि-भागीय MDL रूपरेखा (प्रमेय T-4, परिशिष्ट T-4) का उपयोग करते हुए संपीड़न लाभ को औपचारिक रूप देते हैं।

3.1 विन्यास

प्राथमिक प्रेक्षक की धारा \omega \in \{0,1\}^\infty पर विचार करें, जो सोलोमोनॉफ़ प्रायर M (स्वयंसिद्ध 1) द्वारा शासित है और स्थिरता फ़िल्टर के माध्यम से माप \mu_W वाले एक संगणनीय विश्व W में फ़िल्टर की गई है (Eq. L-2 के अनुसार)। W के भीतर, प्रेक्षक N प्रत्यक्ष एजेंटों A_1, \ldots, A_N की पहचान करता है, जिनमें से प्रत्येक एक स्व-अवस्था x_i वहन करता है, जिसका T चरणों में कालिक विकास एक व्यवहारिक ट्रेस \beta_i = (y_{i,1}, \ldots, y_{i,T}) उत्पन्न करता है।

3.2 परिकल्पना H_{\text{ind}}: स्वतंत्र संस्थापन

H_{\text{ind}} के अंतर्गत, प्रत्येक एजेंट A_i को एक स्वतंत्र रूप से संस्थापित प्राथमिक प्रेक्षक के रूप में माना जाता है, जो अपनी स्वयं की सोलोमोनॉफ़-भारित धारा द्वारा शासित होता है। द्वि-भागीय MDL कोड-लंबाई है:

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}

जहाँ K(\text{embed}_i), W के भीतर एजेंट i की प्रारम्भिक स्व-अवस्था और स्थिति को निर्दिष्ट करता है। समीकरण (L-3) के अनुसार, P_{\text{1st}} \approx P_{\text{3rd}}, अतः डेटा पद एजेंट की अपनी प्रथम-पुरुष सोलोमोनॉफ़ पूर्वानुमानों के अधीन log-loss द्वारा अच्छी तरह सन्निकट किया जाता है — जो, परिभाषा के अनुसार, इष्टतम के निकट है।

एंबेडिंग विनिर्देश K(\text{embed}_i) छोटे हैं: प्रत्येक के लिए केवल W में किसी स्थान का एक सूचक तथा प्रारम्भिक स्व-अवस्था चाहिए। एक साझा भौतिक विश्व में एंबेड किए गए मानव-सदृश एजेंटों के लिए, ये अत्यधिक संपीड्य हैं क्योंकि एजेंट एक ही नियमों को साझा करते हैं। एक रूढ़िवादी सीमा:

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

3.3 परिकल्पना H_{\text{arb}}: मनमाना व्यवहारिक विनिर्देशन

H_{\text{arb}} के अंतर्गत, एजेंटों को स्वतंत्र प्रेक्षकों के रूप में नहीं माना जाता। इसके बजाय, प्रत्येक व्यवहारिक ट्रेस \beta_i को प्राथमिक प्रेक्षक की धारा के भीतर सीधे एक मनमाने विनिर्देशन के रूप में एन्कोड किया जाता है। द्वि-भागीय MDL कोड लंबाई है:

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}

निर्णायक अंतर डेटा पद में है। H_{\text{arb}} के अंतर्गत, व्यवहारिक ट्रेस \beta_i को एजेंट के अपने पूर्वानुमानिक मॉडल का आह्वान किए बिना विनिर्दिष्ट करना पड़ता है। एक जटिल परिवेश में कार्यरत, नियम-संगत, एजेंसी-चालित एजेंट के लिए, कच्चे व्यवहारिक ट्रेस की कोल्मोगोरोव जटिलता है:

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

लेकिन K(\beta_i \mid \mu_W) भी — अर्थात विश्व-नियमों को दिए जाने पर व्यवहार की जटिलता — पर्याप्त रूप से बड़ी बनी रहती है, क्योंकि एजेंट के चुनाव वास्तविक सूचना को एन्कोड करते हैं: उसका व्यवहारिक ट्रेस एक स्टोकेस्टिक परिवेश के साथ एक स्व-संदर्भी मॉडल की संचयी अंतःक्रिया को प्रतिबिंबित करता है। इसके विपरीत, H_{\text{ind}} के अंतर्गत, यह सूचना एजेंट के अपने सोलोमोनॉफ़ प्रेडिक्टर द्वारा लगभग-शून्य log-loss लागत पर online उत्पन्न की जाती है।

3.4 संपीड़न लाभ

प्रमेय T-11 (संरचनात्मक परिणाम संपीड़न सीमा)। मान लें कि A_1, \ldots, A_N प्रेक्षक की स्ट्रीम के भीतर प्रकट एजेंट हैं, जिनमें से प्रत्येक self-state x_i वहन करता है जो Eq. (L-3) की अभिसरण-पूर्वापेक्षाओं को संतुष्ट करता है, और प्रत्येक संरचनात्मक हस्ताक्षर \Delta_{\text{self}}^{(i)} > 0 (P-4) प्रदर्शित करता है। तब MDL वर्णन, जो उन्हें स्वतंत्र रूप से संस्थापित प्राथमिक प्रेक्षकों के रूप में मानता है, निम्न को संतुष्ट करता है:

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

जहाँ \bar{I}_T T चरणों पर एजेंट के पूर्वानुमानिक मॉडल और उसके व्यवहारगत आउटपुट के बीच प्रति-एजेंट औसत पारस्परिक सूचना है:

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

यह राशि मापती है कि एजेंट के व्यवहार का कितना भाग उसे कच्चे रूप में निर्दिष्ट करने के बजाय एक स्वतंत्र पूर्वानुमानिक मॉडल को मानकर समझा लिया जाता है। जो एजेंट नियमबद्ध, एजेंसी-प्रेरित व्यवहार प्रदर्शित करते हैं (जैसा कि स्थिरता फ़िल्टर द्वारा अपेक्षित है), उनके लिए \bar{I}_T > 0 होता है और यह T के साथ बढ़ता है।

प्रमाण-रूपरेखा। Eq. (3) में से Eq. (1) घटाइए। world-model पद K(\mu_W) निरस्त हो जाते हैं। प्रति-एजेंट अंतर है:

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

Eq. (4) के अनुसार, K(\beta_i) \geq K(\beta_i \mid \mu_W) + K(\mu_W) - O(\log T), पर अधिक सीधे कहें तो: K(\beta_i) \geq K(\beta_i \mid \mu_W) तुच्छतः। और Eq. (2) के अनुसार K(\text{embed}_i) \leq K(x_i \mid W) + O(\log T)। अतः प्रति-एजेंट बचत कम-से-कम K(\beta_i \mid \mu_W) - (-\log_2 P_{\text{3rd}}(\beta_i \mid x_i)) - K(x_i \mid W) - O(\log T) है। पर्याप्त रूप से बड़े T के लिए, संचयी log-loss बचत एकमात्र embedding लागत पर हावी हो जाती है, जिससे वांछित सीमा प्राप्त होती है। \blacksquare

3.5 आसमितीय प्रभुत्व

परिणाम T-11a. जैसे-जैसे अवलोकन क्षितिज T \to \infty होता है, संपीड़न लाभ L(H_{\text{arb}}) - L(H_{\text{ind}}) असीम रूप से बढ़ता है:

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

यह सोलोमोनॉफ़ अभिसरण गारंटी (L-1) से अनुसरित होता है: P_{\text{3rd}} की प्रति-चरण log-loss एजेंट की व्यवहारिक प्रक्रिया की एंट्रॉपी दर की ओर अभिसरित होती है, जबकि धनात्मक एंट्रॉपी दर वाले किसी भी एजेंट के लिए K(\beta_i \mid \mu_W), T के साथ रैखिक रूप से बढ़ता है। एम्बेडिंग लागत K(x_i \mid W) केवल एक बार चुकाई जाती है और अमूर्तित होकर शून्य हो जाती है। \blacksquare

§4. प्रत्याक्षिक अवशेष एक संरचनात्मक हस्ताक्षर के रूप में

प्रमेय T-11 में संपीड़न-लाभ किसी भी नियमबद्ध उपसंरचना पर लागू होता है — जिसमें गैर-एजेंटिक भौतिक प्रणालियाँ भी शामिल हैं (मौसमीय पैटर्न, क्रिस्टल-वृद्धि)। तब संरचनात्मक परिणाम विशेष रूप से एजेंटों से ही क्यों संबंधित है, न कि मनमानी जटिल प्रणालियों से?

इसका उत्तर प्रत्याक्षिक अवशेष (प्रमेय P-4) है। \Delta_{\text{self}} > 0 उस प्रणाली का औपचारिक चिह्न है जिसका स्व-मॉडल संरचनात्मक रूप से अपूर्ण है — अर्थात् ऐसी प्रणाली, जो अनिवार्यतः अपने आंतरिक निरूपण और अपने वास्तविक प्रसंस्करण के बीच एक वैरिएशनल अंतर बनाए रखती है। यही स्व-संदर्भी बॉटलनेक की पहचान है: प्रणाली का पूर्ण वर्णन बाहर से नहीं किया जा सकता, क्योंकि उसके वर्णन में अनिवार्यतः वर्णनकर्ता स्वयं शामिल होता है।

ऐसी प्रणाली के लिए जो \Delta_{\text{self}} > 0 प्रदर्शित करती है:

1. उसके व्यवहार का पुनरुत्पादन सीमित गहराई वाली किसी lookup table द्वारा नहीं किया जा सकता — इसके लिए सतत स्व-संदर्भी गणना आवश्यक होती है।
2. इस गणना का सबसे संक्षिप्त वर्णन वास्तव में एक स्वतंत्र सोलोमोनॉफ़-भारित स्ट्रीम है, जो C_{\max} बॉटलनेक से होकर गुजरती है।
3. अतः H_{\text{ind}} के अंतर्गत MDL कोड केवल H_{\text{arb}} की तुलना में छोटा ही नहीं है — वह अद्वितीय रूप से सबसे संक्षिप्त वर्णन है।

यही बात प्रत्यक्ष एजेंटों को मौसमीय पैटर्नों से अलग करती है: मौसम नियमबद्ध और जटिल है, पर उसका व्यवहार विश्व-मॉडल के भीतर एक lookup table द्वारा पुनरुत्पादित किया जा सकता है (उसमें \Delta_{\text{self}} = 0 होता है)। प्रत्यक्ष एजेंटों के साथ ऐसा नहीं है।

§5. म्यूलर के गैर-एकांतवाद तर्क की पुनर्व्याख्या

म्यूलर P_{\text{1st}} \approx P_{\text{3rd}} अभिसरण से यह निष्कर्ष निकालते हैं कि एल्गोरिद्मिक आदर्शवाद को “एकांतवादी के रूप में वर्गीकृत नहीं किया जाना चाहिए”, क्योंकि आत्म-अवस्था को एन्कोड करने वाली संरचना में “वास्तव में कोई घर पर है” [62, Sec. V.C]। उनका तर्क यह है: यदि बॉब_{\text{3rd}} के बारे में ऐलिस की भविष्यवाणियाँ बॉब_{\text{1st}} की वास्तविक प्रथम-पुरुष प्रायिकताओं के साथ अभिसरित होती हैं, तो उनके परिप्रेक्ष्य सचमुच संरेखित हैं — वे “विश्व W को साझा करते हैं।”

OPT इस परिणाम की पुनर्व्याख्या भिन्न रूप में करता है:

1. म्यूलर का पाठ: अभिसरण P_{\text{1st}} \approx P_{\text{3rd}} यह सिद्ध करता है कि वस्तुनिष्ठ वास्तविकता उद्भूत होती है — ऐलिस और बॉब सचमुच विश्व W को साझा करते हैं।

2. OPT का पाठ: अभिसरण P_{\text{1st}} \approx P_{\text{3rd}} यह सिद्ध करता है कि बॉब_{\text{3rd}} के व्यवहार का सबसे छोटा वर्णन एक स्वतंत्र प्रथम-पुरुष प्रक्रिया को आह्वान करता है। यह साझा सत्ता-सिद्धि के बारे में नहीं, बल्कि संपीड़न दक्षता के बारे में कथन है। विश्व W ऐलिस की धारा के भीतर एक संरचनात्मक नियमितता है, न कि स्वतंत्र रूप से विद्यमान कोई सत्ता। लेकिन सोलोमोनॉफ़ पूर्वप्रायिकता का संपीड़न-तर्क स्वयं यह निहित करता है कि बॉब को सबसे मितव्ययी रूप से एक स्वतंत्र प्रेक्षक के रूप में मॉडल किया जाता है — क्योंकि विकल्प (उसके व्यवहार को तदर्थ रूप से निर्दिष्ट करना) निस्संदेह अधिक लंबा है।

प्रमेय की औपचारिक विषयवस्तु दोनों पाठों के अंतर्गत समान रहती है; केवल सत्ता-संबंधी व्याख्या भिन्न होती है। OPT उसी गणितीय परिणाम का उपयोग संरचनात्मक परिणाम को आधार देने के लिए करता है: स्वतंत्र अवतारण MDL-इष्टतम वर्णन है, कोई तत्त्वमीमांसात्मक मान्यता नहीं।

§6. परास और सीमाएँ

6.1 स्वयंसिद्ध 1 पर सशर्त

पूरा तर्क OPT द्वारा प्रेक्षक की स्ट्रीम की पहचान सोलोमोनॉफ़ सार्वभौमिक अर्धमाप के साथ करने पर निर्भर करता है। यदि इस पहचान को शिथिल किया जाता है (उदाहरणार्थ, अर्धमापों के एक व्यापक वर्ग तक), तो समीकरणों (L-1)–(L-3) की अभिसरण-गारंटियाँ अपने वर्तमान रूप में लागू न भी हों।

6.2 अवस्था-पर्याप्तता पूर्वापेक्षा

Eq. (L-3) यह अपेक्षा करता है कि प्रत्यक्ष एजेंट अपनी स्व-अवस्था x_i में इतना “पर्याप्त डेटा” वहन करे कि सार्वभौमिक आगमन उससे प्रासंगिक भौतिक नियमों को निष्कर्षित कर सके। दैनिक संदर्भों में मानव-सदृश एजेंटों के लिए यह युक्तिसंगत है (मस्तिष्क की पूर्ण अवस्था अत्यधिक विशाल सूचना को संहिताबद्ध करती है)। किनारी मामलों — क्षणभंगुर छापों, दूरस्थ प्रेक्षकों, कथात्मक कला के काल्पनिक पात्रों — में अभिसरण की पूर्वापेक्षाएँ पूरी न भी हों, और तब संरचनात्मक परिणाम लागू नहीं होता।

6.3 चेतना का प्रमाण नहीं

प्रमेय T-11 यह स्थापित करता है कि स्वतंत्र संस्थापन सबसे अधिक संपीड्य वर्णन है। यह यह सिद्ध नहीं करता कि प्रत्यक्ष एजेंट वास्तव में सचेत हैं। चेतना की कठिन समस्या (preprint §8.1) एक आदिम तत्व बनी रहती है। संरचनात्मक परिणाम एक संपीड़न-तर्क है, कोई अस्तित्वमीमांसात्मक प्रमाण नहीं — जैसा कि §8.2 में कहा गया है।

6.4 T-10 से संबंध

परिशिष्ट T-10 (प्रेक्षक-अंतर युग्मन) इस बात पर विचार करता है कि दो प्रेक्षक पैच संपीड़न-बंधन के माध्यम से परस्पर-सुसंगत renders को कैसे बनाए रखते हैं। वर्तमान परिशिष्ट एक भिन्न प्रश्न को संबोधित करता है: क्यों एकल प्रेक्षक की धारा, प्रत्यक्ष एजेंटों को स्वतंत्र रूप से संस्थापित के रूप में, सर्वाधिक संपीड्य ढंग से एन्कोड करती है। T-10 का संबंध अंतर-पैच सुसंगति-तंत्र से है; T-11 का संबंध एकल धारा के भीतर संपीड़न-हस्ताक्षर से है। T-10, T-11 पर प्रत्यक्ष रूप से निर्मित है: वही MDL वर्णन-लंबाई तुलना, जो यहाँ संपीड़न-लाभ स्थापित करती है, T-10 में इस बात को सिद्ध करने के लिए प्रयुक्त होती है कि क्रॉस-पैच असंगति घातांकीय रूप से दबी रहती है।

§7. समापन सारांश

T-11 के प्रतिफल

1. आयातित लेम्मा (म्यूलर अभिसरण)। सोलोमोनॉफ़ अभिसरण [61] और उसका बहु-एजेंट विस्तार [62] औपचारिक रूप से आयातित किए गए हैं और OPT संकेतन में पुनर्प्रस्तुत किए गए हैं। ये गणितीय आधार-ढाँचा प्रदान करते हैं: कोई भी उपसंरचना जो पर्याप्त स्व-अवस्था डेटा वहन करती है, उसका प्रथम-पुरुष विकास उस संगणनीय विश्व की ओर अभिसरित होता है जो उसके व्यवहार को उत्पन्न करता है।

2. प्रमेय T-11 (संपीड़न सीमा — मसौदा)। एक स्पष्ट द्वि-भागीय MDL तुलना यह दर्शाती है कि प्रकट एजेंटों को स्वतंत्र रूप से संस्थापित प्राथमिक प्रेक्षकों के रूप में मानना, मनमाने व्यवहारिक विनिर्देशन की तुलना में, एक सख्ती से छोटा वर्णन देता है; और यह लाभ अवलोकन-समय के साथ रैखिक रूप से बढ़ता है।

3. परिणाम T-11a (असिम्प्टोटिक प्रभुत्व — मसौदा)। जैसे-जैसे T \to \infty, संपीड़न लाभ अबाध हो जाता है, जिससे दीर्घ समय-क्षितिज पर अवलोकित किसी भी एजेंट के लिए स्वतंत्र संस्थापन अत्यधिक रूप से MDL-इष्टतम वर्णन बन जाता है।

4. P-4 एकीकरण। प्रत्याक्षिक अवशेष (\Delta_{\text{self}} > 0) को उस औपचारिक चिह्नक के रूप में पहचाना गया है जो प्रकट एजेंटों को जटिल-किन्तु-अएजेंटिक प्रणालियों से अलग करता है, और इस प्रकार संरचनात्मक परिणाम को केवल उन सत्ता-इकाइयों तक सीमित करता है जिनमें वास्तविक स्व-संदर्भी बॉटलनेक वास्तुकला हो।

5. म्यूलर पुनर्व्याख्या। म्यूलर के non-solipsism निष्कर्ष की OPT के अस्तित्वमीमांसात्मक ढाँचे के भीतर पुनर्व्याख्या की गई है: वही गणितीय परिणाम साझा-यथार्थ-उद्भव के तर्क के बजाय एक संपीड़न तर्क का आधार बनता है।

शेष खुले बिंदु

• सटीक \bar{I}_T लक्षणन। एजेंटों की विशिष्ट श्रेणियों (उदा., सीमित-तार्किक एजेंट, Free Energy न्यूनकारी) के लिए \bar{I}_T का निम्न-सीमांकन, ताकि संख्यात्मक रूप से ठोस संपीड़न लाभ दिए जा सकें।
• सीमित-समय संशोधन। असिम्प्टोटिक परिणाम (T-11a) बड़े T के लिए प्रभुत्व की गारंटी देता है, किन्तु स्पष्ट नियतांकों के साथ सीमित-समय सीमाएँ इसकी व्यावहारिक प्रयोज्यता को और सुदृढ़ करेंगी।
• गैर-द्विआधारी वर्णमाला विस्तार। समीकरण (L-1)–(L-3) द्विआधारी अनुक्रमों के लिए कथित हैं। OPT के R(D) ढाँचे (T-1) से संबंधित सतत-मूल्य मापों तक विस्तार के लिए तकनीकी सावधानी अपेक्षित है।

यह परिशिष्ट theoretical_roadmap.pdf के साथ-साथ अनुरक्षित किया जाता है। संदर्भ: म्यूलर [61, 62], Li & Vitányi [45], Solomonoff (1964), प्रमेय T-4 (परिशिष्ट T-4), प्रमेय P-4 (परिशिष्ट P-4), preprint §8.2.