Classification of bipartite observables III: simplicity, mixtures and quantum error correction

आधुनिक विज्ञान के विशाल परिदृश्य में, दो क्षेत्र अक्सर पूरी तरह से अलग भाषाएँ बोलते हुए प्रतीत होते हैं। एक ओर गणितीय तर्क (mathematical logic) की अमूर्त दुनिया है, जहाँ शोधकर्ता उन मौलिक नियमों का अध्ययन करते हैं जो यह नियंत्रित करते हैं कि हम अनंत समुच्चयों और जटिल संरचनाओं के बारे में कैसे तर्क कर सकते हैं। दूसरी ओर क्वांटम कंप्यूटिंग का व्यावहारिक, उच्च-दांव वाला क्षेत्र है, जहाँ वैज्ञानिक ऐसी मशीनें बनाते हैं जो शास्त्रीय कंप्यूटरों के लिए असंभव समस्याओं को हल करने के लिए भौतिकी के विचित्र नियमों का उपयोग करके सूचना को संसाधित करती हैं। अपने अलग उद्गम के बावजूद, दोनों क्षेत्र एक ही मूल चुनौती से गहराई से चिंतित हैं: अनिश्चितता और त्रुटि का प्रबंधन कैसे किया जाए। तर्कशास्त्र में, इसमें यह समझना शामिल है कि कथन कैसे सुसंगत या विरोधाभासी हो सकते हैं; क्वांटम कंप्यूटिंग में, इसमें नाजुक डेटा को उस शोर (noise) से बचाना शामिल है जो अनिवार्य रूप से इसे दूषित कर देता है। दशकों से, इन दोनों विषयों ने इन मुद्दों को संभालने के लिए अपने स्वयं के विशिष्ट उपकरण और सिद्धांत विकसित किए हैं, जो शायद ही कभी एक-दूसरे के संपर्क में आए। हालाँकि, अनुसंधान की एक नई रेखा बताती है कि सतह के नीचे, त्रुटियों को नियंत्रित करने वाले गणितीय ढांचे और निरंतरता को नियंत्रित करने वाले तार्किक नियम न केवल समान हैं—बल्कि एक सटीक अर्थ में, वे एक ही चीज़ हैं।

एडुआर्डो ड्यूनेज़ और जोस इओविनो द्वारा लिखित यह शोध पत्र इन दोनों दुनियाओं के बीच एक सेतु का कार्य करता है। यह प्रदर्शित करता है कि सबसे प्रसिद्ध "सरल" लेकिन अस्थिर तार्किक प्रणाली का वर्णन करने के लिए उपयोग किया जाने वाला गणितीय ढांचा, क्वांटम कंप्यूटरों में त्रुटियों के व्यवहार का वर्णन करने के लिए उपयोग किए जाने वाले ढांचे के समान है। इसे समझने के लिए, पहले तर्कशास्त्र में एक "सरल" सिद्धांत की अवधारणा को समझना आवश्यक है। इसका अर्थ यह नहीं है कि सिद्धांत आसान है; बल्कि, इसका अर्थ यह है कि सिद्धांत एक विशिष्ट प्रकार की अराजक जटिलता से बचता है जहाँ स्थितियों को इस तरह से जोड़ा जा सकता है कि विरोधाçons का एक अनंत, शाखाओं वाला पेड़ बन जाए। ऐसे तंत्र का शास्त्रीय उदाहरण 'रैंडम ग्राफ' (random graph) का सिद्धांत है, एक ऐसी संरचना जहाँ बिंदुओं के बीच संबंध संयोग से निर्धारित होते हैं। लेखक दिखाते हैं कि क्वांटंत जगत रैंडम ग्राफ का एक आदर्श प्रतिरूप प्रदान करता है। विशेष रूप से, क्वांटम कंप्यूटर में त्रुटियों का वर्णन करने के लिए उपयोग किया जाने वाला ऑपरेशनों का समूह—जिसे पॉली समूह (Pauli group) कहा जाता है—तर्कशास्त्र के चश्मे से देखने पर रैंडम ग्राफ के गणितीय रूप से अभिन्न है।

यह खोज केवल एक जिज्ञासा मात्र नहीं है; यह लेखकों को एक क्षेत्र के प्रमेयों (theorems) को सीधे दूसरे में अनुवाद करने की अनुमति देती है। वे एक ऐसा शब्दकोश बनाते हैं जहाँ तर्कशास्त्र की अवधारणाएं क्वांटम त्रुटि सुधार (quantum error correction) की अवधारणाओं पर मैप होती हैं। उदाहरण के लिए, तर्कशास्त्र में, एक "फोर्किंग" (forking) घटना तब होती है जब सूचना का एक नया टुकड़ा किसी संभावना को इतनी मजबूती से सीमित कर देता है कि वह पिछले अनुमानों के साथ विरोधाभास पैदा करता है। क्वांटम त्रुटि सुधार में, यह ठीक एक "लॉजिकल एरर" (तार्किक त्रुटि) के अनुरूप है—एक ऐसी गलती जो कंप्यूटर के सुरक्षा जांच से निकल जाती है और संग्रहीत की जा रही वास्तविक सूचना को दूषित कर देती है। लेखक सिद्ध करते हैं कि इन तार्किक त्रुटियों का पता लगाने के लिए उपयोग किए जाने वाले गणितीय नियम वही नियम हैं जिनका उपयोग तर्कशास्त्री 'फोर्किंग' की पहचान करने के लिए करते हैं। इसके अलावा, वे दिखाते हैं कि "स्वतंत्रता प्रमेय" (independence theorem), तर्कशास्त्र में एक शक्तिशाली नियम जो विभिन्न सूचनाओं को बिना संघर्ष के संयोजित करने की अनुमति देता है, वही तंत्र है जो क्वांटम इंजीनियरों को स्वतंत्र त्रुटि जाँचों को एक साथ निर्धारित करने की अनुमति देता है।

