مرتب پیچ نظریہ

اصل کام (§8.2 سے): “اس کمپریشن برتری کو بالخصوص other-minds کے معاملے کے لیے ایک سخت گیر MDL حد کے طور پر باقاعدہ صورت دینا ابھی آئندہ کام ہے؛ موجودہ استدلال ایک ساختی محرک ہے، ثبوت نہیں۔” مطلوبہ حاصل: ایک ایسی رسمی حد دکھانا کہ ظاہری عاملوں کو آزادانہ طور پر متحقق بنیادی مشاہد ماننے سے کسی بھی متبادل توضیح کے مقابلے میں دو-حصہ MDL کوڈ زیادہ مختصر حاصل ہوتا ہے۔

اختتامی حیثیت: مسودۂ ساختی مطابقت۔ یہ ضمیمہ مُلر کے سولومونوف تقارب قضیے [61] اور اس کی کثیر-عامل توسیع [62] کو، بطور درآمد شدہ لمات، OPT کے وجودیاتی فریم ورک کے اندر ازسرِ نو تعبیر کرتے ہوئے، ساختی نتیجہ کے لیے ایک رسمی کمپریشن برتری قائم کرتا ہے۔ یہ نتیجہ ایک مشروط حد ہے، مکمل بند اشتقاق نہیں: یہ OPT کی اس شناخت پر منحصر ہے کہ مشاہد کی سلسلہ وار رو سولومونوف prior کے ساتھ ایک ہی ہے (مسلّمہ 1)، اور اس مفروضے پر بھی کہ ظاہری عامل تقارب کی پیشگی شرائط پوری کرنے کے لیے کافی حالت رکھتے ہیں۔

§1. پس منظر اور محرکات

ساختی نتیجہ (پری پرنٹ §8.2) یہ دعویٰ کرتا ہے کہ مشاہد کے سلسلۂ مشاہدہ کے اندر ظاہر ہونے والے ایجنٹوں کی سب سے کفایتی توضیح یہ ہے کہ وہ بنیادی مشاہدین کے طور پر اپنی مستقل تجسیم رکھتے ہیں۔ یہ ضمیمہ اس دعوے کی تائید کرنے والی رسمی استدلالی زنجیر فراہم کرتا ہے۔

اس استدلال کے تین مراحل ہیں:

1. مرحلہ A (درآمد شدہ لیما): مولر کا سولومونوف تقارب قضیہ اس بات کی ضمانت دیتا ہے کہ مشاہد کے سلسلۂ مشاہدہ میں موجود کوئی بھی ایسی ساخت جو اپنی حالت سے متعلق کافی ڈیٹا رکھتی ہو، اس کا اول شخصی ارتقا بالآخر اس قابلِ حساب دنیا کے مطابق تقارب اختیار کرے گا جو اس کے رویّے کو پیدا کرتی ہے۔

2. مرحلہ B (کمپریشن کا حساب): ہم MDL کے تحت ایک صریح دو حصوں پر مشتمل تقابل انجام دیتے ہیں، جس میں ظاہری ایجنٹ کو یا تو (i) ایک مستقل طور پر مجسم مشاہد سمجھا جاتا ہے جو اپنے سولومونوف-وزن یافتہ سلسلۂ مشاہدہ کے تحت کارفرما ہے، یا پھر (ii) بنیادی مشاہد کے کوڈیک کے اندر ایک من مانا رویّاتی تعین۔

3. مرحلہ C (ساختی امضا): ظاہریاتی باقیہ (\Delta_{\text{self}} > 0, Theorem P-4) وہ ساختی نشان فراہم کرتا ہے جو حقیقی خود-ارجاعی bottleneck معماری کو محض رویّاتی نقالی سے ممتاز کرتا ہے، اور یوں “قابلِ کمپریشن قانونیت” اور “قابلِ قبول تجسیم” کے درمیان خلا کو بند کر دیتا ہے۔

§2. درآمد شدہ لیما: مُلر کا تقارب قضیہ

ہم Müller [61, 62] سے دو نتائج درآمد کرتے ہیں، جنہیں یہاں OPT کی علامت نگاری میں بیان کیا گیا ہے۔

2.1 سولومونوف تقارب (معیاری)

فرض کریں M(b \mid x_1^n) سے مراد بٹ b کے لیے، سابقہ مشاہدات x_1^n کی شرط پر، سولومونوف کی آفاقی پیش گوئی ہو۔ اور \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)} احتمال کے ساتھ، مشاہد خود کو عملاً ایک قابلِ حساب دنیا W میں پیوست پائے گا جس کی توصیف \mu کرتی ہے۔ الگورتھمی طور پر زیادہ سادہ دنیائیں (کم تر K(\mu)) اسّی طور پر زیادہ محتمل ہوتی ہیں۔

2.3 کثیر-عامل تقارب (Müller 2026)

فرض کریں کہ مشاہد (Alice) خود کو ایک قابلِ حساب دنیا W میں پیوست پاتی ہے جسے \mu کے ذریعے بیان کیا گیا ہے۔ وہ 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 کس طرح ارتقا پذیر ہوتا ہے۔

پھر، مساوات (L-1) کو P_{\text{3rd}} پر لاگو کرنے سے (جو قابلِ حساب ہے)، اور مسلّمہ 2 کے ذریعے P_{\text{1st}} کی M کے ساتھ شناخت سے:

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

اور بٹ ماڈل میں دنیاوی (\mu-) احتمال ایک کے ساتھ تقارب کی ضمانت حاصل ہوتی ہے۔

