⚛️ quantum physics

Quantum Bicycle LDPC Codes with High $kd^2/n$ from Divisor-Driven Search

यह शोधपत्र क्वांटम बाइसिकल एलडीपीसी (LDPC) कोड्स के निर्माण के लिए एक बहुपद-वलय-आधारित (polynomial-ring-based) ढांचे को प्रस्तुत करता है जो डिजाइन सत्यापन को सरल बनाता है और एक व्यवस्थित कंप्यूटर खोज को सक्षम करता है, जिससे प्रतिस्पर्धी $kd^2/n$ मेरिट फिगर वाले नए कोड प्राप्त होते हैं और छोटे ब्लॉक लंबाई पर उनके प्रदर्शन के लिए सटीक सीमाएं स्थापित होती हैं।

मूल लेखक: Liangdong Lu, Guanmin Guo, Yang Liu, Ruipan Yang

प्रकाशित 2026-08-11

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Liangdong Lu, Guanmin Guo, Yang Liu, Ruipan Yang

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक किला बनाने की कोशिश कर रहे हैं ताकि एक बहुत ही छोटे, नाजुक खजाने की रक्षा की जा सके: एक क्वांटम कंप्यूटर में संग्रहीत सूचना का एक टुकड़ा। समस्या यह है कि यह खजाना अविश्वसनीय रूप से संवेदनशील है; शोर की एक हल्की सी लहर भी इसे गिरा सकती है। इसे सुरक्षित रखने के लिए, आपको एक ढाल बनाने की आवश्यकता है जो "त्रुटि-सुधार कोड" (error-correcting codes) से बनी हो। इन कोडों को अलग-अलग कोणों से खजाने की जांच करने वाले गार्डों की एक टीम के रूप में समझें। यदि एक गार्ड शोर के कारण भ्रमित हो जाता है, तो अन्य गार्ड सच्चाई को समझ लेंगे और उसे ठीक कर देंगे।

इस ढाल को बनाने में एक बड़ी चुनौती है: एक ट्रेड-ऑफ (समझौता)। आप चाहते हैं कि ढाल इतनी मजबूत हो कि वह बड़ी गलतियों को पकड़ सके (उच्च "दूरी" या distance), लेकिन आप यह भी चाहते हैं कि यह कुशल हो ताकि आपको डेटा के एक टुकड़े की सुरक्षा के लिए लाखों गार्डों (physical qubits) की आवश्यकता न पड़े (उच्च "आयाम" या dimension)। लंबे समय तक, सबसे अच्छे ढाल छोटे, स्थानीय गार्डों के ग्रिड (जिन्हें "सरफेस कोड" कहा जाता है) की तरह थे। वे विश्वसनीय थे, लेकिन वे अक्षम थे, क्योंकि प्रत्येक लॉजिकल क्यूबिट (खजाने) के लिए उन्हें एक विशाल संख्या में फिजिकल क्यूबिट्स (गार्डों) की आवश्यकता होती थी। वैज्ञानिक "क्वांटम LDPC कोड" नामक एक नए प्रकार की ढाल की खोज कर रहे थे। ये उन गार्डों की तरह हैं जो दूर से एक-दूसरे से बात कर सकते हैं, जिससे वे बहुत अधिक कुशल हो जाते हैं। इन "बाइसाइकिल कोड" (Bicycle codes) नामक ढालों में से एक आशाजनक परिवार है, जिसका नाम दो घूमते हुए पहियों के कारण रखा गया है जिन्हें पूरी तरह से तालमेल में रहना चाहिए।

हालाँकि, इन बाइसिकल कोडों को डिजाइन करना अंधेरे में सुई खोजने जैसा था। पुराने तरीके जटिल समूह गणित (group mathematics) पर निर्भर थे, जिससे यह जानना कठिन हो जाता था कि कोड कितना अच्छा है जब तक कि आप परीक्षण के लिए पूरा विशाल तंत्र न बना लें। यह धीमा, अप्रत्यक्ष और अक्सर सर्वोत्तम डिजाइनों को चूक जाने वाला तरीका था।

