Symplectic Barnes-Wall GKP Codes: Deterministic $O(N \log^2 N)$ Decoding and Logarithmic Rate Scaling

कल्पना कीजिए कि आप एक तूफानी महासागर के पार एक गुप्त संदेश भेजने की कोशिश कर रहे हैं। क्वांटम कंप्यूटिंग की दुनिया में, यह "महासागर" बोसोनिक मोड (bosonic modes) नामक अदृश्य कंपनों का एक समुद्र है, और "संदेश" वह नाजुक जानकारी है जो शोर की हल्की सी लहर से भी आसानी से बिगड़ सकती है। संदेश को सुरक्षित रखने के लिए, वैज्ञानिक एक चतुर तरकीब का उपयोग करते हैं जिसे गोट्समैन-किटाएव-प्रेस्किल (GKP) कोड कहा जाता है। इसे ऐसे समझें जैसे आप अपने संदेश को महासागर में तैरते एक विशाल, अदृश्य ग्रिड (grid) पर व्यवस्थित कर रहे हैं। यदि कोई लहर आपके संदेश को केंद्र से थोड़ा सा खिसका देती है, तो ग्रिड एक सुरक्षा जाल की तरह काम करता है, जो उसे वापस निकटतम सुरक्षित स्थान पर खींच लेता है। लक्ष्य इन ग्रिडों को इस तरह बनाना है कि वे बहुत सारी जानकारी (उच्च दर/high rate) रख सकें और साथ ही बड़ी लहरों से बचने के लिए पर्याप्त मजबूत (उच्च दूरी/high distance) भी हों। हालाँकि, लंबे समय तक वैज्ञानिकों को एक निराशाजनक दुविधा का सामना करना पड़ा: जो ग्रिड बहुत अधिक जानकारी रखते थे, वे आमतौर पर बहुत नाजुक होते थे, और जो ग्रिड बेहद मजबूत थे, वे बहुत कम डेटा रख पाते थे। इसके अलावा, जब संदेश को पटरी से उतरने के बाद ठीक करने की आवश्यकता होती थी, तो उस गणितीय पहेली को हल करना अविश्वसनीय रूप से कठिन होता था जिसमें गणना करने में बहुत समय लगता था।

यह शोध पत्र इन क्वांटम ग्रिडों को बनाने का एक नया, चतुर तरीका पेश करता है जो बारन्स-वॉल लैटिस (Barnes-Wall lattice) नामक एक विशेष गणितीय पैटर्न का उपयोग करता है। शोधकर्ता, शानशांग ल्यू (Shanxiang Lyu) ने एक विशिष्ट प्रकार का ग्रिड बनाया है जो एक उच्च-गति, नियतात्मक (deterministic) बचाव दल की तरह कार्य करता है। त्रुटियों को अनुमान लगाने या धीमी, जटिल विधियों का उपयोग करने के बजाय, उनका डिज़ाइन एक कंप्यूटर को यह गणना करने की अनुमति देता है कि सटीक सुधार क्या होगा, और वह भी ऐसे समय में जो सिस्टम के बड़ा होने पर बहुत धीरे-धीरे बढ़ता है—विशेष रूप से, इसमें लगने वाला समय $N \log_2 N$ के समानुपाती है, जहाँ $N$ मोड (या महासागर में "लेन") की संख्या है। शर्त यह है कि इस सुपर-फास्ट, गारंटीकृत सुधार को पाने के लिए, वे यह स्वीकार करते हैं कि ग्रिड की विशाल, विनाशकारी लहरों से बचने की क्षमता स्थिर रहती है और सिस्टम के बढ़ने के साथ मजबूत नहीं होती है। यह एक समझौता है: उन्होंने बढ़ती शक्ति के बजाय गति और दक्षता को चुना है, लेकिन कुछ प्रकार के शोर के लिए, यह सिस्टम को अविश्वसनीय रूप से व्यावहारिक बनाता है।

मुख्य विचार: क्वांटम शोर के लिए एक तितली का जाल (Butterfly Net)

इस कार्य का मूल मंत्र "मल्टीमोड GKP कोड" बनाने की एक नई विधि है। सरल शब्दों में, एक "मोड" केवल क्वांटम जानकारी के लिए एक एकल चैनल है, जैसे हाईवे पर एक एकल लेन। अधिकांश वर्तमान विधियाँ त्रुटियों को लेन-दर-लेन या छोटे, स्थानीय समूहों में ठीक करने का प्रयास करती हैं। यह शोध पत्र एक अलग दृष्टिकोण का सुझाव देता है: सभी लेन को एक विशाल, परस्पर जुड़े हुए जाल में उलझा (entangle) दें।

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

समझौता: गति बनाम शक्ति

यहाँ सबसे महत्वपूर्ण हिस्सा है: लेखक ने एक जानबूझकर किया गया चुनाव किया है। त्रुटि सुधार (error correction) की दुनिया में, आमतौर पर डेटा पैक करने की मात्रा (दर/rate) और आप इसे कितनी अच्छी तरह सुरक्षित कर सकते हैं (दूरी/distance) के बीच एक खींचतान होती है।

