Full-Rank Constructions of Explicit Lossless Expanders and Good Small-Set qLTCs

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

गणितज्ञों और कंप्यूटर वैज्ञानिकों की एक टीम द्वारा किए गए एक नए अध्ययन ने अंततः एक विशिष्ट प्रकार के त्रुटि-सुधार कोड का निर्माण किया है जो इस कठिन संतुलन को प्राप्त करता है। उन्होंने कोड का एक ऐसा परिवार बनाया है जो "एसिम्प्टोटिकली गुड" (asymptotically good) है, जिसका अर्थ है कि वे विशाल आकार तक पहुँचने पर भी कुशल और प्रभावी बने रहते हैं, और उनके पास "स्मॉल-सेट साउंडनेस" (small-set soundness) नामक एक विशेष गुण है। यह गुण सुनिश्चित करता है कि यहाँ तक कि सूक्ष्म, स्थानीयकृत त्रुटियों का भी पता लगाया जाता है और उन्हें उच्च ऊर्जा लागत के साथ दंडित किया जाता है, जिससे उन्हें फैलने से रोका जा सके। महत्वपूर्ण रूप से, शोधकर्ताओं ने सिद्ध किया कि त्रुटियों का पता लगाने के लिए उपयोग किए जाने वाले 'चेक' एक-दूसरे से पूरी तरह स्वतंत्र हैं, एक ऐसी विशेषता जिसे पहले इतने मजबूत त्रुटि पहचान के साथ असंगत माना जाता था। इन गणितीय संरचनाओं को एक विशिष्ट प्रकार की समरूपता (symmetry) के साथ जोड़कर, उन्होंने दिखाया है कि क्वांटम सूचना को सैद्धांतिक रूप से कम तापमान पर घातीय (exponentially) लंबे समय तक संग्रहीत किया जा सकता है, जो कि पहले से गारंटीकृत समय-सीमाओं से एक बड़ी छलांग है।

शोधकर्ताओं ने एक नए प्रकार के गणितीय ऑब्जेक्ट, जिसे एक्सपैंडर ग्राफ (expander graph) कहा जाता है, का निर्माण करके इसे हासिल किया। एक ऐसे नेटवर्क की कल्पना करें जहाँ बिंदु और रेखाएं हैं जहाँ प्रत्येक बिंदु कुछ अन्य बिंदुओं से जुड़ा है, लेकिन नेटवर्क इतना अच्छी तरह से जुड़ा हुआ है कि बिंदुओं का कोई भी छोटा समूह बाहर के बड़ी संख्या में बिंदुओं से जुड़ा है। क्वांटम कोड की दुनिया में, ये ग्राफ इस बात का ब्लूप्रिंट (खाका) के रूप में कार्य करते हैं कि क्यूबिट्स (क्वांटम सूचना की बुनियादी इकाइयाँ) को त्रुटि-जांच तंत्रों से कैसे जोड़ा जाता है। टीम की सफलता यह थी कि उन्होंने इन ग्राफों का स्पष्ट रूप से निर्माण किया, जिसका अर्थ है कि उन्होंने उन्हें बनाने के लिए एक स्पष्ट रेसिपी प्रदान की, न कि केवल यह सिद्ध किया कि वे अस्तित्व में हैं। अधिक महत्वपूर्ण बात यह है कि उन्होंने यह सुनिश्चित किया कि इन ग्राफों का प्रतिनिधित्व करने वाले गणितीय मैट्रिक्स का "फुल रैंक" (full rank) हो। सरल शब्दों में, इसका अर्थ है कि उनके सिस्टम में प्रत्येक चेक अद्वितीय, गैर-अतिरेक (non-redundant) जानकारी प्रदान करता है। यदि कोई चेक अतिरेक वाला है, तो वह संसाधनों को बर्बाद करता है; यदि वह गायब है, तो सिस्टम कुछ त्रुटियों के प्रति अंधा हो जाता है। उनका निर्माण गारंटी देता है कि हर चेक मायने रखता है, और कोई भी दो चेक एक ही काम नहीं कर रहे हैं।

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

परिणामस्वरूप एक ऐसा क्वांटम कोड प्राप्त हुआ जो दो कठिन शर्तों को एक साथ पूरा करता है: इसमें उपयोगी सूचना भंडारण की उच्च दर है, और यह गारंटी देता है कि छोटी त्रुटियों का उच्च विश्वसनीयता के साथ पता लगाया जा सकता है। लेखकों ने प्रदर्शित किया कि जब इन कोडों का उपयोग एक भौतिक प्रणाली में किया जाता है, तो त्रुटि उत्पन्न करने के लिए आवश्यक ऊर्जा त्रुटि के आकार के साथ रैखिक रूप से बढ़ती है। यह गलतियों के विरुद्ध एक शक्तिशाली बाधा उत्पन्न करता है। हाल के सैद्धांतिक कार्यों में प्रस्तावित भौतिक धारणाओं के तहत, यह निर्माण यह संकेत देता है कि इस कोड के साथ बना एक क्वांटम मेमोरी का अस्तित्व इसके आकार के साथ घातीय रूप से बढ़ सकता है। एक निश्चित आकार के सिस्टम के लिए, इसका अर्थ है कि सूचना को ब्रह्मांड की आयु से कहीं अधिक लंबी अवधि के लिए संरक्षित किया जा सकता है, बशर्ते तापमान पर्याप्त रूप से कम रखा जाए।