यह शोध पत्र इन बाइसिकल कोडों को डिजाइन करने का एक चतुर नया तरीका पेश करता है, जो इस खोज को अंधेरे में हाथ से महसूस करने के बजाय एक सटीक बीजगणितीय रेसिपी (algebraic recipe) में बदल देता है। लेखकों ने महसूस किया कि जब आप इन कोडों को बहुपदों (polynomials - चर जैसे $x$ वाले गणितीय व्यंजक) के लेंस से देखते हैं, तो उन्हें काम करने के नियम आश्चर्यजनक रूप से सरल हो जाते हैं। उन्होंने पाया कि "स्व-लंबता" (self-orthogonality - वह नियम जो गार्डों को आपस में लड़ने से रोकता है) अपने आप ही घटित होती है यदि आप सही बहुपदों का चयन करें। इससे भी बेहतर, उन्होंने खोजा कि आप उन बहुपदों पर एक सरल गणितीय प्रक्रिया जिसे "महत्तम समापवर्तक" (greatest common divisor) कहा जाता है, का उपयोग करके बिल्कुल सटीक रूप से गणना कर सकते हैं कि कोड कितने लॉजिकल क्यूबिट की रक्षा करेगा। इसका अर्थ यह है कि वे कोड बनाने से पहले ही खराब डिजाइनों को तुरंत छान सकते हैं।

इस "डिवाइजर-ड्रिवन सर्च" (divisor-driven search) का उपयोग करते हुए, टीम ने हजारों बहुपद संयोजनों का परीक्षण करने के लिए एक कंप्यूटर प्रोग्राम चलाया। उन्होंने कई नए कोड खोजे जो पिछले रिकॉर्डों से काफी बेहतर हैं। उदाहरण के लिए, उन्होंने $[[66, 20, 7]]_2$ पैरामीटर वाला एक कोड खोजा। सरल शब्दों में, यह कोड 20 लॉजिकल क्यूबिट की रक्षा करने के लिए 66 फिजिकल क्यूबिट का उपयोग करता है और 7 त्रुटियों तक को ठीक कर सकता है। जब उन्होंने एक मानक स्कोर जिसे $kd^2/n$ कहा जाता है, का उपयोग करके इसकी दक्षता को मापा, तो इस नए कोड ने 14.85 का स्कोर प्राप्त किया। यह पिछले स्टार प्लेयर, एक प्रसिद्ध कोड जिसे "बाइवेरिएट बाइसिकल कोड" ( $[[144, 12, 12]]_2$ ) कहा जाता है, को पछाड़ देता है, जिसका स्कोर 12 था, भले ही नया कोड आधे से भी कम फिजिकल क्यूबिट का उपयोग करता है। उन्होंने विभिन्न आकारों के लिए काम करने वाले कोड का एक पूरा परिवार भी खोजा, जिसमें कुछ ऐसे भी शामिल हैं जो केवल 2 लॉजिकल क्यूबिट की रक्षा कर सकते हैं लेकिन 9 त्रुटियों तक को ठीक कर सकते हैं, जो इतने छोटे सिस्टम के लिए बहुत उच्च स्तर की सुरक्षा है।

शोध पत्र ने यह भी बहुत महत्वपूर्ण कार्य किया: इसने एक स्पष्ट रेखा खींची कि यह नई विधि क्या कर सकती है और क्या नहीं कर सकती। 48 क्यूबिट के एक विशिष्ट मामले का परीक्षण करके, उन्होंने सिद्ध किया कि जबकि उनकी बहुपद विधि शक्तिशाली है, इसकी एक सीमा भी है। उन्होंने दिखाया कि इस विशिष्ट कोड परिवार में, 10 लॉजिकल क्यूबिट और 5 की दूरी वाला कोड होना गणितीय रूप से असंभव है; गणित मजबूर करता है कि यदि दूरी 5 है, तो संरक्षित क्यूबिट की संख्या घटकर 9 रह जाएगी। यह "रैंक डिजेनेरेसी" (rank degeneracy) सिद्ध करती है कि कुछ क्वांटम घटनाएं बहुत जटिल होती हैं और उनके लिए अधिक जटिल समूह-सैद्धांतिक (group-theoretic) विधियों की आवश्यकता होती है।

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

