Unconditional Certified Randomness without Structure
यह शोध पत्र क्वांटम रैंडम ओरकल मॉडल में बिना शर्त प्रमाणित यादृच्छिकता (unconditional certified randomness) के लिए एक गैर-संवादात्मक (non-interactive), सार्वजनिक रूप से सत्यापन योग्य प्रोटोकॉल प्रस्तुत करता है, जो आरोंसन-एम्बेनिस अनुमान (Aaronson–Ambainis conjecture) पर निर्भर किए बिना या क्वेरी गहराई (query depth) को प्रतिबंधित किए बिना उप-घातांकीय (subexponentially-many) अनुकूली क्वांटम प्रश्नों के विरुद्ध सुरक्षा प्राप्त करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
क्वांटम दुनिया में, यादृच्छिकता (randomness) केवल जानकारी की कमी नहीं है; यह वास्तविकता की एक मौलिक विशेषता है। भले ही आप किसी क्वांटम सिस्टम के बारे में सब कुछ जानते हों, फिर भी आप माप (measurement) के परिणाम की निश्चितता के साथ भविष्यवाणी नहीं कर सकते। यह अंतर्निहित अप्रत्याशितता क्वांटम कंप्यूटिंग के पीछे का इंजन है, लेकिन यह सुरक्षा के लिए एक अनूठी चुनौती भी पेश करती है। एक व्यक्ति, जो एक मानक, क्लासिकल कंप्यूटर का उपयोग कर रहा है, वह कैसे सुनिश्चित हो सकता है कि एक दूरस्थ, अविश्वसनीय क्वांटम डिवाइस वास्तव में वास्तविक यादृच्छिकता उत्पन्न कर रहा है, न कि किसी चतुर चाल के साथ इसे नकली बना रहा है? यह प्रश्न "प्रमाणित यादृच्छिकता" (certified randomness) के केंद्र में है, जहाँ शोधकर्ता ऐसे प्रोटोकॉल बनाने का प्रयास करते हैं जो एक क्लासिकल उपयोगकर्ता को क्वांटम शोर (quantum noise) की गुणवत्ता को सत्यापित करने की अनुमति देते हैं। वर्षों तक, सबसे आशाजनक समाधान गणना की सीमाओं के बारे में जटिल धारणाओं पर निर्भर करते थे या इसके लिए आवश्यक था कि क्वांटम डिवाइस अन्य उपकरणों से भौतिक रूप से अलग हो, ऐसी स्थितियाँ जिन्हें वास्तविक दुनिया में लागू करना कठिन है।
शोधकर्ताओं की एक टीम ने अब प्रमाणित यादृच्छिकता का एक नया तरीका प्रदर्शित किया है जो इन भारी बाधाओं को हटा देता है। उन्होंने एक ऐसा प्रोटोकॉल डिज़ाइन किया है जो 'क्वांटम रैंडम ऑरेकल मॉडल' नामक एक सैद्धांतिक सेटिंग में काम करता है, जो एक ऐसा ढांचा है जहाँ एक कंप्यूटर एक विशाल, अप्रत्याशित डेटाबेस से प्रश्न पूछ सकता है। उनकी सफलता एक ऐसी विधि है जो गैर-संवादात्मक (non-interactive) है, जिसका अर्थ है कि क्वांटम डिवाइस को सत्यापनकर्ता (verifier) के साथ बातचीत करने की आवश्यकता नहीं है और यह केवल एक उत्तर देता है, और यह सार्वजनिक रूप से सत्यापन योग्य (publicly verifiable) है, जिससे कोई भी परिणाम की जांच कर सकता है। सबसे महत्वपूर्ण बात यह है कि उन्होंने सिद्ध किया कि यह प्रोटोकॉल किसी भी विरोधी (adversary) के विरुद्ध बिना शर्त (unconditionally) काम करता है, बशर्ते कि वह विरोधी डेटाबेस में असंभव रूप से बड़ी संख्या में प्रश्न (queries) न कर सके। यह परिणाम इस दीर्घकालिक प्रश्न को हल करता है कि क्या बिना किसी अपुष्ट गणितीय अनुमानों पर भरोसा किए वास्तविक यादृच्छिकता को प्रमाणित किया जा सकता है, जो भविष्य की क्रिप्टोग्राफिक प्रणालियों के लिए एक मजबूत आधार प्रदान करता है।
इस खोज की कहानी पहले के शोधकर्ताओं द्वारा प्रस्तावित एक विशिष्ट पहेली के साथ शुरू होती है, जिसमें संभावनाओं के एक विशाल स्थान के भीतर एक छिपे हुए समाधान को खोजना शामिल था। एक विशाल ग्रिड की कल्पना करें जहाँ प्रत्येक सेल में एक गुप्त कोड है। एक क्वांटम कंप्यूटर क्लासिकल कंप्यूटर की तुलना में बहुत तेज़ी से इस ग्रिड में एक विशिष्ट पैटर्न खोज सकता है, लेकिन मूल संस्करण में एक दोष था: यह सिद्ध करने के लिए कि समाधान वास्तव में यादृच्छिक था, शोधकर्ताओं को यह मानना पड़ा कि एक जटिल गणितीय अनुमान सत्य है। यह अनुमान, हालांकि व्यापक रूप से माना जाता है, कभी सिद्ध नहीं हुआ था। कोलाडेन्जेलो, खुराना और उनके सहयोगियों का नया कार्य दिखाता है कि पहेली के नियमों में थोड़ा बदलाव करके, इस अपुष्ट धारणा की आवश्यकता पूरी तरह से समाप्त हो जाती है।
उन्होंने मूल पहेली के दो प्रमुख घटकों को बदलकर यह उपलब्धि हासिल की। पहला, उन्होंने वैध समाधानों को परिभाषित करने के लिए उपयोग किए जाने वाले "कोड" को बदल दिया। मूल सेटअप में, कोड कठोर था, लेकिन टीम ने एक अधिक लचीली संरचना पेश की जिसे कुशलतापूर्वक जांचा जा सकता था लेकिन हमलावर के लिए अनुमान लगाना कठिन था। दूसरा, और शायद अधिक महत्वपूर्ण, उन्होंने डेटाबेस की प्रकृति को बदल दिया। इस तथ्य के बजाय कि डेटाबेस का प्रत्येक प्रविष्टि शून्य या एक के रूप में समान रूप से संभावित है, उन्होंने डेटाबेस को "पक्षपाती" (biased) बना दिया। इस पक्षपाती संस्करण में, शून्य एकों की तुलना में बहुत अधिक सामान्य हैं। यह सूक्ष्म बदलाव ही इस प्रमाण की कुंजी है। यह सुनिश्चित करता है कि जब एक क्वांटम कंप्यूटर पहेली को हल करता है, तो उसे डेटाबेस को इस तरह से खोजने के लिए मजबूर किया जाता है कि वह एक विशिष्ट, यादृच्छिक हस्ताक्षर छोड़ता है, जबकि साथ ही एक क्लासिकल कंप्यूटर के लिए अत्यधिक प्रयास के बिना परिणाम को नकली बनाना असंभव बना देता है।
उनके तर्क का मूल एक चतुर गणना तकनीक पर आधारित है। उन्होंने तर्क दिया कि यदि एक क्वांटम कंप्यूटर एक गैर-यादृच्छिक, पूर्वानुमेय उत्तर उत्पन्न करने की कोशिश कर रहा है, तो उसे डेटाबेस के विशिष्ट भागों पर अपना ध्यान केंद्रित करना होगा। हालाँकि, डेटाबेस के पक्षपाती होने और कोड की संरचना के कारण, किसी विशिष्ट उत्तर पर ध्यान केंद्रित करने के किसी भी प्रयास के लिए कंप्यूटर को इतने अधिक प्रश्न पूछने की आवश्यकता होगी कि वह प्रोटोकॉल की सीमाओं के भीतर क्या भौतिक रूप से संभव है, उस सीमा को पार कर जाएगा। शोधकर्ताओं ने सिद्ध किया कि यदि कोई विरोधी एक पूर्वानुमेय समाधान आउटपुट करने की कोशिश करता है, तो उन्हें डेटाबेस को इतनी भारी मात्रा में "क्वेरी" करने के लिए मजबूर किया जाता है कि प्रोटोकॉल विसंगति का पता लगा लेगा। इसके विपरीत, यदि विरोधी अनुमत सीमाओं के भीतर रहता है, तो सफल होने का एकमात्र तरीका एक आउटपुट उत्पन्न करना है जो वास्तव में यादृच्छिक है।
यह परिणाम महत्वपूर्ण है क्योंकि यह एक विशिष्ट प्रकार के क्वांटम लाभ के लिए अंतिम बड़े अवरोध को हटा देता है। कुछ समय से, केवल ज्ञात उदाहरण जहाँ क्वांटम कंप्यूटर एक "संरचना-रहित" वातावरण में क्लासिकल कंप्यूटरों से बेहतर प्रदर्शन करते हैं—एक ऐसा वातावरण जो बड़ी संख्याओं के गुणनखंडन जैसी विशेष गणितीय विशेषताओं पर निर्भर नहीं करता है—अपुष्ट अनुमानों से बंधे थे। इन अनुमानों के बिना यादृच्छिकता को प्रमाणित करके, टीम ने दिखाया है कि यह नया स्रोत क्वांटम लाभ वास्तविक और मजबूत है। उनका प्रोटोकॉल अपने डिज़ाइन में भी व्यावहारिक है: इसमें केवल एक क्वांटल डिवाइस की आवश्यकता होती है, इसमें कोई आगे-पीछे का संचार शामिल नहीं है, और यह डेटाबेस तक पहुंच रखने वाले किसी भी व्यक्ति को परिणाम को सत्यापित करने की अनुमति देता है।
टीम का प्रमाण कठोर है और संभावित हमलावरों की एक विस्तृत श्रृंखला को कवर करता है। उन्होंने दिखाया कि यहाँ तक कि एक असीमित कंप्यूटिंग शक्ति वाला विरोधी, जो केवल डेटाबेस से प्रश्न पूछने की संख्या से सीमित है, सिस्टम को तोड़ नहीं सकता है। सुरक्षा तब तक बनी रहती है जब तक कि प्रश्नों की संख्या एक निश्चित सीमा से नीचे रहती है, जो कि घातांकीय रूप से बड़ी है लेकिन फिर भी परिमित है। इसका मतलब है कि किसी भी वास्तविक परिदृश्य के लिए, उत्पन्न की गई यादृच्छिकता उच्च गुणवत्ता की होने की गारंटी है। शोधकर्ताओं ने एक सूक्ष्म तकनीकी मुद्दे को भी संबोधित किया: जबकि उनका प्रोटोकॉल एक पक्षपाती डेटाबेस का उपयोग करके डिज़ाइन किया गया था, उन्होंने यह प्रदर्शित किया कि कैसे एक मानक, समान (uniform) डेटाबेस का उपयोग करके इस पक्षपात का अनुकरण किया जा सकता है, जिससे यह सुनिश्चित होता है कि इस पद्धति को वास्तविक दुनिया में एक विशेष ऑरेकल की आवश्यकता के बिना लागू किया जा सकता है।
क्वांटम सूचना के व्यापक परिदृश्य में, यह कार्य इस बात का एक स्वच्छ, बिना शर्त उदाहरण प्रदान करता है कि कैसे क्वांटम यांत्रिकी का उपयोग यादृच्छिकता उत्पन्न करने और सत्यापित करने के लिए किया जा सकता है। यह सैद्धांतिक संभावना और व्यावहारिक सुरक्षा के बीच के अंतर को पाटता है, जो एक ऐसा प्रोटोकॉल प्रदान करता है जो सरल वर्णन और गणितीय रूप से अभेद्य दोनों है। यह दिखाकर कि यादृच्छिकता प्रक्रिया के अंतर्निहित गुण के कारण है न कि किसी अपुष्ट धारणा का परिणाम है, शोधकर्ताओं ने भविष्य के क्रिप्टोग्राफी और सुरक्षित संचार के अनुप्रयोगों के लिए आधार को मजबूत किया है। यह कार्य सावधानीपूर्वक गणितीय तर्क की शक्ति का प्रमाण है, जो एक जटिल सैद्धांतिक समस्या को एक स्पष्ट, सत्यापन योग्य वास्तविकता में बदल देता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।