यह कार्य केवल एक सैद्धांतिक संभावना नहीं है; यह एक ठोस, स्पष्ट निर्माण प्रदान करता है। शोधकर्ताओं ने क्यूबिट्स और चेक्स के बीच कनेक्शन उत्पन्न करने के लिए एक चरण-दर-चरण विधि दी है, यह सुनिश्चित करते हुए कि इस प्रक्रिया को एक कंप्यूटर द्वारा उचित समय में निष्पाद de किया जा सकता है। उन्होंने यह भी दिखाया कि प्रत्येक क्यूबिट को बनाने वाले कनेक्शनों की संख्या, कंप्यूटर के आकार के बढ़ने के बावजूद, छोटी और स्थिर बनी रहती है। यह भौतिक कार्यान्वयन के लिए आवश्यक है, क्योंकि इसका अर्थ है कि स्केलिंग के दौरान हार्डवेयर को असंभव रूप से जटिल होने की आवश्यकता नहीं है। टीम का दृष्टिकोण संख्या सिद्धांत (number theory), ज्यामिति और समूह सिद्धांत (group theory) के गहरे संबंधों पर निर्भर करता है, विशेष रूप से क्वेटरनियन (quaternions) से व्युत्पन्न संरचनाओं का उपयोग करते हुए, जो जटिल संख्याओं (complex numbers) का विस्तार करने वाली एक प्रकार की संख्या प्रणाली है। इन संरचनाओं को दो की घातों (powers of two) के मॉड्युलो (modulo) में बदलकर, वे आवश्यक समरूपता और विस्तार गुणों को उत्पन्न करने में सक्षम रहे जो पिछले प्रयासों से बच निकले थे।

इस निष्कर्ष का महत्व केवल बेहतर त्रुटि सुधार तक ही सीमित नहीं है। यह क्वांटम सूचना की सुरक्षा की क्षमता को एक विशिष्ट प्रकार के थर्मोडायनामिक फेज ट्रांजिशन (thermodynamic phase transition) की आवश्यकता से अलग करता है, जो एक ऐसी अवधारणा थी जिसे पहले दीर्घकालिक स्थिरता के लिए आवश्यक माना जाता था। शोधकर्ताओं ने दिखाया कि सुरक्षा कोड की ज्यामिति से आती है, न कि सिस्टम के भौतिक गुणों से। यह डिज़ाइन द्वारा मजबूत क्वांटम मेमोरी बनाने का मार्ग खोलता है, न कि दुर्घटना से। हालांकि यह शोध पत्र गणितीय निर्माण पर केंद्रित है, इसके भौतिक निहितार्थ अत्यंत गहरे हैं: यह संकेत देता है कि ऐसी क्वांटम कंप्यूटर बनाने का मार्ग प्रशस्त होता है जो निरंतर हस्तक्षेप के बिना जटिल गणनाएँ करने के लिए पर्याप्त समय तक अपनी स्थिति बनाए रख सकें।

टीम का कार्य उन शुरुआती शोधकर्ताओं द्वारा रखी गई नींव पर निर्मित है जिन्होंने ऐसे कोडों की आवश्यकता की पहचान की थी लेकिन उनका स्पष्ट रूप से निर्माण नहीं कर सके थे। उन्होंने क्वांटम कोड बनाने के एक ज्ञात ढांचे का उपयोग किया, जो दो ग्राफों के "बैलेंस्ड प्रोडक्ट" (balanced product) का उपयोग करता है, और सिद्ध किया कि यदि इनपुट ग्राफों में सही रैंक गुण हैं, तो परिणामी कोड उन्हें विरासत में प्राप्त करता है। यह विरासत उनके तर्क की मुख्य कड़ी है। यह सुनिश्चित करके कि इनपुट ग्राफ फुल-रैंक हैं, उन्होंने गारंटी दी कि अंतिम क्वांटम कोड में स्वतंत्र चेक होंगे। उनका शोध पत्र कठोरता से सिद्ध करता है कि उनके संशोधित ग्राफ वास्तव में फुल-रैंक हैं और आवश्यक विस्तार गुणों को बनाए रखते हैं, जिससे एक ऐसा अंतर समाप्त हो गया जो इस क्षेत्र में लंबे समय से बना हुआ था।

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