Good Quantum Locally Testable Codes from Lossless Cubical Complexes

आधुनिक संचार की शांत, अदृश्य वास्तुकला में, त्रुटि-सुधार कोड (error-correcting codes) हमारी डिजिटल दुनिया के अनकहे संरक्षकों के रूप में कार्य करते हैं। ये वे गणितीय प्रणालियाँ हैं जो यह सुनिश्चित करती हैं कि शोर वाले चैनल (noisy channel) के माध्यम से भेजा गया संदेश, भले ही उसका कुछ हिस्सा विकृत या लुप्त हो गया हो, अक्षुण्ण पहुंचे। दशकों से, शोधकर्ता इन कोडों को यथासंभव कुशल बनाने का प्रयास कर रहे हैं, ताकि सटीकता की गारंटी देने के लिए आवश्यक अतिरिक्त बिट्स की संख्या न्यूनतम हो। इस क्षेत्र में एक बड़ी सफलता तब आई जब यह महसूस किया गया कि एक कोड की शक्ति अक्सर इस बात पर निर्भर करती है कि उसके हिस्से आपस में कैसे जुड़े हुए हैं। यदि सूचना के टुकड़ों के बीच के संबंध इस तरह व्यवस्थित हैं कि वे त्रुटियों को तेजी से फैला सकें, तो कोड सुदृढ़ हो जाता है। यह विचार, जिसे 'एक्सपेंशन' (expansion) के रूप में जाना जाता है, संक्षिप्त और शक्तिशाली शास्त्रीय कोड बनाने की कुंजी रहा है।

हालाँकि, क्वांटम कंप्यूटिंग के उदय ने एक नई और कहीं अधिक नाजुक चुनौती पेश की है। क्वांटम सूचना केवल शून्य और एक की एक श्रृंखला नहीं है; यह सुपरपोजिशन (superposition) की एक नाजुक अवस्था में मौजूद होती है जो विक्षोभ होने पर ढह जाती है। इसकी सुरक्षा के लिए एक अलग प्रकार के कोड की आवश्यकता होती है, जो सूचना को नष्ट किए बिना त्रुटियों का पता लगा सके और उन्हें ठीक कर सके। लंबे समय तक, सर्वोत्तम क्वांटम कोड या तो व्यावहारिक रूप से बहुत बड़े थे या उनमें डेटा के सही होने की पुष्टि तेजी से करने की क्षमता का अभाव था। शोधकर्ताओं के लिए 'होली ग्रेल' (holy grail) एक ऐसा क्वांटम कोड रहा है जो छोटा हो, जिसमें त्रुटियों के बीच की दूरी लंबी हो, और जिसे स्थानीय रूप से (locally) परीक्षण किया जा सके—अर्थात, एक कंप्यूटर कोड के एक छोटे से हिस्से की जांच करके निश्चित रूप से जान सके कि क्या पूरा डेटा सुरक्षित है। यह शोध पत्र एक नए ज्यामितीय ढांचे (geometric structure) की खोज के माध्यम से उस लक्ष्य की ओर एक महत्वपूर्ण कदम बढ़ाता है जो ऐसे कोडों को संभव बना सकता है।

शोधकर्ता, जो इज़राइल के संस्थानों से जुड़े हैं, ने एक सैद्धांतिक ढांचा विकसित किया है जो दिखाता है कि कैसे एक विशिष्ट प्रकार की उच्च-आयामी आकृति (high-dimensional shape) इस समस्या को हल कर सकती है। उन्होंने भौतिक वस्तु या अंतिम कोड का निर्माण नहीं किया; इसके बजाय, उन्होंने सिद्ध किया कि यदि ऐसी आकृति मौजूद है, तो वह स्वतः ही एक 'एसिम्प्टोटिकली गुड' (asymptotically good) क्वांटम कोड बना देगी। जिस आकृति में उनकी रुचि है वह एक "क्यूबिकल कॉम्प्लेक्स" (cubical complex) है, एक ऐसी संरचना जिसे एक बहु-आयामी ग्रिड के रूप में सोचा जा सकता है जो क्यूब्स, वर्गों और रेखाओं से बना है, और जो एक सटीक पैटर्न में जुड़े हुए हैं। अपने कार्य में, वे इस आकृति के चार-आयामी संस्करण पर ध्यान केंद्रित करते हैं। उनकी खोज की कुंजी "लॉसलेस एक्सपेंशन" (lossless expansion) नामक गुण है। सरल शब्दों में, इसका अर्थ है कि यदि आप संरचना के भीतर बिंदुओं के एक छोटे समूह को लेते हैं और उनके पड़ोसियों को देखते हैं, तो आपको लगभग उतने ही नए बिंदु मिलते हैं जितने कि आप खोज सकते थे। इसमें बहुत कम ओवरलैप या बर्बाद स्थान होता है।

