مرتب پیچ نظریہ (OPT)

اصل کام P-2: کوانٹم ایرر کریکشن کے ذریعے ہلبرٹ فضا مسئلہ: بورن قاعدے کے استخراج کے طور پر گلیسن کے قضیے کا حوالہ جزوی طور پر دوری ہے، کیونکہ یہ اس کی توضیح کیے بغیر ہلبرٹ فضا کی ہندسی ساخت کو پیش فرض کر لیتا ہے کہ پیش گوئی فضا آخر اسی صورت کیوں اختیار کرتی ہے۔ حاصلِ کار: ایسا تحلیلی استخراج جو دکھائے کہ ہلبرٹ فضا کی منطقی کیوبٹ ساخت فطری طور پر اس وقت ابھرتی ہے جب کوڈیک ایک ایرر-کریکٹنگ کوڈ کے طور پر عمل کرتا ہے۔

اختتامی حیثیت: مشروط مطابقت۔ یہ ضمیمہ کلاسیکی نظریۂ اطلاعات سے کوانٹم میکانیات تک کے پل کی نقشہ بندی کرتا ہے۔ یہ مرتب پیچ نظریہ (OPT) کے ابتدائیات سے کوانٹم میدانوں کو براہِ راست اخذ نہیں کرتا، بلکہ ایک سخت مشروط ساختی مطابقت قائم کرتا ہے: یعنی بعینہٖ یہ متعین کرتا ہے کہ OPT کے کوڈیک کو کون سی طبعی خصوصیات پوری کرنا ہوں گی تاکہ کوانٹم میکانیات اس سے ابھر سکے۔ ہم اس انتقال کو صریح Bridge Postulates میں الگ کرتے ہیں۔ ان شرائط کے تحت، T-3 میں نقشہ بند کی گئی ساختی ہم شکلیتیں سخت عملگری جبریاتی آئسومیٹریوں میں ارتقا پاتی ہیں، جو مجزا Ryu-Takayanagi حدود (P-2d) کو لازم کرتی ہیں اور بورن قاعدے (P-2e) کو منفرد طور پر الگ کرتی ہیں۔ OPT فریم ورک طبیعیات سے ان مسلمات کا نامیاتی طور پر استخراج بدستور اس نظریے کا مرکزی کھلا مسئلہ ہے۔

§1. الجبری چیلنج

ضمیمہ T-3 میں کلاسیکی OPT معلوماتی بوٹل نیک الگورتھم اور کوانٹم MERA ٹینسر نیٹ ورکس کے درمیان ایک ساختی ہومومارفزم مفروض کیا گیا تھا۔ تاہم، ایک خالص کلاسیکی احتمالی میٹرکس نہ تو کوانٹمی ایمپلی ٹیوڈ حالتوں کو الگ کر سکتا ہے اور نہ ہی یونٹری عملیات انجام دے سکتا ہے۔

کلاسیکی صلاحیتی حدود اور کوانٹمی الجبرا کے درمیان سرحد کو پاٹنے کے لیے مسئلے کو فعلی طور پر نقش کرنا ضروری ہے۔ ہم ان شرائط کو الگ کرتے ہیں جو ایک جزوی آئسومیٹری کو نافذ کرنے کے لیے درکار ہیں۔ کلاسیکی عناصر سے خرد طبیعیاتی کوانٹمی اخذ کا دعویٰ کرنے کے بجائے، ہم ان دقیق شرطی مسلمات کا سراغ لگاتے ہیں جن کے تحت یہ سرحد ایک الجبری کوانٹم فیلڈ تھیوری (AQFT) عامل پر نقش ہوتی ہے اور خطا-درست شدہ ٹوپولوجیکل آئسومیٹریاں پیدا کرتی ہے۔

§2. P-2.0: حسابی اساس میں پیوستگی

میدانی-نظری مفروضات کے اطلاق سے پہلے، مجزّا OPT کلاسیکی حروفِ تہجی \mathcal{Z} کو ریاضیاتی طور پر ایک کوانٹمی حسابی اساس میں نقش کیا جانا لازم ہے۔

