🔢 mathematics

Insertion Correcting Capability for Quantum Deletion-Correcting Codes

यह शोध पत्र यह स्थापित करता है कि क्वांटम $t$ -डिलीशन-करेक्टिंग कोड एक विलगित त्रुटि गोले (disjoint error sphere) की स्थिति के तहत कुल $t$ इंसर्शन और डिलीशन त्रुटियों को भी ठीक कर सकते हैं, जबकि इन सुधार क्षमताओं को चित्रित करने के लिए क्वांटम इंडेल दूरी (quantum indel distance) को भी प्रस्तुत करता है।

मूल लेखक: Ken Nakamura, Takayuki Nozaki

प्रकाशित 2026-05-13

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

CC BY 4.0

मूल लेखक: Ken Nakamura, Takayuki Nozaki

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

कल्पना कीजिए कि आप जादुई, चमकते हुए कार्डों की एक श्रृंखला पर लिखा एक बहुमूल्य संदेश भेज रहे हैं। क्वांटम दुनिया में, इन कार्डों को qudits (क्वांटम डिजिट्स) कहा जाता है। कभी-कभी, प्रसारण के दौरान, ब्रह्मांड आपके साथ एक चाल खेलता है: एक कार्ड पूरी तरह से गायब हो सकता है (deletion/हटाना), या ढेर में एक यादृच्छिक (random), अतिरिक्त कार्ड जबरदस्ती डाल दिया जा सकता है (insertion/जोड़ना)।

यह शोध पत्र नकामूरा और नोज़ाकी द्वारा एक विशिष्ट पहेली को सुलझाता है: यदि हम एक ऐसा सिस्टम बनाते हैं जो गायब कार्डों को ठीक कर सकता है, तो क्या वह अतिरिक्त कार्डों को भी ठीक कर सकता है?

यहाँ उनके निष्कर्षों का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. मुख्य प्रश्न: "गायब बनाम अतिरिक्त" की पहेली

सामान्य (क्लासिकल) डेटा की दुनिया में, जैसे कि टेक्स्ट मैसेज भेजना, एक ज्ञात नियम है: यदि आपका सिस्टम t गायब अक्षरों को ठीक कर सकता है, तो यह स्वतः ही t गायब और अतिरिक्त अक्षरों के मिश्रण को भी ठीक कर सकता है। यह एक ऐसे जादू की तरह है जो फटे हुए पन्ने को ठीक करता है; वही जादू आमतौर पर काम करता है यदि बीच में कोई अतिरिक्त पन्ना फंस गया हो।

हालाँकि, क्वांटम दुनिया में, चीजें अजीब हैं। वैज्ञानिक अनिश्चित थे कि क्या यह नियम लागू होता है। वे जानते थे कि क्वांटम डिलीशन कोड (ऐसे सिस्टम जो गायब कार्डों को ठीक करते हैं) कुछ प्रकार के अतिरिक्त कार्डों को ठीक कर सकते हैं, लेकिन वे यह नहीं जानते थे कि क्या वे गायब और अतिरिक्त कार्डों के किसी भी संयोजन को ठीक कर सकते हैं, विशेष रूपकर जब कार्ड एक "मिश्रित" अवस्था (जैसे कि एक ताश की गड्डी जिसे फेंटा गया हो और आंशिक रूप से नष्ट कर दिया गया हो) में हों।

2. मुख्य खोज: "एकतरफा रास्ता"

लेखकों ने एक शक्तिशाली नया नियम सिद्ध किया है: हाँ, यदि एक क्वांटम कोड t गायब कार्डों को ठीक कर सकता है, तो यह कुल t त्रुटियों को भी ठीक कर सकता है, चाहे वे त्रुटियाँ गायब कार्ड हों, अतिरिक्त कार्ड हों, या दोनों का मिश्रण हों।

