Bicycle Race: small two-block codes on the Pareto frontier

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

इन कोड्स का एक विशिष्ट, सरल परिवार, जिसे 'टू-ब्लॉक कोड' के रूप में जाना जाता है, अपनी संरचनात्मक भव्यता के कारण लंबे समय से पसंदीदा रहा है। इन्हें एक गणितीय ढांचे का उपयोग करके बनाया जाता है जो उन्हें द्वि-आयामी (two-dimensional) पैटर्न में व्यवस्थित करने की अनुमति देता है, जो उन उभरते क्वांटम हार्डवेयर के लिए एक आदर्श मेल है जो चल सकने वाले परमाणुओं (movable atoms) का उपयोग करते हैं। लंबे समय तक, वैज्ञानिक समुदाय का मानना था कि हालांकि ये सरल कोड निर्माण के लिए अच्छे हैं, लेकिन वे अधिक जटिल, अमूर्त डिजाइनों के साथ प्रतिस्पर्धा करने के लिए पर्याप्त शक्तिशाली नहीं हैं। प्रचलित धारणा यह थी कि सरलता प्रदर्शन की कीमत पर आती है। यह शोध पत्र उस धारणा को चुनौती देता है और एक सीधा प्रश्न पूछता है: क्या हमने बस गहराई से देखना बंद कर दिया है? इन सरल कोडों के हर संभावित रूपांतर की व्यवस्थित रूप से जांच करके, शोधकर्ताओं ने पाया कि सरल और जटिल के बीच का अंतर उतना बड़ा नहीं है जितना सोचा गया था, और कुछ बेहतरीन प्रदर्शन करने वाले कोड इसी सरल परिवार के भीतर साधारण रूप से छिपे हुए हैं।

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

परिणाम आश्चर्यजनक थे। टीम ने पाया कि छोटी प्रणालियों के लिए, ये सरल टू-ब्लॉक कोड न केवल प्रतिस्पर्धी हैं; बल्कि वे अक्सर उपलब्ध सर्वोत्तम विकल्प होते हैं। उन्होंने कई नए कोडों की पहचान की जो अपने वर्ग के पहले से ज्ञात अग्रणी कोडों से बेहतर प्रदर्शन करते हैं। उदाहरण के लिए, उन्होंने 102 कणों वाला एक कोड खोजा जो 20 इकाइयों की जानकारी संग्रहीत कर सकता है और 10 की दूरी तक त्रुटियों को सुधार सकता है, और एक अन्य जिसमें 120 कणों के साथ 24 इकाइयाँ संग्रहीत हैं और समान त्रुटि-सुधार शक्ति है। ये कोड विशेष रूप से मूल्यवान हैं क्योंकि उन्हें एक दोहराते हुए पैटर्न के साथ एक सपाट सतह पर बिछाया जा सकता है, जो वर्तमान में विकसित किए जा रहे न्यूट्रल-एटम क्वांटम कंप्यूटरों के लिए आदर्श है। एक शोर वाले वातावरण में इन कोडों के व्यवहार के सिमुलेशन में, उन्होंने त्रुटियों के प्रति मजबूत प्रतिरोध दिखाया, जिससे पता चलता है कि इनका उपयोग जल्द ही वास्तविक मशीनों में किया जा सकता है।

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

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

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

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