پل مفروضہ 0 (حسابی اساس): مجزّا کلاسیکی حالتیں z \in \mathcal{Z} انجیکٹو طور پر ایک متعامد-معیاری حسابی اساس \{|z\rangle\} پر نقش ہوتی ہیں، جو ہدفی ہلبرٹ فضا \mathbb{C}^\chi کو محیط کرتی ہے۔

قضیہ P-2.0: پل مفروضہ 0 کی رو سے، کلاسیکی disentangler permutation matrices U_\tau \in S_{|\mathcal{Z}|} مستقل طور پر ان عین unitary operators تک بلند کی جا سکتی ہیں جو U(\mathbb{C}^\chi) کے permutation ذیلی گروہ پر عمل کرتے ہیں۔

یہ شرط اس مجزّا حروفی ساخت کو محفوظ بناتی ہے جو بعد کے محدود-ابعادی مراحل میں traces کی رسمی جانچ کے لیے درکار ہے۔

§3. P-2a: بیزونانو-وِچمان درجہ بندی

کوڈیک کی سرحد کو فعلیاتی طور پر ایک جبری کوانٹمی افق کے طور پر برتنے کے لیے، بیزونانو-وِچمان درجہ بندی قضیے کے اطلاق کی اجازت دینے کے لیے سخت حدود پوری ہونا ضروری ہیں۔

پل مسلّمہ 1 (CCR): مسلسل سرحدی حد پر مارکوف بلینکٹ کے متغیرات معیاری تبادلی تعلقات کو پورا کرتے ہیں: [\phi(x), \pi(y)] = i\hbar\,\delta(x-y). (یہ اس لیے درکار ہے کہ سرحد کو عامل-قدر کوانٹمی میدان کے طور پر برتا جا سکے)۔

پل مسلّمہ 2 (رنڈلر افق مماثلت): سرحدی افق عالمی لورینتز تقارن رکھتا ہے اور خلا کی حالت میں ایک کوانٹمی میدان پر عمل کرتا ہے، اور ریاضیاتی طور پر ایک معجَّل رنڈلر ویج کے مماثل ہے۔

پل مسلّمہ 3 (ہاگ-کاسٹلر حدود اور Split Property): تسلسل کی تحدیدی الجبرا AQFT کے ہاگ-کاسٹلر نیٹ مسلّمات کی پابندی کرتی ہے: موضعیت، ہم تغیری، اور طیفی توانائی کے مثبت بہاؤ کی خصوصیات۔ مزید برآں، یہ نیٹ AQFT کی split property کو پورا کرتا ہے، جس سے مقامی Type-I عوامل قائم ہوتے ہیں جو محدود بُعدی ذیلی فضاؤں تک تحدید کی اجازت دیتے ہیں۔

قضیہ P-2a (مشروط Type III_1 عامل): پل مسلّمات 1، 2، اور 3 کی رو سے، بیزونانو-وِچمان قضیہ (1975) مشروط طور پر لاگو ہوتا ہے۔ پیدا شدہ modular flow ایک ہندسی لورینتز بوسٹ سے مطابق ہو جاتا ہے۔ کونز درجہ بندی اس بات کی ضمانت دیتی ہے کہ افق کو ساخت دینے والا میدان بعینہٖ ایک Type III_1 فون نوئمان عامل کے طور پر عمل کرتا ہے۔

§4. P-2b: شور-مزاحمت اور ADH نقشہ بندی

عالمی طور پر معین Type III_1 von Neumann factor معیاری محدود-بعدی trace-class density matrices کو قبول نہیں کرتا۔ Almheiri، Dong، اور Harlow (ADH) کے قائم کردہ bulk-boundary duality کا جائزہ لینے کے لیے، ہمیں الجبرا کو محدود کرنا ہوگا۔

پل مسلّمہ 4 (Knill-Laflamme Conditions): کلاسیکی کوڈیک تسلسل اپنی ساخت میں ایک مسلسل Quantum Error-Correcting Code (QECC) تشکیل دیتا ہے جو عین Knill-Laflamme حدود کو پورا کرتا ہے۔

