⚛️ quantum physics

How to Classically Verify a Quantum Cat without Killing It

यह शोधपत्र एक प्रोटोकॉल का निर्माण करके क्वांटम कंप्यूटेशन के क्लासिकल वेरिफिकेशन (CVQC) की एक खुली समस्या को हल करता है, जो पोस्ट-क्वांटम लर्निंग विद एरर्स (LWE) धारणा पर भरोसा करते हुए, केवल एक एकल QMA विटनेस (witness) का उपयोग करके और उसे नष्ट किए बिना नगण्य त्रुटि प्राप्त करता है।

मूल लेखक: Yael Tauman Kalai, Dakshita Khurana, Justin Raizes

प्रकाशित 2026-02-11

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Yael Tauman Kalai, Dakshita Khurana, Justin Raizes

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

समस्या: "क्वांटम कैट" (Quantum Cat) की दुविधा

कल्पना कीजिए कि आप एक उच्च-स्तरीय कला संग्राहक (art collector) हैं। आप यह सत्यापित करना चाहते हैं कि एक संग्रहालय के पास वास्तव में एक पौराणिक, अद्वितीय हीरा मौजूद है। हालाँकि, यहाँ एक पेच है: वह हीरा इतना नाजुक है कि आवर्धक लेंस (magnifying glass) से उसे देखना या उस पर रोशनी डालना भी उसे धूल में बदल सकता है।

क्वांटम कंप्यूटिंग की दुनिया में, यह एक वास्तविक समस्या है। क्वांटम जानकारी "अवस्थाओं" (states) में संग्रहीत होती है (जैसे हमारा हीरा)। ये अवस्थाएँ अविश्वसनीय रूप से मूल्यवान हैं, लेकिन वे अत्यंत नाजुक भी हैं। यदि आप यह देखने के लिए क्वांटम अवस्था को "मापते" (measure) या "जांचते" हैं कि क्या वह सही है, तो आप आमतौर पर उसे नष्ट कर देते हैं। इसे ऑब्जर्वर इफेक्ट (observer effect) के रूप में जाना जाता है।

वर्तमान में, यदि कोई क्वांटम कंप्यूटर (प्रूवर/Prover) किसी साधारण लैपटॉप (वेरिफायर/Verifier) को यह सिद्ध करना चाहता है कि उसने एक विशाल समस्या को हल कर लिया है, तो उसे अपनी क्वांटम अवस्था को "बलिदान" करना पड़ता है। यह बिल्कुल वैसा ही है जैसे यह साबित करने के लिए कि आपके पास कांच का टुकड़ा नहीं बल्कि असली हीरा है, आपको हीरे को तोड़ना पड़े।

सफलता: नष्ट किए बिना सत्यापन करना

यह शोध पत्र, "How to Classify a Quantum Cat without Killing it", ठीक इसी समस्या को हल करता है। लेखकों ने एक तरीका खोज निकाला है जिससे एक क्लासिकल वेरिफायर, प्रूवर के काम को बिना कीमती क्वांटम अवस्था को नष्ट किए सत्यापित कर सकता है।

वे इसे नॉन-डिस्ट्रक्टिव क्लासिकल वेरिफिकेशन (Non-Destructive Classical Verification) कहते हैं।

वे इसे कैसे करते हैं: तीन जादुई तरकीबें

इसे सफलतापूर्वक करने के लिए, शोधकर्ताओं ने तीन मुख्य "तकनीकी" सफलताओं (गणितीय प्रिमिटिव्स) को विकसित किया है। यहाँ बताया गया है कि वे रोजमर्रा के उपमाओं का उपयोग करके कैसे काम करते हैं:

1. "भूतिया" तर्क (State-Preserving Arguments)

कल्पना कीजिए कि आप यह सिद्ध करना चाहते हैं कि आप एक तिजोरी का संयोजन (combination) जानते हैं, लेकिन आप वास्तव में डायल को घुमाना नहीं चाहते (क्योंकि डायल घुमाने से आत्मघाती तंत्र/self-destruct mechanism सक्रिय हो सकता है)।

