Sufficient positive maps between von Neumann algebras: Rényi divergences

क्वांटम दुनिया में, सूचना एक स्थिर वस्तु नहीं बल्कि एक नाजुक अवस्था है, जैसे घूमते हुए लट्टुओं की एक कोमल व्यवस्था। जब वैज्ञानिक इन अवस्थाओं का अध्ययन करते हैं, तो वे अक्सर एक मौलिक प्रश्न पूछते हैं: यदि हम इस सूचना को किसी मशीन या भौतिक रूपांतरण के माध्यम से संसाधित करते हैं, तो दो अलग-अलग अवस्थाओं के बीच का मूल अंतर कितना शेष रहता है? यह डेटा प्रोसेसिंग इनइक्वालिटी (data processing inequality) का केंद्र है, जो एक सरल सत्य का प्रतिपादन करती है: आप चित्र को धुंधला करके स्पष्टता पैदा नहीं कर सकते। यदि आप दो अलग अवस्थाओं को लेते हैं और उन्हें एक फिल्टर से गुजारते हैं, तो वे कभी भी पहले की तुलना में अधिक पहचानने योग्य नहीं हो सकतीं; अधिकतम, वे वैसी ही रहती हैं, लेकिन आमतौर पर, वे पहचानने में अधिक कठिन हो जाती हैं। इस अंतर की हानि को 'डाइवर्जेंस' (divergences) नामक मात्राओं द्वारा मापा जाता है, जो इस बात के पैमाने की तरह कार्य करते हैं कि दो अवस्थाएं एक-दूसरे से कितनी भिन्न हैं। दशकों से, भौतिकविदों ने जाना है कि यदि यह पैमाना रूपांतरण के बाद अंतर की कोई हानि नहीं दिखाता है, तो इस प्रक्रिया को उलटाना और मूल अवस्थाओं को पूरी तरह से पुनः प्राप्त करना संभव है। यह रिकवरी (recovery) क्वांटम सूचना का 'होली ग्रेल' है, जो यह वादा करता है कि यदि प्रक्रिया प्रतिवर्ती (reversible) है, तो सूचना कभी भी वास्तव में नष्ट नहीं होती है।

हालाँकि, हमारी समझ में एक महत्वपूर्ण अंतराल मौजूद था कि यह रिकवरी कब संभव है। इन रूपांतरणों का वर्णन करने वाले गणितीय उपकरण, जिन्हें 'मैप्स' (maps) कहा जाता है, पारंपरिक रूप से अपने व्यवहार में बहुत सख्त होने की आवश्यकता रखते थे, जिसे '2-पॉजिटिविटी' (2-positivity) नामक गुण कहा जाता है, जो यह गारंटी देता है कि वे सभी सैद्धांतिक परिदृश्यों में अच्छी तरह से काम करते हैं। लेकिन वास्तविक दुनिया में, और कई सरलीकृत मॉडलों में, घटने वाले रूपांतरण केवल "पॉजिटिव" (positive) होते हैं, जो एक थोड़ी ढीली शर्त है जो अधिक सामान्य, और शायद अधिक यथार्थवादी, भौतिक प्रक्रियाओं की अनुमति देती है। लंबे समय तक यह स्पष्ट नहीं था कि क्या पूर्ण रिकवरी का वादा इन ढीली, अधिक सामान्य शर्तों के तहत भी सत्य है। परिमित प्रणालियों (finite systems) में हालिया कार्य ने सुझाव दिया कि यह संभव हो सकता है, लेकिन व्यापक, अनंत-आयामी प्रणालियों के लिए, जो क्वांटम सिद्धांत के पूर्ण दायरे का वर्णन करती हैं, एक कठोर प्रमाण की कमी थी। प्रश्न बना हुआ था: क्या खोई हुई सूचना को पुनः प्राप्त करने की क्षमता रूपांतरण की सख्ती पर निर्भर करती है, या यह तब भी सत्य है जब रूपांतरण केवल 'पॉजिटिव' हो?

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