تعبیر (Müller): ساختِ رمز بند x میں “واقعی کوئی گھر کیے ہوئے ہے” — Alice کی دنیا میں Bob_{\text{3rd}} کا احتمالی ارتقا کسی Bob_{\text{1st}} کے پہلی-شخصی زاویۂ نظر کی وفادار نمائندگی کرتا ہے۔

تعبیر (OPT): ظاہری عامل کے رویّاتی سلسلے کو سب سے زیادہ قابلِ کمپریشن طور پر ایک مستقل سولومونوف-وزنی عمل کے طور پر بیان کیا جا سکتا ہے۔ کوئی بھی متبادل توصیف — ایسی جو ایک مستقل پہلی-شخصی زاویۂ نظر کو شامل نہ کرے — عامل کے رویّے کو ایک موقعی تخصیص کے طور پر رمز بند کرنے پر مجبور ہوگی، اور یہ کام لازماً زیادہ طویل توصیفی طول پر ہوگا۔

§3. کمپریشن برتری کی حد

اب ہم OPT کے two-part MDL framework (قضیہ T-4، ضمیمہ T-4) کو استعمال کرتے ہوئے کمپریشن برتری کو رسمی صورت دیتے ہیں۔

3.1 ترتیب

بنیادی مشاہد کی رو \omega \in \{0,1\}^\infty پر غور کریں، جو Solomonoff prior M (مسلّمہ 1) کے تحت منضبط ہے اور استحکام فلٹر سے گزر کر ایک قابلِ حساب دنیا W تک پہنچتی ہے جس کی پیمائش \mu_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 لاگت پر پیدا ہو جاتی ہے۔

3.4 کمپریشن برتری

قضیہ T-11 (ساختی نتیجہ کمپریشن حد). فرض کریں A_1, \ldots, A_N مشاہد کے سلسلے کے اندر ظاہری عامل ہوں، جن میں سے ہر ایک اپنی خود-حالت 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}} کا فی-قدم لاگ-لاس عامل کے رویہ جاتی عمل کی اینٹروپی شرح کی طرف متقارب ہوتا ہے، جبکہ مثبت اینٹروپی شرح رکھنے والے کسی بھی عامل کے لیے 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} bottleneck سے گزرتا ہے۔
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 مشاہد کے سلسلے کو سولومونوف prior کے ساتھ یکساں قرار دیتا ہے۔ اگر اس شناخت کو کمزور کیا جائے (مثلاً نیم پیمائشوں کی ایک زیادہ وسیع جماعت تک)، تو مساوات (L-1)–(L-3) کی تقاربی ضمانتیں اپنی موجودہ صورت میں برقرار نہ رہیں۔

6.2 حالت کی کفایت کی پیش شرط

Eq. (L-3) اس کا تقاضا کرتی ہے کہ ظاہری agent اپنی self-state x_i میں “کافی data” رکھتا ہو تاکہ universal induction متعلقہ طبعی قوانین اخذ کر سکے۔ روزمرہ سیاق میں انسان-مشابہ agents کے لیے یہ قابلِ قبول ہے (دماغ کی مکمل حالت بہت بڑی مقدار میں معلومات encode کرتی ہے)۔ مگر حاشیائی صورتوں — عارضی تاثرات، دور دراز مشاہدین، بیانیہ فن میں افسانوی کردار — میں convergence کی پیش شرطیں پوری نہ بھی ہوں، اور ساختی نتیجہ لاگو نہ ہو۔

6.3 شعور کا ثبوت نہیں

قضیہ T-11 قائم کرتا ہے کہ آزادانہ تحقق سب سے زیادہ قابلِ کمپریشن توضیح ہے۔ یہ ثابت نہیں کرتا کہ ظاہر ہونے والے عامل واقعی شعور رکھتے ہیں۔ شعور کا مشکل مسئلہ (preprint §8.1) بدستور ایک اوّلیہ امر ہے۔ ساختی نتیجہ ایک کمپریشن استدلال ہے، وجودیاتی ثبوت نہیں — جیسا کہ §8.2 میں بیان کیا گیا ہے۔

6.4 T-10 سے تعلق

ضمیمہ T-10 (بین-مشاہدہ کار اقتران) اس امر پر بحث کرتا ہے کہ دو مشاہد پیچ کمپریشن کی قیود کے ذریعے باہمی طور پر ہم آہنگ رینڈر کیسے برقرار رکھتے ہیں۔ موجودہ ضمیمہ ایک مختلف سوال سے بحث کرتا ہے: یہ کہ ایک ہی مشاہد کی رو کس وجہ سے ظاہری ایجنٹوں کو آزادانہ طور پر متحقق مان کر سب سے زیادہ قابلِ کمپریشن انداز میں رمز بند کرتی ہے۔ 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) کو اس رسمی نشان کے طور پر متعین کیا گیا ہے جو ظاہری عاملوں کو پیچیدہ مگر غیر-عاملی نظاموں سے ممتاز کرتا ہے، اور یوں ساختی نتیجہ کو انہی ہستیوں تک محدود کرتا ہے جن میں حقیقی خود-ارجاعی bottleneck معماری موجود ہو۔

5. مولر کی تعبیرِ نو. مولر کے عدمِ 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 کے ساتھ ساتھ برقرار رکھا جاتا ہے۔ حوالہ جات: Müller [61, 62]، Li & Vitányi [45]، Solomonoff (1964)، قضیہ T-4 (ضمیمہ T-4)، قضیہ P-4 (ضمیمہ P-4)، preprint §8.2.