A Fourier-Label Information-Loss Barrier for Dihedral Coset Algorithms

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

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

इस खोज की कहानी इस बात से शुरू होती है कि इन एल्गोरिदम को संचालित करने के लिए कैसे डिज़ाइन किया जाता है। कल्पना कीजिए कि एक क्वांटम कंप्यूटर एक छिपे हुए नंबर को खोजने की कोशिश कर रहा है, जो पहेली की गुप्त कुंजी है। कंप्यूटर नमूनों (samples) का एक बड़ा संग्रह उत्पन्न करके शुरू करता है, जिसमें शास्त्रीय डेटा और एक नाजुक क्वांटम अवस्था का मिश्रण होता है। इस समस्या से निपटने के लिए मानक विधि, जिसे वर्षों पहले ओडेड रेगेव (Oded Regev) द्वारा स्थापित किया गया था, दो चरणों वाले नृत्य में शामिल है। पहले, कंप्यूटर एक माप (measurement) करता है जो नमूनों के बारे में कुछ जानकारी निकालता है। दूसरा, यह एक विशेष उपकरण का उपयोग करता है, जिसे 'ओरेकल' (oracle) कहा जाता है, ताकि शेष डेटा को साफ किया जा सके और रहस्य को प्रकट किया जा सके। समस्या यह है कि यह विशेष उपकरण अविश्वसनीय रूप से धीमा और अक्षम है, जो अनिवार्य रूप से कंप्यूटर को एक अलग, समान रूप से कठिन पहेली को हल करने की आवश्यकता देता है ताकि प्रगति की जा सके।

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

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

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

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

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

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

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