Decoding Algorithm to Composite Errors Consisting of Deletions and Insertions for Quantum Deletion-Correcting Codes Based on Quantum Reed-Solomon Codes

तकनीकी सारांश: हागिवारा कोड्स के लिए कंपोजिट एरर्स को डिकोड करने हेतु एल्गोरिदम

समस्या विवरण
क्वांटम सूचना प्रणालियाँ सिंक्रोनाइज़ेशन त्रुटियों (synchronization errors) के प्रति संवेदनशील होती हैं, विशेष रूप से क्वांटम विलोपन त्रुटियाँ (quantum deletion errors - एक क्यूबिट का नुकसान) और क्वांटम समावेशन त्रुटियाँ (quantum insertion errors - एक नया क्यूबिट जुड़ना)। जबकि क्वांटम रीड-सोलोमन (RS) कोड और उनके डेरिवेटिव, जिन्हें हागिवारा कोड्स के रूप में जाना जाता है, विलोपन और समावेशन दोनों से बनी कंपोजिट त्रुटियों को ठीक करने में सक्षम स्थापित किए गए हैं, ऐसी कंपोजिट त्रुटियों के लिए एक कुशल डिकोडिंग एल्गोरिदम एक खुला प्रश्न बना हुआ था। मौजूदा डिकोडिंग विधियाँ मुख्य रूप से केवल विलोपन या केवल समावेशन, या प्रत्येक के एकल उदाहरणों को ठीक करने तक सीमित थीं, लेकिन सामान्य कंपोजिट परिदृश्यों के लिए नहीं जहाँ कुल त्रुटियों की संख्या सीमित हो।

कार्यप्रणाली
लेखक हागिवारा कोड्स के लिए एक डिकोडिंग एल्गोरिदम प्रस्तावित करते हैं जो $t_d$ विलोपन और $t_i$ समावेशन वाली कंपोजिट त्रुटियों को संभालता है, जहाँ $t_d + t_i \le t$ और $t_d, t_i \neq 0$। कार्यप्रणाली दो चरणों में आगे बढ़ती है:

1. शास्त्रीय समकक्ष विकास (Classical Counterpart Development): लेखक पहले एकल-समावेशन/एकल-विलोपन त्रुटियों के लिए पिछले एल्गोरिदम को शास्त्रीय सेटिंग में सामान्यीकृत करते हैं। हागिवाना कोड्स का निर्माण एक शास्त्रीय रीड-सोलोमन (RS) कोड के ब्लॉकों के बीच "मार्कर" अनुक्रमों (विशेष रूप से $0^{(t)}1^{(t)}$) को सम्मिलित करके किया जाता है। एल्गोरिदम (एल्गोरिदम 1) अपेक्षित मार्कर सीमाओं के सापेक्ष मार्कर प्रारूप के संरक्षण या विनाश का विश्लेषण करके प्राप्त अनुक्रम का परीक्षण करता है।

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

2. क्वांटम डोमेन में विस्तार: शास्त्रीय एल्गोरिदम को क्वांटम डोमेन में विस्तारित किया जाता है। लेखक "ब्लॉक-ट्रांसफॉर्मेशन एरर्स" को परिभाषित करते हैं जो एक क्वांटम ब्लॉक $R_b$ को डेंसिटी मैट्रिक्स स्पेस में एक अवस्था में परिवर्तित करते हैं। वे प्रदर्शित करते हैं कि विलोपन और समावेशन की एक कंपोजित त्रुटि ($I_Q \circ D_P$) को प्रभावित क्यूबिट्स पर पॉली एरर्स (Pauli errors) के एक जटिल रैखिक संयोजन और क्यूबिट स्थितियों के क्रमपरिवर्तन (permutation) में विघटित किया जा सकता है।

   • मार्कर क्यूबिट्स को मापने से (जो RS कोड के डेटा क्यूबिट्स को नष्ट नहीं करता है), रिसीवर को परिणामों का एक शास्त्रीय अनुक्रम प्राप्त होता है।
   • यह पहचानने के लिए कि किन ब्लॉकों में इरेज़र्स (सूचना की हानि) हुए या किनमें यूनिटरी ट्रांसफॉर्मेशन (सब्स्टिट्यूशन) हुए, शास्त्रीय एल्गोरिदम 1 को इन मापन परिणामों पर लागू किया जाता है।
   • क्वांटम डिकोडिंग फिर अंतर्निहित CSS कोड संरचना (जो RS कोड $C_1$ और $C_2$ से निर्मित है) पर इरेज़र्स और यूनिटरी एरर्स को ठीक करने में बदल जाती है, जो कि एक ऐसा कार्य है जिसके लिए कुशल एल्गोरिदम पहले से मौजूद हैं।

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

• एल्गोरिदम प्रस्ताव: यह शोध पत्र हागिवारा कोड्स के लिए पहला कुशल डिकोडिंग एल्गोरिदम प्रस्तुत करता है जो सामान्य कंपोजिट त्रुटियों ($t_d$ विलोपन और $t_i$ समावेशन) को ठीक करने में सक्षम है, जहाँ $t_d + t_i \le t$।
• सैद्धांतिक औचित्य: लेखक एक कठोर प्रमाण (प्रमेय 2) प्रदान करते हैं कि प्रस्तावित एल्गोरिदम प्राप्त अनुक्रम को अधिकतम $e$ ब्लॉक-इरेज़र्स और $m$ ब्लॉक-सब्स्टिट्यूशंस वाले रूप में परिवर्तित करता है, जो शर्त $e + 2m \le t$ को संतुष्ट करता है। यह सुनिश्चित करता है कि त्रुटि अंतर्निहित रीड-सोलोमन कोड की सुधार क्षमता के भीतर है।
• त्रुटि अपघटन (Error Decomposition): शोध पत्र स्थापित करता है (प्रमेय 1 और कोरोलरी 1) कि हागिवारा कोड ब्लॉक पर किसी भी कंपोजिट विलोपन/समावेशन त्रुटि को प्रभावित क्यूबिट्स पर पॉली एरर्स के एक रैखिक संयोजन के रूप में दर्शाया जा सकता है। यह सिंक्रोनाइज़ेशन त्रुटियों और मानक क्वांटम एरर करेक्शन फ्रेमवर्क के बीच के अंतर को पाटता है।

परिणाम
यह शोध पत्र $t=4$ वाले एक विशिष्ट शास्त्रीय हागिवारा कोड के उदाहरण के माध्यम से अपने एल्गोरिदम के संचालन का प्रदर्शन करता है। उदाहरण यह दर्शाता है कि कैसे एल्गोरिदम कई ब्लॉकों में समावेशन और विलोपन के मिश्रण को सही ढंग से पहचानता है, उन्हें इरेज़र्स और सब्स्टिट्यूशंस के एक पैटर्न में परिवर्तित करता जिसे अंतर्निहित RS डिकोडर हल कर सकता है। सैद्धांतिक परिणाम पुष्टि करते हैं कि एल्गोरिदम सफलतापूर्वक जटिल सिंक्रोनाइज़ेशन त्रुटियों को क्वांटम RS कोड के लिए सुधारात्मक रूप में मैप करता है।

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