इस खोज का महत्व इसकी व्यापकता में निहित है। '2-पॉजिटिविटी' की आवश्यकता को हटाकर, लेखकों ने दिखाया है कि रिकवरी प्रमेय किसी विशिष्ट, अत्यधिक नियंत्रित गणितीय ढांचे का परिणाम नहीं है, बल्कि स्वयं क्वांटम सूचना सिद्धांत की एक मौलिक विशेषता है। उनका प्रमाण "सफीशिएंट" (sufficient) उप-बीजगणितों के एक चतुर निर्माण पर आधारित है, जो वे सबसे छोटी गणितीय संरचनाएं हैं जो अवस्थाओं को अलग करने के लिए आवश्यक सूचना को धारण करने में सक्षम हैं। उन्होंने दिखाया कि यदि कोई रूपांतरण अवस्थाओं के बीच की दूरी को संरक्षित करता है, तो यह प्रभावी रूप से एक 'सफीशिएंट मैप' के रूप में कार्य करता है, जिसका अर्थ है कि सूचना को पुनर्प्राप्ति के लिए बिखेरा नहीं गया है। यह अंतर्दृष्टि इन रूपांतरणों की प्रकृति के बारे में एक लंबे समय से चली आ रही अनिश्चितता को हल करती है और क्वांटम त्रुटि सुधार (quantum error correction) और सामान्य सेटिंग्स में अवस्था रिकवरी के सैद्धांतिक आधार को सुदृढ़ करती है।

क्वांटम सूचना के तत्काल निहितार्थों के अलावा, इस कार्य ने 'कंडीशनल एक्सपेक्टेशन' (conditional expectation) की संरचना के संबंध में दशकों पुराने एक अलग पहेली को हल किया। ऑपरेटर बीजगणित (operator algebra) के गणितीय सिद्धांत में, एक कंडीशनल एक्सपेक्टेशन एक जटिल प्रणाली को एक सरल उप-प्रणाली पर प्रक्षेपित करने का एक तरीका है जबकि कुछ सांख्यिकीय गुणों को संरक्षित रखा जाता है। हैगरअप (Haagerup) और स्टॉर्मर (Størmer) द्वारा पूछे गए एक प्रश्न में पूछा गया था कि क्या इस प्रकार के विशिष्ट उप-बीजगणित पर प्रत्येक ऐसा प्रक्षेपण, उस बड़े बीजगणित द्वारा उत्पन्न उप-बीजगणित पर एक प्रक्षेपण और उसके बाद एक अंतिम चरण में तोड़ा जा सकता है। शोधकर्ताओं ने सिद्ध किया कि अध्ययन की गई प्रणालियों के लिए यह हमेशा सच होता है। यह संरचनात्मक परिणाम, हालांकि अमूर्त है, एक महत्वपूर्ण उपकरण प्रदान करता है जिसने मुख्य प्रमाण को संभव बनाया, जिससे यह प्रकट हुआ कि ये गणितीय वस्तुएं एक-दूसरे के साथ कैसे संबंधित हैं।

यह कार्य 'वॉन न्यूमैन अलजेब्रा' (von Neumann algebras) के कठोर ढांचे के भीतर किया गया था, जो अनंत स्वतंत्रता वाले क्वांटम सिस्टम का वर्णन करने के लिए मानक गणितीय भाषा है। लेखकों ने $\alpha$-$z$ रेनी डाइवर्जेंस (Rényi divergences) नामक डाइवर्जेंस मापों के एक विशिष्ट परिवार पर ध्यान केंद्रित किया, जिसमें क्वांटम अवस्थाओं के अंतर को मापने के लिए उपयोग किए जाने जाने वाले कई प्रसिद्ध परिमाण शामिल हैं। उन्होंने स्थापित किया कि इन मापों को परिभाषित करने वाले मापदंडों की एक विशिष्ट सीमा के लिए, डेटा प्रोसेसिंग इनइक्वालिटी में समानता की स्थिति, रिकवरी मैप के अस्तित्व के बराबर है। यह समानता पहले केवल सख्त '2-पॉजिटिव मैप्स' के वर्ग के लिए ज्ञात थी। 'पॉजिटिव मैप्स' के लिए इसे सिद्ध करके, लेखकों ने एक सैद्धांतिक अंतराल को भर दिया है, यह सुनिश्चित करते हुए कि सूचना रिकवरी को नियंत्रित करने वाले सिद्धांत भौतिक रूप से प्रासंगिक रूपांतरणों के पूरे स्पेक्ट्रम में सुसंगत हैं।

