A Separation between Full-Rank PVM and Assumption-free Self-Testing

क्वांटम भौतिकी की विचित्र और प्रति-सहज दुनिया में, कण इस तरह से एक-दूसरे से जुड़ सकते हैं जो स्थान और समय के हमारे रोजमर्रा के अनुभव को चुनौती देता है। जब दो कण इस गहरे संबंध को साझा करते हैं, जिसे एंटैंगलमेंट (entanglement) कहा जाता है, तो एक को मापने से तुरंत दूसरे के बारे में जानकारी मिल जाती है, चाहे वे एक-दूसरे से कितनी भी दूर क्यों न हों। वैज्ञानिक लंबे समय से यह सत्यापित करने का तरीका खोज रहे हैं कि क्या ये कण वास्तव में एंटैंगल्ड हैं और ठीक वैसे ही व्यवहार कर रहे हैं जैसा क्वांटम सिद्धांत भविष्यवाणी करता है, और इसके लिए उन्हें उन उपकरणों पर भरोसा करने की आवश्यकता नहीं है जिनका उपयोग उन्हें मापने के लिए किया जाता है। इस प्रक्रिया को सेल्फ-टेस्टिंग (self-testing) कहा जाता है। यह एक क्रिप्टोग्राफिक लॉक की तरह काम करता है: कणों के साथ एक विशिष्ट खेल खेलकर और परिणामों की जांच करके, एक पर्यवेक्षक सिस्टम की आंतरिक स्थिति के बारे में गणितीय रूप से आश्वस्त हो सकता है, भले ही उपकरण स्वयं 'ब्लैक बॉक्स' हों। इस सत्यापन को वास्तविक दुनिया में उपयोगी होने के लिए, इसे मजबूत (robust) होना चाहिए, जिसका अर्थ है कि यदि माप थोड़े अपूर्ण भी हों, तो भी क्वांटम अवस्था के बारे में निष्कर्ष वैध रहना चाहिए।

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

शोधकर्ता ने, जो रानियिलु चेन (Ranyiliu Chen) के नेतृत्व में थे, इन विचारों का परीक्षण करने के लिए एक जटिल खेल डिजाइन किया। इस खेल में दो खिलाड़ी शामिल हैं, एलिस और बॉब, जिनके पास एंटैंगल्ड कणों का एक जोड़ा है। उन्हें प्रश्न प्राप्त होते हैं और उन्हें अपने कणों को मापने के आधार पर उत्तर देने होते हैं। लक्ष्य जीत की दर को यथासंभव अधिक रखना है। शोधकर्ता ने दो प्रसिद्ध प्रकार के खेलों को एक बड़े de-challenge में संयोजित किया। पहला भाग क्वांटम एंटैंगलमेंट का एक क्लासिक परीक्षण है जिसे CHSH गेम कहा जाता है, जो प्रसिद्ध है क्योंकि यह सिद्ध करता है कि ब्रह्मांड स्थानीय छिपे हुए चरों (local hidden variables) द्वारा शासित नहीं है। दूसरा भाग एक नया निर्मित सहायक खेल है जो उपयोग किए जाने वाले मापों की प्रकृति के आधार पर अलग व्यवहार करता है।

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

हालाँकि, शोधकर्ता ने पाया कि यदि उन्होंने मापों को पूर्ण प्रोजेक्टर होने की नियम को शिथिल कर दिया, तो एक ही अधिकतम स्कोर तक पहुँचने का एक अलग मार्ग खुल गया। इस वैकल्पिक रणनीति में, खिलाड़ी एक अधिक जटिल प्रकार के माप का उपयोग करते हैं जिसे पॉजिटिव ऑपरेटर-वैल्यूड मेजर (positive operator-valued measure), या POVM कहा जाता है। इस प्रकार का माप ऐसे परिणामों की अनुमति देता है जो तीखे और स्पष्ट कट नहीं हैं, बल्कि धुंधले और ओवरलैपिंग (overlapping) संभावनाएं हैं। इस धुंधले माप का उपयोग करके, खिलाड़ी सटीक रूप से वही जीत का स्कोर प्राप्त कर सकते हैं जो पूर्ण रणनीति का है, लेकिन वे कभी भी अबॉर्ट (abort) का विकल्प नहीं चुनते। इसके बजाय, वे विभिन्न विशिष्ट, गैर-शून्य उत्तर प्रदान करते हैं।

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

इस अलगाव के गहरे परिणाम हैं। शोधकर्ता ने दिखाया कि खेल मजबूत (robust) नहीं है। एक मजबूत परीक्षण में, एक रणनीति जो इष्टतम (optimal) के बहुत करीब है, उसे आसानी से आदर्श रणनीति में परिवर्तित किया जाना चाहिए। यहाँ, शोधकर्ता ने ऐसी रणनीतियों का एक परिवार बनाया जो इष्टतम स्कोर के बहुत करीब हैं लेकिन फिर भी "धुंधले" (fuzzy) माप मोड में अटकी हुई हैं। स्कोर अधिकतम के कितने भी करीब क्यों न आ जाए, आदर्श प्रोजेक्टिव संस्करण में रूपांतरण की त्रुटि कम नहीं होती है; यह बड़ी बनी रहती है। यह सिद्ध करता है कि सेल्फ-टेस्टिंग परिणाम नाजुक है और इसे तब भरोसेमंद नहीं माना जा सकता जब गैर-प्रोजेक्टिव मापों के शामिल होने की कोई भी संभावना हो।