तकनीकी सारांश: उच्च $kd^2/n$ वाले विभाजक-संचालित खोज (Divisor-Driven Search) से क्वांटम बाइसिकल LDPC कोड

समस्या विवरण
क्वांटम लो-डेंसिटी पैरिटी-चेक (LDPC) कोड, विशेष रूप से बाइसिकल परिवार (दो-ब्लॉक सर्कुलेंट कोड), सतह कोडों (surface codes) के एक आशाजनक विकल्प के रूप में उभर रहे हैं क्योंकि वे क्यूबिट ओवरहेड को कम करते हुए उच्च त्रुटि थ्रेशोल्ड बनाए रखते हैं। हालाँकि, इन कोडों का डिज़ाइन ऐतिहासिक रूप से समूह-बीजगणितीय (group-algebraic) सूत्रीकरणों (जैसे, सामान्यीकृत बाइसिकल कोड, दो-ब्लॉक ग्रुप अलजेब्रा कोड) पर निर्भर रहा है। इन ढाँचों में, खोज स्थान (search space) समूह-उपसमूह युग्मों और सपोर्ट सेट्स द्वारा अनुक्रमित होता है, जो अप्रत्यक्ष है और जिसे छाँटना (prune करना) कठिन है। महत्वपूर्ण रूप से, प्रमुख क्वांटम पैरामीटर—डायमेंशन ( $k$ ) और डिस्टेंस ( $d$ )—को बड़े पैरिटी-चेक मैट्रिसेस बनाने से पहले बीजगणितीय रूप से निर्धारित नहीं किया जा सकता है। यह प्रत्येक संभावित उम्मीदवार के लिए कम्प्यूटेशनल रूप से महंगी मैट्रिक्स ऑपरेशन्स की आवश्यकता पैदा करता है, जिससे उच्च डायमेंशन $k$ वाले पैरामीटर रिजीमों की खोज सीमित हो जाती है।

कार्यप्रणाली (Methodology)
लेखक बाइसिकल कोड निर्माण को पूरी तरह से सिम्प्लेक्टिक बहुपद डोमेन (symplectic polynomial domain) के भीतर पुनर्गठित करते हैं, विशेष रूप से चक्रीय मामले के लिए जहाँ अंतर्निहित समूह $G = \mathbb{Z}_l$ है। $G = \mathbb{Z}_l$ के लिए समूह बीजगणित $\mathbb{F}_2[\mathbb{Z}_l]$ को कोटिएंट रिंग $R = \mathbb{F}_2[x]/(x^l - 1)$ में मैप करके, लेखक एक ऐसा बीजगणितीय ढांचा स्थापित करते हैं जहाँ:

स्व-ऑर्थोगोनैलिटी (Self-Orthogonality): CSS ऑर्थोगोनैलिटी स्थिति ( $H_X H_Z^T = 0$ ) बहुपद रिंग की क्रमविनिमेयता (commutativity) का एक स्वतः परिणाम बन जाती है, जिससे स्पष्ट कम्यूटेशन चेक्स की आवश्यकता समाप्त हो जाती है।
डायमेंशन नियंत्रण: क्वांटम डायमेंशन $k$ को सटीक रूप से एक बहुपद महत्तम समापवर्तक (gcd) के रूप में प्राप्त किया जाता है: $k = 2 \deg \gcd(a(x), b(x), x^l - 1)$ । यह मैट्रिक्स बनाने से पहले ही उम्मीदवारों को डायमेंशन के आधार पर प्री-फ़िल्टर करने की अनुमति देता है।
डिस्टेंस सर्टिफिकेशन: न्यूनतम दूरी (minimum distance) को कैलडेरबैंकॉर्ड (Calderbank) पत्राचार का उपयोग करके सटीक रूप से गणना की जाती है, जो स्टेबलाइजर कोड को $\mathbb{F}_4$ पर एडिटिव कोड्स में मैप करता है। लेखक स्टेबलाइजर इमेज को बाहर करने के लिए एक "टू-कर्नेल" (two-kernel) गणना लागू करते हैं, जिससे यह सुनिश्चित होता है कि दूरी वास्तविक क्वांटम दूरी को दर्शाती है न कि केवल चेक वेट को।