उपमा: कल्पना कीजिए कि आपके पास एक सुरक्षा जाल (safety net) है जिसे गिरते हुए कलाकार (एक गायब कार्ड) को पकड़ने के लिए बनाया गया है। यह शोध सिद्ध करता है कि वही जाल एक ऐसे कलाकार को भी पकड़ने के लिए पर्याप्त मजबूत है जिसे अचानक हवा के झोंके (एक अतिरिक्त कार्ड) द्वारा धकेला जा रहा है, या गिरने और धक्के लगने के मिश्रण को भी। जब तक ब्रह्मांड की कुल "चालें" t या उससे कम हैं, आपका जाल काम करेगा।

शर्त (The Condition):
यह नियम एक विशिष्ट परिभाषा के तहत काम करता है कि "कोड" क्या है। लेखक एक कोड को अवस्थाओं (states) के एक सेट के रूप में परिभाषित करते हैं जहाँ, यदि कोई गलती होती है, तो परिणामी "त्रुटि क्षेत्र" (error sphere - बिगड़े हुए संभावित अवस्थाओं का बादल) किसी अन्य वैध संदेश के त्रुटि क्षेत्र के साथ ओवरलैप नहीं होता है। इसे कोहरे से भरी समुद्र में अलग-अलग द्वीपों की तरह समझें; जब तक द्वीप A के चारों ओर का कोहरा (त्रुटियाँ) द्वीप B के कोहरे को नहीं छूता, तब आप हमेशा जान सकते हैं कि आप किस द्वीप पर हैं।

3. मोड़: उल्टा सच नहीं है (The Reverse is NOT True)

यहीं पर क्वांटम मैकेनिक्स पेचीदा हो जाता है। जबकि गायब कार्डों को ठीक करने की क्षमता अतिरिक्त कार्डों को ठीक करने की क्षमता को दर्शाती है, इसका उल्टा सच नहीं है।

उपमा: आप एक ऐसी मशीन बना सकते हैं जो यह पहचानने में बहुत अच्छी है कि डेक में एक कार्ड जोड़ा गया है, लेकिन वही मशीन पूरी तरह से बेकार हो सकती है यदि एक कार्ड गायब हो जाए।
शोध का प्रमाण: लेखकों ने एक विशिष्ट उदाहरण बनाया है जो एक एकल अतिरिक्त कार्ड को ठीक कर सकता है लेकिन एक कार्ड के डिलीट होने पर पूरी तरह विफल हो जाता है। यह क्लासिकल दुनिया से अलग है, जहाँ ये दोनों क्षमताएं आमतौर पर साथ-साथ चलती हैं। क्वांटम दुनिया में, "अतिरेक" (intruders) को पहचानने में कुशल होने का मतलब यह नहीं है कि आप "रिक्तियों" (vacancies) को पहचानने में भी कुशल हैं।

4. नया उपकरण: "क्वांटम इंडेल डिस्टेंस" (Quantum Indel Distance)

एक कोड कितना अच्छा है, इसे मापने के लिए लेखकों ने एक नया पैमाना बनाया जिसे क्वांटम इंडेल डिस्टेंस कहा जाता है।

उपमा: कल्पना कीजिए कि आप कार्डों के दो अस्त-व्यस्त ढेरों के बीच के अंतर को मापना चाहते हैं। अतीत में, आपके पास "बिट फ्लिप" (0 को 1 में बदलना) या "क्लासिकल टाइपो" के लिए पैमाने थे। यह नया पैमाना कार्डों को हटाने (delete) और जोड़ने (insert) द्वारा एक क्वांटम ढेर को दूसरे में बदलने के लिए आवश्यक "प्रयास" को मापता है।
यह कैसे काम करता है: यदि दो वैध संदेशों के बीच की दूरी पर्याप्त रूप से बड़ी है (विशेष रूप से $2t$ से अधिक), तो कोड t त्रुटियों को ठीक करने की गारंटी देता है। यह कहने जैसा है कि, "यदि दो द्वीप एक-दूसरे से काफी दूर हैं, तो एक बड़ा तूफान (त्रुटियाँ) भी उन्हें एक जैसा नहीं बना पाएगा।"