प्रमाण रणनीति पहले के सख्त मैप्स के लिए उपयोग की जाने वाली तकनीकों का एक सावधानीपूर्वक अनुकूलन थी, लेकिन एक महत्वपूर्ण मोड़ के साथ। '2-प性和' गुणों पर निर्भर रहने के बजाय, टीम ने जॉर्डन बीजगणित (Jordan algebras) की संरचना का उपयोग किया, जो गुणन के सममित भाग को पकड़ने वाले बीजगणितीय सिस्टम हैं। एक बड़े, सुस्थापित स्थान के उप-स्थानों के रूप में प्रासंगिक गणितीय स्थानों को पहचानकर, वे रिकवरी के तर्क को सख्त मामले से सामान्य मामले में स्थानांतरित करने में सक्षम हुए। इस दृष्टिकोण ने उन्हें यह दिखाने की अनुमति दी कि रिकवरी के लिए आवश्यक न्यूनतम पर्याप्त संरचना वही है, चाहे मैप '2-पॉजिटिव' हो या केवल 'पॉजिटिव'। यह एक एकीकृत चित्र प्रस्तुत करता है जहाँ सूचना की रिकवरी की क्षमता, विशिष्टता के संरक्षण का एक सीधा परिणाम है, एक सिद्धांत जो तब भी अडिग रहता है जब रूपांतरण पर गणितीय बाधाओं को शिथिल कर दिया जाता है।

क्वांटम भौतिकी के व्यापक संदर्भ में, यह कार्य इस विचार को पुष्ट करता है कि प्रतिवर्ती प्रक्रियाओं में सूचना संरक्षित रहती है, चाहे रूपांतरण की विशिष्ट गणितीय प्रकृति कुछ भी हो। यह सुझाव देता है कि पूर्ण रिकवरी की बाधाएं रूपांतरण की ढीली प्रकृति के कारण नहीं हैं, बल्कि वे अवस्था स्थान (state space) की मौलिक ज्यामिति द्वारा निर्धारित होती हैं। क्वांटम कंप्यूटर बनाने वाले या क्वांटम प्रणालियों के ऊष्मागतिकी का अध्ययन करने वाले शोधकर्ताओं के लिए, यह एक मजबूत सैद्धांतिक गारंटी प्रदान करता है कि सूचना की हानि सामान्य 'पॉजिटिव मैप्स' का उपयोग करने का एक अपरिहार्य परिणाम नहीं है। निष्कर्ष पुष्टि करते हैं कि क्वांटम सूचना के नियम लचीले हैं, जो तब भी सत्य रहते हैं जब गणितीय मॉडलों को उनके सबसे सामान्य सीमाओं तक धकेला जाता है।

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

अंततः, यह शोध अमूर्त गणितीय सिद्धांत और क्वांटम रूपांतरणों की भौतिक वास्तविकता के बीच के अंतर को पाटता है। 'पॉजिटिविटी' की न्यूनतम धारणा के तहत रिकवरी संभव है, यह सिद्ध करके, लेखकों ने क्वांटम सूचना सिद्धांत के दायरे को भौतिक प्रक्रियाओं के एक व्यापक समूह तक विस्तृत कर दिया है। यह कार्य क्वांटम दुनिया की गहरी, अंतर्निहित संरचनाओं को उजागर करने में गणितीय कठोरता की शक्ति के प्रमाण के रूप में खड़ा है, जो यह दिखाता है कि सूचना संरक्षण के सिद्धांत पहले की तुलना में कहीं अधिक सुदृढ़ हैं। हैगरअप-स्टॉर्मर समस्या का समाधान ऑपरेटर बीजगणित के विभिन्न क्षेत्रों के बीच परस्पर जुड़ाव को और अधिक उजागर करता है, यह प्रदर्शित करते हुए कि कैसे एक संरचनात्मक प्रश्न को हल करना एक अलग क्षेत्र में प्रगति के द्वार खोल सकता है। परिणाम क्वांटम जगत में सूचना के प्रवाह और अस्तित्व की एक स्पष्ट और अधिक पूर्ण समझ प्रदान करता है।