लेखकों ने प्रूवर को एक "भूतिया" (ghostly) संस्करण प्रदान करने का तरीका बनाया है। अवस्था को कोलैप्स करने वाली क्रिया करने के बजाय, प्रूवर उस क्रिया को एक "सुपरपोजिशन" (superposition) में करता है—एक ऐसी क्वांटम अवस्था जो एक ही समय में "करने" और "न करने" दोनों की स्थिति में होती है। क्योंकि प्रूवर कभी भी एक एकल उत्तर पर "स्थिर" नहीं होता, इसलिए नाजुक क्वांटम अवस्था बरकरार रहती है।

2. "दो-तरफा" कुंजी (Dual-Mode Trapdoor Functions)

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

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

इन मोडों के बीच स्विच करके, वेरिफायर प्रूवर के क्वांटम "बिल्ली" को गलती से नुकसान पहुँचाए बिना झूठ बोलने वाले को पकड़ सकता है।

3. "क्वांटम रिपेयर शॉप" (State Repair)

सर्वोत्तम सावधानियों के बावजूद, क्वांटम अवस्था की जांच करना बबल रैप (bubble wrap) से भरे कमरे में चलने जैसा है; आप अनजाने में कुछ बुलबुले फोड़ सकते हैं।

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

यह क्यों महत्वपूर्ण है?

यह केवल एक गणितीय पहेली नहीं है; इसके भविष्य की तकनीक के लिए बड़े निहितार्थ हैं:

क्वांटम मनी (Quantum Money): एक ऐसे डिजिटल सिक्के की कल्पना करें जिसे नकली बनाना असंभव है क्योंकि यह क्वांटम अवस्थाओं से बना है। यदि आप इसे खर्च करना चाहते हैं, तो दुकानदार को यह सत्यापित करने की आवश्यकता है कि यह असली है। इस शोध पत्र के तर्क के बिना, दुकानदार इसे जांचते ही पैसे को नष्ट कर देगा!
क्वांटिक क्रेडेंशियल्स (Quantum Credentials): आप यह सिद्ध कर सकते हैं कि आपके पास उच्च-स्तरीय सुरक्षा मंजूरी या एक विशिष्ट डिजिटल पहचान है, बिना अपनी पहचान को इस प्रक्रिया में "खर्च" किए।
कुशल क्वांटम क्लाउड (Efficient Quantum Clouds): भविष्य में, हम संभवतः क्वांटम कंप्यूटरों पर समय किराए पर लेंगे। यह शोध पत्र हमें यह सत्यापित करने की अनुमति देता है कि क्वांटम क्लाउड वास्तव में वह काम कर रहा है जिसका उसने वादा किया था, बिना क्लाउड प्रदाता को हमारे काम कर रहे जटिल क्वांटम डेटा को "रीसेट" या "नष्ट" करने के लिए मजबूर किए।

संक्षेप में: लेखकों ने बिल्ली को देखने, यह पुष्टि करने कि वह जीवित और स्वस्थ है, और उसे पूरी तरह से सुरक्षित छोड़ने का तरीका खोज लिया है।

तकनीकी सारांश: "क्वांटम बिल्ली को मारे बिना उसे क्लासिकली कैसे सत्यापित करें"

1. समस्या: क्वांटम गवाहों की "उपभोग्य" प्रकृति (The "Consumable" Nature of Quantum Witnesses)

क्लासिकल वेरिफिकेशन ऑफ क्वांटम कंप्यूटेशन (CVQC) के क्षेत्र में, एक क्लासिकल वेरीफायर यह सत्यापित करने का प्रयास करता है कि क्या क्वांटम प्रोवर के पास एक विशिष्ट क्वांटम अवस्था (एक QMA विटनेस/गवाह) है या उसने एक विशिष्ट क्वांटम गणना की है।

मौजूदा CVQC प्रोटोकॉल में एक मौलिक सीमा यह है कि वे विनाशकारी (destructive) होते हैं। किसी कथन को सत्यापित करने के लिए, प्रोटोकॉल में आमतौर पर प्रोवर को ऐसे मापन (measurements) करने की आवश्यकता होती है जो क्वांटम अवस्था को कोलैप्स (collapse) कर देते हैं। फलस्वरूप, पुनरावृत्ति (repetition) के माध्यम से सुरक्षा (soundness) और विश्वसनीयता (completeness) को बढ़ाने के लिए, प्रोवर के पास कई स्वतंत्र प्रतियों (copies) का होना आवश्यक है।

