Stabilizer codes over general phase spaces

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

सयान चक्रवर्ती और विक्टर वी. अल्बर्ट का एक नया अध्ययन इस अंतर को पाटता है। उन्होंने क्वांटम कोडों के एक व्यापक वर्ग के लिए एक एकीकृत सिद्धांत विकसित किया है जो इन विभिन्न प्रकार के सिस्टम को एक साथ मिला सकते हैं। उनका कार्य यह दिखाता है कि ऑसिलेटर (oscillators), रोटर (rotors) और असतत इकाइयों (discrete units) के संयोजन का उपयोग करके स्थिर क्वांटम मेमोरी कैसे बनाई जा सकती है, जो एक ही, सुसंगत नियमों के सेट द्वारा संचालित होती है। यह एक महत्वपूर्ण कदम है क्योंकि भविष्य के क्वांटम कंप्यूटर संभवतः केवल एक प्रकार के हार्डवेयर पर निर्भर नहीं रहेंगे; उन्हें प्रभावी ढंग से कार्य करने के लिए विभिन्न घटकों को एकीकृत करने की आवश्यकता होगी। यह सिद्ध करके कि इन मिश्रित प्रणालियों को उनके सरल समकक्षों की तरह ही समान गणितीय कठोरता के साथ माना जा सकता है, शोधकर्ताओं ने अधिक मजबूत और बहुमुखी क्वांटमान उपकरण बनाने के लिए एक ब्लूप्रिंट प्रदान किया है।

इस कार्य का मूल 'स्टेबलाइजर कोड' (stabilizer code) की अवधारणा है। कल्पना कीजिए कि आपके पास वस्तुओं का एक संग्रह है, और आप उन्हें एक विशिष्ट, सुरक्षित व्यवस्था में रखना चाहते हैं। आप नियमों का एक सेट, या "स्टेबलाइजर्स" परिभाषित करते हैं जो उस सुरक्षित अवस्था का वर्णन करते हैं। यदि वस्तुएं थोड़ी सी हिलती हैं, तो वे इनमें से एक नियम को तोड़ देती हैं, और सिस्टम को पता चल जाता है कि त्रुटि हुई है। शोधकर्ताओं ने उन सिस्टमों पर ध्यान केंद्रित किया जहाँ ये नियम "डिस्प्लेसमेंट ऑपरेटर्स" (displacement operators) द्वारा परिभाषित होते हैं। सरल शब्दों में, ये ऐसी क्रियाएं हैं जो सिस्टम की अवस्था को स्थानांतरित करती हैं, या तो उसे एक नई स्थिति में ले जाकर या उसकी 'फेज' (phase) को बदलकर, जो कि एक तरंग के समय को बदलने जैसा है। मुख्य अंतर्दृष्टि यह है कि एक कोड के काम करने के लिए, ये स्थानांतरित करने वाली क्रियाएं 'कम्यूट' (commute) होनी चाहिए, जिसका अर्थ है कि उन्हें लागू करने का क्रम मायने नहीं रखता। यह गुण सिस्टम को एक स्थिर, संरक्षित स्थान बनाने की अनुमति देता है जहाँ क्वांटम जानकारी रह सकती है।

चक्रवर्ती और अल्बर्ट ने महसूस किया कि इन 'डिस्प्लेसमेंट ऑपरेटर्स' को 'फेज स्पेस' (phase space) नामक एक गणितीय स्थान में ग्रिड पर बिंदुओं के रूप में देखा जा सकता है। एक सरल प्रणाली के लिए, यह ग्रिड बिंदुओं के एक नियमित पैटर्न जैसा दिख सकता है। अधिक जटिल प्रणालियों के लिए, ग्रिड को खींचा, मरोड़ा या यहाँ तक कि उसमें अंतराल (gaps) भी दिए जा सकते हैं। शोधकर्ताओं ने दिखाया कि जब तक ग्रिड एक विशिष्ट प्रकार की संरचना, जिसे 'लैटिस' (lattice) कहा जाता है, बनाता है, तब तक यह एक वैध क्वांटम कोड को परिभाषित कर सकता है। यह लैटिस एरर-करेक्टिंग कोड के कंकाल के रूप में कार्य करता है। लॉजिकल स्पेस का आकार—वह मात्रा जो कोड संग्रहीत कर सकता है—लैटिस के बिंदुओं के बीच के आयतन (volume) से सीधे संबंधित है। यदि बिंदु घनी रूप से पैक किए गए हैं, तो कोड अधिक जानकारी संग्रहीत कर सकता है; यदि वे फैले हुए हैं, तो यह कम जानकारी संग्रहीत करता है।

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

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

उनके कार्य का एक विशेष रूप से सुरुचिपूर्ण हिस्सा कोड और उसके "ड्यूल" (dual) के बीच संबंध है। गणित में, प्रत्येक लैटिस का एक साथी लैटिस होता है जो संभावित लॉजिकल ऑपरेशन्स का वर्णन करता है। शोधकर्ताओं ने दिखाया कि कोड के गुण, जैसे कि त्रुटियों का पता लगाने की इसकी क्षमता, सीधे तौर पर इस ड्यूल लैटिस के गुणों से जुड़ी होती है। यह संबंध वैज्ञानिकों को क्वांटम कोड का विश्लेषण करने के लिए लैटिस के अध्ययन से प्राप्त शक्तिशाली गणितीय उपकरणों का उपयोग करने की अनुमति देता है। उन्होंने प्रदर्शित किया कि यह संबंध सबसे जटिल हाइब्रिड कोड के लिए भी सत्य है, जो एक एकीकृत ढांचा प्रदान करता है जो उनके द्वारा विचार किए गए सभी सिस्टमों पर लागू होता है।

