Quantum code parameters, checkable by a certificate of provable size
यह शोधपत्र प्रदर्शित करता है कि क्वांटम त्रुटि-सुधार कोड (quantum error-correcting codes) के मापदंडों, विशेष रूप से दूरी (distance) जिसे पारंपरिक रूप से सत्यापित करना कठिन होता है, को लीन (Lean) प्रूफ़ असिस्टेंट का उपयोग करके प्रमाणित आकार के प्रमाणों (certificates) के साथ समान रूप से जांचा जा सकता है, जिससे अपरिवर्तित सॉल्वर आउटपुट पर निर्भरता के स्थान पर गणितीय रूप से कठोर और गणनात्मक रूप से कुशल सत्यापन स्थापित होता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
क्वांटम कंप्यूटर बनाने की दौड़ में, वैज्ञानिक अत्यधिक नाजुकता की समस्या को हल करने का प्रयास कर रहे हैं। इन मशीनों द्वारा उपयोग किए जाने वाले सूचना के सूक्ष्म इकाइयाँ, जिन्हें क्यूबिट्स (qubits) कहा जाता है, मामूली शोर से भी आसानी से विचलित हो जाते हैं, जिससे ऐसी त्रुटियाँ होती हैं जो एक गणना को नष्ट कर सकती हैं। इससे लड़ने के लिए, शोधकर्ता क्वांटम एरर-करेक्टिंग कोड (quantum error-correcting codes) का उपयोग करते हैं, जो जटिल जालों की तरह होते हैं जिन्हें इन त्रुटियों को फैलने से पहले पकड़ने के लिए डिज़ाइन किया गया है। एक कोड तीन संख्याओं द्वारा परिभाषित होता है: यह कितने भौतिक क्यूबिट्स का उपयोग करके जाल बनाता है, इसके भीतर उपयोगी जानकारी के कितने हिस्से रखे जा सकते हैं, और यह कितनी त्रुटियों को झेल सकता है इससे पहले कि जानकारी खो जाए। पहली दो संख्याएँ गणना करना सरल है, लेकिन तीसरी संख्या, जो कोड की मजबूती को मापती है, अत्यंत कठिन है। इस मजबूती को निर्धारित करने के लिए संभावनाओं के एक विशाल, घातांकीय रूप से बड़े परिदृश्य (landscape) में सबसे कमजोर बिंदु खोजने के लिए खोज करनी पड़ती है। व्यवहार में, वैज्ञानिकों ने इस संख्या को खोजने के लिए शक्तिशाली कंप्यूटर सॉल्वर पर भरोसा किया है, लेकिन ये सॉल्वर 'ब्लैक बॉक्स' की तरह कार्य करते हैं: वे बिना अपना काम दिखाए उत्तर दे देते हैं, जिससे शोधकर्ताओं को परिणाम पर विश्वास तो करना पड़ता है लेकिन स्वतंत्र रूप से उसे सत्यापित करने का कोई तरीका नहीं बचता।
शोधकर्ताओं ने अब उस भरोसे को प्रमाण में बदलने का एक तरीका खोज लिया है। उन्होंने एक संक्षिप्त, सत्यापन योग्य दस्तावेज़ जिसे सर्टिफिकेट (certificate) कहा जाता है, का उपयोग करके इन क्वांटम कोडों की मजबूती की जांच करने का एक तरीका विकसित किया है। पूरे परिदृश्य को खोजने और बेहतर होने की उम्मीद करने के बजाय, नया दृष्टिकोण कंप्यूटर से एक विशिष्ट, संकुचित साक्ष्य उत्पन्न करने के लिए कहता है जिसे एक विश्वसनीय, सरल चेकर (checker) कुछ ही सेकंड में सत्यापित कर सके। यह सर्टिफिकेट इस बात की गारंटी देता है कि एक निश्चित आकार से छोटी कोई भी त्रुटि जाल से फिसल नहीं सकती। भारी मेहनत को स्वयं कोड से हटाकर इस छोटे से सर्टिफिकेट पर स्थानांतरित करके, शोधकर्ताओं ने पूर्ण निश्चितता के साथ जटिल क्वांटम कोड की मजबूती को सत्यापित करना संभव बना दिया है, जिससे केवल सॉल्वर के आउटपुट पर विश्वास करने की आवश्यकता समाप्त हो गई है।
मुख्य समस्या यह है कि इन कोडों का परीक्षण कैसे किया जाता है। यह जानने के लिए कि क्या एक कोड पर्याप्त मजबूत है, किसी ऐसे क्यूबिट्स के समूह को खोजना होगा जो अलार्म बजाए बिना विक्षुब्ध हो सकें। यह एक नेट/जाल में छेद ढूँढने जैसा है—यह देखने के लिए कि पत्थर का कौन सा छोटा आकार उसमें फिट होकर निकल जाएगा। बड़े कोडों के लिए, संभावित आकारों की संख्या इतनी अधिक होती है कि सबसे तेज़ कंप्यूटर भी उन्हें उचित समय में जाँच नहीं सकते। पारंपरिक रूप से, शोधकर्ताओं ने सटीक उत्तर का अनुमान लगाने के लिए परिष्कृत अनुकूलन सॉफ्टवेयर (optimization software) का उपयोग किया है। हालांकि ये प्रोग्राम तेज़ हैं, लेकिन वे तर्क का ऐसा मार्ग प्रदान नहीं करते जिसका अनुसरण अन्य लोग पुष्टि के लिए कर सकें। नया कार्य सत्यापन की इकाई को बदल देता है। संपूर्ण कोड या कोड के संपूर्ण परिवार को सत्यापित करने के बजाय, शोधकर्ता एक एकल, लघु वस्तु को सत्यापित करते हैं: वह सर्टिफिकेट। यह वस्तु इतनी छोटी है कि एक साधारण, विश्वसनीय कार्यक्रम चरण-दर-चरण इसकी शुद्धता की जाँच कर सकता है, यह सुनिश्चित करते हुए कि उत्तर केवल एक अनुमान नहीं बल्कि एक गणितीय तथ्य है।
शोधकर्ताओं ने भविष्य की क्वांटम मेमोरी के लिए सबसे आशाजनक डिजाइनों में से कुछ सहित, विभिन्न प्रकार के क्वांटम कोडों पर इस पद्धति को लागू करके इसका प्रदर्शन किया। उन्होंने दिखाया कि कई कोडों के लिए, इसे पूरा सर्च चलाने में लगने वाले समय के एक अंश में सर्टिफिकेट बनाया और जाँचा जा सकता था। अठारह क्यूबिट्स वाले एक विशेष कोड से जुड़े एक टेस्ट में, कोड की मजबूती को सत्यापित करने में लगने वाला समय बयालीस सेकंड से घटकर मात्र नौ सेकंड रह गया। यह गति वृद्धि एक जटिल, बहु-चरणीय न्यूनीकरण प्रक्रिया (reduction process) को वेक्टरों के एक एकल युग्मन (pairing of vectors) वाले सरल चेक से बदलकर प्राप्त की गई थी। शोधकर्ताओं ने यह भी सिद्ध किया कि इन सर्टिफिकेट्स का आकार प्रबंधनीय तरीके से बढ़ता है, जो एक बहुपद पैटर्न (polynomial pattern) का पालन करता है न कि तेजी से विस्फोट करता है, जिसका अर्थ है कि जैसे-जैसे कोड बड़े होते हैं, यह विधि व्यावहारिक बनी रहती है।
गति के अलावा, यह पद्धति आत्मविश्वास का एक नया स्तर प्रदान करती है। शोधकर्ताओं ने अपने परिणामों को तर्क के एक विश्वसनीय कोर का उपयोग करके सत्यापित किया जो केवल तीन मानक गणितीय अभिधारणाओं (axioms) पर निर्भर है, यह सुनिश्चित करते हुए कि इसमें कोई छिपी हुई धारणाएं या unverifed कंपाइलर ट्रिक्स शामिल नहीं थे। उन्होंने इस तकनीक को ग्यारह अलग-अलग परिवारों के कोड और उनतीस विशिष्ट पैरामीटर्स सेटों पर लागू किया, जिसमें 1,872 भौतिक क्यूबिट तक के कोड शामिल थे। सबसे बड़े कोडों के लिए, जहाँ पूर्ण खोज असंभव होगी, उन्होंने एक प्रतीकात्मक दृष्टिकोण (symbolic approach) का उपयोग किया जो व्यक्तिगत रूप से प्रत्येक उदाहरण की जाँच करने के बजाय पूरे परिवार की शक्ति को एक साथ प्रमाणित करता है। इसने उन्हें कभी भी उम्मीदवारों की विशाल सूची बनाए बिना 512 क्यूबिट वाले कोड की मजबूती की पुष्टि करने की अनुमति दी।
अध्ययन ने उनके दृष्टिकोण की सीमाओं को भी संबोधित किया। जबकि यह पद्धति कई कोडों के लिए खूबसूरती से काम करती है, शोधकर्ताओं ने उल्लेख किया कि सबसे बड़े और सबसे जटिल मामलों के लिए, जैसे कि 144 क्यूबिट वाला एक प्रसिद्ध कोड, स्ट्रेंथ के निचले स्तर (lower bound) के लिए सर्टिफिकेट इस नए सिस्टम से शून्य से शुरू करने के बजाय एक अलग, स्वतंत्र गणितीय प्रमाण से आयात किया गया था। वे स्पष्ट रहने में सावधानी बरतते थे कि उन्होंने खुद क्या साबित किया और मौजूदा कार्यों से क्या सत्यापित किया। उन्होंने यह भी पाया कि हालाँकि उनकी खोज पाइपलाइन कई नए कोड उम्मीदवार तैयार कर सकती थी, लेकिन उसने तुरंत ऐसे कोड पैदा नहीं किए जो क्षेत्र में पहले से ज्ञात सर्वोत्तम कोडों से अधिक मजबूत हों। उनका तर्क था कि उनके कार्य का मूल्य एक नया रिकॉर्ड तोड़ने वाला कोड खोजने में नहीं, बल्कि किसी भी पाए गए कोड की ताकत की जाँच करने का एक विश्वसनीय तरीका प्रदान करने में है।
विश्वास से सत्यापन की ओर यह बदलाव उन बातों से परे व्यापक निहितार्थ रखता है जो इस पेपर के विशिष्ट नंबरों में हैं। ब्रॉडर क्वांटम कंप्यूटिंग के क्षेत्र में, कोड की मजबूती वह आधार है जिस पर सभी प्रदर्शन अनुमान निर्मित होते हैं। यदि वह नींव डगमगा रही है, तो क्वांटम कंप्यूटर बनाने का पूरा रोडमैप अनिश्चित है। इन कोडों की मजबूती को जांचने योग्य बनाकर, शोधकर्ताओं ने एक ऐसा उपकरण प्रदान किया है जो समुदाय को आत्मविश्वास के साथ निर्माण करने की अनुमति देता है। यह पद्धति क्वांटम कोड तक सीमित नहीं है; उसी तर्क को अन्य वैज्ञानिक समस्याओं पर भी लागू किया जा सकता है जहाँ जटिल गणनाएँ वर्तमान में एक सॉल्वर के उत्तर पर समाप्त होती हैं। शोधकर्ताओं ने दिखाया है कि उन्नत उपकरणों की शक्ति को बरकरार रखते हुए भी परिणामों को पारदर्शी, प्रतिलिपि योग्य (reproducible), और निर्विवाद रूप से सत्य बनाना संभव है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।