यह कार्य एक गहरा बीजगणितीय (algebraic) स्पष्टीकरण भी प्रदान करता है कि ऐसा क्यों होता है। शोधकर्ता ने इष्टतम रणनीतियों की गणितीय संरचना का विश्लेषण किया और पाया कि सभी संभावित जीतने वाले सहसंबंधों (correlations) का सेट एक निरंतर रेखा बनाता है। इस रेखा का एक सिरा उस सरल, नियतात्मक (deterministic) रणनीति का प्रतिनिधित्व करता है जहाँ खिलाड़ी हमेशा अबॉर्ट करते हैं। दूसरा सिरा उस जटिल, धुंधली रणनीति का प्रतिनिधित्व करता है जहाँ खिलाड़ी कभी अबॉर्ट नहीं करते। रेखा के मध्य भाग में दोनों का मिश्रण होता है। जब शोधकर्ता ने यह शर्त लागू की कि माप प्रोजेक्टिव होने चाहिए, तो गणितीय संरचना ढह गई, जिससे केवल सरल, नियतात्मक सिरा ही बचा। जटिल, धुंधला सिरा इसलिए गायब हो गया क्योंकि वह सख्त प्रोजेक्टिव नियमों के तहत अस्तित्व में नहीं रह सकता था। यह पतन स्पष्ट करता है कि दोनों रणनीतियाँ इतनी अलग क्यों हैं: वे अलग-अलग गणितीय दुनियाओं से संबंधित हैं जो केवल संभावना के बिल्कुल किनारे पर एक-दूसरे को छूती हैं।

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

शोधकर्ता ने इन परिणामों को सिद्ध करने के लिए एक विशिष्ट गणितीय ढांचे का उपयोग किया, जो ऑपरेटर बीजगणित (operator algebras) के गुणों और संपीड़न (compression) के तहत क्वांटम अवस्थाओं के व्यवहार पर निर्भर करता है। उन्होंने प्रदर्शित किया कि "धुंधली" माप रणनीति एक ऐसी अवस्था के अनुरूप है जो मानक प्रोजेक्टिव रणनीति की तरह पूरी तरह से सक्रिय नहीं है। जब आप इस अवस्था को जबरन एक प्रोजेक्टिव सांचे में ढालने की कोशिश करते हैं, तो आप सिस्टम के व्यवहार के बारे में आवश्यक जानकारी खो देते है। पेपर निष्कर्ष निकालता है कि जबकि हम अभी भी एंटैंगल्ड अवस्था को प्रमाणित कर सकते हैं, हम पूर्ण-रैंक और प्रोजेक्टिविटी की संयुक्त धारणाओं के तहत पूर्ण माप रणनीति को प्रमाणित नहीं कर सकते। दोनों प्रकार की रणनीतियों के बीच का अलगाव सटीक और पूर्ण है, यह डिग्री का मामला नहीं है।

यह कार्य उन अन्य शोधकर्ताओं द्वारा किए गए एक अनुमान को हल करता है जिन्होंने संदेह जताया था कि पूर्ण-रैंक और प्रोजेक्टिव धारणाओं को मिलाने से ऐसे अवरोध उत्पन्न हो सकते हैं। एक स्पष्ट उदाहरण प्रदान करके, लेखक ने क्षेत्र को अटकलों से प्रमाण की ओर स्थानांतरित कर दिया है। उन्होंने दिखाया है कि क्वांटम रणनीतियों का परिदृश्य पहले के मानचित्रण की तुलना में अधिक जटिल है, जिसमें छिपी हुई घाटियाँ हैं जो दूर से चोटियों जैसी दिखती हैं लेकिन वास्तव में अलग भूभाग हैं। जो कोई भी सिस्टम की सुरक्षा या कार्यक्षमता की गारंटी देने के लिए क्वांटम सेल्फ-टेस्टिंग पर भरोसा कर रहा है, उसके लिए यह एक महत्वपूर्ण चेतावनी है: खेल के नियम उतने ही महत्वपूर्ण हैं जितना कि स्कोर। यदि नियम "धुंधले" मापों की अनुमति देते हैं, तो आदर्श, तीखी रणनीति एकमात्र विजेता नहीं हो सकती है, और सिस्टम वह नहीं हो सकता है जो वह दिखाई देता है।

अध्ययन यह सुझाव नहीं देता है कि क्वांटम यांत्रिकी टूट गई है या एंटैंगलमेंट अविश्वसनीय है। बल्कि, यह "मापन" और "अवस्था" के अर्थ को परिभाषित करने में आवश्यक सटीकता पर प्रकाश डालता है। शोधकर्ता ने एक ऐसा उपकरण बनाया है जो दो बहुत अलग तरीकों से क्वांटम खेल खेलने के बीच अंतर कर सकता है, यह प्रकट करते हुए कि हमारे क्वांटम उपकरणों को सत्यापित करने के वर्तमान तरीकों में ब्लाइंड स्पॉट्स (blind spots) हैं। जैसे-जैसे क्वांटम तकनीक प्रयोगशाला से वास्तविक दुनिया के अनुप्रयोगों की ओर बढ़ रही है, इन सूक्ष्म अंतरों को समझना वास्तव में सुरक्षित और विश्वसनीय सिस्टम बनाने के लिए आवश्यक होगा। यह पेपर एक कठोर प्रदर्शन है कि क्वांटम क्षेत्र में, समाधान का मार्ग स्वयं समाधान जितना ही महत्वपूर्ण है, और कभी-कभी, सबसे सीधा मार्ग एकमात्र ऐसा मार्ग नहीं होता जो काम करता है।