क्वांटम त्रुटि सुधार क्वांटम कम्प्यूटिंग और क्वांटम संचार उपकरणों के व्यावहारिक कार्यान्वयन और इंजीनियरिंग में प्रमुख भूमिका निभाता है। पहले क्वांटम त्रुटि-सुधार करने वाले कोड अपने संचालन और प्रदर्शन में चिरसम्मत ब्लॉक पीकोड के समान हैं। क्वांटम त्रुटि-सुधार करने वाले कोड एक रवयुक्त, स्पष्ट क्वांटम स्थिति को शुद्ध क्वांटम स्थिति में पुनर्स्थापित करते हैं। स्टेबलाइजर (स्थिरक) क्वांटम त्रुटि-सुधार करने वाला कोड एंसीला क्वैबिट को उन क्वैबिट में जोड़ता है जिन्हें हम सुरक्षित रखना चाहते हैं। एकात्मक एन्कोडिंग सर्किट वैश्विक स्थिति को एक बड़े हिल्बर्ट समष्टि के उप-समष्टि में घूर्णन करता है। यह अत्यधिक उलझी हुई, एन्कोडेड स्थिति स्थानीय रवयुक्त संबंधी त्रुटियों को ठीक करती है। क्वांटम त्रुटि-सुधार कोड प्रेषक और रिसीवर के लिए रवयुक्त रहित क्वबिट चैनल का अनुकरण करने का एक तरीका प्रदान करके क्वांटम गणना और क्वांटम संचार को व्यावहारिक बनाता है, जिसका रवयुक्त विशेष त्रुटि मॉडल के अनुरूप होता है।
क्वांटम त्रुटि सुधार का स्टेबलाइजर सिद्धांत किसी को क्वांटम कोड के रूप में उपयोग के लिए कुछ चिरसम्मत द्विआधारी या चतुर्धातुक कोड आयात करने की अनुमति देता है। चूंकि, चिरसम्मत कोड को आयात करते समय, इसे दोहरे-युक्त (या स्व-लंबकोणीयता) बाधा को पूरा करना होगा। शोधकर्ताओं ने इस बाधा को पूरा करने वाले चिरसम्मत कोड के कई उदाहरण पाए हैं, लेकिन अधिकांश चिरसम्मत कोड ऐसा नहीं करते हैं। फिर भी, इस तरह से चिरसम्मत कोड आयात करना अभी भी उपयोगी है (चूंकि, देखें कि उलझाव-सहायता वाली स्टेबलाइज़र औपचारिकता इस कठिनाई को कैसे दूर करती है)।
स्टेबलाइज़र औपचारिकता क्वांटम त्रुटि-सुधार कोड तैयार करने में पाउली समूह के तत्वों का उपयोग करती है। सेट में पाउली ऑपरेटर सम्मिलित हैं:
उपरोक्त ऑपरेटर एकल क्वबिट पर कार्य करते हैं - एक स्थिति जो द्वि-आयामी हिल्बर्ट समष्टि में सदिश द्वारा दर्शायी जाती है। में ऑपरेटरों के पास अभिलक्षणिक मान है और या तो कम्यूट या एंटी-कम्यूट है। सेट में पाउली ऑपरेटरों के -फोल्ड प्रदिश गुणनफल सम्मिलित हैं:
के तत्व क्वबिट के क्वांटम रजिस्टर पर कार्य करते हैं। हम कभी-कभी निम्नलिखित में प्रदिश गुणनफल प्रतीकों प्रतीकों को छोड़ देते हैं जिससे कि
-फोल्ड पाउली समूह एन्कोडिंग सर्किट और क्वबिट पर क्वांटम स्टेबलाइज़र कोड की त्रुटि-सुधार प्रक्रिया दोनों के लिए महत्वपूर्ण भूमिका निभाता है।
परिभाषा
आइए हम तार्किक क्वबिट में भौतिक क्वबिट में एन्कोड करने के लिए स्टेबलाइज़र क्वांटम त्रुटि-सुधार को परिभाषित करें। ऐसे कोड की दर है। इसका स्टेबलाइज़र , -फोल्ड पाउली समूह का एबेलियन समूहउपसमूह है। में ऑपरेटर सम्मिलित नहीं है। ऑपरेटरों का एक साथ- अभिलाक्षणिक समष्टि कोडस्पेस का गठन करता है। कोडस्पेस का आयाम है जिससे कि हम इसमें क्वबिट को एन्कोड कर सकें। स्वतंत्र जनरेटर के संदर्भ में स्टेबलाइजर का प्रतिनिधित्व (गणित) न्यूनतम है
जनरेटर इस अर्थ में स्वतंत्र हैं कि उनमें से कोई भी अन्य दो (वैश्विक कला तक) का उत्पाद नहीं है। ऑपरेटर उसी तरह कार्य करते हैं जैसे समता जाँच मैट्रिक्स चिरसम्मत रैखिक ब्लॉक कोड के लिए करता है।
स्टेबलाइज़र त्रुटि-सुधार की स्थिति
क्वांटम त्रुटि सुधार सिद्धांत में मूलभूत धारणाओं में से एक यह है कि यह पाउली समूह में समर्थन (गणित) के साथ सेट की गई असतत त्रुटि को ठीक करने के लिए पर्याप्त है। मान लीजिए कि एन्कोडेड क्वांटम स्थिति को प्रभावित करने वाली त्रुटियां पाउली समूह का एक उपसमुच्चय गणित हैं:
चूँकि और के दोनों के सबसेट हैं, एक त्रुटि जो एन्कोडेड क्वांटम स्थिति को प्रभावित करती है या तो किसी विशेष तत्व में के साथ कम्यूट या एंटीकम्यूट (प्रतिगमन) करती है। त्रुटि सुधार योग्य है यदि यह एक तत्व के साथ एंटीकम्यूट करता है। एंटीकम्यूटिंग त्रुटि को प्रत्येक तत्व को को मापकर और की पहचान करने वाले सिंड्रोम की गणना करके पता लगाया जा सकता है। सिंड्रोम एक द्विआधारी सदिश है जिसकी लंबाई है जिसके तत्व पहचानते हैं कि क्या त्रुटि है प्रत्येक के साथ कम्यूट या एंटीकम्यूट करता है। एक त्रुटि जो प्रत्येक तत्व के साथ में आती है, उसे सुधारा जा सकता है यदि और केवल तभी जब वह में हो। यदि यह एन्कोडेड स्थिति को विकृत करता है यदि यह के प्रत्येक तत्व के साथ कम्यूट करता है लेकिन में स्थित नहीं होता है। इसलिए हम स्टेबलाइज़र त्रुटि-सुधार स्थितियों को संक्षेप में सारांशित करते हैं: एक स्टेबलाइज़र कोड किसी भी त्रुटि को ठीक कर सकता है में यदि
या
जहाँ , का केंद्रीकरणकर्ता है (अर्थात, तत्वों का उपसमूह जो सभी सदस्यों के साथ कम्यूट करता है, जिसे कम्यूटेंट के रूप में भी जाना जाता है)।
स्टेबलाइजर कोड का सरल उदाहरण
स्टेबलाइजर कोड का एक सरल उदाहरण तीन क्विबिट स्टेबलाइजर कोड है। यह तार्किक क्वबिट में भौतिक क्वैबिट में एन्कोड करता है और सेट में एकल-बिट फ्लिप त्रुटि से बचाता है। यह अन्य पाउली त्रुटियों जैसे सेट ।या में कला फ़्लिप त्रुटियों से रक्षा नहीं करता है। इसका कोड दूरी है । इसके स्टेबलाइज़र में पाउली ऑपरेटर सम्मिलित हैं:
यदि कोई बिट-फ़्लिप त्रुटियाँ नहीं हैं, तो दोनों ऑपरेटर और कम्यूट, सिंड्रोम +1,+1 है, और कोई त्रुटि नहीं पाई गई है।
यदि पहले एन्कोडेड क्वबिट पर बिट-फ्लिप त्रुटि है, तो ऑपरेटर एंटी-कम्यूट करेगा और कम्यूट करेगा, सिंड्रोम -1,+1 है, और त्रुटि का पता लगाया जाता है। यदि दूसरे एन्कोडेड क्वबिट पर बिट-फ्लिप त्रुटि है, तो ऑपरेटर टी-कम्यूट करेगा और एंटी-कम्यूट करेगा, सिंड्रोम -1,-1 है, और त्रुटि का पता लगाया जाता है। यदि तीसरे एन्कोडेड क्वबिट पर बिट-फ्लिप त्रुटि है, तो ऑपरेटर कम्यूट करेगा और एंटी-कम्यूट करेगा, सिंड्रोम +1,-1 है, और त्रुटि का पता लगाया जाता है।
स्टेबलाइज़र कोड का एक उदाहरण पाँच क्वबिट स्टेबलाइज़र कोड है। यह तार्किक क्वबिट को भौतिक क्वैबिट में एन्कोड करता है और एक यादृच्छिक सिंगल-क्विबिट से बचाता है। इसमें कोड दूरी है। इसके स्टेबलाइज़र पाउली ऑपरेटर सम्मिलित हैं:
उपरोक्त ऑपरेटर कम्यूट करते हैं। इसलिए, कोडस्पेस एक साथ +1- ईजेनस्पेस है। मान लीजिए कि एन्कोडेड क्वांटम रजिस्टर पर एकल-क्विबिट त्रुटि होती है। एकल-क्विबिट त्रुटि सेट में है जहाँ क्वैबिट पर एक पाउली त्रुटि को दर्शाता है। यह सत्यापित करना सीधा है कि किसी भी यादृच्छिक सिंगल-क्विबिट त्रुटि में एक अद्वितीय सिंड्रोम होता है। रिसीवरसमता माप के माध्यम से सिंड्रोम की पहचान करके और सुधारात्मक ऑपरेशन लागू करके किसी भी एकल-क्विबिट त्रुटि को ठीक करता है।
पाउली समूह और द्विआधारी सदिश के बीच संबंध
के तत्वों और द्विआधार सदिश समष्टि के बीच एक सरल लेकिन उपयोगी मैपिंग सम्मिलित है। यह मैपिंग क्वांटम त्रुटि सुधार सिद्धांत का सरलीकरण देती है।यह क्रमशः पाउली ऑपरेटरों और मैट्रिक्स ऑपरेशंस के अतिरिक्त द्विआधारी सदिश और मैट्रिक्स ऑपरेशन के साथ क्वांटम कोड का प्रतिनिधित्व करता है।
हम सबसे पहले वन-क्विबिट स्थिति के लिए मैपिंग देते हैं। मान लीजिए ऑपरेटर (भौतिकी) के समतुल्य वर्गों का एक सेट है जिनका कला (तरंगें) समान है:
मान लीजिए कि कला-मुक्त पाउली ऑपरेटरों का सेट है जहाँ मैप को परिभाषित करें जैसा
मान लीजिए । आइए हम आशुलिपि का उपयोग करें और जहाँ , , , । उदाहरण के लिए, मान लीजिए । तब । मैप एक समरूपता उत्पन्न करता है क्योंकि में सदिशों की संख्या वैश्विक चरण तक पाउली ऑपरेटरों के गुणन के बराबर है:
मान लीजिए कि दो तत्वों के बीच सिम्प्लेक्टिक उत्पाद को निरूपित करें:
सिंपलेक्टिक उत्पाद के तत्वों का क्रमविनिमेय गुण संबंध देता है:
इस प्रकार सिंपलेक्टिक उत्पाद और मैपिंग बूलियन बीजगणित (तर्क) के संदर्भ में पाउली संबंधों को वाक्यांशित करने का एक उपयोगी तरीका देते हैं। उपरोक्त परिभाषाओं का विस्तार और एकाधिक क्वबिट में मैप करना सीधा है। मान लीजिए कि का एक यादृच्छिक तत्व दर्शाता है। हम इसी तरह चरण-मुक्त -क्विबिट पाउली समूह को परिभाषित कर सकते हैं जहाँ
समूह संचालन उपरोक्त तुल्यता वर्ग के लिए इस प्रकार है:
तुल्यता वर्ग ऑपरेशन के अनुसार क्रमविनिमेय समूह बनाता है। -आयामी सदिश समष्टि पर विचार करें
यह ऑपरेशन को द्विआधारी सदिश जोड़ के रूप में परिभाषित करते हुए क्रमविनिमेय समूह बनाता है। हम अंकन किसी भी सदिश का प्रतिनिधित्व करने के लिए क्रमश का उपयोग करते हैं। प्रत्येक सदिश और में तत्व और और के लिए समान निरूपण के साथ क्रमशः है। सिंपलेक्टिक उत्पाद का और है
या
जहाँ और , आइए मैप को परिभाषित करें निम्नलिखित नुसार:
मान लीजिए कि
जिससे कि और उसी के तुल्यता वर्ग हैं:
वो मैप उसी के लिए एक समरूपता है पिछले स्थिति की तरह ही कारण दिया गया:
जहाँ , सिंपलेक्टिक उत्पाद किसी भी ऑपरेटर के कम्यूटेशन संबंधों को कैप्चर करता है और :
उपरोक्त द्विआधारी निरूपण और सिंपलेक्टिक बीजगणित चिरसम्मत रैखिक त्रुटि सुधार और क्वांटम त्रुटि सुधार के बीच संबंध अधिक स्पष्ट बनाने में उपयोगी हैं।
इस भाषा में क्वांटम त्रुटि सुधार कोड की तुलना सिम्प्लेक्टिक सदिश समष्टि से करके, हम निम्नलिखित देख सकते हैं। एक सिंपलेक्टिक उप-समष्टि पाउली बीजगणित (अर्थात, एन्कोडेड क्वैबिट) के प्रत्यक्ष योग से मेल खाता है, जबकि समानुवर्ती उप-समष्टि स्टेबलाइजर्स के सेट से मेल खाता है।
A. Calderbank, E. Rains, P. Shor, and N. Sloane, “Quantum error correction via codes over GF(4),” IEEE Trans. Inf. Theory, vol. 44, pp. 1369–1387, 1998. Available at https://arxiv.org/abs/quant-ph/9608006