हालाँकि, कहानी तब एक तीव्र मोड़ लेती है जब शोधकर्ता "मिश्रणों" (mixtures) की अवधारणा पेश करते हैं। क्वांटम दुनिया में, एक तैयारी (preparation) शायद ही कभी एक एकल, पूर्ण अवस्था होती है; यह अक्सर कई संभावित अवस्थाओं पर आधारित एक प्रायिकता वितरण (probability distribution) होती है। लेखक जांच करते हैं कि जब उन्हें आदर्श, शुद्ध अवस्थाओं के बजाय इन मिश्रणों के साथ काम करने के लिए मजबूर किया जाता है, तो उनकी गणितीय संरचनाओं के साथ क्या होता है। वे पाते हैं कि जबकि रैंडम ग्राफ और क्वांटम त्रुटि समूह दोनों की शुद्ध संरचनाएं "सरल" और सुव्यवस्थित हैं, जैसे ही मिश्रण पेश किए जाते हैं, दोनों प्रणालियाँ "द्वितीय प्रकार की वृक्ष संपत्ति" (tree property of the second kind) नामक गुण प्राप्त कर लेती हैं। यह एक विशिष्ट प्रकार की जटिलता है जो सरलता के टूटने का संकेत देती है। सरल शब्दों में, एक बार जब आप मिश्रणों की अनुमति देते हैं, तो शुद्ध प्रणालियों द्वारा शासित सुव्यवस्थित, पूर्वानुमेय नियम ढह जाते हैं, और प्रणालियाँ उसी प्रकार के अराजक, शाखाओं वाले विरोधासों को उत्पन्न करने में सक्षम हो जाती हैं जिनसे सरल सिद्धांत बचने के लिए डिज़ाइन किए गए हैं।

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

यह अंतर इस शोध पत्र की सबसे महत्वपूर्ण खोज है। यह सुझाव देता है कि किसी प्रणाली की "सरलता" एक पूर्ण गुण नहीं है बल्कि इस पर निर्भर करती है कि आप उसके साथ कैसे अंतःक्रिया करते हैं। क्वांटम त्रुटि सुधार प्रणाली उस तरह से नाजुक है जैसे रैंडम ग्राफ नहीं है; क्वांटम प्रणाली की आंतरिक बीजगणितीय संरचना इतनी सख्त है कि इसके घटकों को मिलाने से इसकी अंतर्निहित जटिलता तुरंत उजागर हो जाती है। रैंडम ग्राफ, तुलनात्मक रूप से, मिश्रण के विरुद्ध अधिक सुदृढ़ है, जिसे अपनी जटिलता को उजागर करने के लिए भौतिक वास्तविकता से परे एक स्तर की अमूर्तता की आवश्यकता होती है। लेखक यह विश्लेषण करके इसे प्राप्त करते हैं कि क्वांटम प्रणाली के "सिंड्रोम" (syndromes)—त्रुटि संकेतों के विशिष्ट पैटर्न—क्या हैं, और दिखाते हैं कि इन संकेतों को इस तरह से अलग और हेरफेर किया जा सकता है कि वृक्ष संपत्ति को वास्तविक डेटा के साथ प्रकट किया जा सके। रैंडम ग्राफ के लिए, संकेत इतने ढीले और स्वतंत्र हैं कि बिना आदर्शिकरण के वे इस परिणाम को उत्पन्न नहीं कर सकते।

अंततः, यह कार्य न केवल दो क्षेत्रों को जोड़ता है; यह तर्क और भौतिकी दोनों में स्थिरता की सीमाओं के बारे में हमारी समझ को फिर से परिभाषित करता है। यह सिद्ध करके कि मिश्रित तैयारियों के वास्तविक-मान वाले तर्क में "द्वितीय प्रकार की वृक्ष संपत्ति" उभरती है, लेखक स्थापित करते हैं कि एक सरल विकर्ण अवलोकन (diagonal observable) "NIP" नहीं हो सकता है, जिसका तकनीकी अर्थ है "स्वतंत्रता गुण का न होना"। इसका अर्थ है कि यदि कोई प्रणाली अपने शुद्ध रूप में सरल है, तो वह मिश्रित होने पर अनिवार्य रूप से जटिल हो जाती है। यह शोध पत्र पुष्टि करता है कि क्वांटंत जगत और तार्किक जगत एक-दूसरे के दर्पण हैं, जो संरचना और यादृच्छिकता के बारे में एक ही गहरे सत्य को प्रतिबिंबित करते हैं। फिर भी, वे मापन के बिंदु पर अलग हो जाते है, जिससे पता चलता है कि प्रोब की प्रकृति ही यह निर्धारित करती है कि प्रणाली की जटिलता छिपी रहेगी या उजागर हो जाएगी। निष्कर्ष कठोर और प्रमाणित हैं, जो एक नया दृष्टिकोण प्रदान करते हैं कि क्वांटम त्रुटि सुधार इतना कठिन क्यों है और कुछ तार्किक प्रणालियाँ इस तरह व्यवहार क्यों करती हैं, और यह सब बिना किसी अपुष्ट अटकलबाजी या सिमुलेशन के किया गया है। परिणाम एक स्पष्ट, एकीकृत चित्र प्रस्तुत करता है कि कैसे मिश्रण और शोर की वास्तविक दुनिया को ध्यान में रखने पर सरलता टूट जाती है।