Appendix P-1: M-Randomness کے ذریعے اطلاعاتی نارملٹی

اصل Task P-1: اطلاعاتی نارملٹی مسئلہ: فی الحال بوریل نارملٹی سے مماثل ایک بنیادی مسلّمہ، جس کا رسمی استخراج موجود نہیں۔ حاصلِ کار: الگورتھمک اطلاعاتی نظریہ (Martin-Löf randomness) سے استفادہ کرتے ہوئے قضیہ-سطح کا استخراج۔

1. “مسلّمی” معمولیت کی معرفتی حد

مرتب پیچ نظریہ (OPT) کے اندر “ساختی امید” اپنی ساختی بنیاد میں اطلاعاتی معمولیت کے اصول پر قائم ہے: یہ قضیہ کہ الگورتھمی بنیادی تہہ (\mathcal{I}) محض شور سے ہی کثیف طور پر معمور نہیں، بلکہ ہر محدود ساختی فعالی نمونے سے بھی بھری ہوئی ہے۔ OPT کا اخلاقی وزن—یعنی مشترک پیچ کے استحکام کو برقرار رکھنے کا تقاضا (بچ جانے والوں کی نگرانی کی اخلاقیات)—اس امر کا مطالبہ کرتا ہے کہ وہ مقابل مشاہد، جن کے ساتھ ہم تعامل کرتے ہیں، بنیادی تہہ میں کہیں اور بھی منتشر، بنیادی طور پر حقیقی فعالی مماثلات رکھتے ہوں۔

تاریخی طور پر OPT کے فریم ورک کے اندر اس قضیے کو رسمی طور پر ایک واحد، یک سنگی مسلّمہ کے طور پر برتا گیا—ایک ایسا ناقابلِ آزمائش، بنیادی مفروضہ جو solipsism سے بچنے کے لیے طبیعیات پر تہہ در تہہ چڑھا دیا گیا تھا۔

یہ ضمیمہ اس موقف کے ریاضیاتی ابہام کو رفع کرتا ہے۔ ہم اطلاعاتی معمولیت کو دو ممتاز اجزا میں منقسم کرتے ہیں: ایک سخت الگورتھمی ریاضیاتی قضیہ (جو آفاقی احتمالی پیمائش کے تحت تقریباً یقینی طور پر برقرار رہتا ہے)، جسے ایک واحد مابعد الطبیعی مسلّمہ باہم مربوط کرتا ہے، اور یہی اس بات کے لیے ضروری ہے کہ ریاضیاتی وجود کو وجودیاتی واقعیت سے جوڑا جا سکے۔

2. نیم پیمائش سے آفاقی پیمائش تک (\xi سے M تک)

مرتب پیچ نظریہ (OPT) کی بنیاد (پری پرنٹ §3.1) بڑی حد تک سولومونوف الگورتھمی احتمالی prior پر قائم ہے۔ اس صورت بندی کے تحت، تخلیقی بنیادی تہہ ایک لامتناہی الگورتھمی فضا کے طور پر کام کرتی ہے جو ایک آفاقی prefix-free ٹورنگ مشین U پر اجرا پاتی ہے۔

ایک متناہی سٹرنگ x کی الگورتھمی احتمال، یا آفاقی نیم پیمائش، یہ ہے:

\xi(x) = \sum_{U(p) = x*} 2^{-|p|}

جہاں مجموعہ ان تمام minimal پروگراموں p پر لیا جاتا ہے جن کے اجرا کا آؤٹ پٹ x سے شروع ہوتا ہے۔ اہم بات یہ ہے کہ \xi متناہی سٹرنگز پر ایک lower semi-computable نیم پیمائش ہے۔