हालाँकि, नो-क्लोनिंग थ्योरम (No-Cloning Theorem) के कारण, QMA विटनेस आम तौर पर नॉन-क्लोनेबल होते हैं। कई व्यावहारिक परिदृश्यों में—जैसे कि क्वांटम मनी या उच्च-मूल्य वाले क्वांटम क्रेडेंशियल्स को सत्यापित करना—प्रोवर के पास केवल एक ही प्रति (single copy) हो सकती है। इस शोध पत्र द्वारा संबोधित खुला प्रश्न यह है: क्या एक क्लासिकल वेरीफायर केवल विटनेस की एक प्रति का उपयोग करके, उसे नष्ट किए बिना, एक QMA कथन को सत्यापित कर सकता है?

2. कार्यप्रणाली: एक तीन-चरणीय कंपाइलर दृष्टिकोण (Methodology: A Three-Stage Compiler Approach)

लेखक इसे एक ऐसा CVQC प्रोटोकॉल बनाकर हल करते हैं जो वन-कॉपी (one-copy) (केवल एक विटनेस का उपयोग करता है) और विटनेस-संरक्षण (witness-preserving) (प्रोवर के पास इनपुट के लगभग समान अवस्था रहती है) दोनों है। वे एक मॉड्यूलर आर्किटेक्चर के माध्यम से इसे प्राप्त करते हैं जो लर्निंग विद एरर्स (LWE) धारणा की पोस्ट-क्वांटम कठोरता पर आधारित दो जेनेरिक "कंपाइलर्स" से बना है।

कार्यप्रणाली एक तीन-चरणीय पाइपलाइन का अनुसरण करती है:

चरण 1: $\epsilon$ -नॉन-डिस्ट्रक्टिव ( $\epsilon$ -Non-Destruction - द रिपेयर मैकेनिज्म):
लेखक किसी भी नॉन-एडैप्टिव CVQC को एक " $\epsilon$ -नॉन-डिस्ट्रक्टिव" संस्करण में परिवर्तित करते हैं। यदि मूल प्रोटोकॉल में कॉम्प्लीटनेस (completeness) कम है, तो मापन प्रक्रिया विटनेस को नुकसान पहुँचा सकती है। इसका मुकाबला करने के लिए, वे एक स्टेट रिपेयर (State Repair) तकनीक (CMSZ22 पर आधारित) का उपयोग करते हैं। मापन को घातांकीय (exponential) परिणामों के बजाय एक बाइनरी परिणाम (Accept/Reject) तक सीमित करके, वे यह सुनिश्चित करते हैं कि क्षति प्रबंधनीय है और विटनेस की स्वीकृति संभावना (acceptance probability) को बहाल करने के लिए एक प्रोबेबिलिटी एस्टीमेशन एल्गोरिदम (ValEst) का उपयोग करके इसे "रिपेयर" किया जा सकता है।
चरण 2: अनुक्रमिक प्रवर्धन (Sequential Amplification - द एरर रिडक्शन):
साउंडनेस (soundness) और कॉम्प्लीटनेस (completeness) त्रुटियों को पॉलीनोमियल से नगण्य (negligible) स्तर तक ले जाने के लिए, प्रोटोकॉल को $N$ बार अनुक्रमिक रूप से दोहराया जाता है। चूंकि चरण 1 का कंपाइलर यह सुनिश्चित करता है कि विटनेस केवल थोड़ा ही खराब हुआ है ( $\epsilon$ -नॉन-डिस्ट्रक्टिव), इसलिए प्रोवर सभी $N$ राउंड के लिए उसी विटनेस का उपयोग कर सकता है। वे अज़ुमा का अनिरुद्ध सिद्धांत (Azuma’s Inequality) (एक मार्टिंगेल टेल बाउंड) का उपयोग यह सिद्ध करने के लिए करते हैं कि $N$ राउंड के दौरान संचयी गिरावट (cumulative degradation) इतनी कम रहती है कि विटनेस अंतिम सत्यापन के लिए "अच्छा" बना रहता है।
चरण 3: विटनेस संरक्षण (Witness Preservation - द रिकवरी मैकेनिज्म):
अंत में, वे प्रवर्धित प्रोटोकॉल को एक विटनेस-संरक्षण वाले प्रोटोकॉल में संकलित करते हैं। यह दो नए क्रिप्टोग्राफिक प्रिमिटिव्स पर निर्भर करता है:
1. स्टेट रिकवरी के साथ ड्यूल-मोड ट्रैपडोर फंक्शन्स (Dual-mode TCFs with State Recovery): ये फलन दो मोड में सैंपल किए जा सकते हैं: इन्जेक्टिव मोड (साउंडनेस/एक्सट्रैक्शन के लिए उपयोग किया जाता है) और रिकवरी मोड (प्रोवर के लिए उपयोग किया जाता है)। रिकवरी मोड में, एक ट्रैपडोर प्रोवर को प्रोटोकॉल के दौरान उपयोग किए गए रैंडमनेस को सुसंगत रूप से "अनकंप्यूट" (uncompute) करने की अनुमति देता है, जिससे प्रभावी रूप से विटनेस को ट्रांसक्रिप्ट से अलग किया जा सकता है और मूल अवस्था को पुनः प्राप्त किया जा सकता है।
2. NP के लिए स्टेट-प्रिजर्विंग आर्ग्यूमेंट्स (State-Preserving Arguments for NP): एक विशेष इंटरैक्टिव आर्ग्यूमेंट जो प्रोवर को संभव विटनेस के सुपरपोजिशन को बनाए रखते हुए NP कथनों को सिद्ध करने की अनुमति देता है।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