قضیہ P-2b (مشروط ADH ہولوگرافی): BP 4 اور BP 3 کے فراہم کردہ واضح split-property regularization کو ملحوظ رکھتے ہوئے، الجبرا مشروط طور پر مقامی محدود-بعدی منطقی code subspace \mathcal{C}^{(\tau)} میں محدود ہو جاتی ہے۔ اس محدود ذیلی فضا کے اندر، خارجی سرحدی شور Knill-Laflamme mappings کے ذریعے فلٹر ہوتا ہے، اور سرحد پر ایسے مقامی bulk operators بازیافت ہوتے ہیں جو ADH قضیے سے ہم آہنگ ہیں۔

§5. P-2c: محدود اسٹائنسپرنگ ٹریس الجبرا

ڈیٹا کمپریشن کو ریاضیاتی طور پر حل کرنے کے لیے یہ متعین کرنا ضروری ہے کہ کلاسیکی coarse-graining مرحلہ W_\tau کو جزوی آئسومیٹری MERA adjoint نقشہ w_\tau^\dagger کے عمل کے ساتھ شناخت کیا جائے۔

اسٹائنسپرنگ کے توسیعی قضیے کے مطابق، ایک Completely Positive Trace-Preserving (CPTP) نقشہ اس امر کو لازم کرتا ہے کہ ایک عمومی آئسومیٹرک توسیع/بازیابی ساخت V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E موجود ہو۔ یہ عمومی قضیۂ وجود اپنی اصل صورت میں OPT کی کلاسیکی میٹرکس W_\tau کو خود آئسومیٹری کے طور پر متعین نہیں کرتا۔ اس شناخت کے لیے ایک ربطی پل درکار ہے۔

پل مسلّمہ 5 (یونٹری ہم متغیر شور): نقش شدہ چینل پر محیطی شور ایک سختی سے یونٹری-ہم متغیر نقشے کے طور پر متعین ہوتا ہے: \mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger۔

پل مسلّمہ 6 (آئسومیٹری کی شناخت): کلاسیکی coarse-graining میٹرکس W_\tau بعینہٖ CPTP ٹریس-حساب کے طور پر ترجمہ ہوتی ہے، جو عین MERA آئسومیٹری کے adjoint w_\tau^\dagger پر محیط کے اوپر لیا جاتا ہے۔

قضیہ P-2c (شرطی محدود آئسومیٹری): BP 4، BP 5، اور BP 6 کی رو سے، کلاسیکی coarse-graining الگورتھم کامیابی کے ساتھ ایک جزوی خطی آئسومیٹری کے adjoint کے طور پر نقش ہوتا ہے۔ طریقِ اثبات: محدود code ذیلی فضا پر عین QEC (BP 4) عمومی بازیافت پذیری فراہم کرتا ہے۔ اس کے بجائے کہ یہ دعویٰ کیا جائے کہ توسیع خود بخود inner-product کی تکافؤ کو نافذ کرتی ہے، BP 6 اس خلا کو صراحت کے ساتھ پُر کرتا ہے، اور یہ مسلّمہ قائم کرتا ہے کہ کلاسیکی میٹرکس بعینہٖ کوانٹمی توسیع کے trace جزو کے طور پر ترجمہ ہوتی ہے۔ لہٰذا، محدود-ابعادی code ذیلی فضا پر، کلاسیکی نقشہ عملی طور پر ہدفی MERA آئسومیٹری کے adjoint کے طور پر عمل کرتا ہے۔

§6. P-2d: ریو-تاکایاناگی اور شمٹ رینک

کلاسیکی مرتب پیچ نظریہ (OPT) فریم ورک مسلسل چینل صلاحیتوں کو اس نقشہ بندی تک محدود کرتا ہے جس کی حدیں \chi_\text{classical} = 2^{B_0/N} ہیں۔ ایک مسلسل مؤثر پیمانے کے بجائے ایک معتبر عین ہلبرٹ خلائی بُعد کے طور پر کارآمد ہونے کے لیے، ہدفی نقشہ بندی صراحتاً صحیح عددی صلاحیت کی یہ شرط عائد کرتی ہے کہ 2^{B_0/N} \in \mathbb{Z}^+۔