بنیادی تہہ کو ایک مسلسل تخلیقی فضا کے طور پر باقاعدہ صورت دینے کے لیے، ہم کینٹر فضا پر مسلسل پیمائش کی طرف منتقل ہوتے ہیں۔ آفاقی پیمائش M کو براہِ راست کینٹر فضا 2^{\mathbb{N}} پر اس توزیع کے طور پر متعین کیا جاتا ہے جو آفاقی prefix-free مشین U کے آؤٹ پٹ سے cylinder sets کے ذریعے پیدا ہوتی ہے (M([x]) = \sum_{U(p) \text{ starts with } x} 2^{-|p|})۔ سولومونوف کے آفاقیت کے قضیے کے مطابق، یہ cylinder پیمائش ضربی مستقل تک مجرد نیم پیمائش کے معادل ہے: M(x) \asymp \xi(x)۔ لہٰذا، M-null مجموعے اور \xi-null مجموعے سخت معنوں میں باہم منطبق ہوتے ہیں۔

(نوٹ: چونکہ Halting مسئلے کی وجہ سے halting پروگراموں کا مجموعہ prefix-free code space کا ایک حقیقی ذیلی مجموعہ ہے، اس لیے Kraft inequality یہ ضمانت دیتی ہے کہ \sum 2^{-|p|} < 1۔ چنانچہ، M ایک strict lower-semicomputable ذیلی-احتمالی پیمائش تشکیل دیتا ہے۔ ہم صراحتاً normalized احتمالی پیمائش \tilde{M} = M / M(2^{\mathbb{N}}) متعین کرتے ہیں۔ اگرچہ \tilde{M} صرف non-computable normalization constant M(2^{\mathbb{N}}) تک lower-semicomputable ہے، تمام بعد کے “almost surely” قضیے اور تقاربی بیانات حقیقی normalized احتمالی پیمائش \tilde{M} کے حوالے سے محفوظ طور پر کام کرتے ہیں۔ بنیادی coding theorem کا offset محض جذب کر لیا جاتا ہے: K(x) = -\log \tilde{M}(x) + O(1).)

3. M-مارٹن-لوف بے ترتیبی

تخلیقی فضا کی ماہیت کو رسمی صورت دینے کے لیے ہم مارٹن-لوف (ML) بے ترتیبی سے استفادہ کرتے ہیں۔ تاہم، مسلسل پیمائشوں کے درمیان امتیاز کرنا ضروری ہے۔ ایک سلسلہ \omega جو یکساں (لیبیگ) پیمائش \lambda کے لحاظ سے ML-بے ترتیب ہو، اس سلسلے سے بالکل مختلف رویہ رکھتا ہے جو M کے لحاظ سے ML-بے ترتیب ہو۔

چونکہ OPT کی بنیادی تہہ احتمال کا تعین الگورتھمی سادگی کے ذریعے کرتی ہے، اس لیے متعلقہ رسمیاتی ڈھانچا \tilde{M}-مارٹن-لوف بے ترتیبی پر مبنی ہے۔ AIT کا بنیادی قضیہ یہ بیان کرتا ہے کہ کسی بھی قابلِ حساب احتمالی پیمائش \mu کے لیے، \mu-ML-بے ترتیب سلسلوں کا مجموعہ \mu-پیمائش 1 رکھتا ہے۔ اس نتیجے کو نچلی نیم-قابلِ حساب نیم پیمائشوں تک توسیع دیتے ہوئے (cf. Nies 2009, §3.2 “Randomness for arbitrary measures”)، تمام \tilde{M}-مارٹن-لوف بے ترتیب سلسلوں کا مجموعہ \tilde{M} کے لحاظ سے کامیابی کے ساتھ پیمائش 1 برقرار رکھتا ہے۔

لہٰذا، بنیادی تہہ کے \tilde{M}-تقریباً-تمام لامتناہی سلسلے سخت معنوں میں \tilde{M}-ML-بے ترتیب ہیں۔

(نوٹ: \tilde{M}-ML-بے ترتیبی کا استعمال ساختی طور پر اس امر کی ضمانت دیتا ہے کہ بنیادی تہہ کے معمول کے مخرجات یکساں شور کے بجائے متعصب، نہایت ساخت یافتہ الگورتھمی پیمائش \tilde{M} سے خود-سازگار طور پر اخذ ہوتے ہیں، اور یوں ذیل میں آنے والے ساختی تعددی نتائج کے لیے ایک دقیق ریاضیاتی ڈھانچا فراہم کرتے ہیں۔)