लेखक एक विभाजक-संचालित खोज एल्गोरिदम (Algorithm 1) प्रस्तावित करते हैं। रैंडम सैंपलिंग के बजाय, यह खोज लक्ष्य विभाजक $g(x)$ (जो $x^l - 1$ का एक भाजक है) को कम-वेट "लिफ्ट" बहुपदों $u(x)$ और $v(x)$ के साथ गुणा करके बहुपद $a(x)$ और $b(x)$ का निर्माण करती है। यह संरचना एक विशिष्ट डायमेंशन रेंज ( $k \approx 2 \deg g$ ) की गारंटी देती है और स्टेबलाइजर रो वेट को कम (LDPC गुण) रखती है। पाइपलाइन सटीक दूरी गणना में जाने से पहले बीजगणितीय फिल्टर (gcd चेक, इनवोल्यूशन सिमेट्री चेक) लागू करती है।

प्रमुख योगदान

बहुपद ढांचा (Polynomial Framework): यह शोधपत्र सिद्ध करता है कि चक्रीय समूहों के लिए, बाइसिकल निर्माण एक बहुपद रिंग में सिमट जाता है जहाँ स्व-ऑर्थोगोनैलिटी स्वतः होती है और डायमेंशन एक सरल gcd गणना है। यह कोड खोज को मैट्रिक्स-आधारित गणना से बदलकर एक बीजगणितीय रूप से प्री-फ़िल्टर्ड प्रक्रिया में बदल देता है।
उच्च-प्रदर्शन कोड की खोज: इस ढांचे का उपयोग करते हुए, लेखकों ने उच्च $kd^2/n$ वाले प्रतिस्पर्धी आंकड़ों वाले कोडों की खोज की। विशेष रूप से, उन्होंने एक $[[66, 20, 7]]_2$ कोड खोजा जिसका $kd^2/n = 14.85$ है। यह बाइवैरियट बाइसिकल कोड $[[144, 12, 12]]_2$ ( $kd^2/n = 12$ ) से बेहतर प्रदर्शन करता है, जबकि इसका ब्लॉक लेंथ आधे से भी कम है। अन्य उल्लेखनीय खोजों में $[[46, 2, 8]]_2$ , $[[66, 2, 9]]_2$ , और $n=90$ पर $k=20$ तक डायमेंशन वाले कोड शामिल हैं।
बाउंड्री थ्योरम (Boundary Theorem): लेखक अपने विश्लेषण को $n=48$ पर वेट-8 सिमेट्रिक कॉसेट-2BGA परिवार से आगे बढ़ाते हैं। वे सिद्ध करते हैं कि इस विशिष्ट परिवार में, $d=5$ की दूरी एक रैंक डिजनरेसी ( $k=9$ ) को मजबूर करती है, जिससे इस परिवार के भीतर $[[48, 10, 5]]_2$ कोड का अस्तित्व समाप्त हो जाता है। इसके विपरीत, वे एक न्यूनतम 48-एलिमेंट ग्रुप का उपयोग करके एक $[[48, 10, 6]]_2$ कोड का निर्माण करते हैं, जो पिछले कार्यान्वयन (जिसके लिए 72-एलिमेंट ग्रुप की आवश्यकता थी) में सुधार करता है।

