Non-Local Search-to-Decision Reduction over F2

क्रिप्टोग्राफी के क्षेत्र में, एक रहस्य की सुरक्षा अक्सर एक मौलिक सिद्धांत पर टिकी होती है: सूचना नाजुक होती है। यदि आप क्वांटम सूचना की प्रतिलिपि बनाने की कोशिश करते हैं, तो प्रतिलिपि बनाने की क्रिया स्वयं मूल सूचना को बाधित कर देती है, जिससे एक ऐसा निशान पीछे रह जाता है जो चोरी का खुलासा कर देता है। यह अवधारणा, जिसे नो-क्लोनिंग थ्योरम (no-cloning theorem) के रूप में जाना जाता है, सुरक्षा के एक नए युग के प्रोटोकॉल का आधार है, जिन्हें डेटा को इस तरह से सुरक्षित करने के लिए डिज़ाइन किया गया है जिसे शास्त्रीय भौतिकी (classical physics) नहीं कर सकती। कल्पना कीजिए कि एक डीलर बिट्स की एक यादृच्छिक स्ट्रिंग—एक लंबा, गुप्त पासवर्ड—लेता है और उसे दो टुकड़ों में विभाजित करता है, एक हिस्सा बॉब नामक व्यक्ति को देता है और दूसरा चार्ली नामक व्यक्ति को। ये दोनों दूरी पर अलग-अलग हैं और आपस में संवाद नहीं कर सकते। फिर उन्हें एक यादृच्छिक प्रश्न, संख्याओं का एक वेक्टर, दिया जाता है और उनसे उनके गुप्त हिस्से और प्रश्न के आधार पर एक विशिष्ट उत्तर की गणना करने के लिए कहा जाता है। चुनौती यह देखना है कि क्या वे अपने उत्तरों को सही होने के लिए इस तरह से समन्वित कर सकते हैं कि वे शुद्ध भाग्य की तुलना में अधिक बार सही हों, बिना वास्तव में उनके बीच पूर्ण गुप्त पासवर्ड को पुनर्गठित किए।

यह परिदृश्य, जिसे नॉन-लोकल सर्च-टू-डिसीजन (non-local search-to-decision) समस्या के रूप में जाना जाता है, सूचना की प्रकृति के बारे में एक गहरा प्रश्न पूछता है। यदि बॉब और चार्ली यादृच्छिक प्रश्न का सही उत्तर बताने में लगातार सक्षम हैं, तो क्या इसका मतलब यह है कि उन्होंने किसी तरह पूरे छिपे हुए स्ट्रिंग को पुनः प्राप्त करने में सफलता प्राप्त कर ली है? शास्त्रीय दुनिया में, उत्तर 'हाँ' है; यदि आप किसी गुप्त चीज़ के यादृच्छिक भाग की पर्याप्त अच्छी तरह से भविष्यवाणी कर सकते हैं, तो आप अंततः पूरी चीज़ को पुनर्गठित कर सकते हैं। यह एक ज्ञात गणितीय तथ्य है। हालाँकि, क्वांटम दुनिया में, जहाँ सूचना अवस्थाओं के सुपरपोजिशन (superposition) में मौजूद हो सकती है, नियम कम स्पष्ट हैं। क्या दोनों पक्ष अपने अनुमानों को पूरी तरह से समन्वित करने के लिए क्वांटम यांत्रिकी के अजीब गुणों का उपयोग कर सकते हैं, भले ही वे कभी भी पूर्णतः गुप्त को पुनः प्राप्त न कर सकें? यदि वे ऐसा कर सकते हैं, तो यह कई प्रस्तावित क्वांटम एन्क्रिप्शन योजनाओं की सुरक्षा को तोड़ देगा, जो इस धारणा पर आधारित हैं कि सूचना के एक एकल बिट की भविष्यवाणी करना पूरे संदेश को पुनः प्राप्त करने जितना ही कठिन है।

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

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

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

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

इस प्रमाण के निहितार्थ केवल एक विशिष्ट एन्क्रिप्शन पद्धति तक ही सीमित नहीं हैं। यह उन क्वांटम प्रणालियों के विश्लेषण के लिए एक नया उपकरण प्रदान करता है जहाँ सूचना कई पक्षों के बीच वितरित होती है। यह सिद्ध करके कि एक सफल भविष्यवाणी रणनीति एक सफल रिकवरी रणनीति को दर्शाती है, शोधकर्ता ने क्रिप्टोग्राफरों को अपने सिस्टम की मजबूती का परीक्षण करने का एक तरीका दिया है। यदि एक सिस्टम को अनुमान लगाने वाले हमले (guessing attack) द्वारा तोड़ा जा सकता है, तो इसे रिकवरी हमले द्वारा भी तोड़ा जा सकता है। यह सुरक्षा विश्लेषण के कार्य को सरल बनाता है, जिससे विशेषज्ञों को सिस्टम को सुरक्षित रखने के लिए कठिन रिकवरी समस्या पर ध्यान केंद्रित करने की अनुमति मिलती है। यह कार्य सूचना-सैद्धांतिक सुरक्षा (information-theoretic security) की शक्ति को भी उजागर करता है, जो वर्तमान तकनीक की कम्प्यूटेशनल सीमाओं के बजाय भौतिकी के नियमों पर निर्भर करती है। भले ही भविष्य का कंप्यूटर अनंत रूप से तेज़ हो जाए, यह उन प्रणालियों को तोड़ने में सक्षम नहीं होगा जो इन सिद्धांतों द्वारा संरक्षित हैं, क्योंकि सूचना को बिना कोई निशान छोड़े निकाला नहीं जा सकता है।

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