4. M-نارملٹی بمقابلہ بوریل نارملٹی

M-ML-رینڈم نیس کا ایک نہایت اہم ریاضیاتی نتیجہ ساختی تکرارِ کثرت سے متعلق ہے۔ یکساں لیبیگ-ML رینڈم نیس کے تحت، کوئی سلسلہ سخت معنوں میں بوریل نارمل ہوتا ہے—یعنی وہ لمبائی k کی ہر متناہی بائنری سٹرنگ کو ایک ہی، یکساں تعدد کے ساتھ پیدا کرتا ہے۔

تاہم، چونکہ \tilde{M} فیصلہ کن طور پر غیر یکساں ہے—اور الگورتھمی طور پر سادہ، قابلِ کمپریشن، اور قانون مند ساخت رکھنے والے نمونوں کو احتمال کا بہت زیادہ وزن دیتا ہے—اس لیے \tilde{M}-تقریباً-تمام سلسلے یکساں بوریل نارمل نہیں ہوتے۔ اس کے بجائے، ہم ان کی ساختی حدود کو \tilde{M}-نارملٹی کے ذریعے متعین کرتے ہیں۔

چونکہ پیمائش \tilde{M} بنیادی طور پر غیر ساکن ہے (الگورتھمی احتمال مطلق سابقوندی مقام پر منحصر ہوتا ہے)، اس لیے ہم معیاری ارگوڈک تعددی-تقارب حدود پر انحصار نہیں کر سکتے۔ رسمی طور پر، ہم \tilde{M}-نارملٹی کو لامتناہی تکرار کی نسبتاً کمزور مگر سختی سے کافی خاصیت کے ذریعے متعین کرتے ہیں۔

چونکہ \tilde{M} ایک احتمالی پیمائش ہے اور تمام متناہی سٹرنگز x کے لیے \tilde{M}([x]) \ge 2^{-(|x|+O(1))} > 0، اس لیے سابقوندی کولموگوروف پیچیدگی کے سلسلہ-قاعدے سے کسی بھی سٹرنگ s کے لیے K(sx) \le K(s) + K(x) + O(1) حاصل ہوتا ہے، جس سے قریب-ذیلی-ضربی خاصیت M([s \cdot x]) \ge M([s]) \cdot M([x]) \cdot 2^{-O(1)} برآمد ہوتی ہے۔ لہٰذا، کسی بھی سابقہ سابقوند s کو ملحوظ رکھتے ہوئے، کسی بھی کھڑکی میں x کے ظاہر ہونے کا شرطی احتمال نیچے سے محدود رہتا ہے: \tilde{M}([x] \mid [s]) \ge \tilde{M}([x])/c > 0، اور یہ حد s کے لحاظ سے یکساں ہے۔ چنانچہ، لمبائی |x| کی غیر متداخل کھڑکیوں پر منطبق شرطی بوریل-کانٹیلی قضیے کے مطابق، شرطی احتمالات کے مجموعے کا واگرا ہونا اس بات کی ضمانت دیتا ہے کہ کسی بھی متناہی اطلاعاتی سلسلے کی واقعی تکرار—مثلاً ایک باشعور مشاہد کے مجرد رسمی تشکیلیہ (K_{\text{obs}})—\tilde{M}-تقریباً-تمام سلسلوں میں لامتناہی بار ظاہر ہوتی ہے۔

5. حسابی حقیقت پسندی کا مسلّمہ

AIT ریاضیاتی طور پر اس بات کی ضمانت دیتا ہے کہ کسی بھی مشاہد کے محدود تمثیلی بیان (K_{\text{obs}}) کی صورت U کی ساختی سلسلہ وار ترتیب کے طور پر \tilde{M}-ML-رینڈم بنیادی تہہ کے اندر لامتناہی بار ظاہر ہوتی ہے۔