टीम की मुख्य उपलब्धि एक "लोकल-टू-ग्लोबल" (local-to-global) प्रमेय है। उन्होंने प्रदर्शित किया कि यदि इस चार-आयामी आकृति की परतों के बीच के संबंध स्थानीय रूप से लॉसलेस हैं—अर्थात प्रत्येक छोटा खंड पूर्ण रूप से विस्तार करता है—तो संपूर्ण वैश्विक संरचना में "स्मॉल-सेट कोबाउंड्री एक्सपेंशन" (small-set coboundary expansion) नामक एक शक्तिशाली गुण होता है। यह सुनने में अमूर्त लग सकता है, लेकिन यह स्थानीय परीक्षण (local testability) को चलाने वाला गणितीय इंजन है। यह सुनिश्चित करता है कि यदि कोई क्वांटम अवस्था थोड़ी भी गलत है, तो त्रुटि संरचना में इस तरह फैलेगी कि वह केवल कुछ स्थानीय कनेक्शनों की जांच करके तुरंत पता चल जाएगी। शोधकर्ताओं ने दिखाया कि यह विस्तार गुण इतना मजबूत है कि यह गारंटी देता है कि परिणामी क्वांटम कोड की दर स्थिर (constant rate) होगी (यह बहुत बड़ा नहीं होता), इसकी दूरी रैखिक (linear distance) होगी (त्रुटियां दूर-दूर होती हैं), और इसे निरंतर संख्या में प्रश्नों (queries) के साथ परीक्षण किया जा सकता है।

महत्वपूर्ण रूप से, यह शोध पत्र यह भी स्पष्ट करता है कि क्या काम नहीं करता है। लेखकों ने आकृतियों के एक विशिष्ट परिवार की जांच की जो अभाज्य संख्याओं (prime numbers) और वृक्षों (trees) से जुड़ी ज्ञात गणितीय रचनाओं पर आधारित थी, जिनसे आवश्यक विस्तार प्रदान करने की उम्मीद की गई थी। उन्होंने प्रदर्शन किया कि ये विशिष्ट आकृतियाँ 'टू-साइडेड लॉसलेस' (two-sided lossless) नहीं हैं, जो अनुकूलित प्रमाणों पर आधारित है कि वे आवश्यक विस्तार परीक्षण में विफल रहती हैं। लेखकों ने उल्लेख किया है कि ये नकारात्मक परिणाम स्वतंत्र रूप से रुचिकर प्रतीत होते हैं और वे इन्हें अलग से प्रस्तुत करने का इरादा रखते हैं। यह एक महत्वपूर्ण निष्कर्ष है, क्योंकि यह उस मार्ग को खारिज करता है जिसे कई लोग सफल होने की उम्मीद कर रहे थे और नए निर्माणों की खोज के लिए मजबूर करता है। यह शोध पत्र इन चार-आयामी आकृतियों के वास्तविक निर्माण को भविष्य के लिए एक खुली चुनौती के रूप में छोड़ देता है, लेकिन इसने एक ब्लूप्रिंट (blueprint) को मजबूती से स्थापित कर दिया है। यह सिद्ध करता है कि सही प्रकार का ज्यामितीय विस्तार ही मजबूत, कुशल क्वांटम मेमोरी बनाने के लिए लुप्त कड़ी है। आवश्यक कॉम्बिनेटोरियल स्थितियों को अलग करके, यह कार्य गणितज्ञों और कंप्यूटर वैज्ञानिकों के लिए एक स्पष्ट लक्ष्य प्रदान करता है, जिससे यह क्षेत्र स्केलेबल, फॉल्ट-टोलरेंट क्वांटम कंप्यूटरों की वास्तविकता के करीब पहुँच रहा है।