शोध पत्र ऊर्जा के व्यावहारिक मुद्दे को भी संबोधित करता है। वास्तविक दुनिया में, क्वांटम अवस्थाओं की अनंत ऊर्जा नहीं हो सकती, लेकिन आदर्श गणितीय मॉडल अक्सर ऐसा मान लेते हैं। लेखकों ने इन कोडों के "फाइनाइट-एनर्जी" (finite-energy) संस्करण बनाने का एक तरीका विकसित किया है। उन्होंने दिखाया कि सिस्टम की ऊर्जा को थोड़ा कम करके (damping), वे ऐसे भौतिक अवस्थाएँ बना सकते हैं जो लगभग आदर्श गणितीय अवस्थाओं की तरह व्यवहार करती हैं। इस डैम्पिंग से उत्पन्न त्रुटि अत्यंत सूक्ष्म है, जो इन कोडों को वास्तविक दुनिया के अनुप्रयोगों के लिए व्यवहार्य बनाती है। यह महत्वपूर्ण है क्योंकि यह सिद्ध करता है कि उनके द्वारा डिजाइन किए गए सैद्धांतिक कोड वास्तव में भौतिक उपकरणों में बनाए और उपयोग किए जा सकते हैं।

अपने पूरे अध्ययन के दौरान, लेखकों ने मार्क रीफेल द्वारा विकसित एक गणितीय ढांचे का उपयोग किया, जो क्वांटम मैकेनिक्स को 'नॉनकम्यूटेटिव ज्योमेट्री' (noncommutative geometry) नामक एक क्षेत्र से जोड़ता है। यह ढांचा क्वांटम अवस्थाओं के स्थान को एक ज्यामितीय वस्तु के रूप में मानता है, जिससे शोधकर्ता क्वांटम समस्याओं को हल करने के लिए ज्यामितीय सहज ज्ञान (geometric intuition) का उपयोग कर सकते हैं। उन्होंने पाया कि 'सिंड्रोम स्पेस' (syndrome space), जो त्रुटि जानकारी के भंडारण का स्थान है, को 'फाइबर बंडल' (bundle of fibers) के रूप में देखा जा सकता है। प्रत्येक फाइबर एक विशिष्ट त्रुटि पैटर्न के अनुरूप होता है, और कोड इनमें से एक फाइबर में रहता है। इस ज्यामितीय दृष्टिकोण ने उन्हें यह सिद्ध करने में मदद की कि कोड का आयाम (dimension) लैटिस के आयतन के बराबर है, एक ऐसा परिणाम जो उनके द्वारा अध्ययन किए गए सभी सिस्टमों के लिए सत्य है।

यह कार्य ज्ञात कोडों को भी पुनरावर्तित करता है, जैसे कि गोट्समैन-किटाएव-प्रेस्किल (GKP) कोड, जो निरंतर प्रणालियों के लिए एक प्रसिद्ध प्रकार का क्वांटम एरर-करेक्टिंग कोड है। लेखकों ने दिखाया कि उनका नया ढांचा स्वाभाविक रूप से इन मौजूदा कोडों को विशेष मामलों के रूप में शामिल करता है। इसके अलावा, उन्होंने नए कोड का निर्माण किया जो विभिन्न प्रकार के सिस्टमों को ऐसे तरीकों से मिलाते हैं जो पहले असंभव थे। उदाहरण के लिए, उन्होंने एक ऐसा कोड बनाया जो बारह ऑसिलेटरों को बारह क्यूबिट्स (qubits) के साथ मिलाता है, जो एक प्रसिद्ध शास्त्रीय कोड 'गोले कोड' (Golay code) से लिया गया है। यह हाइब्रिड कोड केवल दो के बीच एक साधारण संयोजन नहीं है; यह एक कसकर एकीकृत प्रणाली है जहाँ ऑसिलेटर और क्यूबिट्स इस तरह से जुड़े हुए हैं जो एक नया, अधिक शक्तिशाली कोड बनाते हैं।

शोधकर्ताओं ने इन कोडों की सीमाओं का भी पता लगाया। उन्होंने सिद्ध किया कि कुछ प्रकार के सिस्टमों के लिए, विशेष रूप से जिनमें एक ऑसिलेटर और एक रोटर शामिल है, कोड केवल तभी "इंट्रिंसिकली कपल्ड" (intrinsically coupled) हो सकता है यदि वह एक विशिष्ट मात्रा में जानकारी संग्रहीत करता है। यदि जानकारी की मात्रा बहुत कम है, तो सिस्टम को हमेशा स्वतंत्र भागों में विभाजित किया जा सकता है। हालाँकि, एक बार जब जानकारी एक निश्चित सीमा तक पहुँच जाती है, तो कपलिंग अपरिहार्य हो जाती है। यह निष्कर्ष वैज्ञानिकों को यह समझने में मदद करता है कि वे अपने स्वयं के डिजाइनों में इन जटिल, हाइब्रिड व्यवहारों की अपेक्षा कब कर सकते हैं।

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