قضیہ P-2d (مشروط ریو-تاکایاناگی حد): اگر P-2c کی وہ کامیاب تحقق پذیری فرض کی جائے جو عملیات کو عین خطی آئسومیٹریوں تک محدود کرتی ہے، تو کلاسیکی صلاحیتی بُعد (\chi_\text{classical}) رسمی طور پر نیٹ ورک بندشوں کے پار کوانٹمی شمٹ رینک (\chi_\text{quantum}) کو قائم کرتا ہے۔ یہ تکافؤ سختی کے ساتھ غیر مسلسل ریو-تاکایاناگی اینٹروپی حد پیدا کرتا ہے۔

برہان کا طریقۂ کار: جب کلاسیکی میٹرکس کو مشروط طور پر ایک حقیقی جزوی آئسومیٹری (P-2c) کے طور پر شناخت کر لیا جائے، تو نقشہ بند چینل کا بُعد ان مجازی ہندسی بندشوں کو محدود کرتا ہے جو MERA نوڈز کو باہم ملاتی ہیں۔ کوانٹمی حالت میں، کسی بھی ٹوپولوجیکل سرحد کے پار زیادہ سے زیادہ دو-جزوی الجھاؤ کو کم سے کم قطع \gamma_A کے ذریعے صراحتاً ساخت دی جاتی ہے، جبکہ ہر قطع پر مقامی ہلبرٹ خلائی بُعد اس بندش کے شمٹ رینک سے متعین ہوتا ہے۔ چونکہ رکاوٹی صلاحیت اسی رینک کا تعین کرتی ہے (\chi_\text{classical} = \chi_\text{quantum})، اس لیے ہندسی الجھاؤ رسمی طور پر کم سے کم قطعات کے پار سختی سے محدود ہوتا ہے: S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. ٹوپولوجیکل ہم آہنگی اور گلیسن ٹریسز

Born Rule کی تخلیق کے لیے شماریاتی قطری احتمالات سے آگے بڑھنا اور غیر قطری فریمز \rho_{zz'} کو الگ کرنا ضروری ہے۔

Bridge Postulate 7 (Kochen-Specker Non-Contextuality): پیش گوئیاتی آؤٹ پٹ شاخ کے ساتھ وابستہ احتمالی انتساب، دیگر باہم قابلِ پیمائش عمودی راستوں سے مستقل رہتا ہے۔

Theorem P-2e (Conditional Born Rule Formulation): BP 7 کی رو سے، اور یہ فرض کرتے ہوئے کہ OPT الگورتھمز کی جانب سے منسوب پروجیکٹو احتمالات مکمل ریاضیاتی frame functions تشکیل دیتے ہیں، گلیسن کا قضیہ شرطی طور پر Born Rule اخذ کرتا ہے۔

Proof approach: محدود منفصل اساس فضا کی اسکیلنگ سے قائم ہونے والی کم از کم بُعدی پابندیاں فطری طور پر \dim(H) \ge 3 کو پورا کرتی ہیں۔ اگر یہ مان لیا جائے کہ احتمالی پیش گوئیاتی ساختیں ایک مکمل frame function \mu(P) کی ریاضیاتی شرائط پوری کرتی ہیں جس کا مجموعہ 1 بنتا ہے، تو گلیسن کا قضیہ (1957) بیان کرتا ہے کہ فضا کی نقشہ بندی کرنے والی صرف ایک ہی معتبر احتمالی پیمائش موجود ہے: \mu(P) = \text{tr}(\rho_t\, P) یہ نتیجہ Born Rule trace کو بالخصوص پیدا کرتا ہے، اور احتمالی کوانٹمی میٹرکس نقشہ بندیِ انتقال کی شرطی توثیق کرتا ہے۔

یہ ضمیمہ OPT منصوبے کے repository میں theoretical_roadmap.pdf کے ساتھ برقرار رکھا جاتا ہے۔ مراجع: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).