Lifted surgery for non-Abelian two-block group-algebra codes

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

"लिफ्टेड सर्जरी" (lifted surgery) नामक एक नया दृष्टिकोण इसे तेज करने का एक तरीका प्रदान करता है क्योंकि यह एक साथ कई पैटर्न को मापने की अनुमति देता है, लेकिन ऐतिहासिक रूप से यह एक विशिष्ट प्रकार की गणितीय समरूपता (symmetry) पर निर्भर रहा है जो केवल तभी अच्छी तरह से काम करती है जब अंतर्निary नियम सरल और पूर्वानुमेय होते हैं। एक शोधकर्ता ने हाल ही में पूछा कि क्या इस गति-वृद्धि (speed-up) को अधिक जटिल, गैर-क्रमविनिमेय (non-commutative) प्रणालियों तक विस्तारित किया जा सकता है, जहाँ संचालन का क्रम मायने रखता है और नियम बहुत कम उदार होते हैं। उन्होंने इन जटिल समूहों से बने कोड के एक वर्ग की जांच की, इस उम्मीद में कि अतिरिक्त गणितीय संरचना उन्हें एक साथ और भी अधिक जानकारी मापने की अनुमति देगी, जो संभावित रूप से क्वांट-कंप्यूटरों के संचालन में क्रांति ला सकती है।

शोधकर्ता ने यह परीक्षण करने के लिए आगे बढ़े कि क्या इन गैर-क्रमविनिमेय समूहों की प्रकृति सरल, क्रमविनिमेय (commutative) समूहों की तुलना में वास्तविक लाभ प्रदान करती है। उन्होंने इन जटिल कोड्स की समरूपताओं का मानचित्रण करना शुरू किया, यह देखते हुए कि तार्किक ऑपरेटरों (logical operators)—जो डेटा का प्रतिनिधित्व करते हैं—को कैसे समूहबद्ध किया जाए ताकि उन्हें एक साथ मापा जा सके। उनकी प्रारंभिक आशा यह थी कि गैर-क्रमविनिमेय संरचना सरल समूह की तुलना में मापने योग्य पैटर्न का एक बड़ा सेट खोल देगी। हालाँकि, जैसे ही उन्होंने उपलब्ध समरूपताओं की पूरी सीमा का विश्लेषण किया, उन्होंने पाया कि अधिकांश स्पष्ट लाभ लुप्त हो गए। गैर-क्रमविनिमेय समूहों की अतिरिक्त जटिलता अक्सर नई समरूपताएँ पेश करती है, जिन्हें यदि ठीक से ध्यान में रखा जाए, तो सरल, क्रमविनिमेय समूहों द्वारा पुनरुत्पादित किया जा सकता है। कई मामलों में, "नॉन-अबेलियन गेन" (non-Abelian gain) एक भ्रम था जो उपलब्ध समरूपताओं के केवल एक छोटे हिस्से को देखने से उत्पन्न हुआ था।

इसके बावजूद, शोधकर्ता ने पाया कि यह लाभ पूरी तरह से खोया नहीं है। उन्होंने विशिष्ट कोड्स की पहचान की जहाँ गैर-क्रमविनिमेय संरचना अभी भी एक वास्तविक, मापने योग्य लाभ प्रदान करती है। दस 'रिजिड' (rigid) कोड्स में, जहाँ समरूपताएँ कड़ाई से सीमित थीं, उन्होंने पाया कि नया तरीका सरल समूहों का उपयोग करने वाले सर्वोत्तम संभव तरीके की तुलना में एक साथ दोगुने पैटर्न माप सकता है। चार तत्वों वाले अल्टरनेटिंग ग्रुप (alternating group) और दो-बाय-दो मैट्रसेस वाले स्पेशल लीनियर ग्रुप (special linear group) जैसे कुछ असाधारण मामलों में, यह लाभ और भी अधिक था, जिससे तीन गुना अधिक पैटर्न मापना संभव हुआ। इनमें से एक कोड, जिसमें ऑर्डर 240 का समूह शामिल था, एक एकल माप सेटअप के माध्यम से सिस्टम के प्रत्येक तार्किक क्वबिट (logical qubit) को एक साथ पढ़ सका, जो सरल तरीकों के साथ असंभव कार्य है।

यह सुनिश्चित करने के लिए कि ये लाभ केवल सैद्धांतिक नहीं हैं, शोधकर्ता ने वास्तविक परिस्थितियों के तहत पूरी प्रक्रिया का अनुकरण (simulate) किया, शोर और त्रुटियों को पेश किया ताकि यह देखा जा सके कि सिस्टम कैसा प्रदर्शन करता है। उन्होंने अपने नए गैर-क्रमविनिमेय गैजेट्स की तुलना पारंपरिक तरीकों से की। परिणामों ने दिखाया कि नया दृष्टिकोण उतना ही विश्वसनीय था, और कुछ मामलों में पुराने तरीकों की तुलना में थोड़ा अधिक विश्वसनीय भी था, जबकि यह दो से तीन गुना कम माप चरणों (measurement rounds) का उपयोग करता है। समय में यह कमी महत्वपूर्ण है क्योंकि इसका अर्थ है कि क्वांटम कंप्यूटर समान कार्य करने के लिए त्रुटियों के प्रति कम समय के लिए संवेदनशील रहता है। शोधकर्ता ने गणितीय रूप से यह भी सिद्ध किया कि उनका तरीका कोड की दूरी (distance) को सुरक्षित रखता है, जिससे यह सुनिश्चित होता है कि त्वरण प्रक्रिया के दौरान भी त्रुटि-सुधार की शक्ति बरकरार रहती है।

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