5. "अस्त-व्यस्त" अवस्थाओं को संभालना

लेखकों ने मिश्रित अवस्थाओं (mixed states) से निपटने के लिए एक बड़ी तकनीकी बाधा को पार किया।

उपमा: कल्पना कीजिए कि एक शुद्ध (pure) क्वांटम अवस्था एक बेदाग, एकल-रंगीन मार्बल (marble) की तरह है। एक मिश्रित अवस्था एक ऐसे मार्बल की तरह है जो टूटा हुआ है और गोंद से भरा हुआ है, जिससे वह धुंधला और अप्रत्याशित बन गया है। पिछला शोध केवल यह समझा सका कि क्या होता है जब आप एक बेदाग मार्बल में एक कार्ड जोड़ते हैं।
महत्वपूर्ण सफलता: इस शोध ने सटीक रूप से समझाया कि एक "धुंधले, अस्त-व्यस्त" मार्बल में कार्ड जोड़ने पर क्या होता है। उन्होंने इन नए, अस्त-व्यस्त अवस्थाओं का वर्णन करने के लिए एक गणितीय रेसिपी प्रदान की। यह महत्वपूर्ण था क्योंकि बार-बार कार्डों को हटाने और जोड़ने से, बेदाग मार्बल अक्सर अस्त-व्यस्त मार्बल में बदल जाते हैं। इस रेसिपी के बिना, प्रमाण (proof) टिक नहीं पाता।

सारांश

संक्षेप में, यह शोध पत्र कहता है:

अच्छी खबर: यदि आप एक ऐसा क्वांटम कोड बनाते हैं जो t गायब कार्डों को ठीक कर सकता है, तो आपको स्वतः ही t गायब या अतिरिक्त कार्डों के संयोजन को ठीक करने की क्षमता मिल जाती है।
बुरी खबर: यदि आप एक ऐसा कोड बनाते हैं जो अतिरिक्त कार्डों को ठीक करता है, तो यह गारंटी नहीं देता कि आप गायब कार्डों को ठीक कर पाएंगे।
नया उपकरण: उन्होंने इस प्रकार के अराजक व्यवहार के खिलाफ एक कोड कितना मजबूत है, इसे मापने के लिए एक नया "डिस्टेंस" मेट्रिक बनाया।
नया गणित: उन्होंने हल किया कि ये त्रुटियाँ "अस्त-व्यस्त" (mixed) क्वांटम अवस्थाओं को कैसे प्रभावित करती हैं, जिसे पिछली थ्योरीज़ नहीं संभाल सकी थीं।

यह कार्य डेटा इकाइयों को खोने या प्राप्त करने की अराजक प्रकृति से क्वांटम सूचना को बचाने के हमारे ज्ञान को सुदृढ़ करता है।

तकनीकी सारांश: क्वांटम डिलीशन-करेक्टिंग कोड्स के लिए इंसर्शन करेक्टिंग क्षमता

