Verifiable blind probabilistic error cancellation

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

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

---

समस्या: अविश्वसनीय जादू का डिब्बा (The Untrusted Magic Box)

मान लीजिए कि आप एक क्वांटम कंप्यूटर से कोई प्रश्न पूछना चाहते हैं, जैसे "इस नए अणु (molecule) की ऊर्जा क्या है?" आप अपना प्रश्न एक रिमोट सर्वर (द "सर्वर") को भेजते हैं क्योंकि आपका अपना कंप्यूटर पर्याप्त शक्तिशाली नहीं है। लेकिन सर्वर अविश्वसनीय है। यह एक विद्रोही AI, एक त्रुटिपूर्ण मशीन, या बस एक बुरा पात्र हो सकता है जो आपको धोखा देने की कोशिश कर रहा है।

अतीत में, वैज्ञानिकों के पास इसे संभालने के दो तरीके थे:

1. ब्लाइंड कंप्यूटेशन (Blind Computation): आप निर्देश एक गुप्त कोड में भेज सकते हैं ताकि सर्वर यह न जान सके कि वह क्या गणना कर रहा है। यह आपके रहस्यों को सुरक्षित रखता है, लेकिन यदि सर्वर कोई गलती करता है (या झूठ बोलता है), तो आपके पास यह जानने का कोई तरीका नहीं होगा। आपको बस एक गलत उत्तर मिलेगा।
2. एरर करेक्शन (Error Correction): आप शोर को ठीक करने की कोशिश कर सकते हैं। लेकिन मानक एरर करेक्शन के लिए बहुत सारे अतिरिक्त "स्पेयर" क्यूबिट्स (क्वांटम बिट्स) की आवश्यकता होती है, जो वर्तमान मशीनों के पास नहीं हैं।

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

समाधान: VBPEC (जादुई रेफरी)

लेखकों, बो यांग, एलहम काशेफी और हेरोल्ड ओलिवियर ने एक नया प्रोटोकॉल बनाया है जिसे वेरिफिएबल ब्लाइंड प्रोबेबिलिस्टिक एरर कैंसिलेशन (VBPEC) कहा जाता है। यह पहला सिस्टम है जो एक साथ तीन चीजों को जोड़ता है:

1. ब्लाइंडनेस (Blindness): सर्वर कभी नहीं जान पाता कि आप क्या गणना कर रहे हैं।
2. वेरिफिकेशन (Verification): आप गणितीय रूप से सिद्ध कर सकते हैं कि सर्वर ने धोखाधड़ी नहीं की।
3. एरर कैंसिलेशन (Error Cancellation): सर्वर वास्तव में शोर को ठीक करता है, जिससे आपको बेहतर उत्तर मिलता है।

यहाँ यह जादू कैसे काम करता है, कुछ उपमाओं का उपयोग करते हुए:

1. क्वांटम रहस्यों का "वन-टाइम पैड"

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

2. अराजकता को पासे के खेल में बदलना

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

3. जाल और सांख्यिकीय परीक्षण

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

पुराने प्रोटोकॉल में, आप केवल यह गिनते थे कि कितने ट्रैप विफल हुए। यदि बहुत अधिक विफल हुए, तो आप कहते थे, "खेल खत्म, आपने धोखाधड़ी की!" लेकिन यह बहुत सख्त है। यदि मशीन केवल थोड़ी सी शोर वाली है (धोखाधड़ी नहीं कर रही है), तो वह कुछ ट्रैप विफल कर सकती है और आप एक अच्छे परिणाम को फेंक देंगे।

VBPEC खेल को बदल देता है। केवल विफलताओं को गिनने के बजाय, यह शोर की मात्रा का सटीक अनुमान लगाने के लिए ट्रैप के परिणामों का उपयोग करता है। यह एक शेफ द्वारा सूप चखने जैसा है। केवल यह कहने के बजाय कि "यह बहुत नमकीन है, इसे फेंक दें," शेफ इसे चखता है और कहता है कि "यह उम्मीद से 10% अधिक नमकीन है।" फिर, शेफ उस ज्ञान का उपयोग करके रेसिपी को समायोजित करता है।

VBPEC में, क्लाइंट (आप) ट्रैप के परिणामों का उपयोग करके एक "शोर मानचित्र" (noise map) की गणना करता है। यदि शोर मानचित्र उस चीज़ से मेल खाता जो सर्वर को करना चाहिए, तो क्लाइंट परिणाम को स्वीकार कर लेता है। यदि शोर मानचित्र अजीब दिखता है (जैसे सर्वर झूठ बोल रहा है), तो क्लाइंट उसे अस्वीकार कर देता है।

बड़ी जीत: सक्रिय शोर निवारण (Active Noise Cancellation)

सबसे रोमांचक हिस्सा वह है जो तब होता है जब सर्वर ईमानदार होता है लेकिन मशीन शोर वाली होती है।

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

शोध पत्र यह सिद्ध करता है कि यदि सर्वर ईमानदार है, तो सही, शोर-रद्द किए गए उत्तर प्राप्त करने की संभावना अधिक राउंड चलाने पर लगभग 100% तक बढ़ जाती है। भले ही शोर मॉडल एकदम सटीक न हो (शायद मशीन अपेक्षित से थोड़ी अलग है), प्रोटोकॉल इतना मजबूत है कि वह अभी भी काम करता है, जब तक कि अंतर बहुत बड़ा न हो।

इसका आपके लिए क्या अर्थ है

यह शोध पत्र केवल यह नहीं कहता कि "हमें लगता है कि यह काम कर सकता है।" यह एक कठोर गणितीय प्रमाण प्रदान करता है कि VBPEC कंपोजेबली सुरक्षित (composably secure) है। इसका अर्थ है कि आप इसे एक बड़े सिस्टम के निर्माण खंड (building block) के रूप में उपयोग कर सकते हैं, और सुरक्षा गारंटी बनी रहती है।

लेखक दिखाते हैं कि:

• आपको अतिरिक्त क्वांटम हार्डवेयर की आवश्यकता नहीं है (कोई "स्पेस ओवरहेड" नहीं)।
• एकमात्र लागत गणना को कुछ और बार चलाना है (जो नया हार्डवेयर बनाने की तुलना में सस्ता है)।
• आप उत्तर पर भरोसा कर सकते हैं भले ही कंप्यूटर किसी ऐसे अजनबी का हो जो आपको धोखा देने की कोशिश कर रहा हो।

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