Building codes with transversal CCZ using projective geometry and SAT solvers

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

ड्यूक यूनिवर्सिटी के शोधकर्ताओं की एक टीम ने इस प्रत्यक्ष दृष्टिकोण को वास्तविकता बनाने की दिशा में एक महत्वपूर्ण कदम उठाया है। उन्होंने सफलतापूर्वक एक नए प्रकार के एरर-करेक्टिंग कोड (error-correcting code) का निर्माण किया है जो केवल सरल, प्रत्यक्ष भौतिक पल्स का उपयोग करके एक जटिल तीन-तरफा तार्किक ऑपरेशन (three-way logical operation) कर सकता है। उनका कार्य यह सिद्ध करता है कि 48 भौतिक इकाइयों की ब्लॉक लंबाई के साथ ऐसा एक कोड मौजूद है, और उन्होंने यह भी दिखाया है कि इससे कम इकाइयों वाले कम से कम 39 इकाइयों वाले कोड के रूप में ऐसा कोई कोड मौजूद नहीं हो सकता। प्राचीन ज्यामितीय सिद्धांतों को आधुनिक कंप्यूटर खोज तकनीकों के साथ जोड़कर, उन्होंने उस सटीक परिदृश्य का मानचित्र तैयार किया है जहाँ ये कोड रह सकते हैं, जिससे एक ठोस समाधान और हमारे ज्ञान में एक स्थायी अंतराल दोनों का पता चलता है जिसे भरने की आवश्यकता है।

शोधकर्ताओं ने एक विशिष्ट चुनौती पर ध्यान केंद्रित किया: एक ऐसा कोड बनाना जो तीन सूचनाओं के टुकड़ों की रक्षा करता है जबकि एक विशिष्ट तीन-तरफा इंटरेक्शन को स्वाभाविक रूप से होने देता है। क्वांटम एरर करेक्शन की दुनिया में, सूचना केवल एक के बजाय कई भौतिक इकाइयों, या क्यूबिट्स (qubits) में संग्रहीत की जाती है। इस डेटा की रक्षा करने के लिए, सिस्टम लगातार 'स्टेबलाइजर्स' (stabilizers) नामक नियमों के एक सेट का उपयोग करके त्रुटियों की जांच करता है। लक्ष्य इन नियमों का एक ऐसा सेट खोजने का था जो न केवल डेटा की रक्षा करे बल्कि यह भी सुनिश्चित करे कि एक विशिष्ट, गैर-मानक गेट को प्रत्येक भौतिक क्यूबिट को एक मानक पल्स के साथ स्पर्श करके सीधे लागू किया जा सके। यदि सफल रहे, तो यह इस विशिष्ट ऑपरेशन के लिए महंगी मैजिक-स्टेट डिस्टिलेशन प्रक्रिया की आवश्यकता को समाप्त कर देगा।

इसे हल करने के लिए, टीम ने 'प्रोजेक्टिव ज्योमेट्री' (projective geometry) नामक गणित की एक शाखा की ओर रुख किया। उन्होंने भौतिक क्यूबिट्स को एक ज्यामितीय स्थान में बिंदुओं के रूपas माना और इस स्थान की संरचना का उपयोग त्रुटि-जांच के नियमों को परिभाषित करने के लिए किया। इस ज्यामितीय दृष्टिकोण ने गारंटी दी कि कोड कुछ प्रकार की त्रुटियों के प्रति मजबूत होगा, विशेष रूप से यह सुनिश्चित करते हुए कि किसी भी एकल त्रुटि का पता लगाया जा सके। हालांकि, केवल ज्यामिति इस पूरी पहेली को सुलझाने के लिए पर्याप्त नहीं थी। शोधकर्ताओं को इस ज्यामितीय संरचना के भीतर तीन तार्किक टुकड़ों के एक विशिष्ट विन्यास (arrangement) की आवश्यकता थी जो सीधे गेट को काम करने के लिए आवश्यक जटिल शर्तों को पूरा कर सके।

यहीं पर वे एक शक्तिशाली कंप्यूटर सर्च टूल लेकर आए जिसे 'SAT सॉल्वर' (SAT solver) कहा जाता है। इस टूल को एक अत्यधिक कुशल लॉजिक इंजन के रूप में समझें जो यह देखने के लिए अरबों संभावनाओं का परीक्षण कर सकता है कि क्या बाधाओं का एक विशिष्ट सेट पूरा किया जा सकता है। शोधकर्ताओं ने ज्यामितीय नियमों और तार्किक गेटों की आवश्यकताओं को एक ऐसे प्रारूप में एनकोड किया जिसे सॉल्वर समझ सके। सॉल्वर ने फिर तार्किक सूचनाओं के सही विन्यास की खोज की। संभावनाओं को छानने के बाद, इसने 48 भौतिक इकाइयों वाले एक कोड के लिए समाधान खोज निकाला। यह नया कोड, जिसे लेखक Q48 कहते हैं, वांछित तीन-तरफा ऑपरेशन को सीधे डेटा पर करने के लिए 26 मानक पल्स और 22 थोड़े अलग पल्स के एक विशिष्ट पैटर्न का उपयोग करता है।

कार्य केवल एक समाधान खोजने तक ही सीमित नहीं था; टीम ने संभावनाओं की सीमाओं का भी कड़ाई से परीक्षण किया। उन्होंने गणितीय रूप से सिद्ध किया कि इस प्रकार का कोई भी कोड 39 भौतिक इकाइयों से कम में मौजूद नहीं हो सकता। उन्होंने 15 से 38 के बीच की लंबाई वाले कोड के लिए हर संभावना को व्यवस्थित रूप से खारिज कर दिया, यह दिखाते हुए कि छोटे स्थान में ज्यामितीय और तार्किक बाधाओं को पूरा नहीं किया जा सकता है। यह ऐसे कोड के आकार के लिए एक कठोर निचली सीमा (lower bound) स्थापित करता है। हालांकि, उनकी जांच ने एक रहस्य भी उजागर किया। जबकि उन्होंने 48 इकाइयों पर एक काम करने वाला कोड पाया और यह भी सिद्ध किया कि 39 से कम में कोई भी मौजूद नहीं है, 39 और 46 के बीच की सीमा अनछुए क्षेत्र के रूप में बनी हुई है। वे जानते हैं कि वहां एक कोड मौजूद हो सकता है, लेकिन उन्होंने अभी तक उसे खोजा नहीं है, और न ही यह सिद्ध किया है कि वह असंभव है।

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

टीम का दृष्टिकोण शास्त्रीय गणित और आधुनिक गणना के बीच एक शक्तिशाली तालमेल को उजागर करता है। त्रुटि सुरक्षा को संभालने के लिए प्रोजेक्टिव ज्योमेट्री की कठोर संरचना का उपयोग करके, उन्होंने समस्या को सही तार्किक व्यवस्था की खोज तक सीमित कर दिया। इसने उन्हें 'ब्रूट-फोर्स गेसिंग' (brute-force guessing) की आवश्यकता को दरकिनार करने और इसके बजाय अपनी कम्प्यूटेशनल शक्ति को सबसे आशाजनक उम्मीदवारों पर केंद्रित करने की अनुमति दी। परिणामी कोड, Q48, केवल एक सैद्धांतिक जिज्ञासा नहीं है; यह एक सत्यापित निर्माण है जो यह प्रदर्शित करता है कि एनकोडेड डेटा पर जटिल तार्किक ऑपरेशन्स को सीधे करना संभव है।

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