⚛️ quantum physics

Self-testing with untrusted random number generators

यह शोधपत्र यह प्रदर्शित करता है कि सभी शुद्ध द्विपक्षीय आंशिक रूप से उलझे हुए (pure bipartite partially entangled) अवस्थाओं का स्व-परीक्षण (self-test) तब भी किया जा सकता है जब बेल परीक्षण सेटिंग्स के लिए उपयोग किया जाने वाला रैंडम नंबर जेनरेटर अविश्वसनीय हो, बशर्ते कि वह पूर्ण स्वतंत्रता से कमजोर अवशिष्ट यादृच्छिकता (residual randomness) बाधा को संतुष्ट करता हो, जिससे रैंडमनेस स्रोत की क्वांटम डिवाइस से स्वतंत्रता का अर्ध-डिवाइस-स्वतंत्र (semi-device-independent) प्रमाणन सक्षम हो सके।

मूल लेखक: Moisés Bermejo Morán, Ravishankar Ramanathan

प्रकाशित 2026-03-12

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

CC BY 4.0

मूल लेखक: Moisés Bermejo Morán, Ravishankar Ramanathan

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

कल्पना कीजिए कि आप यह सत्यापित करने की कोशिश कर रहे हैं कि एक जादू का खेल असली है, लेकिन आपका एक सख्त नियम है: आप जादूगर पर भरोसा नहीं कर सकते, और आप कार्ड चुनने वाले व्यक्ति पर भी भरोसा नहीं कर सकते।

क्वांटम भौतिकी की दुनिया में, इसे सेल्फ-टेस्टिंग (Self-Testing) कहा जाता है। यह यह साबित करने का एक तरीका है कि एक रहस्यमय "ब्लैक बॉक्स" वास्तव में क्वांटम जादू (जैसे एंटैंगल्ड कणों को उत्पन्न करना) कर रहा है, बिना उस बॉक्स को खोले यह देखे कि वह कैसे काम करता है। आप केवल इनपुट और आउटपुट नंबरों को देखकर यह सिद्ध करते हैं।

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

यह शोध पत्र कहता है: "हमें अब पूर्ण स्वतंत्रता की आवश्यकता नहीं है। हमें बस थोड़ी सी बची हुई रैंडमनेस (यादृच्छिकता) की आवश्यकता है।"

सरल उपमाओं का उपयोग करके इसका विवरण यहाँ दिया गया है:

1. पुराना नियम: "परफेक्ट स्ट्रेंजर" (पूर्ण अजनबी)

कल्पना कीजिए कि आप एक नया वीडियो गेम कंसोल टेस्ट कर रहे हैं। यह साबित करने के लिए कि यह एक असली कंसोल है न कि एक नकली, आप अपने एक दोस्त से रैंडमली बटन दबाने के लिए कहते हैं।

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

2. नई खोज: "लीकी बकेट" (छेद वाला बाल्टी)

लेखकों ने एक खामी (loophole) खोज ली। उन्होंने महसूस किया कि आपको अपने दोस्त के एक "परफेक्ट स्ट्रेंजर" होने की आवश्यकता नहीं है। आपको बस उन्हें पर्याप्त अनप्रेडिक्टेबल (अप्रत्याशित) होने की आवश्यकता है।

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

वे इसे "रेसिड्यूअल रैंडमनेस" (Residual Randomness) कहते हैं। भले ही रैंडम नंबरों का स्रोत थोड़ा "दूषित" या सह-संबंधित (correlated) हो, जब तक कि वहां कुछ रैंडमनेस बची हुई है जिसे डिवाइस अनुमानित नहीं कर सकता, परीक्षण सफल रहता है।

3. जादू का खेल: "हार्डी टेस्ट्स" (Hardy Tests) बनाम "बेल स्कोर्स" (Bell Scores)

यह पेपर डिवाइस को टेस्ट करने के दो तरीकों के बीच एक दिलचस्प अंतर बताता है:

"स्कोर" विधि (बेल इनइक्वेलिटीज़ - Bell Inequalities): यह पूछने जैसा है, "आपने कितने अंक प्राप्त किए?"
- परिणाम: यदि रैंडम नंबर जेनरेटर डिवाइस के साथ थोड़ा भी सह-संबंधित है, तो यह विधि विफल हो जाती है। डिवाइस स्कोर को धोखा दे सकता है। यह एक छात्र द्वारा गणित की परीक्षा में नकल करने जैसा है क्योंकि उसे शिक्षक के शेड्यूल का पता है।
"असंभव घटना" विधि (Hardity Tests): यह पूछने जैसा है, "क्या आपने कुछ ऐसा किया जो शारीरिक रूप से असंभव है?"
- परिणाम: यह विधि "लीकी बकेट" के साथ भी सफल होती है।
- रूपक: कल्पना कीजिए कि एक जादूगर दावा करता है कि वह एक सिक्के को गायब कर सकता है। यदि वह ऐसा करता है, तो यह जादू है। लेकिन यदि वह दावा करता है कि वह एक सिक्के को गायब कर सकता है और उसे एक ही समय में आपकी जेब में भी प्रकट कर सकता है, तो वह एक तार्किक विरोधाभास है।
- पेपर दिखाता है कि यदि डिवाइस एक ऐसा परिणाम देता है जो तार्किक रूप से असंभव है (जैसे एक सिक्का एक ही समय में दो जगहों पर होना), तो यह सुनिश्चित है कि वह वास्तविक क्वांटम जादू कर रहा है, भले ही सेटिंग्स चुनने वाला व्यक्ति थोड़ा संदिग्ध क्यों न हो। "असंभवता" इतनी मजबूत है कि वह सह-संबंध (correlation) को तोड़ देती है।

4. बड़ी जीत: "पार्शियली एंटैंगल्ड" (आंशिक रूप से उलझे हुए) अवस्थाओं का परीक्षण करना

क्वांटम भौतिकी में, कण "एंटैंगल्ड" (जुड़े हुए) हो सकते हैं।

मैक्सिमली एंटैंगल्ड (Maximally Entangled): जैसे दो सिक्के जो हमेशा एक-दूसरे के बिल्कुल विपरीत होते हैं (Heads/Tails)।
पार्शियली एंटैंगल्ड (Partially Entangled): जैसे दो सिक्के जो ज्यादातर विपरीत होते हैं, लेकिन कभी-कभी दोनों Heads पर आते हैं।

वर्षों तक, वैज्ञानिक केवल पूरी तरह से जुड़े हुए सिक्कों को ही "सेल्फ-टेस्ट" कर सकते थे यदि सेटिंग्स पूरी तरह से रैंडम थीं। यह पेपर सिद्ध करता है कि अब आप किसी भी आंशिक रूप से जुड़े हुए स्टेट को टेस्ट कर सकते हैं, भले ही रैंडमनेस का स्रोत अविश्वसनीय हो, जब तक कि वह "लीकी बकेट" वाली रैंडमनेस मौजूद है।

यह क्यों मायने रखता है?

डिवाइस-इंडिपेंडेंट क्रिप्टोग्राफी (Device-Independent Cryptography) को एक सुपर-सिक्योर लॉक के रूप में सोचें।

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

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

यहाँ मोइसेस बर्मेजो मोरन और रविशंकर रामनाथन के शोध पत्र "Self-testing with untrusted random number generators" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

सेल्फ-टेस्टिंग (Self-testing) क्वांटम सूचना में एक शक्तिशाली प्रोटोकॉल है जो उपयोगकर्ताओं को केवल इनपुट-आउटपुट सांख्यिकी (statistics) के आधार पर एक क्वांटम डिवाइस (ब्लैक-बॉक्स) की आंतरिक स्थिति और मापन (measurements) को सत्यापित करने की अनुमति देता है, जो आमतौर पर बेल असमानता (Bell inequality) के अधिकतम उल्लंघन को देखकर किया जाता है।

सीमा (The Limitation): मानक सेल्फ-टेस्टिंग प्रोटोकॉल मापन स्वतंत्रता धारणा (measurement independence assumption) पर बहुत अधिक निर्भर करते हैं। यह मानता है कि मापन सेटिंग्स चुनने के लिए उपयोग किए जाने वाले रैंडम नंबर जेनरेटर (RNGs) पूरी तरह से यादृच्छिक (random) हैं और परीक्षण किए जा रहे डिवाइस (और किसी भी संभावित जासूस/eavesdropper) के साथ पूरी तरह से असंबद्ध (uncorrelated) हैं।
वास्तविकता (The Reality): वास्तविक परिदृश्यों में, RNGs अपूर्ण हो सकते हैं या डिवाइस के साथ आंशिक रूप से सह-संबंधित (correlated) हो सकते हैं। यदि सेटिंग्स डिवाइस के हिडन वेरिएबल्स (hidden variables) के साथ सह-संबंधित हैं, तो स्थानीय हिडन वेरिएबल मॉडल क्वांटम सह-संबंधों की नकल कर सकते हैं, जिससे डिवाइस-स्वतंत्र प्रोटोकॉल की सुरक्षा और प्रमाणन गारंटी टूट जाती है।
मुख्य प्रश्न (The Core Question): क्या सेल्फ-टेस्टिंग तब भी प्राप्त की जा सकती है जब रैंडमनेस सोर्स अविश्वसनीय (untrusted) हो (अर्थात, डिवाइस के साथ सह-संबंधित हो), बशर्ते कि सोर्स में कुछ हद तक अनिश्चितता (unpredictability) बनी रहे?