समस्या विवरण
क्लासिकल कोडिंग थ्योरी में, यह एक स्थापित परिणाम है कि एक ऐसा कोड जो $t$ डिलीशन त्रुटियों (deletion errors) को ठीक करने में सक्षम है, वह कुल $t$ संयुक्त इंसर्शन और डिलीशन त्रुटियों को भी ठीक करने में सक्षम होता है। हालांकि, क्वांटम कोडिंग थ्योरी में, यह समानता एक खुला प्रश्न (open problem) बनी हुई है। पूर्व शोध द्वारा शिबायमामा और अन्य [10, 12] ने प्रदर्शित किया कि एक क्वांटम कोड जो $t$ डिलीशन त्रुटियों को ठीक करता है, वह $t$ सेपरेबल (separable) इंसर्शन त्रुटियों (जहाँ इंसर्ट किया गया क्वडिट मूल सिस्टम के साथ एंटैंगल्ड नहीं है) को भी ठीक करता है। यह सीमा इसलिए उत्पन्न होती है क्योंकि उपयोग किया जाने वाला निकल-लैफ़्लम (Knill-Laflamme - KL) कंडिशन, इंसर्शन त्रुटियों को केवल सेपरेबल मामलों तक ही सीमित रखता है। डिलीशन और इंसर्शन के मिश्रित परिदृश्यों में, सिस्टम शुद्ध अवस्था (pure state) से मिश्रित अवस्था (mixed state) में परिवर्तित हो सकता है, जिससे सेपरेबल धारणाएं अपर्याप्त हो जाती हैं। इसके अतिरिक्त, KL कंडिशन के लिए अलग-अलग स्थितियों पर बेसिस की ऑर्थोगोनैलिटी (orthogonality) की आवश्यकता होती है, जो त्रुटि सुधार के लिए आवश्यक स्थिति से अधिक कठोर है; एक कोड बेसिस ऑर्थोगोनैलिटी को संतुष्ट कर सकता है फिर भी उन विशिष्ट कोडवर्ड्स को पहचानने में विफल हो सकता है जो एक ही अवस्था में समाहित (collapse) हो जाते हैं। फलस्वरूप, यह अभी भी अपुष्ट है कि क्या एक सामान्य क्वांटम $t$ -डिलीशन-करेक्टिंग कोड कुल $t$ अनिश्चित (arbitrary) इंसर्शन और डिलीशन त्रुटियों को ठीक कर सकता है।

कार्यप्रणाली
इन सीमाओं को संबोधित करने के लिए, लेखक क्लासिकल कोडिंग थ्योरी के समान एक ज्यामितीय दृष्टिकोण अपनाते हैं, जो KL कंडिशन के बजाय "एरर स्फेयर्स" (error spheres) की अवधारणा पर ध्यान केंद्रित करता है।

इंसर्शन स्टेट्स का सामान्यीकरण: पेपर पहले इंसर्शन त्रुटियों के बाद क्वांटम अवस्थाओं के वर्णन को सामान्यीकृत करता है। जबकि पिछले कार्य [11] ने शुद्ध अवस्थाओं में इंसर्शन का वर्णन किया था, यह पेपर स्पष्ट रूप से मिश्रित अवस्थाओं (mixed states) पर इंसर्शन त्रुटियां लागू होने के बाद की क्वांटम अवस्थाओं के रूप को व्युत्पन्न करता है (थ्योरम 2 और कोरोलरी 1)। यह आंशिक ट्रेस (partial traces) और प्रिंसिपल माइनर्स (principal minors) के तहत डेंसिटी मैट्रिसेस की संरचना का विश्लेषण करके प्राप्त किया गया है।
मिश्रित त्रुटि विश्लेषण (Composite Error Analysis): लेखक सिद्ध करते हैं कि $s$ डिलीशन और $t$ इंसर्शन से युक्त कोई भी मिश्रित त्रुटि एक ऐसी अनुक्रम (sequence) के रूप में प्रतिनिधित्व की जा सकती है जहाँ सभी $t$ इंसर्शन, सभी $s$ डिलीशन के बाद होते हैं (थ्योरम 3)। इसे लेम्माज़ (Lemmas 4–6) की एक श्रृंखला के माध्यम से स्थापित किया गया है जो यह दर्शाती है कि मिश्रित त्रुटि अनुक्रमों से प्राप्त अवस्थाओं का सेट, $t$ इंसर्शंस के $s$ डिलीशन्स के बाद वाले सेट ( $I_t \circ D_s$ ) का एक उपसमुच्चय (subset) है।
एरर स्फेयर्स की विजातीयता (Error Sphere Disjointness): पेपर एक क्वांटम एरर-करेक्टिंग कोड को क्वांटम अवस्थाओं के एक ऐसे सेट के रूप में परिभाषित करता है जिनके डिलीशन/इंसर्शन स्फेयर्स विजातीय (disjoint) हैं। इस परिभाषा का उपयोग करते हुए, लेखक सुधार क्षमताओं को निर्धारित करने के लिए एरर स्फेयर्स के प्रतिच्छेदन (intersection) का विश्लेषण करते हैं।

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

