Breaking the Orthogonality Barrier in Quantum LDPC Codes

तकनीकी सारांश: क्वांटम LDPC कोड्स में ऑर्थोगोनैलिटी बाधा को तोड़ना

समस्या विवरण
क्लासिकल लो-डेंसिटी पैरिटी-चेक (LDPC) कोड्स बेलिफ-प्रोपेगेशन (BP) डिकोडिंग प्रदर्शन और न्यूनतम दूरी (minimum distance) में सुधार करने के लिए टैनर ग्राफ की गर्थ (girth) बढ़ाने पर निर्भर करते हैं। हालांकि, यह सिद्धांत क्वांटम LDPC कोड्स, विशेष रूप से कैलडरबैंक-शोर-स्टीन्स (CSS) कोड्स पर सीधे तौर पर लागू नहीं होता है, क्योंकि इसमें $X$ और $Z$ पैरिटी-चेक मैट्रिसेस ($H_X H_Z^T = 0$) के बीच ऑर्थोगोनैलिटी (orthogonality) की बाधा होती है।

मानक CSS कंस्ट्रक्शन में, नियमित डिग्री डिस्ट्रीब्यूशन और ऑर्थोगोनैलिटी दोनों को लागू करने से आमतौर पर गर्थ में कमी आती है और न्यूनतम दूरी पर संरचनात्मक ऊपरी सीमाएँ (structural upper bounds) लग जाती हैं। इस गिरावट का एक प्राथमिक तंत्र वह "रो डिलीशन" (row deletion) विधि है जिसका उपयोग कोड रेट को समायोजित करने के लिए किया जाता है। जब सक्रिय चेक मैट्रिसेस बनाने के लिए पैरेंट मैट्रिसेस से पंक्तियाँ (rows) हटाई जाती हैं, तो विलुप्त (latent) पंक्तियाँ अक्सर सक्रिय मैट्रिसेस के प्रति ऑर्थोगोनल रहती हैं। फलस्वरूप, ये कम-भार वाली विलुप्त पंक्तियाँ गैर-तुच्छ लॉजिकल ऑपरेटर्स (non-trivial logical operators) बन सकती हैं, जो न्यूनतम दूरी को पंक्ति के भार (row weight) तक सीमित कर देती हैं। मौजूदा कंस्ट्रक्शन, जैसे कि सर्कुलेंट परम्यूटेशन मैट्रिसेस (CPMs) पर आधारित, अक्सर निश्चित गर्थ सीमाओं (जैसे कि कॉलम वेट $\ge 3$ के लिए गर्थ $\le 6$) का सामना करते हैं या उन्हें जटिल लिफ्टिंग की आवश्यकता होती है जो दूरी के क्षरण (distance degradation) की समस्या को पूरी तरह से हल नहीं करती है।

कार्यप्रणाली (Methodology)
लेखक एक ऐसा कंस्ट्रक्शन फ्रेमवर्क प्रस्तावित करता है जो सक्रिय उप-मैट्रिसेस (active submatrices) के ऑर्थोगोनैलिटी आवश्यकता को पूर्ण पैरेंट मैट्रिसेस के ऑर्थोगोनैलिटी से अलग करके "ऑर्थोगोनैलिटी बैरियर" को तोड़ता है। मुख्य कार्यप्रणाली में शामिल है:

1. सक्रिय बनाम विलुप्त ऑर्थोगोनैलिटी (Active vs. Latent Orthogonality): पूर्ण पैरेंट मैट्रिसेस $\hat{H}_X$ और $\hat{H}_Z$ के ऑर्थोगोनल होने की आवश्यकता के बजाय, डिज़ाइन केवल सक्रिय भागों ($H_X H_Z^T = 0$) पर ऑर्थोगोनैलिटी लागू करता है। महत्वपूर्ण रूप से, डिज़ाइन यह सुनिश्चित करता है कि विलुप्त भाग ($\tilde{H}_X, \tilde{H}_Z$) सक्रिय मैट्रिसेस के प्रति ऑर्थोगोनल न हों ($H_X \tilde{H}_Z^T \neq 0$ और $H_Z \tilde{H}_X^T \neq 0$)। यह रोकता है कि कम-भार वाली विलुप्त पंक्तियाँ स्वतः ही लॉजिकल ऑपरेटर्स न बन जाएँ।
2. APMs के साथ सामान्यीकृत हगवारा-इमाई कोड्स: यह कंस्ट्रक्शन ब्लॉक-सर्कुलेंट संरचनाओं वाले प्रोटोग्राफ-आधारित सामान्यीकृत हगवारा-इमाई कोड्स का उपयोग करता है। लेखक मानक CPMs के बजाय एफ़ाइन परम्यूटेशन मैट्रिसेस (APMs) का उपयोग करते हैं। APMs बीजगणितीय सामंजस्य स्थितियों (algebraic congruence conditions) के माध्यम से नियंत्रित कम्यूटेटिविटी (commutativity) की अनुमति देते हैं।
3. कम्यूटेटिविटी नियंत्रण (Commutativity Control): लेखक उन पर्याप्त स्थितियों को व्युत्पन्न करते हैं जहाँ विशिष्ट परम्यूटेशन मैट्रिक्स जोड़े सक्रिय ऑर्थोगोनैलिटी को संतुष्ट करने के लिए कम्यूट करते हैं, जबकि अन्य जोड़े जानबूझकर गैर-कम्यूटिंग बनाए जाते हैं ताकि पैरेंट ऑर्थोगोनैलिटी को तोड़ा जा सके। इसे इंटरैक्शन मैट्रिसेस $\Psi_r$ के माध्यम से औपचारिक रूप दिया गया है। डिज़ाइन यह सुनिश्चित करता है कि $\Delta$ सेट में मौजूद अंतरों $r$ के लिए $\Psi_r = 0$ हो, जबकि $\Delta$ के बाहर के अंतरों के लिए $\Psi_r \neq 0$ हो।
4. क्रमिक निर्माण और ट्रैपिंग सेट दमन (Sequential Construction and Trapping Set Suppression): एक मल्टी-आर्म्ड बैंडिट ह्यूरिस्टिक द्वारा निर्देशित एक क्रमिक खोज एल्गोरिदम, APM मापदंडों का चयन करता है जो कम्यूटेटिविटी बाधाओं को संतुष्ट करते हुए छोटे चक्रों (विशेष रूप से 4- और 6-साइकिल) से बचते हैं। लेखक स्पष्ट रूप से एलीमेंट्री ट्रैपिंग सेट्स (ETS) का एक पुस्तकालय निर्मित करते हैं और BP डिकोडिंग स्टॉल का कारण बनने वाली हानिकारक ट्रैपिंग संरचनाओं को कम करने के लिए मापदंडों का चयन करते हैं।

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

• सैद्धांतिक ढांचा: शोध पत्र एक ऐसा सिद्धांत स्थापित करता है जो रो डिलीशन के कारण होने वाले दूरी क्षरण को रोकने के लिए एक तंत्र प्रदान करता है। यह सिद्ध करता है कि यदि विलुप्त भाग सक्रिय भाग के प्रति ऑर्थोगोनल नहीं है, तो विलुप्त पंक्तियाँ स्वाभाविक रूप से लॉजिकल ऑपरेटर्स नहीं बनती हैं।
• गर्थ में सुधार: यह कार्य प्रदर्शित करता है कि APMs का उपयोग करने और पैरेंट-मैट्रिक्स ऑर्थोगोनैलिटी को शिथिल करने से, नियमित क्वांटम CPM-LDPC कोड्स (जिनका कॉलम वेट $\ge 3$ है) के साथ जुड़े गर्थ-6 की सीमा को पार करते हुए गर्थ 8 वाले नियमित क्वांटम LDPC कोड्स का निर्माण संभव है।
• स्पष्ट निर्माण: लेखक एक $(3, 12)$-रेगुलर क्वांटम LDPC कोड का ठोस निर्माण प्रदान करते हैं जिसके पैरामीटर्स $[[9216, 4612, \le 48]]$ हैं।
  • ब्लॉक लेंथ $n = 9216$।
  • लॉजिकल क्वबिट्स की संख्या $k = 4612$ (रेट $\approx 0.5$)।
  • गर्थ $g = 8$।
  • विलुप्त-आधारित दूरी सीमाएँ $d^{(lat)}_X = d^{(lat)}_Z = 48$।