यह शोध पत्र कई ऐतिहासिक सैद्धांतिक परिणाम प्रदान करता है:

थ्योरम 1 (मुख्य परिणाम): किसी भी $L \in \text{QMA}_{1-2^{-\lambda}, 2^{-\lambda}}$ $L \in QMA_{1 - 2^{- λ}, 2^{- λ}}$ के लिए एक CVQC प्रोटोकॉल मौजूद है जो:
- विटनेस की केवल एक प्रति (one copy) का उपयोग करता है।
- नगण्य साउंडनेस और कॉम्प्लीटनेस त्रुटियां प्राप्त करता है।
- विटनेस-संरक्षण (witness-preserving) है (अंतिम अवस्था मूल अवस्था के सांख्यिकीय रूप से करीब है)।
- एक आर्ग्युमेंट ऑफ नॉलेज (argument of knowledge) के रूप में कार्य करता है।
नए प्रिमिटिव्स: LWE धारणा के तहत स्टेट रिकवरी के साथ ड्यूल-मोड TCFs और NP के लिए स्टेट-प्रिजर्विंग आर्ग्यूमेंट्स का निर्माण।
जेनेरिक कंपाइलर: एक औपचारिक ढांचा जो किसी भी नॉन-एडैप्टिव CVQC को नॉन-डिस्ट्रक्टिव, वन-कॉपी प्रोटोकॉल में बदल सकता है।

4. महत्व (Significance)

यह कार्य QMA (जहाँ मैरियट-वाट्रेस एम्प्लीफिकेशन क्वांटम वेरीफायर के साथ वन-कॉपी वेरिफिकेशन की अनुमति देता है) और CVQC की वास्तविकता (जहाँ क्लासिकल वेरीफायर को पारंपरिक रूप से कई प्रतियों की आवश्यकता होती है) के बीच एक महत्वपूर्ण अंतर को पाटता है।

व्यावहारिक और सैद्धांतिक निहितार्थ:

क्वांटम क्रिप्टोग्राफी: यह क्लासिकली वेरीफिएबल क्वांटम मनी और कॉपी-प्रोटेक्टेड सॉफ्टवेयर के लिए सैद्धांतिक आधार प्रदान करता है, जहाँ सत्यापन के बाद अवस्था (state) का "मूल्य" संरक्षित रहना चाहिए।
संसाधन दक्षता: यह प्रोवर्स के लिए संसाधन आवश्यकताओं को काफी कम करता है, जिससे $poly(n)$ विटनेस की आवश्यकता से घटकर ठीक एक विटनेस की आवश्यकता हो जाती है।
सुरक्षा आधार (Security Foundations): विटनेस संरक्षण को LWE धारणा से जोड़कर, यह क्लासिकल-क्वांटम इंटरैक्शन में नाजुक क्वांटम सूचना को संभालने के लिए एक मजबूत, पोस्ट-क्वांटम सुरक्षित तरीका प्रदान करता है।