2. कार्यप्रणाली (Methodology)

लेखक एक ऐसा ढांचा प्रस्तावित करते हैं जो सख्त स्वतंत्रता धारणा को अवशिष्ट रैंडमनेस (Residual Randomness) नामक एक कमजोर स्थिति के साथ शिथिल (relax) करता है।

अवशिष्ट रैंडमनेस धारणा (Residual Randomness Assumption): लेखक यह मानते हैं कि रैंडम सोर्सेज ( $s, t$ ) के आउटपुट को मापन परिणामों ( $a, b$ ) और सेटिंग्स ( $x, y$ ) द्वारा पूरी तरह से अनुमानित नहीं किया जा सकता है। गणितीय रूप से, इसे $p(st|abxy) > 0$ के रूप में व्यक्त किया गया है। इसका तात्पर्य यह है कि डिवाइस की स्थिति और मापन परिणामों के आधार पर भी, सोर्स में कुछ एंट्रॉपी (entropy) बनी रहती है।
संभाव्यता (Probabilistic) से संभावनावादी (Possibilistic) परीक्षणों की ओर बदलाव:
- पारंपरिक सेल्फ-टेस्टिंग अक्सर बेल असमानताओं को अधिकतम करने (प्रोबेबिलिस्टिक दृष्टिकोण, जैसे CHSH) पर निर्भर करती है।
- लेखक हार्डी-टाइप टेस्ट (Hardy-type tests) और टिल्टेड हार्डी टेस्ट (tilted Hardy tests) का उपयोग करते हैं, जो केवल एक मान को अधिकतम करने के बजाय असंभव स्थितियों (impossibility conditions) (जैसे कि कुछ घटनाओं की प्रायिकता का ठीक शून्य होना) पर निर्भर करते हैं।
गणितीय ढांचा (Mathematical Framework):
- वे इस परिदृश्य को एक बेल प्रयोग के रूप में मॉडल करते हैं जहाँ अनट्रस्टेड सोर्सेज का उपयोग किया जाता है, जहाँ संयुक्त प्रायिकता वितरण $p(stab|xy)$ है।
- वे अवशिष्ट रैंडमनेस बाधा के तहत क्वांटम वितरणों को समझाने के लिए NPA पदानुक्रम (NPA hierarchy) और सेमीडेफिनिट प्रोग्रामिंग (semidefinite programming) का उपयोग करते हैं।
- वे सिद्ध करते हैं कि वितरण में "असंभव घटनाएँ" (शून्य प्रायिकता) अवशिष्ट रैंडमनेस धारणा के तहत सोर्स इंडेक्स ( $s, t$ ) से स्वतंत्र हैं (लेम्मा 1)।

3. मुख्य योगदान (Key Contributions)

A. आंशिक रूप से उलझे हुए राज्यों का सेल्फ-टेस्टिंग (Self-Testing of Partially Entangled States)

प्राथमिक योगदान यह प्रमाण है कि सभी शुद्ध द्विपक्षीय आंशिक रूप से उलझे हुए (pure bipartite partially entangled) राज्य तब भी सेल्फ-टेस्ट किए जा सकते हैं जब मापन सेटिंग्स का चयन अनट्रस्टेड सोर्सेज द्वारा किया जाता है, बशर्ते कि सोर्सेज अवशिष्ट रैंडमनेस की शर्त को पूरा करते हों।

तंत्र (Mechanism): वे टिल्टेड हार्डी टेस्ट (मूल रूप से झाओ एट अल. द्वारा प्रस्तावित) को अनट्रस्टेड सोर्स परिदृश्य के लिए विस्तारित करते हैं।
परिणाम: विशिष्ट शून्य-प्रायिकता घटनाओं और एक टिल्टेड बेल अभिव्यक्ति के लिए एक विशिष्ट अधिकतम क्वांटम मान को देखकर, डिवाइस को स्थानीय आइसोमेट्रीज़ (local isometries) तक $|\psi_w\rangle = \cos\theta_w|00\rangle + \sin\theta_w|11\rangle$ अवस्था में होने के लिए प्रमाणित किया जाता है।
महत्व: यह रैंडमनेस सोर्स और डिवाइस के बीच स्वतंत्रता का एक सेमी-डिवाइस-इंडिपेंडेंट प्रमाणन प्रदान करता है। यदि प्रोटोकॉल सफल होता है, तो यह प्रमाणित करता है कि सोर्स पूरी तरह से डिवाइस के साथ सह-संबंधित नहीं था।

B. मनमाने आयामों (Qudits) तक विस्तार

लेखक क्यूबिट परिणामों को मनमाने आयामों ( $d$ ) तक सामान्यीकृत करते हैं।