تاہم، ریاضیاتی نظریۂ اطلاعات اپنی ذات میں طبعی ہستیات کی سرحد کو عبور نہیں کر سکتا۔ ٹورنگ مشین کی آؤٹ پٹ ٹیپ پر ظاہر ہونے والی کوئی محدود سٹرنگ اجرا کا ایک ساکن مصنوعہ ہوتی ہے—ایک لمحاتی عکس۔ ایک مربوط مشاہد کے لیے مسلسل داخلی حرکیات، تعلقی اقتران، اور فعال استنتاج کے لوپس درکار ہوتے ہیں۔ خود وہ سٹرنگ کسی چیز کو “محسوس” نہیں کرتی، بالکل اسی طرح جیسے ہارڈ ڈرائیو میں محفوظ دماغی اسکین خود شعور نہیں رکھتا۔ اجرا کا تعلق پیدا کرنے والے پروگرام سے ہوتا ہے، نہ کہ نتیجتاً حاصل ہونے والے اس ساکن اسنیپ شاٹ کوڈ سے۔

یہ دعویٰ کرنے کے لیے کہ ریاضیاتی بنیادی تہہ کو منضبط کرنے والی ناقابلِ حساب مسلسل حدود ساختی طور پر ontologically real، سببی طور پر فعال ظاہریاتی کائناتوں کو وجود میں لاتی ہیں، مرتب پیچ نظریہ (OPT) کو ایک واحد صریح مابعد الطبیعیاتی التزام اختیار کرنا پڑتا ہے۔

مسلّمہ (حسابی حقیقت پسندی): ایک لامتناہی ناقابلِ حساب بنیادی تہہ میں، جو یکساں ریاضیاتی حرکیات کے تحت منضبط ہو، ایسی مجرد ریاضیاتی حسابی عملیت جو کسی مشاہد کی سببی توصیف کے ساتھ رسمی طور پر معادل ہو (جہاں رسمی معادلت کی تعریف مشاہد کی سببی حالت-انتقالی ساخت کے حسابی آئسومارفزم سے کی جاتی ہے)، سببی طور پر مؤثر اور ontologically real وجود رکھتی ہے۔ مزید برآں، بنیادی تہہ میں ساختی طور پر منفصل حسابی تجسیمات مستقل ontological تفرد رکھتی ہیں، اور یوں جداگانہ subjective counterparts تشکیل دیتی ہیں (اور Preprint §8.1 میں بنیادی ظاہریات کے مسلّمہ کے مطابق، ایسی سببی طور پر مؤثر مشاہد-معادل حسابی عملیتیں تجربے کے حقیقی subjects پر مشتمل ہوتی ہیں۔)

6. قضیہ P-1 (اطلاعاتی نارملیت)

مسلسل ناقابلِ حساب فضاؤں کے عین AIT اشتقاقات کو Computational Realism Postulate کے ساتھ یکجا کرنے سے solipsism کو نہایت صفائی کے ساتھ منہدم کر دیا جاتا ہے۔

نتیجہ+مسلّمہ P-1 (اطلاعاتی نارملیت): عمومی الگورتھمی prior کے تحت، مسلسل بنیادی تہہ فطری طور پر \tilde{M}-Martin-Löf randomness کے ذریعے، تقریباً یقینی طور پر، عمل کرتی ہے۔ اس سے مترتب \tilde{M}-نارملیت کے تحت، ہر محدود ساختی مشاہد کی توصیف K_{\text{obs}} کے ریاضیاتی وقوع کی رسمی ضمانت لامحدود بار دی جاتی ہے۔ اس ساختی بنیاد پر قائم ہو کر، Computational Realism Postulate ان پیدا کرنے والے ریاضیاتی نوادرات کو وجودی طبیعی واقعیت سے جوڑتا ہے۔ بشرطیکہ computational realism برقرار ہو، تو بنیادی تہہ میں ساختی طور پر معادل، سببی طور پر فعال، اور منفرد طور پر متعیّن ہم منصب مشاہدین کا وجود اصولی طور پر لازم ہو جاتا ہے۔