• दर (The Rate): उनका नया कोड डेटा-पैकिंग का चैंपियन है। यह $R = \frac{1}{2} \log_2 N$ की दर प्राप्त करता है। इसका अर्थ है कि जैसे-जैसे आप अधिक मोड जोड़ते हैं, आपके द्वारा संग्रहीत की जा सकने वाली जानकारी का आकार लघुगणकीय (logarithmically) रूप से बढ़ता है। उदाहरण के लिए, यदि आपके पास 8 मोड हैं, तो आप 1.5 लॉजिकल क्यूबिट स्टोर कर सकते हैं; यदि आपके पास 128 मोड हैं, तो आप भारी मात्रा में डेटा स्टोर कर सकते हैं। यह पुराने तरीकों की तुलना में बहुत बेहतर है जहाँ सिस्टम के बड़े होने पर दर लगभग शून्य हो जाती है।
• दूरी (The Distance): इसकी कीमत यह है कि कोड की "दूरी"—यानी सबसे बड़ी लहर जिसे यह झेल सकता है—$\Delta^2 = 1$ (इकाइयों में $2\pi$) पर स्थिर रहती है। जैसे-जैसे आप अधिक मोड जोड़ते हैं, यह मजबूत नहीं होती है।

शोध पत्र का तर्क है कि यह विशिष्ट हार्डवेयर सेटअप के लिए एक स्मार्ट समझौता है। जबकि अन्य विधियाँ ऐसी दूरी का वादा कर सकती हैं जो सिस्टम के आकार के साथ बढ़ती है, वे अक्सर "ह्यूरिस्टिक" (heuristic) डिकोडर्स पर निर्भर करती हैं। ये अनुमान लगाने और जांच करने वाली विधियाँ हैं जो अधिकांश समय अच्छा काम करती हैं लेकिन अप्रत्याशित रूप से विफल हो सकती हैं या गणना करने में बहुत अधिक समय ले सकती हैं। इसके विपरीत, SBW-GKP कोड एक नियतात्मक (deterministic) डिकोडर प्रदान करता है। इसका मतलब है कि कंप्यूटर हमेशा जानता है कि त्रुटि को ठीक करने के लिए सही कदम क्या है, और वह इसे $O(N \log_2 N)$ समय में करता है। यह एक ऐसे जासूस और एक ऐसे जासूस के बीच का अंतर है जो भाग्य के भरोसे अनुमान लगाकर केस सुलझाता है, और एक ऐसे जासूस के बीच जिसके पास एक सटीक मानचित्र और हर बार समाधान तक पहुँचने के लिए एक तेज़ कार है।

यह कैसे काम करता है: तूफान को बिखेरना

यह समझने के लिए कि यह कैसे काम करता है, कल्पना कीजिए कि शोर का एक स्थानीय विस्फोट होता है—जैसे हाईवे की कुछ आस-पास की लेन पर पानी की अचानक बौछार। पुराने "सरफेस-GKP" कोड में, जो स्थानीय कनेक्शनों पर निर्भर करते हैं, यह बौछार एक घातक श्रृंखला प्रतिक्रिया (chain reaction) पैदा कर सकती है, जिससे पूरा संदेश अपने मार्ग से भटक सकता है।

SBW-GKP कोड एक "ग्लोबल एंटैंगलिंग गेट" (एक क्वांटम ऑपरेशन जो सभी लेन को आपस में मिला देता है) का उपयोग करके शोर के टकराने से पहले संदेश को बिखेर देता है। जब शोर हमला करता है, तो यह केवल कुछ लेन को ही नहीं मारता; बल्कि स्कैम्बलिंग (scrambling) उस बौछार को पूरे सिस्टम में एक सूक्ष्म, विसरित पृष्ठभूमि लहर के रूप में फैला देती है। क्योंकि त्रुटि अब फैली हुई और छोटी है, नियतात्मक डिकोडर आसानी से पैटर्न को देख सकता है और संदेश को सही स्थान पर वापस ला सकता है।

शोध पत्र सिद्ध करता है कि जब तक किसी भी एकल लेन में शोर बहुत अधिक नहीं होता (विशेष रूप से, यदि विचरण $\sigma^2$ लगभग $1/(8N)$ से कम है), यह विधि हमेशा सफल होगी। यह एक संभावित घातक, केंद्रित त्रुटि को एक प्रबंधनीय, वैश्विक फुसफुसाहट में बदल देता है।

यह क्यों महत्वपूर्ण है

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

हालाँकि शोध पत्र स्वीकार करता है कि रैंडम लैटिस (random lattices) के सैद्धांतिक अधिकतमों की तुलना में स्थिर दूरी एक सीमा है, यह इस बात पर जोर देता है कि व्यावहारिक, गैर-एसिम्प्टोटिक (non-asymptotic) सिस्टम के लिए (जहाँ मोड की संख्या प्रबंधनीय है, जैसे $N \le 64$), यह निर्माण स्पष्ट और विश्वसनीय है। यह रैंडम विधियों के "टेल रिस्क" (tail risk) से बचता है, जहाँ एक खराब किस्मत के कारण ऐसा कोड मिल सकता है जो पूरी तरह विफल हो जाए। इसके बजाय, यह त्रुटियों को ठीक करने का एक गारंटीकृत, तेज़ और स्थान-कुशल तरीका प्रदान करता है, जो दोष-सहिष्णु (fault-tolerant) क्वांटम कंप्यूटर बनाने के लिए एक नया, ठोस आधार प्रदान करता है जो वास्तव में वास्तविक दुनिया में चल सकें।