विधि: वे लक्ष्य अवस्था $|\psi\rangle = \sum c_i |ii\rangle$ के लिए एक इनहोमोजेनियस कवरिंग ट्री (inhomogeneous covering tree) का निर्माण करते हैं।
प्रोटोकॉल: उच्च-आयामी अवस्था को दो-आयामी उप-स्थानों (ट्री के किनारों) के एक सेट में तोड़कर और प्रत्येक किनारे के लिए हार्डी सेल्फ-टेस्ट लागू करके, वे संपूर्ण वैश्विक अवस्था का सेल्फ-टेस्ट कर सकते हैं।
दक्षता: वे दिखाते हैं कि इसे प्रति पार्टी एक $d$ -आउटकम मापन और $d-1$ डाइकोटोमिक (dichotomic) मापन के प्रबंधनीय संख्या में मापन सेटिंग्स के साथ प्राप्त किया जा सकता है।

C. मौलिक अंतर: हार्डी बनाम बेल मान (Fundamental Distinction: Hardy vs. Bell Values)

यह शोध पत्र विभिन्न प्रकार के सेल्फ-टेस्ट के बीच एक महत्वपूर्ण सैद्धांतिक सीमा स्थापित करता है:

हार्डी टेस्ट (संभावनावादी/Possibilistic): ये अत्यधिक कमजोर अवशिष्ट रैंडमनेस (जब तक कि $p(st|abxy) > 0$) के तहत भी सफल होते हैं। ये "असंभव घटनाओं" के अस्तित्व पर निर्भर करते जो सोर्स सह-संबंध के बावजूद असंभव बनी रहती हैं।
बेल असमानताएँ (संभाव्यतावादी/Probabilistic): ये कमजोर स्वतंत्रता के तहत विफल हो जाती हैं। लेखक प्रदर्शित करते हैं कि एक अधिकतम CHSH मान ( $2\sqrt{2}$ ) अवस्था को सेल्फ-टेस्ट नहीं करता है यदि अवशिष्ट रैंडमनेस कमजोर है (विशेष रूप से, यदि सह-संबंध $l < 1/4$ की अनुमति देता है)। ऐसे मामलों में, स्थानीय हिडन वेरिएबल मॉडल बना सकते हैं जो वास्तविक क्वांटम अवस्था के बिना ही अधिकतम क्वांटम मान की नकल कर लेते हैं।

4. मुख्य परिणाम (Key Results)

प्रपोजिशन 2 (Proposition 2): किसी भी आंशिक रूप से उलझे हुए टू-क्यूबिट अवस्था के लिए, ऐसी स्थितियाँ मौजूद हैं (तीन शून्य-प्रायिकता घटनाएँ और एक टिल्टेड बेल मान) जो अनट्रस्टेड सोर्सेज के साथ भी, जो अवशिष्ट रैंडमनेस की शर्त को पूरा करते हैं, अवस्था को विशिष्ट रूप से सेल्फ-टेस्ट करती हैं।
प्रपोजिशन 5 और थ्योरम 6 (Proposition 5 & Theorem 6): ये स्थितियाँ मनमाने आयामों तक विस्तारित होती हैं। किसी भी शुद्ध द्विपक्षीय आंशिक रूप से उलझे हुए अवस्था $|\psi\rangle = \sum c_i |ii\rangle$ को कवरिंग ट्री और हार्डी टेस्ट पर आधारित प्रोटोकॉल का उपयोग करके सेल्फ-टेस्ट किया जा सकता है।
अधिकतम उलझाव (Maximal Entanglement) के सेल्फ-टेस्टिंग की असंभवता (2D में): शोध पत्र नोट करता है कि आयाम 2 में अधिकतम उलझाव को हार्डी-टाइप टेस्ट का उपयोग करके सेल्फ-टेस्ट नहीं किया जा सकता है क्योंकि ऐसे टेस्ट को आवश्यक "असंभव" घटनाओं को उत्पन्न करने के लिए गैर-अधिकतम उलझाव (non-maximal entanglement) की आवश्यकता होती है।
CHSH की विफलता: एक अधिकतम CHSH उल्लंघन, अवशिष्ट रैंडमनेस $l < 1/4$ की उपस्थिति में, सेल्फ-टेस्टिंग की गारंटी नहीं देता है। सोर्स डिवाइस के साथ सह-संबंधित होकर उल्लंघन की नकल कर सकता है।

5. महत्व और निहितार्थ (Significance and Implications)

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

संक्षेप में, यह शोध पत्र प्रदर्शित करता है कि क्वांटम यांत्रिकी में "असंभव घटनाओं" की संरचनात्मक कठोरता का लाभ उठाकर स्वतंत्रता धारणा से परे भी सेल्फ-टेस्टिंग संभव है, जो प्रतिकूल वातावरणों में क्वांटम उपकरणों को प्रमाणित करने के लिए एक अधिक यथार्थवादी मार्ग प्रदान करता है।