सुधार क्षमताओं की समानता: मुख्य परिणाम (थ्योरम 4) सिद्ध करता है कि कोई भी क्वांटम कोड $X$ जो $t$ डिलीशन त्रुटियों को ठीक करता है, वह कुल $t$ संयुक्त इंसर्शन और डिलीशन त्रुटियों को भी ठीक करता है। यह इस परिभाषा के तहत मान्य है कि एक कोड वैध है यदि उसके कोडवर्ड्स के एरर स्फेयर्स विजातीय हैं। यह सामान्य मामले में डिलीशन और संयुक्त $t$ -इंडेल (indel) सुधार क्षमताओं की समानता के संबंध में खुले प्रश्न को हल करता है, और सेपरेबल इंसर्शन प्रतिबंधों को हटा देता है।
सुधार की गैर-पारस्परिकता (Non-Reciprocity of Correction): पेपर प्रदर्शित करता है कि इसका विलोम (converse) सत्य नहीं है। एक क्वांटम कोड जो $t$ इंसर्शन त्रुटियों को ठीक करता है, वह आवश्यक रूप से $t$ डिलीशन त्रुटियों को ठीक नहीं करता है। एक उदाहरण (उदाहरण 4) दिया गया है जो उन अवस्थाओं के सेट को दिखाता है जो सिंगल इंसर्शन को ठीक करता है लेकिन सिंगल डिलीशन को ठीक करने में विफल रहता है। यह क्लासिकल कोडिंग थ्योरी के विपरीत है, जहाँ समानता द्विदिश (bidirectional) होती है।
क्वांटम इंडेल दूरी (Quantum Indel Distance): लेखक "क्वांटम इंडेल दूरी" ( $d(\rho_1, \rho_2)$ ) को एक क्वांटम अवस्था को दूसरी क्वांटम अवस्था में बदलने के लिए आवश्यक न्यूनतम डिलीशन और इंसर्शन के योग के रूप में परिभाषित करते हैं। वे सिद्ध करते हैं कि यह दूरी एक मेट्रिक (metric) के गुणों को संतुष्ट करती है (थ्योरम 5)।
दूरी के माध्यम से लक्षण वर्णन: पेपर स्थापित करता है कि क्वांटम अवस्थाओं का एक सेट $X$ कुल $t$ इंसर्शन और डिलीशन त्रुटियों को तब ठीक करता है जब और केवल जब $X$ में विशिष्ट अवस्थाओं के बीच न्यूनतम क्वांटम इंडेल दूरी कम से कम $2t + 1$ हो (कोरोलरी 3)। यह क्वांटम इंडेल-करेक्टिंग कोड्स के लिए एक दूरी-आधारित सीमा प्रदान करता है, जो बिट-फ्लिप त्रुटियों के लिए हैमिंग डिस्टेंस (Hamming distance) के समान है।

महत्व
पेपर तीन प्राथमिक क्षेत्रों में महत्व का दावा करता है:

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

लेखक एक मध्यम दायरे को बनाए रखते हैं, यह नोट करते हुए कि जबकि मुख्य प्रमेय विजातीय एरर स्फेयर्स द्वारा परिभाषित कोड्स के लिए लागू होता है, इसका विलोम (इंसर्शन-ओनली कोड्स द्वारा डिलीशन को ठीक करना) असत्य है, जो क्लासिकल डोमेन में मौजूद न रहने वाली क्वांटम इंडेल एरर करेक्शन में एक मौलिक विषमता (asymmetry) को उजागर करता है।