• डिकोडिंग रणनीति: पेपर एक जॉइंट BP डिकोडर को लागू करता है जो डिपोलराइजिंग चैनल (जहाँ $X$ और $Z$ त्रुटियों को सह-संबंधित माना जाता है) के लिए है, जिसे एक कम-जटिलता वाले पोस्ट-प्रोसेसिंग एल्गोरिदम के साथ जोड़ा गया है। यह पोस्ट-प्रोसेसिंग BP स्टॉल्स को हल करने के लिए एक ETS लाइब्रेरी, फ्लिप-हिस्ट्री डिकोडिंग (FHD), और ऑर्डर्ड स्टैटिस्टिक्स डिकोडिंग (OSD) का उपयोग करती है।

परिणाम

• प्रदर्शन: पोस्ट-प्रोसेसिंग के साथ BP डिकोडिंग के तहत, निर्मित कोड डिपोलराइजिंग चैनल पर $4\%$ त्रुटि संभावना के साथ $10^{-8}$ का फ्रेम एरर रेट (FER) प्राप्त करता है।
• दूरी विश्लेषण: लेखक कठोरता से सिद्ध करते हैं कि विलुप्त-आधारित दूरी ठीक 48 है। हालांकि वे गैर-विलुप्त लॉजिकल ऑपरेटर्स के लिए प्रमाणित निचली सीमा प्रदान नहीं कर सकते, फिर भी वे रिपोर्ट करते हैं कि उनकी खोजों में कोई कम-भार वाले गैर-विलप्त लॉजिकल ऑपरेटर्स नहीं मिले। इस प्रकार, न्यूनतम दूरी 48 द्वारा ऊपरी रूप से सीमित है ($d_{min} \le 48$)।
• थ्रेशोल्ड व्यवहार: डेंसिटी इवोल्यूशन विश्लेषण बताता है कि कोड एक गैर-ऑर्थोगोनल रैंडम एन्सेम्बल के लिए $p \approx 0.05702$ के BP थ्रेशोल्ड के करीब पहुँचता है, जो दर्शाता है कि निर्माण प्रभावी डिकोडिंग के लिए पर्याप्त रैंडमनेस बनाए रखता है।
• एरर फ्लोर (Error Floor): एरर फ्लोर मुख्य रूप से दर्जों (tens) के आकार के ट्रैपिंग सेट्स के कारण होने वाले स्टॉल्स द्वारा नियंत्रित होता है, न कि कम-भार वाले लॉजिकल ऑपरेटर्स द्वारा, जो यह सुझाव देता है कि डिज़ाइन ने विशेष रूप से रो डिलीशन से जुड़ी दूरी-क्षरण प्रक्रिया को सफलतापूर्वक कम किया है।

महत्व और दावे
यह पेपर क्वांटम LDPC कोड डिज़ाइन में एक मौलिक संरचनात्मक सीमा को पार करने का दावा करता है: CSS ऑर्थोगोनैलिटी बाधा द्वारा थोपी गई रेगुलरिटी, उच्च गर्थ और बड़ी न्यूनतम दूरी के बीच का ट्रेड-ऑफ। कोड के सक्रिय भाग के लिए कम्यूटेटिविटी बाधाओं को स्थानीयकृत करके और पैरेंट-ऑर्थोगोनैलिटी को तोड़ने के लिए APMs का उपयोग करके, लेखक यह प्रदर्शित करते हैं कि गर्थ 8 और एक न्यूनतम दूरी वाला नियमित क्वांटम LDPC कोड बनाना संभव है, जो रो वेट द्वारा स्वाभाविक रूप से ऊपरी रूप से सीमित नहीं है।

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