परिणाम

कोड पैरामीटर्स: खोज ने $[[42, 12, 4]]_2$ और $[[62, 12, 4]]_2$ जैसे छोटे कोडों को रिकवर किया और $n \in \{46, 50, 54, 66, 70, 78, 90, 170\}$ के लिए कोडों की एक व्यापक तालिका तैयार की। $[[66, 20, 7]]_2$ कोड उच्च-डायमेंशन, मध्यम-डिस्टेंस रिजीम में एक महत्वपूर्ण सफलता का प्रतिनिधित्व करता है, जो कि एक ऐसा क्षेत्र है जिसे ग्रुप-थ्योरेटिक खोजों द्वारा पहले कम तलाशा गया था।
डिकोडिंग प्रदर्शन: लेखकों ने कोड-कैपेसिटी नॉइज़ के तहत बेलिफ प्रोपेगेशन विद ऑर्डर्ड स्टैटिस्टिक्स डिकोडिंग (BP-OSD) का उपयोग करके चयनित लो-वेट कोड्स का बेंचमार्क किया। परिणाम स्पष्ट वॉटरफॉल रीजन दिखाते हैं। जबकि संदर्भ बाइवैरियट बाइसिकल कोड (जैसे, $[[144, 12, 12]]_2$ ) कम चेक वेट ( $w=6$ ) के कारण तीव्र सब-थ्रेशोल्ड ढलान प्रदर्शित करते हैं, नए कोड प्रतिस्पर्धी लॉजिकल एरर रेट दिखाते हैं, जिनमें से कुछ (जैसे, $[[170, 10, 8]]_2$ ) 2% तक के फिजिकल एरर रेट पर भी कोई लॉजिकल फेलियर नहीं दिखाते हैं।
संरचनात्मक अंतर्दृष्टि: शोधपत्र पहचानता है कि बहुपद gcd पर आधारित डायमेंशन फॉर्मूला, कॉसेट क्रियाओं (coset actions) वाले अधिक सामान्य रैंक फॉर्मूला का "डिफेक्ट-जीरो" मामला है। $n=48$ का विश्लेषण प्रकट करता है कि रैंक डिजनरेसी विशेष रूप से सिमेट्रिक कॉसेट परिवार में $d=5$ से जुड़ी हुई है, जो बहुपद ढांचे द्वारा कैप्चर की गई घटनाओं को वास्तविक कॉसेट-थ्योरेटिक विश्लेषण की आवश्यकता वाले मामलों से अलग करती है।

महत्व
यह शोधपत्र दावा करता है कि यह बाइसिकल-टाइप क्वांटम LDPC कोडों के लिए एक व्यवस्थित मार्ग खोलता है जो पारंपरिक समूह-सिद्धांत खोजों की पहुंच से परे है। खोज प्रतिमान को बहुपद डोमेन में स्थानांतरित करके, लेखक उच्च डायमेंशन ( $k$ ) वाले कोडों की कुशल खोज को सक्षम करते हैं जो पहले अप्राप्य थे। यह ढांचा अपने स्वयं के सीमाओं को सटीक रूप से परिभाषित करता है: यह सफलतापूर्वक उन कोडों को कैप्चर करता है जहाँ चक्रीय संरचना बीजगणितीय प्री-फ़िल्टरिंग की अनुमति देती है, जबकि स्पष्ट रूप से पहचानता है (जैसा कि $n=48$ के मामले में हुआ) कि "वास्तविक कॉसेट-थ्योरेटिक घटनाएँ" (जैसे रैंक डिजनरेसी) कहाँ से शुरू होती हैं। यह कार्य कोड खोज के लिए एक व्यावहारिक उपकरण और समूह-बीजगणित निर्माणों और सिम्प्लेक्टिक बहुपद सूत्रीकरणों के बीच संबंध के लिए एक सैद्धांतिक स्पष्टीकरण दोनों प्रदान करता है।

इसी तरह के और पेपर